Baru-baru ini, dari 8 hingga 12 Juli, dua peristiwa penting terjadi secara bersamaan - Konferensi Hydra dan Sekolah SPTDC . Dalam posting ini, saya ingin mencatat beberapa fitur yang kami perhatikan selama konferensi.
Kebanggaan terbesar Hydra and the School adalah para pembicara.
- Tiga pemenang Hadiah Dijkstra : Leslie Lamport, Maurice Herlihy dan Michael Scott. Dan Maurice mendapatkannya sebanyak dua kali. Leslie Lampport juga menerima Turing Award - penghargaan ACM paling bergengsi dalam ilmu komputer;
- Pencipta Java JIT compiler adalah Cliff Click;
- Pengembang Corutin - Roman Elizarov ( elizarov ) dan Nikita Koval ( ndkoval ) untuk Kotlin, dan Dmitry Vyukov untuk Go;
- Kontributor di Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Basis Data Yandex (Semyon Checherinda dan Vladislav Kuznetsov);
- Dan banyak orang terkenal lainnya: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model memori C ++), Pedro Ramalhete (struktur data tunggu gratis), Alexey Zinoviev (ML), Dmitry Bugaychenko (analisis grafik).
Dan ini adalah Sekolah :
- Universitas Brown (Maurice Herlihy),
- Universitas Rochester (Michael Scott),
- Universitas Waterlu (Trevor Brown),
- Universitas Nantes (Achour Mostefaoui),
- Universitas Negev David Ben-Gurion (Danny Hendler),
- Universitas California, Los Angeles (Eli Gafni),
- Institut polytechnique de Paris (Petr Kuznetsov),
- Penelitian Microsoft (Leslie Lamport),
- Penelitian VMware (Ittai Abraham).
Teori dan Praktek, Sains dan Produksi
Biarkan saya mengingatkan Anda bahwa SPTDC School adalah acara kecil untuk satu setengah ratus orang, tokoh-tokoh kelas dunia berkumpul di sana dan berbicara tentang masalah-masalah modern di bidang komputasi terdistribusi. Hydra adalah konferensi komputasi terdistribusi dua hari yang diadakan secara paralel. Di Hydra, fokusnya lebih pada teknik, dan di Sekolah - lebih ilmiah.
Salah satu tujuan konferensi Hydra adalah menggabungkan ilmu pengetahuan dan teknik. Di satu sisi, ini dicapai dengan memilih laporan dalam program: bersama dengan Lamport, Herliha dan Scott, ada lebih banyak laporan yang diterapkan oleh Alex Petrov, yang berkontribusi pada Cassandra, atau Roman Elizarov dari JetBrains. Ada Martin Kleppman, yang dulu membuat dan menjual startup, dan sekarang dia sedang belajar CRDT di Universitas Cambridge. Tetapi triknya adalah Hydra dan SPTDC berjalan berdampingan - mereka memiliki laporan berbeda, tetapi tempat yang umum untuk komunikasi.
Pencelupan
Lima hari sekolah berturut-turut adalah acara yang sangat besar dan beban besar bagi peserta dan penyelenggara. Tidak semua telah mencapai hari-hari terakhir. Ada orang-orang yang pergi ke Hydra dan Sekolah pada saat yang sama, dan bagi mereka hari-hari terakhir adalah yang paling penting. Semua keributan ini diimbangi dengan penyelaman yang sangat dalam. Ini tidak hanya disebabkan oleh volume, tetapi juga karena kualitas bahannya. Semua laporan dan kuliah di kedua acara itu tidak direncanakan untuk menjadi perkenalan, jadi ke mana pun Anda pergi, Anda langsung menyelam jauh dan dalam, dan Anda tidak akan dilepaskan sampai akhir.
Tentu saja, banyak tergantung pada persiapan awal peserta. Ada momen lucu ketika dua kelompok orang di koridor membahas secara independen laporan Heidi Howard: yang satu tampak sangat biasa, sementara yang lain, sebaliknya, berpikir keras tentang kehidupan. Sangat menarik bahwa menurut pernyataan (yang ingin tetap anonim) dari para peserta komite program, laporan Hydra dan ceramah-ceramah Sekolah di acara-acara mereka dapat didiskualifikasi. Misalnya, jika seorang junior PHP datang untuk belajar di konferensi PHP, itu agak ceroboh untuk menganggap bahwa ia memiliki pengetahuan yang mendalam tentang internal Zend Engine. Di sini, para pembicara tidak menyendok Jones, tetapi segera menyiratkan tingkat pengetahuan dan pemahaman tertentu. Ya, memang, para peserta yang mengoperasikan sistem terdistribusi dan menulis kernel runtime memiliki level yang sangat tinggi, ini logis. Dilihat dari reaksi para peserta, cukup mudah untuk memilih laporan tentang level dan topik.
Berbicara tentang laporan spesifik, semuanya bagus dalam hal mereka. Dilihat oleh apa yang dikatakan orang dan apa yang terlihat oleh formulir umpan balik, struktur data Nonblocking Michael Scott ternyata menjadi salah satu laporan paling keren, ia hanya merobek semua orang, ia memiliki peringkat anomali 4,9.
Jauh sebelum dimulainya Hydra dan Sekolah, Ruslan ARG89 mengasumsikan bahwa itu akan menjadi semacam "metaconference" - sebuah konferensi konferensi, di mana semua peserta top dari acara lain akan secara otomatis menyeret diri mereka seperti lubang hitam. Dan begitulah yang terjadi! Misalnya, di antara siswa Sekolah, Ruslan Cheremin dari DeutscheBank, seorang spesialis multithreading terkenal, diperhatikan.
Dan di antara peserta Hydra, Vadim Tsesko ( incubos ) dan Andrey Pangin ( apangin ) dari Odnoklassniki terlihat. (Pada saat yang sama, Vadim juga membantu kami melakukan dua wawancara yang sangat baik dengan Martin Kleppman - satu untuk Habr dan yang lainnya untuk pemirsa siaran online). Ada anggota komite program DotNext , pembicara terkenal Anatoly Kulakov dan Igor Labutin. Di antara orang Jawa adalah Dmitry Alexandrov dan Vladimir Ivanov . Biasanya Anda melihat orang-orang ini di tempat yang sangat berbeda - afiliasi di DotNext, Javists di Joker dan sebagainya. Dan sekarang mereka duduk berdampingan dalam laporan Hydra dan mendiskusikan masalah bersama. Ketika pembagian yang sedikit artifisial ini ke dalam bahasa dan teknologi pemrograman menghilang, fitur-fitur dari area subjek menjadi jelas: spesialis runtime dinamis berkomunikasi dengan runtimer lain, peneliti dalam teori komputasi terdistribusi berdebat panas dengan peneliti lain, insinyur mesin database memadati papan penanda, dan sebagainya.
Pengembang OpenJDK berada di garis depan dari laporan model memori C ++ (setidaknya saya mengenal mereka dari pandangan, tetapi tidak ada pythonists, mungkin pythonists juga ada di sana). Faktanya, ada sesuatu yang dilakukan Shipilev tentang laporan ini ... Ori tidak mengatakan hal yang persis sama, tetapi pandangan yang cermat dapat mengungkapkan kesamaan. Bahkan setelah semua yang terjadi dalam standar C ++ terbaru, masalah seperti dari nilai udara tipis tidak diperbaiki, dan sehingga Anda bisa pergi ke laporan seperti itu dan mendengarkan bagaimana orang-orang "di sisi lain dari barikade" berusaha untuk memperbaiki masalah ini, karena mereka beralasan, orang dapat terkesan dengan pendekatan terhadap solusi yang ditemukan (Ori memiliki salah satu perbaikan).
Ada banyak peserta di komite program dan mesin komunitas. Semua menyelesaikan masalah antaragama mereka, membangun jembatan, ditumbuhi ikatan. Saya menggunakan ini di mana saya bisa, dan, misalnya, kami sepakat dengan Alexander Borgardt dari Moscow C ++ User Group untuk menulis artikel lengkap tentang aktor dan sinkronisasi di C ++ bersama-sama.
Dalam foto: Leonid Talalayev ( ltalal , kiri) dan Oleg Anastasiev ( m0nstermind , kanan), pengembang terkemuka di Odnoklassniki
Zona dan bof diskusi yang berapi-api
Di konferensi, selalu ada peserta yang mengetahui subjek bersama dengan pembicara (dan kadang-kadang lebih baik daripada pembicara - misalnya, ketika di antara peserta pengembang inti dari teknologi geli). Ada banyak peserta yang sangat berpengalaman di Hydra. Sebagai contoh, di beberapa titik di sekitar Alex Petrov, berbicara tentang Cassandra , begitu banyak orang terbentuk sehingga dia tidak bisa menjawab semua orang. Pada suatu titik, Alex dengan mulus didorong ke samping dan mulai merobek-robek pertanyaan, tetapi bendera yang jatuh diambil oleh Tyler Neely, yang dikenal di kalangan pengembang Rust, dan dengan sempurna menyeimbangkan beban. Ketika saya meminta bantuan Tyler dengan wawancara online, dia hanya bertanya: "Kapan kita mulai?"
Kadang-kadang, semangat yang dapat diperdebatkan bahkan masuk ke dalam laporan: Nikita Koval mengatur sesi tanya jawab secara mendadak, membagi laporan menjadi beberapa bagian.
Dan sebaliknya, di BOF kita mengingat multithreading tentang memori non-volatile, menyeret Pedro Ramalhete ke bof ini sebagai spesialis utama, dan dia menjelaskan semuanya kepada semua orang (singkatnya, memori non-volatile tidak mengancam kita dalam waktu dekat). Ngomong-ngomong, Vladimir Sitnikov , yang berpartisipasi dalam komite program dari sejumlah konferensi gila, adalah salah satu pemimpin dari dewan ini ... tampaknya sekarang ini adalah lima bagian sekaligus. Di stan terdekat tentang "CS Modern di dunia nyata" NVM juga dibahas dan sampai pada hal ini sepenuhnya independen.
Saya dapat membagikan orang dalam super yang bahkan peserta langsung dalam cerita tersebut tidak dapat melihatnya. Eli Gafni tampil pada malam hari hari pertama Sekolah, dan hari berikutnya dia tinggal dan mulai mengendalikan Lamport, dan dari samping sepertinya ini adalah permainan dan Eli tidak cukup. Bahwa ini semacam troll yang meminta untuk mengeluarkan otak Leslie. Faktanya, fakta bahwa mereka hampir merupakan sahabat telah bertahun-tahun menjadi teman, dan ini hanya lelucon ramah. Artinya, lelucon itu berhasil - seluruh orang di sekitarnya mengambilnya, menerimanya begitu saja.
Saya juga ingin mencatat berapa banyak cinta dan energi yang diberikan pembicara. Seseorang berdiri di area diskusi sampai yang terakhir, hampir berjam-jam. Istirahat telah lama berakhir, laporan dimulai, berakhir, istirahat berikutnya dimulai - dan Dmitry Vyukov terus menjawab pertanyaan. Sebuah kisah menarik terjadi pada saya juga - menangkap Cliff Click secara mengejutkan, saya menerima tidak hanya penjelasan yang jelas dan masuk akal untuk diskusi provokatif tentang kurangnya tes untuk hal-hal tertentu dalam H2O , tetapi saya juga mendapat gambaran lengkap tentang bahasa AA barunya . Saya tidak pernah menanyakan ini: Saya hanya bertanya apa yang dapat Anda baca tentang AA (ternyata Anda dapat mendengarkan podcast ), dan sebagai gantinya, Cliff menghabiskan setengah jam untuk berbicara tentang bahasa tersebut dan memverifikasi bahwa apa yang dikatakan dipahami dengan benar. Luar biasa Perlu untuk menulis tentang AA. Pengalaman lain yang tidak biasa adalah mengamati proses peninjauan permintaan tarik di Kotlin. Ini benar-benar perasaan yang ajaib - ketika Anda pergi ke kelompok diskusi yang berbeda, untuk pembicara yang berbeda dan terjun ke dunia yang sama sekali baru. Ini adalah sesuatu dari level "Di Sana, Di Sana" dari Radiohead .
Bahasa inggris
Hydra 2019 adalah konferensi pertama kami di mana bahasa utamanya adalah bahasa Inggris. Ini membawa kelebihan dan kesulitannya. Nilai tambah yang jelas adalah bahwa orang-orang dari Rusia tidak hanya datang ke konferensi, jadi di antara peserta Anda dapat bertemu insinyur dari Eropa dan ilmuwan dari Inggris. Para pembicara membawa murid-murid mereka. Secara umum, pembicara penting memiliki lebih banyak motivasi untuk menghadiri konferensi semacam itu. Bayangkan Anda adalah pembicara di konferensi yang sepenuhnya berbahasa Rusia: di sini Anda telah memberi kuliah tentang laporan Anda, membela area diskusi, dan kemudian apa? Berkeliling kota dan menonton tempat-tempat wisata? Bahkan, penutur yang benar-benar populer telah melihat cukup banyak hal di dunia, mereka tidak ingin pergi untuk melihat singa dan jembatan gantung, mereka bosan. Jika semua laporan dalam bahasa Inggris, mereka dapat berpartisipasi dalam konferensi dengan dasar yang sama, bersenang-senang, bergabung dengan zona diskusi, dan sebagainya. Suasananya cukup bersahabat terhadap speaker.
Kekurangan yang jelas adalah bahwa tidak semua orang nyaman berbicara dalam bahasa Inggris. Banyak yang mengerti dengan baik, tetapi berbicara dengan buruk. Secara umum, hal-hal biasa yang diputuskan berbeda. Misalnya, beberapa zona diskusi dimulai dalam bahasa Rusia, tetapi langsung beralih ke bahasa Inggris ketika peserta berbahasa Inggris pertama kali muncul.
Saya sendiri harus melakukan pembukaan dan penutupan inklusi siaran online secara eksklusif dalam bahasa Inggris dan berpartisipasi dalam beberapa wawancara dengan para ahli. Dan bagi saya itu adalah tantangan nyata yang tidak akan segera terlupakan. Pada titik tertentu, Oleg Anastasiev ( m0nstermind ) hanya mengatakan bahwa saya harus tinggal bersama mereka untuk wawancara, dan saya terlalu lambat memahami apa artinya ini.
Di sisi lain, sangat menyenangkan bahwa orang-orang di laporan mengajukan pertanyaan dengan keras. Tidak hanya penutur asli, tetapi secara umum semuanya, itu bekerja dengan baik. Di konferensi lain, sering terlihat bahwa orang-orang malu untuk mengajukan pertanyaan dari penonton dalam bahasa Inggris yang rusak, dan dapat memeras sesuatu dari diri mereka sendiri hanya di area diskusi. Benar-benar salah di sini. Secara relatif, beberapa Cliff Click menyelesaikan laporan sedikit lebih awal, dan setelah itu pertanyaan berlanjut secara berurutan, percakapan berlanjut ke area diskusi - tanpa jeda dan istirahat yang canggung. Hal yang sama berlaku untuk sesi tanya jawab Leslie Lamport, tuan rumah praktis tidak harus mengajukan pertanyaan, para peserta datang dengan segalanya.
Ada segala macam hal kecil yang sedikit diperhatikan orang, tetapi ternyata memang demikian. Karena kenyataan bahwa konferensi ini berbahasa Inggris, desain hal-hal seperti selebaran dan kartu lebih mudah dan lebih ringkas. Tidak perlu menduplikasi bahasa dan mengacaukan desain.
Sponsor kami banyak membantu dalam menciptakan konferensi. Berkat mereka, selalu ada sesuatu untuk dilakukan saat istirahat.
Di stan TechCenter Deutsche Bank, orang dapat berbicara dengan insinyur sistem multi-threaded, memecahkan masalah mereka "dari kepala", memenangkan hadiah yang berkesan dan hanya bersenang-senang.
Di stand Contour, seseorang dapat berbicara tentang sistem mereka sendiri, baik sumber terbuka maupun sumber terbuka: basis data dalam memori terdistribusi, log biner terdistribusi, sistem orkestrasi layanan-mikro, transportasi universal untuk telemetri, dan sebagainya. Dan tentu saja, teka-teki dan kontes, stiker dengan kucing biner dan Abad Pertengahan yang Menderita, hadiah seperti buku karya Martin Kleppman dan tokoh LEGO.
Perhatikan bahwa analisis tugas Kontur sudah diterbitkan di Habré . Analisisnya bagus, patut dilihat.
Mereka yang berminat bisa membeli semua jenis buku, mendiskusikannya dengan kolega. Seluruh kerumunan berkumpul untuk sesi tanda tangan!
Ringkasan
Hydra Conference dan SPTDC School adalah acara yang sangat penting bagi kami sebagai perusahaan penyelenggara dan bagi seluruh masyarakat. Ini adalah kesempatan untuk melihat masa depan kita, untuk mengembangkan alat konseptual tunggal untuk membahas masalah modern, untuk melihat arah yang menarik. Multithreading muncul sejak lama, tetapi setelah prosesor multi-core pertama benar-benar muncul, butuh satu dekade penuh untuk fenomena tersebut menyebar luas. Apa yang kami dengar di laporan minggu ini bukanlah berita singkat, tetapi jalan menuju masa depan yang lebih cerah yang akan kita ikuti di tahun-tahun mendatang. Tidak akan ada spoiler untuk Hydra berikutnya di pos ini, tetapi Anda bisa berharap yang terbaik. Jika Anda tertarik dengan masalah seperti itu, Anda mungkin ingin memperhatikan acara kami yang lain, seperti presentasi hardcore di konferensi Joker 2019 atau DotNext 2019 Moscow . Temui saya di konferensi berikutnya!
