Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Haufinyane tjena, ho tloha ka la 8 ho ea ho la 12 July, liketsahalo tse peli tsa bohlokoa li ile tsa etsahala ka nako e le 'ngoe - seboka Hydra le sekolo SPTDC. Ka poso ena ke rata ho totobatsa lintlha tse 'maloa tseo re li hlokometseng nakong ea kopano.

Boikhohomoso bo boholo ba Hydra le Sekolo ke libui.

  • Bahapi ba bararo Likhau tsa Dijkstra: Leslie Lamport, Maurice Herlihy le Michael Scott. Ho feta moo, Maurice o ile a e fumana habeli. Leslie Lamport le eena o amohetse Moputso oa Turing - moputso o tummeng ka ho fetisisa oa ACM ho saense ea khomphutha;
  • Moetsi oa moqapi oa Java JIT ke Cliff Click;
  • Baetsi ba Corutin - Roman Elizarov (elizarov) le Nikita Koval (ndkoval) bakeng sa Kotlin, le Dmitry Vyukov bakeng sa Go;
  • Bafani ba Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda le Vladislav Kuznetsov);
  • Le batho ba bang ba bangata ba tummeng: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (mohlala oa memori ea C ++), Pedro Ramalhete (mehaho ea data e sa leteng), Alexey Zinoviev (ML), Dmitry Bugaichenko (tlhahlobo ea kerafo).

