Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Ба наздикй, аз 8 то 12 июль дар як вакт ду вокеаи барчаста — конференция барпо гардид Hydra ва мактаб SPTDC. Дар ин мақола ман мехостам якчанд хусусиятҳоеро, ки мо дар ҷараёни конфронс мушоҳида кардем, қайд намоям.

Бузургтарин ифтихори Гидра ва Мактаб баромадкунандагон мебошанд.

  • Се лауреат Ҷоизаи Dijkstra: Лесли Лэмпорт, Морис Херлихи ва Майкл Скотт. Гузашта аз ин, Морис онро ду маротиба гирифт. Лесли Лэмпорт низ кабул кард Ҷоизаи Тюринг — бонуфузтарин ҷоизаи ACM дар соҳаи илмҳои компютерӣ;
  • Офарандаи компилятори Java JIT Cliff Click мебошад;
  • Таҳиягарони Корутин - Роман Елизаров (элизаров) ва Никита Коваль (ндковал) барои Котлин ва Дмитрий Вюков барои Го;
  • Саҳмгузорон ба Кассандра (Алекс Петров), CosmosDB (Денис Рыстсов), Махзани маълумоти Яндекс (Семён Чечеринда ва Владислав Кузнецов);
  • Ва бисёр одамони машҳури дигар: Мартин Клеппман (CRDT), Ҳейди Ховард (Паксос), Ори Лахав (модели хотираи C++), Педро Рамалхете (сохторҳои маълумотҳои бидуни интизорӣ), Алексей Зиновьев (ML), Дмитрий Бугаиченко (таҳлили графикӣ).

Ва ин аллакай Мактаб аст:

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

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Назария ва амалия, илм ва истехсолот

Ёдовар мешавам, ки Мактаби SPTDC як чорабинии хурд барои якунимсад нафар аст, ки дар он рӯшанфикрони сатҳи ҷаҳонӣ ҷамъ омада, дар бораи масъалаҳои муосири соҳаи компютерҳои тақсимшуда сӯҳбат мекунанд. Hydra як конфронси ҳисоббарории тақсимшудаи дурӯза аст, ки дар баробари он баргузор мешавад. Гидра тамаркузи бештари муҳандисӣ дорад, дар ҳоле ки Мактаб таваҷҷӯҳи бештари илмӣ дорад.

Яке аз ҳадафҳои конфронси Hydra муттаҳид кардани принсипҳои илмӣ ва муҳандисӣ мебошад. Аз як тараф, ин тавассути интихоби гузоришҳо дар барнома ба даст оварда мешавад: дар баробари Лампорт, Ҳерлиҳи ва Скотт, гузоришҳои бештари амалӣ аз ҷониби Алекс Петров, ки ба Кассандра саҳм мегузорад, ё Роман Елизаров аз JetBrains мавҷуданд. Мартин Клеппман ҳаст, ки қаблан стартапҳо месохт ва мефурӯшад ва ҳоло дар Донишгоҳи Кембриҷ дар CRDT таҳсил мекунад. Аммо чизи аҷиб он аст, ки Hydra ва SPTDC паҳлӯ ба паҳлӯ нигоҳ дошта мешаванд - онҳо гузоришҳои гуногун доранд, аммо ҷои умумӣ барои муошират.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Таъмид

Панч рузи мактаб паи хам барои иштирокчиён ва хам барои ташкилотчиён вокеаи хеле калон ва сарбории зиёд аст. На ҳама ба рӯзҳои охир расидаанд. Ондое буданд, ки дар як вадт ба Гидра ва мактаб рафта буданд ва барои ондо руздои охир аз дама пурчУшу хуруш гашт. Ҳамаи ин ғавғо аз ҷониби як таъми бениҳоят амиқ ҷуброн карда мешавад. Ин на танхо ба хачм, балки ба сифати масолех низ вобаста аст. Хамаи маърузаю лекцияхо дар хар ду чорабинй мукаддимавй ба накша гирифта нашуда буданд, бинобар ин ба хар чое, ки равед, дархол ба дуру чукур чабда мешавед ва то охир рахо намешавед.

