Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Talu ai nei, mai ia Iulai 8 i le 12, e lua mea taua na tutupu i le taimi e tasi - o le konafesi Hydra ma le aoga SPTDC. I lenei pou ou te manaʻo e faʻamaonia nisi o vaega na matou matauina i le taimi o le konafesi.

O le mitamitaga sili o Hydra ma le Aoga o failauga.

  • Tolu laureates Taui Dijkstra: Leslie Lamport, Maurice Herlihy ma Michael Scott. E le gata i lea, na maua faalua e Maurice. Na maua foi e Leslie Lampor Turing Award - le fa'ailoga sili ona ta'uta'ua ole ACM ile fa'asaienisi komepiuta;
  • O le na faia le Java JIT compiler o Cliff Click;
  • Corutin atia'e - Roman Elizarov (elizarov) ma Nikita Koval (ndkoval) mo Kotlin, ma Dmitry Vyukov mo Go;
  • Fesoasoani ia Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda ma Vladislav Kuznetsov);
  • Ma le tele o isi tagata taʻutaʻua: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ faʻataʻitaʻiga manatua), Pedro Ramalhete (faʻatulagaina faʻamaumauga e leai se faʻatali), Alexey Zinoviev (ML), Dmitry Bugaichenko (faʻataʻitaʻiga kalafi).

Ma o lea ua uma ona aoga:

  • Iunivesite Brown (Maurice Herlihy),
  • Iunivesite o Rochester (Michael Scott),
  • Iunivesite o Waterloo (Trevor Brown),
  • Iunivesite o Nantes (Achour Mostefoui),
  • David Ben-Gurion Iunivesite o le Negev (Danny Hendler),
  • Iunivesite o Kalefonia i Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Laport),
  • VMware Research (Ittai Aperaamo).

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Theory and practice, science and production

Se'i ou faamanatu atu ia te oe o le Aoga a le SPTDC o se mea itiiti mo le tasi ma le afa selau tagata o lo'o potopoto iina ma talanoa e uiga i mataupu faʻaonaponei i le tulaga o le tufatufaina atu o komepiuta. O le Hydra o se konafesi fa'akomepiuta tufatufa aso e lua e faia fa'atasi. O le Hydra e sili atu le fa'ainisinia, a'o le A'oga e sili atu le fa'asaienisi.

O se tasi o sini o le fonotaga a Hydra o le tuʻufaʻatasia o mataupu faʻasaienisi ma inisinia. I le tasi itu, e ausia lenei mea e ala i le filifilia o lipoti i le polokalame: faatasi ai ma Lamport, Herlihy ma Scott, o loʻo i ai le tele o faʻamatalaga faʻaoga a Alex Petrov, o loʻo saofagā ia Cassandra, poʻo Roma Elizarov mai JetBrains. O loʻo i ai Martin Kleppman, o le sa masani ona fau ma faʻatau atu amataga ma o loʻo aʻoga nei i le CRDT i le Iunivesite o Cambridge. Ae o le mea manaia o Hydra ma SPTDC o loʻo tuʻu faʻatasi - e eseese a latou lipoti, ae o se nofoaga masani mo fesoʻotaʻiga.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Faatofu

E lima aso o le A'oga ose fa'amoemoe tele ma le tele o galuega, e le gata mo le au auai ma le au fa'atonu. E leʻi oo tagata uma i aso e gata ai. Sa i ai i latou na o atu i Hydra ma le Aoga i le taimi e tasi, ma mo i latou o aso mulimuli na avea ma mea sili ona taua. O nei vevesi uma ua fa'ato'ilaloina e se fa'atofu loloto. E mafua lenei mea e le gata i le voluma, ae faʻapea foi i le lelei o mea. O lipoti uma ma tautalaga i mea uma e lua e leʻi fuafuaina e avea ma folasaga, o lea poʻo fea lava e te alu i ai, e vave lava ona e maulu mamao ma loloto, ma e le tuʻuina oe e oʻo i le iuga.

