Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Жақында, 8-12 шілде аралығында бір мезгілде екі айтулы оқиға – конференция өтті Гидра және мектеп SPTDC. Бұл постта мен конференция барысында байқаған бірнеше ерекшеліктерді атап өткім келеді.

Гидра мен мектептің ең үлкен мақтанышы - спикерлер.

  • Үш лауреат Dijkstra жүлделері: Лесли Лэмпорт, Морис Херлихи және Майкл Скотт. Оның үстіне Морис оны екі рет алды. Лесли Лэмпорт та алды Тьюринг сыйлығы — информатика саласындағы ең беделді ACM сыйлығы;
  • Java JIT компиляторының жасаушысы - Cliff Click;
  • Корутин әзірлеушілері - Роман Елизаров (Элизаров) және Никита Коваль (ndkoval) Котлин үшін, ал Дмитрий Вюков Go үшін;
  • Кассандра (Алекс Петров), КосмосДБ (Денис Рысцов), Яндекс деректер базасына (Семён Чечеринда және Владислав Кузнецов) салымшылар;
  • Және басқа да көптеген танымал адамдар: Мартин Клеппман (CRDT), Хайди Ховард (Паксос), Ори Лахав (C++ жад үлгісі), Педро Рамалхете (күтусіз деректер құрылымдары), Алексей Зиновьев (ML), Дмитрий Бугаиченко (график талдау).

Ал бұл қазірдің өзінде Мектеп:

  • Браун университеті (Морис Херлихи),
  • Рочестер университеті (Майкл Скотт),
  • Ватерлоо университеті (Тревор Браун),
  • Нант университеті (Achour Mostefaoui),
  • Дэвид Бен-Гурион Негев университеті (Дэнни Хендлер),
  • Лос-Анджелестегі Калифорния университеті (Эли Гафни),
  • Париж политехникалық институты (Петр Кузнецов),
  • Microsoft Research (Лесли Лэмпорт),
  • VMware Research (Ittai Abraham).

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Теория мен практика, ғылым мен өндіріс

Естеріңізге сала кетейін, SPTDC мектебі бір жарым жүз адамға арналған шағын іс-шара болып табылады, онда әлемдік деңгейдегі корифейлер жиналып, бөлінген есептеулер саласындағы заманауи мәселелер туралы айтады. Hydra - параллель өткізілетін екі күндік бөлінген есептеу конференциясы. Гидра көбірек инженерлік бағытты ұстанады, ал Мектепте ғылыми бағыт бар.

Гидра конференциясының мақсаттарының бірі – ғылыми және инженерлік принциптерді біріктіру. Бір жағынан, бұған бағдарламадағы есептерді таңдау арқылы қол жеткізіледі: Лампорт, Херлихи және Скоттпен қатар Кассандраға үлес қосатын Алекс Петровтың немесе JetBrains-тен Роман Елизаровтың қолданбалы есептері әлдеқайда көп. Мартин Клеппман бар, ол бұрын стартаптар құрып, сататын, қазір Кембридж университетінде CRDT бойынша оқып жатыр. Бірақ керемет нәрсе, Hydra мен SPTDC қатар ұсталады - олардың есептері әртүрлі, бірақ байланыс үшін ортақ орын.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Батыру

Мектептің бес күні қатарынан өту – қатысушылар үшін де, ұйымдастырушылар үшін де өте үлкен оқиға және үлкен жүктеме. Барлығы соңғы күндерге жете алмады. Гидра мен мектепке қатар барғандар болды, олар үшін соңғы күндер ең оқиғаға толы болды. Барлық осы әбігершілік керемет терең суға батыру арқылы өтеледі. Бұл көлемге ғана емес, материалдың сапасына да байланысты. Екі іс-шарадағы барлық баяндамалар мен лекциялар кіріспе ретінде жоспарланбаған, сондықтан сіз қайда барсаңыз да, сіз бірден алысқа және тереңге сүңгисіз және сізді соңына дейін жібермейді.

