ieu Leslie Lampor - panulis karya dasar dina komputasi disebarkeun, sareng anjeun ogé tiasa terang anjeunna ku hurup La dina kecap LaTeX - "Lamport TeX". Ieu anjeunna anu pikeun kahiji kalina, deui dina 1979, diwanohkeun konsep konsistensi konsisten, jeung artikel na "Kumaha carana ngadamel komputer multiprocessor anu leres ngajalankeun program multiprocess" nampi Penghargaan Dijkstra (leuwih tepatna, taun 2000 pangajén ieu disebut ku cara baheula: "PODC Influential Paper Award"). Aya ngeunaan anjeunna Artikel Wikipedia, dimana anjeun bisa meunangkeun sababaraha tumbu leuwih metot. Mun anjeun bungah ngeunaan ngarengsekeun masalah dina kajadian-saméméh atawa masalah jenderal Bizantium (BFT), aranjeunna kedah ngartos yén Lamport aya di tukangeun éta.

Sarta anjeunna baris geura-giru datang ka konferensi anyar urang on komputasi disebarkeun - Hydra, nu bakal dilaksanakeun Juli 11-12 di St. Hayu urang tingali sato naon éta.

Hydra 2019

Topik sapertos multithreading mangrupikeun sababaraha topik anu paling panas dina konperénsi kami, kantos. Ieu ngan deserted di aula ieu, tapi lajeng hiji jalma mucunghul di panggung, ngawangkong ngeunaan modél memori, kajadian-sateuacan atawa multi-threaded kempelan sampah na - booming! - geus di handapeun sarébu jalma nempatan sagala spasi sadia pikeun diuk turun sarta ngadangukeun taliti. Naon hakekat kasuksésan ieu? Panginten kanyataan yén urang sadayana gaduh sababaraha jinis hardware anu tiasa ngatur komputasi anu disebarkeun? Atawa éta yén urang subconsciously ngartos henteu mampuh urang pikeun ngamuat eta dina patut sabenerna? Aya carita nyata hiji St Petersburg kuantum (nyaéta, analis kuantitatif finansial sarta pamekar), anu réngsé nepi ku klaster komputasi dina leungeun-Na, kakuatan pinuh nu ngan bisa dipaké ku anjeunna nyalira. Sareng naon anu anjeun laksanakeun upami anjeun kedah ngalaksanakeun tugas anjeun kalayan kamampuan sababaraha kali langkung ageung tibatan ayeuna?

Kusabab popularitas ieu, topik kinerja sareng komputasi efisien condong sumebar ka program konperénsi. Sabaraha tina dua dinten laporan tiasa dilakukeun ngeunaan kinerja - sapertilu, dua per tilu? Di sababaraha tempat aya larangan jieunan anu ngawatesan tumuwuhna ieu: salian kinerja, masih kudu aya rohangan pikeun kerangka web anyar, pikeun sababaraha jenis devops atanapi astronautics arsitéktur. Henteu, pagelaran, anjeun moal ngahakan urang sadayana!

Atawa anjeun bisa balik jalan sabalikna, nyerah sarta jujur ​​nyieun konferensi anu bakal sagemblengna ngeunaan komputasi disebarkeun sarta ngan ngeunaan aranjeunna. Sareng ieu, Hydra.

Hayu urang jujur ​​ngaku yén kiwari sagala komputasi téh salah sahiji cara atawa séjén disebarkeun. Naha éta téh mesin multi-core, klaster komputasi, atawa layanan disebarkeun skala badag, aya loba prosés madhab nu ngalakukeun itungan bebas dina paralel, nyingkronkeun saling. Kumaha gawéna dina téori jeung kumaha gawéna dina prakna bakal fokus Hydra.

program Konférénsi

Program éta ayeuna nuju dikembangkeun. Éta kedah kalebet laporan ti pendiri téori sistem anu disebarkeun sareng insinyur damel sareng aranjeunna dina produksi.

Salaku conto, urang parantos terang ngeunaan partisipasi Leslie Lamport ti Microsoft Research sareng Maurice Herlihy ti Brown University.

Maurice Herlihy - profesor pisan kawentar tur terhormat of Élmu Komputer, aya ogé carita ngeunaan anjeunna kaca Wikipedia, dimana anjeun tiasa ngaliwat tautan sareng karya. Di dinya anjeun tiasa perhatikeun saloba dua panghargaan Dijkstra, anu munggaran pikeun dianggo "Singkronisasi Gratis Antosan", sareng anu kadua, langkung énggal - "Memori Transaksional: Rojongan Arsitéktur pikeun Struktur Data Henteu Kunci". Ngomong-ngomong, tautanna henteu ngakibatkeun SciHub, tapi ka Brown University sareng Virginia Tech University, anjeun tiasa muka sareng maca.

Maurice badé ngadamel keynote anu disebut "Blockchains tina sudut pandang komputasi anu disebarkeun". Upami kabetot, anjeun tiasa ningali rekaman laporan Maurice ti JUG St. Evaluate kumaha jelas tur kaharti anjeunna nepikeun topik.

Keynote kadua disebut "Dual Data Structures" bakal maca Michael témbal ti Universitas Rochester. Jeung nebak naon - anjeunna boga sorangan ogé kaca Wikipedia. Di bumina di Wisconsin, anjeunna dikenal ku karyana salaku dekan di Universitas Wisconsin-Madison, sareng di dunya anjeunna mangrupikeun lalaki anu, sareng Doug Lea, ngembangkeun éta algoritma non-blocking sareng antrian sinkron anu dijalankeun ku perpustakaan Java. . Anjeunna nampi Hadiah Dijkstra tilu taun saatos Herlihy, pikeun karyana "Algoritma pikeun sinkronisasi skalabel dina multiprocessor mémori anu dibagi" (sapertos anu diharapkeun, manehna iklas muka di perpustakaan online Universitas Rochester).

