{"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\/nl\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"De grondleggers van de theorie van gedistribueerde systemen in de klauwen van de hydra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"DeDit is Leslie Lamport<\/strong> is the author of foundational works in distributed computing, and you may also know him from the letters La in the word La<\/b>TeX \u2014 \u201cLamport TeX\u201d. He was the first to introduce the concept of sequential consistency<\/a><\/noindex>, and his paper \u201cHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u201d<\/a><\/noindex> won the Dijkstra prize (actually, in 2000, the award was still called the \u201cPODC Influential Paper Award\u201d). There is an article about him on Wikipedia<\/a><\/noindex>, where you can find a few more interesting links. If you are fascinated by solving problems on happens-before or byzantine generals<\/a><\/noindex> (BFT), you should understand that Lamport is behind all of this.
\n<\/p>\n

<\/p>\n

And he will soon come to our new conference on distributed computing \u2014 Hydra, which will take place on July 11-12 in St. Petersburg. Let\u2019s see what kind of beast it is.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Topics like multithreading are among the most popular at our conferences, and they always have been. Just a moment ago, this hall was empty, but now a person appears on stage talking about memory models, happens-before, or multithreaded garbage collection, and boom! \u2014 nearly a thousand people occupy all available space to sit and listen attentively. What is the essence of this success? Maybe it\u2019s because we all have some hardware capable of organizing distributed computing? Or because we subconsciously understand our inability to load it to its full potential? Here\u2019s a real story about a quantum trader from St. Petersburg (that is, a financial quantitative analyst and developer) who ended up with a computational cluster, the full power of which he can use all by himself. What would you do if you gained computing power many times greater than what you have now to perform your tasks?<\/p>\n

<\/p>\n

Due to this popularity, the topic of performance and efficient computing tends to spread throughout the conference program. How many of the two days of talks could be dedicated to performance \u2014 a third, two-thirds? In some places, there are artificial constraints that limit this expansion: besides performance, there must also be room left for new web frameworks, for some DevOps, or architectural astronautics. No, performance, you will not devour us all whole!<\/p>\n

<\/p>\n

Maar we kunnen ook de tegenovergestelde weg inslaan, ons overgeven en een conferentie organiseren die geheel en solely over gedistribueerde berekeningen gaat. En hier is hij, Hydra.<\/p>\n

<\/p>\n

Laten we eerlijk zijn, op dit moment zijn alle berekeningen op de een of andere manier gedistribueerd. Of het nu een multicore machine, een rekencampus of een grootschalige gedistribueerde service is, overal zijn er talloze processen die onafhankelijk van elkaar parallelle berekeningen uitvoeren en met elkaar synchroniseren. Dit is wat in theorie is ingericht en in de praktijk werkt, en dat is waar Hydra aan gewijd zal zijn.<\/p>\n

<\/p>\n

Programma van de conferentie<\/h1>\n

<\/p>\n

Het programma is momenteel in ontwikkeling. Het zal presentaties bevatten van de grondleggers van de theorie\u00ebn van gedistribueerde systemen en ingenieurs die met hen in de praktijk werken.<\/p>\n

<\/p>\n

Bijvoorbeeld, het is al bekend dat Leslie Lamport van Microsoft Research en Maurice Herlihy van Brown University deelnemen. <\/p>\n

<\/p>\n

\"De Maurice Herlihy<\/strong> is een zeer bekende en gerespecteerde professor in Computer Science, er is ook een pagina op Wikipedia<\/a><\/noindex>, waar je door de links en werken kunt bladeren. Daar kun je zelfs twee Dijkstra-prijzen opmerken, de eerste voor het werk over \u00abWait-Free Synchronization\u00bb<\/a><\/noindex>, en de tweede, meer recent, \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex>. Overigens, de links leiden niet eens naar SciHub, maar naar Brown University en Virginia Tech University, je kunt ze openen en lezen.
\n<\/p>\n

<\/p>\n

Maurice gaat een keynote geven met de titel \u00abBlockchains from a distributed computing perspective\u00bb. Als je ge\u00efnteresseerd bent, kun je de opname van Maurice' presentatie van de Petersburgse JUG bekijken. Evalueer hoe duidelijk en begrijpelijk hij het onderwerp overbrengt.<\/p>\n

\n

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

\"DeDe tweede keynote met de titel \u00abDual Data Structures\u00bb zal worden gegeven door Michael Scott<\/strong> van de University of Rochester. En raad eens, hij heeft ook zijn eigen pagina op Wikipedia<\/a><\/noindex>. Hij is in Wisconsin bekend door zijn werk als decaan aan de Wisconsin-Madison Universiteit, en in de wereld is hij degene die samen met Doug Lea die niet-blokkerende algoritmen en synchronisatiequeues heeft ontwikkeld die de Java-bibliotheken aandrijven. Hij ontving zijn Dijkstra-prijs drie jaar na Herlihy, voor het werk \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb (zoals het hoort, is het openbaar beschikbaar<\/a><\/noindex> in de online bibliotheek van de University of Rochester).
\n<\/p>\n

<\/p>\n

Er is nog genoeg tijd tot half juli. Over de andere spreker en hun onderwerpen zullen we vertellen naarmate het programma verder wordt verduidelijkt en we dichter bij juli komen. <\/p>\n

<\/p>\n

In feite rijst de vraag \u2014 waarom doen we Hydra in de zomer? Het is tenslotte een dood seizoen, vakantietijd. Het probleem is dat er universiteitsdocenten onder de sprekers zijn, en op elk ander moment zijn ze druk bezet. We konden gewoon geen andere data kiezen.<\/p>\n

<\/p>\n

Discussie zones<\/h1>\n

<\/p>\n

Op andere conferenties gebeurt het soms dat de spreker zijn presentatie geeft en dan meteen vertrekt. De deelnemers hebben niet eens de tijd om hem te zoeken \u2014 want de volgende presentatie begint bijna zonder tussenpozen. Dit is erg pijnlijk, vooral als er zulke belangrijke mensen zoals Lamport, Herlihy en Scott aanwezig zijn, en je eigenlijk naar de conferentie gaat om hen te ontmoeten en iets te bespreken. <\/p>\n

<\/p>\n

Bij ons is dit probleem opgelost. Direct na zijn presentatie gaat de spreker naar een speciale discussiezone, die minimaal is uitgerust met een whiteboard, en je hebt behoorlijk veel tijd. Formeel belooft de spreker daar te blijven tijdens de gehele pauze tussen presentaties. In de praktijk kunnen deze discussie-gebieden urenlang doorgaan (afhankelijk van de wensen en uithoudingsvermogen van de spreker).<\/em> Wat Lamport betreft, als ik het goed heb begrepen, wil hij zoveel mogelijk mensen ervan overtuigen dat <\/p>\n

<\/p>\n

TLA+ een goede zaak is. (<\/a><\/noindex> Artikel over TLA+ op Wikipedia). Misschien is dit een goede kans voor ingenieurs om iets nieuws en nuttigs te leren. Leslie stelt voor dat ge\u00efnteresseerden zijn eerdere lezingen kunnen bekijken en met vragen kunnen komen. In plaats van een keynote kan er een soort gespecialiseerde Q&A-sessie zijn, en daarna nog een discussiezone. Ik heb wat gegoogeld en vond een geweldige<\/a><\/noindex>cursus over TLA+ (officieel gedupliceerd<\/a><\/noindex> met een YouTube-afspeellijst ) en een uur durende lezing<\/a><\/noindex>\u2018Thinking Above the Code\u2019 van de Microsoft Faculty Summit.<\/a><\/noindex> Als je deze mensen altijd hebt gezien als figuren uit Wikipedia en op boekomslagen \u2014 is dit het moment om hen persoonlijk te ontmoeten! Om te praten en vragen te stellen die niet worden beantwoord door wetenschappelijke artikelen, maar waarvan de auteurs graag contact willen opnemen.<\/p>\n

<\/p>\n

Call for Papers<\/p>\n

<\/p>\n

Het is geen geheim dat veel van degenen die dit artikel lezen, zelf ook graag iets interessants willen vertellen. Of het nu vanuit een ingenieurs- of wetenschappelijk oogpunt is \u2014 dit is een zeer breed en diepgaand onderwerp, waar ruimte is voor iedereen.<\/h1>\n

<\/p>\n

Het is geen geheim dat velen van degenen die dit artikel nu lezen zelf niet zouden aarzelen om iets interessants te vertellen. Of het nu vanuit een ingenieursoogpunt, vanuit de wetenschap of vanuit een andere invalshoek is \u2014 gedistribueerde berekeningen zijn een zeer breed en diep onderwerp waarin voor iedereen plaats is.<\/p>\n

<\/p>\n

Als je naast Lamport wilt spreken, is dat heel goed mogelijk. Om spreker te worden, moet je op de link klikken<\/a><\/noindex><\/strong>, alles aandachtig lezen en de instructies opvolgen. <\/p>\n

<\/p>\n

Wees gerust, zodra je betrokken bent bij het proces, zal men je helpen. Het programmeringscomit\u00e9 heeft voldoende mogelijkheden om je te ondersteunen met de presentatie, de inhoud en de opmaak. De co\u00f6rdinator zal helpen met organisatorische kwesties en dergelijke. <\/p>\n

<\/p>\n

Let bijzonder op de afbeelding met de data. Juli is een verre datum voor deelnemers, en de spreker moet nu al beginnen met actie ondernemen. <\/p>\n

<\/p>\n

\"De<\/p>\n

<\/p>\n

SPTDC School<\/h1>\n

<\/p>\n

De conferentie vindt plaats op dezelfde locatie als de SPTDC School, dus voor iedereen die een ticket voor de school koopt, zijn de tickets voor de conferentie met 20% korting<\/strong>.<\/p>\n

<\/p>\n

Summer School on Practice and Theory of Distributed Computing (SPTDC)<\/a><\/noindex> is een school die een breed scala aan cursussen biedt over de praktische en theoretische aspecten van gedistribueerde systemen, gegeven door erkende specialisten op het betreffende gebied.<\/p>\n

<\/p>\n

De school zal in het Engels worden gegeven, dus zo ziet de lijst van besproken onderwerpen eruit:<\/p>\n

<\/p>\n