Албатта, бисьёр чиз ба тайёрии ибтидоии иштироккунанда вобаста аст. Як лахзаи хандаоваре ба амал омад, ки ду гурухи одамон дар долон маърузаи Хайди Ховардро мустакилона мухокима карданд: ба баъзехо он тамоман оддй менамуд, дигарон бошад, баръакс, дар бораи хаёт чукур фикр мекарданд. Ҷолиб он аст, ки ба гуфтаи иштирокчиёни кумитаҳои барномавӣ (ки мехостанд номаш ифшо нашаванд), гузоришҳои Hydra ва лексияҳои Мактаб дар чорабиниҳои онҳо метавонанд аз ҳад зиёд бошанд. Масалан, агар як навраси PHP ба конфронси PHP барои омӯхтани ҳаёт омада бошад, гумон кардан каме бесамар мебуд, ки ӯ дар бораи дохилии Zend Engine дониши амиқ дорад. Дар ин чо нотикон ба хурдсолон кошук нахурда, дархол дарачаи муайяни донишу фахмишро дар назар доштанд. Хуб, дар ҳақиқат, сатҳи иштирокчиёне, ки системаҳои тақсимшударо идора мекунанд ва ядроҳои вақти корӣ менависанд, хеле баланд аст, ин мантиқист. Аз рӯи вокуниши иштирокчиён, интихоби гузориш аз рӯи сатҳ ва мавзӯъ хеле осон буд.

Агар дар бораи гузоришҳои мушаххас сухан гӯем, ҳамаашон ба таври худ хуб буданд. Аз рӯи суханони одамон ва он чизе ки аз варақаи фикру мулоҳизаҳо дида мешавад, яке аз гузоришҳои олӣ дар Мактаб буд "Сохтори маълумотҳои ғайрибандӣ" Майкл Скотт, ӯ ҳамаро аз ҳам ҷудо кард, вай рейтинги ғайримуқаррарии тақрибан 4.9 дорад.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

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

Хеле пеш аз огози Гидра ва мактаб, Руслан ARG89 тахмин мезаданд, ки як навъ «мета-конференсия» - конфронси конфронсҳо хоҳад буд, ки дар он ҳама иштирокчиёни воломақоми чорабиниҳои дигар ба таври худкор ба он, гӯё ба сӯрохи сиёҳ ворид мешаванд. Ва ҳамин тавр рӯй дод! Масалан, дар байни хонандагони омузишгох мушохида карда шуд Руслан Черемин аз DeutscheBank, мутахассиси маъруфи бисёрсоҳавӣ.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Ва аз аъзоёни Hydra мушоҳида карда шуданд Вадим Цеско (инкуби) ва Андрей Пангин (апангин) аз ширкати Одноклассники. (Дар баробари ин, Вадим низ ба мо кӯмак кард, ки бо Мартин Клепман ду мусоҳибаи олӣ гузаронем - яке барои Хабр, ва дигаре барои тамошобинони пахши онлайн). аъзоён буданд Кумитаи барномаи DotNext, нотикони машхур Анатолий Кулаков ва Игорь Лабутин. Аз ҷавистҳо буданд Дмитрий Александров и Владимир Иванов. Одатан шумо ин одамонро дар ҷойҳои тамоман дигар мебинед - дотнетистҳо дар DotNext, javaists дар Ҷокер ва ғайра. Ва аз ин рӯ, онҳо дар гузоришҳои Hydra паҳлӯ ба паҳлӯ нишастаанд ва якҷоя мушкилотро дар буффҳо муҳокима мекунанд. Вақте ки ин тақсимоти каме сунъӣ аз рӯи забонҳо ва технологияҳои барномасозӣ аз байн меравад, хусусиятҳои соҳаи мавзӯъ пайдо мешаванд: мутахассисони соҳаи динамикӣ бо дигар таймерҳо муошират мекунанд, муҳаққиқони назарияи ҳисоббарории тақсимшуда бо дигар тадқиқотчиён баҳс мекунанд, муҳандисони муҳаррики пойгоҳи додаҳо тахтаи сафедро ҷамъ мекунанд ва ғайра. .

Дар маъруза мувофиқи модели хотираи C++ таҳиягарони OpenJDK дар сафи пеш нишаста буданд (ҳадди ақал ман онҳоро аз рӯи дидан мешиносам, аммо на питонистҳо, шояд питонистҳо низ дар он ҷо буданд). Дар хакикат, дар ин гузориш Шипилевский чизе хаст... Ори айнан як чизро намегуяд, аммо нигохи бодиккат параллелхоро ошкор карда метавонад. Ҳатто пас аз ҳама чизҳое, ки дар стандартҳои охирини C++ рӯй дода буданд, мушкилот ба монанди арзишҳои ҳаво то ҳол ҳал нашудаанд ва шумо метавонед ба чунин гузориш равед ва гӯш кунед, ки одамон "дар тарафи дигари баррикада" чӣ гунаанд Кӯшиши ислоҳи ин мушкилот, Тавре ки онҳо фикр мекунанд, касро аз равишҳои ҳалли пайдошуда ба ҳайрат овардан мумкин аст (Ори яке аз имконоти ислоҳ дорад).

