{"id":35091,"date":"2019-10-31T22:02:18","date_gmt":"2019-10-31T19:02:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/19-golov-gidry-bolshoj-obzor-programmy\/"},"modified":"2019-10-31T22:02:18","modified_gmt":"2019-10-31T19:02:18","slug":"19-golov-gidry-bolshoj-obzor-programmy","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 teste dell'idra. Una grande panoramica del programma","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

L'11 e 12 luglio si terr\u00e0 a San Pietroburgo una conferenza Hydra<\/a><\/noindex>, dedicata allo sviluppo di sistemi paralleli e distribuiti. Il punto di forza di Hydra \u00e8 che riunisce grandi scienziati (che di solito si trovano solo in conferenze scientifiche all'estero) e ingegneri pratici rinomati, in un grande programma che unisce scienza e pratica.<\/p>\n

<\/p>\n

Hydra \u00e8 una delle nostre conferenze pi\u00f9 importanti degli ultimi anni. \u00c8 stata preceduta da una preparazione molto seria, con la selezione di relatori e presentazioni. La settimana scorsa \u00e8 stata pubblicata un'intervista su Habr con il direttore di JUG.ru Group, Alexey Fedorov (<\/a><\/noindex> 23derevo) riguardo a tre importanti partecipanti, pionieri della teoria dei sistemi distribuiti \u2014 Leslie Lamport, Maurice Herlihy e Michael Scott. \u00c8 tempo di parlare pi\u00f9 in dettaglio dell'intero programma!<\/a><\/noindex>). <\/p>\n

<\/p>\n

Noi gi\u00e0 parlato<\/a><\/noindex> su tre importanti figure, i fondatori della teoria dei sistemi distribuiti \u2014 Leslie Lamport, Maurice Herlihy e Michael Scott. \u00c8 il momento di parlare pi\u00f9 dettagliatamente dell'intero programma!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivazione<\/h2>\n

<\/p>\n

Se ti occupi di programmazione, ti confronti inevitabilmente con la multi-threading e il calcolo distribuito. Gli specialisti nelle aree pertinenti lavorano direttamente con questi concetti, ma la distribuzione ci circonda ovunque: in qualsiasi computer multi-core o servizio distribuito c'\u00e8 sempre qualcosa che esegue calcoli in parallelo.<\/p>\n

<\/p>\n

Esistono molte conferenze che esplorano vari aspetti della programmazione applicata. Dall'altra parte dello spettro abbiamo scuole scientifiche specializzate, che attraverso format di lezione svelano enormi volumi di teoria complessa. Ad esempio, parallelamente a Hydra a San Pietroburgo si svolge la scuola SPTDC<\/a><\/noindex>. Alla conferenza Hydra abbiamo cercato di unire la dura pratica, la scienza e tutto ci\u00f2 che si trova al loro incrocio.<\/strong> <\/p>\n

<\/p>\n

Riflettete su questo: viviamo in un periodo straordinario, in cui \u00e8 possibile incontrare di persona i fondatori di quel campo della scienza e dell'ingegneria in cui operiamo. I fisici non incontreranno n\u00e9 Newton n\u00e9 Einstein \u2014 il treno \u00e8 gi\u00e0 partito. Ma accanto a noi ci sono ancora coloro che hanno creato le basi della teoria dei sistemi distribuiti, inventato linguaggi di programmazione popolari e realizzato per la prima volta tutto ci\u00f2 in prototipi funzionanti. Queste persone non hanno abbandonato il loro lavoro a met\u00e0 strada, si occupano attualmente di problematiche attuali in universit\u00e0 e aziende di fama mondiale, e sono le maggiori fonti di conoscenza e esperienza al giorno d'oggi. <\/p>\n

<\/p>\n