Әрине, көп нәрсе қатысушының алғашқы дайындығына байланысты. Дәліздегі екі топ адам Хайди Ховардтың баяндамасын өз бетінше талқылағанда күлкілі сәт болды: біреулерге бұл мүлдем кәдімгідей көрінсе, ал басқалары, керісінше, өмір туралы терең ойланды. Бір қызығы, бағдарлама комитеттеріне қатысушылардың пікірінше (анонимді қалғысы келгендер), Гидраның баяндамалары мен мектептің өз іс-шараларындағы лекциялары тым жоғары болуы мүмкін. Мысалы, егер PHP кіші студенті PHP конференциясына өмірді үйрену үшін келсе, оның Zend Engine-тің ішкі бөліктері туралы терең білімі бар деп болжау сәл ақымақтық болар еді. Бұл жерде спикерлер жас жеткіншектерді қасықтай тамақтандырмай, бірден белгілі бір білім мен түсінік деңгейін меңзеген. Шынында да, бөлінген жүйелерді басқаратын және орындалу уақытының ядроларын жазатын қатысушылардың деңгейі өте жоғары, бұл қисынды. Қатысушылардың реакциясына қарағанда, деңгей мен тақырыпқа байланысты баяндаманы таңдау оңай болды.

Егер нақты есептер туралы айтатын болсақ, олардың барлығы өзінше жақсы болды. Адамдардың айтқандарына және кері байланыс нысанынан не көруге болатынына қарағанда, Мектептегі ең керемет есептердің бірі болды «Блокталмайтын деректер құрылымдары» Майкл Скотт, ол барлығын бөліп тастады, оның 4.9 шамасында қалыпты емес рейтингі бар.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Метаконференция

Гидра мен мектеп басталғанға дейін көп уақыт бұрын, Руслан ARG89 қандай да бір «мета-конференция» - конференциялар конференциясы болады деп болжаған болатын, онда басқа оқиғалардың барлық жетекші қатысушылары автоматты түрде қара құрдымға түскендей болады. Және солай болды! Мысалы, мектеп оқушыларының арасында бұл байқалды Руслан Черемин DeutscheBank-тен, көп ағынмен жұмыс жасаудың белгілі маманы.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Гидра мүшелері де байқалды Вадим Цеско (инкуболар) Және Андрей Пангин (апангин) Одноклассники компаниясынан. (Сонымен қатар, Вадим бізге Мартин Клепманмен екі тамаша сұхбат беруге көмектесті - біреуі Хабр үшін, ал екіншісі онлайн трансляцияның көрермендеріне арналған). мүшелері болды DotNext бағдарлама комитеті, атақты спикерлер Анатолий Кулаков пен Игорь Лабутин. Джависттердің арасында болды Дмитрий Александров и Владимир Иванов. Әдетте сіз бұл адамдарды мүлдем басқа жерлерде көресіз - DotNext-тегі дотнетистер, Джокердегі Javaists және т.б. Осылайша олар Hydra баяндамаларында қатар отырады және бірге баффтардағы мәселелерді талқылайды. Бағдарламалау тілдері мен технологиялары бойынша бұл аздап жасанды бөліну жойылғанда, пәндік аймақтың ерекшеліктері пайда болады: динамикалық орындалу уақытының мамандары басқа орындау таймерлерімен байланысады, бөлінген есептеулер теориясын зерттеушілер басқа зерттеушілермен қызу пікірталасқа түседі, дерекқор қозғалтқышының инженерлері тақтаны толтырады және т.б. .

