issu Leslie Lampport hè l'autore d'opere seminali in l'informatica distribuita, è pudete ancu cunnoscelu da e lettere La in a parolla LaTeX - "Lamport TeX". Hè ellu chì prima, in u 1979, hà introduttu u cuncettu , è u so articulu ricivutu u Premiu Dijkstra (più precisamente, in u 2000 u premiu fù chjamatu in u so modu anticu: "PODC Influential Paper Award"). Ci hè nantu à ellu , induve pudete ottene qualchi ligami più interessanti. Sè vo site entusiasmu di risolve i prublemi nantu à succede-prima o (BFT), allora duvete capisce chì Lampport hè daretu à tuttu questu.
Hà da vene ancu prestu à a nostra nova cunferenza nantu à l'informatica distribuita - Hydra, chì avarà da lugliu 11-12 in San Petruburgu. Videmu chì tipu d'animali hè questu.
Idra 2019
Temi cum'è multithreading sò trà i più populari in e nostre cunferenze, sò sempre stati. Avà sta stanza era deserta, ma dopu una persona si prisenta nantu à u palcuscenicu chì parlava di u mudellu di memoria, succede prima o cullizzioni di basura multi-threaded è - boom! - digià circa mille persone occupanu tuttu u spaziu dispunibile per pusà è sente attentamente. Chì ghjè l'essenza di stu successu? Forse hè perchè tutti avemu un tipu di hardware in manu chì ponu urganizà l'informatica distribuita? O hè chì avemu subconsciously capisce a nostra incapacità di carricà cum'è si merita? Ci hè una vera storia di una quantità di San Petruburgu (vale à dì, un analista quantitative finanziariu è sviluppatore), chì si truvò in pussessu di un cluster di computing, u putere sanu di quale solu ellu solu puderia utilizà. Chì faria se avessi a capacità di fà i vostri compiti chì era parechje volte più grande ch'è avà?
A causa di una tale popularità, u tema di a produtividade è l'informatica efficiente tende à sparghje in l'agenda di a cunferenza. Quantu di i dui ghjorni di rapporti ponu esse fatti nantu à u rendiment - un terzu, dui terzi? In certi lochi, ci sò restrizioni artificiali chì limitanu sta crescita: in più di u rendiment, deve esse sempre spaziu per novi frameworks web, per qualchì tipu di devops o astronautica architettonica. Innò, performance, ùn ci manghjarete micca tutti sanu !
O pudete andà in u modu oppostu, rinunzià è onestamente fà una cunferenza chì serà interamente nantu à l'informatica distribuita è solu nantu à elli. Et voilà, Hydra.
Ammettimu onestamente chì oghje tutti i calculi sò distribuiti in un modu o un altru. Ch'ella sia una macchina multi-core, un cluster di computing, o un serviziu distribuitu à grande scala, ci sò parechji prucessi in ogni locu chì realizanu calculi indipendenti in parallelu, sincronizzandu cù l'altri. Hydra serà dedicatu à cumu funziona in teoria è cumu funziona in pratica.
prugramma di cunferenza
U prugramma hè attualmente in a so fase di furmazione. Hè deve include rapporti da i fundatori di e teorie di sistemi distribuiti è ingegneri chì travaglianu cun elli in a produzzione.
Per esempiu, a participazione di Leslie Lamport da Microsoft Research è Maurice Herlihy da Brown University hè digià cunnisciuta.
Maurice Herlihy - un prufessore assai famosu è rispettatu di Informatica, ci hè ancu infurmazione nantu à ellu , induve pudete navigà attraversu ligami è opere. Quì pudete vede dui premi Dijkstra, u primu per u travagliu , è u sicondu, più recente - . Per via, i ligami ùn portanu mancu à SciHub, ma à l'Università Brown è a Virginia Tech University, pudete apre è leghje.
Maurice hà da tene un keynote chjamatu "Blockchains da una perspettiva di l'informatica distribuita". Sè vo site interessatu, pudete piglià un ochju à l'arregistramentu di u rapportu di Maurice da u JUG di San Petruburgu. Evaluate quantu chjaramente è comprensibile trasmette u tema.
A seconda keynote chjamata "Dual Data Structures" hà da leghje Michael Scott da l'Università di Rochester. E guess what - ellu hà ancu u so propiu . In casa in Wisconsin, hè cunnisciutu per u so travagliu cum'è decanu à l'Università di Wisconsin-Madison, è in u mondu hè l'omu chì, inseme cù Doug Lea, hà sviluppatu l'algoritmi non-bloccanti è e file sincrone nantu à quale e librerie Java. travagliu. Hà ricivutu u so Premiu Dijkstra trè anni dopu à Herlihy, per u so travagliu "Algoritmi per a sincronizazione scalabile in multiprocessori di memoria spartuta" (cum'è previstu, in a biblioteca in linea di l'Università di Rochester).
Ci hè ancu assai tempu finu à a mità di lugliu. Vi diceremu di i parlanti restanti è di i so temi mentre raffinemu u prugramma è avvicinemu à lugliu.
In generale, a quistione sorge - perchè facemu Hydra in l'estiu? Dopu tuttu, questu hè a bassa stagione, vacanze. U prublema hè chì trà i parlanti ci sò prufessori universitari, è ogni altru tempu hè occupatu per elli. Ùn pudemu micca sceglie altre date.
Zone di discussione
In altre cunferenze, succede chì l'oratore leghje ciò chì avia bisognu è partì subitu. I participanti ùn anu mancu tempu per circà - dopu tuttu, u prossimu rapportu principia quasi senza intervallu. Questu hè assai doloroso, soprattuttu se persone impurtanti cum'è Lamport, Herlihy è Scott sò prisenti, è andate in a cunferenza solu per scuntrà elli è discute qualcosa.
Avemu risoltu stu prublema. Immediatamente dopu à u so rapportu, u parlante và à una zona di discussione speciale, dotata di almenu una lavagna bianca cù un marcatore, è avete assai tempu. Formalmente, u parlante prumetti di esse quì, almenu durante tutta a pausa trà e presentazioni. In realtà, sti spazii di discussione pudete stende per ore in fine (secondu u desideriu è a resistenza di u parlante).
In quantu à Lamport, s'ellu capiscu bè, ellu vole cunvince quant'è più persone pussibule - questu hè una bona cosa. (). Forse questu serà una bona chance per l'ingegneri per amparà qualcosa di novu è utile. Leslie offre questa opzione - quelli chì sò interessate ponu vede e so lezioni passate è vene cun dumande. Questu hè, invece di una keynote, puderia esse una sessione di Q&A specializata, è dopu ancu una zona di discussione. Aghju fattu un pocu di Google è aghju trovu un grande. (ufficialmente doppiatu ) è una conferenza d'ora da Microsoft Faculty Summit.
Sè vo avete percive tutte queste persone cum'è nomi cast in granitu da Wikipedia è nantu à i libri, hè ora di scuntrà li in persona! Chat è dumandà dumande chì e pagine di l'articuli scientifichi ùn rispundenu micca, ma i so autori seranu felici di fà u cuntattu.
Call for Papers
Ùn hè micca un sicretu chì parechji di quelli chì stanu leghjendu l'articulu ùn sò micca opposti à dì qualcosa assai interessante. Da un puntu di vista ingegneria, da un puntu di vista scientificu - da ogni puntu di vista. L'informatica distribuita hè un tema assai largu è prufondu induve ci hè spaziu per tutti.
Se vulete cumpete cù Lamport, hè cumplettamente pussibule. Per diventà un parlante avete bisognu , leghjite tuttu quì cun cura è fate secondu l'istruzzioni.
Siate assicurati, appena vi unite à u prucessu, vi aiuteranu. U Cumitatu di u prugramma hà capacità sufficienti per aiutà cù u rapportu stessu, a so essenza è u disignu. U coordinatore vi aiuterà à risolve i prublemi organizzativi è cusì.
Prestate una attenzione particulari à a stampa cù e date. Lugliu hè una data piuttostu distante per u participante, ma u parlante deve principià à agisce avà.
Scola SPTDC
A cunferenza si terrà in u stessu situ chì a scola SPTDC, cusì per tutti quelli chì compranu un bigliettu per a scola, i biglietti per a cunferenza seranu cun scontu di 20%..
hè una scola chì furnisce una larga gamma di corsi nantu à l'aspetti pratichi è teorichi di i sistemi distribuiti, insegnati da esperti ricunnisciuti in u campu pertinente.
A scola si terrà in inglese, cusì hè cusì a lista di temi trattati:
- Strutture di dati cuncurrenti: currezzione è efficienza;
- Algoritmi per a memoria non volatile;
- computabilità distribuitu;
- Apprendimentu automaticu distribuitu;
- State-machine replicazione è Paxos;
- tolleranza à i difetti bizantini;
- Fundamenti algoritmichi di blockchains.
Parraranu i seguenti oratori:
- Leslie Lampport (Microsoft);
- Maurice Herlihy (Università Brown);
- Michael Scott (Università di Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Università di Waterloo);
- Eli Gafni (UCLA) ;
- Danny Hendler (Università Ben Gurion);
- Achour Mostefaoui (Università di Nantes).
Pudete vede liberamente i rapporti di a scola precedente in YouTube:
Passi prossimi
U prugramma di a cunferenza hè sempre in forma. Segui l'attualità nant'à Habré o nant'à e rete suciale (, , ).
Se crede veramente in a cunferenza (o vulete prufittà di u prezzu di l'entrata speciale, cusì chjamatu "Early Bird"), pudete andà à u situ web è .
Ci si vede à Hydra!
Source: www.habr.com