זה לסלי למפורט הוא המחבר של יצירות מכוננות במחשוב מבוזר, ואולי אתה מכיר אותו גם לפי האותיות La במילה LaTeX - "Lamport TeX". זה היה זה שהציג לראשונה, עוד ב-1979, את המושג עקביות עקבית, והמאמר שלו "כיצד ליצור מחשב רב-מעבד שמבצע נכון תוכניות ריבוי תהליכים" קיבל את פרס דיקסטרה (ליתר דיוק, בשנת 2000 נקרא הפרס בדרכו הישנה: "פרס ה-PODC Influential Paper Award"). יש עליו מאמר בויקיפדיה, שם תוכל לקבל עוד כמה קישורים מעניינים. אם אתה מתלהב מפתרון בעיות על קורה-לפני או בעיות של הגנרלים הביזנטים (BFT), אז אתה חייב להבין שלמפורט עומד מאחורי כל זה.

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

הידרה 2019

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

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

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

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

תוכנית הכנס

התכנית נמצאת כעת בשלב היווצרותה. זה צריך לכלול דוחות ממייסדי התיאוריות של מערכות מבוזרות ומהנדסים שעובדים איתם בייצור.

לדוגמה, השתתפותם של לסלי למפורט מ-Microsoft Research ומוריס הרלי מאוניברסיטת בראון כבר ידועה.

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

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

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

יש עוד הרבה זמן עד אמצע יולי. נספר לכם על הדוברים הנותרים והנושאים שלהם ככל שנחדד את התוכנית ונתקרב ליולי.

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

אזורי דיון

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

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

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

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

קול קורא למאמרים

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

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

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

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

בית ספר SPTDC

הכנס יתקיים באותו אתר של בית הספר SPTDC, כך שלכל מי שירכוש כרטיס לבית הספר, הכרטיסים לכנס יהיו עם 20%.

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

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

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

הדוברים הבאים ישאו דברים:

• לסלי למפורט (מיקרוסופט);
• מוריס הרליהי (אוניברסיטת בראון);
• מייקל סקוט (אוניברסיטת רוצ'סטר);
• דן אליסטרח (IST אוסטריה);
• טרבור בראון (אוניברסיטת ווטרלו);
• אלי גפני (UCLA);
• דני הנדלר (אוניברסיטת בן גוריון);
• Achour Mostefaoui (אוניברסיטת נאנט).

רשימת השמעה אתה יכול לצפות באופן חופשי בדיווחים של בית הספר הקודם ב-YouTube:

השלבים הבאים

תוכנית הכנס עדיין מתגבשת. עקבו אחר החדשות ב-Habré או ברשתות החברתיות (fb, vk, twitter).

אם אתם באמת מאמינים בכנס (או רוצים לנצל את מחיר הכניסה המיוחד, מה שנקרא "Early Bird"), תוכלו להיכנס לאתר ו קנה כרטיסים.

נתראה בהידרה!

מקור: www.habr.com