Ini adalah Leslie Lampport - penulis karya mendasar dalam komputasi terdistribusi, dan Anda juga dapat mengenalnya melalui huruf La dalam kata La TeX - "Lamport TeX". Ini adalah pertama kalinya ia memperkenalkan konsep konsistensi yang konsisten pada tahun 1979, dan artikelnya “Bagaimana Membuat Komputer Multiprosesor yang Menjalankan Program Multiproses dengan Benar” memenangkan Hadiah Dijkstra (lebih tepatnya, pada tahun 2000 hadiah itu disebut dengan cara lama: “PODC Influential Paper Award) "). Ada sebuah artikel di Wikipedia tentang dia di mana Anda bisa mendapatkan beberapa tautan yang lebih menarik. Jika Anda antusias memecahkan masalah yang terjadi sebelum atau masalah para jenderal Bizantium (BFT), maka Anda harus memahami bahwa Lamport berada di balik semua ini.

Dia juga akan datang ke konferensi baru kami tentang komputasi terdistribusi - Hydra, yang akan diselenggarakan 11-12 Juli di St. Petersburg. Mari kita lihat binatang apa ini.

Hydra 2019

Topik-topik seperti multithreading adalah beberapa yang paling populer di konferensi kami, mereka selalu seperti itu. Itu hanya sepi di ruangan ini, tetapi di sini seorang pria muncul di panggung berbicara tentang model memori, terjadi-sebelum atau pengumpulan sampah multi-berulir dan - booming! - Sudah di bawah seribu orang mengambil semua ruang yang tersedia untuk duduk dan mendengarkan dengan seksama. Apa inti dari kesuksesan ini? Mungkin pada kenyataan bahwa kita semua memiliki beberapa jenis perangkat keras di tangan kita yang dapat mengatur komputasi terdistribusi? Atau apakah kita secara tidak sadar memahami ketidakmampuan kita untuk memuatnya pada nilai sebenarnya? Ada kisah nyata dari satu kuantum St. Petersburg (yaitu, analis dan pengembang kuantitatif keuangan), yang tangannya adalah sebuah cluster komputasi, dengan kekuatan penuh yang hanya dapat digunakan sendiri olehnya. Dan apa yang akan Anda lakukan jika Anda memiliki kekuatan untuk menyelesaikan tugas Anda berkali-kali lebih besar dari sekarang?

Karena popularitas ini, topik kinerja dan komputasi yang efisien cenderung menyebar ke seluruh program konferensi. Berapa banyak dari dua hari laporan yang dapat Anda buat tentang kinerja - sepertiga, dua pertiga? Di beberapa tempat, ada batasan buatan yang membatasi pertumbuhan ini: selain kinerja, masih harus ada tempat untuk kerangka kerja web baru, untuk beberapa jenis devoop atau astronotika arsitektur. Tanpa kinerja, Anda tidak akan memakan kami semua!

Atau Anda bisa sebaliknya, menyerah dan jujur ​​membuat konferensi yang sepenuhnya tentang komputasi terdistribusi dan hanya tentang mereka. Dan ini dia, Hydra.

Mari kita jujur ​​mengakui bahwa hari ini semua perhitungan entah bagaimana didistribusikan. Apakah itu mesin multi-core, cluster komputasi, atau layanan terdistribusi skala besar, di mana-mana ada banyak proses yang secara bersamaan melakukan perhitungan independen, saling menyinkronkan satu sama lain. Hydra akan didedikasikan untuk bagaimana ini diatur dalam teori dan bekerja dalam praktik.

Program konferensi

Program saat ini sedang dalam proses pembentukan. Ini harus mencakup laporan dari para pendiri teori sistem terdistribusi dan para insinyur yang bekerja dengan mereka di prod.

Sebagai contoh, sekarang diketahui tentang partisipasi Leslie Lamport dari Microsoft Research dan Maurice Herlihy dari Brown University.

Maurice Herlichi adalah profesor Ilmu Komputer yang sangat terkenal dan disegani, tentang dia ada juga halaman Wikipedia tempat Anda bisa melihat-lihat tautan dan bekerja. Di sana Anda dapat melihat sebanyak dua penghargaan Dijkstra, yang pertama untuk bekerja pada Sinkronisasi Bebas-Tunggu , dan yang kedua, yang lebih baru, Memori Transaksional: Dukungan Arsitektur untuk Struktur Data Tanpa Kunci . Omong-omong, tautan 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 dapat melihat rekaman laporan Maurice dari St. Petersburg JUG. Evaluasi seberapa jelas dan jelas dia menyampaikan topik.

Keynote kedua, berjudul "Dual Data Structures", akan dibaca oleh Michael Scott dari University of Rochester. Dan coba tebak - dia juga memiliki halaman Wikipedia sendiri. Di Wisconsin, ia dikenal karena pekerjaannya sebagai dekan di Universitas Wisconsin-Madison, dan di dunia ia adalah orang yang, bersama dengan Doug Lea, mengembangkan algoritma non-blocking dan antrian sinkron yang menjalankan perpustakaan Java. Dia menerima Hadiah Dijkstra-nya tiga tahun setelah Herliha, untuk karyanya "Algoritma untuk sinkronisasi yang dapat diskalakan pada multiprosesor bersama-memori" (sebagaimana seharusnya, itu secara terbuka di perpustakaan online University of Rochester).

