ini Leslie Lamport - pengarang karya asas dalam pengkomputeran teragih, dan anda juga boleh mengenalinya dengan huruf La dalam perkataan LaTeX - "Lamport TeX". Dialah yang buat pertama kalinya, pada tahun 1979, memperkenalkan konsep itu konsistensi yang konsisten, dan artikelnya "Cara Membuat Komputer Berbilang Pemproses yang Melaksanakan Program Berbilang Proses dengan Betul" menerima Anugerah Dijkstra (lebih tepat lagi, pada tahun 2000 anugerah itu dipanggil dengan cara lama: "Anugerah Kertas Berpengaruh PODC"). Ada tentang dia Artikel Wikipedia, di mana anda boleh mendapatkan beberapa pautan yang lebih menarik. Jika anda teruja untuk menyelesaikan masalah tentang berlaku-sebelum atau masalah jeneral Byzantine (BFT), mereka perlu memahami bahawa Lamport berada di belakang semua itu.

Dan dia tidak lama lagi akan datang ke persidangan baru kami mengenai pengkomputeran teragih - Hydra, yang akan diadakan pada 11-12 Julai di St. Petersburg. Mari kita lihat apakah jenis haiwan itu.

Hydra2019

Topik seperti multithreading adalah beberapa topik paling hangat di persidangan kami, selalu. Ia hanya sepi di dewan ini, tetapi kemudian seseorang muncul di atas pentas, bercakap tentang model memori, berlaku-sebelum atau pengumpulan sampah berbilang benang dan - ledakan! - sudah di bawah seribu orang menduduki semua ruang yang ada untuk duduk dan mendengar dengan teliti. Apakah intipati kejayaan ini? Mungkin hakikat bahawa kita semua mempunyai beberapa jenis perkakasan yang mampu mengatur pengkomputeran teragih? Atau adakah kita secara tidak sedar memahami ketidakupayaan kita untuk memuatkannya pada nilai sebenar? Terdapat kisah sebenar tentang satu kuantum St. Petersburg (iaitu, penganalisis dan pemaju kuantitatif kewangan), yang berakhir dengan kluster pengkomputeran di tangannya, yang kuasa penuh hanya boleh digunakan olehnya sahaja. Dan apakah yang akan anda lakukan jika anda perlu menjalankan tugas anda dengan kapasiti berkali-kali lebih besar daripada sekarang?

Disebabkan populariti ini, topik prestasi dan pengkomputeran yang cekap cenderung tersebar di seluruh program persidangan. Berapa banyak daripada dua hari laporan boleh dibuat tentang prestasi - satu pertiga, dua pertiga? Di sesetengah tempat terdapat sekatan buatan yang mengehadkan pertumbuhan ini: sebagai tambahan kepada prestasi, masih perlu ada ruang untuk rangka kerja web baharu, untuk beberapa jenis devops atau astronautik seni bina. Tidak, prestasi, anda tidak akan memakan kami semua!

Atau anda boleh pergi dengan cara yang bertentangan, berputus asa dan jujur ​​membuat persidangan yang akan sepenuhnya mengenai pengkomputeran teragih dan hanya tentang mereka. Dan inilah, Hydra.

Mari kita jujur ​​mengakui bahawa hari ini semua pengkomputeran adalah satu cara atau yang lain diedarkan. Sama ada mesin berbilang teras, kluster pengkomputeran atau perkhidmatan teragih berskala besar, terdapat banyak proses di mana-mana yang melakukan pengiraan bebas secara selari, menyegerak antara satu sama lain. Cara ia berfungsi secara teori dan cara ia berfungsi dalam amalan akan menjadi tumpuan Hydra.

Program persidangan

Program ini sedang dalam pembangunan. Ia harus termasuk laporan daripada pengasas teori sistem teragih dan jurutera yang bekerja dengan mereka dalam pengeluaran.

Sebagai contoh, kita sudah mengetahui tentang penyertaan Leslie Lamport dari Microsoft Research dan Maurice Herlihy dari Brown University.

Maurice Herlihy - seorang profesor Sains Komputer yang sangat terkenal dan disegani, ada juga cerita tentangnya halaman Wikipedia, di mana anda boleh pergi ke pautan dan kerja. Di sana anda boleh melihat sebanyak dua anugerah Dijkstra, yang pertama untuk kerja "Penyegerakan Tanpa Tunggu", dan yang kedua, lebih terkini - "Memori Transaksi: Sokongan Seni Bina untuk Struktur Data Tanpa Kunci". Ngomong-ngomong, pautan itu tidak membawa kepada SciHub, tetapi ke Universiti Brown dan Universiti Teknologi Virginia, anda boleh membuka dan membaca.

Maurice akan menganjurkan ucaptama yang dipanggil "Blockchains dari perspektif pengkomputeran teragih". Jika berminat, anda boleh lihat rakaman laporan Maurice dari JUG St. Petersburg. Nilai sejauh mana dia menyampaikan topik dengan jelas dan difahami.

Ucaptama kedua yang dipanggil "Dual Data Structures" akan dibaca Michael Scott dari Universiti Rochester. Dan rasa apa - dia juga mempunyai sendiri halaman Wikipedia. Di rumah di Wisconsin, dia terkenal dengan kerjanya sebagai dekan di University of Wisconsin-Madison, dan di dunia dia adalah lelaki yang, bersama-sama dengan Doug Lea, membangunkan algoritma tidak menyekat dan baris gilir segerak yang dijalankan oleh perpustakaan Java. . Beliau menerima Hadiah Dijkstra tiga tahun selepas Herlihy, untuk karyanya "Algoritma untuk penyegerakan berskala pada multipemproses memori bersama" (seperti yang dijangkakan, dia berbaring terbuka di perpustakaan dalam talian Universiti Rochester).