Баяндамада C++ жады үлгісіне сәйкес OpenJDK әзірлеушілері алдыңғы қатарда отырды (кем дегенде мен оларды көзбен білемін, бірақ питонистер емес, мүмкін питонистер де сонда болған шығар). Шындығында, Шипилевскийдің бұл баяндамасында бір нәрсе бар... Ори дәл бір нәрсені айтпайды, бірақ мұқият қарау параллельдерді анықтауға болады. Соңғы C++ стандарттарында орын алған барлық нәрселерден кейін де, ауадан тыс мәндер сияқты мәселелер әлі де шешілмеді, сондықтан сіз мұндай есепке кіріп, «баррикаданың екінші жағындағы» адамдардың қалай екенін тыңдай аласыз. осы мәселелерді шешуге тырысқанда, олар дәлелдегендей, табылған шешімнің тәсілдеріне таң қалуы мүмкін (Ori-де түзету нұсқаларының бірі бар).

Бағдарлама комитеттері мен қауымдастық қозғалтқыштарына қатысушылар көп болды. Барлығы өздерінің конфессияаралық мәселелерін шешіп, көпірлер салып, байланыстар алды. Мен мұны кез келген жерде қолдандым және, мысалы, біз Александр Боргардтпен келістік Мәскеудегі C++ пайдаланушылар тобы бірге C++ тілінде актерлер мен асинхрония туралы толық көлемді мақала жазыңыз.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Суретте: Леонид Талалаев (ltalal, сол жақта) және Олег Анастасьев (m0nstermind, оң жақта), Одноклассникидегі жетекші әзірлеушілер

Өрт талқылау аймақтары мен буффтар

Конференцияларда әрқашан спикерлермен қатар тақырыпты жақсы білетін қатысушылар (және кейде спикерлерден де жақсырақ – мысалы, қатысушылардың арасында қандай да бір технологияның негізін жасаушы болған кезде) болады. Гидрада мұндай жоғары сарапшы қатысушылар көп болды. Мысалы, бір сәтте Алекс Петров айтып отыр Кассандра туралы, көп адам қалыптасқаны сонша, ол бәріне жауап бере алмады. Бір сәтте Алекс біркелкі жағына итеріп, сұрақтармен жыртыла бастады, бірақ құлап жатқан жалауды әйгілі Rust әзірлеушісі шеңберлерде көтеріп алды. Тайлер Нили және жүктемені тамаша теңестірді. Мен Тайлерден онлайн сұхбатта көмек сұрағанымда, ол сұрағанның бәрі: «Біз қашан бастаймыз?»

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Кейде пікірталас рухы тіпті баяндамаларға да еніп кетті: Никита Коваль кенеттен сұрақ-жауап сессиясын ұйымдастырып, баяндаманы бірнеше бөлімге бөлді.

