Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Baru-baru ini, dari tanggal 8 hingga 12 Juli, dua peristiwa penting terjadi secara bersamaan - konferensi Ular naga dan sekolah SPTDC. Dalam postingan ini saya ingin menyoroti beberapa fitur yang kami perhatikan selama konferensi.

Kebanggaan terbesar Hydra dan Sekolah adalah para pembicaranya.

  • Tiga pemenang Hadiah Dijkstra: Leslie Lamport, Maurice Herlihy dan Michael Scott. Apalagi Maurice menerimanya dua kali. Leslie Lamport juga menerimanya Penghargaan Turing β€” penghargaan ACM paling bergengsi dalam ilmu komputer;
  • Pencipta kompiler Java JIT adalah Cliff Click;
  • Pengembang Corutin - Roman Elizarov (Elizarov) dan Nikita Koval (ndkoval) untuk Kotlin, dan Dmitry Vyukov untuk Go;
  • Kontributor Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Database 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 bebas tunggu), Alexei Zinoviev (ML), Dmitry Bugaichenko (analisis grafik).

Dan ini sudah menjadi Sekolah:

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

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Teori dan praktik, sains dan produksi

Izinkan saya mengingatkan Anda bahwa Sekolah SPTDC adalah acara kecil untuk satu setengah ratus orang; tokoh-tokoh kelas dunia berkumpul di sana dan membicarakan isu-isu modern di bidang komputasi terdistribusi. Hydra adalah konferensi komputasi terdistribusi selama dua hari yang diadakan secara paralel. Hydra lebih fokus pada teknik, sedangkan Sekolah lebih fokus pada ilmiah.

Salah satu tujuan konferensi Hydra adalah untuk menggabungkan prinsip-prinsip ilmiah dan teknik. Di satu sisi, hal ini dicapai melalui pemilihan laporan dalam program: bersama dengan Lamport, Herlihy dan Scott, ada lebih banyak laporan terapan oleh Alex Petrov, yang berkontribusi pada Cassandra, atau Roman Elizarov dari JetBrains. Ada Martin Kleppman, yang pernah membangun dan menjual startup dan kini sedang mempelajari CRDT di Universitas Cambridge. Namun yang keren adalah Hydra dan SPTDC diadakan berdampingan - mereka memiliki laporan yang berbeda, tetapi merupakan tempat komunikasi yang sama.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Pencelupan

Lima hari Sekolah berturut-turut merupakan peristiwa yang sangat besar dan membebani banyak pihak, baik bagi peserta maupun penyelenggara. Tidak semua orang berhasil mencapai hari-hari terakhir. Ada orang-orang yang pergi ke Hydra dan Sekolah pada waktu yang sama, dan bagi mereka hari-hari terakhir ternyata menjadi hari yang paling penting. Semua keributan ini diimbangi dengan pencelupan yang sangat dalam. Hal ini tidak hanya disebabkan oleh volumenya, tetapi juga karena kualitas bahannya. Semua laporan dan ceramah di kedua acara tersebut tidak direncanakan sebagai perkenalan, jadi kemanapun Anda pergi, Anda langsung menyelam jauh dan dalam, dan Anda tidak dilepaskan sampai akhir.

Tentu saja, banyak tergantung pada persiapan awal peserta. Ada momen lucu ketika dua kelompok orang di koridor secara mandiri mendiskusikan laporan Heidi Howard: bagi sebagian orang laporan itu tampak biasa saja, sementara yang lain, sebaliknya, sangat memikirkan kehidupan. Menariknya, menurut para peserta panitia program (yang tidak ingin disebutkan namanya), laporan Hydra dan ceramah Sekolah di acara mereka mungkin terlalu memenuhi syarat. Misalnya, jika seorang junior PHP datang ke konferensi PHP untuk mempelajari kehidupan, akan sedikit gegabah jika berasumsi bahwa ia memiliki pengetahuan mendalam tentang internal Zend Engine. Di sini, para pembicara tidak menyuapi para juniornya, tetapi langsung menyiratkan tingkat pengetahuan dan pemahaman tertentu. Memang benar, tingkat peserta yang mengoperasikan sistem terdistribusi dan menulis kernel runtime sangat tinggi, ini logis. Dilihat dari reaksi peserta, cukup mudah untuk memilih laporan berdasarkan level dan topik.

