Ito Leslie Lampor - ang may-akda ng mga pangunahing gawa sa distributed computing, at makikilala mo rin siya sa pamamagitan ng mga letrang La sa salita LaTeX - "Lamport TeX". Ito ay siya na sa unang pagkakataon, noong 1979, ipinakilala ang konsepto pare-pareho ang pagkakapare-pareho, at ang kanyang artikulo "Paano Gumawa ng Multiprocessor Computer na Tamang Nagsasagawa ng Mga Multiprocess na Programa" nakatanggap ng Dijkstra Award (mas tiyak, noong 2000 ang award ay tinawag sa lumang paraan: "PODC Influential Paper Award"). May tungkol sa kanya Artikulo sa Wikipedia, kung saan makakakuha ka ng ilang mas kawili-wiling mga link. Kung ikaw ay nasasabik tungkol sa paglutas ng mga problema sa nangyari-bago o mga problema ng mga heneral ng Byzantine (BFT), kailangan nilang maunawaan na si Lamport ang nasa likod ng lahat ng ito.

At malapit na siyang dumating sa aming bagong kumperensya sa distributed computing - Hydra, na gaganapin Hulyo 11-12 sa St. Petersburg. Tingnan natin kung anong uri ng hayop ito.

Hydra2019

Ang mga paksa tulad ng multithreading ay ilan sa mga pinakamainit na paksa sa aming mga kumperensya, noon pa man. Ang bulwagan na ito ay desyerto lamang, ngunit pagkatapos ay lumitaw ang isang tao sa entablado na nagsasalita tungkol sa modelo ng memorya, nangyari-bago o multi-threaded na koleksyon ng basura at - boom! - nasa ilalim na ng isang libong tao ang lahat ng magagamit na espasyo upang maupo at makinig nang mabuti. Ano ang diwa ng tagumpay na ito? Siguro ang katotohanan na lahat tayo ay may isang uri ng hardware na may kakayahang mag-organisa ng distributed computing? O hindi ba natin naiintindihan ang ating kawalan ng kakayahan na i-load ito sa totoong halaga nito? May isang tunay na kuwento ng isang St. Petersburg quantum (iyon ay, isang financial quantitative analyst at developer), na nauwi sa isang computing cluster sa kanyang mga kamay, ang buong kapangyarihan nito ay magagamit lamang niya nang mag-isa. At ano ang gagawin mo kung kailangan mong isakatuparan ang iyong mga gawain nang maraming beses na mas malaki kaysa ngayon?

Dahil sa kasikatan na ito, ang paksa ng pagganap at mahusay na pag-compute ay may posibilidad na kumalat sa programa ng kumperensya. Ilan sa dalawang araw ng mga ulat ang maaaring gawin tungkol sa pagganap - isang ikatlo, dalawang katlo? Sa ilang lugar ay may mga artipisyal na paghihigpit na naglilimita sa paglago na ito: bilang karagdagan sa pagganap, dapat pa ring magkaroon ng puwang para sa mga bagong web framework, para sa ilang uri ng mga devops o architectural astronautics. Hindi, performance, hindi mo kami kakainin ng buo!

O maaari kang pumunta sa kabaligtaran na paraan, sumuko at tapat na gumawa ng isang kumperensya na ganap na tungkol sa distributed computing at tungkol lamang sa kanila. At narito, Hydra.

Tapat nating aminin na ngayon ang lahat ng computing ay isang paraan o iba pang ipinamamahagi. Maging ito ay isang multi-core na makina, isang computing cluster, o isang malakihang ipinamamahaging serbisyo, maraming mga proseso sa lahat ng dako na nagsasagawa ng mga independiyenteng kalkulasyon nang magkatulad, na nagsi-synchronize sa isa't isa. Kung paano ito gumagana sa teorya at kung paano ito gumagana sa pagsasanay ang magiging focus ng Hydra.

Programa ng kumperensya

Ang programa ay kasalukuyang nasa ilalim ng pag-unlad. Dapat itong isama ang mga ulat mula sa mga tagapagtatag ng mga teorya ng mga ipinamamahaging sistema at mga inhinyero na nagtatrabaho sa kanila sa produksyon.

