Het Leslie Lamport is de auteur van baanbrekende werken op het gebied van gedistribueerd computergebruik, en je kent hem misschien ook aan de letters La in het woord LaTeX - "Lamport TeX". Hij was het die het concept voor het eerst introduceerde, in 1979 , en zijn artikel ontving de Dijkstraprijs (meer precies, in 2000 heette de prijs in de oude vorm: “PODC Influential Paper Award”). Er is over hem , waar u nog meer interessante links kunt vinden. Als je enthousiast bent over het oplossen van problemen op 'gebeurtenissen' of 'gebeurtenissen' (BFT), dan moet u begrijpen dat Lamport hierachter zit.
Hij zal binnenkort ook naar onze nieuwe conferentie over gedistribueerd computergebruik komen - Hydra, die van 11 tot 12 juli in St. Petersburg zal plaatsvinden. Laten we eens kijken wat voor soort dier dit is.
Hydra2019
Onderwerpen als multithreading behoren tot de meest populaire op onze conferenties en zijn dat altijd geweest. Zojuist was deze kamer verlaten, maar dan verschijnt er iemand op het podium die praat over het geheugenmodel, happenings-before of multi-threaded garbage collection en - boem! – al zo’n duizend mensen nemen alle beschikbare ruimte in beslag om te gaan zitten en aandachtig te luisteren. Wat is de essentie van dit succes? Misschien komt het omdat we allemaal hardware bij de hand hebben die gedistribueerd computergebruik kan organiseren? Of begrijpen we onbewust ons onvermogen om het te laden zoals het verdient? Er is een waargebeurd verhaal van een quant uit Sint-Petersburg (dat wil zeggen een financiële kwantitatieve analist en ontwikkelaar), die in het bezit kwam van een computercluster, waarvan alleen hij de volledige kracht kon gebruiken. Wat zou u doen als u de capaciteit had om uw taken uit te voeren die vele malen groter was dan nu?
Vanwege deze populariteit heeft het onderwerp productiviteit en efficiënt computergebruik de neiging zich over de agenda van de conferentie te verspreiden. Hoeveel van de twee dagen kunnen er worden gerapporteerd over de prestaties: een derde, tweederde? Op sommige plaatsen zijn er kunstmatige beperkingen die deze groei beperken: naast prestaties moet er nog ruimte zijn voor nieuwe webframeworks, voor een soort devops of architecturale ruimtevaart. Nee, prestatie, je eet ons niet allemaal heel op!
Of je kunt de tegenovergestelde kant op gaan, het opgeven en eerlijk een conferentie houden die volledig over gedistribueerd computergebruik gaat, en alleen over hen. En hier is het, Hydra.
Laten we eerlijk toegeven dat tegenwoordig alle berekeningen op de een of andere manier verdeeld zijn. Of het nu gaat om een multi-core machine, een computercluster of een grootschalige gedistribueerde service, er zijn overal veel processen die onafhankelijke berekeningen parallel uitvoeren en met elkaar synchroniseren. Hydra zal zich bezighouden met hoe dit in theorie werkt en hoe het in de praktijk werkt.
Conferentieprogramma
Het programma bevindt zich momenteel in de vormingsfase. Het zou rapporten moeten bevatten van de grondleggers van de theorieën over gedistribueerde systemen en van ingenieurs die ermee werken in de productie.
Zo is de deelname van Leslie Lamport van Microsoft Research en Maurice Herlihy van Brown University al bekend.
Maurice Herlihy - een zeer bekende en gerespecteerde hoogleraar Computerwetenschappen, er is ook informatie over hem , waar u door links en werken kunt bladeren. Daar zie je twee Dijkstra-prijzen, de eerste voor werk aan , en de tweede, recentere - . Overigens leiden de links niet eens naar SciHub, maar naar Brown University en Virginia Tech University, die je kunt openen en lezen.
Maurice gaat een keynote houden met de titel “Blockchains vanuit een gedistribueerd computerperspectief.” Als u geïnteresseerd bent, kunt u de opname van Maurice’s rapport van de JUG in St. Petersburg bekijken. Evalueer hoe duidelijk en begrijpelijk hij het onderwerp overbrengt.
De tweede keynote genaamd “Dual Data Structures” zal luiden Michaël Scott van de Universiteit van Rochester. En raad eens: hij heeft ook de zijne . Thuis in Wisconsin staat hij bekend om zijn werk als decaan aan de Universiteit van Wisconsin-Madison, en in de wereld is hij de man die samen met Doug Lea de niet-blokkerende algoritmen en synchrone wachtrijen ontwikkelde waarop Java-bibliotheken werk. Drie jaar na Herlihy ontving hij zijn Dijkstraprijs voor zijn werk ‘Algorithms for scalable synchronization on shared-memory multiprocessors’ (zoals verwacht, in de onlinebibliotheek van de Universiteit van Rochester).
Er is nog veel tijd tot half juli. We zullen u vertellen over de overige sprekers en hun onderwerpen terwijl we het programma verfijnen en dichter bij juli komen.
Over het algemeen rijst de vraag: waarom doen we Hydra in de zomer? Dit is tenslotte het laagseizoen, feestdagen. Het probleem is dat er onder de sprekers universiteitsdocenten zijn, en dat elke andere tijd voor hen druk is. We konden simpelweg geen andere data kiezen.
Discussiegebieden
Op andere conferenties komt het voor dat de spreker las wat hij nodig had en onmiddellijk vertrok. De deelnemers hebben niet eens de tijd om ernaar te zoeken - het volgende rapport begint immers vrijwel zonder pauze. Dit is erg pijnlijk, vooral als belangrijke mensen als Lamport, Herlihy en Scott aanwezig zijn, en je eigenlijk alleen maar naar de conferentie gaat om ze te ontmoeten en iets te bespreken.
Wij hebben dit probleem opgelost. Direct na zijn verslag gaat de spreker naar een speciale discussieruimte, voorzien van minimaal een whiteboard met stift, en je hebt flink wat tijd. Formeel belooft de spreker aanwezig te zijn in ieder geval gedurende de gehele pauze tussen de presentaties. In werkelijkheid zijn deze discussiegebieden kan urenlang strekken (afhankelijk van de wens en het uithoudingsvermogen van de spreker).
Wat Lamport betreft, als ik het goed begrijp, wil hij zoveel mogelijk mensen daarvan overtuigen - Dit is iets goeds. (). Misschien is dit een goede kans voor ingenieurs om iets nieuws en nuttigs te leren. Leslie biedt deze mogelijkheid: geïnteresseerden kunnen zijn eerdere lezingen bekijken en met vragen komen. Dat wil zeggen dat er in plaats van een keynote een gespecialiseerde vraag- en antwoordsessie kan zijn, en dan ook een discussiezone. Ik heb wat gegoogled en heb een geweldige gevonden. (officieel genaamd ) en een lezing van een uur van Microsoft Faculty Summit.
Als je al deze mensen hebt gezien als namen die in graniet zijn gegoten op Wikipedia en op boekomslagen, is het tijd om ze persoonlijk te ontmoeten! Chat en stel vragen die de pagina's met wetenschappelijke artikelen niet zullen beantwoorden, maar de auteurs ervan zullen graag contact opnemen.
Call for papers
Het is geen geheim dat veel van degenen die het artikel nu lezen er niet vies van zijn om ons iets heel interessants te vertellen. Vanuit technisch oogpunt, vanuit wetenschappelijk oogpunt – vanuit elk gezichtspunt. Distributed computing is een zeer breed en diepgaand onderwerp waar ruimte is voor iedereen.
Als je naast Lamport wilt concurreren, is dat heel goed mogelijk. Om spreker te worden heb je nodig , lees alles daar goed door en doe volgens de instructies.
Wees gerust: zodra u deelneemt aan het proces, zullen zij u helpen. De Programmacommissie beschikt over voldoende capaciteit om te helpen met het rapport zelf, de essentie en de vormgeving ervan. De coördinator helpt u bij het oplossen van organisatorische problemen, enzovoort.
Let vooral op de foto met de data. Juli is een nogal verre datum voor de deelnemer, maar de spreker moet nu beginnen met acteren.
SPTDC-school
De conferentie wordt gehouden op dezelfde locatie als de SPTDC-school, dus voor iedereen die een kaartje voor de school koopt, worden kaartjes voor de conferentie met een korting van 20%.
is een school die een breed scala aan cursussen aanbiedt over de praktische en theoretische aspecten van gedistribueerde systemen, gegeven door erkende experts op het relevante vakgebied.
De school wordt in het Engels gegeven, dus zo ziet de lijst met behandelde onderwerpen eruit:
- Gelijktijdige datastructuren: correctheid en efficiëntie;
- Algoritmen voor niet-vluchtig geheugen;
- Gedistribueerde berekenbaarheid;
- Gedistribueerd machinaal leren;
- Replicatie van staatsmachines en Paxos;
- Byzantijnse fouttolerantie;
- Algoritmische basisprincipes van blockchains.
De volgende sprekers zullen spreken:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown Universiteit);
- Michael Scott (Universiteit van Rochester);
- Dan Alistarh (IST Oostenrijk);
- Trevor Brown (Universiteit van Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion Universiteit);
- Achour Mostefaoui (Universiteit van Nantes).
De vorige schoolrapporten kunt u gratis bekijken op YouTube:
Volgende stappen
Het conferentieprogramma wordt nog gevormd. Volg het nieuws op Habré of op sociale netwerken (, , ).
Als u echt in de conferentie gelooft (of wilt profiteren van de speciale toegangsprijs, de zogenaamde “Early Bird”), kunt u naar de website gaan en .
Tot ziens bij Hydra!
Bron: www.habr.com