| |||||||||||||||||||||||||||||||||
חישוב מבוזר
Distributed Computation |
0368-4429 | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
מדעים מדויקים | |||||||||||||||||||||||||||||||||
|
הסמסטר נלמד שני נושאים עיקריים: הקדמה לחישוב מבוזר, ו-Blockchains. בחישוב מבוזר נלמד את יסודות האלגוריתמים המבוזרים במודל החלפת הודעות (מעל גבי רשת תיקשורת) ובמודל הזיכרון המשותף. כמו כן נלמד את הנושאים בחישוב מבוזר אשר מהווים את הבסיס להבנה בנייה ותכנון Blockchains כמו Replicated State Machine ו-Consensus Algorithms, Fault Tolerant Byzantine Agreement. בכלים וההיבטים הקריפטגרפיים של Blockchains נעשה שימוש במידת הצורך ונבין אותם כקופסא שחורה. בהמשך נלמד מספר מערכות Blockchain שוב בעיקר nההיבטים של החישוב המבוזר.
חישוב מבוזר: שיתוף פעולה ותאום אלוגריתמי בין מעבדים ברשת תקשורת על מנת לפתור בעיות גלובאליות משותפות. כל מעבד בחישוב מקבל רק חלק מהקלט ומייצר רק חלק מהפלט כך שאיחוד הפלטים הוא פלט חוקי של החישוב המבוזר; במודל העיקרי בו נעסוק, המעבדים מתקשרים ביניהם אך ורק ע"י העברת הודעות בקוי התקשורת. כמו כן נעסוק במודל של זכרון משותף; יידונו רשתות סינכרוניות ואסינכרוניות ומספר רב של בעיות; הפצת הודעה, בחירת מנהיג, שבירת סימטריה, בניית עץ פורש, פיזור ושליטה במשאבים. כמו כן יידונו בעיות מיוחדות של סינכרון, וצילום מצב גלובלי.