Masih seueur waktos dugi pertengahan Juli. Kami bakal nyarioskeun ka anjeun ngeunaan panyatur sanés sareng topikna nalika urang nyaring program sareng ngadeukeutan Juli.

Sacara umum, patarosan timbul - naha urang ngadamel Hydra dina usum panas? Barina ogé, ieu téh usum off, libur. Masalahna nyaeta aya profesor universitas diantara narasumber, sarta sagala waktos sejenna sibuk keur maranehna. Urang ngan teu bisa milih tanggal séjén.

Zona diskusi

Dina konperénsi anu sanés, éta kajadian yén panyatur maca naon anu diperyogikeun sareng langsung angkat. Pamilon malah teu boga waktu pikeun néangan éta - sanggeus kabeh, laporan salajengna dimimitian ampir tanpa gap a. Éta nyeri pisan, khususna nalika jalma-jalma penting sapertos Lamport, Herlihy sareng Scott hadir sareng anjeun leres-leres angkat ka konperénsi éta ngan ukur pendak sareng aranjeunna sareng ngobrolkeun hiji hal.

Kami parantos ngarengsekeun masalah ieu. Langsung saatos laporanna, panyatur angkat ka tempat diskusi khusus anu dilengkepan sahenteuna papan tulis sareng spidol, sareng anjeun gaduh waktos anu lumayan. Sacara resmi, panyatur janji bakal aya sahenteuna nalika istirahat antara laporan. Dina kanyataanana, ieu wewengkon diskusi bisa manteng sababaraha jam dina tungtung (gumantung kana kahayang jeung daya tahan speaker).

Sedengkeun pikeun Lamport, upami kuring ngartos leres, anjeunna hoyong ngayakinkeun saloba jalma anu mungkin TLA+ - ieu hiji hal anu alus. (Artikel ngeunaan TLA+ dina Wikipédia). Panginten ieu bakal janten kasempetan anu saé pikeun insinyur pikeun diajar anu énggal sareng mangpaat. Leslie nawiskeun pilihan ieu - saha waé anu kabetot tiasa ningali ceramah anu kapungkur sareng aya patarosan. Nyaéta, tinimbang keynote, tiasa aya, sapertos, sési Q&A khusus, teras zona diskusi anu sanés. Kuring googled saeutik tur manggihan hiji hébat kursus TLA+ (disebut sacara resmi playlist dina youtube) jeung kuliah sajam "Pamikiran Luhureun Kodeu" kalawan Microsoft Fakultas Summit.

Upami anjeun nganggap sadaya jalma ieu salaku nami tuang granit ti Wikipédia sareng dina sampul buku, waktosna pendak sareng aranjeunna langsung! Ngobrol sareng naroskeun patarosan anu halaman tulisan ilmiah moal dijawab, tapi pangarangna bakal resep ngahubungi.

Nelepon pikeun tulak

Ieu aya rusiah nu loba jalma anu ayeuna maca artikel teu averse mun ngabejaan hal cukup metot sorangan. Tina sudut pandang rékayasa, tina sudut pandang ilmiah, tina sudut pandang mana waé. Komputasi anu disebarkeun mangrupikeun topik anu lega sareng jero, dimana aya tempat pikeun sadayana.

Upami anjeun hoyong maén sareng Lamport, éta tiasa waé. Pikeun janten spiker, anjeun peryogi nuturkeun link, taliti baca sagalana aya tur ngalakukeun eta nurutkeun parentah.

Tenang, pas anjeun nyambung ka prosés, anjeun bakal ditulungan. Panitia program ngagaduhan sumber anu cekap pikeun ngabantosan laporan éta sorangan, hakekat sareng desainna. Koordinator bakal nulungan anjeun nungkulan masalah organisasi jeung saterusna.

Nengetan husus ka gambar jeung kaping. Juli mangrupikeun tanggal anu rada jauh pikeun pamilon, sareng panyatur kedah ngamimitian akting ayeuna.

Sakola SPTDC

Konférénsi éta bakal dilaksanakeun dina situs anu sami sareng sakola SPTDC, janten pikeun saha waé anu mésér tikét pikeun sakola, tikét konperénsi - sareng diskon 20%.

Summer School on Practice and Theory of Distributed Computing (SPTDC) - sakola anu nyayogikeun rupa-rupa kursus ngeunaan aspék praktis sareng téoritis sistem anu disebarkeun, anu diajarkeun ku para ahli anu diakui dina widang anu relevan.

Sakola bakal diayakeun dina basa Inggris, janten ieu daptar topik anu katutupan:

• Struktur data sakaligus: correctness jeung efisiensi;
• Algoritma pikeun memori non-volatile;
• Distribusi Computability;
• diajar mesin disebarkeun;
• Réplikasi kaayaan-mesin jeung Paxos;
• kasabaran kasalahan Bizantium;
• Dasar algoritma tina blockchains.

Panyatur di handap ieu bakal nyarios:

• 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).

daptar puter kalawan laporan sakola saméméhna bisa kalawan bébas ditempo dina YouTube:

Léngkah-léngkah salajengna

Program konperénsi masih kabentuk. Turutan warta dina Habré atawa dina jaringan sosial (fb, vk, twitter).

Upami anjeun leres-leres percanten kana konperénsi éta (atanapi hoyong ngamangpaatkeun harga awal khusus, sakumaha anu diomongkeun, "Early Bird") - anjeun tiasa angkat ka situs sareng meuli tiket.

Sampai jumpa di Hydra!

sumber: www.habr.com