Дар кумитаҳои барномавӣ ва муҳаррикҳои ҷомеа бисёр иштирокчиён буданд. Ҳама мушкилоти байни динҳои худро ҳал карданд, пулҳо сохтанд ва робита пайдо карданд. Ман инро ҳар ҷое ки метавонистам истифода кардам ва масалан, мо бо Александр Боргардт аз он розӣ шудем Гурӯҳи корбарони C++ Маскав якҷоя дар бораи актёрҳо ва асинхрония дар C++ мақолаи мукаммал нависед.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Дар сурат: Леонид Талалаев (лталол, чап) ва Олег Анастасьев (m0nstermind, рост), таҳиягарони пешбари Одноклассники

Минтақаҳои мубоҳисаи оташсӯзӣ ва буффҳо

Дар конфронсҳо ҳамеша иштирокчиёне ҳастанд, ки мавзӯъро ҳамчун маърӯзачиён медонанд (ва баъзан ҳатто беҳтар аз маърӯзачиён - масалан, вақте ки таҳиягари асосии ягон технология дар байни иштирокчиён аст). Чунин иштирокчиёни баландихтисос дар Hydra хеле зиёд буданд. Масалан, дар баъзе мавридҳо дар атрофи Алекс Петров нақл мекунад дар бораи Кассандра, он кадар одамон ташкил ёфтанд, ки у ба хама чавоб дода наметавонист. Дар баъзе лаҳзаҳо, Алексро ҳамвор ба паҳлӯ тела дод ва бо саволҳо шикофта шуд, аммо парчами афтодаро як таҳиягари маъруфи Rust дар доираҳо бардошт. Тайлер Нили ва бори гаронро ба таври комил мувозинат кард. Вақте ки ман аз Тайлер барои кӯмак дар мусоҳибаи онлайн пурсидам, танҳо ӯ пурсид: "Мо кай оғоз мекунем?"

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Баъзан рУхи мубохиса хатто дар маърузахо cap шуд: Никита Коваль сессияи ногахонии саволу чавоб ташкил намуда, маърузаро ба якчанд бахш таксим кард.

Ва баръакс, дар BOF барои бисёр ришта онҳо дар бораи хотираи ғайрифаъол ёдовар шуданд, онҳоро ба ин bof ҷалб карданд. Педро Рамалхете хамчун сармутахассис баромад карда, хама чизро ба хама фахмонд (хулоса, хотираи ноустувор барои мо дар ояндаи наздик тахдид намекунад). Дар омади гап, яке аз мизбонони ин боф буд Владимир Ситников, ки дар комитетхои программавии якчанд конферен-цияхои девонавор хизмат мекунад... ба назар чунин менамояд, ки хозир дар як вакт панч нафар. Дар буффи навбатӣ дар бораи "CS муосир дар ҷаҳони воқеӣ" онҳо инчунин NVM-ро муҳокима карданд ва ба ин комилан мустақилона расиданд.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Ман метавонам як фаҳмиши олиро мубодила кунам, ки ҳатто онҳое, ки бевосита дар ин ҳикоя иштирок мекунанд, шояд пайхас накарда бошанд. Эли Гафни шоми рӯзи аввали мактаб баромад кард ва рӯзи дигар ӯ монд ва троллинги Лампортро оғоз кард ва аз берун чунин менамуд, ки ин бозӣ аст ва Элӣ нокифоя аст. Ин як навъ троллест, ки қасди берун кардани мағзи Леслиро кардааст. Дарвоқеъ, дар он аст, ки онҳо қариб дӯстони беҳтаринанд, онҳо солҳои зиёд дӯстӣ доранд ва ин маҳз ҳамин гуна шӯхии дӯстона аст. Яъне, шӯхӣ кор кард - ҳама атрофиён ба он афтоданд, онро бо арзиши номиналӣ гирифтанд.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Алохида, мехостам кайд намоям, ки нотикон ба ин чй кадар мехру мухаббат ва гайрат зо-хир кардаанд. Касе дар майдони мубохиса то дакикаи охирин, кариб соатхо истода буд. Танаффус кайхо ба охир расид, хисобот сар шуд, тамом шуд, танаффуси навбатй cap шуд — ва Дмитрий Вюков ба саволхо чавоб доданро давом дод. Бо ман як ҳикояи ҷолиб низ рӯй дод - бо ногаҳонии Cliff Click, ман на танҳо шарҳи возеҳ ва оқилонаи он баҳси иғвоангезро дар бораи набудани санҷишҳо гирифтам. барои баъзе чизҳо дар H2O, балки инчунин барраси пурраи онро гирифт забони нав АА. Ман ҳеҷ гоҳ инро напурсидам: ман танҳо пурсидам, ки шумо дар бораи АА чӣ хонда метавонед (маълум шуд, ки шумо метавонед гӯш кунед подкаст) ва ба ҷои ин Клифф ним соат дар бораи забон сӯҳбат кард ва дуруст фаҳмид, ки суханони ӯ тафтиш кард. Аҷиб. Мо бояд дар бораи АА хабрапост нависем. Боз як таҷрибаи ғайриоддӣ тамошои раванди баррасии дархост дар Котлин буд. Вақте ки шумо ба гурӯҳҳои мубоҳисавии гуногун, баромадкунандагони гуногун ворид мешавед ва ба дунёи тамоман нав меафтед, ин воқеан як эҳсоси ҷодугарист. Ин чизе дар сатҳи аст "Дар он ҷо, он ҷо" аз ҷониби Radiohead.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Забони англисӣ

