Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Paling anyar, ti 8 nepi ka 12 Juli, dua acara signifikan lumangsung sakaligus - konferensi Hydra jeung sakola SPTDC. Dina tulisan ieu kuring hoyong nyorot sababaraha fitur anu urang perhatikeun salami konperénsi éta.

Kareueus pangbadagna Hydra sareng Sakola nyaéta panyatur.

  • Tilu juara Hadiah Dijkstra: Leslie Lamport, Maurice Herlihy jeung Michael Scott. Sumawona, Maurice nampi dua kali. Leslie Lamport ogé nampi Penghargaan Turing - pangajén ACM anu paling bergengsi dina élmu komputer;
  • Pencipta kompiler Java JIT nyaéta Cliff Click;
  • Pamekar Corutin - Roman Elizarov (elizarov) jeung Nikita Koval (ndkoval) pikeun Kotlin, sarta Dmitry Vyukov pikeun Go;
  • Kontributor pikeun Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda jeung Vladislav Kuznetsov);
  • Sarta loba jalma kawentar sejenna: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model memori C ++), Pedro Ramalhete (ngadagoan-gratis struktur data), Alexey Zinoviev (ML), Dmitry Bugaichenko (analisis grafik).

Sareng ieu parantos Sakola:

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

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Téori jeung prakték, sains jeung produksi

Hayu atuh ngingetkeun yén Sakola SPTDC mangrupakeun acara leutik pikeun hiji satengah ratus urang; luminaries kelas dunya ngumpul di dinya sarta ngobrol ngeunaan isu modern dina widang komputasi disebarkeun. Hydra mangrupikeun konperénsi komputasi anu disebarkeun dua dinten anu diayakeun paralel. Hydra ngagaduhan fokus rékayasa langkung seueur, sedengkeun Sakola ngagaduhan fokus anu langkung ilmiah.

Salah sahiji tujuan konferensi Hydra nyaéta pikeun ngagabungkeun prinsip ilmiah sareng rékayasa. Di hiji sisi, ieu dihontal ku pilihan laporan dina program: babarengan jeung Lamport, Herlihy jeung Scott, aya leuwih loba laporan dilarapkeun ku Alex Petrov, anu nyumbang ka Cassandra, atawa Roman Elizarov ti JetBrains. Aya Martin Kleppman, anu biasa ngawangun sareng ngajual startup sareng ayeuna nuju diajar CRDT di Universitas Cambridge. Tapi hal anu keren nyaéta Hydra sareng SPTDC diayakeun di sisi - aranjeunna gaduh laporan anu béda, tapi tempat umum pikeun komunikasi.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Leuleumpangan

Lima poé Sakola dina runtuyan acara téh kacida gedéna jeung loba beban gawé, boh pikeun pamilon jeung panata acara. Henteu sadayana dugi ka dinten terakhir. Aya anu angkat ka Hydra sareng Sakola dina waktos anu sami, sareng pikeun aranjeunna dinten-dinten terakhir janten anu paling penting. Kabéh fuss ieu offset ku immersion incredibly jero. Ieu alatan teu ukur volume, tapi ogé kualitas bahan. Sadaya laporan sareng ceramah dina duanana acara henteu direncanakeun janten bubuka, janten dimana waé anjeun angkat, anjeun langsung teuleum jauh sareng jero, sareng anjeun henteu diantep dugi ka akhir.

Tangtu, loba gumantung kana persiapan awal pamilon. Aya momen pikaseurieun nalika dua golongan jalma di koridor bebas ngabahas laporan Heidi Howard: pikeun sababaraha eta seemed lengkep biasa, sedengkeun nu sejenna, sabalikna, pikir deeply ngeunaan kahirupan. Éta pikaresepeun yén numutkeun pamilon panitia program (anu hoyong tetep anonim), laporan Hydra sareng ceramah Sakola dina acara-acarana tiasa overqualified. Contona, upami hiji SMP PHP sumping ka konferensi PHP pikeun neuleuman hirup, éta bakal janten baruntus saeutik nganggap yen manehna boga pangaweruh jero ngeunaan internals of Zend Engine. Di dieu, para panyatur henteu nyéépkeun para junior, tapi langsung nunjukkeun tingkat pangaweruh sareng pamahaman anu tangtu. Nya, leres pisan, tingkat pamilon anu ngoperasikeun sistem anu disebarkeun sareng nyerat kernel runtime luhur pisan, ieu logis. Ditilik tina réaksi pamilon, éta rada gampang pikeun milih laporan dumasar kana tingkat jeung topik.

