Dit Leslie Lamport - die skrywer van fundamentele werke in verspreide rekenaars, en jy kan hom ook ken aan die letters La in die woord LaTeX - "Lamport TeX". Dit was hy wat vir die eerste keer, terug in 1979, die konsep bekendgestel het , en sy artikel die Dijkstra-toekenning ontvang (meer presies, in 2000 is die toekenning op die ou manier genoem: "PODC Influential Paper Award"). Daar is oor hom , waar jy 'n paar meer interessante skakels kan kry. As jy opgewonde is oor die oplossing van probleme op gebeure-voor of (BFT), moet hulle verstaan dat Lamport agter dit alles sit.
En hy sal binnekort na ons nuwe konferensie oor verspreide rekenaars kom - Hydra, wat 11-12 Julie in St. Petersburg gehou sal word. Kom ons kyk watter soort dier dit is.
Hidra 2019
Onderwerpe soos multithreading is van die warmste onderwerpe by ons konferensies, en was nog altyd. Hierdie saal was net verlate, maar toe verskyn 'n persoon op die verhoog wat praat oor die geheue-model, gebeur-voor of multi-threaded vullis versameling en - boem! - reeds onder 'n duisend mense neem al die beskikbare spasie in beslag om mooi te gaan sit en luister. Wat is die kern van hierdie sukses? Miskien is die feit dat ons almal 'n soort hardeware in ons hande het wat in staat is om verspreide rekenaars te organiseer? Of is dit dat ons onbewustelik ons onvermoë verstaan om dit op sy ware waarde te laai? Daar is 'n ware verhaal van een St. Petersburg-kwantum (dit wil sê 'n finansiële kwantitatiewe ontleder en ontwikkelaar), wat met 'n rekenaarkluster in sy hande beland het, waarvan die volle krag net deur hom alleen gebruik kan word. En wat sou jy doen as jy jou take met vermoëns baie keer groter as nou moet uitvoer?
As gevolg van hierdie gewildheid, is die onderwerp van prestasie en doeltreffende rekenaar geneig om oor die konferensieprogram te versprei. Hoeveel van die twee dae se verslae kan oor prestasie gemaak word – een derde, twee derdes? Op sommige plekke is daar kunsmatige beperkings wat hierdie groei beperk: benewens prestasie moet daar nog plek wees vir nuwe webraamwerke, vir een of ander soort devops of argitektoniese ruimtevaartkunde. Nee, prestasie, jy sal ons nie almal heel eet nie!
Of jy kan die teenoorgestelde manier gaan, tou opgooi en eerlik 'n konferensie hou wat geheel en al oor verspreide rekenaars gaan handel en net oor hulle. En hier is dit, Hydra.
Kom ons erken eerlik dat alle rekenaars vandag op een of ander manier versprei word. Of dit nou 'n multikernmasjien, 'n rekenaarkluster of 'n grootskaalse verspreide diens is, daar is oral baie prosesse wat onafhanklike berekeninge parallel uitvoer en met mekaar sinchroniseer. Hoe dit in teorie werk en hoe dit in die praktyk werk, sal die fokus van Hydra wees.
Konferensieprogram
Die program is tans onder ontwikkeling. Dit moet verslae insluit van die stigters van die teorieë van verspreide stelsels en ingenieurs wat daarmee in produksie werk.
Ons weet byvoorbeeld reeds van die deelname van Leslie Lamport van Microsoft Research en Maurice Herlihy van Brown Universiteit.
Maurice Herlihy - 'n baie bekende en gerespekteerde professor in Rekenaarwetenskap, daar is ook 'n storie oor hom , waar jy oor die skakels en werke kan gaan. Daar kan jy soveel as twee Dijkstra-toekennings opmerk, die eerste vir werk aan , en die tweede, meer onlangse - . Terloops, die skakels lei nie eers na SciHub nie, maar na Brown University en Virginia Tech University, jy kan oopmaak en lees.
Maurice gaan 'n hoofnota aanbied genaamd "Blokkettings vanuit 'n verspreide rekenaarperspektief". Indien u belangstel, kan u gerus na die opname van Maurice se verslag van die St. Petersburg KRUIK kyk. Evalueer hoe duidelik en verstaanbaar hy die onderwerp oordra.
Die tweede hoofnota genaamd "Dual Data Structures" sal lees Michael Scott van die Universiteit van Rochester. En raai wat – hy het ook sy eie . Tuis in Wisconsin is hy bekend vir sy werk as dekaan aan die Universiteit van Wisconsin-Madison, en in die wêreld is hy die man wat saam met Doug Lea daardie nie-blokkerende algoritmes en sinchroniese rye ontwikkel het waarop Java-biblioteke loop. . Hy het sy Dijkstra-prys drie jaar na Herlihy ontvang vir sy werk "Algorithms for scalable sinchronization on shared memory multiprocessors" (soos verwag, by die aanlyn biblioteek van die Universiteit van Rochester).
Daar is nog baie tyd tot middel Julie. Ons sal jou vertel van ander sprekers en hul onderwerpe soos ons die program verfyn en Julie nader.
Oor die algemeen ontstaan die vraag - hoekom maak ons Hydra in die somer? Dit is immers die buiteseisoen, vakansiedae. Die probleem is dat daar universiteitsprofessore onder die sprekers is, en enige ander tyd is vir hulle besig. Ons kon net nie ander datums kies nie.
Besprekingsones
By ander konferensies gebeur dit dat die spreker lees wat nodig is en dadelik weg is. Die deelnemers het nie eens tyd om daarna te soek nie – die volgende berig begin immers amper sonder ’n gaping. Dit maak baie seer, veral as belangrike mense soos Lamport, Herlihy en Scott teenwoordig is en jy eintlik na die konferensie gaan net om hulle te ontmoet en oor iets te praat.
Ons het hierdie probleem opgelos. Onmiddellik na sy verslag gaan die spreker na 'n spesiale besprekingsarea wat toegerus is met ten minste 'n witbord met 'n merker, en jy het nogal baie tyd. Formeel beloof die spreker om ten minste tydens die pouse tussen berigte daar te wees. In werklikheid is hierdie besprekingsareas kan strek vir ure aaneen (afhangende van die begeerte en uithouvermoë van die spreker).
Wat Lamport betref, as ek reg verstaan, wil hy soveel mense as moontlik daarvan oortuig - dit is 'n goeie ding. (). Miskien sal dit 'n goeie kans wees vir ingenieurs om iets nuuts en nuttig te leer. Leslie bied hierdie opsie – wie ook al belangstel, kan na sy vorige lesings kyk en met vrae kom. Dit wil sê, in plaas van 'n keynote, kan daar as 't ware 'n gespesialiseerde V&A-sessie wees, en dan nog 'n besprekingsone. Ek het bietjie gegoogle en 'n goeie een gekry (amptelik gedoop ) en 'n uur lesing met Microsoft Fakulteitsberaad.
As jy aan al hierdie mense gedink het as name wat in graniet uit Wikipedia en op boekomslae gegiet is, is dit tyd om hulle regstreeks te ontmoet! Gesels en vra vrae wat die bladsye van wetenskaplike artikels nie sal beantwoord nie, maar hul skrywers sal graag kontak maak.
Oproep vir referate
Dit is geen geheim dat baie van diegene wat nou die artikel lees, nie huiwerig is om self iets interessant genoeg te vertel nie. Uit 'n ingenieursoogpunt, vanuit 'n wetenskaplike oogpunt, vanuit enige oogpunt. Verspreide rekenaars is 'n baie breë en diep onderwerp, waar daar 'n plek vir almal is.
As jy saam met Lamport wil speel, is dit heeltemal moontlik. Om 'n spreker te word, moet jy , lees alles noukeurig daar en doen dit volgens die instruksies.
Wees kalm, sodra jy by die proses aansluit, sal jy gehelp word. Die programkomitee het voldoende hulpbronne om te help met die verslag self, die essensie en ontwerp daarvan. Die koördineerder sal jou help om organisatoriese kwessies en so meer te hanteer.
Let veral op die prentjie met die datums. Julie is 'n taamlik verre datum vir die deelnemer, en die spreker moet nou begin optree.
SPTDC Skool
Die konferensie sal op dieselfde terrein met die SPTDC-skool gehou word, so vir almal wat 'n kaartjie vir die skool koop, konferensiekaartjies - met 20% afslag.
- 'n skool wat 'n wye reeks kursusse oor die praktiese en teoretiese aspekte van verspreide stelsels aanbied, wat deur erkende kundiges in die betrokke veld aangebied word.
Die skool sal in Engels gehou word, so hier is die lys van onderwerpe wat gedek word:
- Gelyktydige datastrukture: korrektheid en doeltreffendheid;
- Algoritmes vir nie-vlugtige geheue;
- Verspreide berekenbaarheid;
- verspreide masjienleer;
- Staat-masjien replikasie en Paxos;
- Bisantynse foutverdraagsaamheid;
- Algoritmiese basiese beginsels van blokkettings.
Die volgende sprekers sal aan die woord wees:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Bruin Universiteit);
- Michael Scott (Universiteit van Rochester);
- Dan Alistarh (IST Oostenryk);
- Trevor Brown (Universiteit van Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion Universiteit);
- Achour Mostefaoui (Universiteit van Nantes).
met die verslae van die vorige skool kan vrylik op YouTube bekyk word:
Volgende stappe
Die konferensieprogram word nog gevorm. Volg die nuus op Habré of in sosiale netwerke (, , ).
As jy regtig in die konferensie glo (of wil voordeel trek uit die spesiale beginprys, soos hulle sê, "Early Bird") - jy kan na die webwerf gaan en .
Sien jou by Hydra!
Bron: will.com