די גרינדערס פון דער טעאָריע פון ​​פונאנדערגעטיילט סיסטעמען אין די געווער פון די הידראַ

די גרינדערס פון דער טעאָריע פון ​​פונאנדערגעטיילט סיסטעמען אין די געווער פון די הידראַעס לעסלי לאַמפּאָרט - דער מחבר פון פונדאַמענטאַל ווערק אין פונאנדערגעטיילט קאַמפּיוטינג, און איר קענען אויך וויסן אים דורך די אותיות לאַ אין דעם וואָרט Laטעקס - "לאַמפּאָרט טעקס". עס איז געווען ער וואָס פֿאַר די ערשטער מאָל, צוריק אין 1979, באַקענענ דעם באַגריף קאָנסיסטענט קאָנסיסטענסי, און זײן ארטיקל "ווי צו מאַכן אַ מולטיפּראָסעססאָר קאָמפּיוטער וואָס ריכטיק עקסאַקיוטאַד מולטיפּראָסעסס מגילה" באקומען די Dijkstra אַוואַרד (מער גענוי, אין 2000 די אַוואָרד איז גערופן אין די אַלט וועג: "PODC Influential Paper Award"). עס איז וועגן אים וויקיפעדיע אַרטיקל, ווו איר קענען באַקומען עטלעכע מער טשיקאַווע לינקס. אויב איר זענט יקסייטאַד וועגן סאַלווינג פּראָבלעמס אויף כאַפּאַנז-איידער אָדער פּראָבלעמס פון די ביזאַנטין גענעראַלס (BFT), זיי דאַרפֿן צו פֿאַרשטיין אַז לאַמפּאָרט איז הינטער עס אַלע.

און ער וועט באַלד קומען צו אונדזער נייַע קאָנפֿערענץ וועגן פונאנדערגעטיילט קאַמפּיוטינג - הידראַ, וואָס וועט זיין געהאלטן 11-12 יולי אין סט. לאָמיר זען וואָס פֿאַר אַ כייַע דאָס איז.

הידראַ 2019

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

רעכט צו דער פּאָפּולאַריטעט, די טעמע פון ​​פאָרשטעלונג און עפעקטיוו קאַמפּיוטינג טענדז צו פאַרשפּרייטן איבער די קאָנפֿערענץ פּראָגראַם. ווי פילע פון ​​די צוויי טעג פון ריפּאָרץ קענען זיין געמאכט וועגן פאָרשטעלונג - איין דריט, צוויי דריט? אין עטלעכע ערטער עס זענען קינסטלעך ריסטריקשאַנז וואָס באַגרענעצן דעם וווּקס: אין אַדישאַן צו פאָרשטעלונג, עס מוזן נאָך זיין פּלאַץ פֿאַר נייַע וועב פראַמעוואָרקס, פֿאַר עטלעכע מין פון דעוואָפּס אָדער אַרקאַטעקטשעראַל אַסטראָנאַוטיק. ניין, פאָרשטעלונג, איר וועט ניט עסן אונדז אַלע גאַנץ!

אָדער איר קענען גיין די פאַרקערט וועג, געבן אַרויף און ערלעך מאַכן אַ קאָנפֿערענץ וואָס וועט זיין אין גאנצן וועגן פונאנדערגעטיילט קאַמפּיוטינג און בלויז וועגן זיי. און דאָ עס איז, הידראַ.

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

קאָנפֿערענץ פּראָגראַם

דער פּראָגראַם איז דערווייַל אונטער אַנטוויקלונג. עס זאָל אַרייַננעמען ריפּאָרץ פון די גרינדערס פון די טיריז פון פונאנדערגעטיילט סיסטעמען און ענדזשאַנירז ארבעטן מיט זיי אין פּראָדוקציע.

פֿאַר בייַשפּיל, מיר שוין וויסן וועגן די אָנטייל פון לעסלי לאַמפּאָרט פון Microsoft Research און Maurice Herlihy פון ברוין אוניווערסיטעט.

די גרינדערס פון דער טעאָריע פון ​​פונאנדערגעטיילט סיסטעמען אין די געווער פון די הידראַ מאָריס הערליהי - אַ זייער באַרימט און רעספּעקטעד פּראָפעסאָר פון קאָמפּיוטער וויסנשאַפֿט, עס איז אויך אַ געשיכטע וועגן אים וויקיפעדיע בלאַט, ווו איר קענען גיין איבער די לינקס און אַרבעט. דאָרט איר קענען באַמערקן ווי פילע ווי צוויי Dijkstra אַוואַרדס, דער ערשטער פֿאַר אַרבעט אויף "וואַרטן-פריי סינגקראַנאַזיישאַן"און די צווייטע, מער פריש - "טראַנסאַקטיאָנאַל זכּרון: אַרקאַטעקטשעראַל שטיצן פֿאַר לאַק-פריי דאַטאַ סטראַקטשערז". דורך דעם וועג, די פֿאַרבינדונגען פירן נישט אפילו צו SciHub, אָבער צו ברוין אוניווערסיטעט און ווירזשיניע טעק אוניווערסיטעט, איר קענען עפֿענען און לייענען.

