Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Herî dawî, ji 8 heta 12 Tîrmehê, du bûyerên girîng di heman demê de pêk hatin - konferans Hydra û dibistanê SPTDC. Di vê postê de ez dixwazim çend taybetmendiyên ku me di dema konferansê de dîtine destnîşan bikim.

Şanaziya herî mezin ya Hydra û Dibistanê axaftvan in.

  • Sê xelatgir Xelata Dijkstra: Leslie Lamport, Maurice Herlihy û Michael Scott. Wekî din, Maurice ew du caran wergirt. Leslie Lamport jî wergirt Xelata Turing - di zanistiya komputerê de xelata herî bi prestîj a ACM;
  • Afirînerê berhevkarê Java JIT Cliff Click e;
  • Pêşdebirên Corutin - Roman Elizarov (elizarov) û Nikita Koval (ndkoval) ji bo Kotlin, û Dmitry Vyukov ji bo Go;
  • Beşdarên Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Daneyên Yandex (Semyon Checherinda û Vladislav Kuznetsov);
  • Û gelek kesên din ên navdar: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modela bîranîna C ++), Pedro Ramalhete (avahiyên daneya bê-bende), Alexey Zinoviev (ML), Dmitry Bugaichenko (analîzkirina grafikê).

Û ev jixwe Dibistan e:

  • Zanîngeha Brown (Maurice Herlihy),
  • Zanîngeha Rochester (Michael Scott),
  • Zanîngeha Waterloo (Trevor Brown),
  • Zanîngeha Nantes (Achour Mostefaoui),
  • Zanîngeha David Ben-Gurion ya Negev (Danny Hendler),
  • Zanîngeha California li Los Angeles (Eli Gafni),
  • Enstîtuya Polîteknîkî ya Parîsê (Petr Kuznetsov),
  • Lêkolîna Microsoft (Leslie Lamport),
  • Lêkolîna VMware (Ittai Abraham).

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Teorî û pratîk, zanist û hilberîn

Bihêle ku ez bi bîr bînim ku Dibistana SPTDC ji bo sed û nîv kesan bûyerek piçûk e ku li wir kom dibin û li ser mijarên nûjen di warê komputera belavkirî de diaxivin. Hydra konfêransek komputerê ya dabeşkirî ya du-rojî ye ku paralelî pêk tê. Hydra xwedan hûrgelek endezyariyê ye, dema ku Dibistan xwedan hûrguliyek zanistî ye.

Yek ji mebestên konferansa Hydrayê ew e ku prensîbên zanistî û endezyariyê bi hev re bike. Ji aliyek ve, ev yek bi hilbijartina raporên di bernameyê de tê bidestxistin: ligel Lamport, Herlihy û Scott, raporên pir zêde sepandî yên Alex Petrov, ku beşdarî Cassandra, an Roman Elizarov ji JetBrains dibe, hene. Martin Kleppman heye, ku berê destpêk çêdikir û difirot û niha li Zanîngeha Cambridge CRDT dixwîne. Lê tiştê xweş ev e ku Hydra û SPTDC li kêleka hev têne girtin - wan raporên cûda hene, lê cîhek hevpar a ragihandinê.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Navdekirinî

Pênc rojên Dibistanê li pey hev, hem ji bo beşdaran û hem jî ji bo organîzatoran bûyerek pir mezin û karekî pir mezin e. Her kes negihîşt rojên dawî. Yên ku di heman demê de diçûn Hîdra û Dibistanê hebûn û ji bo wan rojên dawîn ên herî bi bûyer derketin. Hemî ev tevlihevî bi daketinek pir kûr ve tê telafî kirin. Ev ne tenê ji ber hejmûnê, lê ji ber kalîteya materyalê jî ye. Hemî rapor û dersên di her du bûyeran de ne plansaz kirin ku danasînê bin, ji ber vê yekê hûn her ku diçin, hûn tavilê dûr û kûr dikevin, û hûn heta dawiyê nahêlin.

