Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Terbaru, dari 8 hingga 12 Julai, dua peristiwa penting berlaku serentak - persidangan itu Hydra dan sekolah SPTDC. Dalam catatan ini saya ingin menyerlahkan beberapa ciri yang kami perhatikan semasa persidangan itu.

Kebanggaan terbesar Hydra dan Sekolah ialah penceramah.

  • Tiga pemenang Hadiah Dijkstra: Leslie Lamport, Maurice Herlihy dan Michael Scott. Lebih-lebih lagi, Maurice menerimanya dua kali. Leslie Lamport juga menerima Anugerah Turing β€” anugerah ACM paling berprestij dalam sains komputer;
  • Pencipta pengkompil Java JIT ialah Cliff Click;
  • Pembangun Corutin - Roman Elizarov (elizarov) dan Nikita Koval (ndkoval) untuk Kotlin, dan Dmitry Vyukov untuk Go;
  • Penyumbang kepada Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Pangkalan Data Yandex (Semyon Checherinda dan Vladislav Kuznetsov);
  • Dan ramai lagi orang terkenal: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model memori C++), Pedro Ramalhete (struktur data tanpa menunggu), Alexey Zinoviev (ML), Dmitry Bugaichenko (analisis graf).

Dan ini sudah Sekolah:

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

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Teori dan amalan, sains dan pengeluaran

Izinkan saya mengingatkan anda bahawa Sekolah SPTDC ialah acara kecil untuk satu setengah ratus orang; tokoh-tokoh bertaraf dunia berkumpul di sana dan bercakap tentang isu-isu moden dalam bidang pengkomputeran teragih. Hydra ialah persidangan pengkomputeran edaran dua hari yang diadakan secara selari. Hydra mempunyai lebih tumpuan kejuruteraan, manakala Sekolah mempunyai tumpuan yang lebih saintifik.

Salah satu matlamat persidangan Hydra adalah untuk menggabungkan prinsip saintifik dan kejuruteraan. Di satu pihak, ini dicapai dengan pemilihan laporan dalam program: bersama Lamport, Herlihy dan Scott, terdapat lebih banyak laporan yang digunakan oleh Alex Petrov, yang menyumbang kepada Cassandra, atau Roman Elizarov dari JetBrains. Terdapat Martin Kleppman, yang pernah membina dan menjual syarikat pemula dan kini sedang belajar CRDT di Universiti Cambridge. Tetapi perkara yang menarik ialah Hydra dan SPTDC dipegang sebelah menyebelah - mereka mempunyai laporan yang berbeza, tetapi tempat biasa untuk komunikasi.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Rendaman

Lima hari Sekolah berturut-turut adalah acara yang sangat besar dan banyak beban kerja, baik untuk peserta mahupun penganjur. Tidak semua orang berjaya sampai ke hari-hari terakhir. Terdapat mereka yang pergi ke Hydra dan Sekolah pada masa yang sama, dan bagi mereka hari-hari terakhir ternyata menjadi yang paling penting. Semua kekecohan ini diimbangi oleh rendaman yang sangat dalam. Ini bukan sahaja disebabkan oleh kelantangan, tetapi juga oleh kualiti bahan. Semua laporan dan kuliah di kedua-dua acara tidak dirancang untuk menjadi pengenalan, jadi ke mana sahaja anda pergi, anda segera menyelam jauh dan dalam, dan anda tidak dilepaskan sehingga akhir.

Sudah tentu, banyak bergantung kepada persiapan awal peserta. Terdapat detik lucu apabila dua kumpulan orang di koridor secara bebas membincangkan laporan Heidi Howard: bagi sesetengah orang ia kelihatan seperti biasa, manakala yang lain, sebaliknya, memikirkan secara mendalam tentang kehidupan. Adalah menarik bahawa menurut peserta jawatankuasa program (yang ingin kekal tanpa nama), laporan Hydra dan syarahan Sekolah pada acara mereka boleh terlebih layak. Sebagai contoh, jika seorang junior PHP datang ke persidangan PHP untuk mempelajari kehidupan, agak terburu-buru untuk menganggap bahawa dia mempunyai pengetahuan mendalam tentang dalaman Zend Engine. Di sini, penceramah tidak memberi makan kepada junior, tetapi dengan serta-merta menyiratkan tahap pengetahuan dan pemahaman tertentu. Memang, tahap peserta yang mengendalikan sistem teragih dan menulis kernel runtime adalah sangat tinggi, ini adalah logik. Melihat kepada reaksi peserta, agak mudah untuk memilih laporan berdasarkan tahap dan topik.