Ioe, e tele mea e faʻalagolago i le sauniuniga muamua a le tagata auai. Sa i ai se taimi malie ina ua talanoaina tutoatasi ni vaega se lua o tagata i le alalaupapa le lipoti a Heidi Howard: i nisi e foliga mai e masani lava, ae o isi, i se isi itu, sa mafaufau loloto i le olaga. E manaia e tusa ai ma le au auai o komiti o polokalame (o loʻo manaʻo e le taʻua), o lipoti a Hydra ma lauga a le Aʻoga i a latou mea na tutupu e mafai ona sili atu le agavaa. Mo se faʻataʻitaʻiga, afai e sau se PHP laʻititi i se fonotaga PHP e aʻoaʻo ai le olaga, o se mea faʻafuaseʻi le manatu e loloto lona malamalama e uiga i totonu ole Zend Engine. O iinei, e le'i fafaga e failauga le au laiti, ae na vave ona faʻaalia se tulaga o le malamalama ma le malamalama. Ia, o le mea moni, o le maualuga o tagata auai o loʻo faʻaogaina faiga tufatufaina ma tusia fatuga taimi e matua maualuga lava, e talafeagai. A fua i le tali a le au auai, e fai lava si faigofie ona filifili se lipoti e faavae i le tulaga ma le autu.

Afai tatou te talanoa e uiga i lipoti faʻapitoa, e lelei uma i latou lava ala. A fua i tala a tagata ma mea e mafai ona iloa mai le fomu faʻaalia, o se tasi o lipoti sili ona manaia i le Aʻoga "Fa'atonuga fa'amaumauga e le taofia" Michael Scott, na ona ia saeia tagata uma, o loʻo i ai sona faʻailoga e le masani ai ile 4.9.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Metaconference

I se taimi umi ao lei amataina le Hydra ma le Aoga, Ruslan ARG89 manatu o le ai ai se ituaiga o "meta-conference" - o se konafesi o konafesi, lea o le a otometi lava ona mitiia i ai le au auai pito i luga o isi mea, e pei o se pu uliuli. Ma o lea na tupu ai! Mo se faʻataʻitaʻiga, i totonu o tamaiti aʻoga o le Aʻoga na matauina Ruslan Cheremin mai DeutscheBank, o se tagata faʻapitoa taʻutaʻua i multithreading.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Ma o le au Hydra na matauina Vadim Tsesko (inubos) ma Andrey Pangin (apanin) mai le kamupani Odnoklassniki. (I le taimi lava e tasi, na fesoasoani foi Vadim ia i matou e faia ni faatalanoaga lelei se lua ma Martin Kleppman - tasi mo Habr, ma le isi mo tagata matamata i luga o le initaneti faʻasalalauga). Sa i ai tagata o le ekalesia Komiti Polokalama DotNext, failauga lauiloa Anatoly Kulakov ma Igor Labutin. O le Javist sa i ai Dmitry Alexandrov и Vladimir Ivanov. E masani ona e vaʻai i nei tagata i nofoaga eseese - dotnetists ile DotNext, javaists ile Joker, ma isi. Ma o lea latou te nonofo faʻatasi i lipoti a Hydra ma faʻatalanoa faʻatasi faʻafitauli i luga o le puffs. Pe a mou atu lenei vaevaega faʻapitoa i gagana faʻapolokalame ma tekinolosi, e aliaʻe foliga o le mataupu autu: o tagata tomai faʻapitoa taʻavale e fesoʻotaʻi ma isi tagata taʻavale, faʻasalalau faʻaupuga a le au suʻesuʻe fefinauai ma isi tagata suʻesuʻe, enisinia afi faʻamaumauga faʻapipiʻi le laupapa paepae, ma isi. .