Jika kita berbicara tentang laporan tertentu, semuanya bagus dengan caranya masing-masing. Dilihat dari apa yang orang katakan dan apa yang bisa dilihat dari formulir feedback, salah satu laporan paling keren di Sekolah adalah "Struktur data yang tidak memblokir" Michael Scott, dia baru saja mencabik-cabik semua orang, dia memiliki rating abnormal sekitar 4.9.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Metakonferensi

Jauh sebelum dimulainya Hydra dan Sekolah, Ruslan ARG89 berasumsi bahwa akan ada semacam "meta-konferensi" - sebuah konferensi konferensi, di mana semua peserta teratas dalam acara lainnya akan secara otomatis tersedot ke dalamnya, seolah-olah ke dalam lubang hitam. Dan itulah yang terjadi! Misalnya, di kalangan siswa Sekolah hal itu diperhatikan Ruslan Cheremin dari DeutscheBank, spesialis multithreading terkenal.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Dan salah satu anggota Hydra diperhatikan Vadim Tsesko (inkubi) Dan Andrey Pangin (apagin) dari perusahaan Odnoklassniki. (Pada saat yang sama, Vadim juga membantu kami melakukan dua wawancara luar biasa dengan Martin Kleppman - satu untuk Habr, dan satu lagi untuk pemirsa siaran online). Ada anggota Komite Program DotNext, pembicara terkenal Anatoly Kulakov dan Igor Labutin. Dari Javist ada Dmitry Alexandrov ΠΈ Vladimir Ivanov. Biasanya Anda melihat orang-orang ini di tempat yang sangat berbeda - dotnetist di DotNext, javaist di Joker, dan seterusnya. Jadi mereka duduk berdampingan di laporan Hydra dan bersama-sama mendiskusikan masalah buff. Ketika pembagian yang agak artifisial berdasarkan bahasa dan teknologi pemrograman ini menghilang, fitur-fitur dari area subjek muncul: spesialis runtime dinamis berkomunikasi dengan runtimer lain, peneliti teori komputasi terdistribusi berdebat sengit dengan peneliti lain, insinyur mesin basis data memenuhi papan tulis, dan seterusnya. .

Di laporan sesuai dengan model memori C++ pengembang OpenJDK duduk di barisan depan (setidaknya saya mengenal mereka secara langsung, tetapi bukan Pythonist, mungkin Pythonist juga ada di sana). Faktanya, ada sesuatu yang begitu Shipilevsky dalam laporan ini... Ori tidak menceritakan hal yang persis sama, tetapi pengamatan yang cermat dapat mendeteksi persamaannya. Bahkan setelah semua yang terjadi dalam standar C++ terbaru, masalah seperti nilai yang keluar dari udara masih belum diperbaiki, sehingga Anda dapat membuka laporan tersebut dan mendengarkan bagaimana orang-orang β€œdi sisi lain barikade” berada. mencoba untuk memperbaiki masalah ini, Menurut alasannya, orang mungkin terkesan dengan pendekatan terhadap solusi yang ditemukan (Ori memiliki salah satu opsi perbaikan).

Ada banyak peserta di komite program dan mesin komunitas. Setiap orang memecahkan masalah antaragama mereka, membangun jembatan, dan memperoleh koneksi. Saya menggunakan ini sedapat mungkin, dan, misalnya, kami setuju dengan Alexander Borgardt dari Grup Pengguna C++ Moskow bersama-sama menulis artikel lengkap tentang aktor dan asinkroni di C++.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Dalam foto: Leonid Talalaev (itu, kiri) dan Oleg Anastasyev (pikiran buruk, kanan), pengembang terkemuka di Odnoklassniki

Zona diskusi kebakaran dan buff

Di konferensi selalu ada peserta yang mengetahui subjeknya sama seperti pembicaranya (dan terkadang bahkan lebih baik daripada pembicara - misalnya, ketika pengembang inti suatu teknologi ada di antara para peserta). Ada banyak peserta yang sangat ahli dalam Hydra. Misalnya, pada suatu saat di sekitar Alex Petrov bercerita tentang Cassandra, begitu banyak orang yang terbentuk sehingga dia tidak bisa menjawab semua orang. Pada titik tertentu, Alex dengan mulus didorong ke samping dan mulai diliputi pertanyaan, tetapi bendera yang jatuh diambil oleh pengembang Rust yang terkenal di kalangan. Tyler Neely dan menyeimbangkan beban dengan sempurna. Saat saya meminta bantuan Tyler untuk wawancara online, yang dia tanyakan hanyalah, β€œKapan kita mulai?”

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Kadang-kadang, semangat diskusi bahkan menerobos ke dalam laporan: Nikita Koval mengadakan sesi tanya jawab mendadak, membagi laporan menjadi beberapa bagian.

