Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Kwanan nan, daga 8 zuwa 12 ga Yuli, abubuwa biyu masu mahimmanci sun faru a lokaci guda - taron Hydra da makaranta Farashin SPTDC. A cikin wannan sakon ina so in haskaka abubuwa da yawa da muka lura yayin taron.

Babban abin alfahari Hydra da Makaranta sune masu magana.

  • Wadanda suka lashe kyautar guda uku Kyautar Dijkstra: Leslie Lamport, Maurice Herlihy da Michael Scott. Bugu da ƙari, Maurice ya karɓa sau biyu. Leslie Lamport ma ta samu Kyautar Turing - mafi kyawun lambar yabo ta ACM a kimiyyar kwamfuta;
  • Wanda ya kirkiro Java JIT compiler shine Cliff Click;
  • Masu haɓaka Corutin - Roman Elizarov (elizarovda Nikita Koval (ndkoval) don Kotlin, da Dmitry Vyukov don Go;
  • Masu ba da gudummawa ga Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda da Vladislav Kuznetsov);
  • Kuma da yawa wasu shahararrun mutane: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ memory model), Pedro Ramalhete (free data Tsarin), Alexey Zinoviev (ML), Dmitry Bugaichenko (graph analysis).

Kuma wannan tuni Makaranta ne:

  • Jami'ar Brown (Maurice Herlihy),
  • Jami'ar Rochester (Michael Scott),
  • Jami'ar Waterloo (Trevor Brown),
  • Jami'ar Nantes (Achour Mostefaoui),
  • David Ben-Gurion Jami'ar Negev (Danny Hendler),
  • Jami'ar California a Los Angeles (Eli Gafni),
  • Cibiyar Polytechnique de Paris (Petr Kuznetsov),
  • Binciken Microsoft (Leslie Lamport),
  • Binciken VMware (Itai Abraham).

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Ka'idar da aiki, kimiyya da samarwa

Bari in tunatar da ku cewa Makarantar SPTDC karamin taron mutane dari da rabi ne, manyan masanan duniya sun taru a wurin suna magana kan al'amuran zamani a fannin rarraba kwamfuta. Hydra taron kwamfuta ne na kwana biyu da aka rarraba a layi daya. Hydra yana da ƙarin fifikon aikin injiniya, yayin da Makaranta ke da ƙarin ilimin kimiyya.

Ɗaya daga cikin manufofin taron Hydra shine haɗa ka'idodin kimiyya da injiniyanci. A gefe guda, ana samun wannan ta hanyar zaɓin rahotanni a cikin shirin: tare da Lamport, Herlihy da Scott, akwai rahotanni da yawa da aka yi amfani da su daga Alex Petrov, wanda ke ba da gudummawa ga Cassandra, ko Roman Elizarov na JetBrains. Akwai Martin Kleppman, wanda ya kasance yana ginawa da siyar da abubuwan farawa kuma yanzu yana karatun CRDT a Jami'ar Cambridge. Amma abin ban sha'awa shi ne cewa Hydra da SPTDC suna riƙe da juna - suna da rahotanni daban-daban, amma wuri guda don sadarwa.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Nitsewa

Kwanaki biyar na Makarantar a jere babban taron ne kuma mai yawan aiki, ga mahalarta da masu shiryawa. Ba kowa ne ya kai ga kwanaki na ƙarshe ba. Akwai wadanda suka je Hydra da School a lokaci guda, kuma a gare su kwanakin karshe ya zama mafi girma. Duk wannan hargitsi an daidaita shi ta hanyar nutsewa mai zurfi mai ban mamaki. Wannan shi ne saboda ba kawai ga ƙarar ba, amma har ma da ingancin kayan. Duk rahotanni da laccoci da aka yi a taron biyu ba a shirya su zama gabatarwa ba, don haka duk inda ka je, nan da nan za ka nutse cikin nisa, kuma ba a bar ka ba har zuwa ƙarshe.