Bê guman, pir tişt bi amadekariya destpêkê ya beşdar ve girêdayî ye. Demek kêfxweş bû dema ku du komên mirovan di korîdorê de serbixwe li ser raporta Heidi Howard nîqaş kirin: ji hinekan re ew bi tevahî asayî xuya dikir, lê yên din, berevajî, kûr li ser jiyanê difikirin. Balkêş e ku li gorî beşdarên komîteyên bernameyê (yên ku dixwestin nenas bimînin), raporên Hydra û dersên Dibistanê di bûyerên wan de dikarin pir bikêrhatî bin. Mînakî, heke ciwanek PHP-ê were konferansek PHP-ê da ku jiyanê fêr bibe, ew ê piçûk be ku meriv texmîn bike ku ew di derheqê hundurên Zend Engine-ê de xwediyê zanîna kûr e. Li vir, axaftvanan bi kevçî nexwarin ciwanan, lê tavilê astek zanîn û têgihîştinê destnîşan kirin. Welê, bi rastî, asta beşdarên ku pergalên belavkirî dixebitin û kernelên dema xebatê dinivîsin pir bilind e, ev mentiqî ye. Li gorî berteka beşdaran, bijartina raporek li gorî ast û mijarê pir hêsan bû.

Ger em behsa raporên taybetî bikin, ew hemî bi awayê xwe baş bûn. Li gorî tiştên ku mirov dibêjin û tiştê ku ji forma bersivdayînê tê dîtin, yek ji raporên herî xweş li Dibistanê ev bû. "Strukturên daneyê yên ne astengkirî" Michael Scott, wî tenê her kes ji hev qut kir, rêjeyek wî ya ne normal li dora 4.9 heye.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Metaconference

Demek dirêj berî destpêka Hydra û Dibistan, Ruslan ARG89 texmîn kir ku dê celebek "meta-konferanse" hebe - konferansek konferansan, ku hemî beşdarên sereke yên bûyerên din bixweber di nav wê de, mîna ku di qulikek reş de bin, werin kişandin. Û wisa jî çêbû! Mînak, di nav xwendekarên Dibistanê de ev yek hat dîtin Ruslan Çeremin ji DeutscheBank, pisporê navdar ê di pirthreading de.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Û ji endamên Hydrayê hatin dîtin Vadim Tsesko (incubos) û Andrey Pangin (apangin) ji pargîdaniya Odnoklassniki. (Di heman demê de, Vadim jî alîkariya me kir ku du hevpeyivînên hêja bi Martin Kleppman re bikin - yek ji bo Habr, û ya din ji bo temaşevanên weşana serhêl). Endam hebûn Komîteya Bernameya DotNext, axaftvanên navdar Anatoly Kulakov û Igor Labutin. Ji Javîstan hebûn Dmitriy Alexandrov и Vladimir Ivanov. Bi gelemperî hûn van kesan li cîhên bi tevahî cûda dibînin - dotnetists li DotNext, javaists li Joker, û hwd. Û ji ber vê yekê ew li kêleka hev li raporên Hydra rûnin û bi hev re li ser pirsgirêkan nîqaş dikin. Dema ku ev dabeşkirina hindik çêkirî ya ji hêla ziman û teknolojiyên bernamekirinê ve winda dibe, taybetmendiyên qada mijarê derdikevin holê: pisporên dema xebitandinê yên dînamîk bi bezêrkerên din re danûstendinê dikin, lêkolînerên teoriya komputerê ya belavkirî bi lêkolînerên din re bi germî nîqaşê dikin, endezyarên motora databasê tabloya spî kom dikin, û hwd. .