Masih banyak masa sehingga pertengahan Julai. Kami akan memberitahu anda tentang penceramah lain dan topik mereka semasa kami memperhalusi program dan menghampiri bulan Julai.

Secara umum, persoalan timbul - mengapa kita membuat Hydra pada musim panas? Lagipun, ini musim cuti, cuti. Masalahnya ialah terdapat profesor universiti di kalangan penceramah, dan bila-bila masa lain sibuk untuk mereka. Kami tidak boleh memilih tarikh lain.

Zon perbincangan

Pada persidangan lain, ia berlaku bahawa penceramah membaca apa yang perlu dan segera pergi. Para peserta tidak mempunyai masa untuk mencarinya - lagipun, laporan seterusnya bermula hampir tanpa jurang. Ia sangat menyakitkan, terutamanya apabila orang penting seperti Lamport, Herlihy dan Scott berada di sana, dan anda sebenarnya pergi ke persidangan itu hanya untuk bertemu mereka dan bercakap tentang sesuatu.

Kami telah menyelesaikan masalah ini. Sejurus selepas laporannya, penceramah pergi ke kawasan perbincangan khas yang dilengkapi dengan sekurang-kurangnya papan putih dengan penanda, dan anda mempunyai banyak masa. Secara rasmi, penceramah berjanji untuk berada di sana sekurang-kurangnya semasa rehat antara laporan. Pada hakikatnya, bidang perbincangan ini boleh regangan selama berjam-jam (bergantung kepada keinginan dan ketahanan pembesar suara).

Bagi Lamport pula, kalau saya faham betul-betul, dia mahu meyakinkan seramai mungkin orang itu TLA+ - ini adalah perkara yang baik. (Artikel tentang TLA+ di Wikipedia). Mungkin ini akan menjadi peluang yang baik untuk jurutera mempelajari sesuatu yang baharu dan berguna. Leslie menawarkan pilihan ini - sesiapa yang berminat boleh menonton kuliahnya yang lalu dan mengemukakan soalan. Iaitu, bukannya ucaptama, boleh ada, seolah-olah, sesi Soal Jawab khusus, dan kemudian zon perbincangan lain. Saya google sedikit dan jumpa yang hebat Kursus TLA+ (digelar secara rasmi senarai main di youtube) dan kuliah satu jam "Berfikir Melebihi Kod" dengan Microsoft Faculty Summit.

Jika anda menganggap semua orang ini sebagai nama yang dilemparkan dalam granit dari Wikipedia dan pada kulit buku, sudah tiba masanya untuk bertemu mereka secara langsung! Berbual dan tanya soalan yang tidak akan dijawab oleh halaman artikel saintifik, tetapi pengarangnya dengan senang hati akan menghubunginya.

Call for Papers

Bukan rahsia lagi bahawa ramai daripada mereka yang kini membaca artikel itu tidak enggan menceritakan sesuatu yang cukup menarik. Dari sudut kejuruteraan, dari sudut saintifik, dari sudut mana pun. Pengkomputeran teragih ialah topik yang sangat luas dan mendalam, di mana terdapat tempat untuk semua orang.

Jika anda mahu bermain bersama Lamport, ia adalah mustahil. Untuk menjadi penceramah, anda perlu ikuti pautan, baca dengan teliti semua yang ada di sana dan lakukan mengikut arahan.

Bertenang, sebaik sahaja anda menyambung kepada proses, anda akan dibantu. Jawatankuasa program mempunyai sumber yang mencukupi untuk membantu laporan itu sendiri, intipati dan reka bentuknya. Penyelaras akan membantu anda menangani isu organisasi dan sebagainya.

Beri perhatian khusus pada gambar dengan tarikh. Julai adalah tarikh yang agak jauh untuk peserta, dan penceramah perlu mula bertindak sekarang.

Sekolah SPTDC

Persidangan akan diadakan di tapak yang sama dengan sekolah SPTDC, jadi bagi semua yang membeli tiket untuk sekolah, tiket persidangan - dengan diskaun% 20.

Summer School on Practice and Theory of Distributed Computing (SPTDC) - sebuah sekolah yang menyediakan pelbagai kursus mengenai aspek praktikal dan teori sistem teragih, yang diajar oleh pakar yang diiktiraf dalam bidang yang berkaitan.

Sekolah ini akan diadakan dalam bahasa Inggeris, jadi berikut adalah senarai topik yang diliputi:

• Struktur data serentak: ketepatan dan kecekapan;
• Algoritma untuk ingatan tidak meruap;
• Kebolehkiraan Teragih;
• pembelajaran mesin teragih;
• Replikasi mesin negeri dan Paxos;
• Toleransi kesalahan Byzantine;
• Asas algoritma blockchain.

Penceramah berikut akan berucap:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Universiti Brown);
• Michael Scott (Universiti Rochester);
• Dan Astarh (IST Austria);
• Trevor Brown (Universiti Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Universiti Ben Gurion);
• Achour Mostefaoui (Universiti Nantes).

senarai main dengan laporan sekolah terdahulu boleh ditonton secara bebas di YouTube:

Langkah seterusnya

Program persidangan masih lagi dibentuk. Ikuti berita di Habré atau dalam rangkaian sosial (fb, vk, twitter).

Jika anda benar-benar percaya pada persidangan itu (atau ingin mengambil kesempatan daripada harga permulaan istimewa, seperti yang mereka katakan, "Early Bird") - anda boleh pergi ke tapak dan membeli tiket.

Jumpa anda di Hydra!

Sumber: www.habr.com