I le lipoti e tusa ai ma le faʻataʻitaʻiga manatua C++ o le OpenJDK developers sa nonofo i le laina pito i luma (o le mea sili ou te iloa i latou i le vaai, ae le o le Pythonists, atonu o le Pythonists sa i ai foi). O le mea moni, o loʻo i ai se mea e sili atu i le Shipilevsky i lenei lipoti ... Ori e le o taʻu saʻo le mea lava e tasi, ae o se vaʻaiga faʻaeteete e mafai ona iloa tutusa. E tusa lava pe uma mea uma na tutupu i le C ++ tulaga lata mai, o faʻafitauli e pei o le faʻaogaina o le ea manifinifi e leʻi faʻamautuina, ma o lea e mafai ai ona e alu i sea lipoti ma faʻalogo pe faʻafefea tagata "i le isi itu o le pa" taumafai e foia nei faafitauli, A o latou mafaufau, e mafai e se tasi ona faagaeetia i le auala i le fofo maua (Ori ei ai se tasi o filifiliga faaleleia).

E to'atele na auai i komiti o polokalame ma afi a le nu'u. Na foʻia e tagata uma o latou faafitauli i lotu eseese, fausia ni alalaupapa, ma maua ni fesootaʻiga. Na ou faʻaogaina lenei mea i soʻo se mea ou te mafaia, ma, mo se faʻataʻitaʻiga, matou malilie ma Alexander Borgardt mai Moscow C ++ Vaega Fa'aoga tusi fa'atasi se tala atoa e uiga i tagata fai ata ma asynchrony ile C++.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

I le ata: Leonid Talalaev (ltalal, agavale) ma Oleg Anastasyev (m0nstermind, taumatau), taʻitaʻia atinaʻe i Odnoklassniki

Sone felafolafoa'iga afi ma fa'afefe

I konafesi e masani ona i ai tagata auai e iloa le mataupu faʻapea foʻi ma failauga (ma o nisi taimi e sili atu nai lo failauga - mo se faʻataʻitaʻiga, pe a iai se tagata e faʻavaeina le autu o nisi tekinolosi i totonu o tagata auai). E tele naua tagata fa'apitoa na auai i Hydra. Mo se faʻataʻitaʻiga, i se taimi e uiga ia Alex Petrov taʻu e uiga ia Cassandra, e toatele naua tagata na faia e le mafai ona ia tali atu i tagata uma. I se taimi, na tulei malie Aleki i le itu ma amata ona saeia i fesili, ae o le fuʻa pa'ū na pikiina e se tagata lauiloa Rust i totonu o liʻo. Tyler Neely ma faapaleni atoatoa le uta. Ina ua ou fesili ia Tyler mo se fesoasoani i le faatalanoaga i luga o le initaneti, na pau lava le mea na ia fesili mai ai, “O afea tatou te amata ai?”

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

I nisi o taimi, o le agaga o le talanoaga na oʻo lava i totonu o lipoti: Na faʻatulagaina e Nikita Koval se sauniga Q&A faʻafuaseʻi, vaevaeina le lipoti i ni vaega.

Ma le isi itu, i luga o le BOF mo le tele-threading latou manatua e uiga i le mafaufau le mautonu, na latou tosina atu i lenei bof Pedro Ramalhete i le avea ai ma tagata tomai faapitoa, ma na ia faʻamatalaina mea uma i tagata uma (i se faapuupuuga, o le manatua e le faʻafefe e le o se taufaamatau ia i tatou i se taimi lata mai). O se tasi o au a lenei bof, i le ala, sa Vladimir Sitnikov, o loʻo galue i komiti polokalame o nisi faʻavalevalea numera o konafesi ... e foliga mai e lima i le taimi i le taimi nei. I le isi buff e uiga i le "Modern CS i le lalolagi moni" na latou talanoaina foi le NVM ma oʻo mai i lenei mea na o latou lava.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

E mafai ona ou faʻasoa atu se faʻamatalaga sili e oʻo lava ia i latou o loʻo aafia saʻo i le tala atonu latou te leʻi matauina. Na faia e Eli Gafni i le afiafi o le aso muamua o le Aʻoga, ma o le aso na sosoo ai na nofo ai ma amata ona taʻavale Lamport, ma mai fafo e foliga mai o le taaloga lea ma Eli e le atoatoa. O se ituaiga troll lea na alu e aveese le faiʻai o Leslie. O le mea moni, o le mea moni e toetoe lava a avea i latou ma uo sili, ua latou faauo mo le tele o tausaga, ma o le mea lea ua na o se tala faauo. O lona uiga, na aoga le ula - o tagata uma o loʻo siomia ai na paʻu i ai, faʻatau i le tau.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