Halimbawa, alam na natin ang tungkol sa paglahok ni Leslie Lamport mula sa Microsoft Research at Maurice Herlihy mula sa Brown University.

Maurice Herlihy - isang napaka sikat at respetadong professor ng Computer Science, may kwento din tungkol sa kanya pahina ng Wikipedia, kung saan maaari kang pumunta sa mga link at gawa. Doon ay mapapansin mo ang kasing dami ng dalawang parangal sa Dijkstra, ang una para sa trabaho "Wait-Free Synchronization", at ang pangalawa, mas kamakailan - "Transactional Memory: Architectural Support para sa Lock-Free Data Structure". Sa pamamagitan ng paraan, ang mga link ay hindi kahit na humahantong sa SciHub, ngunit sa Brown University at Virginia Tech University, maaari mong buksan at basahin.

Magho-host si Maurice ng keynote na tinatawag na "Blockchains mula sa isang distributed computing perspective". Kung interesado, maaari mong tingnan ang pag-record ng ulat ni Maurice mula sa St. Petersburg JUG. Suriin kung gaano kalinaw at naiintindihan niya ang paksa.

Mababasa ang pangalawang keynote na tinatawag na "Dual Data Structures." Michael Scott mula sa Unibersidad ng Rochester. And guess what - meron din siyang sarili pahina ng Wikipedia. Sa bahay sa Wisconsin, kilala siya sa kanyang trabaho bilang dekano sa Unibersidad ng Wisconsin-Madison, at sa mundo siya ang taong, kasama si Doug Lea, ay bumuo ng mga hindi naka-block na algorithm at magkakasabay na pila na pinapatakbo ng mga library ng Java. . Natanggap niya ang kanyang Dijkstra Prize tatlong taon pagkatapos ng Herlihy, para sa kanyang gawaing "Algorithms for scalable synchronization on shared-memory multiprocessors" (gaya ng inaasahan, siya lays open sa online na aklatan ng Unibersidad ng Rochester).

Marami pa namang oras hanggang kalagitnaan ng Hulyo. Sasabihin namin sa iyo ang tungkol sa iba pang mga tagapagsalita at ang kanilang mga paksa habang pinipino namin ang programa at papalapit sa Hulyo.

Sa pangkalahatan, ang tanong ay lumitaw - bakit namin ginagawa ang Hydra sa tag-araw? Pagkatapos ng lahat, ito ay ang off season, holidays. Ang problema ay mayroong mga propesor sa unibersidad sa mga tagapagsalita, at anumang oras ay abala para sa kanila. Hindi lang kami makapili ng ibang petsa.

Mga zone ng talakayan

Sa iba pang mga kumperensya, nangyayari na binasa ng tagapagsalita ang kinakailangan at agad na umalis. Ang mga kalahok ay walang kahit na oras upang hanapin ito - pagkatapos ng lahat, ang susunod na ulat ay nagsisimula halos walang puwang. Napakasakit, lalo na kapag naroroon ang mga importanteng tao tulad nina Lamport, Herlihy at Scott at talagang pupunta ka sa conference para lang makilala sila at pag-usapan ang isang bagay.

Nalutas na namin ang problemang ito. Kaagad pagkatapos ng kanyang ulat, ang tagapagsalita ay pumunta sa isang espesyal na lugar ng talakayan na nilagyan ng hindi bababa sa isang whiteboard na may marker, at mayroon kang masyadong maraming oras. Pormal, ang tagapagsalita ay nangangako na naroroon kahit man lang sa panahon ng pahinga sa pagitan ng mga ulat. Sa katotohanan, ang mga lugar ng talakayan na ito maaari mag-inat ng maraming oras sa dulo (depende sa pagnanais at pagtitiis ng nagsasalita).