Mme sena e se e le Sekolo:

  • Univesithi ea Brown (Maurice Herlihy),
  • Univesithi ea Rochester (Michael Scott),
  • Univesithi ea Waterloo (Trevor Brown),
  • Univesithi ea Nantes (Achour Mostefaoui),
  • David Ben-Gurion Univesithi ea Negev (Danny Hendler),
  • Univesithi ea California e Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Lipatlisiso tsa Microsoft (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Khopolo le tloaelo, saense le tlhahiso

E-re ke le hopotse hore Sekolo sa SPTDC ke ketsahalo e nyenyane bakeng sa batho ba lekholo le halofo; ba khanyang ba maemo a lefats'e ba bokana moo 'me ba bua ka litaba tsa morao-rao tse mabapi le ho arola lik'homphieutha. Hydra ke kopano ea matsatsi a mabeli e phatlalalitsoeng ea komporo e ts'oaroang ka nako e ts'oanang. Hydra e tsepamisitse maikutlo haholoanyane boenjiniere, athe Sekolo se tsepamisitse maikutlo ho feta saense.

E 'ngoe ea lipheo tsa kopano ea Hydra ke ho kopanya melao-motheo ea saense le boenjiniere. Ka lehlakoreng le leng, sena se finyelloa ka khetho ea litlaleho lenaneong: hammoho le Lamport, Herlihy le Scott, ho na le litlaleho tse ngata tse sebelisoang ke Alex Petrov, ea kenyang letsoho ho Cassandra, kapa Roman Elizarov ho tloha JetBrains. Ho na le Martin Kleppman, ea neng a tloaetse ho haha ​​​​le ho rekisa li-startups 'me hona joale o ithuta CRDT Univesithing ea Cambridge. Empa ntho e pholileng ke hore Hydra le SPTDC li tšoaroa ka lehlakoreng le leng - li na le litlaleho tse fapaneng, empa sebaka se tloaelehileng sa puisano.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Ho qoelisoa metsing

Matsatsi a mahlano a Sekolo ka tatellano ke ketsahalo e kholo haholo le mosebetsi o mongata, bakeng sa barupeluoa le bahlophisi. Ha se bohle ba fihletseng matsatsing a ho qetela. Ho ne ho e-na le ba ileng ba ea Hydra le Sekolo ka nako e le 'ngoe,' me ho bona matsatsi a ho qetela a ile a fetoha a mangata ka ho fetisisa. Khang ena eohle e felisitsoe ke ho qoelisoa ho tebileng ho makatsang. Sena ha se bakoe feela ke molumo, empa hape le boleng ba thepa. Litlaleho le lipuo tsohle liketsahalong tsena ka bobeli li ne li sa reroa hore e be selelekela, kahoo kae kapa kae moo u eang teng, hang-hang u qoela hole le ho teba, 'me ha u tloheloe ho fihlela qetellong.

Ha e le hantle, ho hongata ho itšetlehile ka tokisetso ea pele ea morupeluoa. Ho bile le motsotso o qabolang ha lihlopha tse peli tsa batho phasejeng li buisana ka boikemelo ka tlaleho ea Heidi Howard: ho ba bang e ne e bonahala e tloaelehile ka ho feletseng, ha ba bang, ho fapana le hoo, ba ne ba nahana ka botebo ka bophelo. Hoa thahasellisa hore ho ea ka barupeluoa ba likomiti tsa lenaneo (ba neng ba lakatsa ho lula ba sa tsejoe), litlaleho tsa Hydra le lipuo tsa Sekolo liketsahalong tsa bona li ka ba tsa bohlokoa ho feta tekano. Ka mohlala, haeba PHP junior a tla kopanong ea PHP ho ithuta bophelo, e ka ba ho potlakela ho nahana hore o na le tsebo e tebileng ka basebetsi ba Zend Engine. Mona, libui ha lia ka tsa fepa bana ba banyenyane, empa hang-hang li ile tsa bolela boemo bo itseng ba tsebo le kutloisiso. Ehlile, boemo ba barupeluoa ba sebelisang litsamaiso tse ajoang le ho ngola lithapo tsa nako ea ho sebetsa bo holimo haholo, sena sea utloahala. Ho latela maikutlo a barupeluoa, ho ne ho le bonolo ho khetha tlaleho ho latela boemo le sehlooho.

Haeba re bua ka litlaleho tse tobileng, kaofela li ne li le molemo ka tsela ea tsona. Ho latela seo batho ba se buang le se ka bonoang foromong ea maikutlo, e 'ngoe ea litlaleho tse pholileng ka ho fetisisa Sekolong e bile "Mehaho ea data e sa thibeleng" Michael Scott, o sa tsoa arola batho bohle, o na le lintlha tse sa tloaelehang tse ka bang 4.9.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Metaconference

Nako e telele pele Hydra le Sekolo se qala, Ruslan EA-89-ARG ba ne ba nahana hore ho tla ba le "meta-conference" ea mofuta o itseng - seboka sa likopano, moo barupeluoa bohle ba ka sehloohong ba liketsahalo tse ling ba neng ba tla kenngoa ho eona, joalokaha eka ke ka sekoting se setšo. Ho ile ha etsahala joalo! Ka mohlala, har'a liithuti tsa Sekolo se ile sa hlokomeloa Ruslan Cheremin ho tsoa ho DeutscheBank, setsebi se tsebahalang sa ho bala lintho tse ngata.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Le litho tsa Hydra li ile tsa hlokomeloa Vadim Tsesko (li-incubos) le Andrey Pangin (apangin) ho tsoa k'hamphaning ea Odnoklassniki. (Ka nako e ts'oanang, Vadim o boetse a re thusa ho etsa lipuisano tse peli tse ntle le Martin Kleppman - e 'ngoe bakeng sa Habr, le tse ling bakeng sa bashebelli ba khaso ea inthaneteng). Ho ne ho e-na le litho DotNext Komiti ea Lenaneo, libui tse tummeng Anatoly Kulakov le Igor Labutin. Ba Javist ba ne ba le teng Dmitry Alexandrov и Vladimir Ivanov. Hangata u bona batho bana libakeng tse fapaneng ka ho felletseng - li-dotnetists ho DotNext, li-javaists ho Joker, joalo-joalo. Kahoo ba lula ba bapile ka litlaleho tsa Hydra 'me hammoho ba buisana ka mathata ka li-buffs. Ha karohano ena ea maiketsetso ka lipuo le theknoloji e nyamela, likarolo tsa sebaka seo ho buuoang ka tsona lia hlaha: litsebi tse matla tsa nako ea ho sebetsa li buisana le libapali tse ling, bafuputsi ba theory ea khomphutha ba pheha khang ka matla le bafuputsi ba bang, baenjiniere ba database ba bokella boardboard, joalo-joalo. .

Tlalehong ho latela mohlala oa memori oa C ++ baetsi ba OpenJDK ba ne ba lutse ka pele (bonyane ke ba tseba ka pono, empa eseng Pythonists, mohlomong Pythonists le bona ba ne ba le teng). Ha e le hantle, ho na le ho hong hoo Shipilevsky tlalehong ena ... Ori ha e bolele ntho e tšoanang hantle, empa ho sheba ka hloko ho ka lemoha ho tšoana. Esita le ka mor'a hore ntho e 'ngoe le e' ngoe e etsahetseng ka litekanyetso tsa morao-rao tsa C ++, mathata a kang ho tsoa moeeng o mosesaane a ne a ntse a sa lokisoe, kahoo u ka ea tlalehong e joalo 'me u mamele kamoo batho "ka lehlakoreng le leng la mokoallo" ba leng teng. ho leka ho lokisa mathata ana, Ha ba ntse ba beha mabaka, motho a ka khahloa ke mekhoa ea tharollo e fumanoeng (Ori e na le e 'ngoe ea likhetho tsa ho lokisa).

Ho ne ho e-na le bankakarolo ba bangata likomiting tsa mananeo le lienjineng tsa sechaba. E mong le e mong o ile a rarolla mathata a bona a ho kopanya litumelo, a haha ​​marokho, 'me a fumana maqhama. Ke ne ke sebelisa sena hohle moo nka khonang, 'me, ka mohlala, re lumellane le Alexander Brgardt ho tloha Sehlopha sa basebelisi ba Moscow C++ mmoho ngola sengoloa se felletseng mabapi le batšoantšisi le asynchrony ho C++.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Setšoantšong: Leonid Talalaev (qetellong, ka ho le letšehali) le Oleg Anastasyev (m0nstermind, ka ho le letona), baetsi ba ka sehloohong ba Odnoklassniki

Libaka tsa lipuisano tsa mollo le li-buffs

Likopanong kamehla ho na le barupeluoa ba tsebang taba hammoho le libui ('me ka linako tse ling ba betere ho feta libui - ka mohlala, ha moqapi oa motheo oa theknoloji e itseng a le har'a barupeluoa). Ho ne ho e-na le barupeluoa ba bangata ba nang le tsebo e phahameng Hydra. Ka mohlala, ka nako e 'ngoe ho pota Alex Petrov bolella ka Cassandra, batho ba bangata ba ile ba bōptjoa hoo a neng a sitoa ho araba bohle. Ka nako e 'ngoe, Alex o ile a sutumelletsoa ka thōko hantle' me a qala ho taboha ka lipotso, empa folakha e oelang e ile ea nkoa ke moqapi ea tsebahalang oa Rust ka har'a lipotoloho. Tyler Neely le ho leka-lekanya mojaro ka ho phethahala. Ha ke kopa Tyler hore a nthuse ka lipuisano tsa inthanete, sohle seo a ileng a se botsa e ne e le, "Re qala neng?"

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Ka linako tse ling, moea oa lipuisano o bile oa kenella litlalehong: Nikita Koval o ile a hlophisa seboka sa lipotso le Lipotso ka tšohanyetso, a arola tlaleho ka likarolo tse 'maloa.

Mme ka tsela e fapaneng, ho BOF bakeng sa likhoele tse ngata ba ile ba hopola ka mohopolo o sa fetoheng, ba ile ba hoheloa ke bof bona. Pedro Ramalhete e le setsebi se ka sehloohong, 'me o hlalositse ntho e' ngoe le e 'ngoe ho motho e mong le e mong (ka bokhutšoanyane, mohopolo o sa tsitsang hase tšokelo ho rona haufinyane). E mong oa mabotho a bof ena, ka tsela, e ne e le Vladimir Sitnikov, ea sebeletsang likomiting tsa lenaneo tsa palo e itseng ea bohlanya ea likopano ... ho bonahala eka ke tse hlano ka nako hona joale. Ha ba bua ka "Modern CS in real world" ba ile ba boela ba buisana ka NVM 'me ba tla ho sena ka ho feletseng.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Nka arolelana temohisiso e kholo eo esita le ba amehang ka kotloloho paleng eo ba neng ba sa ka ba e hlokomela. Eli Gafni o ile a etsa mantsiboeeng a letsatsi la pele la Sekolo, 'me letsatsing le hlahlamang a lula' me a qala ho hatakela Lamport, 'me ho tsoa ka ntle ho ne ho bonahala eka ena ke papali' me Eli o ne a sa lekana. Hore ena ke mofuta oa troll ea ikemiselitseng ho ntša boko ba Leslie. Ha e le hantle, 'nete ke hore e batla e le metsoalle ea hlooho ea khomo, e bile metsoalle ka lilemo tse ngata, 'me sena ke ho hlabana ha botsoalle joalo. Ke hore, motlae o ile oa sebetsa - batho bohle ba pota-potileng ba ile ba o oela, ba o nka ka mokhoa o hlakileng.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Ka thoko, ke rata ho hlokomela hore na libui li kentse lerato le boiteko bo bokae tabeng ena. Motho e mong o ile a ema sebakeng sa lipuisano ho fihlela motsotsong oa ho qetela, hoo e ka bang lihora tse ngata. Phomolo e felile khale, tlaleho e ile ea qala, ea fela, khefu e latelang ea qala - le Dmitry Vyukov a tsoela pele ho araba lipotso. Pale e khahlisang le eona e ile ea nketsahalla - ka ho makatsoa ke Cliff Click, ha kea ka ka fumana feela tlhaloso e hlakileng le e utloahalang ea puisano eo e tsosang takatso mabapi le khaello ea liteko. bakeng sa lintho tse itseng ho H2O, empa hape ke fumane tlhahlobo e felletseng ea eona puo e ncha AA. Ha ho mohla nkileng ka botsa sena: Ke sa tsoa botsa hore na u ka bala eng ka AA (ho ile ha fumaneha hore u ka mamela podcast), ’me ho e-na le hoo Cliff o ile a qeta halofo ea hora a bua ka puo eo ’me a hlahloba hore na seo a neng a se bua se ne se utloisisoa hantle. E makatsang. Re hloka ho ngola habrapost ka AA. Phihlelo e 'ngoe e sa tloaelehang e ne e le ho shebella ts'ebetso ea ho hlahloba kopo ea ho hula Kotlin. Ke maikutlo a mohlolo ha u kena ka har'a lihlopha tse fapaneng tsa lipuisano, libui tse fapaneng, 'me u kene lefatšeng le lecha. Sena ke ntho e maemong "Teng, Teng" ka Radiohead.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Puo ea Senyesemane

Hydra 2019 ke kopano ea rona ea pele moo puo ea mantlha e leng Senyesemane. Sena se tlisa melemo ea eona le mathata a eona. Molemo o totobetseng ke hore batho ha ba tle sebokeng feela ba tsoang Russia, kahoo har'a barupeluoa u ka kopana le baenjiniere ba tsoang Europe le bo-rasaense ba tsoang Engelane. Libui li tlisa liithuti tsa tsona. Ka kakaretso, libui tsa bohlokoa li na le tšusumetso e eketsehileng ea ho ea kopanong e joalo. Ak'u inahanele hore u sebui sebokeng sa puo ea Serussia ka ho feletseng: u fane ka tlaleho ea hau, u sireletsa sebaka sa lipuisano, ebe joale ke eng? Tsamaea ho potoloha toropo 'me u bone libaka tsa bahahlauli? Ha e le hantle, libui tse hlileng li tummeng li se li bone ka ho lekaneng ntho e 'ngoe le e' ngoe lefatšeng, ha li batle ho ea bona litau le li-drawbridges, li jeoa ke bolutu. Haeba litlaleho tsohle li le Senyesemane, ba ka kenya letsoho sebokeng ka kakaretso, ba ithabisa, ba kenela libaka tsa lipuisano, joalo-joalo. Sepakapaka se botsoalle haholo ho libui.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Bothata bo totobetseng ke hore ha se bohle ba phutholohileng ho buisana ka Senyesemane. Ba bangata ba utloisisa hantle, empa ba bua hampe. Ka kakaretso, lintho tse tloaelehileng tse ileng tsa rarolloa ka litsela tse fapaneng. Ka mohlala, libaka tse ling tsa lipuisano li ile tsa qala ka Serussia, empa hang-hang tsa fetohela ho Senyesemane ha motho oa pele ea buang Senyesemane a hlaha.

Ke ile ka tlameha ho bula le ho koala liphatlalatso tsa phatlalatso ea inthaneteng ka Senyesemane feela le ho nka karolo lipuisanong tse 'maloa tse rekotiloeng le litsebi. ’Me ena e ne e le phephetso ea sebele ho ’na eo nke keng ka e lebala haufinyane. Ka nako e 'ngoe Oleg Anastasyev (m0nstermind) o ile a mpa a mpolella hore ke lule le bona nakong ea lipuisano, ’me ke ile ka lieha haholo ho utloisisa hore na seo se bolela’ng.

Ka lehlakoreng le leng, ho ne ho thabisa haholo hore ebe batho ba ile ba botsa lipotso litlalehong ka sekhahla. Eseng libui tsa matsoalloa feela, empa e mong le e mong ka kakaretso, e sebelitse hantle. Likopanong tse ling, hangata ho bonoa hore batho ba hlajoa ke lihlong ho botsa bamameli lipotso ka Senyesemane se robehileng, 'me ba khona ho pepeta ntho e itseng sebakeng sa lipuisano. Sena se ne se fapane ka ho feletseng mona. Ha re bua hantle, Cliff Click e mong o ile a qeta litlaleho tsa hae pejana, 'me ka mor'a moo lipotso tsa latela ka tatellano e tsoelang pele, moqoqo o ile oa kena sebakeng sa lipuisano - ntle le khefu e sa thabiseng kapa litšitiso. Hoa tšoana le ho seboka sa Leslie Lamport's Q&A; sebui se ne se sa tlameha ho botsa lipotso tsa hae, barupeluoa ba ile ba tla le tsohle.

Ho ne ho e-na le mefuta eohle ea lintho tse nyenyane tseo batho ba fokolang ba li hlokomelang, empa li teng. Ka lebaka la hore seboka sena se ngotsoe ka Sekhooa, moralo oa lintho tse kang lipampitšana le limmapa o bobebe le ho feta. Ha ho na tlhoko ea ho pheta-pheta lipuo le ho kopanya moralo.

Batšehetsi le pontšo

Batšehetsi ba rona ba re thusitse haholo ho theheng kopano. Ka lebaka la bona, ho ne ho lula ho e-na le ho hong ho etsoang nakong ea khefu.

Setulong Deutsche Bank TechCenter o ka qoqa le baenjiniere ba litsamaiso tse nang le likhoele tse ngata, ho rarolla mathata a bona ho tsoa hloohong ea hau, ho hapa meputso e sa lebaleheng le ho ithabisa feela.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Setulong Contour re ka bua ka litsamaiso tsa bona, mohloli o bulehileng le o bulehileng: polokelong ea polokelo ea memori e abuoang, logong ea binary e ajoang, sistimi ea orchestration ea microservice, sepalangoang sa bokahohle bakeng sa telemetry, joalo-joalo. 'Me ho hlakile, li-puzzle le litlhōlisano, lithupa tse nang le katse ea binary le Mahlomola a Mehleng e Bohareng, limpho tse kang buka ea Martin Kleppmann le lipalo tsa LEGO.

Ka kopo hlokomela hore tlhahlobo ea mathata a Kontur e se e ntse e le teng e hatisitsoeng ho Habre. Tlhahlobo e ntle, e lokelang ho shebahala.

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Ba lakatsang ba ne ba ka reka mefuta eohle ea libuka ’me ba buisana ka tsona le basebetsi-’moho. Letšoele lohle le ile la bokana bakeng sa seboka sa autograph!

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Liphello

Seboka sa Hydra le Sekolo sa SPTDC ke liketsahalo tsa bohlokoa haholo ho rona re le k'hamphani e hlophisang le bakeng sa sechaba sohle. Ona ke monyetla oa ho sheba bokamoso ba rona, ho theha moralo o kopaneng oa mohopolo oa ho buisana ka mathata a sejoale-joale, le ho shebisisa litsela tse khahlisang. Multithreading e bile teng ka nako e telele haholo, empa ho ile ha nka lilemo tse leshome kaofela ka mor'a hore processor ea pele ea li-multi-core e hlahe e le hore ketsahalo ena e ate. Seo re se utloileng litlalehong tsa beke ena ha se litaba tsa nakoana, empa ke tsela e isang bokamosong bo khanyang boo re tla bo latela lilemong tse tlang. Ha ho na ho ba le ba senyang bakeng sa Hydra e latelang posong ena, empa u ka tšepa tse ntle ka ho fetisisa. Haeba u thahasella litaba tse kang tsena, u kanna ua batla ho sheba liketsahalo tsa rona tse ling, joalo ka lipuo tse thata tsa kopano Joker 2019 kapa DotNext 2019 Moscow. Re tla u bona likopanong tse latelang!

Bahapi ba bararo ba Moputso oa Dijkstra: Hydra 2019 le SPTDC 2019 li tsamaile joang

Source: www.habr.com

Eketsa ka tlhaloso