Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Paling anyar, saka 8 nganti 12 Juli, rong acara penting ditindakake bebarengan - konferensi Hydra lan sekolah SPTDC. Ing kirim iki aku pengin nyorot sawetara fitur sing kita weruh sak konferensi.

Bangga paling gedhe saka Hydra lan Sekolah yaiku pamicara.

  • Telung pemenang Hadiah Dijkstra: Leslie Lamport, Maurice Herlihy lan Michael Scott. Kajaba iku, Maurice nampa kaping pindho. Leslie Lampor uga nampa Penghargaan Turing - penghargaan ACM paling bergengsi ing ilmu komputer;
  • Sing nggawe kompiler Java JIT yaiku Cliff Click;
  • Pangembang Corutin - Roman Elizarov (elizarovlan Nikita Koval (ndkoval) kanggo Kotlin, lan Dmitry Vyukov kanggo Go;
  • Kontributor kanggo Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Database Yandex (Semyon Checherinda lan Vladislav Kuznetsov);
  • Lan akeh wong misuwur liyane: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model memori C ++), Pedro Ramalhete (struktur data tanpa tunggu), Alexey Zinoviev (ML), Dmitry Bugaichenko (analisis grafik).

Lan iki wis Sekolah:

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

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Teori lan praktik, ilmu lan produksi

Ayo kula ngelingake sampeyan manawa Sekolah SPTDC minangka acara cilik kanggo siji setengah atus wong; luminaries kelas donya kumpul ing kana lan ngomong babagan masalah modern ing bidang komputasi sing disebarake. Hydra minangka konferensi komputasi sing disebarake rong dina sing dianakake bebarengan. Hydra nduweni fokus teknik sing luwih akeh, dene Sekolah kasebut nduweni fokus sing luwih ilmiah.

Salah sawijining tujuan konferensi Hydra yaiku nggabungake prinsip ilmiah lan teknik. Ing tangan siji, iki bisa ditindakake kanthi milih laporan ing program kasebut: bebarengan karo Lamport, Herlihy lan Scott, ana luwih akeh laporan sing ditrapake dening Alex Petrov, sing nyumbang kanggo Cassandra, utawa Roman Elizarov saka JetBrains. Ana Martin Kleppman, sing biyen mbangun lan ngedol startup lan saiki sinau CRDT ing Universitas Cambridge. Nanging kelangan iku Hydra lan SPTDC dianakaké sisih dening sisih - padha duwe laporan beda, nanging panggonan umum kanggo komunikasi.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Kecemplung

Limang dina Sekolah berturut-turut iku acara gedhe banget lan akeh beban kerja, kanggo peserta lan panitia. Ora saben wong bisa nganti dina pungkasan. Ana wong-wong sing lunga menyang Hydra lan Sekolah ing wektu sing padha, lan kanggo wong-wong mau dina pungkasan dadi paling penting. Kabeh repot iki diimbangi dening kecemplung sing luar biasa jero. Iki amarga ora mung volume, nanging uga kualitas materi. Kabeh laporan lan ceramah ing acara loro kasebut ora direncanakake dadi pambuka, mula menyang ngendi wae, sampeyan langsung nyilem adoh lan jero, lan ora diculake nganti pungkasan.

Mesthi, akeh gumantung saka persiapan awal peserta. Ana wayahe lucu nalika loro klompok wong ing koridor independen rembugan laporan Heidi Howard: kanggo sawetara iku ketoke rampung biasa, nalika liyane, ing nalisir, mikir rumiyin bab urip. Apike, miturut peserta panitia program (sing pengin tetep anonim), laporan Hydra lan ceramah Sekolah ing acara kasebut bisa dikalahake. Contone, yen junior PHP teka ing konferensi PHP kanggo sinau urip, iku bakal dadi rash sethitik kanggo nganggep yen dheweke duwe kawruh jero babagan internal Zend Engine. Ing kene, pamicara ora nyedhot-nyedhot juniors, nanging langsung nuduhake tingkat kawruh lan pangerten tartamtu. Ya, pancen, tingkat peserta sing ngoperasikake sistem sing disebarake lan nulis kernel runtime dhuwur banget, iki logis. Dideleng saka reaksi para peserta, cukup gampang kanggo milih laporan adhedhasar level lan topik.