Hydra 2019 аввалин конфронси мост, ки забони асосӣ забони англисӣ аст. Ин ҳам бартарӣ ва ҳам мушкилоти худро меорад. Бартарии баръало дар он аст, ки одамон ба конфронс на танҳо аз Русия меоянд, аз ин рӯ дар байни иштирокчиён шумо метавонед бо муҳандисони Аврупо ва олимони Англия вохӯред. Нотикон шогирдони худро меоранд. Умуман, маърӯзачиёни муҳим барои рафтан ба чунин конфронс ҳавасмандии бештар доранд. Тасаввур кунед, ки шумо дар конфронси комилан русзабон баромад мекунед: гузориши худро додед, майдони баҳсро дифоъ кардед ва баъд чӣ? Дар атрофи шаҳр сайр кунед ва ҷойҳои сайёҳиро бубинед? Дарвоқеъ, сухангӯёни воқеии маъмул ҳама чизро дар ҷаҳон ба қадри кофӣ дидаанд, онҳо намехоҳанд, ки шерҳо ва пулҳоро бубинанд, онҳо дилгир шудаанд. Агар ҳама гузоришҳо ба забони англисӣ бошанд, онҳо метавонанд дар конфронс ба таври умумӣ иштирок кунанд, вақтхушӣ кунанд, ба минтақаҳои мубоҳисавӣ ҳамроҳ шаванд ва ғайра. Муҳит нисбат ба баромадкунандагон хеле дӯстона аст.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Камбудии возеҳ дар он аст, ки на ҳама барои муошират бо забони англисӣ бароҳатанд. Бисёриҳо хуб мефаҳманд, аммо бад гап мезананд. Умуман, чизҳои оддӣ, ки бо роҳҳои гуногун ҳал карда мешуданд. Масалан, баъзе самтҳои мубоҳисавӣ ба забони русӣ оғоз шуданд, аммо вақте ки аввалин иштирокчии забони англисӣ пайдо шуд, фавран ба забони англисӣ гузашт.

Ман худам маҷбур будам, ки ифтитоҳ ва пӯшидани пахши онлайнро танҳо ба забони англисӣ иҷро кунам ва дар як чанд мусоҳибаи сабтшуда бо коршиносон ширкат варзидам. Ва ин барои ман як озмоиши воқеӣ буд, ки ба зудӣ фаромӯш нахоҳад шуд. Дар як лаҳза Олег Анастасьев (m0nstermind) танҳо ба ман гуфт, ки ҳангоми мусоҳиба бо онҳо нишаста бошам ва ман хеле дер фаҳмидам, ки ин чӣ маъно дорад.

