שלושה זוכי פרס דיקסטרה: איך התנהלו Hydra 2019 ו-SPPTDC 2019

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

הגאווה הגדולה ביותר של הידרה ושל בית הספר הם הדוברים.

• שלושה זוכי פרס פרסי דיקסטרה: לסלי למפורט, מוריס הרלי ומייקל סקוט. יתר על כן, מוריס קיבל אותו פעמיים. גם לסלי למפורט קיבלה פרס טיורינג - פרס ACM היוקרתי ביותר במדעי המחשב;
• היוצר של מהדר Java JIT הוא Cliff Click;
• מפתחי Corutin - רומן אליזארוב (אליזארוב) וניקיטה קובל (ndkoval) לקוטלין, ודמיטרי ויוקוב לגו;
• תורמים לקסנדרה (אלכס פטרוב), CosmosDB (דניס ריסטסוב), מאגר מידע Yandex (סמיון צ'צ'רינדה ולדיסלב קוזנצוב);
• ועוד אנשים מפורסמים רבים: מרטין קלפמן (CRDT), היידי הווארד (פאקסוס), אורי להב (מודל זיכרון C++), פדרו רמאלהטה (מבני נתונים ללא המתנה), אלכסיי זינובייב (ML), דמיטרי בוגאיצ'נקו (ניתוח גרפים).

וזה כבר בית ספר:

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

תיאוריה ומעשה, מדע והפקה

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

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

טְבִילָה

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

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

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

מטה-ועידה

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

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

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

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

בתמונה: ליאוניד טלאייב (טלאל, משמאל) ואולג אנסטסייב (מוח, מימין), מפתחים מובילים ב- Odnoklassniki

אש אזורי דיון וחובבי

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

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

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

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

בנפרד, ברצוני לציין כמה אהבה ומאמץ השקיעו בזה הדוברים. מישהו עמד באזור הדיון עד הרגע האחרון, כמעט שעות. ההפסקה הסתיימה מזמן, הדיווח התחיל, הסתיים, החלה ההפסקה הבאה - ו דמיטרי ויוקוב המשיך לענות על שאלות. גם לי קרה סיפור מעניין - לאחר שהפתעתי את קליף קליק, קיבלתי לא רק הסבר ברור והגיוני לאותו דיון פרובוקטיבי על היעדר מבחנים לדברים מסוימים ב-H2O, אבל גם קיבל סקירה מלאה עליו שפה חדשה AA. מעולם לא ביקשתי את זה: רק שאלתי מה אתה יכול לקרוא על א.א. (התברר שאתה יכול להקשיב פודקאסט), ובמקום זאת קליף בילה חצי שעה בדיבור על השפה ובודק שמה שהוא אומר מובן נכון. נִפלָא. אנחנו צריכים לכתוב כתבה על AA. חוויה יוצאת דופן נוספת הייתה צפייה בתהליך בדיקת הבקשות למשוך בקוטלין. זו באמת תחושה קסומה כשאתה נכנס לקבוצות דיון שונות, דוברים שונים וצלול לעולם חדש לגמרי. זה משהו ברמה "שם, שם" של רדיוהד.

אנגלית

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

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

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

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

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

נותני חסות ותערוכה

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

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

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

שים לב שהניתוח של בעיות Kontur כבר נמצא פורסם באתר Habré. ניתוח טוב, שווה בדיקה.

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

תוצאות של

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

מקור: www.habr.com