Yen kita ngomong babagan laporan tartamtu, kabeh padha apik kanthi cara dhewe. Dideleng saka apa sing diomongake wong lan apa sing bisa dideleng saka formulir umpan balik, salah sawijining laporan sing paling keren ing Sekolah yaiku "Struktur data nonblocking" Michael Scott, dheweke mung nyuwek kabeh wong, dheweke duwe rating ora normal ing sekitar 4.9.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Metaconference

Sadurungé diwiwiti Hydra lan Sekolah, Ruslan ARG89 nganggep yen bakal ana sawetara "konferensi meta" - konferensi konferensi, ing ngendi kabeh peserta ndhuwur acara liyane bakal disedot kanthi otomatis, kaya ing bolongan ireng. Lan kedaden! Contone, ing antarane siswa Sekolah kasebut digatekake Ruslan Cheremin saka DeutscheBank, spesialis kondhang ing multithreading.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Lan saka anggota Hydra padha ngeweruhi Vadim Tsesko (incubus) lan Andrey Pangin (apanin) saka perusahaan Odnoklassniki. (Ing wektu sing padha, Vadim uga mbantu kita nindakake rong wawancara sing apik banget karo Martin Kleppman - siji kanggo Habr, lan liyane kanggo pamirsa siaran online). Ana anggota Panitia Program DotNext, pamicara misuwur Anatoly Kulakov lan Igor Labutin. Saka Javist ana Dmitry Alexandrov и Vladimir Ivanov. Biasane sampeyan ndeleng wong-wong iki ing panggonan sing beda - dotnetists ing DotNext, javaists ing Joker, lan liya-liyane. Lan supaya padha njagong jejere ing laporan Hydra lan bebarengan ngrembug masalah ing wudo. Nalika divisi sing rada artifisial dening basa lan teknologi pemrograman iki ilang, fitur saka area subyek muncul: spesialis runtime dinamis komunikasi karo runtimer liyane, peneliti teori komputasi sing disebarake bantahan banget karo peneliti liyane, insinyur mesin database akeh papan tulis, lan liya-liyane. .

Ing laporan miturut model memori C ++ pangembang OpenJDK padha lungguh ing baris ngarep (paling aku ngerti wong dening ngarsane, nanging ora Pythonists, Mungkin Pythonists uga ana). Nyatane, ana sing dadi Shipilevsky ing laporan iki ... Ori ora ngandhani persis sing padha, nanging kanthi ati-ati bisa ndeteksi paralel. Malah sawise kabeh sing kedadeyan ing standar C ++ paling anyar, masalah kayata nilai udara tipis isih durung diatasi, lan sampeyan bisa pindhah menyang laporan kasebut lan ngrungokake kepiye wong "ing sisih liya barricade" nyoba kanggo ndandani masalah iki, Nalika padha alesan, siji bisa kesengsem dening pendekatan kanggo solusi ketemu (Ori wis salah siji opsi fix).

Ana akeh peserta ing komite program lan mesin masyarakat. Saben uwong ngrampungake masalah antar agama, mbangun jembatan, lan entuk sambungan. Aku digunakake iki ngendi aku bisa, lan, contone, kita sarujuk karo Alexander Borgardt saka Grup Panganggo C++ Moscow bebarengan nulis artikel ukuran lengkap babagan aktor lan asynchrony ing C ++.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Ing foto: Leonid Talalaev (ltalal, kiwa) lan Oleg Anastasyev (m0nstermind, tengen), pangembang utama ing Odnoklassniki

Zona diskusi geni lan wudo

Ing konferensi tansah ana peserta sing ngerti subyek uga speaker (lan kadhangkala malah luwih apik tinimbang speaker - contone, nalika pangembang saka inti sawetara teknologi ana ing antarane peserta). Ana akeh peserta sing ahli banget ing Hydra. Contone, ing sawetara titik watara Alex Petrov ngandhani bab Cassandra, akeh wong sing dibentuk nganti dheweke ora bisa mangsuli kabeh wong. Ing sawetara titik, Alex lancar di-push menyang sisih lan wiwit ambruk karo pitakonan, nanging gendéra tiba dijupuk dening pangembang Rust kondhang ing bunderan. Tyler Neely lan ngimbangi beban kanthi sampurna. Nalika aku njaluk bantuan marang Tyler babagan wawancara online, dheweke mung takon, "Kapan kita miwiti?"

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Kadhangkala, semangat diskusi malah nyuwil menyang laporan: Nikita Koval ngatur sesi Q&A dadakan, mbagi laporan kasebut dadi sawetara bagean.

