Questo Leslie Lamport — autore di opere fondamentali nel calcolo distribuito, e potresti conoscerlo anche dalle lettere La nella parola LaTeX — "Lamport TeX". È stato lui il primo, nel 1979, a introdurre 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'è , dove puoi trovare anche altri link interessanti. Se sei affascinato dalla risoluzione di problemi come happens-before o (BFT), devi capire che tutto questo è possibile grazie a Lamport.
E inoltre, presto verrà alla nostra nuova conferenza sul calcolo distribuito — Hydra, che si terrà l'11-12 luglio a San Pietroburgo. Diamo un'occhiata a che cosa sia questo animale.
Hydra 2019
Temi come la multithreading sono tra i più popolari nelle nostre conferenze, lo sono sempre stati. Poco fa questa sala era deserta, ma ecco che sul palco appare una persona che parla del modello di memoria, di happens-before o di garbage collection multithread e — boom! — quasi mille persone occupano ogni posto disponibile per sedersi e ascoltare attentamente. Qual è il segreto di questo successo? Forse è perché tutti noi abbiamo a disposizione qualche hardware in grado di gestire il calcolo distribuito? O perché comprendiamo inconsciamente la nostra incapacità di sfruttarlo a pieno? C'è una storia reale di un Quant di San Pietroburgo (cioè di un analista finanziario quantitativo e sviluppatore), che si è trovato con un cluster di calcolo la cui piena potenza può utilizzare solo lui. E tu, cosa faresti se avessi a disposizione risorse di calcolo di gran lunga superiori a quelle attuali?
Grazie a questa popolarità, il tema della produttività e dei calcoli efficienti tende a diffondersi nel programma delle conferenze. Quanti dei due giorni di relazioni possono essere dedicati al performance — un terzo, due terzi? In alcune aree ci sono limiti artificiali che limitano questa espansione: oltre al performance, deve restare spazio per nuovi web framework, per qualche DevOps o astrofisica architettonica. No, performance, non ci mangerai tutti interi!
Oppure si può andare nella direzione opposta, arrendersi e fare onestamente una conferenza che sarà interamente dedicata ai calcoli distribuiti e solo a quelli. Ed ecco a voi, l'Idra.
Ammettiamolo, al giorno d'oggi tutti i calcoli sono in un certo senso distribuiti. Sia che si tratti di una macchina multicore, di un cluster di calcolo o di un servizio distribuito su larga scala — ovunque ci sono molti processi che eseguono calcoli indipendenti in parallelo, sincronizzandosi tra loro. A come ciò è strutturato in teoria e come funziona nella pratica sarà dedicata Hydra.
Programma della conferenza
Il programma è attualmente in fase di sviluppo. Dovrebbero essere inclusi interventi dei pionieri delle teorie sui sistemi distribuiti e dei tecnici che lavorano con essi in produzione.
Ad esempio, già ora si sa che parteciperanno Leslie Lamport di Microsoft Research e Maurice Herlihy della Brown University.
Maurice Herlihy è un professore molto noto e rispettato di Computer Science, di lui esiste anche una , dove si possono trovare diversi link e lavori. Qui si possono notare ben due premi Dijkstra, il primo — per il lavoro su , e il secondo, più recente — . A proposito, i link portano non su SciHub, ma sulla Brown University e sulla Virginia Tech University, quindi possono essere aperti e letti.
Maurice presenterà un keynote intitolato "Blockchains from a distributed computing perspective". Se vi interessa, potete dare un'occhiata alla registrazione dell'intervento di Maurice dal JUG di San Pietroburgo. Valutate quanto sia chiaro e comprensibile nel comunicare l'argomento.
Il secondo keynote intitolato "Dual Data Structures" sarà tenuto da da Michael Scott dell'Università di Rochester. E indovinate un po' — anche lui ha la sua . A casa sua nel Wisconsin, è conosciuto per il suo lavoro come decano all'università Wisconsin-Madison, e nel mondo reale è una persona che, insieme a Doug Lea, ha sviluppato quegli algoritmi non bloccanti e le code sincrone su cui lavorano le librerie Java. Ha ricevuto il suo premio Dijkstra tre anni dopo Hurley, per il lavoro "Algorithms for scalable synchronization on shared-memory multiprocessors" (come previsto, nella biblioteca online dell'Università di Rochester).
C'è ancora molto tempo fino a metà luglio. Riferiremo sugli altri relatori e i loro argomenti man mano che la programmazione verrà confermata e ci avvicineremo a luglio.
In generale, sorge una domanda: perché facciamo Hydra in estate? È la stagione morta, tempo di vacanze. Il problema è che tra i relatori ci sono professori universitari e qualsiasi altro periodo per loro è occupato. Non siamo riusciti a scegliere altre date.
Zone di discussione
In altre conferenze può capitare che il relatore legga quello che deve e poi se ne vada. I partecipanti non hanno nemmeno il tempo di cercarlo — poiché il prossimo intervento inizia quasi senza interruzione. Questo è molto doloroso, specialmente se ci sono persone importanti come Lamport, Hurley e Scott, e si va alla conferenza proprio per incontrarli e discutere qualcosa.
Noi abbiamo risolto questo problema. Subito dopo la sua presentazione, il relatore si dirige verso un'area di discussione speciale, attrezzata almeno con una lavagna a marcatori, e hai a disposizione un tempo piuttosto ampio. Formalmente il relatore promette di rimanere lì per almeno tutto il tempo della pausa tra le presentazioni. In realtà, queste zone di discussione possono possono durare ore (dipende dalla volontà e dalla resistenza del relatore).
Per quanto riguarda Lamport, se ho capito bene, vuole convincere quante più persone possibile che è una cosa buona. (). Potrebbe essere una buona occasione per gli ingegneri per apprendere qualcosa di nuovo e utile. Leslie propone questa opzione: chi è interessato può guardare le sue passate conferenze e venire con domande. Quindi, invece di un keynote potrebbe esserci una sorta di sessione di domande e risposte specializzata, e poi anche un'area di discussione. Ho fatto un po' di ricerche e ho trovato un ottimo (ufficialmente accompagnato da ) e una lezione di un'ora con il Microsoft Faculty Summit.
Se hai sempre considerato queste persone come nomi scolpiti nella pietra da Wikipedia e sulle copertine dei libri, è ora di incontrarli dal vivo! Parla con loro e fai domande a cui le pagine degli articoli scientifici non rispondono, ma i loro autori saranno felici di mettersi in contatto.
Call for Papers
Non è un segreto che molti di coloro che stanno leggendo l'articolo non disdegnerebbero di raccontare qualcosa di veramente interessante. Dal punto di vista ingegneristico, scientifico o di qualsiasi altro tipo. Calcolo distribuito è un tema molto ampio e profondo, dove c'è spazio per tutti.
Se desideri parlare accanto a Lamport, è del tutto possibile. Per diventare relatore, devi , leggere attentamente tutto ciò che trovi e seguire le istruzioni.
Stai tranquillo, non appena ti unisci al processo, riceverai aiuto. Il comitato programmatico ha sufficienti risorse per assisterti con la presentazione, il contenuto e il formato. Il coordinatore ti aiuterà a risolvere domande organizzative e così via.
Fai particolare attenzione all'immagine con le date. Luglio è una data piuttosto lontana per i partecipanti, mentre al relatore occorre iniziare ad agire già adesso.
Scuola SPTDC
La conferenza si svolgerà nella stessa sede della scuola SPTDC, quindi per tutti coloro che acquisteranno un biglietto per la scuola, i biglietti per la conferenza saranno con uno sconto del 20%.
è una scuola che offre un'ampia gamma di corsi sui vari aspetti pratici e teorici dei sistemi distribuiti, tenuti da esperti riconosciuti nel settore.
La scuola si svolgerà in inglese, quindi ecco come appare l'elenco degli argomenti trattati:
- Strutture dati concorrenti: correttezza ed efficienza;
- Algoritmi per la memoria non volatile;
- Calcolabilità distribuita;
- Apprendimento automatico distribuito;
- Replica delle macchine a stato e Paxos;
- Tolleranza ai guasti bizantini;
- Fondamenti algoritmici delle blockchain.
Interverranno i seguenti relatori:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (University of Nantes).
con le presentazioni della scuola precedente può essere vista liberamente su YouTube:
Passaggi successivi
Il programma della conferenza è ancora in fase di sviluppo. Segui le novità su Habr o sui social media (, , ).
Se credete davvero nella conferenza (o volete approfittare del costo speciale di avvio, quello che si chiama «Early Bird») — potete andare sul sito e .
Ci vediamo su Hydra!
Fonte: habr.com
