iki Leslie Lampor - penulis karya dhasar ing komputasi sing disebarake, lan sampeyan uga bisa ngerti dheweke kanthi huruf La ing tembung kasebut LaTeX - "Lamport TeX". Dheweke sing pisanan, ing taun 1979, ngenalake konsep kasebut , lan artikelipun nampa Penghargaan Dijkstra (luwih tepate, ing taun 2000 penghargaan kasebut diarani kanthi cara sing lawas: "Penghargaan Kertas Berpengaruh PODC"). Ana babagan dheweke , ngendi sampeyan bisa njaluk sawetara pranala liyane menarik. Yen sampeyan bungah babagan mecahaken masalah ing mengkono-sadurunge utawa (BFT), padha kudu ngerti sing Lamport konco kabeh.
Lan dheweke bakal teka ing konferensi anyar babagan komputasi sing disebarake - Hydra, sing bakal dianakake 11-12 Juli ing St. Ayo ndeleng kewan apa iku.
Hidra 2019
Topik kaya multithreading minangka sawetara topik sing paling panas ing konferensi kita, mesthi. Iku mung sepi ing bale iki, nanging banjur wong katon ing tataran, ngomong bab model memori, mengkono-sadurunge utawa multi-Utas koleksi sampah lan - boom! - wis ing sangisore sewu wong manggoni kabeh papan sing kasedhiya kanggo njagong lan ngrungokake kanthi teliti. Apa inti saka sukses iki? Mungkin kasunyatan manawa kita kabeh duwe sawetara jinis hardware sing bisa ngatur komputasi sing disebarake? Utawa apa kita subconsciously ngerti kasekengan kita kanggo mbukak ing worth bener? Ana crita nyata siji kuantum St. Lan apa sing bakal sampeyan lakoni yen sampeyan kudu nindakake tugas kanthi kapasitas kaping pirang-pirang luwih gedhe tinimbang saiki?
Amarga popularitas iki, topik kinerja lan komputasi efisien cenderung nyebar ing program konferensi. Pira saka rong dina laporan sing bisa digawe babagan kinerja - siji katelu, rong pertiga? Ing sawetara panggonan ana watesan gawean sing mbatesi wutah iki: saliyane kanggo kinerja, isih kudu ana papan kanggo kerangka web anyar, kanggo sawetara jinis devops utawa astronautika arsitektur. Ora, kinerja, sampeyan ora bakal mangan kita kabeh!
Utawa sampeyan bisa pindhah cara ngelawan, nyerah lan sajujure nggawe konferensi sing bakal tanggung bab komputasi mbagekke lan mung bab wong-wong mau. Lan iki, Hydra.
Ayo ngakoni kanthi jujur ββyen saiki kabeh komputasi disebarake kanthi cara siji utawa liyane. Apa iku mesin multi-inti, cluster komputasi, utawa layanan mbagekke gedhe-ukuran, ana akeh pangolahan nang endi wae sing nindakake petungan independen ing podo karo, nyinkronake karo saben liyane. Cara kerjane ing teori lan cara kerjane ing praktik bakal dadi fokus Hydra.
Program konferensi
Program kasebut saiki lagi dikembangake. Sampeyan kudu kalebu laporan saka pendiri teori sistem sing disebarake lan insinyur sing kerja bareng ing produksi.
Contone, kita wis ngerti babagan partisipasi Leslie Lamport saka Microsoft Research lan Maurice Herlihy saka Universitas Brown.
Maurice Herlihy - profesor Ilmu Komputer sing misuwur lan dihormati, ana uga crita babagan dheweke , ngendi sampeyan bisa mbukak liwat pranala lan karya. Ana sampeyan bisa sok dong mirsani minangka akeh minangka loro Anugrah Dijkstra, pisanan kanggo karya ing , lan kapindho, luwih anyar - . Miturut cara, pranala ora malah mimpin kanggo SciHub, nanging kanggo Brown University lan Virginia Tech University, sampeyan bisa mbukak lan maca.
Maurice bakal dadi intine sing diarani "Blockchains saka perspektif komputasi sing disebarake". Yen kasengsem, sampeyan bisa ndeleng rekaman laporan Maurice saka JUG St. Evaluasi kanthi jelas lan dingerteni dheweke nerangake topik kasebut.
Intine kapindho sing diarani "Struktur Data Ganda" bakal diwaca Michael Scott saka Universitas Rochester. Lan guess apa - dheweke uga duwe dhewe . Ing omah ing Wisconsin, dheweke dikenal amarga kerjane minangka dekan ing Universitas Wisconsin-Madison, lan ing jagad iki dheweke dadi wong sing, bebarengan karo Doug Lea, ngembangake algoritma non-blocking lan antrian sinkron sing ditindakake perpustakaan Jawa. . Dheweke nampa Bebungah Dijkstra telung taun sawise Herlihy, kanggo karyane "Algoritma kanggo sinkronisasi skalabel ing multiprosesor memori bareng" (kaya sing dikarepake, ing perpustakaan online Universitas Rochester).
Isih akeh wektu nganti pertengahan Juli. Kita bakal nyritakake babagan pamicara liyane lan topike nalika kita nyaring program lan nyedhaki Juli.
UmumΓ©, pitakonan muncul - kenapa kita nggawe Hydra ing mangsa panas? Sawise kabeh, iki musim off, preian. Masalahe yaiku ana profesor universitas ing antarane pamicara, lan wektu liyane sibuk kanggo dheweke. Kita mung ora bisa milih tanggal liyane.
Zona diskusi
Ing konferensi liyane, speaker maca apa sing perlu lan langsung lunga. Para peserta malah ora duwe wektu kanggo nggoleki - sawise kabeh, laporan sabanjure wiwit meh tanpa celah. Iku nyengsarakke kathah, utamanΓ© nalika wong penting kaya Lamport, Herlihy lan Scott saiki lan sampeyan bener pindhah menyang konferensi mung kanggo ketemu wong lan ngomong bab soko.
Kita wis ngrampungake masalah iki. Sanalika sawise laporan, speaker menyang area diskusi khusus sing dilengkapi paling ora papan tulis kanthi spidol, lan sampeyan duwe wektu sing cukup akeh. Secara resmi, penutur janji bakal ana ing paling ora sajrone istirahat antarane laporan. Ing kasunyatan, iki wilayah diskusi bisa babagan nganti pirang-pirang jam (gumantung saka kepinginan lan daya tahan penutur).
Kanggo Lamport, yen aku ngerti kanthi bener, dheweke kepengin ngyakinake wong akeh - iki apik. (). Mungkin iki bakal dadi kesempatan sing apik kanggo para insinyur sinau babagan sing anyar lan migunani. Leslie nawakake pilihan iki - sapa sing kasengsem bisa nonton ceramah kepungkur lan menehi pitakon. Yaiku, tinimbang intine, bisa uga ana sesi Q&A khusus, banjur zona diskusi liyane. Aku googled dicokot lan ketemu siji gedhe (resmi dijuluki ) lan kuliah jam karo Microsoft Faculty Summit.
Yen sampeyan nganggep kabeh wong kasebut minangka jeneng granit saka Wikipedia lan ing sampul buku, wektune kanggo ketemu langsung! Ngobrol lan takon pitakonan sing kaca artikel ilmiah ora bakal dijawab, nanging penulis bakal seneng nggawe kontak.
Telpon kanggo Makalah
Ora ana rahasia manawa akeh wong sing saiki maca artikel kasebut ora gelem nyritakake babagan sing cukup menarik. Saka sudut pandang teknik, saka sudut pandang ilmiah, saka sudut pandang apa wae. Komputasi sing disebarake minangka topik sing wiyar lan jero, ing ngendi ana papan kanggo kabeh wong.
Yen sampeyan pengin main bareng karo Lamport, bisa uga. Kanggo dadi speaker, sampeyan kudu , kanthi ati-ati maca kabeh sing ana lan tindakake pandhuane.
Tenang, sanalika sampeyan nyambung menyang proses, sampeyan bakal dibantu. Panitia program nduweni sumber daya sing cukup kanggo mbantu laporan kasebut, inti lan desaine. Koordinator bakal mbantu sampeyan ngatasi masalah organisasi lan liya-liyane.
Pay manungsa waΓ© khusus kanggo gambar karo tanggal. Juli minangka tanggal sing rada adoh kanggo peserta, lan speaker kudu miwiti akting saiki.
sekolah SPTDC
Konferensi kasebut bakal dianakake ing situs sing padha karo sekolah SPTDC, supaya saben wong sing tuku tiket sekolah, tiket konferensi - kanthi diskon 20%..
- sekolah sing nyedhiyakake macem-macem kursus babagan aspek praktis lan teoritis saka sistem sing disebarake, sing diwulangake dening para ahli sing diakoni ing bidang sing relevan.
Sekolah kasebut bakal dianakake ing basa Inggris, mula iki dhaptar topik sing dibahas:
- Struktur data bebarengan: bener lan efisiensi;
- Algoritma kanggo memori non-molah malih;
- Komputabilitas sing disebarake;
- sinau mesin sing disebarake;
- Replikasi mesin negara lan Paxos;
- toleransi kesalahan Bizantium;
- Algoritma dhasar saka blockchain.
Pembicara ing ngisor iki bakal ngomong:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Universitas Brown);
- Michael Scott (Universitas Rochester);
- Dan Astarh (IST Austria);
- Trevor Brown (Universitas Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universitas Ben Gurion);
- Achour Mostefaoui (Universitas Nantes).
kanthi laporan sekolah sadurunge bisa dideleng kanthi bebas ing YouTube:
Sabanjure langkah
Program konferensi isih dibentuk. Tindakake kabar ing HabrΓ© utawa ing jaringan sosial (, , ).
Yen pancene pracaya ing konferensi (utawa pengin njupuk kauntungan saka rega wiwitan khusus, minangka padha ngomong, "Early Bird") - sampeyan bisa pindhah menyang situs lan .
Sampai jumpa di Hydra!
Source: www.habr.com