Lan kosok balene, ing BOF kanggo multi-threading padha elinga bab memori non-molah malih, padha ditarik menyang bof iki. Pedro Ramalhete minangka spesialis pangareping, lan nerangake kabeh kanggo everyone (ing cendhak, memori non-molah malih ora ancaman kanggo kita ing mangsa cedhak). Salah sarwa dumadi saka bof iki, dening cara, ana Vladimir Sitnikov, sing serves ing komite program saka sawetara nomer gila konferensi ... misale jek kaya limang ing wektu sapunika. Ing wudo sabanjuré bab "CS Modern ing donya nyata" padha uga rembugan NVM lan teka iki rampung ing dhewe.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Aku bisa nuduhake super-wawasan sing malah sing langsung melu ing crita bisa uga ora weruh. Eli Gafni dileksanakake ing wayah sore ing dina pisanan saka Sekolah, lan dina sabanjuré tetep lan wiwit trolling Lamport, lan saka njaba ketoke sing iki game lan Eli cupet. Iki minangka jinis troll sing arep njupuk otak Leslie. Nyatane, dheweke meh dadi kanca paling apik, dheweke wis kekancan nganti pirang-pirang taun, lan iki mung guyonan mesra. Sing, guyon makarya - kabeh wong ing saubengé tiba kanggo iku, njupuk ing Nilai nominal.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Kanthi kapisah, aku pengin nyathet sepira katresnan lan upaya para penutur ing babagan iki. Ana sing ngadeg ing area diskusi nganti menit pungkasan, meh pirang-pirang jam. Break rampung dangu ago, laporan wiwit, rampung, break sabanjuré wiwit - lan Dmitry Vyukov terus mangsuli pitakon. Crita sing menarik uga kedadeyan karo aku - sawise njupuk Cliff Click kanthi kaget, aku ora mung nampa panjelasan sing jelas lan cukup babagan diskusi provokatif babagan kekurangan tes. kanggo bab tartamtu ing H2O, nanging uga entuk review lengkap basa anyar AA. Aku ora nate takon iki: Aku mung takon apa sing bisa diwaca babagan AA (pranyata sampeyan bisa ngrungokake podcast), lan tinimbang Cliff ngentekake setengah jam ngomong babagan basa kasebut lan mriksa apa sing diomongake wis dimangerteni kanthi bener. Apik banget. Kita kudu nulis habrapost babagan AA. Pengalaman liyane sing ora biasa yaiku nonton proses review panjaluk tarik ing Kotlin. Iku pancene raos gaib nalika lumaku menyang macem-macem kelompok diskusi, speaker beda, lan plunged menyang donya anyar. Iki soko ing tingkat "Ana, Ana" dening Radiohead.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Basa Inggris

Hydra 2019 minangka konferensi pertama kita ing ngendi basa utama yaiku Inggris. Iki ndadekke loro kaluwihan lan tantangan. Kauntungan sing jelas yaiku wong ora mung teka ing konferensi saka Rusia, supaya ing antarane para peserta sampeyan bisa ketemu insinyur saka Eropa lan ilmuwan saka Inggris. Pembicara nggawa muride. Umumé, pamicara penting duwe motivasi luwih akeh kanggo pindhah menyang konferensi kasebut. Mbayangno yen sampeyan dadi speaker ing konferensi lengkap basa Rusia: sampeyan wis menehi laporan, mbela wilayah diskusi, banjur apa? Lelungan ngubengi kutha lan ndeleng papan wisata? Nyatane, pamicara tenan populer wis katon cukup saka kabeh ing donya, padha ora pengin pindhah ndeleng singa lan drawbridges, padha bosen. Yen kabeh laporan nganggo basa Inggris, dheweke bisa melu ing konferensi kanthi umum, seneng-seneng, gabung karo area diskusi, lan liya-liyane. Swasana cukup grapyak marang penutur.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Kerugian sing jelas yaiku ora kabeh wong seneng komunikasi nganggo basa Inggris. Akeh sing ngerti, nanging ngomong sing ora apik. Umumé, perkara biasa sing ditanggulangi kanthi cara sing beda-beda. Contone, sawetara wilayah diskusi diwiwiti ing basa Rusia, nanging langsung pindhah menyang basa Inggris nalika peserta sing nganggo basa Inggris pisanan muncul.

