Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

O chionn ghoirid, bho 8 gu 12 Iuchar, chaidh dà thachartas cudromach a chumail aig an aon àm - a 'cho-labhairt Hydra agus sgoil SPTDC. Anns an dreuchd seo bu mhath leam cuideam a chuir air grunn fheartan a mhothaich sinn aig a’ cho-labhairt.

'S e an luchd-labhairt a tha moiteil às Hydra agus an Sgoil.

  • Triùir labhraichean Duaisean Dijkstra: Leslie Lamport, Maurice Herlihy agus Michael Scott. A bharrachd air an sin, fhuair Maurice e dà uair. Fhuair Leslie Lamport cuideachd Duais Turing - an duais ACM as cliùitiche ann an saidheans coimpiutaireachd;
  • Is e neach-cruthachaidh an cruinneachaidh Java JIT Cliff Click;
  • Luchd-leasachaidh Corutin - Ròmanach Elizarov (elizarov) agus Nikita Koval (ndkoval) airson Kotlin, agus Dmitry Vyukov airson Go;
  • A’ cur ri Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Stòr-dàta Yandex (Semyon Checherinda agus Vladislav Kuznetsov);
  • Agus mòran dhaoine ainmeil eile: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modail cuimhne C ++), Pedro Ramalhete (structaran dàta gun feitheamh), Alexey Zinoviev (ML), Dmitry Bugaichenko (mion-sgrùdadh graf).

Agus tha seo mar Sgoil mar-thà:

  • Oilthigh Brown (Maurice Herlihy),
  • Oilthigh Rochester (Mìcheal Scott),
  • Oilthigh Waterloo (Trevor Brown),
  • Oilthigh Nantes (Achour Mostefaoui),
  • Dàibhidh Ben-Gurion Oilthigh an Negev (Danny Hendler),
  • Oilthigh California ann an Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Rannsachadh Microsoft (Leslie Lamport),
  • Rannsachadh VMware (Ittai Abraham).

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Teòiridh agus cleachdadh, saidheans agus cinneasachadh

Leig leam do chuimhneachadh gur e tachartas beag a th’ ann an Sgoil SPTDC airson ceud gu leth neach; bidh luchd-solais aig ìre cruinne a’ cruinneachadh an sin agus a’ bruidhinn air cùisean an latha an-diugh ann an raon coimpiutaireachd sgaoilte. Tha Hydra na cho-labhairt coimpiutaireachd dà-latha air a chumail aig an aon àm. Tha barrachd fòcas innleadaireachd aig Hydra, agus tha fòcas nas saidheansail aig an Sgoil.

Is e aon de na h-amasan aig co-labhairt Hydra prionnsapalan saidheansail agus innleadaireachd a thoirt còmhla. Air an aon làimh, tha seo air a choileanadh le bhith a 'taghadh aithisgean anns a' phrògram: còmhla ri Lamport, Herlihy agus Scott, tha mòran a bharrachd aithisgean gnìomhaichte le Ailig Petrov, a tha a 'cur ri Cassandra, no Ròmanach Elizarov bho JetBrains. Tha Martin Kleppman ann, a b’ àbhaist a bhith a’ togail agus a’ reic chompanaidhean tòiseachaidh agus a tha a-nis ag ionnsachadh CRDT aig Oilthigh Chambridge. Ach is e an rud fionnar gu bheil Hydra agus SPTDC air an cumail taobh ri taobh - tha aithisgean eadar-dhealaichte aca, ach àite cumanta airson conaltradh.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Bogadh

