Itu Leslie Lamport adalah penulis karya penting dalam komputasi terdistribusi, dan Anda mungkin juga mengenalnya dengan huruf La di kata tersebut LaTeX - "Lamport TeX". Dialah yang pertama kali, pada tahun 1979, memperkenalkan konsep tersebut , dan artikelnya menerima Hadiah Dijkstra (lebih tepatnya, pada tahun 2000 penghargaan ini disebut dengan cara lama: “PODC Influential Paper Award”). Ada tentang dia , di mana Anda bisa mendapatkan beberapa tautan menarik lainnya. Jika Anda bersemangat memecahkan masalah yang terjadi sebelum atau (BFT), maka Anda harus memahami bahwa Lamport berada di balik semua ini.
Dia juga akan segera menghadiri konferensi baru kami tentang komputasi terdistribusi - Hydra, yang akan berlangsung pada 11-12 Juli di St. Petersburg. Mari kita lihat binatang apa ini.
Hidra 2019
Topik seperti multithreading selalu menjadi topik yang paling populer di konferensi kami. Baru saja ruangan ini sepi, tapi kemudian seseorang muncul di panggung berbicara tentang model memori, terjadi-sebelum atau pengumpulan sampah multi-utas dan - boom! — sudah sekitar seribu orang menempati seluruh ruang yang tersedia untuk duduk dan mendengarkan dengan cermat. Apa inti dari kesuksesan ini? Mungkin karena kita semua memiliki perangkat keras yang dapat mengatur komputasi terdistribusi? Atau apakah kita secara tidak sadar memahami ketidakmampuan kita untuk memuatnya sebagaimana mestinya? Ada kisah nyata tentang seorang quant di St. Petersburg (yaitu, seorang analis dan pengembang kuantitatif keuangan), yang mendapati dirinya memiliki sebuah cluster komputasi, yang kekuatan penuhnya hanya dapat digunakan oleh dia sendiri. Apa yang akan Anda lakukan jika Anda memiliki kapasitas untuk melakukan tugas-tugas Anda jauh lebih besar daripada sekarang?
Karena popularitas tersebut, topik produktivitas dan komputasi efisien cenderung menyebar ke seluruh agenda konferensi. Berapa banyak dari dua hari laporan yang dapat dibuat mengenai kinerja - sepertiga, dua pertiga? Di beberapa tempat terdapat batasan buatan yang membatasi pertumbuhan ini: selain kinerja, masih harus ada ruang untuk kerangka web baru, untuk beberapa jenis pengembang atau astronotika arsitektur. Tidak, pertunjukan, kamu tidak akan memakan kami semua!
Atau Anda dapat melakukan sebaliknya, menyerah dan dengan jujur mengadakan konferensi yang sepenuhnya membahas tentang komputasi terdistribusi dan hanya tentang komputasi terdistribusi. Dan ini dia, Hydra.
Jujur saja, saat ini semua perhitungan didistribusikan dalam satu atau lain cara. Baik itu mesin multi-inti, cluster komputasi, atau layanan terdistribusi berskala besar, ada banyak proses di mana pun yang melakukan penghitungan independen secara paralel, dan tersinkronisasi satu sama lain. Hydra akan membahas cara kerjanya secara teori dan cara kerjanya dalam praktik.
Program konferensi
Program tersebut saat ini sedang dalam tahap pembentukan. Ini harus mencakup laporan dari para pendiri teori sistem terdistribusi dan insinyur yang bekerja dengannya dalam produksi.
Misalnya, partisipasi Leslie Lamport dari Microsoft Research dan Maurice Herlihy dari Brown University sudah diketahui.
Maurice Herlihy - seorang profesor Ilmu Komputer yang sangat terkenal dan dihormati, ada juga informasi tentang dia , tempat Anda dapat menelusuri tautan dan karya. Di sana Anda dapat melihat dua penghargaan Dijkstra, yang pertama untuk pengerjaan , dan yang kedua, lebih baru - . Omong-omong, tautannya bahkan tidak mengarah ke SciHub, tetapi ke Brown University dan Virginia Tech University, Anda dapat membuka dan membaca.
Maurice akan mengadakan keynote yang disebut “Blockchains dari perspektif komputasi terdistribusi.” Jika tertarik, Anda bisa melihat rekaman laporan Maurice dari JUG St. Evaluasi seberapa jelas dan dapat dimengerti dia menyampaikan topik tersebut.
Keynote kedua yang disebut “Struktur Data Ganda” akan dibacakan Michael Scott dari Universitas Rochester. Dan coba tebak - dia juga punya miliknya sendiri . Di rumahnya di Wisconsin, dia dikenal karena karyanya sebagai dekan di Universitas Wisconsin-Madison, dan di dunia dia adalah orang yang, bersama dengan Doug Lea, mengembangkan algoritma non-blocking dan antrian sinkron di mana perpustakaan Java bekerja. Dia menerima Hadiah Dijkstra tiga tahun setelah Herlihy, untuk karyanya “Algoritma untuk sinkronisasi yang dapat diskalakan pada multiprosesor memori bersama” (seperti yang diharapkan, di perpustakaan online Universitas Rochester).
Masih banyak waktu hingga pertengahan Juli. Kami akan memberi tahu Anda tentang pembicara yang tersisa dan topik mereka saat kami menyempurnakan program dan mendekati bulan Juli.
Secara umum, muncul pertanyaan - mengapa kita melakukan Hydra di musim panas? Lagipula, ini low season, hari libur. Masalahnya, di antara para pembicara itu ada para dosen universitas, dan waktu-waktu lain adalah waktu yang sibuk bagi mereka. Kami tidak bisa memilih tanggal lain.
Area diskusi
Di konferensi lain, pembicara membacakan apa yang diperlukannya dan segera pergi. Para peserta bahkan tidak punya waktu untuk mencarinya - karena laporan berikutnya dimulai hampir tanpa jeda. Ini sangat menyakitkan, terutama jika orang-orang penting seperti Lamport, Herlihy dan Scott hadir, dan Anda sebenarnya pergi ke konferensi hanya untuk bertemu mereka dan mendiskusikan sesuatu.
Kami telah memecahkan masalah ini. Segera setelah laporannya, pembicara menuju ke tempat diskusi khusus, setidaknya dilengkapi papan tulis dengan spidol, dan Anda memiliki waktu yang cukup banyak. Secara formal, pembicara berjanji untuk hadir setidaknya selama jeda antar presentasi. Pada kenyataannya, area diskusi ini bisa peregangan selama berjam-jam (tergantung keinginan dan daya tahan pembicara).
Adapun Lamport, jika saya memahaminya dengan benar, dia ingin meyakinkan sebanyak mungkin orang tentang hal itu - ini adalah hal yang baik. (). Mungkin ini akan menjadi kesempatan bagus bagi para insinyur untuk mempelajari sesuatu yang baru dan berguna. Leslie menawarkan opsi ini - mereka yang tertarik dapat menonton ceramahnya yang lalu dan mengajukan pertanyaan. Artinya, alih-alih keynote, mungkin ada sesi tanya jawab khusus, dan kemudian juga zona diskusi. Saya melakukan googling dan menemukan yang bagus. (resmi dijuluki ) dan ceramah selama satu jam dari Microsoft Fakultas Summit.
Jika Anda menganggap semua orang ini sebagai nama yang tertulis di granit dari Wikipedia dan sampul buku, inilah saatnya untuk bertemu langsung dengan mereka! Ngobrol dan ajukan pertanyaan yang tidak akan dijawab oleh halaman artikel ilmiah, tetapi penulisnya akan dengan senang hati menghubungi.
Call for Papers
Bukan rahasia lagi jika banyak dari mereka yang kini membaca artikel tersebut tidak segan-segan menceritakan sesuatu yang cukup menarik kepada kita. Dari sudut pandang teknik, dari sudut pandang ilmiah - dari sudut pandang manapun. Komputasi terdistribusi adalah topik yang sangat luas dan mendalam di mana terdapat ruang untuk semua orang.
Jika Anda ingin bersaing bersama Lamport, itu sangat mungkin. Untuk menjadi pembicara yang Anda butuhkan , baca semua yang ada di sana dengan cermat dan lakukan sesuai petunjuk.
Yakinlah, segera setelah Anda bergabung dalam prosesnya, mereka akan membantu Anda. Komite Program mempunyai kemampuan yang memadai untuk membantu pembuatan laporan itu sendiri, esensi dan desainnya. Koordinator akan membantu Anda menyelesaikan masalah organisasi dan sebagainya.
Berikan perhatian khusus pada gambar dengan tanggalnya. Juli adalah tanggal yang agak jauh bagi peserta, namun pembicara harus mulai bertindak sekarang.
Sekolah SPTDC
Konferensi akan diadakan di tempat yang sama dengan sekolah SPTDC, jadi bagi setiap orang yang membeli tiket ke sekolah tersebut, tiket konferensi akan diberikan. dengan diskon 20%.
adalah sekolah yang menyediakan berbagai kursus tentang aspek praktis dan teoritis dari sistem terdistribusi, yang diajarkan oleh para ahli yang diakui di bidang yang relevan.
Sekolah akan diadakan dalam bahasa Inggris, jadi berikut adalah daftar topik yang dibahas:
- Struktur data bersamaan: kebenaran dan efisiensi;
- Algoritma untuk memori non-volatil;
- Komputasi terdistribusi;
- Pembelajaran mesin terdistribusi;
- Replikasi mesin negara dan Paxos;
- toleransi kesalahan Bizantium;
- Dasar-dasar algoritma blockchain.
Pembicara berikut akan berbicara:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Universitas Brown);
- Michael Scott (Universitas Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Universitas Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universitas Ben Gurion);
- Achour Mostefaoui (Universitas Nantes).
Anda dapat dengan bebas menonton laporan sekolah sebelumnya di YouTube:
Langkah selanjutnya
Program konferensi masih dibentuk. Ikuti berita di Habré atau jejaring sosial (, , ).
Jika Anda benar-benar yakin dengan konferensi ini (atau ingin memanfaatkan harga masuk khusus, yang disebut “Early Bird”), Anda dapat mengunjungi situs web dan .
Sampai jumpa di Hydra!
Sumber: www.habr.com