{"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":"I fondatori della teoria dei sistemi distribuiti nell'abbraccio dell'idra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"IQuesto Leslie Lamport<\/strong> \u2014 autore di lavori fondamentali nel calcolo distribuito, e potresti conoscerlo anche per le lettere La nella parola La<\/b>TeX \u2014 \u00abLamport TeX\u00bb. \u00c8 lui che per la prima volta, nel 1979, ha introdotto 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: \u00abPODC Influential Paper Award\u00bb). C'\u00e8 un articolo su di lui su Wikipedia<\/a><\/noindex>, dove puoi trovare ulteriori interessanti link. Se sei entusiasta della risoluzione di problemi su happens-before o i problemi dei generali bizantini<\/a><\/noindex> (BFT), dovresti capire che dietro a tutto questo c'\u00e8 Lamport.
\n<\/p>\n

<\/p>\n

E presto verr\u00e0 alla nostra nuova conferenza sul calcolo distribuito \u2014 Hydra, che si terr\u00e0 l'11-12 luglio a San Pietroburgo. Vediamo che tipo di bestia sia.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Argomenti come la programmazione concorrente sono tra i pi\u00f9 popolari alle nostre conferenze e lo sono sempre stati. Solo poco fa, questa sala era semi-vuota, ma ecco che sul palco appare una persona che parla di modelli di memoria, happens-before o della raccolta dei rifiuti concorrente e \u2014 boom! \u2014 gi\u00e0 quasi mille persone occupano tutto lo spazio disponibile per sedersi e ascoltare attentamente. Qual \u00e8 il segreto di questo successo? Forse \u00e8 che tutti noi abbiamo a disposizione dell'hardware capace di eseguire calcoli distribuiti? Oppure \u00e8 perch\u00e9, a livello subconscio, comprendiamo la nostra incapacit\u00e0 di sfruttarlo a dovere? C'\u00e8 una vera storia di un quant di San Pietroburgo (ovvero un analista quantitativo finanziario e sviluppatore) che si \u00e8 trovato tra le mani un cluster di calcolo, la cui potenza pu\u00f2 essere utilizzata solo da lui. E voi, cosa fareste se aveste a disposizione una potenza di calcolo di gran lunga superiore a quella attuale per le vostre attivit\u00e0?<\/p>\n

<\/p>\n

Grazie alla sua popolarit\u00e0, il tema delle prestazioni e dei calcoli efficienti ha la tendenza a diffondersi nei programmi delle conferenze. Quanto dei due giorni di relazioni pu\u00f2 essere dedicato al performance \u2014 un terzo, due terzi? In alcuni casi, esistono limitazioni artificiali che limitano questa espansione: oltre al performance, deve rimanere spazio per nuovi framework web, per qualche DevOps o astrofisica architettonica. No, performance, non ci mangerai tutti interi!<\/p>\n

<\/p>\n

Si potrebbe andare nella direzione opposta, arrendersi e onestamente fare una conferenza che sia completamente dedicata al calcolo distribuito e solo a quello. Ed ecco a voi, Hydra.<\/p>\n

<\/p>\n

Ammettiamolo, oggigiorno tutti i calcoli sono in un modo o nell'altro distribuiti. Che si tratti di una macchina multicore, di un cluster computazionale o di un servizio distribuito su larga scala, ci sono sempre numerosi processi che eseguono calcoli indipendenti in parallelo, sincronizzandosi tra loro. L'argomento di come ci\u00f2 sia strutturato in teoria e funzioni nella pratica sar\u00e0 dedicato a Hydra.<\/p>\n

<\/p>\n

Programma della conferenza<\/h1>\n

<\/p>\n

Il programma \u00e8 attualmente in fase di sviluppo. Dovrebbe includere relazioni dai pionieri delle teorie dei sistemi distribuiti e dagli ingegneri che lavorano con essi in produzione.<\/p>\n

<\/p>\n

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

<\/p>\n

\"I Maurice Herlihy<\/strong> \u00e8 un professore molto noto e rispettato di Computer Science, e c'\u00e8 anche una pagina su Wikipedia<\/a><\/noindex>, dove puoi esplorare link e lavori. L\u00ec puoi notare ben due premi Dijkstra, il primo 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>. Tra l'altro, i link non portano nemmeno a SciHub, ma alla Brown University e alla Virginia Tech University, puoi aprirli e leggerli.
\n<\/p>\n

<\/p>\n

Maurice terr\u00e0 un keynote dal titolo \u00abBlockchains from a distributed computing perspective\u00bb. Se ti interessa, puoi dare un'occhiata alla registrazione della conferenza di Maurice al JUG di San Pietroburgo. Valuta quanto chiaramente e comprensibilmente espone il tema.<\/p>\n

\n

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

