{"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. Ampia panoramica del programma","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

L'11-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 a conferenze scientifiche internazionali) e ingegneri pratici riconosciuti, in un grande programma all'incrocio tra 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 relazioni. La scorsa settimana a riguardo \u00e8 stata pubblicata un'intervista su Habra<\/a><\/noindex> con il direttore dell'azienda JUG.ru Group, Aleksej Fedorov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Noi ha gi\u00e0 raccontato<\/a><\/noindex> di tre importanti partecipanti, fondatori della teoria dei sistemi distribuiti \u2014 Leslie Lamport, Maurice Herlihy e Michael Scott. \u00c8 giunto il momento di parlare pi\u00f9 in dettaglio dell'intero programma!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivazione<\/h2>\n

<\/p>\n

Se ti occupi di programmazione, in un modo o nell'altro hai a che fare con la programmazione concorrente e i calcoli distribuiti. Gli specialisti nei settori pertinenti lavorano direttamente con questi problemi, ma la distribuzione ci osserva da ogni angolo: in ogni computer multicore o servizio distribuito c'\u00e8 qualcosa che esegue calcoli in parallelo.<\/p>\n

<\/p>\n

Ci sono molte conferenze che rivelano determinati aspetti della programmazione applicata. Dall'altra parte dello spettro ci sono le scuole scientifiche speciali, che in formato di lezioni illustrano enormi volumi di teoria complessa. Ad esempio, parallelamente a Hydra a Pietroburgo si tiene la scuola SPTDC<\/a><\/noindex>. Alla conferenza Hydra abbiamo cercato di riunire insieme la rigida pratica, la scienza e tutto ci\u00f2 che si colloca al loro incrocio.<\/strong> <\/p>\n

<\/p>\n

Riflettiamo su questo: viviamo in un'epoca straordinaria, in cui possiamo incontrare di persona i fondatori di quell'area di scienza e ingegneria di cui ci occupiamo. I fisici non incontreranno n\u00e9 Newton n\u00e9 Einstein \u2014 il treno \u00e8 partito. Ma accanto a noi vivono ancora coloro che hanno creato le basi della teoria dei sistemi distribuiti, hanno inventato linguaggi di programmazione popolari, e hanno per la prima volta realizzato tutto questo in prototipi funzionanti. Queste persone non hanno abbandonato il loro lavoro a met\u00e0 strada, si occupano attualmente di problemi rilevanti in universit\u00e0 e aziende di fama mondiale, e sono le pi\u00f9 grandi fonti di conoscenza e esperienza oggi. <\/p>\n

<\/p>\n

D'altra parte, la possibilit\u00e0 di incontrarli rimane generalmente puramente teorica: pochi di noi possono monitorare costantemente gli eventi pubblici in qualche universit\u00e0 di Rochester, per poi volare 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'abisso di tempo sprecato (anche se questo suona come una quest interessante).<\/p>\n

<\/p>\n

D'altra parte, abbiamo molti ingegneri di alto livello che attualmente stanno lavorando su problemi attuali dei sistemi distribuiti, e hanno sicuramente qualcosa da raccontare. Ma qui c'\u00e8 il problema: sono collabora<\/em>, e il loro tempo \u00e8 prezioso. S\u00ec, se sei un dipendente di Microsoft, Google o JetBrains, la probabilit\u00e0 di incontrare uno degli speaker noti in un evento interno aumenta bruscamente, mentre in generale \u2014 no, non capita tutti i giorni.<\/p>\n

<\/p>\n

Pertanto, 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 tempo le persone, le cui idee o interazioni possono cambiare la tua vita. Ammetto che non tutti hanno bisogno di sistemi distribuiti, o di alcune cose fondamentali complesse. Si pu\u00f2 programmare CRUD in PHP per tutta la vita e rimanere abbastanza felici. Ma per chi ne ha bisogno \u2014 questa \u00e8 la tua occasione.<\/p>\n

<\/p>\n

Dalla prima annuncio della conferenza Hydra su Habr\u00e8 \u00e8 passato gi\u00e0 parecchio tempo. In questo tempo, \u00e8 stato fatto un enorme lavoro \u2014 ecco, abbiamo una lista quasi completa di tutte le presentazioni. Niente algoritmi a thread singolo poco entusiasti, solo puro hardcore distribuito! Terminiamo con le chiacchiere generali e vediamo cosa abbiamo ora a disposizione.<\/p>\n

<\/p>\n

Keynotes<\/h2>\n

<\/p>\n

I keynotes iniziano e concludono i giorni della conferenza. Di solito, il significato del keynote di apertura \u00e8 di stabilire lo spirito generale e la direzione della conferenza. Il keynote di chiusura tira le somme e spiega come vivere con le conoscenze e abilit\u00e0 acquisite durante le giornate di conferenza. Inizio e fine: ci\u00f2 che rimarr\u00e0 impresso meglio, 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 dottorato, ha scritto un lavoro intitolato \u00abCombining Analyses, Combining Optimizations\u00bb<\/noindex>, che nel tempo \u00e8 diventata la base per il HotSpot JVM Server Compiler. Dopo due anni, lavorava gi\u00e0 in Sun Microsystems sulla JVM e ha dimostrato al mondo intero che il JIT ha diritto di esistere. Tutta questa storia di come Java sia uno dei runtime moderni pi\u00f9 veloci con le ottimizzazioni pi\u00f9 intelligenti e rapide nasce proprio da Cliff Click. All'inizio si pensava che, se qualcosa fosse accessibile a un compilatore statico, non valesse nemmeno la pena tentare di jitare. Grazie al lavoro di Cliff e del suo team, tutti i nuovi linguaggi hanno iniziato a essere creati con l'idea di JIT compilation per impostazione predefinita. Certamente, non \u00e8 stato il lavoro di una sola persona, ma Cliff ha avuto un ruolo molto importante in esso.<\/p>\n

<\/p>\n

Nella keynote di apertura, Cliff parler\u00e0 del suo altro progetto \u2014 H20<\/a><\/noindex>, una piattaforma in-memory per il machine learning distribuito e scalabile per applicazioni industriali. Pi\u00f9 precisamente \u2014 di uno storage distribuito per coppie \"chiave-valore\" al suo interno. Questo \u00e8 uno storage molto veloce con una miriade di propriet\u00e0 interessanti (l'elenco preciso \u00e8 in descrizione<\/a><\/noindex>), che consentono di utilizzare tali soluzioni nella matematica dello streaming dei big data.<\/p>\n

<\/p>\n

Un altro intervento che Cliff presenter\u00e0 sar\u00e0 \u2014 L'esperienza della memoria transazionale hardware Azul<\/a><\/noindex>. Un altro capitolo della sua biografia \u2014 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 dei 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 le grandi aziende \u2014 un supercomputer per eseguire Java. Era una cosa piuttosto innovativa, appositamente progettata per Java, che ha requisiti speciali \u2014 barriere di memoria per la lettura per Garbage Collection a bassa latenza, array con controllo dei confini, chiamate virtuali\u2026 Una delle tecnologie pi\u00f9 cool \u00e8 stata la memoria transazionale hardware. Tutto l'L1 di ciascuno dei 864 core poteva essere coinvolto nella scrittura transazionale, il che \u00e8 particolarmente importante per lavorare con i blocchi in Java (i blocchi synchronized possono lavorare in parallelo, finch\u00e9 non c'\u00e8 un vero 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 l'HTM e l'STM non sono molto adatti per le esigenze pratiche del calcolo multithreading.<\/p>\n

<\/p>\n

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

<\/p>\n

\"19 da Michael Scott<\/a><\/noindex> \u2014 professore di Computer Science all'Universit\u00e0 di Rochester, a cui il destino lo ha legato gi\u00e0 da 34 anni<\/noindex>, e nella sua universit\u00e0, Wisconsin\u2013Madison, \u00e8 stato decano per cinque anni. Si dedica alla ricerca nel campo della programmazione parallela e distribuita e alla progettazione di linguaggi, e insegna questo ai suoi studenti.<\/p>\n

<\/p>\n

Il mondo intero conosce Michael grazie al suo libro di testo \u00abProgramming Language Pragmatics\u00bb<\/a><\/noindex>, l'ultima edizione del quale \u00e8 stata pubblicata relativamente di recente \u2014 nel 2015. Il suo lavoro \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb<\/a><\/noindex> ha ricevuto ha ricevuto il premio Dijkstra<\/a><\/noindex> come uno dei pi\u00f9 noti nel campo del calcolo distribuito e \u00e8 liberamente disponibile<\/a><\/noindex> nella biblioteca online dell'Universit\u00e0 di Rochester. Potreste anche conoscerlo come l'autore dell'algoritmo di Michael-Scott contenuto in \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 speciale: insieme a Doug Lea ha sviluppato quegli algoritmi non bloccanti e le code sincronizzate su cui si basano le librerie Java. Proprio di questo tratter\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 siete curiosi di sapere cosa siano queste \u00abStrutture dati duali\u00bb, c'\u00e8 un lavoro corrispondente<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchains 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 un 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 viene assegnato per lavori la cui rilevanza e impatto siano stati evidenti per almeno dieci anni, e chiaramente, Maurice \u00e8 uno dei pi\u00f9 noti esperti in questo campo. Attualmente \u00e8 professore all'Universit\u00e0 di Brown e ha molteplici successi che meriterebbero un paragrafo intero.<\/p>\n

<\/p>\n

In questo keynote finale, 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 molti problemi correlati. Questa presentazione \u00e8 esclusivamente in linea con il tema della conferenza \u2014 non \u00e8 affatto riguardo al mining hype, ma piuttosto su come le nostre conoscenze possano essere sorprendentemente efficaci e pertinenti per una variet\u00e0 di problemi.<\/p>\n

<\/p>\n

Nel luglio 2017, Maurice \u00e8 gi\u00e0 venuto in Russia per la scuola SPTDC, ha partecipato al meetup JUG.ru, e la registrazione pu\u00f2 essere vista su YouTube:<\/p>\n

\n

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

Programma principale<\/h2>\n

<\/p>\n

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

<\/p>\n

Leslie Lamport \u2014 Q & A<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport \u00e8 l'autore di opere fondamentali nel calcolo distribuito. \u00abLaTeX\u00bb<\/a><\/noindex> \u00e8 l'acronimo di \u00abLamport TeX\u00bb. \u00c8 lui che ha introdotto per la prima volta, 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 nel formato, perch\u00e9 non \u00e8 nemmeno una relazione, ma una sessione di domande e risposte. Quando una parte significativa del pubblico \u00e8 gi\u00e0 familiare (o pu\u00f2 familiarizzare) con vari lavori basati sulla \u00abteoria di Lamport\u00bb, le sue stesse articoli e relazioni, \u00e8 fondamentale dedicare tutto il tempo disponibile alla comunicazione diretta.<\/p>\n

<\/p>\n

L'idea \u00e8 semplice: guardate su YouTube due relazioni: \u00abLa programmazione dovrebbe essere pi\u00f9 di codifica\u00bb<\/a><\/noindex> e \u00abSe non stai scrivendo un programma, non usare un linguaggio di programmazione\u00bb<\/a><\/noindex> e preparate almeno una domanda, mentre Leslie risponde.<\/p>\n

<\/p>\n

Il primo di questi due video lo abbiamo gi\u00e0 trasformato in un articolo hub<\/a><\/noindex>. Se non avete un'ora di tempo per guardare il video, potete rapidamente leggere tutto questo in forma scritta.<\/p>\n

<\/p>\n

Nota: su YouTube ci sono molte pi\u00f9 video con Leslie Lamport. Ad esempio, c'\u00e8 un ottimo corso su TLA+<\/a><\/noindex>. La versione offline di tutto questo corso \u00e8 disponibile sulla pagina personale dell'autore<\/a><\/noindex>, mentre su YouTube \u00e8 stata ripubblicata per una visione pi\u00f9 comoda sui dispositivi mobili.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Sincronizzare i 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, dove lavora su CRDT e verifica formale degli algoritmi. Il libro di Martin \u00abDesigning Data-Intensive Applications\u00bb<\/noindex>, pubblicato nel 2017, \u00e8 stato molto apprezzato ed \u00e8 entrato nelle liste dei bestseller nel campo della memorizzazione e del trattamento dei dati. Kevin Scott, CTO di Microsoft, ha detto una volta<\/a><\/noindex>: \u00abQuesto libro dovrebbe essere obbligatorio per gli ingegneri del software. \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 dati\u00bb. Qualcosa di simile \u00e8 stato detto anche dal creatore di Kafka e CTO di Confluent, Jay Kreps.<\/p>\n

<\/p>\n

Prima di dedicarsi alla ricerca accademica, Martin ha lavorato nell'industria ed \u00e8 stato cofondatore di due startup di successo:<\/p>\n

<\/p>\n