Jika kita bercakap tentang laporan tertentu, semuanya bagus dengan cara mereka sendiri. Berdasarkan apa yang orang katakan dan apa yang boleh dilihat daripada borang maklum balas, salah satu laporan paling hebat di Sekolah ialah "Struktur data tidak menyekat" Michael Scott, dia hanya mengoyakkan semua orang, dia mempunyai rating tidak normal sekitar 4.9.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Metaconference

Jauh sebelum bermulanya Hydra and the School, Ruslan ARG89 mengandaikan bahawa akan ada beberapa jenis "konferensi meta" - persidangan persidangan, di mana semua peserta teratas acara lain akan disedut secara automatik ke dalamnya, seolah-olah ke dalam lubang hitam. Dan begitulah ia berlaku! Sebagai contoh, di kalangan pelajar Sekolah itu diperhatikan Ruslan Cheremin daripada DeutscheBank, pakar terkenal dalam multithreading.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Dan ahli Hydra diperhatikan Vadim Tsesko (incubos) Dan Andrey Pangin (apanin) daripada syarikat Odnoklassniki. (Pada masa yang sama, Vadim juga membantu kami melakukan dua temu bual yang sangat baik dengan Martin Kleppman - satu untuk Habr, dan satu lagi untuk penonton siaran dalam talian). Terdapat ahli AJK Program DotNext, penceramah terkenal Anatoly Kulakov dan Igor Labutin. Daripada Javist ada Dmitry Alexandrov ΠΈ Vladimir Ivanov. Biasanya anda melihat orang ini di tempat yang sama sekali berbeza - dotnetists di DotNext, javaists di Joker, dan sebagainya. Oleh itu, mereka duduk bersebelahan di laporan Hydra dan bersama-sama membincangkan masalah mengenai peminat. Apabila pembahagian yang agak buatan ke dalam bahasa pengaturcaraan dan teknologi ini hilang, ciri-ciri kawasan subjek muncul: pakar masa jalan dinamik berkomunikasi dengan runtimer lain, penyelidik teori pengkomputeran teragih berdebat sengit dengan penyelidik lain, jurutera enjin pangkalan data memenuhi papan putih, dan sebagainya. .

Pada laporan itu mengikut model memori C++ pembangun OpenJDK duduk di barisan hadapan (sekurang-kurangnya saya mengenali mereka dengan melihat, tetapi bukan Pythonists, mungkin Pythonists juga berada di sana). Malah, terdapat sesuatu yang sangat Shipilevsky dalam laporan ini... Ori tidak memberitahu perkara yang sama, tetapi pandangan yang teliti dapat mengesan persamaan. Walaupun selepas semua yang berlaku dalam piawaian C++ terkini, masalah seperti kehabisan nilai udara masih belum diperbaiki, jadi anda boleh pergi ke laporan sedemikian dan mendengar bagaimana orang "di seberang penghadang" cuba menyelesaikan masalah ini, Seperti yang mereka fikirkan, seseorang mungkin kagum dengan pendekatan penyelesaian yang ditemui (Ori mempunyai salah satu pilihan pembetulan).

Terdapat ramai peserta dalam jawatankuasa program dan enjin komuniti. Semua orang menyelesaikan masalah antara agama mereka, membina jambatan, dan memperoleh sambungan. Saya menggunakan ini di mana sahaja saya boleh, dan, sebagai contoh, kami bersetuju dengan Alexander Borgardt dari Kumpulan Pengguna C++ Moscow bersama-sama tulis artikel berskala penuh tentang pelakon dan asynchrony dalam C++.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Dalam foto: Leonid Talalaev (ltalal, kiri) dan Oleg Anastasyev (m0nstermind, kanan), pembangun terkemuka di Odnoklassniki

Zon perbincangan kebakaran dan peminat

Di persidangan sentiasa ada peserta yang mengetahui subjek serta penceramah (dan kadang-kadang lebih baik daripada penceramah - contohnya, apabila pembangun teras beberapa teknologi berada di kalangan peserta). Terdapat ramai peserta yang sangat pakar mengenai Hydra. Sebagai contoh, pada satu ketika di sekitar Alex Petrov memberitahu soal Cassandra, begitu ramai orang membentuk sehingga dia tidak dapat menjawab semua orang. Pada satu ketika, Alex dengan lancar ditolak ke tepi dan mula dikoyakkan dengan soalan, tetapi bendera yang jatuh telah diambil oleh pembangun Rust yang terkenal dalam kalangan Tyler Neely dan mengimbangi beban dengan sempurna. Apabila saya meminta bantuan Tyler untuk temu duga dalam talian, apa yang dia tanya ialah, "Bila kita mula?"

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Ada kalanya, semangat perbincangan juga menyerlah ke dalam laporan: Nikita Koval menganjurkan sesi Soal Jawab secara tiba-tiba, membahagikan laporan itu kepada beberapa bahagian.