מאָריס וועט באַלעבאָס אַ קינאָוט גערופֿן "בלאָקקטשאַינס פֿון אַ פונאנדערגעטיילט קאַמפּיוטינג פּערספּעקטיוו". אויב איר זענט אינטערעסירט, איר קענען נעמען אַ קוק אין די רעקאָרדינג פון מאָריס 'ס באַריכט פון די סט פעטערבורג קרוג. אָפּשאַצן ווי קלאר און פאַרשטיייק ער קאַנווייז די טעמע.

די גרינדערס פון דער טעאָריע פון ​​פונאנדערגעטיילט סיסטעמען אין די געווער פון די הידראַדי צווייטע קינאָוט גערופן "דואַל דאַטאַ סטראַקטשערז" וועט לייענען מיכאל סקאַט פון די אוניווערסיטעט פון ראָטשעסטער. און טרעפן וואָס - ער האט זיין אייגן אויך וויקיפעדיע בלאַט. אין שטוב אין וויסקאָנסין, ער איז באַוווסט פֿאַר זיין אַרבעט ווי דעקאַן אין דעם אוניווערסיטעט פון וויסקאָנסין-מאַדיסאָן, און אין דער וועלט ער איז דער מענטש וואָס, צוזאַמען מיט דאַג לי, דעוועלאָפּעד יענע ניט-בלאַקינג אַלגערידאַמז און סינטשראָנאָוס קיוז וואָס דזשאַוואַ ביבליאָטעק לויפן אויף. . ער האָט באקומען זיין Dijkstra פרייז דריי יאָר נאָך Herlihy, פֿאַר זיין אַרבעט "אַלגערידאַמז פֿאַר סקאַלאַבלע סינגקראַנאַזיישאַן אויף מולטיפּראַסעסערז מיט שערד זכּרון" (ווי דערוואַרט, זי לײגט זיך אפ אין דער אָנליין ביבליאָטעק פון די אוניווערסיטעט פון ראָטשעסטער).

עס איז נאָך אַ פּלאַץ פון צייט ביז מיטן יולי. מיר וועלן דערציילן איר וועגן אנדערע ספּיקערז און זייער טעמעס ווען מיר ראַפינירן די פּראָגראַם און צוגאַנג יולי.

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

דיסקוסיע זאָנעס

אוי ף אנדער ע קאנפערענצן , אי ז דע ר רעדנער , געלײענ ט װא ס נויטיק , או ן גלײ ך אװעק . די פּאַרטיסאַפּאַנץ האָבן נישט אַפֿילו צייַט צו קוקן פֿאַר עס - נאָך אַלע, דער ווייַטער באַריכט הייבט כּמעט אָן אַ ריס. עס טוט פיל וויי, ספּעציעל ווען וויכטיק מענטשן ווי לאַמפּאָרט, הערליהי און סקאַט זענען דאָרט, און איר טאַקע גיין צו די קאָנפֿערענץ נאָר צו טרעפן זיי און רעדן וועגן עפּעס.

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

וואָס לאַמפּאָרט, אויב איך פֿאַרשטיין רעכט, ער וויל צו איבערצייגן ווי פילע מענטשן ווי מעגלעך אַז TLA+ ― דאָס איז אַ גוטע זאַך. (אַרטיקל וועגן TLA+ אויף וויקיפּעדיע). טאָמער דאָס וועט זיין אַ גוטע געלעגנהייט פֿאַר ענדזשאַנירז צו לערנען עפּעס נייַ און נוציק. לעסלי אָפפערס דעם אָפּציע - ווער עס יז אינטערעסירט קענען זען זיין פאַרגאַנגענהייט רעפֿעראַטן און קומען מיט פֿראגן. דאָס איז, אַנשטאָט פון אַ קינאָוט, עס קען זיין, ווי עס איז, אַ ספּעשאַלייזד ק & א סעסיע, און דעמאָלט אן אנדער דיסקוסיע זאָנע. איך גוגל אַ ביסל און געפונען אַ גרויס איינער TLA + קורס (אָפיציעל דאַבד פּלייַליסט אויף יאָוטובע) און אַ שעה לעקציע "טראכטן אויבן די קאָד" מיט Microsoft Faculty Summit.

אויב איר געדאַנק פון אַלע די מענטשן ווי נעמען געשטאַלט אין גראַניט פֿון וויקיפּעדיע און אויף בוך קאָווערס, עס איז צייַט צו טרעפן זיי לעבן! שמועסן און פרעגן פֿראגן וואָס די בלעטער פון וויסנשאפטלעכע אַרטיקלען וועלן נישט ענטפֿערן, אָבער זייער מחברים וועלן צופרידן צו מאַכן קאָנטאַקט.