Tha còig latha den Sgoil ann an sreath na thachartas glè mhòr agus tòrr obrach, an dà chuid dha na com-pàirtichean agus an luchd-eagrachaidh. Cha do ràinig a h-uile duine e gu na làithean mu dheireadh. Bha feadhainn ann a chaidh gu Hydra agus an Sgoil aig a’ cheart àm, agus dhaibh-san b’ e na làithean mu dheireadh a bu mhotha a thachair. Tha a h-uile càil seo air a chothromachadh le bogadh fìor dhomhainn. Tha seo air sgàth chan ann a-mhàin air an tomhas-lìonaidh, ach cuideachd air càileachd an stuth. Cha robh dùil gum biodh na h-aithisgean agus na h-òraidean uile aig an dà thachartas tòiseachaidh, agus mar sin ge bith càite an tèid thu, bidh thu a’ dàibheadh ​​​​sa bhad fada agus domhainn, agus chan eil thu air do leigeil air falbh gus an deireadh.

Gu dearbh, tha tòrr an crochadh air a 'chiad ullachadh a' chom-pàirtiche. Bha àm èibhinn ann nuair a bhruidhinn dà bhuidheann de dhaoine anns an trannsa gu neo-eisimeileach air aithisg Heidi Howard: dha cuid bha e coltach gu robh e gu tur àbhaisteach, agus cuid eile, air an làimh eile, a 'smaoineachadh gu domhainn mu bheatha. Tha e inntinneach, a rèir com-pàirtichean comataidhean a’ phrògraim (a bha airson fuireach gun urra), gum faodadh aithisgean Hydra agus òraidean na Sgoile aig na tachartasan aca a bhith ro theisteanasach. Mar eisimpleir, nan tigeadh òganach PHP gu co-labhairt PHP gus beatha ionnsachadh, bhiodh e beagan brot a bhith den bheachd gu bheil eòlas domhainn aige air taobh a-staigh einnsean Zend. An seo, cha robh an luchd-labhairt a 'toirt biadh dha na h-òigridh le spàin, ach thug iad a-steach ìre sònraichte de eòlas agus tuigse. Uill, gu dearbh, tha an ìre de chom-pàirtichean a bhios ag obrachadh siostaman sgaoilte agus a’ sgrìobhadh kernels runtime glè àrd, tha seo loidsigeach. A 'breithneachadh le freagairt nan com-pàirtichean, bha e gu math furasta aithisg a thaghadh stèidhichte air an ìre agus an cuspair.

Ma bhios sinn a’ bruidhinn air aithisgean sònraichte, bha iad uile math nan dòigh fhèin. A’ breithneachadh air na tha daoine ag ràdh agus na tha ri fhaicinn bhon fhoirm fios-air-ais, b’ e aon de na h-aithisgean as fhuaire san Sgoil msgstr "Gun bacadh air structaran dàta" Mìcheal Scott, reub e a h-uile duine bho chèile, tha ìre neo-àbhaisteach aige timcheall air 4.9.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Meta-cho-labhairt

Fada ro thoiseach Hydra agus an Sgoil, Ruslan ARG89 gabhail ris gum biodh seòrsa de “meta-cho-labhairt” ann - co-labhairt cho-labhairtean, far am biodh a h-uile prìomh chom-pàirtiche ann an tachartasan eile air an suathadh a-steach gu fèin-ghluasadach, mar gum biodh iad ann an toll dubh. Agus mar sin thachair! Mar eisimpleir, am measg oileanaich na Sgoile chaidh mothachadh Ruslan Cheremin bho DeutscheBank, eòlaiche ainmeil ann an ioma-snàthainn.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Agus de na buill Hydra chaidh mothachadh Vadim Tsesko (incubi) agus Andrey Pangin (apagin) bhon chompanaidh Odnoklassniki. (Aig an aon àm, chuidich Vadim sinn cuideachd dà agallamh sàr-mhath a dhèanamh le Martin Kleppman - aon do Habr, agus am fear eile airson luchd-amhairc a’ chraolaidh air-loidhne). Bha buill ann Comataidh Prògram DotNext, luchd-labhairt ainmeil Anatoly Kulakov agus Igor Labutin. De na Javist bha Dmitry Alexandrov и Vladimir Ivanov. Mar as trice chì thu na daoine sin ann an àiteachan gu tur eadar-dhealaichte - dotnetists air DotNext, javaists air Joker, agus mar sin air adhart. Agus mar sin bidh iad nan suidhe taobh ri taobh aig aithisgean Hydra agus còmhla a’ beachdachadh air duilgheadasan mu na buffs. Nuair a thèid an sgaradh beagan fuadain seo le cànanan prògramaidh agus teicneòlasan à sealladh, nochdaidh feartan an raon cuspair: bidh eòlaichean ruith-ùine fiùghantach a’ conaltradh le luchd-ruithidh eile, bidh luchd-rannsachaidh teòiridh coimpiutaireachd sgaoilte ag argamaid gu teas le luchd-rannsachaidh eile, bidh innleadairean einnsean stòr-dàta a’ cruinneachadh am bòrd geal, agus mar sin air adhart .