\"IIl secondo keynote intitolato \u00abDual Data Structures\u00bb sar\u00e0 presentato da Michael Scott<\/strong> dell'Universit\u00e0 di Rochester. E indovina un po' \u2014 ha anche la sua pagina su Wikipedia.<\/a><\/noindex>. In Wisconsin, he is known for his role as dean at the University of Wisconsin-Madison, and in the wider world, he is the person who, together with Doug Lea, developed the non-blocking algorithms and concurrent queues that underpin Java libraries. He received his Dijkstra Prize three years after Herlihy, for his work \"Algorithms for scalable synchronization on shared-memory multiprocessors\" (as expected, it is openly available<\/a><\/noindex> in the online library of the University of Rochester).
\n<\/p>\n

<\/p>\n

There is still plenty of time until mid-July. We will provide information on the other speakers and their topics as the program is finalized and as we get closer to July. <\/p>\n

<\/p>\n

In fact, a question arises \u2014 why are we doing Hydra in the summer? After all, it's a dead season, vacation time. The issue is that among the speakers are university professors, and any other time they are occupied. We simply couldn't choose different dates.<\/p>\n

<\/p>\n

Zone di discussione<\/h1>\n

<\/p>\n

In altre conferenze, a volte il relatore legge ci\u00f2 che deve e poi se ne va subito. I partecipanti non hanno nemmeno tempo per cercarlo, poich\u00e9 quasi senza intervallo inizia la presentazione successiva. Questo \u00e8 molto doloroso, specialmente se ci sono persone importanti come Lamport, Herlihy e Scott, e di fatto si partecipa alla conferenza solo per incontrarli e discutere qualcosa. <\/p>\n

<\/p>\n

Noi abbiamo risolto questo problema. Subito dopo la sua presentazione, il relatore si reca in una zona di discussione speciale, attrezzata con almeno una lavagna con pennarello, e avete a disposizione un bel po' di tempo. Formalmente, il relatore promette di rimanere l\u00ec per almeno tutto il tempo della pausa tra le presentazioni. Nella realt\u00e0, queste zone di discussione possono<\/em> prolungarsi per ore (dipende dal desiderio e dalla resistenza del relatore). <\/p>\n

<\/p>\n

Per quanto riguarda Lamport, se ho capito bene, vuole convincere il maggior numero possibile di persone che TLA+<\/a><\/noindex> \u00e8 una cosa buona. (Articolo su TLA+ su Wikipedia<\/a><\/noindex>). Potrebbe essere una buona occasione per gli ingegneri per scoprire qualcosa di nuovo e utile. Leslie propone questa opzione: chi \u00e8 interessato pu\u00f2 guardare le sue lezioni passate e venire con domande. Quindi, invece di un keynote, potrebbe esserci una sessione Q&A specializzata e poi anche un'area di discussione. Ho fatto un po' di ricerca e ho trovato ottimo un corso su TLA+<\/a><\/noindex> (ufficialmente duplicato da una playlist su YouTube<\/a><\/noindex>) e una lezione di un'ora \u2018Thinking Above the Code\u2019<\/a><\/noindex> al 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 il momento di incontrarle di persona! Parlare e fare domande a cui non risponderanno le pagine degli articoli scientifici, ma i cui autori saranno felici di interagire.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Non \u00e8 un segreto che molti di coloro che stanno leggendo l'articolo ora sarebbero felici di condividere qualcosa di interessante. Da una prospettiva ingegneristica, scientifica \u2014 da qualsiasi punto di vista. Il calcolo distribuito \u00e8 un tema molto ampio e profondo, dove c'\u00e8 spazio per tutti.<\/p>\n

<\/p>\n

Se vuoi parlare accanto a Lamport, \u00e8 del tutto possibile. Per diventare relatore, \u00e8 necessario seguire il link<\/a><\/noindex><\/strong>, leggi attentamente tutto l\u00ec e segui le istruzioni. <\/p>\n

<\/p>\n

Stai tranquillo, una volta che ti connetti al processo, riceverai assistenza. Il comitato organizzativo ha le capacit\u00e0 necessarie per aiutarti con il rapporto, il suo contenuto e la presentazione. Il coordinatore ti aiuter\u00e0 con le questioni 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 il relatore deve iniziare a muoversi gi\u00e0 adesso. <\/p>\n

<\/p>\n

\"I<\/p>\n

<\/p>\n

Scuola SPTDC<\/h1>\n

<\/p>\n

La conferenza si terr\u00e0 nello stesso luogo della scuola SPTDC, quindi per chi acquister\u00e0 un biglietto per la scuola, i biglietti per la conferenza sono con uno sconto del 20%<\/strong>.<\/p>\n

<\/p>\n

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

<\/p>\n

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

<\/p>\n