Masih ada banyak waktu hingga pertengahan Juli. Kami akan berbicara tentang sisa pembicara dan topik mereka ketika program ini diklarifikasi dan mendekati Juli.

Secara umum, muncul pertanyaan - mengapa kita melakukan Hydra di musim panas? Bagaimanapun, ini adalah musim mati, hari libur. Masalahnya adalah bahwa di antara pembicara ada guru universitas, dan waktu lain diambil dari mereka. Kami tidak dapat memilih tanggal lain.

Area diskusi

Di konferensi lain, kebetulan pembicara membaca apa yang dibutuhkan dan segera pergi. Para peserta bahkan tidak punya waktu untuk mencarinya - lagipula, tanpa jeda, laporan berikutnya dimulai. Ini sangat menyakitkan, terutama jika orang-orang penting seperti Lamport, Herlichi dan Scott hadir, dan Anda biasanya pergi ke konferensi hanya untuk bertemu dengan mereka dan mendiskusikan sesuatu.

Kami telah memecahkan masalah ini. Segera setelah laporannya, pembicara pergi ke area diskusi khusus yang dilengkapi dengan setidaknya papan tulis dengan spidol, dan Anda memiliki margin waktu yang cukup besar. Secara formal, pembicara berjanji untuk berada di sana setidaknya sepanjang waktu di antara laporan. Pada kenyataannya, zona diskusi ini dapat berlangsung selama berjam-jam (tergantung pada keinginan dan daya tahan pembicara).

Adapun Lamport, jika saya mengerti dengan benar, dia ingin meyakinkan sebanyak mungkin orang bahwa TLA + adalah hal yang baik. ( Artikel Wikipedia tentang TLA + ). Mungkin ini akan menjadi peluang bagus bagi insinyur untuk mempelajari sesuatu yang baru dan bermanfaat. Leslie menawarkan opsi ini - siapa pun yang tertarik dapat melihat kuliah masa lalunya dan datang dengan pertanyaan. Artinya, alih-alih keynote, mungkin ada sesi tanya jawab khusus, dan kemudian zona diskusi. Saya mencari di Google sedikit dan menemukan kursus TLA + yang sangat baik (secara resmi diduplikasi oleh daftar putar YouTube ) dan kuliah satu jam "Berpikir di Atas Kode" dengan Microsoft Faculty Summit.

Jika Anda menganggap semua orang ini sebagai nama pemeran di Wikipedia dan di sampul buku yang dilemparkan ke dalam granit - inilah saatnya untuk bertemu langsung dengan mereka! Komunikasikan dan ajukan pertanyaan yang tidak akan dijawab oleh halaman artikel ilmiah, tetapi penulisnya akan dengan senang hati menghubungi.

Panggilan untuk surat-surat

Bukan rahasia lagi bahwa banyak dari mereka yang membaca artikel tidak segan untuk mengatakan sesuatu yang cukup menarik. Dari sudut pandang teknik, dari sudut pandang ilmiah - dari mana saja. Komputasi terdistribusi adalah topik yang sangat luas dan mendalam, di mana ada ruang untuk semua orang.

Jika Anda ingin tampil di sebelah Lamport, ini sepenuhnya mungkin. Untuk menjadi pembicara, Anda harus mengikuti tautan , baca dengan cermat semua yang ada di sana dan lakukan sesuai dengan instruksi.

Tenang, segera setelah Anda bergabung dengan proses, mereka akan membantu Anda. Komite program memiliki kapasitas untuk membantu dengan laporan itu sendiri, esensi dan desainnya. Koordinator akan membantu menangani masalah organisasi dan sebagainya.

Perhatian khusus pada gambar dengan tanggal. Juli adalah tanggal yang agak jauh untuk peserta, dan pembicara harus mulai bertindak sekarang.

SPTDC sekolah

Konferensi akan diadakan di situs yang sama dengan sekolah SPTDC, jadi untuk semua orang yang membeli tiket ke sekolah, tiket konferensi - dengan diskon 20% .

Sekolah Musim Panas tentang Praktik dan Teori Komputasi Terdistribusi (SPTDC) adalah sekolah yang menyediakan berbagai kursus tentang aspek praktis dan teoritis dari sistem terdistribusi, yang diajarkan oleh spesialis yang diakui di bidang yang relevan.

Sekolah akan dilakukan dalam bahasa Inggris, jadi beginilah daftar topik yang dibahas:

• Struktur data bersamaan: kebenaran dan efisiensi;
• Algoritma untuk memori non-volatile;
• Komputasi terdistribusi
• Pembelajaran mesin terdistribusi;
• Replikasi mesin negara dan Paxos;
• Toleransi kesalahan Bizantium;
• Dasar-dasar algoritma blockchain.

Para pembicara berikut akan berbicara:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown University);
• 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 daftar putar laporan sekolah sebelumnya di YouTube:

Langkah selanjutnya

Program konferensi masih sedang dibentuk. Ikuti berita di Habré atau di jejaring sosial ( fb , vk , twitter ).

Jika Anda benar-benar percaya pada konferensi (atau ingin menggunakan harga awal khusus, seperti yang mereka katakan, "Early Bird"), Anda dapat mengunjungi situs web dan membeli tiket .

Temui aku di Hydra!