Di raporê de li gor modela bîra C++ pêşdebirên OpenJDK di rêza pêşîn de rûniştibûn (qet nebe ez wan bi çavan nas dikim, lê ne Pythonîstan, dibe ku Pythonists jî li wir bûn). Bi rastî di vê raporê de tiştekî wisa Shipilevsky heye... Orî tam heman tiştî nabêje, lê lênihêrînek bi baldarî dikare paralelan bibîne. Tewra piştî her tiştê ku di standardên herî dawîn ên C++ de qewimîn, pirsgirêkên wekî nirxên hewayê yên zirav hîn jî nehatin çareser kirin, û ji ber vê yekê hûn dikarin biçin raporek weha û guhdarî bikin ka mirovên "li aliyê din ê barîkatê" çawa ne. hewl didin ku van pirsgirêkan rast bikin, Wekî ku ew difikirin, meriv dikare ji nêzîkatiyên çareseriyê yên ku hatine dîtin bandor bibe (Ori yek ji vebijarkên rastkirinê heye).

Di komîteyên bernameyê û motorên civakê de gelek beşdar bûn. Her kesî pirsgirêkên xwe yên di navbera olan de çareser kir, pirek çêkir û têkilî peyda kir. Min ev yek li ku derê dikaribû bikar anî, û, mînakî, me ji Alexander Borgardt re li hev kir Moskow C ++ Koma Bikarhêner bi hev re di C ++ de gotarek tev-pîvanek li ser lîstikvan û asynchrony dinivîsin.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Di wêneyê de: Leonid Talalaev (ltalal, çep) û Oleg Anastasyev (m0nstermind, rast), pêşdebirên pêşeng li Odnoklassniki

Herêmên nîqaşê yên agir û buffs

Di konferansan de her gav beşdar hene ku mijarê û her weha axaftvanan dizanin (û carinan ji axaftvanan çêtir - mînakî, dema ku pêşdebirek bingeha hin teknolojiyê di nav beşdaran de ye). Li ser Hydra gelek beşdarên weha pir pispor hebûn. Mînakî, di hin xalan de li dora Alex Petrov vedibêje li ser Cassandra, gelek kes ava kirin ku wî nikaribû bersiva her kesî bide. Di deverekê de, Alex bi nermî li alîkî hate kişandin û dest bi pirsan kir, lê ala ku ketî ji hêla pêşdebirek Rust-ê naskirî ve di derdorê de hate hildan. Tyler Neely û barkirinê bi rengek bêkêmasî hevseng kir. Dema ku min ji Tyler ji bo hevpeyivîna serhêl arîkarî xwest, hemî ku wî pirsî ev bû, "Em kengê dest pê bikin?"

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Carinan, ruhê nîqaşê jî di raporan de derbas bû: Nikita Koval rûniştinek Q&A ji nişka ve organîze kir, rapor li çend beşan dabeş kir.