Dan sebaliknya, pada BOF untuk multi-threading mereka mengingat tentang memori non-volatile, mereka tertarik pada bof ini Pedro Ramalhete sebagai kepala spesialis, dan dia menjelaskan semuanya kepada semua orang (singkatnya, memori non-volatil bukanlah ancaman bagi kita dalam waktu dekat). Ngomong-ngomong, salah satu tuan rumah dari bof ini adalah Vladimir Sitnikov, yang bertugas di komite program di sejumlah konferensi yang jumlahnya sangat banyak... sepertinya saat ini ada lima konferensi sekaligus. Pada buff berikutnya tentang β€œCS Modern di dunia nyata” mereka juga mendiskusikan NVM dan membahasnya sendiri sepenuhnya.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Saya dapat berbagi wawasan luar biasa yang bahkan mereka yang terlibat langsung dalam cerita ini mungkin tidak menyadarinya. Eli Gafni tampil pada malam hari pertama Sekolah, dan keesokan harinya dia tinggal dan mulai menjebak Lamport, dan dari luar tampaknya ini adalah permainan dan Eli tidak memadai. Bahwa ini adalah sejenis troll yang ingin mengambil otak Leslie. Faktanya, mereka hampir berteman baik, mereka telah berteman selama bertahun-tahun, dan ini hanya olok-olok persahabatan. Artinya, lelucon itu berhasil - semua orang di sekitar menyukainya, menganggapnya begitu saja.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Secara terpisah, saya ingin mencatat betapa besarnya cinta dan upaya yang dilakukan para pembicara dalam hal ini. Seseorang berdiri di area diskusi hingga menit terakhir, hampir berjam-jam. Istirahat sudah lama berakhir, laporan dimulai, berakhir, jeda berikutnya dimulai - dan Dmitry Vyukov terus menjawab pertanyaan. Sebuah cerita menarik juga terjadi pada saya - setelah mengejutkan Cliff Click, saya tidak hanya menerima penjelasan yang jelas dan masuk akal tentang diskusi provokatif tentang kurangnya tes untuk hal-hal tertentu dalam H2O, tetapi juga mendapat ulasan lengkapnya bahasa baru AA. Saya tidak pernah menanyakan hal ini: Saya hanya bertanya apa yang bisa Anda baca tentang AA (ternyata Anda bisa mendengarkan одкаст), dan sebaliknya Cliff menghabiskan setengah jam untuk berbicara tentang bahasa tersebut dan memastikan bahwa apa yang dia katakan telah dipahami dengan benar. Menakjubkan. Kita perlu menulis habrapost tentang AA. Pengalaman tidak biasa lainnya adalah menyaksikan proses peninjauan permintaan tarik di Kotlin. Sungguh perasaan yang ajaib ketika Anda masuk ke dalam kelompok diskusi yang berbeda, pembicara yang berbeda, dan terjun ke dunia yang benar-benar baru. Ini adalah sesuatu yang ada pada levelnya "Di sana, di sana" oleh Radiohead.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Inggris

Hydra 2019 adalah konferensi pertama kami yang bahasa utamanya adalah bahasa Inggris. Hal ini membawa keuntungan sekaligus tantangannya. Keuntungan yang jelas adalah orang-orang yang datang ke konferensi tidak hanya dari Rusia, sehingga di antara para peserta Anda dapat bertemu dengan para insinyur dari Eropa dan ilmuwan dari Inggris. Pembicara membawa siswanya. Secara umum, pembicara penting memiliki motivasi lebih besar untuk menghadiri konferensi semacam itu. Bayangkan Anda adalah seorang pembicara di sebuah konferensi yang sepenuhnya berbahasa Rusia: Anda telah memberikan laporan, membela area diskusi, lalu apa? Berkeliling kota dan melihat tempat-tempat wisata? Faktanya, pembicara yang sangat populer sudah cukup banyak melihat segala sesuatu di dunia, mereka tidak ingin melihat singa dan jembatan gantung, mereka bosan. Jika semua laporan dalam bahasa Inggris, mereka dapat berpartisipasi dalam konferensi secara umum, bersenang-senang, mengikuti area diskusi, dan sebagainya. Suasananya cukup bersahabat terhadap pembicara.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Kerugian yang jelas adalah tidak semua orang merasa nyaman berkomunikasi dalam bahasa Inggris. Banyak yang memahami dengan baik, namun berbicara buruk. Secara umum, hal-hal biasa diselesaikan dengan cara yang berbeda. Misalnya, beberapa area diskusi dimulai dalam bahasa Rusia, tetapi segera beralih ke bahasa Inggris ketika peserta pertama yang berbahasa Inggris muncul.