Dan sebaliknya, pada BOF untuk multi-threading mereka teringat tentang memori yang tidak menentu, mereka tertarik kepada bof ini Pedro Ramalhete sebagai ketua pakar, dan dia menerangkan segala-galanya kepada semua orang (pendek kata, ingatan yang tidak menentu bukanlah ancaman kepada kami dalam masa terdekat). Salah seorang tuan rumah bof ini, dengan cara itu, ialah Vladimir Sitnikov, yang berkhidmat dalam jawatankuasa program beberapa persidangan gila... nampaknya seperti lima pada satu masa sekarang. Pada peminat seterusnya tentang "CS Moden dalam dunia nyata" mereka juga membincangkan NVM dan melakukannya sendiri sepenuhnya.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Saya boleh berkongsi pandangan hebat yang walaupun mereka yang terlibat secara langsung dalam cerita itu mungkin tidak perasan. Eli Gafni membuat persembahan pada petang hari pertama Sekolah, dan keesokan harinya dia tinggal dan mula mengintai Lamport, dan dari luar nampaknya ini adalah permainan dan Eli tidak mencukupi. Bahawa ini adalah sejenis troll yang cuba mengeluarkan otak Leslie. Malah, hakikatnya mereka hampir berkawan baik, mereka telah berkawan selama bertahun-tahun, dan ini hanyalah gurauan mesra. Iaitu, jenaka itu berkesan - semua orang di sekeliling jatuh cinta, mengambilnya pada nilai muka.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Secara berasingan, saya ingin ambil perhatian betapa besarnya kasih sayang dan usaha penceramah dalam hal ini. Seseorang berdiri di kawasan perbincangan sehingga saat akhir, hampir berjam-jam. Rehat berakhir lama dahulu, laporan bermula, berakhir, rehat seterusnya bermula - dan Dmitry Vyukov terus menjawab soalan. Kisah menarik juga berlaku kepada saya - setelah mengejutkan Cliff Click, saya bukan sahaja menerima penjelasan yang jelas dan munasabah tentang perbincangan provokatif itu tentang kekurangan ujian untuk perkara tertentu dalam H2O, tetapi juga mendapat ulasan penuh tentangnya bahasa baharu AA. Saya tidak pernah meminta ini: Saya hanya bertanya apa yang anda boleh baca tentang AA (ternyata anda boleh mendengar podcast), dan sebaliknya Cliff menghabiskan setengah jam bercakap tentang bahasa itu dan memeriksa sama ada apa yang dia katakan itu difahami dengan betul. Hebat. Kita perlu menulis habrapost tentang AA. Satu lagi pengalaman luar biasa ialah menonton proses semakan permintaan tarik di Kotlin. Ia benar-benar satu perasaan yang ajaib apabila anda masuk ke dalam kumpulan perbincangan yang berbeza, penceramah yang berbeza, dan terjun ke dunia baharu. Ini adalah sesuatu di peringkat "Di sana, di sana" oleh Radiohead.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Bahasa Inggeris

Hydra 2019 ialah persidangan pertama kami di mana bahasa utamanya ialah bahasa Inggeris. Ini membawa kedua-dua kelebihan dan cabarannya. Kelebihan yang jelas ialah orang bukan sahaja datang ke persidangan itu dari Rusia, jadi di kalangan peserta anda boleh bertemu jurutera dari Eropah dan saintis dari England. Penceramah membawa pelajar mereka. Secara umum, penceramah penting mempunyai lebih banyak motivasi untuk pergi ke persidangan sedemikian. Bayangkan anda seorang penceramah di persidangan berbahasa Rusia sepenuhnya: anda telah memberikan laporan anda, mempertahankan kawasan perbincangan, dan kemudian apa? Mengembara di sekitar bandar dan melihat tempat pelancongan? Malah, penceramah yang benar-benar popular sudah cukup melihat segala-galanya di dunia, mereka tidak mahu pergi melihat singa dan jambatan tarik, mereka bosan. Jika semua laporan dalam bahasa Inggeris, mereka boleh mengambil bahagian dalam persidangan secara umum, berseronok, menyertai kawasan perbincangan, dan sebagainya. Suasana agak mesra terhadap penceramah.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Kelemahan yang jelas ialah tidak semua orang selesa berkomunikasi dalam bahasa Inggeris. Ramai yang memahami dengan baik, tetapi bercakap buruk. Secara umum, perkara biasa yang diselesaikan dengan cara yang berbeza. Sebagai contoh, beberapa kawasan perbincangan bermula dalam bahasa Rusia, tetapi segera bertukar kepada bahasa Inggeris apabila peserta pertama berbahasa Inggeris muncul.