Lamun urang ngobrol ngeunaan laporan husus, aranjeunna sadayana alus dina cara sorangan. Ditilik ku naon anu dicarioskeun sareng naon anu tiasa ditingali tina bentuk tanggapan, salah sahiji laporan anu paling keren di Sakola nyaéta "Struktur data nonblocking" Michael Scott, anjeunna ngan tore dulur eta, anjeunna boga rating abnormal sabudeureun 4.9.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Metaconference

Lila saméméh mimiti Hydra jeung Sakola, Ruslan ARG89 nganggap yén bakal aya sababaraha jenis "meta-konferensi" - konferensi konferensi, dimana sakabeh pamilon luhur acara sejenna bakal otomatis sedot kana eta, saolah-olah kana black hole. Sarta eta kajadian! Contona, di antara murid-murid Sakola katénjo Ruslan Cheremin ti DeutscheBank, spesialis well-dipikawanoh dina multithreading.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Sarta tina anggota Hydra anu noticed Vadim Tsesko (incubos) jeung Andrey Pangin (apan) ti perusahaan Odnoklassniki. (Dina waktos anu sami, Vadim ogé ngabantosan kami ngalakukeun dua wawancara anu saé sareng Martin Kleppman - hiji keur Habr, sareng anu sanésna pikeun pamirsa siaran online). Aya anggota Panitia Program DotNext, speaker kawentar Anatoly Kulakov jeung Igor Labutin. Tina Javist aya Dmitry Alexandrov и Vladimir Ivanov. Biasana anjeun ningali jalma-jalma ieu di tempat anu béda-béda - dotnetists on DotNext, javaists on Joker, jeung sajabana. Sarta sangkan aranjeunna diuk sisi ku samping dina laporan Hydra sarta babarengan ngabahas masalah dina buffs. Nalika pembagian anu rada jieunan ku basa program sareng téknologi ngaleungit, fitur-fitur daérah subjek muncul: spesialis runtime dinamis komunikasi sareng runtimer anu sanés, panalungtik téori komputasi disebarkeun panas pisan sareng panaliti sanés, insinyur mesin database rame papan tulis, sareng saterasna. .

Dina laporan nurutkeun model memori C ++ pamekar OpenJDK linggih di baris hareup (sahenteuna kuring terang aranjeunna ku tetempoan, tapi teu Pythonists, meureun Pythonists éta ogé). Kanyataanna, aya hal kitu Shipilevsky dina laporan ieu ... Ori teu ngabejaan persis hal anu sarua, tapi katingal ati bisa ngadeteksi parallels. Sanaos sadayana anu kajantenan dina standar C ++ pangénggalna, masalah sapertos kaluar tina nilai hawa ipis masih teu acan dibereskeun, ku kituna anjeun tiasa angkat ka laporan sapertos kitu sareng ngadangukeun kumaha jalma-jalma "di sisi séjén barikade" nyoba ngalereskeun masalah ieu, Sabab alesan, hiji bisa jadi impressed ku pendekatan kana solusi kapanggih (Ori boga salah sahiji pilihan fix).

Aya seueur pamilon dina panitia program sareng mesin komunitas. Sarerea ngajawab masalah interfaith maranéhanana, ngawangun sasak, sarta kaala sambungan. I dipaké ieu dimana wae kuring bisa, jeung, contona, urang sapuk jeung Alexander Borgardt ti Moscow C ++ Grup pamaké babarengan nulis artikel pinuh skala ngeunaan aktor sarta Asynchrony dina C ++.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Dina poto: Leonid Talalaev (ltalal, kénca) jeung Oleg Anastasyev (m0nstermind, katuhu), pamekar ngarah di Odnoklassniki

zona sawala seuneu jeung buffs

Dina konperénsi sok aya pamilon anu terang subjekna ogé panyatur (sareng sakapeung langkung saé tibatan panyatur - contona, nalika pamekar inti sababaraha téknologi aya diantara pamilon). Aya seueur pamilon anu ahli pisan dina Hydra. Contona, di sawatara titik sabudeureun Alex Petrov nétélakeun ngeunaan Cassandra, jadi loba jalma kabentuk nu anjeunna teu bisa ngajawab dulur. Dina sababaraha waktos, Alex lancar kadorong ka sisi sareng mimiti dirobih ku patarosan, tapi bandéra anu murag dijemput ku pamekar Rust anu terkenal di kalangan. Tyler Neely tur saimbang beban sampurna. Nalika kuring naroskeun bantosan Tyler dina wawancara online, sadaya anu anjeunna naroskeun nyaéta, "Iraha urang ngamimitian?"

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Dina sababaraha waktos, sumanget diskusi malah nyerep kana laporan: Nikita Koval ngatur sési Q&A ngadadak, ngabagi laporan kana sababaraha bagian.