Û berevajî vê, li ser BOF-ê ji bo pir-têlankirina wan bîranîna ne-hilweşîn hat bîra wan, ew ber bi vê bofê ve hatin kişandin. Pedro Ramalhete wek pisporê serekî, û wî her tişt ji her kesî re rave kir (bi kurtî, bîranîna neqewimin di demek nêzîk de ji bo me ne xeternak e). Yek ji hosteyên vê bofê, bi rê ve bû Vladimir Sitnikov, yê ku di komîteyên bernameyê yên hin hejmarek dînên konferansan de kar dike... wusa dixuye ku niha di demekê de pêncan e. Di pêşbaziya paşîn de li ser "CS-ya nûjen di cîhana rastîn de" wan jî li ser NVM nîqaş kirin û bi tena serê xwe gihîştin vê yekê.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Ez dikarim super-nêrînek parve bikim ku tewra yên ku rasterast beşdarî çîrokê bûne jî dibe ku ferq nekiribin. Elî Gafnî êvara roja yekem a dibistanê kir û roja din ma û dest bi trolêkirina Lamport kir, û ji derve ve xuya bû ku ev lîstikek e û Elî têr nake. Ku ev celebek troll e ku dest pê kir ku mêjiyê Leslie derxe. Bi rastî, rastî ev e ku ew hema hema hevalên herî baş in, ew gelek sal in heval in, û ev tenê bazdanek wusa heval e. Ango henek kar kir - hemî mirovên li der û dora wê ketin, ew bi nirx girtin.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Ji hev veqetandî, ez dixwazim bibînim ku axaftvanan çiqas hezkirin û hewil didin vê yekê. Kesek heta deqeya dawî, hema hema bi saetan li qada nîqaşê sekinî. Bêhnvedan berî demek dirêj qediya, rapor dest pê kir, qediya, navbera din dest pê kir - û Dmitry Vyukov bersiva pirsan berdewam kir. Çîrokek balkêş jî bi min re hat - piştî ku Cliff Click bi surprîz girt, min ne tenê ravekirinek zelal û maqûl ya wê nîqaşa provokatîf a di derbarê nebûna ceribandinan de wergirt. ji bo hin tiştan di H2O de, lê di heman demê de nirxandinek tam jê re jî girt zimanê nû AA. Min çu carî ev nepirsî: Min tenê pirsî ka hûn dikarin li ser AA çi bixwînin (derket ku hûn dikarin guhdarî bikin podcast), û li şûna wê Cliff nîv saetê li ser ziman peyivî û kontrol kir ku tiştê ku wî digot rast tê fam kirin. Pirxweş. Divê em li ser AAyê habrapostekê binivîsin. Tecrûbeyek din a bêhempa temaşekirina pêvajoya vekolîna daxwaza kişandinê li Kotlin bû. Bi rastî hestek efsûnî ye dema ku hûn di nav komên nîqaşê yên cihêreng, axaftvanên cihêreng de dimeşin û hûn têkevin nav cîhanek tevahî nû. Ev tiştek li ser astê ye "Li wir, Li wir" ji hêla Radiohead.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Zimanê îngilîzî

Hydra 2019 konferansa me ya yekem e ku zimanê sereke Englishngilîzî ye. Ev hem avantajên xwe û hem jî zehmetiyên xwe bi xwe re tîne. Awantajek eşkere ev e ku mirov ne tenê ji Rûsyayê têne konferansê, ji ber vê yekê di nav beşdaran de hûn dikarin endezyarên ji Ewropayê û zanyarên ji Ingilîstanê bibînin. Axaftvan xwendekarên xwe tînin. Bi gelemperî, axaftvanên girîng xwedî motîvasyonek pirtir in ku biçin konferansek weha. Bifikirin ku hûn di konferansek bi tevahî bi zimanê rûsî de axaftvan in: we rapora xwe da, qada nîqaşê parast, û paşê çi? Li dora bajêr geriyan û cihên geştyarî bibînin? Bi rastî, axaftvanên bi rastî populer jixwe her tiştî li cîhanê têra xwe dîtine, ew naxwazin biçin şêr û piran bibînin, ew bêzar bûne. Heger hemû rapor bi Îngilîzî bin, ew dikarin bi giştî beşdarî konferansê bibin, kêfê bikin, beşdarî qadên nîqaşê bibin û hwd. Atmosfera li hember axaftvanan pir dostane ye.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Kêmasiya eşkere ev e ku ne her kes bi Englishngilîzî rehet danûstandinê dike. Gelek baş fêm dikin, lê kêm diaxivin. Bi gelemperî, tiştên asayî yên ku bi awayên cûda têne çareser kirin. Mînakî, hin deverên nîqaşê bi rûsî dest pê kirin, lê gava yekem beşdarê ku bi îngilîzî diaxive xuya bû, yekser derbasî Englishngilîzî bûn.

Ez bi xwe neçar bûm ku vebûn û girtina tevlêbûna weşana serhêl bi taybetî bi Englishngilîzî bikim û beşdarî çend hevpeyivînên qeydkirî bi pisporan re bibim. Û ev ji bo min dijwariyek rastîn bû, ku ez zû ji bîr nakim. Di demekê de Oleg Anastasyev (m0nstermind) bi tenê ji min re got ku ez di dema hevpeyivînê de bi wan re rûniştim, û ez pir hêdî bûm ku fêm bikim ku wateya wê çi ye.

