Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Posachedwapa, kuyambira pa July 8 mpaka 12, zochitika ziwiri zazikulu zinachitika nthawi imodzi - msonkhano Hydra ndi sukulu Chithunzi cha SPTDC. Mu positi iyi ndikufuna kuwunikira zinthu zingapo zomwe tidaziwona pamsonkhano.

Kunyada kwakukulu kwa Hydra ndi Sukulu ndi olankhula.

  • Opambana atatu Mphotho ya Dijkstra: Leslie Lamport, Maurice Herlihy ndi Michael Scott. Komanso, Maurice analandira kawiri. Leslie Lamport adalandiranso Turing Award - mphotho yapamwamba kwambiri ya ACM mu sayansi yamakompyuta;
  • Wopanga Java JIT compiler ndi Cliff Click;
  • Opanga Corutin - Roman Elizarov (elizarov) ndi Nikita Koval (ndkoval) kwa Kotlin, ndi Dmitry Vyukov kwa Go;
  • Othandizira ku Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda ndi Vladislav Kuznetsov);
  • Ndi anthu ena ambiri otchuka: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ memory model), Pedro Ramalhete (kudikira-free data structures), Alexey Zinoviev (ML), Dmitry Bugaichenko (graph analysis).

Ndipo iyi ndi Sukulu:

  • Brown University (Maurice Herlihy),
  • Yunivesite ya Rochester (Michael Scott)
  • University of Waterloo (Trevor Brown),
  • Yunivesite ya Nantes (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • Yunivesite ya California ku Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Kafukufuku wa Microsoft (Leslie Lamport),
  • Kafukufuku wa VMware (Ittai Abraham).

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Malingaliro ndi machitidwe, sayansi ndi kupanga

Ndiroleni ndikukumbutseni kuti Sukulu ya SPTDC ndi chochitika chaching'ono cha anthu zana limodzi ndi theka; zounikira zapamwamba padziko lonse lapansi zimasonkhana kumeneko ndikulankhula zamasiku ano pankhani yogawa makompyuta. Hydra ndi msonkhano wamasiku awiri wogawika wamakompyuta womwe umachitika mofanana. Hydra ili ndi chidwi kwambiri ndi uinjiniya, pomwe Sukuluyi imayang'ana kwambiri zasayansi.

Chimodzi mwa zolinga za msonkhano wa Hydra ndikuphatikiza mfundo za sayansi ndi uinjiniya. Kumbali imodzi, izi zimatheka ndi kusankhidwa kwa malipoti mu pulogalamuyi: pamodzi ndi Lamport, Herlihy ndi Scott, pali malipoti ambiri omwe amagwiritsidwa ntchito ndi Alex Petrov, omwe amathandiza Cassandra, kapena Roman Elizarov wochokera ku JetBrains. Pali Martin Kleppman, yemwe ankamanga ndi kugulitsa zoyambira ndipo tsopano akuphunzira CRDT pa yunivesite ya Cambridge. Koma chinthu chozizira ndi chakuti Hydra ndi SPTDC amagwiridwa mbali ndi mbali - ali ndi malipoti osiyana, koma malo omwe amalumikizana nawo.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Kumiza

Masiku asanu a Sukulu motsatizana ndi chochitika chachikulu kwambiri komanso ntchito zambiri, kwa otenga nawo mbali ndi okonzekera. Sikuti aliyense anafika m’masiku otsiriza. Panali ena omwe anapita ku Hydra ndi Sukulu nthawi imodzi, ndipo kwa iwo masiku otsiriza adakhala odzaza ndi zochitika zambiri. Kukangana konseku kumathetsedwa ndi kumizidwa mozama modabwitsa. Izi siziri chifukwa cha kuchuluka kwa voliyumu kokha, komanso chifukwa cha khalidwe lazinthu. Malipoti ndi maphunziro onse pazochitika zonsezi sizinakonzedwe kuti zikhale zoyambira, kotero kulikonse komwe mungapite, nthawi yomweyo mumathamangira kutali, ndipo simukuloledwa mpaka kumapeto.

Inde, zambiri zimadalira kukonzekera koyamba kwa wophunzirayo. Panali mphindi yosangalatsa pamene magulu awiri a anthu omwe anali m'kholamo adakambirana mozama lipoti la Heidi Howard: kwa ena zinkawoneka ngati zachilendo, pamene ena, mosiyana, ankaganizira mozama za moyo. N'zochititsa chidwi kuti malinga ndi omwe akugwira nawo ntchito m'makomiti a pulogalamu (omwe ankafuna kuti asadziwike), malipoti a Hydra ndi nkhani za Sukulu pazochitika zawo zikhoza kukhala zoyenerera. Mwachitsanzo, ngati PHP junior adabwera ku msonkhano wa PHP kuti aphunzire moyo, zingakhale zopumira pang'ono kuganiza kuti ali ndi chidziwitso chakuya zamkati mwa Zend Engine. Apa, okamba nkhani sanadyetse ana aang'ono, koma nthawi yomweyo ankatanthauza chidziwitso ndi kumvetsetsa. Inde, mulingo wa omwe akutenga nawo mbali omwe amagwiritsa ntchito makina ogawa ndikulemba ma kernel othamanga ndiwokwera kwambiri, izi ndizomveka. Potengera zomwe ophunzira adachita, zinali zophweka kusankha lipoti potengera mlingo ndi mutuwo.

Ngati tilankhula za malipoti enieni, onse anali abwino mwa njira yawoyawo. Kutengera zomwe anthu akunena ndi zomwe zingawoneke kuchokera pa fomu yofotokozera, imodzi mwa malipoti osangalatsa kwambiri pa Sukuluyi inali "Ma data osatsekeka" Michael Scott, adangogawanitsa aliyense, ali ndi mavoti achilendo pafupifupi 4.9.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Metaconference

Kale kwambiri asanayambe Hydra ndi Sukulu, Ruslan ZOKHUDZA kuganiza kuti padzakhala mtundu wina wa "meta-conference" - msonkhano wamisonkhano, pomwe onse omwe atenga nawo mbali pazochitika zina adzalowetsedwamo, ngati kuti alowa mu dzenje lakuda. Ndipo zinachitikadi! Mwachitsanzo, pakati pa ophunzira a Sukulu adadziwika Ruslan Cheremin kuchokera ku DeutscheBank, katswiri wodziwika bwino pakuwerenga zambiri.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Ndipo mwa mamembala a Hydra adawonedwa Vadim Tsesko (incubos) ndi Andrey Pangin (apangin) kuchokera ku kampani ya Odnoklassniki. (Panthawi yomweyo, Vadim adatithandizanso kuchita zoyankhulana ziwiri zabwino kwambiri ndi Martin Kleppman - imodzi ya Habr, ndi inayo kwa owonera zowulutsa pa intaneti). Panali mamembala DotNext Program Komiti, okamba otchuka Anatoly Kulakov ndi Igor Labutin. A Javist analipo Wotchedwa Dmitry Alexandrov и Vladimir Ivanov. Nthawi zambiri mumawona anthu awa m'malo osiyanasiyana - ma dotnetists pa DotNext, javaists pa Joker, ndi zina zotero. Ndipo kotero iwo amakhala mbali ndi mbali pa Hydra malipoti ndi pamodzi kukambirana mavuto pa buffs. Pamene kugawanika pang'ono kwa zilankhulo ndi matekinoloje kumasowa, mawonekedwe a phunziroli amawonekera: akatswiri othamanga nthawi yomweyo amalankhulana ndi othamanga ena, ofufuza a computing theory amatsutsana kwambiri ndi ofufuza ena, akatswiri opanga ma database amadzaza bolodi loyera, ndi zina zotero. .

Pa lipoti malinga ndi C ++ memory model opanga OpenJDK anali atakhala kutsogolo (osachepera ndimawadziwa ndikuwona, koma osati a Pythonists, mwina a Pythonists analiponso). Ndipotu, pali chinachake kotero Shipilevsky mu lipoti ili ... Ori samanena chimodzimodzi chinthu chomwecho, koma kuyang'anitsitsa mosamala kumatha kuzindikira kufanana. Ngakhale zitachitika zonse zomwe zidachitika mumiyezo yaposachedwa ya C ++, mavuto monga mpweya wochepa thupi anali asanakhazikitsidwe, kotero mutha kupita ku lipoti lotere ndikumvetsera momwe anthu "mbali ina ya barricade" alili. kuyesera kukonza mavutowa, Monga akuganizira, munthu akhoza kuchita chidwi ndi njira zothetsera zomwe zapezeka (Ori ili ndi imodzi mwazosankha).

Panali ambiri otenga nawo mbali m'makomiti apulogalamu ndi injini zamagulu. Aliyense anathetsa mavuto awo ophatikiza zipembedzo, kumanga milatho, ndi kupeza kugwirizana. Ndinagwiritsa ntchito izi kulikonse kumene ndingathe, ndipo, mwachitsanzo, tinagwirizana ndi Alexander Borgardt kuchokera Moscow C++ User Group pamodzi lembani nkhani yonse yokhudzana ndi zisudzo ndi asynchrony mu C++.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Pa chithunzi: Leonid Talalaev (zonse, kumanzere) ndi Oleg Anastasyev (m0nstermind, kumanja), otsogola otsogola ku Odnoklassniki

Zone zokambilana zozimitsa moto

Pamisonkhano nthawi zonse pamakhala otenga nawo mbali omwe amadziwa nkhaniyi komanso okamba (ndipo nthawi zina amakhala bwino kuposa okamba - mwachitsanzo, pamene wopanga maziko aukadaulo wina ali m'gulu la ophunzira). Panali akatswiri ambiri otenga nawo gawo pa Hydra. Mwachitsanzo, panthawi ina pafupi ndi Alex Petrov akunena za Cassandra, anthu ambiri anapangana moti sanathe kuyankha aliyense. Panthawi ina, Alex adakankhidwira kumbali bwino ndipo adayamba kung'ambika ndi mafunso, koma mbendera yakugwa idatengedwa ndi wopanga Rust wodziwika bwino m'mabwalo. Tyler Neely ndi kulinganiza katunduyo mwangwiro. Nditafunsa Tyler kuti andithandize pakufunsana pa intaneti, zonse zomwe adafunsa zinali, "Tiyamba liti?"

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Nthawi zina, mzimu wokambilana umadutsanso malipoti: Nikita Koval adakonza gawo la mafunso ndi mayankho mwadzidzidzi, ndikugawa lipotilo m'magawo angapo.

Ndipo mosemphanitsa, pa BOF pakujambula zambiri amakumbukira za kukumbukira kosasunthika, adakopeka ndi izi. Pedro Ramalhete monga katswiri wamkulu, ndipo adafotokozera zonse kwa aliyense (mwachidule, kukumbukira kosasunthika sikuli koopsa kwa ife posachedwa). Mmodzi mwa makamu a bof uyu, mwa njira, anali Vladimir Sitnikov, yemwe amatumikira m'makomiti a pulogalamu ya misonkhano yambiri yopenga ... zikuwoneka ngati zisanu panthawi imodzi. Pampikisano wotsatira wa "Modern CS mu dziko lenileni" adakambirananso za NVM ndipo adafika paokha.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Nditha kugawana nawo chidziwitso chapamwamba chomwe ngakhale omwe akukhudzidwa mwachindunji mwina sanazindikire. Eli Gafni adachita madzulo a tsiku loyamba la Sukulu, ndipo tsiku lotsatira adakhala ndikuyamba kuyendayenda ku Lamport, ndipo kuchokera kunja kunkawoneka kuti iyi inali masewera ndipo Eli anali wosakwanira. Kuti uyu ndi mtundu wina wa troll yemwe adayamba kutulutsa ubongo wa Leslie. Ndipotu zoona zake n’zakuti iwo ndi mabwenzi apamtima, akhala mabwenzi kwa zaka zambiri, ndipo zimenezi n’zaubwenzi. Ndiko kuti, nthabwala inagwira ntchito - anthu onse ozungulira adagwa chifukwa cha izo, adazitenga pamtengo wake.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Payokha, ndikufuna kuona kuchuluka kwa chikondi ndi khama zomwe okamba nkhani amaika mu izi. Wina anaima m’malo okambitsiranawo kufikira mphindi yomalizira, pafupifupi kwa maola ambiri. Kupuma kunatha kalekale, lipotilo linayamba, linatha, kupuma kotsatira kunayamba - ndipo Wotchedwa Dmitry Vyukov anapitiriza kuyankha mafunso. Nkhani yosangalatsa idandichitikiranso - nditadzidzimuka ndi Cliff Click, sindinangolandira kulongosola komveka bwino komanso komveka kwa zokambirana zokopa za kusowa kwa mayeso. pazinthu zina mu H2O, komanso ndalandira ndemanga yonse ya izo chinenero chatsopano AA. Sindinafunsepo izi: Ndangofunsa zomwe mungawerenge za AA (zinapezeka kuti mutha kumvera podcast), ndipo m’malo mwake Cliff anatha theka la ola akulankhula za chinenerocho ndi kuona ngati zimene anali kunena zinali zomveka bwino. Zodabwitsa. Tiyenera kulemba habrapost za AA. Chochitika china chachilendo chinali kuyang'ana ndondomeko yowunikira pempho ku Kotlin. Ndiko kumverera kwamatsenga mukakhala m'magulu osiyanasiyana okambira, olankhula osiyanasiyana, ndikulowetsedwa m'dziko latsopano. Ichi ndi chinachake pa mlingo "Kumeneko, Kumeneko" ndi Radiohead.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Chingerezi

Hydra 2019 ndi msonkhano wathu woyamba pomwe chilankhulo chachikulu ndi Chingerezi. Izi zimabweretsa ubwino wake ndi zovuta zake. Ubwino wodziwikiratu ndikuti anthu samangobwera ku msonkhano kuchokera ku Russia, kotero pakati pa ophunzira mutha kukumana ndi akatswiri ochokera ku Europe ndi asayansi ochokera ku England. Oyankhula amabweretsa ophunzira awo. Nthawi zambiri, okamba nkhani ofunikira amakhala ndi zolimbikitsa zambiri zopita kumsonkhano wotero. Tangoganizani kuti ndinu wokamba nkhani pamsonkhano wa chinenero cha Chirasha kwathunthu: mwapereka lipoti lanu, mwateteza malo okambirana, ndiyeno chiyani? Yendani kuzungulira mzindawo ndikuwona malo oyendera alendo? Ndipotu, oyankhula otchuka kwambiri awona kale zokwanira zonse za padziko lapansi, sakufuna kupita kukawona mikango ndi milatho, amatopa. Ngati malipoti onse ali mu Chingerezi, akhoza kutenga nawo mbali pa msonkhano wonse, kusangalala, kujowina mbali zokambilana, ndi zina zotero. M'mlengalenga ndi wabwino kwambiri kwa olankhula.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Choyipa chodziwikiratu ndikuti si onse omwe ali omasuka kuyankhulana mu Chingerezi. Ambiri amamvetsetsa bwino, koma amalankhula molakwika. Nthawi zambiri, zinthu wamba zomwe zinathetsedwa m'njira zosiyanasiyana. Mwachitsanzo, nkhani zina zinayamba m’Chirasha, koma nthaŵi yomweyo anasintha n’kupita ku Chingelezi pamene munthu woyamba wolankhula Chingelezi anatulukira.

Inenso ndimayenera kutsegulira ndi kutsekera zowulutsa pa intaneti mu Chingerezi ndikuchita nawo zoyankhulana zingapo zomwe zili parekodi ndi akatswiri. Ndipo limeneli linali vuto lalikulu kwa ine limene silidzaiwalika posachedwapa. Nthawi ina Oleg Anastasyev (m0nstermind) anangondiuza kuti ndikhale nawo pansi pa nthawi yofunsa mafunso, ndipo ndinachedwa kwambiri kuti ndimvetse tanthauzo la zimenezi.

Kumbali ina, zinali zokondweretsa kwambiri kuti anthu amafunsa mafunso pamalipoti ndi phokoso. Osati kokha olankhula mbadwa, koma aliyense, zinayenda bwino. Pamisonkhano ina, nthawi zambiri zimawoneka kuti anthu amachita manyazi kufunsa mafunso kuchokera kwa omvera m'Chingelezi chosweka, ndipo amatha kungofinya china chake m'gawo la zokambirana. Izi zinali zosiyana kotheratu apa. Kunena zoona, Cliff Click wina adamaliza malipoti ake kale, ndipo pambuyo pake mafunso adatsatiridwa mosalekeza, zokambiranazo zidalowa m'malo okambilana - popanda kuyimitsidwa koyipa kapena zosokoneza. Zomwezo zimagwiranso ntchito pa gawo la Q&A la Leslie Lamport; wowonetsa samayenera kufunsa mafunso ake, otenga nawo mbali adabwera ndi chilichonse.

Panali mitundu yonse ya zinthu zazing'ono zomwe anthu ochepa amaziwona, koma zilipo. Chifukwa chakuti msonkhanowu uli m’Chingelezi, mapangidwe a zinthu monga timapepala ndi mapu ndi opepuka komanso achidule. Palibe chifukwa chobwereza zilankhulo ndikusokoneza kapangidwe kake.

Othandizira ndi chiwonetsero

Othandizira athu adatithandizira kwambiri popanga msonkhano. Chifukwa cha iwo, nthawi zonse pamakhala chochita panthawi yopuma.

Poyimilira Deutsche Bank TechCenter mutha kucheza ndi mainjiniya amitundu yambiri, kuthetsa mavuto awo m'mutu mwanu, kupambana mphoto zosaiŵalika ndikukhala ndi nthawi yabwino.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Poyimilira Contour Titha kuyankhula za machitidwe awo, onse otseguka ndi otseguka: malo osungiramo zosungiramo zosungiramo, zolemba za binary zogawidwa, dongosolo la microservice orchestration, kayendedwe ka telemetry, ndi zina zotero. Ndipo ndithudi, puzzles ndi mpikisano, zomata ndi mphaka wa binary ndi Suffering Middle Ages, mphatso monga buku la Martin Kleppmann ndi ziwerengero za LEGO.

Chonde dziwani kuti kusanthula kwamavuto a Kontur kuli kale lofalitsidwa pa Habre. Kusanthula kwabwino, koyenera kuyang'ana.

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Amene ankafuna akanatha kugula mabuku amitundu yonse ndi kukambirana nawo ndi anzawo. Khamu lonse la anthu linasonkhana ku gawo la autograph!

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Zotsatira

Msonkhano wa Hydra ndi Sukulu ya SPTDC ndizochitika zofunika kwambiri kwa ife monga kampani yokonzekera komanso kwa anthu onse ammudzi. Uwu ndi mwayi woti tiyang'ane zamtsogolo mwathu, kupanga malingaliro ogwirizana oti tikambirane zamavuto amakono, ndikuyang'anitsitsa mayendedwe osangalatsa. Multithreading yakhalapo kwa nthawi yayitali kwambiri, koma zidatenga zaka khumi kuchokera pamene purosesa yoyamba yamitundu yambiri idawonekera kuti chodabwitsachi chifalikire. Zomwe tidamva pamalipoti sabata ino si nkhani zachidule, koma njira yopita ku tsogolo labwino lomwe tidzatsatira m'zaka zikubwerazi. Sipadzakhala owononga Hydra yotsatira mu positi iyi, koma mutha kuyembekezera zabwino. Ngati mumakonda nkhani ngati izi, mungafune kuwona zochitika zathu zina, monga zokambirana zolimba pamisonkhano Joker 2019 kapena DotNext 2019 Moscow. Tikuwonani pamisonkhano yotsatira!

Opambana atatu a Dijkstra: momwe Hydra 2019 ndi SPTDC 2019 zidayendera

Source: www.habr.com

Kuwonjezera ndemanga