Aig an aithris a rèir modal cuimhne C ++ bha an luchd-leasachaidh OpenJDK nan suidhe san t-sreath aghaidh (co-dhiù tha mi eòlach orra le sealladh, ach chan e na Pythonists, is dòcha gu robh na Pythonists ann cuideachd). Gu dearbh, tha rudeigin mar sin Shipilevsky san aithisg seo ... chan eil Ori ag innse an aon rud, ach le sùil chùramach lorgar co-shìntean. Eadhon às deidh a h-uile càil a thachair anns na h-inbhean C ++ as ùire, cha robh duilgheadasan leithid luachan èadhair tana fhathast stèidhichte, agus mar sin dh’ fhaodadh tu a dhol gu aithisg mar sin agus èisteachd ri mar a tha daoine “air taobh eile a’ bhacadh ” a’ feuchainn ris na duilgheadasan sin a chàradh, Mar a tha iad ag adhbhar, dh’ fhaodadh na dòighean-obrach a thaobh fuasgladh a chaidh a lorg a bhith air leth toilichte (tha aon de na roghainnean fuasglaidh aig Ori).

Bha mòran chom-pàirtichean ann an comataidhean phrògraman agus einnseanan coimhearsnachd. Dh'fhuasgail a h-uile duine na duilgheadasan eadar-chreideimh aca, thog iad drochaidean, agus fhuair iad ceanglaichean. Chleachd mi seo ge bith càite am b’ urrainn dhomh, agus, mar eisimpleir, dh’ aontaich sinn le Alasdair Borgardt bho Buidheann luchd-cleachdaidh Moscow C++ còmhla sgrìobh artaigil làn-sgèile mu chleasaichean agus asynchrony ann an C++.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Anns an dealbh: Leonid Talalaev (gu h-àrd, clì) agus Oleg Anastasia (m0 inntinn, deas), a’ stiùireadh luchd-leasachaidh aig Odnoklassniki

Sònaichean deasbaid teine ​​​​agus buffs

Aig co-labhairtean tha an-còmhnaidh com-pàirtichean aig a bheil eòlas air a’ chuspair cho math ris an luchd-labhairt (agus uaireannan eadhon nas fheàrr na an luchd-labhairt - mar eisimpleir, nuair a tha leasaiche cridhe cuid de theicneòlas am measg nan com-pàirtichean). Bha mòran de chom-pàirtichean cho eòlach air Hydra. Mar eisimpleir, aig àm air choreigin timcheall air Ailig Petrov ag innse mu dheidhinn Cassandra, chruthaich na h-uidhir de dhaoine 's nach b' urrainn e a h-uile duine a fhreagairt. Aig àm air choreigin, chaidh Alex a phutadh gu rèidh chun an taobh agus thòisich e air a reubadh le ceistean, ach chaidh a ’bhratach a bha a’ tuiteam a thogail le leasaiche ainmeil Rust anns na cearcallan. Tyler Neely agus cothromachadh an luchd gu foirfe. Nuair a dh’ fhaighnich mi dha Tyler airson cuideachadh leis an agallamh air-loidhne, cha robh ach ceist aige, “Cuin a thòisicheas sinn?”

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Aig amannan, chaidh spiorad na deasbaid eadhon a-steach do na h-aithisgean: chuir Nikita Koval seisean Q&A air dòigh gu h-obann, a’ roinn na h-aithisg ann an grunn earrannan.