D'altra parte, la possibilit\u00e0 di incontrarli rimane per lo pi\u00f9 teorica: pochi di noi possono costantemente monitorare eventi pubblici in qualche universit\u00e0 di Rochester, per poi correre negli Stati Uniti e tornare indietro per una lezione con Michael Scott. Visitare tutti i partecipanti a Hydra costerebbe una piccola fortuna, senza contare l'enorme quantit\u00e0 di tempo sprecato (anche se suona come un'avventura interessante).<\/p>\n

<\/p>\n

D'altro canto, abbiamo un gran numero di eccellenti ingegneri che stanno attualmente lavorando su questioni attuali dei sistemi distribuiti, e hanno sicuramente molte cose da raccontare. Ma ecco il problema: loro lavorano<\/em>, e il loro tempo \u00e8 prezioso. S\u00ec, se sei un dipendente di Microsoft, Google o JetBrains, le probabilit\u00e0 di incontrare uno dei relatori noti a un evento interno aumentano drasticamente, ma in generale\u2014no, non capita tutti i giorni.<\/p>\n

<\/p>\n

In questo modo, la conferenza Hydra svolge un compito importante che la maggior parte di noi non pu\u00f2 fare da sola: riunisce in un luogo e in un momento le persone le cui idee o interazioni possono cambiare la tua vita. Ammetto che non a tutti interessano i sistemi distribuiti o questioni fondamentali complesse. Si pu\u00f2 passare tutta la vita a programmare CRUD in PHP e comunque essere piuttosto felici. Ma chi \u00e8 interessato, questa \u00e8 la vostra opportunit\u00e0.<\/p>\n

<\/p>\n

Dall'annuncio iniziale della conferenza Hydra su Habr \u00e8 passato gi\u00e0 molto tempo. In questo periodo \u00e8 stato fatto un enorme lavoro, e ora abbiamo un elenco di quasi tutte le presentazioni. Niente algoritmi unici e lenti, solo puro hardcore distribuito! Mettiamo da parte le parole generiche e vediamo cosa abbiamo ora.<\/p>\n

<\/p>\n

Keynote<\/h2>\n

<\/p>\n

I keynote aprono e chiudono i giorni della conferenza. Di solito l'obiettivo del keynote di apertura \u00e8 impostare lo spirito generale e la direzione della conferenza. Il keynote di chiusura riassume gli eventi e spiega come vivere con le conoscenze e le abilit\u00e0 acquisite nei giorni della conferenza. Inizio e fine: ci\u00f2 che rester\u00e0 meglio impresso e, in generale, ha un'importanza maggiore.<\/p>\n

<\/p>\n

Cliff Click \u2014 L'algoritmo K\/V distribuito H2O<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff \u00e8 una leggenda nel mondo Java. Alla fine degli anni '90, per la sua tesi di PhD, ha scritto un lavoro intitolato \u00abCombining Analyses, Combining Optimizations\u00bb<\/noindex>, che divent\u00f2 in seguito la base per il HotSpot JVM Server Compiler. Due anni dopo stava gi\u00e0 lavorando in Sun Microsystems sulla JVM e dimostr\u00f2 al mondo che il JIT aveva diritto di esistere. Tutta questa storia sul fatto che Java \u00e8 uno dei runtime moderni pi\u00f9 rapidi, con le ottimizzazioni pi\u00f9 intelligenti e veloci, nasce proprio da Cliff Click. Inizialmente si pensava che se qualcosa fosse accessibile a un compilatore statico, non valesse nemmeno la pena di tentare di JITare. Grazie ai lavori di Cliff e del suo team, tutti i nuovi linguaggi iniziarono ad essere creati con l'idea di JIT compilation come opzione predefinita. Certamente, non fu un lavoro di una sola persona, ma Cliff gioc\u00f2 un ruolo molto importante in esso.<\/p>\n

<\/p>\n

Nella keynote di apertura, Cliff parler\u00e0 di un'altra sua iniziativa \u2014 H20<\/a><\/noindex>, una piattaforma in-memory per l'apprendimento automatico distribuito e scalabile per applicazioni industriali. Pi\u00f9 precisamente \u2014 di uno storage distribuito di coppie \u00abchiave-valore\u00bb all'interno di essa. Si tratta di uno storage molto veloce con una miriade di propriet\u00e0 interessanti (l'elenco completo \u00e8 in descrizione<\/a><\/noindex>), che permettono di utilizzare soluzioni simili nella matematica dello streaming di grandi dati.<\/p>\n

<\/p>\n