Saya sendiri harus melakukan pembukaan dan penutupan siaran online secara eksklusif dalam bahasa Inggris dan berpartisipasi dalam beberapa rekaman wawancara dengan para ahli. Dan ini merupakan tantangan nyata bagi saya yang tidak akan segera terlupakan. Pada titik tertentu Oleg Anastasyev (pikiran buruk) hanya menyuruh saya untuk tetap duduk bersama mereka selama wawancara, dan saya terlalu lambat untuk memahami maksudnya.

Di sisi lain, sangat menyenangkan bahwa orang-orang mengajukan pertanyaan pada laporan dengan keras. Bukan hanya penutur asli, tapi semua orang secara umum, ini bekerja dengan baik. Pada konferensi lain, sering terlihat orang malu untuk bertanya kepada penonton dalam bahasa Inggris yang terpatah-patah, dan hanya bisa mengutarakan sesuatu di area diskusi. Ini sangat berbeda di sini. Secara relatif, beberapa Cliff Click menyelesaikan laporannya sedikit lebih awal, dan setelah itu pertanyaan-pertanyaan mengikuti secara berurutan, percakapan berpindah ke zona diskusi - tanpa jeda atau interupsi yang canggung. Begitu pula pada sesi tanya jawab Leslie Lamport, presenter praktis tidak perlu bertanya, peserta sudah mengemukakan semuanya.

Ada banyak hal kecil yang hanya sedikit orang perhatikan, namun tetap ada. Karena konferensi diadakan dalam bahasa Inggris, desain selebaran dan peta menjadi lebih ringan dan ringkas. Tidak perlu menduplikasi bahasa dan mengacaukan desain.

Sponsor dan pameran

Sponsor kami banyak membantu kami dalam menyelenggarakan konferensi ini. Berkat mereka, selalu ada sesuatu yang bisa dilakukan saat istirahat.

Di stand Pusat Teknologi Deutsche Bank Anda dapat mengobrol dengan para insinyur sistem multi-utas, memecahkan masalah mereka, memenangkan hadiah yang berkesan, dan bersenang-senang.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Di stand Kontur kita dapat berbicara tentang sistem mereka sendiri, baik open source maupun open source: database dalam memori terdistribusi, log biner terdistribusi, sistem orkestrasi layanan mikro, transportasi universal untuk telemetri, dan sebagainya. Dan tentu saja, teka-teki dan kompetisi, stiker bergambar kucing biner dan Abad Pertengahan yang Menderita, hadiah seperti buku Martin Kleppmann dan figur LEGO.

Perlu diketahui bahwa analisis masalah Kontur sudah ada diterbitkan di HabrΓ©. Analisis yang bagus, layak untuk dilihat.

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Mereka yang berkeinginan dapat membeli segala jenis buku dan mendiskusikannya dengan rekan-rekan. Seluruh penonton berkumpul untuk sesi tanda tangan!

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Hasil

Konferensi Hydra dan Sekolah SPTDC merupakan acara yang sangat penting bagi kami sebagai perusahaan penyelenggara dan bagi seluruh masyarakat. Ini adalah kesempatan untuk melihat masa depan kita, mengembangkan kerangka konseptual terpadu untuk mendiskusikan masalah-masalah modern, dan melihat lebih dekat arah-arah yang menarik. Multithreading telah ada sejak lama, tetapi butuh satu dekade penuh setelah prosesor multi-core pertama kali muncul agar fenomena ini menyebar luas. Apa yang kami dengar dalam laporan minggu ini bukanlah berita singkat, namun jalan menuju masa depan cerah yang akan kami ikuti di tahun-tahun mendatang. Tidak akan ada spoiler untuk Hydra berikutnya di postingan ini, tapi Anda bisa berharap yang terbaik. Jika Anda tertarik dengan masalah seperti ini, Anda mungkin ingin melihat acara kami yang lain, seperti pembicaraan konferensi tingkat lanjut Joker 2019 ΠΈΠ»ΠΈ DotNext 2019 Moskow. Sampai jumpa di konferensi berikutnya!

Tiga Pemenang Dijkstra Prize: Bagaimana Hydra 2019 dan SPTDC 2019 Berjalan

Sumber: www.habr.com

Tambah komentar