Tungkol naman kay Lamport, kung naiintindihan ko nang tama, gusto niyang kumbinsihin ang maraming tao hangga't maaari TLA+ - ito ay isang magandang bagay. (Artikulo tungkol sa TLA+ sa Wikipedia). Marahil ito ay isang magandang pagkakataon para sa mga inhinyero na matuto ng bago at kapaki-pakinabang. Nag-aalok si Leslie ng opsyong ito - maaaring panoorin ng sinumang interesado ang kanyang mga nakaraang lecture at may kasamang mga tanong. Iyon ay, sa halip na isang pangunahing tono, maaaring mayroong, kumbaga, isang espesyal na sesyon ng Q&A, at pagkatapos ay isa pang zone ng talakayan. Nag-google ako ng kaunti at nakakita ng isang mahusay kursong TLA+ (opisyal na binansagan playlist sa youtube) at isang oras na lecture "Pag-iisip Higit sa Kodigo" kasama ang Microsoft Faculty Summit.

Kung iisipin mo ang lahat ng mga taong ito bilang mga pangalang inilagay sa granite mula sa Wikipedia at sa mga pabalat ng libro, oras na para makilala sila nang live! Makipag-chat at magtanong na hindi sasagutin ng mga pahina ng mga artikulong pang-agham, ngunit ikalulugod ng kanilang mga may-akda na makipag-ugnayan.

Tumawag para sa mga papeles

Hindi lihim na marami sa mga nagbabasa ngayon ng artikulo ay hindi tumitigil sa pagsasabi ng isang bagay na kawili-wili sa kanilang sarili. Mula sa isang pananaw sa engineering, mula sa isang pang-agham na pananaw, mula sa anumang punto ng view. Ang distributed computing ay isang napakalawak at malalim na paksa, kung saan mayroong lugar para sa lahat.

Kung gusto mong maglaro kasama si Lamport, ito ay ganap na posible. Upang maging isang tagapagsalita, kailangan mo sundan ang link, maingat na basahin ang lahat doon at gawin ito ayon sa mga tagubilin.

Maging mahinahon, sa sandaling kumonekta ka sa proseso, tutulungan ka. Ang komite ng programa ay may sapat na mapagkukunan upang tumulong sa ulat mismo, ang kakanyahan at disenyo nito. Tutulungan ka ng coordinator na harapin ang mga isyu sa organisasyon at iba pa.

Bigyang-pansin ang larawan na may mga petsa. Ang Hulyo ay isang medyo malayong petsa para sa kalahok, at ang tagapagsalita ay kailangang magsimulang kumilos ngayon.

paaralan ng SPTDC

Ang kumperensya ay gaganapin sa parehong site sa paaralan ng SPTDC, kaya para sa lahat na bibili ng tiket para sa paaralan, mga tiket sa kumperensya - na may diskwento 20%.

Summer School on Practice and Theory of Distributed Computing (SPTDC) - isang paaralan na nagbibigay ng malawak na hanay ng mga kurso sa praktikal at teoretikal na aspeto ng mga distributed system, na itinuro ng mga kinikilalang eksperto sa nauugnay na larangan.

Ang paaralan ay gaganapin sa Ingles, kaya narito ang listahan ng mga paksang sakop:

• Kasabay na mga istruktura ng data: kawastuhan at kahusayan;
• Algorithm para sa non-volatile memory;
• Naipamahagi na Computability;
• distributed machine learning;
• State-machine replication at Paxos;
• Byzantine fault-tolerance;
• Algorithmic basics ng blockchains.

Magsasalita ang mga sumusunod na tagapagsalita:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown University);
• Michael Scott (University of Rochester);
• Dan Astarh (IST Austria);
• Trevor Brown (University of Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion University);
• Achour Mostefaoui (University of Nantes).

playlist kasama ang mga ulat ng nakaraang paaralan ay malayang mapapanood sa YouTube:

Mga susunod na hakbang

Binubuo pa rin ang conference program. Sundin ang balita sa Habré o sa mga social network (fb, vk, kaba).

Kung talagang naniniwala ka sa kumperensya (o gusto mong samantalahin ang espesyal na panimulang presyo, tulad ng sinasabi nila, "Early Bird") - maaari kang pumunta sa site at bumili ng mga tiket.

See you sa Hydra!

Pinagmulan: www.habr.com