Un altro intervento al quale parteciper\u00e0 Cliff \u2014 L'esperienza con la Memoria Trasazionale Hardware di Azul<\/a><\/noindex>. Un'altra parte della sua biografia \u00e8 stata dieci anni di lavoro in Azul<\/noindex>, dove ha aggiornato e migliorato molte cose nell'hardware e nel stack tecnologico di Azul: compilatori JIT, runtime, modello di thread, gestione degli errori, gestione dello stack, interruzioni hardware, caricamento delle classi e cos\u00ec via \u2014 insomma, avete capito.<\/p>\n

<\/p>\n

La parte pi\u00f9 interessante \u00e8 iniziata quando hanno creato hardware per grandi imprese \u2014 un supercomputer progettato per eseguire Java. Era una cosa piuttosto innovativa, progettata appositamente per Java, che ha requisiti speciali \u2014 barriere di memoria per una raccolta dei rifiuti a bassa latenza, array con verifica dei limiti, chiamate virtuali\u2026 Una delle tecnologie pi\u00f9 interessanti \u00e8 la memoria trasazionale hardware. Ogni L1 di ciascuno dei 864 nuclei poteva partecipare a una registrazione transazionale, il che \u00e8 particolarmente importante per lavorare con i lock in Java (i blocchi synchronized possono funzionare in parallelo, finch\u00e9 non c'\u00e8 un reale conflitto di memoria). Ma la bella idea si \u00e8 scontrata con la dura realt\u00e0 \u2014 e in questa presentazione, Cliff spiegher\u00e0 perch\u00e9 HTM e STM non si adattano bene alle esigenze pratiche del calcolo multithreading.<\/p>\n

<\/p>\n

Michael Scott \u2014 Strutture dati duali<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 professore di Informatica presso l'Universit\u00e0 di Rochester, con cui il destino lo ha legato gi\u00e0 da 34 anni<\/noindex>, e all'Universit\u00e0 del Wisconsin-Madison, dove \u00e8 stato decano per cinque anni. Si occupa di ricerca nel campo della programmazione parallela e distribuita e del design dei linguaggi, insegnando a questo i suoi studenti.<\/p>\n

<\/p>\n

Il mondo conosce Michael grazie al suo libro di testo \u00abProgramming Language Pragmatics\u00bb<\/a><\/noindex>, la cui ultima edizione \u00e8 stata pubblicata relativamente recentemente \u2014 nel 2015. Il suo lavoro \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb<\/a><\/noindex> ha ricevuto ha vinto il premio Dijkstra<\/a><\/noindex> come uno dei pi\u00f9 noti nel campo del calcolo distribuito e \u00e8 semplicemente accessibile<\/a><\/noindex> nella biblioteca online dell'Universit\u00e0 di Rochester. Potreste anche conoscerlo come l'autore dell'algoritmo di Michael-Scott di \u00abSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u00bb<\/a><\/noindex>.<\/p>\n

<\/p>\n

Per quanto riguarda il mondo Java, qui il caso \u00e8 particolare: insieme a Doug Lea ha sviluppato quegli algoritmi non bloccanti e le code sincrone su cui si basano le librerie Java. \u00c8 esattamente di questo che parler\u00e0 il keynote \u00abStrutture dati duali\u00bb \u2014 l'implementazione di queste strutture in Java SE 6 ha permesso di migliorare le prestazioni di 10 volte java.util.concurrent.ThreadPoolExecutor<\/code>. Se ti interessa in anticipo cosa siano queste famose \u00abstrutture dati duali\u00bb, puoi leggere di questo nella lavoro corrispondente<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchain e il futuro del calcolo distribuito<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 vincitore di ben due premi Dijkstra. Il primo \u2014 per il lavoro su \u00abWait-Free Synchronization\u00bb<\/a><\/noindex> (Brown University), e il secondo, pi\u00f9 recente \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex> (Virginia Tech University). Il premio Dijkstra \u00e8 assegnato per opere la cui rilevanza e influenza sono state evidenti per almeno dieci anni, e chiaramente Maurice \u00e8 uno dei pi\u00f9 noti esperti nel settore. Attualmente svolge la professione di professore alla Brown University e ha numerosi traguardi che meritano un intero paragrafo.<\/p>\n

<\/p>\n

In questo keynote conclusivo, Maurice parler\u00e0 della teoria e della pratica dei sistemi distribuiti basati su blockchain dal punto di vista della classica informatica distribuita e di come ci\u00f2 semplifichi molte problematiche correlate. Questa \u00e8 una presentazione esclusivamente sulla tematica della conferenza \u2014 niente sul boom del mining, ma piuttosto su come le nostre conoscenze possono essere straordinariamente efficacemente e opportunamente utilizzate per affrontare una vasta gamma di compiti.<\/p>\n

<\/p>\n

Nel luglio 2017, Maurice era gi\u00e0 stato in Russia per la scuola SPTDC, ha partecipato a un meet-up di JUG.ru, e la registrazione pu\u00f2 essere vista su YouTube:<\/p>\n

\n

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

Programma principale<\/h2>\n

<\/p>\n

Di seguito troverai una breve panoramica delle relazioni incluse nel programma. Alcune relazioni sono descritte in dettaglio, altre in modo pi\u00f9 conciso. Le descrizioni lunghe sono state assegnate principalmente a relazioni in lingua inglese che richiedono riferimenti a lavori scientifici, termini su Wikipedia e cos\u00ec via. L'elenco completo pu\u00f2 essere visto sul sito della conferenza<\/a><\/noindex>. L'elenco sul sito verr\u00e0 aggiornato e ampliato. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 Domande e risposte<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport \u00e8 l'autore di opere fondamentali nel campo del calcolo distribuito. \u00abLaTeX\u00bb<\/a><\/noindex> \u00e8 l'acronimo di \u00abLamport TeX\u00bb. \u00c8 stato lui a introdurre per primo, nel 1979, 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.<\/p>\n

<\/p>\n

Questa \u00e8 la parte del programma pi\u00f9 insolita per formato, poich\u00e9 non si tratta nemmeno di una relazione, ma di una sessione di domande e risposte. Quando gran parte del pubblico \u00e8 gi\u00e0 familiare (o pu\u00f2 familiarizzare) con vari lavori basati sulla \u00abteoria di Lamport\u00bb, sui suoi articoli e presentazioni, \u00e8 essenziale dedicare tutto il tempo disponibile alla comunicazione diretta.<\/p>\n

<\/p>\n

L'idea \u00e8 semplice: guardi due relazioni su YouTube: \u00abProgramming Should Be More Than Coding\u00bb<\/a><\/noindex> e \u00abSe non stai scrivendo un programma, non usare un linguaggio di programmazione\u00bb<\/a><\/noindex> e prepari almeno una domanda, a cui Leslie risponder\u00e0.<\/p>\n

<\/p>\n

Il primo di questi due video lo abbiamo gi\u00e0 trasformato in un articolo<\/a><\/noindex>. Se non hai un'ora da dedicare alla visione del video, puoi rapidamente leggere tutto questo in forma testuale.<\/p>\n

<\/p>\n

Nota: su YouTube ci sono molti pi\u00f9 video con Leslie Lamport. Ad esempio, c'\u00e8 un ottimo un corso su TLA+<\/a><\/noindex>. La versione offline di tutto questo corso \u00e8 disponibile sulla pagina principale dell'autore<\/a><\/noindex>, e su YouTube ha caricato una versione per una visualizzazione pi\u00f9 comoda su dispositivi mobili.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Sincronizzazione dei dati tra i dispositivi degli utenti per una collaborazione distribuita<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann \u00e8 un ricercatore all'Universit\u00e0 di Cambridge, che lavora su CRDT e verifica formale degli algoritmi. Il libro di Martin \u00abDesigning Data-Intensive Applications\u00bb<\/noindex>, pubblicato nel 2017, ha avuto un grande successo ed \u00e8 entrato nelle liste dei bestseller nel campo dello storage e dell'elaborazione dei dati. Kevin Scott, CTO di Microsoft, ha una volta detto<\/a><\/noindex>: \u00abQuesto libro dovrebbe essere obbligatorio per gli ingegneri di sviluppo. \u00c8 una risorsa rara che unisce teoria e pratica, aiutando gli sviluppatori a progettare e implementare in modo pi\u00f9 intelligente infrastrutture e sistemi di elaborazione dei dati\u00bb. Qualcosa di simile ha detto anche il creatore di Kafka e CTO di Confluent, Jay Kreps.<\/p>\n

<\/p>\n

Prima di dedicarsi alla ricerca accademica, Martin ha lavorato nel settore e co-fondato due startup di successo:<\/p>\n

<\/p>\n