Essa Leslie Lampport - l'autore di opere fondamentali nel calcolo distribuito, e puoi conoscerlo anche dalle lettere La nella parola LaTeX - "Lamport TeX". Fu lui che per la prima volta, nel lontano 1979, introdusse il concetto , e il suo articolo ha ricevuto il Dijkstra Award (più precisamente, nel 2000 il premio si chiamava alla vecchia maniera: "PODC Influential Paper Award"). C'è di lui , dove puoi ottenere alcuni link più interessanti. Se sei entusiasta di risolvere i problemi su accade-prima o (BFT), devono capire che dietro a tutto c'è Lamport.
E presto verrà alla nostra nuova conferenza sul calcolo distribuito - Hydra, che si terrà dall'11 al 12 luglio a San Pietroburgo. Vediamo che tipo di animale è.
Hydra 2019
Argomenti come il multithreading sono alcuni degli argomenti più caldi delle nostre conferenze, lo sono sempre stati. Era solo deserto in questa sala, ma poi una persona appare sul palco, parlando del modello di memoria, succede prima o raccolta di rifiuti multi-thread e - boom! - già meno di mille persone occupano tutto lo spazio disponibile per sedersi e ascoltare con attenzione. Qual è l'essenza di questo successo? Forse il fatto che tutti noi abbiamo tra le mani un qualche tipo di hardware in grado di organizzare il calcolo distribuito? O è che inconsciamente comprendiamo la nostra incapacità di caricarlo al suo vero valore? C'è una vera storia di un quanto di San Pietroburgo (ovvero un analista e sviluppatore quantitativo finanziario), che si è ritrovato con un cluster informatico tra le mani, la cui piena potenza può essere utilizzata solo da lui da solo. E cosa faresti se dovessi svolgere i tuoi compiti con capacità molte volte maggiori di adesso?
A causa di questa popolarità, il tema delle prestazioni e dell'efficienza informatica tende a diffondersi nel programma della conferenza. Quanti dei due giorni di rapporti possono essere fatti sulla performance - un terzo, due terzi? In alcuni luoghi ci sono restrizioni artificiali che limitano questa crescita: oltre alle prestazioni, deve esserci ancora spazio per nuovi framework web, per una sorta di devops o astronautica architettonica. No, spettacolo, non ci mangerai tutti interi!
Oppure puoi andare nella direzione opposta, rinunciare e fare onestamente una conferenza che riguarderà interamente il calcolo distribuito e solo su di loro. Ed eccolo qui, Idra.
Ammettiamo onestamente che oggi tutti i computer sono distribuiti in un modo o nell'altro. Che si tratti di una macchina multi-core, di un cluster informatico o di un servizio distribuito su larga scala, esistono numerosi processi ovunque che eseguono calcoli indipendenti in parallelo, sincronizzandosi tra loro. Come funziona in teoria e come funziona in pratica sarà al centro di Hydra.
Programma della conferenza
Il programma è attualmente in fase di sviluppo. Dovrebbe includere rapporti dei fondatori delle teorie dei sistemi distribuiti e degli ingegneri che lavorano con loro nella produzione.
Ad esempio, sappiamo già della partecipazione di Leslie Lamport di Microsoft Research e Maurice Herlihy della Brown University.
Maurizio Herlihy - un professore di informatica molto famoso e rispettato, c'è anche una storia su di lui , dove puoi consultare i link e le opere. Lì puoi notare ben due premi Dijkstra, il primo per il lavoro , e il secondo, più recente - . A proposito, i collegamenti non portano nemmeno a SciHub, ma alla Brown University e alla Virginia Tech University, puoi aprire e leggere.
Maurice ospiterà un keynote chiamato "Blockchains da una prospettiva di calcolo distribuito". Se interessati, potete dare un'occhiata alla registrazione del rapporto di Maurice dal JUG di San Pietroburgo. Valuta quanto in modo chiaro e comprensibile trasmette l'argomento.
Leggerà la seconda nota chiave chiamata "Dual Data Structures". Michele Scotto dall'Università di Rochester. E indovina un po', anche lui ha il suo . A casa nel Wisconsin, è noto per il suo lavoro come preside dell'Università del Wisconsin-Madison, e nel mondo è l'uomo che, insieme a Doug Lea, ha sviluppato quegli algoritmi non bloccanti e le code sincrone su cui girano le librerie Java . Ha ricevuto il suo Dijkstra Prize tre anni dopo Herlihy, per il suo lavoro "Algoritmi per la sincronizzazione scalabile su multiprocessori a memoria condivisa" (come previsto, presso la biblioteca online dell'Università di Rochester).
C'è ancora molto tempo fino a metà luglio. Vi parleremo di altri relatori e dei loro argomenti mentre perfezioniamo il programma e ci avviciniamo a luglio.
In generale, sorge la domanda: perché produciamo Hydra in estate? Dopotutto, questa è la bassa stagione, le vacanze. Il problema è che tra i relatori ci sono professori universitari, e ogni altro momento è occupato per loro. Non potevamo scegliere altre date.
Zone di discussione
In altre conferenze capita che l'oratore legga ciò che è necessario e se ne vada subito. I partecipanti non hanno nemmeno il tempo di cercarlo: dopotutto, il rapporto successivo inizia quasi senza interruzioni. Fa molto male, specialmente quando sono presenti persone importanti come Lamport, Herlihy e Scott e vai alla conferenza solo per incontrarli e parlare di qualcosa.
Abbiamo risolto questo problema. Subito dopo la sua relazione, l'oratore si reca in un'apposita area di discussione dotata almeno di una lavagna con un pennarello, e hai un bel po' di tempo. Formalmente, l'oratore promette di essere presente almeno durante l'intervallo tra una relazione e l'altra. In realtà, queste aree di discussione può allungare per ore e ore (a seconda del desiderio e della resistenza di chi parla).
Per quanto riguarda Lamport, se ho capito bene, vuole convincere quante più persone possibile - Questa è una buona cosa. (). Forse questa sarà una buona occasione per gli ingegneri per imparare qualcosa di nuovo e utile. Leslie offre questa opzione: chiunque sia interessato può guardare le sue lezioni passate e venire con domande. Cioè, invece di un keynote, può esserci, per così dire, una sessione di domande e risposte specializzata e quindi un'altra area di discussione. Ho googlato un po' e ne ho trovato uno fantastico (ufficialmente soprannominato ) e un'ora di lezione con Microsoft Faculty Summit.
Se hai pensato a tutte queste persone come nomi scolpiti nel granito da Wikipedia e sulle copertine dei libri, è ora di incontrarli dal vivo! Chatta e fai domande a cui le pagine degli articoli scientifici non risponderanno, ma i loro autori saranno felici di mettersi in contatto.
Call for Papers
Non è un segreto che molti di coloro che ora leggono l'articolo non sono contrari a raccontare loro stessi qualcosa di abbastanza interessante. Da un punto di vista ingegneristico, da un punto di vista scientifico, da qualsiasi punto di vista. Il calcolo distribuito è un argomento molto ampio e profondo, dove c'è posto per tutti.
Se vuoi giocare al fianco di Lamport, è del tutto possibile. Per diventare un oratore, è necessario , leggi attentamente tutto lì e fallo secondo le istruzioni.
Sii calmo, non appena ti connetti al processo, sarai aiutato. Il comitato del programma dispone di risorse sufficienti per aiutare con la relazione stessa, la sua essenza e il suo design. Il coordinatore ti aiuterà ad affrontare i problemi organizzativi e così via.
Presta particolare attenzione all'immagine con le date. Luglio è una data piuttosto lontana per il partecipante e l'oratore deve iniziare a recitare ora.
Scuola SPTDC
La conferenza si terrà sullo stesso sito con la scuola SPTDC, quindi per tutti coloro che acquistano un biglietto per la scuola, i biglietti per la conferenza - con uno sconto di 20%.
- una scuola che offre un'ampia gamma di corsi sugli aspetti pratici e teorici dei sistemi distribuiti, tenuti da esperti riconosciuti nel settore in questione.
La scuola si terrà in 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 della macchina a stati e Paxos;
- Tolleranza ai guasti bizantina;
- Basi algoritmiche di blockchain.
Interverranno i seguenti relatori:
- Leslie Lamport (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).
con le relazioni della scuola precedente sono liberamente visualizzabili su YouTube:
Prossimi passi
Il programma della conferenza è ancora in fase di definizione. Segui le notizie su Habré o sui social network (, , ).
Se credi davvero nella conferenza (o vuoi approfittare del prezzo di partenza speciale, come si dice, "Early Bird") - puoi andare sul sito e .
Ci vediamo all'Idra!
Fonte: habr.com