Agus a chaochladh, air BOF airson ioma-snàithlean a chuimhnich iad mu chuimhne neo-luaineach, chaidh an tarraing chun bhof seo. Pedro Ramalhete mar phrìomh eòlaiche, agus mhìnich e a h-uile dad don h-uile duine (ann an ùine ghoirid, chan eil cuimhne neo-luaineach na chunnart dhuinn a dh’ aithghearr). Bha fear de luchd-frithealaidh a’ bhof seo, co-dhiù, Vladimir Sitnikov, a bhios a' frithealadh air comataidhean prògram cuid de cho-labhairtean seòlta... tha e coltach ri còig aig aon àm an-dràsta. Aig an ath buff mu “Modern CS in real world” bheachdaich iad cuideachd air NVM agus thàinig iad gu seo gu tur leotha fhèin.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Is urrainn dhomh fìor shealladh a cho-roinn is dòcha nach do mhothaich eadhon an fheadhainn a bha an sàs gu dìreach san sgeulachd. Chluich Eli Gafni air feasgar a’ chiad latha den Sgoil, agus an ath latha dh’ fhuirich e agus thòisich e a’ trolling Lamport, agus bhon taobh a-muigh bha e coltach gur e geama a bha seo agus Eli mì-fhreagarrach. Gur e seo seòrsa de troll a chuir a-mach eanchainn Leslie. Gu dearbh, is e an fhìrinn gu bheil iad cha mhòr nan caraidean as fheàrr, tha iad air a bhith nan caraidean airson grunn bhliadhnaichean, agus is e dìreach fealla-dhà càirdeil a tha seo. Is e sin, dh’ obraich an fealla-dhà - thuit a h-uile duine mun cuairt air, ghabh iad e aig luach aghaidh.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Air leth, bu mhath leam a thoirt fa-near dè an ìre de ghaol agus oidhirp a chuir an luchd-labhairt a-steach don seo. Sheas cuideigin anns an raon deasbaid chun mhionaid mu dheireadh, cha mhòr airson uairean a thìde. Thàinig am briseadh gu crìch o chionn fhada, thòisich an aithisg, chrìochnaich, thòisich an ath bhriseadh - agus Dmitry Vyukov lean air adhart a’ freagairt cheistean. Thachair sgeulachd inntinneach dhomh cuideachd - às deidh dhomh Cliff Click a ghabhail le iongnadh, fhuair mi chan e a-mhàin mìneachadh soilleir agus reusanta air a’ chòmhradh bhrosnachail sin mu dheidhinn dìth dheuchainnean. son nithe àraidh ann an H2O, ach fhuair e làn sgrùdadh air cuideachd cànan ùr AA. Cha do dh ’iarr mi seo a-riamh: dh’ fhaighnich mi dè as urrainn dhut a leughadh mu AA ( thionndaidh e a-mach gun urrainn dhut èisteachd podcast), agus an àite sin chuir Cliff seachad leth uair a thìde a’ bruidhinn mun chànan agus a’ dèanamh cinnteach gun robh na bha e ag ràdh air a thuigsinn ceart. Iongantach. Feumaidh sinn habrapost a sgrìobhadh mu AA. B’ e eòlas neo-àbhaisteach eile a bhith a’ coimhead air pròiseas ath-bhreithneachaidh iarrtas tarraing ann an Kotlin. Is e fìor fhaireachdainn draoidheil a th’ ann nuair a choisicheas tu a-steach do bhuidhnean deasbaid eadar-dhealaichte, luchd-labhairt eadar-dhealaichte, agus nuair a thèid thu a-steach do shaoghal gu tur ùr. Is e seo rudeigin air an ìre "An sin, an sin" le Radiohead.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Beurla