Saya sendiri terpaksa membuat kemasukan pembukaan dan penutupan siaran dalam talian secara eksklusif dalam bahasa Inggeris dan mengambil bahagian dalam beberapa temu bual dalam rekod dengan pakar. Dan ini adalah cabaran sebenar bagi saya yang tidak akan dilupakan tidak lama lagi. Pada satu ketika Oleg Anastasyev (m0nstermind) hanya memberitahu saya untuk terus duduk bersama mereka semasa temu duga, dan saya terlalu lambat untuk memahami maksudnya.

Sebaliknya, sangat menggembirakan apabila orang ramai bertanya soalan di laporan itu dengan tergesa-gesa. Bukan sahaja penutur asli, tetapi semua orang secara umum, ia berfungsi dengan baik. Di persidangan lain, sering dilihat orang ramai berasa malu untuk bertanya soalan daripada penonton dalam bahasa Inggeris yang rosak, dan hanya boleh memerah sesuatu di kawasan perbincangan. Ini berbeza sama sekali di sini. Secara relatifnya, beberapa Cliff Click menyelesaikan laporannya lebih awal sedikit, dan selepas itu soalan-soalan diikuti dalam urutan yang berterusan, perbualan berpindah ke zon perbincangan - tanpa jeda atau gangguan yang janggal. Perkara yang sama berlaku untuk sesi Soal Jawab Leslie Lamport; penyampai praktikal tidak perlu bertanya soalannya, para peserta datang dengan segala-galanya.

Terdapat pelbagai perkara kecil yang tidak ramai orang perasan, tetapi ia wujud. Oleh kerana persidangan itu dalam bahasa Inggeris, reka bentuk perkara seperti risalah dan peta adalah lebih ringan dan ringkas. Tidak perlu menduplikasi bahasa dan mengacaukan reka bentuk.

Penaja dan pameran

Penaja kami banyak membantu kami dalam mencipta persidangan itu. Terima kasih kepada mereka, sentiasa ada sesuatu untuk dilakukan semasa rehat.

Di gerai Deutsche Bank TechCenter anda boleh berbual dengan jurutera sistem berbilang benang, menyelesaikan masalah mereka di luar kepala anda, memenangi hadiah yang tidak dapat dilupakan dan hanya bersenang-senang.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Di gerai Kontur kita boleh bercakap tentang sistem mereka sendiri, kedua-dua sumber terbuka dan terbuka: pangkalan data dalam memori yang diedarkan, log binari teragih, sistem orkestrasi perkhidmatan mikro, pengangkutan universal untuk telemetri, dan sebagainya. Dan sudah tentu, teka-teki dan pertandingan, pelekat dengan kucing binari dan Zaman Pertengahan Menderita, hadiah seperti buku Martin Kleppmann dan angka LEGO.

Sila ambil perhatian bahawa analisis masalah Kontur sudah ada diterbitkan di HabrΓ©. Analisis yang baik, patut dilihat.

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Mereka yang ingin boleh membeli semua jenis buku dan membincangkannya dengan rakan sekerja. Seluruh orang ramai berkumpul untuk sesi autograf!

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Keputusan

Persidangan Hydra dan Sekolah SPTDC adalah acara yang sangat penting bagi kami sebagai syarikat penganjur dan untuk seluruh komuniti. Ini adalah peluang untuk melihat masa depan kita, membangunkan rangka kerja konsep yang bersatu untuk membincangkan masalah moden, dan melihat dengan lebih dekat arah yang menarik. Multithreading telah wujud sejak sekian lama, tetapi ia mengambil masa sedekad selepas pemproses berbilang teras yang pertama muncul untuk fenomena itu tersebar luas. Apa yang kami dengar pada laporan minggu ini bukanlah berita sekejap, tetapi jalan menuju masa depan yang cerah yang akan kami ikuti pada tahun-tahun mendatang. Tidak akan ada sebarang spoiler untuk Hydra seterusnya dalam siaran ini, tetapi anda boleh mengharapkan yang terbaik. Jika anda berminat dengan isu seperti ini, anda mungkin ingin melihat acara kami yang lain, seperti ceramah persidangan tegar Joker 2019 atau DotNext 2019 Moscow. Jumpa anda di persidangan akan datang!

Tiga pemenang Hadiah Dijkstra: bagaimana perjalanan Hydra 2019 dan SPTDC 2019

Sumber: www.habr.com

Tambah komen