E ese mai, ou te fia matauina le tele o le alofa ma le taumafaiga a le au failauga i lenei mea. Sa tu se tasi i le vaega o talanoaga seia oo i le minute mulimuli, toetoe lava a itula. Ua leva ona uma le malologa, amata le lipoti, faaiu, toe amata le isi malologa - ma Dmitry Vyukov faaauau ona tali fesili. O se tala manaia foi na tupu ia te au - ina ua ou aveina Cliff Click ma le faateia, na ou mauaina e le gata o se faamalamalamaga manino ma talafeagai o lena talanoaga faaosofia e uiga i le leai o ni suʻega mo nisi mea i H2O, ae na maua foi se iloiloga atoa gagana fou AA. Ou te leʻi fesili lava mo lenei mea: Na ona ou fesili pe o le a se mea e mafai ona e faitau i ai e uiga i le AA (na foliga mai e mafai ona e faʻalogo podcast), ae nai lo lena, na faaalu e Cliff le afa itula e talanoa ai e uiga i le gagana ma siaki pe o malamalama lelei i mea na ia fai mai ai. ofoofogia. Matou te manaʻomia le tusia o se habrapost e uiga i le AA. O le isi mea e le masani ai o le matamata i le faagasologa o iloiloga o talosaga i Kotlin. E moni lava o se lagona fa'ataulāitu pe a e savali atu i vaega eseese o talanoaga, eseese failauga, ma o'o atu i se lalolagi fou. Ole mea lea ile tulaga "There, There" saunia e Radiohead.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

Igilisi

Hydra 2019 o le matou konafesi muamua lea o le gagana autu o le Igilisi. E aumaia uma ai ona lelei ma ona luitau. O se avanoa manino e le gata ina o mai tagata i le konafesi mai Rusia, o lea i totonu o tagata auai e mafai ona e feiloai i inisinia mai Europa ma saienitisi mai Egelani. E aumai e failauga a latou tamaiti aoga. I se tulaga lautele, o failauga taua e sili atu le faaosofia e o atu i se konafesi faapena. Vaai faalemafaufau o oe o se failauga i se konafesi atoatoa i le gagana Rusia: ua e tuuina atu lau lipoti, puipuia le vaega o talanoaga, ona faapefea lea? Malaga solo i le taulaga ma va'ai nofoaga tafafao? O le mea moni, o failauga taʻutaʻua moni ua uma ona vaʻaia mea uma i le lalolagi, latou te le fia o e vaʻai i leona ma alalaupapa, latou te le fiafia. Afai o lipoti uma i le Igilisi, e mafai ona latou auai i le konafesi i se tulaga lautele, fiafia, auai i vaega o talanoaga, ma isi. O le siosiomaga e fai si faauo i le au failauga.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

O le fa'aletonu manino e le o tagata uma e fa'amalieina feso'ota'iga ile Igilisi. E malamalama lelei le toʻatele, ae leaga le tautala. I se tulaga lautele, o mea masani na foia i auala eseese. Mo se faʻataʻitaʻiga, o nisi o vaega o talanoaga na amata i le gagana Rusia, ae na vave ona sui i le Igilisi ina ua sau le tagata muamua e tautala i le Igilisi.

O aʻu lava na tatau ona faia le tatalaina ma le tapunia o faʻasalalauga faʻasalalauga i luga ole laiga naʻo le Igilisi ma auai i ni faʻatalanoaga i luga o faʻamaumauga ma tagata atamamai. Ma o se luitau moni lea ia te au e le mafai ona galo vave. I se taimi o Oleg Anastasyev (m0nstermind) na ona fai mai lava ia te aʻu ou te nonofo faatasi ma i latou i le taimi o le faatalanoaga, ma sa ou tuai tele e malamalama i le uiga o lena mea.

