{"id":34759,"date":"2019-10-31T22:00:14","date_gmt":"2019-10-31T19:00:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry\/"},"modified":"2019-10-31T22:00:14","modified_gmt":"2019-10-31T19:00:14","slug":"osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Fondatori della teoria dei sistemi distribuiti nelle braccia dell'idra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"FondatoriQuesto Leslie Lamport<\/strong> \u2014 autore di opere fondamentali nel calcolo distribuito, e potresti conoscerlo anche dalle lettere La nella parola La<\/b>TeX \u2014 \"Lamport TeX\". \u00c8 stato lui il primo, nel 1979, a introdurre il concetto di coerenza sequenziale<\/a><\/noindex>, e il suo articolo \u00abHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u00bb<\/a><\/noindex> ha ricevuto il premio Dijkstra (in effetti, nel 2000 il premio era ancora chiamato: \"PODC Influential Paper Award\"). C'\u00e8 un articolo su di lui in Wikipedia<\/a><\/noindex>, dove puoi trovare anche altri link interessanti. Se sei affascinato dalla risoluzione di problemi come happens-before o i problemi dei generali bizantini<\/a><\/noindex> (BFT), devi capire che tutto questo \u00e8 possibile grazie a Lamport.
\n<\/p>\n

<\/p>\n

E inoltre, presto verr\u00e0 alla nostra nuova conferenza sul calcolo distribuito \u2014 Hydra, che si terr\u00e0 l'11-12 luglio a San Pietroburgo. Diamo un'occhiata a che cosa sia questo animale.<\/p>\n

<\/a><\/noindex><\/p>\n

Hydra 2019<\/h1>\n

<\/p>\n

Temi come la multithreading sono tra i pi\u00f9 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 \u2014 boom! \u2014 quasi mille persone occupano ogni posto disponibile per sedersi e ascoltare attentamente. Qual \u00e8 il segreto di questo successo? Forse \u00e8 perch\u00e9 tutti noi abbiamo a disposizione qualche hardware in grado di gestire il calcolo distribuito? O perch\u00e9 comprendiamo inconsciamente la nostra incapacit\u00e0 di sfruttarlo a pieno? C'\u00e8 una storia reale di un Quant di San Pietroburgo (cio\u00e8 di un analista finanziario quantitativo e sviluppatore), che si \u00e8 trovato con un cluster di calcolo la cui piena potenza pu\u00f2 utilizzare solo lui. E tu, cosa faresti se avessi a disposizione risorse di calcolo di gran lunga superiori a quelle attuali?<\/p>\n

<\/p>\n

Grazie a questa popolarit\u00e0, il tema della produttivit\u00e0 e dei calcoli efficienti tende a diffondersi nel programma delle conferenze. Quanti dei due giorni di relazioni possono essere dedicati al performance \u2014 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!<\/p>\n

<\/p>\n

Oppure si pu\u00f2 andare nella direzione opposta, arrendersi e fare onestamente una conferenza che sar\u00e0 interamente dedicata ai calcoli distribuiti e solo a quelli. Ed ecco a voi, l'Idra.<\/p>\n

<\/p>\n

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 \u2014 ovunque ci sono molti processi che eseguono calcoli indipendenti in parallelo, sincronizzandosi tra loro. A come ci\u00f2 \u00e8 strutturato in teoria e come funziona nella pratica sar\u00e0 dedicata Hydra.<\/p>\n

<\/p>\n

Programma della conferenza<\/h1>\n

<\/p>\n

Il programma \u00e8 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.<\/p>\n

<\/p>\n

Ad esempio, gi\u00e0 ora si sa che parteciperanno Leslie Lamport di Microsoft Research e Maurice Herlihy della Brown University. <\/p>\n

<\/p>\n

\"Fondatori Maurice Herlihy<\/strong> \u00e8 un professore molto noto e rispettato di Computer Science, di lui esiste anche una pagina su Wikipedia<\/a><\/noindex>, dove si possono trovare diversi link e lavori. Qui si possono notare ben due premi Dijkstra, il primo \u2014 per il lavoro su \u00abWait-Free Synchronization\u00bb<\/a><\/noindex>, e il secondo, pi\u00f9 recente \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex>. A proposito, i link portano non su SciHub, ma sulla Brown University e sulla Virginia Tech University, quindi possono essere aperti e letti.
\n<\/p>\n

<\/p>\n

Maurice presenter\u00e0 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.<\/p>\n

