מגדלי הקרמלין בזרועות הידרה: כנס על מחשוב מקביל ומבוזר הידרה 2020 במוסקבה

בשנה שעברה בסנט פטרבורג היה כנס הידרה הראשון, המוקדש למערכות מקבילות ומפוזרות. זוכי הפרס הציגו מצגות פרסי דיקסטרה и פרסי טיורינג (לסלי למפורט, מוריס הרליהי и מייקל סקוט), יוצרי מהדרים ושפות תכנות (C++, Go, Java, Kotlin), מפתחי מסדי נתונים מבוזרים (Cassandra, CosmosDB, Yandex Database), וכן יוצרים וחוקרים של אלגוריתמים ומבני נתונים (CRDT, Paxos, wait -מבני נתונים בחינם). באופן כללי, בשלב זה כבר אפשר לצאת לחופשה, למזער את חלון ה-IDE, לפתוח פלייליסט ביוטיוב עם הדיווחים הטובים ביותר Hydra 2019 - ותנו למתזמן המשימות לחכות מעט.

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

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

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

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things


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

הנה מי שכבר נמצא בתוכנית:

סינדי סרידהארן (Cindy Sridharan) - מפתחת מערכות מבוזרות מסן פרנסיסקו, מחברת ספר קצר צפייה במערכות מבוזרות (לקחת עותק אלקטרוני בחינם) ופופולרי פוסט בבלוג, שבו יש רק מאמר אחד "הטוב ביותר של 2019 ב-Tech Talks"יכול להציל אותך מכמה ימי חופש, אבל להשאיר אותך מאושר. בהידרה 2020, סינדי תספר לך איך לבדוק מערכות מבוזרות, גם אם הם מאחסנים מצב.


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


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


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


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


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

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

כן, לפני כנס Hydra 2020, כלומר 6-9 ביולי, יהיה SPTDC 2020 - בית הספר הקיץ השלישי על התיאוריה והפרקטיקה של מחשוב מבוזר. זה ייתן לך תחושות שקשה לקבל בכנס, אז נדבר על בית הספר בפוסט נפרד.

מה עכשיו? ראשית, עקבו אחר החדשות ב-Habré וברשתות החברתיות (פייסבוק, Vkontakte, טויטר).

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

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

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

מקור: www.habr.com