סילבוס

תוכן הקורס ומטרתו

סילסוס מפורט ניתן למצוא בקישור הבא:
http://www.cs.tau.ac.il/~afek/dc21.html

נדון במערכות מרובות מחשבים המתקשרים ביניהם או באמצעות העברת הודעות, או ע"י כתיבה וקריאה מזכרון משותף.
נתכנן ונלמד אלגוריתמים לפתרון בעיות תוך כדי סנכרון ותאום בין הרבה מחשבים. נוכיח חסמים תחתונים ותוצאות אי-יתכנות, וסימולציות בין המודלים השונים.
נלמד אלגוריתמים מבוזרים בסיסיים ומתקדמים, כגון הפצת מידע, בחירת מנהיג, אלגוריתמים להסכמה (consensus), מניעה הדדית, ועד לאלגורמים הבסיסיים של מטבעות דיגיטליים וBlockchains. State Machine Replication ועוד.