רופן פֿאַר פּאַפּערס

עס איז קיין סוד אַז פילע פון ​​די וואס לייענען איצט דעם אַרטיקל זענען נישט דערשראָקן צו זאָגן עפּעס טשיקאַווע זיך. פֿון אַן אינזשעניריע שטאַנדפּונקט, פֿון אַ וויסנשאַפֿטלעכן שטאַנדפּונקט, פֿון יעדן שטאַנדפּונקט. פונאנדערגעטיילט קאַמפּיוטינג איז אַ זייער ברייט און טיף טעמע, ווו עס איז אַ פּלאַץ פֿאַר אַלעמען.

אויב איר ווילן צו שפּילן צוזאמען לאַמפּאָרט, דאָס איז גאָר מעגלעך. צו ווערן אַ רעדנער, איר דאַרפֿן גיי די לינק, לייענען אַלץ דאָרט און טאָן דאָס לויט די ינסטראַקשאַנז.

זייט רויק, ווי באַלד ווי איר פאַרבינדן צו דעם פּראָצעס, איר וועט זיין געהאָלפֿן. דער פּראָגראַם קאמיטעט האט גענוג רעסורסן צו העלפן מיט דעם באַריכט זיך, זייַן עסאַנס און פּלאַן. דער קאָאָרדינאַטאָר וועט העלפן איר האַנדלען מיט אָרגאַנאַזיישאַנאַל ישוז און אַזוי אויף.

באַצאָלן ספּעציעל ופמערקזאַמקייַט צו די בילד מיט די דאַטעס. יולי איז אַ גאַנץ ווייַט טאָג פֿאַר די באַטייליקטער, און דער רעדנער דאַרף איצט אָנהייבן אַקטינג.

די גרינדערס פון דער טעאָריע פון ​​פונאנדערגעטיילט סיסטעמען אין די געווער פון די הידראַ

SPTDC שולע

די קאָנפֿערענץ וועט ווערן געהאלטן אויף דער זעלביקער פּלאַץ מיט די SPTDC שולע, אַזוי פֿאַר אַלעמען וואס קויפן אַ בילעט פֿאַר די שולע, קאָנפֿערענץ בילעטן - מיט 20% אַראָפּרעכענען.

זומער שולע פֿאַר פּראַקטיסיז און טעאָריע פון ​​דיסטריביוטיד קאַמפּיוטינג (SPTDС) - אַ שולע וואָס גיט אַ ברייט קייט פון קאָרסאַז אויף די פּראַקטיש און טעאָרעטיש אַספּעקץ פון פונאנדערגעטיילט סיסטעמען, וואָס זענען געלערנט דורך דערקענט עקספּערץ אין די באַטייַטיק פעלד.

די שולע וועט זיין געהאלטן אין ענגליש, אַזוי דאָ איז די רשימה פון טעמעס באדעקט:

  • קאַנקעראַנט דאַטן סטראַקטשערז: קערעקטנאַס און עפעקטיווקייַט;
  • אַלגערידאַמז פֿאַר ניט-וואַלאַטאַל זכּרון;
  • פונאנדערגעטיילט קאָמפּוטאַביליטי;
  • פונאנדערגעטיילט מאַשין לערנען;
  • שטאַט-מאַשין רעפּלאַקיישאַן און פּאַקסאָס;
  • ביזאַנטין שולד טאָלעראַנץ;
  • אַלגערידאַמיק באַסיקס פון בלאָקקטשאַינס.

די פאלגענדע רעדנער וועלן רעדן:

  • לעסלי לאַמפּאָרט (מייקראָוסאָפט);
  • מאָריס הערליהי (ברוין אוניווערסיטעט);
  • מיכאל סקאַט (אוניווערסיטעט פון ראָטשעסטער);
  • Dan Alistarh (IST עסטרייַך);
  • טרעוואָר ברוין (אוניווערסיטעט פון וואָטערלו);
  • אלי גפני (UCLA);
  • דני הענדלער (בן גוריון אוניווערסיטעט);
  • Achour Mostefaoui (אוניווערסיטעט פון נאַנטעס).

פּלייַליסט מיט די ריפּאָרץ פון די פריערדיקע שולע קענען זיין פריי וויוד אויף יאָוטובע:

ווייַטער סטעפּס

די קאָנפֿערענץ פּראָגראַם ווערט נאָך געשאַפֿן. גיי די נייַעס אויף Habré אָדער אין געזעלשאַפטלעך נעטוואָרקס (fb, vk, טוויטטער).

אויב איר טאַקע גלויבן אין דער זיצונג (אָדער ווילן צו נוצן די ספּעציעלע סטאַרטינג פּרייַז, ווי זיי זאָגן, "פרי בירד") - איר קענען גיין צו די פּלאַץ און קויפן טיקיץ.

זען איר אין הידראַ!

מקור: www.habr.com

לייגן אַ באַמערקונג