זוהי הפקודה proofserv.bin שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות החינמיות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS.
תָכְנִית:
שֵׁם
proofserv - PROOF (The Parallel ROOT Facility)
תיאור
שימוש הוכחה ( Pאראלל ROOT Facility) אפשר לנתח עצים במקביל על אשכול של
מחשבים. ה הוכחה המערכת מורכבת מה הוכחה(1) תוכנית מקצה שמתחילה
באמצעות inetd(8).
הוכחה דואג לאימות משתמש ומכסה את עצמה אז עם הגרסה הרצויה
של הגהה(1) בר הפעלה.
השמיים הגהה(1) הוא בעצם זהה ל- שורש מודול אינטראקטיבי שורש(1), למעט
שהוא קורא את הפקודות שלו משקע במקום מהטרמינל.
מכיוון שזה שרת מרוחק הוא לא יעשה גרפיקה ולכן אינו מקושר לאף אחד
ספריות גרפיקה (Motif, X11 וכו').
הגהה מופעל על ידי הדמון הוכחה(1) לפי בקשת המשתמש. זה לא פקודה
לביצוע ישירות על ידי המשתמש.
שימו לב, שאם הגהה יעבור ארגומנטים כלשהם, הוא ישתמש ב- libProofx מִמְשָׁק,
במקום מֵאֲשֶׁר מה היא תֶקֶן libProof מִמְשָׁק.
השתמש ב-proofserv.bin באופן מקוון באמצעות שירותי onworks.net
