SPTDC 2020 - בית הספר השלישי על הפרקטיקה והתיאוריה של מחשוב מבוזר

תיאוריה היא כשאתה יודע הכל אבל שום דבר לא עובד.
תרגול זה כשהכל עובד אבל אף אחד לא יודע למה.
מערכות מבוזרות, תיאוריה ופרקטיקה משולבים:
שום דבר לא עובד ואף אחד לא יודע למה.

כדי להוכיח שהבדיחה באפיגרף היא שטות מוחלטת, אנחנו מקיימים את SPTDC (בית ספר לפרקטיקה ותיאוריה של מחשוב מבוזר) בפעם השלישית. על ההיסטוריה של בית הספר, המייסדים המשותפים שלו פטר קוזנצוב וויטלי אקסיונוב, כמו גם השתתפותה של קבוצת JUG Ru בארגון SPTDC, כבר סיפר על הבר. לכן, היום מדובר על בית הספר בשנת 2020, על הרצאות ומרצים, וכן על ההבדלים בין בית הספר לכנס.

בית הספר SPTDC יתקיים בין ה-6 ל-9 ביולי 2020 במוסקבה.

כל ההרצאות יהיו באנגלית. נושאי ההרצאה: מחשוב מקביל מתמשך, כלים קריפטוגרפיים למערכות מבוזרות, שיטות פורמליות לאימות פרוטוקולי קונצנזוס, עקביות במערכות בקנה מידה גדול, למידת מכונה מבוזרת.

מיד ניחשתם מה הדרגה הצבאית של הדמויות בתמונה? אני מעריץ אותך.

מרצים והרצאות

ניר שביט (ניר שביט) הוא פרופסור ב-MIT ובאוניברסיטת תל אביב, מחבר שותף של ספר נהדר אמנות התכנות מרובי מעבדים, בעלים פרסי דיקסטרה לפיתוח והטמעה זיכרון עסקאות תוכנה (STM) ו פרס גדל על עבודתו על יישום טופולוגיה אלגברית לסימולציה של מחשוב זיכרון משותף, מייסד שותף של החברה קסם עצבי, אשר יוצר אלגוריתמים מהירים של למידת מכונה עבור מעבדים רגילים, וכמובן, יש לו דפי ויקיפדיה עם צילום חוצץ ומחניק. ניר כבר השתתף בבית הספר שלנו בשנת 2017, שם הוא נתן סקירה ממצה של טכניקות חסימה (חלק 1, חלק 2). על מה ניר ידבר השנה, אנחנו עדיין לא יודעים, אבל אנחנו מקווים לחדשות מחוד החנית של המדע.


מייקל סקוט (מייקל סקוט) הוא חוקר ב אוניברסיטת רוצ'סטר, המוכר לכל מפתחי Java כיוצר של אלגוריתמים לא חוסמים ותורים סינכרוניים מהספרייה הסטנדרטית של Java. כמובן, עם פרס העיצוב של דיקסטרה אלגוריתמי סנכרון עבור מחשוב זיכרון משותף ובבעלות עמוד ויקיפדיה. בשנה שעברה, מייקל נתן הרצאה בבית הספר שלנו על מבני נתונים שאינם חוסמים (חלק 1, חלק 2). השנה הוא יגידו על תכנות באמצעות זיכרון לא נדיף (NVM), אשר מפחית את מורכבות התוכנה ואת תקרת הזיכרון בהשוואה לזיכרון "רגיל" בגישה אקראית (DRAM).


עידית קידר (עידית קידר) היא פרופסור בטכניון והבעלים של מדד הירש בערך 40 (וזה מאוד מאוד) עבור מאתיים מאמרים מדעיים בתחום המחשוב המבוזר, ריבוי השחלות וסובלנות תקלות. עידית משתתפת לראשונה בבית הספר שלנו, שם היא לתת הרצאה על ההיבטים הבסיסיים של העבודה של מחסני נתונים מבוזרים: אמולציית זיכרון מבוזר, פיתוח קונצנזוס ושינויי תצורה.


רודריגו רודריגז (רודריגו רודריגס) - פרופסור ב-Técnico, חבר במעבדה מזהה INESC ומחבר עבודת מחקר בתחום המערכות המבוזרות. השנה בבית הספר שלנו רודריגו יגידו על עקביות ובידוד במחסני נתונים מבוזרים, וכן ינתח באמצעות משפטי CAP היתכנות בפועל של מספר מודלים של עקביות ובידוד.


צ'ן צ'ינג (ג'ינג צ'ן) הוא פרופסור באוניברסיטת המדינה של ניו יורק בסטוני ברוק, מחבר עבודת מחקר בתחום הבלוקצ'יין ומדען מוביל בתחום אלגורנד - חברה ופלטפורמת בלוקצ'יין באמצעות אלגוריתם קונצנזוס המבוסס כולו על הוכחת הימור. השנה בבית הספר שלנו, חן ידבר על הבלוקצ'יין של אלגוראנד ועל הדרכים להשיג את המאפיינים המעניינים שלו: משאבי מחשוב לא תובעניים ברשת, חוסר האפשרות לפצל את היסטוריית העסקאות והבטחת השלמת עיבוד העסקאות לאחר הוספתו לבלוקצ'יין.