Аз тарафи дигар, хеле гуворо буд, ки мардум дар гузоришҳо бо як садо савол медоданд. На танҳо забони модарӣ, балки ҳама дар маҷмӯъ, он хуб кор кард. Дар дигар конфронсҳо, аксар вақт мушоҳида мешавад, ки одамон аз додани саволҳо аз шунавандагон бо забони шикастаи англисӣ шарм мекунанд ва танҳо дар майдони баҳс чизеро фишурда карда метавонанд. Ин ҷо тамоман дигар буд. Нисбатан, баъзе Клифф Клик гузоришҳои худро каме пештар ба итмом расониданд ва пас аз он саволҳо бо пайдарпаии давомдор, сӯҳбат ба минтақаи баҳс гузашт - бидуни таваққуфҳои ногувор ва таваққуф. Ҳамин чиз ба ҷаласаи саволу ҷавоби Лесли Лэмпорт дахл дорад; баранда амалан маҷбур набуд, ки саволҳои худро диҳад, иштирокчиён ҳама чизро пешниҳод карданд.

Ҳама гуна чизҳои хурде буданд, ки кам одамон мушоҳида мекунанд, аммо онҳо вуҷуд доранд. Аз сабаби он, ки конфронс ба забони инглисӣ мегузарад, тарҳи чунин чизҳо, аз қабили варақаҳо ва харитаҳо сабуктар ва мухтасартар аст. Забонҳоро такрор кардан ва тарроҳиро парешон кардан лозим нест.

Сарпарастон ва намоишгоҳ

Сарпарастони мо дар ташкили конфронс ба мо кумаки калон доданд. Бо шарофати онҳо, дар вақти танаффус ҳамеша коре буд.

Дар стенд TechCenter Deutsche Bank шумо метавонед бо муҳандисони системаҳои бисёрсоҳавӣ сӯҳбат кунед, мушкилоти онҳоро аз саратон ҳал кунед, тӯҳфаҳои хотиравӣ ба даст оред ва танҳо вақтро хуб гузаронед.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Дар стенд Контур мо метавонистем дар бораи системаҳои худи онҳо, ҳам кушода ва ҳам манбаи кушод сухан ронем: пойгоҳи додаҳои хотираи тақсимшуда, журнали тақсимшудаи бинарӣ, системаи оркестрсозии микросервис, интиқоли универсалӣ барои телеметрия ва ғайра. Ва албатта, муаммоҳо ва мусобиқаҳо, стикерҳо бо гурбаи бинарӣ ва асрҳои миёна аз азоб, тӯҳфаҳо ба монанди китоби Мартин Клеппман ва фигураҳои LEGO.

Лутфан қайд кунед, ки таҳлили мушкилоти Контур аллакай дар Habre нашр шудааст. Таҳлили хуб, сазовори дидан.

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Хохишмандон метавонанд хар гуна китобхоро хари-да, бо хамкасбон мухокима кунанд. Барои сеанси автографӣ тамоми мардум ҷамъ омаданд!

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Натиҷаҳо

Конфронси Hydra ва Мактаби SPTDC барои мо ҳамчун ширкати ташкилкунанда ва барои тамоми ҷомеа рӯйдодҳои хеле муҳим мебошанд. Ин имкониятест, ки ба ояндаи мо назар андозем, заминаи ягонаи концептуалии мухокимаи проблемахои муосирро тартиб дихем ва ба самтхои шавковар бодиккат назар кунем. Multithreading муддати хеле тӯлонӣ вуҷуд дорад, аммо пас аз пайдоиши аввалин протсессори воқеан чандаслӣ барои паҳн шудани ин падида даҳ сол лозим шуд. Он чизе, ки мо дар гузоришҳои ин ҳафта шунидем, хабари зудгузар набуда, балки роҳ ба сӯи ояндаи дурахшонест, ки мо дар солҳои оянда пайравӣ хоҳем кард. Дар ин паём ҳеҷ гуна спойлерҳо барои Hydra-и навбатӣ вуҷуд надорад, аммо шумо метавонед ба беҳтарин умед гузоред. Агар шумо ба ин масъалаҳо таваҷҷӯҳ дошта бошед, шумо метавонед дигар чорабиниҳои моро, ба монанди гуфтугӯҳои конфронси хардкор, тафтиш кунед Joker 2019 ё DotNext 2019 Москва. Дар конфронсҳои оянда вохӯрем!

Се барандаи ҷоизаи Dijkstra: чӣ гуна Hydra 2019 ва SPTDC 2019 гузашт

Манбаъ: will.com

Илова Эзоҳ