Els fundadors de la teoria dels sistemes distribuïts en els braços de la hidra

Els fundadors de la teoria dels sistemes distribuïts en els braços de la hidraEl Leslie Lampport - l'autor d'obres fonamentals en informàtica distribuïda, i també el podeu conèixer per les lletres La de la paraula LaTeX - "Lamport TeX". Va ser ell qui per primera vegada, l'any 1979, va introduir el concepte consistència consistent, i el seu article "Com fer un ordinador multiprocessador que executi correctament programes multiprocés" va rebre el premi Dijkstra (més precisament, l'any 2000 el guardó s'anomenava a l'antiga: "PODC Influential Paper Award"). Hi ha sobre ell article de la Viquipèdia, on podeu obtenir alguns enllaços més interessants. Si estàs entusiasmat per resoldre problemes, passa abans o problemes dels generals bizantins (BFT), han d'entendre que Lampport està darrere de tot.

I aviat vindrà a la nostra nova conferència sobre informàtica distribuïda - Hydra, que se celebrarà de l'11 al 12 de juliol a Sant Petersburg. A veure quina mena d'animal és.

Hidra 2019

Temes com el multithreading són alguns dels temes més candents de les nostres conferències, sempre ho han estat. Aquesta sala estava deserta, però aleshores apareix una persona a l'escenari parlant sobre el model de memòria, passa abans o la recollida d'escombraries amb diversos fils i - boom! - ja menys de mil persones ocupen tot l'espai disponible per seure i escoltar atentament. Quina és l'essència d'aquest èxit? Potser el fet que tots tenim a les nostres mans algun tipus de maquinari capaç d'organitzar la informàtica distribuïda? O és que inconscientment entenem la nostra incapacitat per carregar-lo amb el seu veritable valor? Hi ha una història real d'un quàntic de Sant Petersburg (és a dir, un analista i desenvolupador quantitatiu financer), que va acabar amb un clúster informàtic a les seves mans, el poder total del qual només pot ser utilitzat per ell sol. I què faries si haguessis de dur a terme les teves tasques amb capacitats moltes vegades més grans que ara?

A causa d'aquesta popularitat, el tema del rendiment i la informàtica eficient tendeix a estendre's per tot el programa de la conferència. Quants dels dos dies d'informes es poden fer sobre el rendiment: un terç, dos terços? En alguns llocs hi ha restriccions artificials que limiten aquest creixement: a més del rendiment, encara hi ha d'haver espai per a nous frameworks web, per a algun tipus de devops o astronàutica arquitectònica. No, actuació, no ens menjaràs a tots sencers!

O pots anar pel camí contrari, rendir-te i fer honestament una conferència que versarà completament sobre la informàtica distribuïda i només sobre elles. I aquí està, Hydra.

Admetem sincerament que avui tota la informàtica està distribuïda d'una manera o altra. Tant si es tracta d'una màquina multinucli, d'un clúster informàtic o d'un servei distribuït a gran escala, hi ha molts processos a tot arreu que realitzen càlculs independents en paral·lel, sincronitzant-se entre ells. Com funciona en teoria i com funciona a la pràctica serà el focus d'Hydra.

Programa de conferències

El programa està actualment en desenvolupament. Ha d'incloure informes dels fundadors de les teories dels sistemes distribuïts i dels enginyers que treballen amb ells en la producció.

Per exemple, ja sabem la participació de Leslie Lamport de Microsoft Research i Maurice Herlihy de la Brown University.

Els fundadors de la teoria dels sistemes distribuïts en els braços de la hidra Maurice Herlihy - un professor d'informàtica molt famós i respectat, també hi ha una història sobre ell Pàgina de la Viquipèdia, on podeu consultar els enllaços i les obres. Allà podeu notar fins a dos premis Dijkstra, el primer per treballar "Sincronització sense espera", i el segon, més recent - "Memòria transaccional: suport arquitectònic per a estructures de dades sense bloqueig". Per cert, els enllaços ni tan sols porten a SciHub, però a la Brown University i Virginia Tech University, podeu obrir i llegir.

Maurice acollirà una conferència anomenada "Blockchains des d'una perspectiva de computació distribuïda". Si us interessa, podeu fer una ullada a l'enregistrament de l'informe de Maurice des del JUG de Sant Petersburg. Avaluar amb quina claredat i comprensió transmet el tema.

Els fundadors de la teoria dels sistemes distribuïts en els braços de la hidraEs llegirà la segona conferència anomenada "Estructures de dades duals". Michael Scott de la Universitat de Rochester. I endevineu què, ell també té el seu Pàgina de la Viquipèdia. A casa seva, a Wisconsin, és conegut per la seva feina com a degà de la Universitat de Wisconsin-Madison, i al món és l'home que, juntament amb Doug Lea, va desenvolupar aquells algorismes sense bloqueig i cues sincròniques amb què s'executen les biblioteques de Java. . Va rebre el seu premi Dijkstra tres anys després d'Herlihy, pel seu treball "Algoritmes per a la sincronització escalable en multiprocessadors de memòria compartida" (com era d'esperar, ella es posa oberta a la biblioteca en línia de la Universitat de Rochester).