Tabbas, da yawa ya dogara da shirye-shiryen farko na mahalarta. Akwai wani lokacin ban dariya lokacin da ƙungiyoyi biyu na mutane a cikin titin suka tattauna da kansu game da rahoton Heidi Howard: ga wasu ya zama kamar na yau da kullun, yayin da wasu, akasin haka, tunani sosai game da rayuwa. Yana da ban sha'awa cewa bisa ga mahalarta kwamitocin shirye-shiryen (waɗanda suke so su kasance ba a san su ba), rahotannin Hydra da laccoci na Makaranta a abubuwan da suka faru na iya zama abin ƙyama. Misali, idan ƙaramin PHP ya zo taron PHP don koyon rayuwa, zai zama ɗan gaggawa don ɗauka cewa yana da zurfin ilimi game da abubuwan ciki na Zend Engine. A nan, masu magana ba su ciyar da yara kanana cokali ba, amma nan da nan sun nuna wani matakin ilimi da fahimta. To, hakika, matakin mahalarta waɗanda ke aiki da tsarin rarrabawa da rubuta kernels na lokaci yana da girma sosai, wannan yana da ma'ana. Yin la'akari da martanin mahalarta, yana da sauƙi a zaɓi rahoto bisa mataki da batun.

Idan muka yi magana game da takamaiman rahotanni, duk sun yi kyau a hanyarsu. Yin la'akari da abin da mutane ke faɗi da abin da za a iya gani daga fom ɗin amsa, ɗaya daga cikin mafi kyawun rahotanni a Makarantar shine "Tsarin bayanan da ba a toshewa" Michael Scott, kawai ya raba kowa da kowa, yana da ƙima mara kyau na kusan 4.9.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Metaconference

Tun kafin fara Hydra da Makarantar, Ruslan ARG89 An ɗauka cewa za a yi wani nau'i na "taron taro" - taron taro, inda za a tsotse dukkan manyan mahalarta sauran abubuwan ta atomatik a cikinsa, kamar a cikin rami mai duhu. Kuma haka ya faru! Misali, a cikin daliban Makarantar an lura da shi Ruslan Cheremin daga DeutscheBank, sanannen ƙwararrun ƙwararrun ƙwararru.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Kuma an lura da 'yan Hydra Vadim Tsasko (incubos) da kuma Andrey Pangin (apangin) daga kamfanin Odnoklassniki. (A lokaci guda, Vadim kuma ya taimaka mana yin tambayoyi biyu masu kyau da Martin Kleppman - daya ga Habr, da sauran don masu kallon watsa shirye-shiryen kan layi). Akwai mambobi Kwamitin Shirye-shiryen DotNext, Shahararrun masu magana Anatoly Kulakov da Igor Labutin. Daga cikin Javist akwai Dmitry Alexandrov и Vladimir Ivanov. Yawancin lokaci kuna ganin waɗannan mutane a wurare daban-daban - dotnetists akan DotNext, javaists akan Joker, da sauransu. Don haka suka zauna tare da juna a rahotannin Hydra kuma tare suna tattaunawa akan matsaloli akan buffs. Lokacin da wannan ɗan ƙaramin yanki na wucin gadi ta hanyar shirye-shiryen yarukan da fasaha ya ɓace, fasalulluka na yanki sun bayyana: ƙwararrun ƙwararrun lokaci masu ƙarfi suna sadarwa tare da sauran masu runtime, masu binciken ka'idar lissafi da aka rarraba suna jayayya da sauran masu bincike, injiniyoyin bayanai sun cika farin allo, da sauransu. .