Және керісінше, көп ағынды үшін BOF-те олар өзгермейтін жад туралы есте қалды, олар осы bof-ға тартылды. Педро Рамалхете бас маман ретінде барлығына барлығын түсіндірді (қысқасы, тұрақсыз жады бізге жақын болашақта қауіп төндірмейді). Айтпақшы, осы бофтың қожайындарының бірі болды Владимир Ситников, кейбір ақылсыз конференциялардың бағдарламалық комитеттерінде қызмет ететін ... дәл қазір бір уақытта беске ұқсайды. «Нақты әлемдегі заманауи CS» туралы келесі шумақта олар NVM-ді талқылады және бұған толығымен өз бетімен келді.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Мен тіпті оқиғаға тікелей қатысы бар адамдар байқамаған болуы мүмкін керемет түсінікпен бөлісе аламын. Эли Гафни мектептің бірінші күнінің кешінде өнер көрсетті, ал келесі күні ол қалып, Лэмпортты троллей бастады, ал сырттан бұл ойын және Эли жеткіліксіз болып көрінді. Бұл Леслидің миын алуды мақсат еткен тролльдің бір түрі. Шындығында, олар өте жақын достар, олар көп жылдар бойы дос болды және бұл дәл осындай достық әзіл. Яғни, әзіл жұмыс істеді - айналасындағылардың бәрі оған құмар болды, оны нақты қабылдады.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Сонымен қатар, спикерлердің бұған қаншалықты сүйіспеншілік пен күш салғанын атап өткім келеді. Пікірталас алаңында біреу соңғы минутқа дейін, сағаттап дерлік тұрды. Үзіліс әлдеқашан аяқталды, есеп басталды, аяқталды, келесі үзіліс басталды - және Дмитрий Вюков сұрақтарға жауап беруді жалғастырды. Менімен де қызықты оқиға болды - Cliff Click-ді таң қалдырып, мен сынақтардың жоқтығы туралы осы арандатушылық пікірталастың нақты және ақылға қонымды түсіндірмесін алдым. H2O құрамындағы кейбір заттар үшін, бірақ сонымен бірге ол туралы толық шолу алды жаңа тіл AA. Мен мұны ешқашан сұрамадым: мен жай ғана АА туралы не оқуға болатынын сұрадым (тыңдай аласыз подкаст), оның орнына Клифф жарты сағат бойы тіл туралы сөйлесіп, оның айтқанының дұрыс түсінілгенін тексерді. Керемет. АА туралы хабрапост жазуымыз керек. Тағы бір ерекше тәжірибе Котлиндегі сұрауды қарау процесін бақылау болды. Сіз әртүрлі пікірталас топтарына, әртүрлі спикерлерге кіріп, мүлдем жаңа әлемге енген кезде бұл шынымен сиқырлы сезім. Бұл деңгейде нәрсе Radiohead шығарған «Онда, сонда»..

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Ағылшын тілі

Hydra 2019 – негізгі тілі ағылшын тілі болатын бірінші конференциямыз. Бұл оның артықшылықтарын да, қиындықтарын да әкеледі. Айқын артықшылығы – конференцияға адамдар тек Ресейден келіп қана қоймайды, сондықтан қатысушылар арасында Еуропадан инженерлер мен Англиядан келген ғалымдарды кездестіруге болады. Спикерлер студенттерін алып келеді. Жалпы, маңызды спикерлердің мұндай конференцияға баруға мотивациясы әлдеқайда жоғары. Толығымен орыстілді конференцияда баяндамашы екеніңізді елестетіп көріңізші: сіз өз баяндамаңызды жасадыңыз, талқылау аймағын қорғадыңыз, содан кейін ше? Қаланы аралап, туристік орындарды көресіз бе? Шын мәнінде, танымал спикерлер әлемдегі барлық нәрсені жеткілікті түрде көрді, олар арыстандар мен көпірлерді көргісі келмейді, олар жалықтырады. Егер барлық есептер ағылшын тілінде болса, олар конференцияға жалпы негізде қатыса алады, көңіл көтереді, талқылау аймақтарына қосыла алады және т.б. Атмосфера спикерлерге өте мейірімді.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Айқын кемшілігі - барлығына ағылшын тілінде сөйлесу ыңғайлы емес. Көпшілігі жақсы түсінеді, бірақ нашар сөйлейді. Жалпы, әртүрлі жолмен шешілген қарапайым нәрселер. Мысалы, кейбір талқылау аймақтары орыс тілінде басталды, бірақ бірінші ағылшын тілінде сөйлейтін қатысушы пайда болған кезде бірден ағылшын тіліне ауысты.

Мен өзім онлайн трансляцияның ашылуы мен жабылуын тек ағылшын тілінде жасауға және сарапшылармен бірнеше жазбаша сұхбатқа қатысуға тура келді. Бұл мен үшін жақын арада ұмытылмайтын нағыз сынақ болды. Бір кезде Олег Анастасьев (m0nstermind) маған сұхбат кезінде олармен бірге отыруымды айтты, мен мұның не екенін түсінуге тым баяу болдым.

