Questo Leslie Lamport — autore di lavori fondamentali nel calcolo distribuito, e potresti conoscerlo anche per le lettere La nella parola LaTeX — «Lamport TeX». È lui che per la prima volta, nel 1979, ha introdotto il concetto di , e il suo articolo ha ricevuto il premio Dijkstra (in effetti, nel 2000 il premio era ancora chiamato: «PODC Influential Paper Award»). C'è un , dove puoi trovare ulteriori interessanti link. Se sei entusiasta della risoluzione di problemi su happens-before o (BFT), dovresti capire che dietro a tutto questo c'è Lamport.
E presto verrà alla nostra nuova conferenza sul calcolo distribuito — Hydra, che si terrà l'11-12 luglio a San Pietroburgo. Vediamo che tipo di bestia sia.
Hydra 2019
Argomenti come la programmazione concorrente sono tra i più popolari alle nostre conferenze e lo sono sempre stati. Solo poco fa, questa sala era semi-vuota, ma ecco che sul palco appare una persona che parla di modelli di memoria, happens-before o della raccolta dei rifiuti concorrente e — boom! — già quasi mille persone occupano tutto lo spazio disponibile per sedersi e ascoltare attentamente. Qual è il segreto di questo successo? Forse è che tutti noi abbiamo a disposizione dell'hardware capace di eseguire calcoli distribuiti? Oppure è perché, a livello subconscio, comprendiamo la nostra incapacità di sfruttarlo a dovere? C'è una vera storia di un quant di San Pietroburgo (ovvero un analista quantitativo finanziario e sviluppatore) che si è trovato tra le mani un cluster di calcolo, la cui potenza può essere utilizzata solo da lui. E voi, cosa fareste se aveste a disposizione una potenza di calcolo di gran lunga superiore a quella attuale per le vostre attività?
Grazie alla sua popolarità, il tema delle prestazioni e dei calcoli efficienti ha la tendenza a diffondersi nei programmi delle conferenze. Quanto dei due giorni di relazioni può essere dedicato al performance — un terzo, due terzi? In alcuni casi, esistono limitazioni artificiali che limitano questa espansione: oltre al performance, deve rimanere spazio per nuovi framework web, per qualche DevOps o astrofisica architettonica. No, performance, non ci mangerai tutti interi!
Si potrebbe andare nella direzione opposta, arrendersi e onestamente fare una conferenza che sia completamente dedicata al calcolo distribuito e solo a quello. Ed ecco a voi, Hydra.
Ammettiamolo, oggigiorno tutti i calcoli sono in un modo o nell'altro distribuiti. Che si tratti di una macchina multicore, di un cluster computazionale o di un servizio distribuito su larga scala, ci sono sempre numerosi processi che eseguono calcoli indipendenti in parallelo, sincronizzandosi tra loro. L'argomento di come ciò sia strutturato in teoria e funzioni nella pratica sarà dedicato a Hydra.
Programma della conferenza
Il programma è attualmente in fase di sviluppo. Dovrebbe includere relazioni dai pionieri delle teorie dei sistemi distribuiti e dagli ingegneri che lavorano con essi in produzione.
Ad esempio, è già noto che parteciperanno Leslie Lamport di Microsoft Research e Maurice Herlihy della Brown University.
Maurice Herlihy è un professore molto noto e rispettato di Computer Science, e c'è anche , dove puoi esplorare link e lavori. Lì puoi notare ben due premi Dijkstra, il primo per il lavoro su , e il secondo, più recente — . Tra l'altro, i link non portano nemmeno a SciHub, ma alla Brown University e alla Virginia Tech University, puoi aprirli e leggerli.
Maurice terrà un keynote dal titolo «Blockchains from a distributed computing perspective». Se ti interessa, puoi dare un'occhiata alla registrazione della conferenza di Maurice al JUG di San Pietroburgo. Valuta quanto chiaramente e comprensibilmente espone il tema.
Il secondo keynote intitolato «Dual Data Structures» sarà presentato da Michael Scott dell'Università di Rochester. E indovina un po' — ha anche la sua . In Wisconsin, he is known for his role as dean at the University of Wisconsin-Madison, and in the wider world, he is the person who, together with Doug Lea, developed the non-blocking algorithms and concurrent queues that underpin Java libraries. He received his Dijkstra Prize three years after Herlihy, for his work "Algorithms for scalable synchronization on shared-memory multiprocessors" (as expected, in the online library of the University of Rochester).
There is still plenty of time until mid-July. We will provide information on the other speakers and their topics as the program is finalized and as we get closer to July.
In fact, a question arises — why are we doing Hydra in the summer? After all, it's a dead season, vacation time. The issue is that among the speakers are university professors, and any other time they are occupied. We simply couldn't choose different dates.
Zone di discussione
In altre conferenze, a volte il relatore legge ciò che deve e poi se ne va subito. I partecipanti non hanno nemmeno tempo per cercarlo, poiché quasi senza intervallo inizia la presentazione successiva. Questo è molto doloroso, specialmente se ci sono persone importanti come Lamport, Herlihy e Scott, e di fatto si partecipa alla conferenza solo per incontrarli e discutere qualcosa.
Noi abbiamo risolto questo problema. Subito dopo la sua presentazione, il relatore si reca in una zona di discussione speciale, attrezzata con almeno una lavagna con pennarello, e avete a disposizione un bel po' di tempo. Formalmente, il relatore promette di rimanere lì per almeno tutto il tempo della pausa tra le presentazioni. Nella realtà, queste zone di discussione possono prolungarsi per ore (dipende dal desiderio e dalla resistenza del relatore).
Per quanto riguarda Lamport, se ho capito bene, vuole convincere il maggior numero possibile di persone che è una cosa buona. (). Potrebbe essere una buona occasione per gli ingegneri per scoprire qualcosa di nuovo e utile. Leslie propone questa opzione: chi è interessato può guardare le sue lezioni passate e venire con domande. Quindi, invece di un keynote, potrebbe esserci una sessione Q&A specializzata e poi anche un'area di discussione. Ho fatto un po' di ricerca e ho trovato ottimo (ufficialmente duplicato ) e una lezione di un'ora al Microsoft Faculty Summit.
Se hai sempre considerato queste persone come nomi scolpiti nella pietra da Wikipedia e sulle copertine dei libri, è il momento di incontrarle di persona! Parlare e fare domande a cui non risponderanno le pagine degli articoli scientifici, ma i cui autori saranno felici di interagire.
Call for Papers
Non è un segreto che molti di coloro che stanno leggendo l'articolo ora sarebbero felici di condividere qualcosa di interessante. Da una prospettiva ingegneristica, scientifica — da qualsiasi punto di vista. Il calcolo distribuito è un tema molto ampio e profondo, dove c'è spazio per tutti.
Se vuoi parlare accanto a Lamport, è del tutto possibile. Per diventare relatore, è necessario , leggi attentamente tutto lì e segui le istruzioni.
Stai tranquillo, una volta che ti connetti al processo, riceverai assistenza. Il comitato organizzativo ha le capacità necessarie per aiutarti con il rapporto, il suo contenuto e la presentazione. Il coordinatore ti aiuterà con le questioni organizzative e così via.
Fai particolare attenzione all'immagine con le date. Luglio è una data piuttosto lontana per i partecipanti, mentre il relatore deve iniziare a muoversi già adesso.
Scuola SPTDC
La conferenza si terrà nello stesso luogo della scuola SPTDC, quindi per chi acquisterà un biglietto per la scuola, i biglietti per la conferenza sono con uno sconto del 20%.
è una scuola che offre una vasta gamma di corsi sui vari aspetti pratici e teorici dei sistemi distribuiti, tenuti da esperti riconosciuti nel campo.
La scuola si terrà in lingua inglese, quindi ecco l'elenco degli argomenti trattati:
- Strutture dati concorrenti: correttezza ed efficienza;
- Algoritmi per memoria non volatile;
- Calcolabilità distribuita;
- Apprendimento automatico distribuito;
- Replica di macchine a stato e Paxos;
- Tolleranza ai guasti bizantini;
- Fondamenti algoritmici delle blockchain.
Interverranno i seguenti relatori:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Università di 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).
con le relazioni della precedente scuola possono essere liberamente visualizzate su YouTube:
Prossimi passi
Il programma della conferenza è ancora in fase di definizione. Segui le notizie su Habr o sui social (, , ).
Se credi davvero nella conferenza (o vuoi approfittare del prezzo speciale di lancio, chiamato ‘Early Bird’) — puoi andare sul sito e .
Ci vediamo su Hydra!
Fonte: habr.com