A rahoton bisa ga tsarin ƙwaƙwalwar C++ Ma'aikatan OpenJDK suna zaune a layi na gaba (aƙalla na san su da gani, amma ba Pythonists ba, watakila Pythonists ma suna can). A gaskiya ma, akwai wani abu don haka Shipilevsky a cikin wannan rahoto ... Ori bai faɗi daidai wannan abu ba, amma kallo mai hankali zai iya gano daidaitattun. Ko da bayan duk abin da ya faru a cikin sababbin ka'idodin C ++, har yanzu ba a daidaita matsaloli irin su daga ƙimar iska ba, don haka za ku iya zuwa irin wannan rahoto kuma ku saurari yadda mutane "a gefen shingen" suke. ƙoƙarin gyara waɗannan matsalolin, Kamar yadda suke tunani, mutum zai iya sha'awar hanyoyin magance da aka samo (Ori yana da ɗayan zaɓuɓɓukan gyara).

An sami mahalarta da yawa a kwamitocin shirye-shirye da injiniyoyin al'umma. Kowa ya warware matsalolin bambance-bambancen addini, ya gina gadoji, kuma sun sami alaƙa. Na yi amfani da wannan a duk inda zan iya, kuma, alal misali, mun yarda da Alexander Borgardt daga Moscow C++ Rukunin Masu Amfani tare rubuta cikakken labarin labarin game da ƴan wasan kwaikwayo da asynchrony a cikin C++.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

A cikin hoto: Leonid Talalaev (ltal, hagu) da kuma Oleg Anastasyev (m0n hankali, dama), manyan masu haɓakawa a Odnoklassniki

Yankunan tattaunawa na wuta da buffs

A taron akwai mahalarta ko da yaushe waɗanda suka san abin da ake magana da su da kuma masu magana (wasu lokuta ma sun fi masu magana - misali, lokacin da mai haɓaka tushen wasu fasaha yana cikin mahalarta). Akwai ƙwararrun ƙwararrun ƙwararrun mahalarta akan Hydra. Alal misali, a wani lokaci a kusa da Alex Petrov gaya game da Cassandra, da yawa mutane suka kafa har ya kasa ba kowa amsa. A wani lokaci, an tura Alex a hankali a gefe kuma ya fara yayyage shi da tambayoyi, amma wani sanannen mai haɓaka Rust ya ɗauko tutar da ke fadowa a cikin da'irar. Tyler Neely da daidaita kaya daidai. Lokacin da na tambayi Tyler don taimako game da hira ta kan layi, abin da ya tambaya shi ne, "Yaushe za mu fara?"

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

A wasu lokuta, ruhun tattaunawa har ma ya shiga cikin rahotanni: Nikita Koval ya shirya taron Q&A kwatsam, yana rarraba rahoton zuwa sassa da yawa.