I le isi itu, sa manaia tele le fesili a tagata i lipoti ma le pa. E le na'o tagata tautala, ae o tagata uma i le lautele, sa aoga lelei. I isi fonotaga, e masani ona vaʻaia le maasiasi o tagata e fai ni fesili mai le aofia i le gagana faʻaPeretania malepe, ma e mafai ona faʻapipiʻi se mea i le vaega o talanoaga. E matua ese lava lenei mea iinei. E tusa ai ma se tala, o nisi o Cliff Click na maeʻa ana lipoti i se taimi muamua atu, ma ina ua maeʻa ona mulimulitaʻi fesili i se faasologa faifaipea, o le talanoaga na agaʻi atu i le sone o talanoaga - e aunoa ma se malolo faʻafefe poʻo se faʻalavelave. O le mea lava lea e tasi e faʻatatau i le Leslie Lamport's Q & A session e toetoe lava a le tatau i le tagata faʻasalalau ona fai ana fesili, na o mai tagata auai i mea uma.

Sa i ai ituaiga uma o mea laiti e toaitiiti tagata e matauina, ae o loʻo i ai. Ona o le mea moni o le konafesi o loʻo i le Igilisi, o le mamanu o mea e pei o laupepa ma faʻafanua e mama ma sili atu ona puʻupuʻu. E le manaʻomia le faʻaluaina o gagana ma faʻalavelave le mamanu.

Sponsors ma fa'aaliga

Na fesoasoani tele a matou sponsor i le fausiaina o le konafesi. Faafetai ia i latou, sa i ai lava se mea e fai i taimi o malologa.

I le tulaga Deutsche Bank TechCenter e mafai ona e talatalanoa ma inisinia o le tele-filo faiga, foia o latou faafitauli mai lou ulu, manumalo i faailoga manatua ma na o se taimi fiafia.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

I le tulaga Contour e mafai ona tatou talanoa e uiga ia latou lava faiga, e le gata i tatala ma tatala punaoa: o se tufatufaina i-manatua database, o se ogalaau binary tufatufaina, se microservice faiga orchestration, se felauaiga lautele mo telemetry, ma isi. Ma o le mea moni, paso ma tauvaga, faʻapipiʻi ma se pusi binary ma le Suffering Middle Ages, meaalofa e pei o le tusi a Martin Kleppmann ma faʻatusa LEGO.

Faamolemole ia matau o le auiliiliga o faafitauli o Kontur ua uma lomia i luga o Habré. Su'esu'ega lelei, e tatau ona va'ai.

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

O i latou e manana'o e mafai ona fa'atau ituaiga uma o tusi ma talanoaina ma a latou uo. Na potopoto se motu o tagata mo le sauniga saini!

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

O taunuʻuga

O le Hydra Conference ma le SPTDC School o ni mea taua tele mo i matou o le kamupani faʻatulagaina ma mo le alalafaga atoa. O se avanoa lenei e va'ava'ai ai i lo tatou lumana'i, atia'e se auivi tu'ufa'atasi mo le talanoaina o fa'afitauli fa'aonaponei, ma va'ava'ai toto'a i fa'atonuga mananaia. Multithreading ua leva ona i ai, ae ina ua uma ona aliali mai le uluai masini tele-core processor, e atoa le sefulu tausaga mo le mea na tupu na salalau. O mea na tatou faalogo i ai i lenei vaiaso i lipoti e le o ni tala vave, ae o le auala i se lumanaʻi manuia o le a tatou mulimuli ai i tausaga o lumanaʻi. O le a leai ni mea faʻaleagaina mo le isi Hydra i lenei pou, ae e mafai ona e faʻamoemoe mo le mea sili. Afai e te fiafia i mataupu faʻapenei, atonu e te manaʻo e siaki isi a matou mea na tutupu, pei o lauga faʻapitoa konafesi Joker 2019 poʻo DotNext 2019 Moscow. Toe feiloa'i i isi konafesi!

Tolu manumalo o le Dijkstra Prize: na faapefea ona alu Hydra 2019 ma SPTDC 2019

puna: www.habr.com

Faaopoopo i ai se faamatalaga