מידע כללי
תכנון אלגוריתמים למערכות מרובות-מעבדים, ניתוח הסיבוכיות והבעיות הבסיסיות במערכות אלה, חסמים תחתונים ותוצאות אי-אפשרות. מניעה הדדית והקצאת משאבים, בעיות הסכמה (בעיית הגנרלים הביזנטיים, הסכמה מקורבת), סנכרון שעונים ושעונים לוגיים, בעיות הפצה (BROADCAST AND MULTICAST), סנכרון ללא מנעולים ומבני נתונים מבוזרים. תוצרי למידה: בסוף הקורס, הסטודנט יהיה מסוגל: 1. להבין את המודלים העיקריים עבור מערכות מבוזרות ולהכיר את עקרונות התכנון שלהן. 2. לתכנן אלגוריתמים מבוזרים ולהוכיח את נכונותם. 3. להוכיח חסמים תחתונים ותוצאות אי-אפשרות לפתרון בעיות מרכזיות בחישוב מבוזר.
פקולטה: מדעי המחשב
|תואר ראשון
|תארים מתקדמים
מקצועות קדם
מקצועות צמודים
ספרי המקצוע
- Distributed algorithms - Lynch, Nancy A.
- Distributed computing : fundamentals, simulations and advanced topics - Attiya, Hagit
- Distributed computing : fundamentals, simulations and advanced topics - Attiya, Hagit
- Distributed computing [electronic resource] : fundamentals, simulations, and advanced topics - Attiya, Hagit.
- Impossibility results for distributed computing - Attiya, Hagit
- Synchronization algorithms and concurrent programming - Taubenfeld, Gadi
- The art of multiprocessor programming - Herlihy, Maurice
- The art of multiprocessor programming - Herlihy, Maurice
- The art of multiprocessor programming [electronic resource] - Herlihy, Maurice.