Is e Hydra 2019 a’ chiad cho-labhairt againn far a bheil Beurla mar phrìomh chànan. Bheir seo an dà chuid na buannachdan agus na dùbhlain aige. Is e buannachd follaiseach nach eil daoine a-mhàin a 'tighinn chun na co-labhairt bhon Ruis, agus mar sin am measg nan com-pàirtichean faodaidh tu coinneachadh ri innleadairean às an Roinn Eòrpa agus luchd-saidheans à Sasainn. Bidh luchd-labhairt a’ toirt na h-oileanaich aca. San fharsaingeachd, tha mòran a bharrachd brosnachaidh aig luchd-labhairt cudromach a dhol gu co-labhairt mar sin. Smaoinich gu bheil thu nad neach-labhairt aig co-labhairt gu tur Ruiseanach: tha thu air an aithisg agad a thoirt seachad, air an raon deasbaid a dhìon, agus an uairsin dè? Siubhail timcheall a’ bhaile agus faic àiteachan turasachd? Gu dearbh, tha luchd-labhairt mòr-chòrdte mar-thà air gu leòr de na tha san t-saoghal fhaicinn, chan eil iad airson a dhol a choimhead air leòmhainn agus drochaidean-togail, tha iad sgìth. Ma tha na h-aithisgean gu lèir sa Bheurla, faodaidh iad pàirt a ghabhail sa cho-labhairt san fharsaingeachd, spòrs a bhith aca, a dhol còmhla ri raointean deasbaid, agus mar sin air adhart. Tha am faireachdainn gu math càirdeil don luchd-labhairt.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Is e an ana-cothrom follaiseach nach eil a h-uile duine comhfhurtail a’ conaltradh sa Bheurla. Tha mòran a' tuigsinn gu math, ach a' bruidhinn gu dona. Anns an fharsaingeachd, rudan àbhaisteach a chaidh fhuasgladh ann an diofar dhòighean. Mar eisimpleir, thòisich cuid de raointean deasbaid ann an Ruisis, ach thionndaidh iad gu Beurla sa bhad nuair a nochd a’ chiad chom-pàirtiche le Beurla.

B’ fheudar dhomh fhìn na h-in-ghabhail fosglaidh is dùnaidh den chraoladh air-loidhne a dhèanamh sa Bheurla a-mhàin agus pàirt a ghabhail ann an agallamh no dhà air clàr le eòlaichean. Agus bha seo na fhìor dhùbhlan dhomh nach tèid a dhìochuimhneachadh a dh’ aithghearr. Aig àm air choreigin Oleg Anastasia (m0 inntinn) dìreach ag innse dhomh fuireach nam shuidhe còmhla riutha tron ​​​​agallamh, agus bha mi ro shlaodach a’ tuigsinn dè bha sin a’ ciallachadh.

Air an làimh eile, bha e glè thaitneach gun do chuir daoine ceistean air na h-aithisgean le brag. Chan e a-mhàin luchd-labhairt dùthchasach, ach a h-uile duine san fharsaingeachd, dh’ obraich e gu math. Aig co-labhairtean eile, thathas tric a’ faicinn gu bheil nàire air daoine ceistean fhaighneachd bhon luchd-èisteachd ann am Beurla bhriste, agus nach urrainn dhaibh ach rudeigin a bhrùthadh a-mach san raon deasbaid. Bha seo gu tur eadar-dhealaichte an seo. An ìre mhath a’ bruidhinn, chuir cuid de Cliff Click crìoch air na h-aithisgean aige beagan na bu thràithe, agus às deidh sin lean na ceistean ann an sreath leantainneach, ghluais an còmhradh a-steach don raon deasbaid - gun stadan no briseadh neònach. Tha an aon rud a’ buntainn ri seisean Q&A Leslie Lamport; cha mhòr nach robh aig an neach-lìbhrigidh ri na ceistean aige fhaighneachd, thàinig na com-pàirtichean suas leis a h-uile dad.

