פורטל הסטודנטים

תכנון אלגוריתמים למערכות מרובות-מעבדים, ניתוח הסיבוכיות והבעיות הבסיסיות במערכות אלה, חסמים תחתונים ותוצאות אי-אפשרות. מניעה הדדית והקצאת משאבים, בעיות הסכמה (בעיית הגנרלים הביזנטיים, הסכמה מקורבת), סנכרון שעונים ושעונים לוגיים, בעיות הפצה (BROADCAST AND MULTICAST), סנכרון ללא מנעולים ומבני נתונים מבוזרים. תוצרי למידה: בסוף הקורס, הסטודנט יהיה מסוגל: 1. להבין את המודלים העיקריים עבור מערכות מבוזרות ולהכיר את עקרונות התכנון שלהן. 2. לתכנן אלגוריתמים מבוזרים ולהוכיח את נכונותם. 3. להוכיח חסמים תחתונים ותוצאות אי-אפשרות לפתרון בעיות מרכזיות בחישוב מבוזר.

פקולטה: מדעי המחשב
|תואר ראשון |תארים מתקדמים

מקצועות קדם

234247 - אלגוריתמים 1

מקצועות צמודים

236343 - תורת החישוביות

• 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.