\n

\r\n \"Guarda\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"FondatoriIl secondo keynote intitolato \"Dual Data Structures\" sar\u00e0 tenuto da da Michael Scott<\/strong> dell'Universit\u00e0 di Rochester. E indovinate un po' \u2014 anche lui ha la sua pagina su Wikipedia<\/a><\/noindex>. A casa sua nel Wisconsin, \u00e8 conosciuto per il suo lavoro come decano all'universit\u00e0 Wisconsin-Madison, e nel mondo reale \u00e8 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, \u00e8 pubblicamente disponibile<\/a><\/noindex> nella biblioteca online dell'Universit\u00e0 di Rochester).
\n<\/p>\n

<\/p>\n

C'\u00e8 ancora molto tempo fino a met\u00e0 luglio. Riferiremo sugli altri relatori e i loro argomenti man mano che la programmazione verr\u00e0 confermata e ci avvicineremo a luglio. <\/p>\n

<\/p>\n

In generale, sorge una domanda: perch\u00e9 facciamo Hydra in estate? \u00c8 la stagione morta, tempo di vacanze. Il problema \u00e8 che tra i relatori ci sono professori universitari e qualsiasi altro periodo per loro \u00e8 occupato. Non siamo riusciti a scegliere altre date.<\/p>\n

<\/p>\n

Zone di discussione<\/h1>\n

<\/p>\n

In altre conferenze pu\u00f2 capitare che il relatore legga quello che deve e poi se ne vada. I partecipanti non hanno nemmeno il tempo di cercarlo \u2014 poich\u00e9 il prossimo intervento inizia quasi senza interruzione. Questo \u00e8 molto doloroso, specialmente se ci sono persone importanti come Lamport, Hurley e Scott, e si va alla conferenza proprio per incontrarli e discutere qualcosa. <\/p>\n

<\/p>\n

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\u00ec per almeno tutto il tempo della pausa tra le presentazioni. In realt\u00e0, queste zone di discussione possono<\/em> possono durare ore (dipende dalla volont\u00e0 e dalla resistenza del relatore). <\/p>\n

<\/p>\n

Per quanto riguarda Lamport, se ho capito bene, vuole convincere quante pi\u00f9 persone possibile che TLA+<\/a><\/noindex> \u00e8 una cosa buona. (Articolo su TLA+ su Wikipedia<\/a><\/noindex>). Potrebbe essere una buona occasione per gli ingegneri per apprendere qualcosa di nuovo e utile. Leslie propone questa opzione: chi \u00e8 interessato pu\u00f2 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 corso su TLA+<\/a><\/noindex> (ufficialmente accompagnato da una playlist su YouTube<\/a><\/noindex>) e una lezione di un'ora \"Thinking Above the Code\"<\/a><\/noindex> con il Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Se hai sempre considerato queste persone come nomi scolpiti nella pietra da Wikipedia e sulle copertine dei libri, \u00e8 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.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Non \u00e8 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 \u00e8 un tema molto ampio e profondo, dove c'\u00e8 spazio per tutti.<\/p>\n

<\/p>\n

Se desideri parlare accanto a Lamport, \u00e8 del tutto possibile. Per diventare relatore, devi fare clic sul link<\/a><\/noindex><\/strong>, leggere attentamente tutto ci\u00f2 che trovi e seguire le istruzioni. <\/p>\n

<\/p>\n

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\u00e0 a risolvere domande organizzative e cos\u00ec via. <\/p>\n

<\/p>\n

Fai particolare attenzione all'immagine con le date. Luglio \u00e8 una data piuttosto lontana per i partecipanti, mentre al relatore occorre iniziare ad agire gi\u00e0 adesso. <\/p>\n

<\/p>\n

\"Fondatori<\/p>\n

<\/p>\n

Scuola SPTDC<\/h1>\n

<\/p>\n

La conferenza si svolger\u00e0 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%<\/strong>.<\/p>\n

<\/p>\n

Summer School on Practice and Theory of Distributed Computing (SPTDC)<\/a><\/noindex> \u00e8 una scuola che offre un'ampia gamma di corsi sui vari aspetti pratici e teorici dei sistemi distribuiti, tenuti da esperti riconosciuti nel settore.<\/p>\n

<\/p>\n

La scuola si svolger\u00e0 in inglese, quindi ecco come appare l'elenco degli argomenti trattati:<\/p>\n

<\/p>\n