Kuma akasin haka, akan BOF don Multi-threading sun tuna game da ƙwaƙwalwar da ba ta da ƙarfi, an jawo su zuwa wannan bof. Pedro Ramalhete a matsayin babban kwararre, kuma ya bayyana komai ga kowa da kowa (a takaice dai, ƙwaƙwalwar da ba ta da ƙarfi ba ta zama barazana a gare mu nan gaba ba). Daya daga cikin rundunonin wannan bof, ta hanyar, shine Vladimir Sitnikov, wanda ke aiki a kwamitocin shirye-shirye na wasu mahaukata adadin taro ... da alama kamar biyar a lokaci guda a yanzu. A buff na gaba game da "CS na zamani a cikin duniyar gaske" sun kuma tattauna NVM kuma sun zo wannan gaba ɗaya da kansu.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Zan iya raba babban-hankali wanda hatta wadanda ke cikin labarin kai tsaye ba su lura ba. Eli Gafni ya yi wasa da yamma a ranar farko ta Makarantar, washegari kuma ya zauna ya fara zazzage Lamport, daga waje kuwa kamar wasa ne kuma Eli bai isa ba. Wannan wani nau'i ne na troll wanda ya tashi don fitar da kwakwalwar Leslie. Haƙiƙa, gaskiyar ita ce, kusan kusan abokai ne, sun kasance abokai shekaru da yawa, kuma wannan baƙon abokantaka ne kawai. Wato, wasan barkwanci ya yi aiki - duk mutanen da ke kusa da su sun fadi don shi, sun dauke shi da daraja.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Na dabam, Ina so in lura da irin ƙauna da ƙoƙarin da masu magana suka yi a cikin wannan. Wani ya tsaya a wurin tattaunawa har zuwa minti na ƙarshe, kusan awanni. Hutu ya ƙare da daɗewa, rahoton ya fara, ya ƙare, hutu na gaba ya fara - kuma Dmitry Vyukov ya ci gaba da amsa tambayoyi. Wani labari mai ban sha'awa kuma ya faru da ni - bayan da na ɗauki Cliff Click da mamaki, na sami ba kawai bayyanannen bayani mai ma'ana ba game da wannan tattaunawa mai tsokana game da rashin gwaje-gwaje. don wasu abubuwa a cikin H2O, amma kuma ya sami cikakken nazari game da shi sabon harshe AA. Ban taɓa tambayar wannan ba: Na tambayi abin da za ku iya karantawa game da AA (ya zamana kuna iya saurare zato), kuma maimakon haka Cliff ya ɗauki rabin sa’a yana magana game da yaren kuma ya duba cewa an fahimci abin da yake faɗa daidai. Abin al'ajabi. Muna buƙatar rubuta habrapost game da AA. Wani abin da ba a saba gani ba shine kallon tsarin duba buƙatar ja a Kotlin. Da gaske abin sihiri ne lokacin da kuke tafiya cikin ƙungiyoyin tattaunawa daban-daban, masu magana daban-daban, kuma kuka tsunduma cikin sabuwar duniya. Wannan wani abu ne a matakin "A can, Akwai" ta Radiohead.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Harshen Turanci

Hydra 2019 shine taronmu na farko inda babban harshe shine Ingilishi. Wannan yana kawo fa'idodinsa da ƙalubalensa. Wani fa'ida a bayyane shine cewa mutane ba kawai suna zuwa taron daga Rasha ba, don haka a cikin mahalarta zaku iya saduwa da injiniyoyi daga Turai da masana kimiyya daga Ingila. Masu magana suna kawo dalibansu. Gabaɗaya, masu magana masu mahimmanci suna da ƙarin kuzari don zuwa irin wannan taron. Ka yi tunanin cewa kai mai magana ne a babban taro na harshen Rashanci: ka ba da rahotonka, ka kare wurin tattaunawa, sannan menene? Yi tafiya a cikin birni kuma ku ga wuraren yawon bude ido? A gaskiya ma, ainihin mashahuran masu magana sun riga sun ga isasshen komai a duniya, ba sa so su je ganin zakuna da gadoji, sun gundura. Idan duk rahotannin suna cikin Turanci, za su iya shiga cikin taron gabaɗaya, yin nishaɗi, shiga wuraren tattaunawa, da sauransu. Yanayin yana da kusanci ga masu magana.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Babban hasara shine cewa ba kowa bane ke jin daɗin sadarwa cikin Ingilishi. Mutane da yawa suna fahimta da kyau, amma magana mara kyau. Gabaɗaya, abubuwa na yau da kullun waɗanda aka warware ta hanyoyi daban-daban. Misali, wasu wuraren tattaunawa sun fara cikin Rashanci, amma nan da nan suka koma Turanci lokacin da ɗan wasan Ingilishi na farko ya bayyana.

Ni kaina dole ne in yi bude da rufe inclusions na kan layi watsa shirye-shirye na musamman a cikin Turanci da kuma shiga a cikin kamar wata a kan rikodin tambayoyi da masana. Kuma wannan babban kalubale ne a gare ni wanda ba za a manta da shi nan da nan ba. A wani lokaci Oleg Anastasyev (m0n hankali) kawai ya gaya mini in zauna tare da su yayin hirar, kuma na yi jinkirin fahimtar abin da hakan ke nufi.