Bha a h-uile seòrsa de rudan beaga ann nach eil mòran dhaoine a’ mothachadh, ach tha iad ann. Leis gu bheil a’ cho-labhairt sa Bheurla, tha dealbhadh rudan leithid bileagan is mapaichean nas aotroime agus nas pongail. Chan eil feum air cànanan a dhùblachadh agus an dealbhadh a mhilleadh.

Luchd-urrais agus taisbeanadh

Chuidich ar luchd-urrais sinn gu mòr ann a bhith a’ cruthachadh na co-labhairt. Taing dhaibh, bha an-còmhnaidh rudeigin ri dhèanamh aig àm fois.

Aig an stand Deutsche Bank TechCenter b’ urrainn dhut cabadaich le innleadairean de shiostaman ioma-snàthainn, na duilgheadasan aca fhuasgladh a-mach às do cheann, duaisean cuimhneachail a chosnadh agus dìreach deagh ùine a bhith agad.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Aig an stand Contour b’ urrainn dhuinn bruidhinn mu na siostaman aca fhèin, an dà chuid fosgailte agus stòr fosgailte: stòr-dàta cuimhneachaidh sgaoilte, log binary sgaoilte, siostam orchestration microservice, còmhdhail uile-choitcheann airson telemetry, agus mar sin air adhart. Agus gu dearbh, tòimhseachain agus co-fharpaisean, stiogairean le cat dàna agus na Meadhan Aoisean a 'fulang, tiodhlacan mar leabhar Martin Kleppmann agus figearan LEGO.

Thoir an aire gu bheil mion-sgrùdadh air duilgheadasan Kontur mu thràth air fhoillseachadh air Habré. Mion-sgrùdadh math, is fhiach sùil a thoirt.

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Dh’ fhaodadh an fheadhainn a bha airson a h-uile seòrsa leabhar a cheannach agus bruidhinn riutha le co-obraichean. Chruinnich sluagh slàn airson an t-seisean fèin-sgrìobhaidh!

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Builean

Tha Co-labhairt Hydra agus Sgoil SPTDC nan tachartasan fìor chudromach dhuinne mar a’ chompanaidh eagrachaidh agus don choimhearsnachd air fad. Is e cothrom a tha seo coimhead a-steach don àm ri teachd againn, frèam bun-bheachdail aonaichte a leasachadh airson bruidhinn mu dhuilgheadasan an latha an-diugh, agus sùil nas mionaidiche a thoirt air treòrachadh inntinneach. Tha multithreading air a bhith timcheall airson ùine mhòr, ach thug e deich bliadhna gu lèir às deidh don chiad phròiseasar fìor ioma-cridhe nochdadh airson an iongantas a bhith farsaing. Chan e deagh naidheachd a th’ anns na chuala sinn aig na h-aithisgean an t-seachdain seo, ach an t-slighe gu àm ri teachd soilleir a leanas sinn anns na bliadhnaichean ri teachd. Cha bhith milleadh sam bith ann airson an ath Hydra san dreuchd seo, ach faodaidh tu a bhith an dòchas airson a’ chuid as fheàrr. Ma tha ùidh agad ann an cùisean mar seo, is dòcha gum biodh tu airson sùil a thoirt air na tachartasan eile againn, leithid còmhraidhean co-labhairt cruaidh Joker 2019 no DotNext 2019 Moscow. Chì mi thu aig na h-ath cho-labhairtean!

Trì buannaichean Duais Dijkstra: mar a chaidh Hydra 2019 agus SPTDC 2019

Source: www.habr.com

Cuir beachd ann