Sabalikna, dina BOF pikeun multi-threading aranjeunna émut ngeunaan mémori non-volatile, aranjeunna ditarik ka bof ieu. Pedro Ramalhete salaku lulugu spesialis, sarta anjeunna ngajelaskeun sagalana ka dulur (dina pondok, memori non-volatile teu anceman ka urang dina mangsa nu bakal datang). Salah sahiji host of bof ieu, ku jalan, éta Vladimir Sitnikov, Anu ngajabat dina komite program sababaraha jumlah gélo konferensi ... sigana kawas lima dina hiji waktu ayeuna. Dina buff salajengna ngeunaan "CS Modern di alam nyata" aranjeunna ogé ngabahas NVM sarta sumping ka ieu sagemblengna sorangan.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Abdi tiasa ngabagikeun super-wawasan anu bahkan anu aub langsung dina carita éta panginten henteu perhatikeun. Eli Gafni dipigawé dina malem dinten mimiti Sakola, sarta poé saterusna anjeunna tetep sarta mimiti trolling Lamport, sarta ti luar eta seemed yén ieu kaulinan sarta Eli éta inadequate. Yén ieu sababaraha jenis troll anu diatur kaluar pikeun kaluar otak Leslie urang. Kanyataanna, kanyataan yén aranjeunna ampir babaturan pangalusna, aranjeunna geus babaturan salila sababaraha taun, sarta ieu ngan banter ramah sapertos. Hartina, lulucon digawé - sakabeh jalma di sabudeureun murag eta, nyandak eta dina nilai nominal.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Kapisah, kuring hoyong perhatikeun sabaraha cinta sareng usaha para panyatur dina ieu. Aya anu nangtung di tempat diskusi dugi ka menit terakhir, ampir sababaraha jam. Istirahat réngsé lila pisan, laporan dimimitian, réngsé, istirahat salajengna dimimitian - na Dmitry Vyukov terus ngajawab patarosan. Carita anu pikaresepeun ogé kajantenan ka kuring - saatos nyandak Cliff Click ku reuwas, kuring henteu ngan ukur nampi katerangan anu jelas sareng masuk akal ngeunaan diskusi provokatif ngeunaan kurangna tés. pikeun sababaraha hal dina H2O, tapi ogé ngagaduhan ulasan lengkep ngeunaan éta basa anyar AA. Kuring henteu kantos naroskeun ieu: Kuring ngan naroskeun naon anu anjeun tiasa baca ngeunaan AA (tétéla anjeun tiasa ngadangukeun podcast), sareng gaganti Cliff nyéépkeun satengah jam ngobrol ngeunaan basa sareng mariksa yén naon anu diomongkeun anjeunna kahartos leres. Hebat. Urang kudu nulis habrapost ngeunaan AA. Pangalaman anu teu biasa nyaéta ningali prosés ulasan pamundut tarik di Kotlin. Ieu sabenerna hiji rarasaan gaib mun anjeun leumpang kana grup diskusi béda, speaker béda, sarta plunged kana dunya anyar sakabeh. Ieu hal dina tingkat "Aya, Aya" ku Radiohead.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Basa Inggris

Hydra 2019 mangrupikeun konperénsi munggaran urang dimana basa utama nyaéta Inggris. Ieu brings duanana kaunggulan na tantangan na. Hiji kaunggulan atra nyaeta jalma teu ngan datang ka konferensi ti Rusia, jadi diantara pamilon bisa papanggih insinyur ti Éropa jeung élmuwan ti Inggris. Panyatur mawa murid-muridna. Sacara umum, panyatur penting gaduh motivasi anu langkung ageung pikeun angkat ka konperénsi sapertos kitu. Bayangkeun yén anjeun panyatur dina konperénsi basa Rusia lengkep: anjeun parantos masihan laporan anjeun, ngabéla daérah diskusi, teras naon? Ngumbara ngurilingan kota sareng ningali tempat wisata? Kanyataanna, speaker bener populér geus katempo cukup sagalana di dunya, maranéhna teu hayang balik ningali singa na drawbridges, aranjeunna bosen. Upami sadaya laporan dina basa Inggris, aranjeunna tiasa ilubiung dina konperénsi sacara umum, senang-senang, gabung di daérah diskusi, sareng sajabana. Suasana rada ramah ka speaker.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Karugian anu écés nyaéta henteu sadayana séhat pikeun komunikasi dina basa Inggris. Loba ngarti ogé, tapi nyarita goréng. Sacara umum, hal biasa anu direngsekeun ku cara béda. Contona, sababaraha wewengkon sawala dimimitian dina basa Rusia, tapi geuwat switched ka Inggris nalika pamilon mimiti Inggris-diomongkeun mucunghul.