Екінші жағынан, баяндамаларда халықтың дүркіретіп сұрақтар қойғаны өте қуанышты болды. Тек ана тілінде сөйлейтіндер ғана емес, жалпы барлығы жақсы жұмыс істеді. Басқа конференцияларда адамдар аудиториядан бұзылған ағылшын тілінде сұрақ қоюға ұялатыны және тек талқылау аймағында бір нәрсені сығып алатыны жиі байқалады. Бұл жерде мүлдем басқаша болды. Салыстырмалы түрде айтатын болсақ, кейбір Cliff Click өз баяндамаларын сәл ертерек аяқтады, содан кейін сұрақтар үздіксіз дәйектілікпен жалғасты, әңгіме талқылау аймағына өтті - ыңғайсыз үзілістер мен үзілістерсіз. Бұл Лесли Лэмпорттың сұрақ-жауап сессиясына да қатысты; жүргізушіге оның сұрақтарын қоюдың қажеті жоқ, қатысушылар бәрін ойлап тапты.

Аз адамдар байқайтын әр түрлі ұсақ-түйектер болды, бірақ олар бар. Конференция ағылшын тілінде болғандықтан, парақшалар мен карталар сияқты дүниелердің дизайны жеңіл әрі қысқарақ. Тілдерді қайталаудың және дизайнды шатастырудың қажеті жоқ.

Демеушілер және көрме

Конференцияны құруға демеушілеріміз көп көмектесті. Олардың арқасында үзіліс кезінде әрқашан бірдеңе болатын.

Стендте Deutsche Bank TechCenter Сіз көп ағынды жүйелердің инженерлерімен сөйлесе аласыз, олардың мәселелерін өз ойыңыздан тыс шеше аласыз, есте қаларлық сыйлықтар ұтып алып, уақытыңызды жақсы өткізе аласыз.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Стендте Контур біз олардың ашық және ашық бастапқы көздері туралы айта аламыз: таратылған жадтағы деректер базасы, бөлінген екілік журнал, микросервисті басқару жүйесі, телеметрияға арналған әмбебап транспорт және т.б. Және, әрине, басқатырғыштар мен жарыстар, екілік мысық және азап шеккен орта ғасырлар бар стикерлер, Мартин Клеппманның кітабы және LEGO фигуралары сияқты сыйлықтар.

Контур мәселелеріне талдау жасалып жатқанын ескеріңіз Хабреде жарияланған. Жақсы талдау, қарауға тұрарлық.

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Қалағандар кітаптың барлық түрін сатып алып, әріптестерімен талқылай алады. Қолтаңба сессиясына бүкіл халық жиналды!

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Нәтижелері

Hydra конференциясы мен SPTDC мектебі біз үшін ұйымдастырушы компания ретінде және бүкіл қоғамдастық үшін өте маңызды оқиғалар болып табылады. Бұл біздің болашағымызға көз жүгіртуге, заманауи проблемаларды талқылаудың бірыңғай тұжырымдамалық негізін әзірлеуге және қызықты бағыттарға тереңірек қарауға мүмкіндік береді. Көп ағындылық өте ұзақ уақыт болды, бірақ бұл құбылыстың кең таралуы үшін бірінші шын мәнінде көп ядролы процессор пайда болғаннан кейін он жыл қажет болды. Осы аптадағы баяндамаларда естігеніміз өткінші жаңалық емес, алдағы жылдарда біз ұстанатын жарқын болашаққа апаратын жол. Бұл постта келесі Hydra үшін спойлерлер болмайды, бірақ сіз жақсылыққа үміттене аласыз. Егер сізді осы сияқты мәселелер қызықтырса, біздің басқа іс-шараларды, мысалы, конференциялық сұхбаттарды тексергіңіз келуі мүмкін Joker 2019 немесе DotNext 2019 Мәскеу. Келесі конференцияларда кездескенше!

Үш Dijkstra сыйлығының лауреаты: Hydra 2019 және SPTDC 2019 қалай өтті

Ақпарат көзі: www.habr.com

пікір қалдыру