כריסטיאן קשין (כריסטיאן קאצ'ין) הוא פרופסור באוניברסיטת ברן, ראש קבוצת מחקר בתחום הגנת מידע, מחבר שותף של הספר "מבוא לתכנות מבוזר אמין ומאובטח", מפתח פלטפורמת בלוקצ'יין בד היפרפלגר (עליה אפילו היה פוסט על Habré) ומחבר עבודת מחקר בתחום ההצפנה והאבטחה במערכות מבוזרות. השנה בבית הספר שלנו כריסטיאן לתת הרצאה בארבעה חלקים על כלים קריפטוגרפיים למחשוב מבוזר: קריפטוגרפיה סימטרית ואסימטרית, וגם על הצפנת מפתח משותף, מספרים פסאודו אקראיים ו יצירת מספרים אקראיים שניתן לאמת.


מרקו ווקוליץ' (Marko Vukolic) הוא חוקר ב-IBM Research, מחבר של יצירות בבלוקצ'יין ומפתח Hyperledger Fabric. אנחנו עדיין לא יודעים על מה מרקו ידבר בבית הספר שלנו השנה, אבל אנחנו מקווים ללמוד על ההתפתחויות האחרונות שלו בתחום הבלוקצ'יין: מחקר ירידה בביצועים הפיץ פרוטוקולי קונצנזוס על אשכולות של עד 100 מכונות, משודרים פרוטוקול מיר עם סדר עולמי ו סובלנות לתקלות ביזנטית או בלוקצ'יין ללא בלוק StreamChainמזעור זמן עיבוד העסקאות.


פראסד ג'יאנטי (Prasad Jayanti) הוא פרופסור במכללת דארטמות', חלק מהאליטה ליגת הקיסוס, והמחבר עבודת מחקר בתחום האלגוריתמים מרובי ההליכים. השנה בבית הספר שלנו Prasad לתת הרצאה על סנכרון חוטים ואלגוריתמים ליישום אפשרויות שונות מנעול: עם פונקציות פסיקה או שחזור בדגמי זיכרון לא נדיף, ועם פעולות קריאה וכתיבה נפרדות.


אלכסיי גוטסמן (אלכסי גוטסמן) הוא פרופסור ב-IMDEA וסופר עבודת מחקר בתחום אימות תוכניות של אלגוריתמים. אנחנו עדיין לא יודעים מה אלכסיי ירצה בבית הספר שלנו השנה, אבל אנחנו מצפים לנושא בצומת של אימות תוכנה ומערכות מבוזרות.

למה זה בית ספר ולא כנס?

ראשית, המרצים מדברים במתכונת אקדמית וקוראים שני זוגות מכל הרצאה גדולה: "שעה וחצי - הפסקה - עוד שעה וחצי". שנים רבות מחוץ לקולג', עם הרגל של שיחות ועידה בנות שעה וסרטוני YouTube של 10 דקות, זה יכול להיות מסובך. מרצה טוב יעשה את כל שלוש השעות מעניינות, אבל כל אחד אחראי על הפלסטיות של המוח שלו.

רמז מועיל: תרגל הקלטות וידאו של הרצאות בבית הספר ב השנה 2017 ו - השנה 2019. להתראות, עבודה - שלום, גנרלים ביזנטיים.

שנית, המרצים מתמקדים במחקר מדעי ומדברים על היסודות מערכות מבוזרות ומחשוב מקביל, כמו גם חדשות מחוד החנית של המדע. אם המטרה שלך היא לקוד משהו במהירות ולפרוס אותו לייצור למחרת אחרי הלימודים במרדף חם, זה גם יכול להיות קשה.

רמז מועיל: חפש את עבודות המחקר של המרצים של בית הספר ב Google Scholar и arXiv.org. אם אתה נהנה לקרוא מאמרים מדעיים, אתה גם תהנה מבית הספר.

שלישית, בית הספר SPTDC 2020 אינו כנס, מכיוון שהכנס על מערכות מבוזרות ומחשוב מקביל הוא הידרה 2020. לאחרונה על Habré היה פוסט עם סקירה של התוכנית שלה. בשנה שעברה, SPTDC והידרה התקיימו בו זמנית ובאותו אתר. השנה הם לא חופפים בתאריכים, כך שהם לא מתחרים זה בזה על הזמן והתשומת לב שלכם.

טיפ מועיל: בדוק את תוכנית הכנס של הידרה ושקול להשתתף בכנס גם אחרי הלימודים. זה יהיה שבוע טוב.

איך מגיעים לבית הספר?

• רשום את התאריכים מ-6 ביולי עד 9 ביולי 2020 בלוח השנה (או יותר טוב, עד ה-11 ביולי כדי ללכת לכנס הידרה לאחר בית הספר).
• תתכונן, תתכונן.
• בחר כרטיסים וללכת לבית הספר.

מקור: www.habr.com