A gefe guda kuma, an yi farin ciki sosai yadda mutane suka yi tambayoyi a rahotannin tare da kakkausar murya. Ba kawai masu magana na asali ba, amma kowa da kowa a gaba ɗaya, ya yi aiki sosai. A wasu tarurrukan, sau da yawa ana ganin mutane suna jin kunyar yin tambayoyi daga masu sauraro cikin karyar turanci, kuma suna iya matse wani abu kawai a wurin tattaunawa. Wannan ya sha bamban a nan. Idan aka kwatanta, wasu Cliff Click sun gama rahotonsa kaɗan da wuri, kuma bayan haka tambayoyin suka biyo baya a jere, tattaunawar ta koma yankin tattaunawa - ba tare da ɗan dakata ko katsewa ba. Hakanan ya shafi zaman Q&A na Leslie Lamport; mai gabatarwa a zahiri bai yi tambayarsa ba, mahalarta sun fito da komai.

Akwai ƙananan abubuwa iri-iri waɗanda mutane kaɗan ke lura da su, amma sun wanzu. Saboda kasancewar taron a cikin Ingilishi, ƙirar abubuwa kamar ƙasidu da taswira sun fi sauƙi kuma mafi ƙanƙanta. Babu buƙatar kwafin harsuna da rikitar da ƙira.

Masu tallafawa da nuni

Masu daukar nauyin mu sun taimaka mana sosai wajen samar da taron. Godiya gare su, akwai ko da yaushe wani abu da za a yi a lokacin hutu.

A wurin tsayawa Deutsche Bank TechCenter Kuna iya yin magana da injiniyoyi na tsarin zaren da yawa, warware matsalolinsu daga kan ku, ku sami kyaututtukan da ba za a iya mantawa da su ba kuma ku sami lokaci mai kyau.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

A wurin tsayawa Kwane-kwane za mu iya magana game da nasu tsarin, duka bude da bude tushen: a rarraba a-memory database, rarraba binary log, microservice orchestration tsarin, a duniya sufuri na telemetry, da sauransu. Kuma ba shakka, wasanin gwada ilimi da gasa, lambobi tare da kyan gani na binary da Wahalar Tsakiyar Zamani, kyaututtuka kamar littafin Martin Kleppmann da ƙididdigar LEGO.

Lura cewa nazarin matsalolin Kontur ya rigaya aka buga a Habré. Kyakkyawan bincike, ya cancanci kallo.

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Wadanda suke so za su iya siyan littattafai iri-iri kuma su tattauna su da abokan aikinsu. Dukan jama'a sun taru don zama na autograph!

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

Sakamakon

Taron Hydra da Makarantar SPTDC abubuwa ne masu mahimmanci a gare mu a matsayin kamfanin shiryawa da kuma ga dukan al'umma. Wannan wata dama ce don duba makomarmu, samar da ingantaccen tsarin ra'ayi don tattauna matsalolin zamani, da kuma duban kwatance masu ban sha'awa. Multithreading ya kasance a kusa na dogon lokaci, amma ya ɗauki tsawon shekaru goma bayan da na'urar sarrafa nau'i-nau'i na farko ya bayyana don al'amarin ya zama tartsatsi. Abin da muka ji a rahotanni a wannan makon ba labarai ne masu gushewa ba, amma hanya ce ta samun kyakkyawar makoma da za mu bi a shekaru masu zuwa. Ba za a sami masu ɓarna ga Hydra na gaba a cikin wannan post ɗin ba, amma kuna iya fatan mafi kyau. Idan kuna sha'awar batutuwa irin waɗannan, kuna iya son duba sauran al'amuran mu, kamar tattaunawar taro na hardcore Joker 2019 ko DotNext 2019 Moscow. Mu hadu a tarurruka na gaba!

Masu nasara uku Dijkstra Prize: yadda Hydra 2019 da SPTDC 2019 suka tafi

source: www.habr.com

Add a comment