Kuring sorangan kedah ngalakukeun bubuka sareng nutup panutupan siaran online sacara éksklusif dina basa Inggris sareng ngiringan sababaraha wawancara sareng para ahli. Sareng ieu mangrupikeun tantangan nyata pikeun kuring anu moal hilap pas. Di sawatara titik Oleg Anastasyev (m0nstermind) ngan ukur nyarios ka kuring cicing sareng aranjeunna salami wawancara, sareng kuring lambat teuing ngartos naon hartosna.

Di sisi anu sanésna, éta pikaresepeun pisan yén jalma-jalma naroskeun patarosan dina laporan kalayan bangor. Henteu ngan ukur panyatur asli, tapi sadayana umumna, éta damel saé. Dina konperénsi anu sanés, sering katingali yén jalma-jalma éra naroskeun patarosan ti pemirsa dina basa Inggris anu rusak, sareng ngan ukur tiasa nyéépkeun hiji hal di daérah diskusi. Ieu sagemblengna béda di dieu. Relatif diomongkeun, sababaraha Cliff Klik réngsé laporan na saeutik saméméhna, sarta sanggeus éta patarosan dituturkeun dina runtuyan kontinyu, paguneman dipindahkeun kana zona sawala - tanpa jeda kagok atawa interruptions. Sami manglaku ka sesi Q&A Leslie Lamport; presenter praktis henteu kedah naroskeun patarosan na, para pamilon sumping sareng sadayana.

Aya sagala rupa hal saeutik anu saeutik urang perhatikeun, tapi aya. Kusabab kanyataan yén konperénsi éta dina basa Inggris, desain hal-hal sapertos leaflet sareng peta langkung hampang sareng langkung ringkes. Teu perlu duplikat basa jeung clutter desain.

Sponsor jeung pameran

Sponsor kami ngabantosan pisan dina nyiptakeun konperénsi éta. Hatur nuhun ka aranjeunna, sok aya anu kedah dilakukeun nalika istirahat.

Dina stand Deutsche Bank TechCenter Anjeun tiasa ngobrol sareng insinyur sistem multi-threaded, ngabéréskeun masalahna kaluar tina sirah anjeun, meunang hadiah anu teu diinget sareng ngan ukur gaduh waktos anu saé.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Dina stand Kontur urang bisa ngobrol ngeunaan sistem sorangan, duanana open source na open source: database di-memori disebarkeun, log binér disebarkeun, sistem orkestrasi microservice, angkutan universal pikeun telemétri, jeung saterusna. Sareng tangtosna, teka-teki sareng kompetisi, stiker sareng ucing binér sareng Abad Pertengahan Penderitaan, hadiah sapertos buku Martin Kleppmann sareng tokoh LEGO.

Perhatikeun yén analisis masalah Kontur geus diterbitkeun dina Habré. Analisis alus, patut katingal.

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

Anu hoyong tiasa mésér sagala jinis buku sareng ngabahas sareng kolega. Sakabeh riungan ngumpul pikeun sési otograpi!

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

hasil

Konférénsi Hydra sareng Sakola SPTDC mangrupikeun acara anu penting pikeun urang salaku perusahaan pangatur sareng pikeun sakumna masarakat. Ieu mangrupikeun kasempetan pikeun ningali masa depan urang, ngamekarkeun kerangka konseptual anu ngahijikeun pikeun ngabahas masalah-masalah modern, sareng ningali langkung caket kana arah anu pikaresepeun. Multithreading parantos lami pisan, tapi peryogi sapuluh taun saatos prosésor multi-inti anu munggaran muncul pikeun fenomena éta nyebar. Anu kami kadéngé dina laporan minggu ieu sanés warta anu sakedap, tapi jalan pikeun masa depan anu cerah anu bakal urang tuturkeun dina taun-taun anu bakal datang. Moal aya spoiler pikeun Hydra salajengna dina tulisan ieu, tapi anjeun tiasa ngarepkeun anu pangsaéna. Upami anjeun resep kana masalah sapertos kieu, anjeun panginten hoyong pariksa acara kami anu sanés, sapertos ceramah konperénsi hardcore Joker 2019 atawa DotNext 2019 Moscow. Ningali anjeun dina konferensi salajengna!

Tilu pamenang Hadiah Dijkstra: kumaha jalanna Hydra 2019 sareng SPTDC 2019

sumber: www.habr.com

Tambahkeun komentar