Encara queda molt de temps fins a mitjans de juliol. Us parlarem d'altres ponents i dels seus temes a mesura que anem afinant el programa i apropant-nos al juliol.

En general, sorgeix la pregunta: per què fem Hydra a l'estiu? Després de tot, això és la temporada baixa, les vacances. El problema és que entre els ponents hi ha professors universitaris, i qualsevol altre moment és ocupat per a ells. Simplement no hem pogut triar altres dates.

Zones de discussió

En altres conferències, passa que el ponent llegeix el que cal i de seguida se'n va. Els participants ni tan sols tenen temps de buscar-ho; després de tot, el proper informe comença gairebé sense buits. Fa molt de mal, sobretot quan hi ha gent important com Lamport, Herlihy i Scott i vas a la conferència només per conèixer-los i parlar d'alguna cosa.

Hem resolt aquest problema. Immediatament després del seu informe, el ponent va a una àrea especial de discussió equipada com a mínim amb una pissarra blanca amb un retolador, i tens molt de temps. Formalment, el ponent es compromet a ser-hi almenys durant el descans entre informes. En realitat, aquestes àrees de discussió llauna estirar-se durant hores i hores (segons les ganes i la resistència del parlant).

Pel que fa a Lamport, si ho entenc bé, vol convèncer el màxim de gent possible d'això TLA+ - Això és una bona cosa. (Article sobre TLA+ a la Viquipèdia). Potser aquesta serà una bona oportunitat perquè els enginyers aprenguin alguna cosa nova i útil. Leslie ofereix aquesta opció: qui estigui interessat pot veure les seves conferències anteriors i fer preguntes. És a dir, en lloc d'una ponència magistral, pot haver-hi, per dir-ho, una sessió especialitzada de preguntes i respostes i després una altra zona de discussió. Vaig buscar una mica a Google i n'he trobat un de fantàstic Curs TLA+ (doblat oficialment llista de reproducció a youtube) i una hora de conferència "Pensar per sobre del codi" amb Microsoft Faculty Summit.

Si pensaves en totes aquestes persones com a noms fets al granit de la Viquipèdia i a les portades de llibres, és hora de conèixer-los en directe! Xatejar i fer preguntes que les pàgines d'articles científics no respondran, però els seus autors estaran encantats de posar-se en contacte.

Pàgina inicial

No és cap secret que molts dels que ara estan llegint l'article no són contraris a explicar alguna cosa prou interessant ells mateixos. Des del punt de vista de l'enginyeria, des del punt de vista científic, des de qualsevol punt de vista. La informàtica distribuïda és un tema molt ampli i profund, on hi ha un lloc per a tothom.

Si vols jugar al costat de Lamport, és totalment possible. Per convertir-se en parlant, cal seguiu l'enllaç, llegiu atentament tot el que hi ha i feu-ho segons les instruccions.

Estigueu tranquils, tan bon punt us connecteu al procés, se us ajudarà. El comitè del programa disposa de recursos suficients per ajudar amb el propi informe, la seva essència i disseny. El coordinador us ajudarà a tractar els problemes organitzatius, etc.

Presta especial atenció a la imatge amb les dates. El juliol és una data força llunyana per al participant, i el ponent ha de començar a actuar ara.

Els fundadors de la teoria dels sistemes distribuïts en els braços de la hidra

Escola SPTDC

La conferència es farà al mateix lloc que l'escola SPTDC, de manera que per a tothom que comprin una entrada per a l'escola, entrades per a la conferència - amb un 20% de descompte.

Escola d'estiu sobre pràctica i teoria de la computació distribuïda (SPTDС) - una escola que ofereix un ampli ventall de cursos sobre els aspectes pràctics i teòrics dels sistemes distribuïts, impartits per experts reconeguts en l'àmbit rellevant.

L'escola es farà en anglès, així que aquí teniu la llista de temes tractats:

  • Estructures de dades concurrents: correcció i eficiència;
  • Algorismes per a memòria no volàtil;
  • computabilitat distribuïda;
  • aprenentatge automàtic distribuït;
  • Replicació estat-màquina i Paxos;
  • tolerància a fallades bizantina;
  • Fonaments algorítmics de blockchains.

Intervindran els següents ponents:

  • Leslie Lampport (Microsoft);
  • Maurice Herlihy (Universitat de Brown);
  • Michael Scott (Universitat de Rochester);
  • Dan Alistarh (IST Àustria);
  • Trevor Brown (Universitat de Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (Universitat Ben Gurion);
  • Achour Mostefaoui (Universitat de Nantes).

llista de reproducció amb els informes de l'escola anterior es poden veure lliurement a YouTube:

Següents passos

El programa de la conferència encara s'està elaborant. Segueix les notícies a Habré o a les xarxes socials (fb, vk, twitter).

Si realment creieu en la conferència (o voleu aprofitar el preu de partida especial, com diuen, "Early Bird"), podeu anar al lloc i comprar bitllets.

Ens veiem a Hydra!

Font: www.habr.com

Afegeix comentari