Ji aliyê din ve jî pir xweş bû ku mirov di raporan de bi dengekî bilind pirsan dikirin. Ne tenê axaftvanên xwemalî, lê her kes bi gelemperî, ew baş xebitî. Di konferansên din de, pir caran tê dîtin ku mirov şerm dikin ku bi îngilîzî ya şikestî pirsan ji temaşevanan bipirsin, û tenê dikarin di qada nîqaşê de tiştek derxînin. Ev li vir bi tevahî cûda bû. Bi nisbetî ve, hin Cliff Click raporên xwe hinekî pêştir qedandin, û piştî wê yekê pirs bi rêzek domdar li dû xwe hişt, danûstendin derbasî qada nîqaşê bû - bêyî rawestan û navberên nebaş. Heman tişt ji bo danişîna Q&A ya Leslie Lamport derbas dibe ku pêşkêşvan bi pratîkî ne hewce bû ku pirsên xwe bipirse, beşdaran her tişt anîn ziman.

Her cûre tiştên piçûk hebûn ku hindik kes bala wan dikişîne, lê ew hene. Ji ber ku konferans bi Îngilîzî ye, sêwirana tiştên wekî belavok û nexşeyan siviktir û kurttir e. Ne hewce ye ku zimanan dubare bikin û sêwiranê tevlihev bikin.

Sponsor û pêşangeh

Di çêkirina konferansê de sponsorên me gelek alîkariya me kirin. Bi saya wan, di dema bêhnvedanê de her dem tiştek hebû.

Li stendeyê Deutsche Bank TechCenter hûn dikarin bi endezyarên pergalên pir-mijarî re sohbet bikin, pirsgirêkên wan ji serê xwe çareser bikin, xelatên bîranîn bistînin û tenê demek xweş derbas bikin.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Li stendeyê Xet em dikarin li ser pergalên wan biaxivin, hem çavkaniyek vekirî û hem jî vekirî: databasek di bîranînê de belavkirî, têketinek binary a belavkirî, pergalek orkestrasyona mîkroxizmetê, veguhastinek gerdûnî ya ji bo telemetrî, û hwd. Û bê guman, puzzle û pêşbazî, çîpên bi pisîkek binar û Serdema Navîn a Zehmetkêş, diyariyên mîna pirtûka Martin Kleppmann û fîgurên LEGO.

Ji kerema xwe ji bîr nekin ku analîzkirina pirsgirêkên Kontur jixwe ye li ser Habré hatiye weşandin. Analîzek baş, hêjayî lênihêrînê ye.

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Kesên ku bixwazin dikarin her cure pirtûkan bikirin û bi hevalên xwe re nîqaş bikin. Ji bo danişîna otografê elaletek tev kom bû!

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Encam

Konferansa Hydra û Dibistana SPTDC ji bo me wekî pargîdaniya organîzator û ji bo tevahiya civakê bûyerên pir girîng in. Ev şansek e ku em li paşeroja xwe binihêrin, çarçoveyek têgehî ya yekbûyî ji bo nîqaşkirina pirsgirêkên nûjen pêşve bibin, û ji nêz ve li rêwerzên balkêş binêre. Multithreading ji bo demek pir dirêj li dora xwe ye, lê piştî ku yekem pêvajoyek bi rastî pir-bingehîn xuya bû, deh sal derbas bû ku fenomenek berbelav bibe. Tiştê ku me vê hefteyê di raporan de bihîst ne nûçeyek zû ye, lê riya pêşerojek geş e ku em ê di salên pêş de bişopînin. Dê di vê postê de ji bo Hydra-ya paşîn ti spoiler tune be, lê hûn dikarin hêviya çêtirîn bikin. Heke hûn bi mijarên wekî van re eleqedar in, dibe ku hûn bixwazin ku bûyerên me yên din, mîna axaftinên konferansa hişk, bişopînin Joker 2019 an DotNext 2019 Moskow. Hûn di konferansên pêş de bibînin!

Sê serketiyên Xelata Dijkstra: Hydra 2019 û SPTDC 2019 çawa çûn

Source: www.habr.com

Add a comment