ProHoster > Blog > Pulega > 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).
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.
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.
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.
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++.
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?”
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.
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.
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.
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.
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.
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.
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!
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!