Aku dhewe kudu nindakake inklusi pambuka lan nutup siaran online kanthi eksklusif ing basa Inggris lan melu sawetara wawancara rekaman karo para ahli. Lan iki minangka tantangan nyata kanggo aku sing ora bakal dilalekake maneh. Ing sawetara titik Oleg Anastasyev (m0nstermind) mung kandha supaya aku tetep lungguh karo dheweke sajrone wawancara, lan aku alon-alon ngerti apa tegese.

Ing tangan liyane, iku banget penake sing wong takon pitakonan ing laporan karo bang. Ora mung penutur asli, nanging kabeh wong umume, kerjane apik. Ing konferensi liyane, asring katon wong isin takon pitakonan saka penonton ing basa Inggris rusak, lan mung bisa remet soko metu ing area diskusi. Iki pancen beda ing kene. Relatif ngandika, sawetara Cliff Click rampung laporan sing sethitik sadurungé, lan sawise pitakonan tindakake ing urutan terus-terusan, obrolan pindhah menyang zona diskusi - tanpa ngaso kikuk utawa interupsi. Sing padha ditrapake kanggo sesi Q&A Leslie Lamport; presenter praktis ora kudu takon, para peserta nggawe kabeh.

Ana macem-macem perkara cilik sing ora dingerteni wong, nanging ana. Amarga kasunyatan manawa konferensi kasebut ing basa Inggris, desain kaya leaflet lan peta luwih entheng lan ringkes. Ora perlu duplikat basa lan clutter desain.

Sponsor lan pameran

Sponsor kita mbantu kita nggawe konferensi kasebut. Thanks kanggo wong-wong mau, mesthi ana sing kudu ditindakake sajrone istirahat.

Ing ngadeg Deutsche Bank TechCenter sampeyan bisa ngobrol karo insinyur sistem multi-threaded, ngatasi masalah sing metu saka sirah, menang hadiah paweling lan mung duwe wektu apik.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Ing ngadeg Kontur kita bisa ngomong babagan sistem dhewe, mbukak lan mbukak sumber: database ing memori sing disebarake, log binar sing disebarake, sistem orkestrasi layanan mikro, transportasi universal kanggo telemetri, lan liya-liyane. Lan mesthi, teka-teki lan kompetisi, stiker karo kucing binar lan Abad Pertengahan Penderitaan, hadiah kaya buku Martin Kleppmann lan tokoh LEGO.

Wigati dimangerteni yen analisis masalah Kontur wis ana diterbitake ing Habré. Analisis apik, worth dipikir.

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Sing pengin bisa tuku kabeh jinis buku lan rembugan karo kanca-kanca. Wong akeh padha kumpul kanggo sesi tanda tangan!

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Hasil

Konferensi Hydra lan Sekolah SPTDC minangka acara sing penting banget kanggo kita minangka perusahaan sing ngatur lan kanggo kabeh komunitas. Iki minangka kesempatan kanggo ndeleng masa depan kita, ngembangake kerangka konseptual sing manunggal kanggo ngrembug masalah modern, lan ndeleng kanthi luwih rinci babagan arah sing menarik. Multithreading wis suwe banget, nanging butuh sedasa taun sawise prosesor multi-inti pisanan muncul kanggo fenomena kasebut nyebar. Apa sing dirungokake minggu iki ing laporan kasebut dudu warta sing cepet, nanging dalan kanggo masa depan sing cerah sing bakal kita tindakake ing taun-taun sing bakal teka. Ora bakal ana spoiler kanggo Hydra sabanjure ing kirim iki, nanging sampeyan bisa ngarep-arep sing paling apik. Yen sampeyan kasengsem ing masalah kaya iki, sampeyan bisa uga pengin mriksa acara liyane, kayata diskusi konferensi hardcore Joker 2019 utawa DotNext 2019 Moscow. Ndeleng sampeyan ing konferensi sabanjure!

Telung pemenang Hadiah Dijkstra: kepiye Hydra 2019 lan SPTDC 2019

Source: www.habr.com

Add a comment