a Leslie Lamport - onye edemede nke isi ọrụ na-ekesa Mgbakọ, na ị nwekwara ike mara ya site na akwụkwọ ozi La na okwu LaTeX - "Lamport TeX". Ọ bụ ya bụ onye na nke mbụ, laa azụ na 1979, webatara echiche ahụ , na isiokwu ya natara Dijkstra Award (karịa kpọmkwem, na 2000 a na-akpọ ihe nrite ahụ n'ụzọ ochie: "PODC Influential Paper Award"). E nwere banyere ya , ebe ị nwere ike nweta njikọ ndị ọzọ na-adọrọ mmasị. Ọ bụrụ na ị na-enwe obi ụtọ maka idozi nsogbu na-eme - tupu ma ọ bụ (BFT), ha kwesịrị ịghọta na Lamport bụ n'azụ ya niile.
Na n'oge na-adịghị anya, ọ ga-abịa na ọhụrụ anyị ogbako na-ekesa computing - Hydra, nke a ga-enwe July 11-12 na St. Petersburg. Ka anyị hụ ụdị anụmanụ ọ bụ.
Mmiri 2019
Isiokwu ndị dị ka multithreading bụ ụfọdụ isiokwu kacha ewu ewu na ọgbakọ anyị, na-abụkarị. Ụlọ Nzukọ a bụ naanị gbahapụrụ, ma mgbe ahụ, mmadụ na-egosi na ogbo na-ekwu banyere ihe nlereanya ebe nchekwa, na-eme-tupu ma ọ bụ multi-threaded mkpofu mkpofu na - ọganihu! - ugbua n'okpuru otu puku mmadụ na-eji ohere niile dịnụ ọdụ ma gee ntị nke ọma. Gịnị bụ isi ihe ịga nke ọma a? Ma eleghị anya, eziokwu ahụ bụ na anyị niile nwere n'aka anyị ụfọdụ ụdị ngwaike nwere ike ịhazi mgbakọ na-ekesa? Ka ọ bụ na anyị na-aghọtaghị na anyị enweghị ike ibu ya n'eziokwu? Enwere akụkọ n'ezie nke otu St. Petersburg quantum (ya bụ, onye na-enyocha ego na onye mmepụta ihe), bụ onye mechiri ụyọkọ mgbakọ na aka ya, ike zuru oke nke naanị ya nwere ike iji ya mee ihe. Ma gịnị ka ị ga-eme ma ọ bụrụ na ị ga-eji ike rụọ ọrụ gị ọtụtụ ugboro karịa ugbu a?
N'ihi ewu ewu a, isiokwu nke ịrụ ọrụ na nhazi nke ọma na-agbasawanye na mmemme ogbako. Ole n'ime ụbọchị abụọ nke akụkọ nwere ike ịme maka arụmọrụ - otu ụzọ n'ụzọ atọ, ụzọ abụọ n'ụzọ atọ? N'ebe ụfọdụ enwere mgbochi ndị na-egbochi uto a: na mgbakwunye na arụmọrụ, a ka ga-enwerịrị ohere maka usoro ntanetị ọhụrụ, maka ụdị ụfọdụ nke devops ma ọ bụ ndị na-enyocha mbara igwe. Mba, arụmọrụ, ị gaghị eri anyị niile!
Ma ọ bụ ị nwere ike ịga n'ụzọ nke ọzọ, hapụ ma jiri obi eziokwu mee ogbako nke ga-abụ kpamkpam gbasara mgbakọ na-ekesa na naanị banyere ha. Na ebe a, Hydra.
Ka anyị kweta n'eziokwu na taa niile kọmputa bụ otu ụzọ ma ọ bụ ọzọ ekesa. Ma ọ bụ igwe multi-core, ụyọkọ kọmputa, ma ọ bụ ọrụ na-ekesa buru ibu, enwere ọtụtụ usoro n'ebe niile na-eme mgbakọ onwe ha n'otu aka ahụ, na-emekọrịta ọnụ. Otú o si arụ ọrụ na tiori na otú o si arụ ọrụ na omume ga-abụ ihe na-elekwasị anya Hydra.
Mmemme ọgbakọ
A na-emepe mmemme ugbu a. O kwesịrị ịgụnye akụkọ sitere na ndị na-emepụta echiche nke usoro kesara na ndị injinia na-arụ ọrụ na ha na mmepụta.
Dịka ọmụmaatụ, anyị amaworị maka ntinye aka nke Leslie Lamport sitere na Microsoft Research na Maurice Herlihy nke Mahadum Brown.
Maurice Herlihy - onye prọfesọ a ma ama na nke a na-akwanyere ùgwù nke sayensị Kọmputa, enwekwara akụkọ gbasara ya , ebe ị nwere ike ịgafe njikọ na-arụ ọrụ. N'ebe ahụ ị nwere ike ịhụ ihe dị ka onyinye Dijkstra abụọ, nke mbụ maka ịrụ ọrụ , na nke abụọ, nke na-adịbeghị anya - . Site n'ụzọ, njikọ ahụ anaghị eduga na SciHub, mana na Mahadum Brown na Mahadum Virginia Tech, ị nwere ike mepee ma gụọ.
Maurice na-aga ịnabata isi okwu akpọrọ "Blockchains si n'usoro kọmputa kesara". Ọ bụrụ na ị nwere mmasị, ị nwere ike ileba anya na ndekọ nke akụkọ Maurice sitere na St. Petersburg JUG. Nyochaa ka o si akọwa isiokwu ahụ nke ọma na nghọta.
Isi okwu nke abụọ akpọrọ "Dual Data Structures" ga-agụ Michael Scott sitere na Mahadum Rochester. Ma chee ihe - o nwekwara nke ya . N'ụlọ na Wisconsin, a maara ya maka ọrụ ya dị ka onye isi na Mahadum Wisconsin-Madison, na n'ụwa ọ bụ nwoke ahụ, ya na Doug Lea, mepụtara algọridim ndị ahụ na-adịghị egbochi ya na ahịrị ndị na-emekọrịta ihe nke ụlọ akwụkwọ Java na-agba ọsọ. . Ọ natara ihe nrite Dijkstra ya afọ atọ ka Herlihy gachara, maka ọrụ ya "Algorithms for scalable synchronization on share- memory multiprocessors" (dị ka a tụrụ anya, n'ọbá akwụkwọ dị n'ịntanetị nke Mahadum Rochester).
A ka nwere oge buru ibu ruo etiti Julaị. Anyị ga-agwa gị gbasara ndị na-ekwu okwu ndị ọzọ na isiokwu ha ka anyị na-emezigharị ihe omume ahụ ma na-eru nso na Julaị.
N'ozuzu, ajụjụ na-ebilite - gịnị mere anyị ji eme Hydra n'oge okpomọkụ? E kwuwerị, nke a bụ oge ezumike, ezumike. Nsogbu bụ na e nwere ndị prọfesọ mahadum n’etiti ndị na-ekwu okwu, oge ọ bụla ọzọ na-emekwa ha. Anyị enweghị ike ịhọrọ ụbọchị ndị ọzọ.
Mpaghara mkparịta ụka
Na nnọkọ ndị ọzọ, ọ na-eme na ọkà okwu gụrụ ihe dị mkpa wee pụọ ozugbo. Ndị sonyere na-enweghị ọbụna oge ịchọ ya - ka emechara, akụkọ na-esote na-amalite ihe fọrọ nke nta ka ọ bụrụ enweghị oghere. Ọ na-ewute nke ukwuu, karịsịa mgbe ndị dị mkpa dị ka Lamport, Herlihy na Scott nọ ebe ahụ, ma ị na-aga n'ezie na ogbako ahụ naanị izute ha ma kwuo banyere ihe.
Anyị edozila nsogbu a. Ozugbo o kwusịrị akụkọ ya, ọkà okwu na-aga ebe a na-enwe mkparịta ụka pụrụ iche nke nwere ma ọ dịkarịa ala bọọdụ ọcha nwere akara, ma ị na-enwekwa oge buru ibu. N'ezie, ọkà okwu na-ekwe nkwa ịnọ ebe ahụ ma ọ dịkarịa ala n'oge ezumike n'etiti akụkọ. N'ezie, mpaghara mkparịta ụka ndị a nwere ike gbatịa ruo ọtụtụ awa na njedebe (dabere na ọchịchọ na ntachi obi nke ọkà okwu).
Banyere Lamport, ọ bụrụ na m ghọtara nke ọma, ọ chọrọ ime ka ọtụtụ mmadụ kwenye dịka o kwere mee - Nke a bụ ihe dị mma. (). Ikekwe nke a ga-abụ ezigbo ohere maka ndị injinia ịmụta ihe ọhụrụ na bara uru. Leslie na-enye nhọrọ a - onye ọ bụla nwere mmasị nwere ike lelee nkuzi nkuzi ya gara aga wee bịa na ajụjụ. Ya bụ, kama isi okwu, enwere ike ịnwe, dị ka a pụrụ isi kwuo ya, nnọkọ ajụjụ & A pụrụ iche, wee mpaghara mkparịta ụka ọzọ. M googled ntakịrị wee chọta nke ọma (nke a na-akpọ ya nke ọma ) na nkuzi otu awa na Microsoft Faculty Summit.
Ọ bụrụ n’ịchere ndị a niile dị ka aha ewepụtara na granite sitere na Wikipedia na na mkpuchi akwụkwọ, oge eruola izute ha ndụ! Kpaa nkata ma jụọ ajụjụ ndị ibe akwụkwọ akụkọ sayensị agaghị aza, mana ndị dere ha ga-enwe obi ụtọ ịkpọtụrụ.
Kpọọ maka akwụkwọ
Ọ bụghị ihe nzuzo na ọtụtụ n'ime ndị na-agụ isiokwu ahụ ugbu a adịghị ajụ ikwu ihe na-atọ ụtọ nke ọma n'onwe ha. Site n'echiche injinia, site na echiche sayensị, n'echiche ọ bụla. Kọmputa kesara bụ isiokwu sara mbara ma dị omimi, ebe enwere ebe maka onye ọ bụla.
Ọ bụrụ na ịchọrọ igwu egwu n'akụkụ Lamport, ọ ga-ekwe omume kpamkpam. Iji bụrụ ọkà okwu, ị chọrọ , jiri nlezianya gụọ ihe niile n'ebe ahụ ma mee ya dịka ntụziaka ahụ si dị.
Dị jụụ, ozugbo ị jikọọ na usoro ahụ, a ga-enyere gị aka. Kọmiti mmemme ahụ nwere akụrụngwa zuru oke iji nyere aka na akụkọ ahụ n'onwe ya, isi ya na imepụta ya. Onye nhazi ga-enyere gị aka imeri nsogbu nhazi na ihe ndị ọzọ.
Lezienụ anya na foto na ụbọchị. Julaị bụ ụbọchị dị anya maka onye so na ya, na ọkà okwu kwesịrị ịmalite ime ihe ugbu a.
Ụlọ akwụkwọ SPTDC
A ga-enwe ọgbakọ n'otu saịtị ahụ na ụlọ akwụkwọ SPTDC, yabụ maka onye ọ bụla zụtara tiketi maka ụlọ akwụkwọ, tiketi ọgbakọ - na 20% ego.
- ụlọ akwụkwọ nke na-enye usoro ọmụmụ dịgasị iche iche na akụkụ bara uru na nke usoro ihe omume nke usoro nkesa, nke ndị ọkachamara a ma ama na mpaghara dị mkpa na-akụzi.
A ga-enwe ụlọ akwụkwọ ahụ n'asụsụ Bekee, yabụ ebe a bụ ndepụta isiokwu ndị a ga-ekpuchi:
- Usoro data na-emekọ ihe: izi ezi na arụmọrụ;
- Algorithms maka ebe nchekwa na-adịghị agbanwe agbanwe;
- Mgbakọ ekesa;
- mmụta igwe ekesa;
- Ntugharị igwe steeti na Paxos;
- Mmejọ nke Byzantine;
- Algorithmic ntọala nke blockchain.
Ndị na-ekwu okwu ga-ekwu:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Mahadum Brown);
- Michael Scott (Mahadum nke Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Mahadum nke Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Mahadum Ben Gurion);
- Acour Mostefaoui (Mahadum Nantes).
enwere ike ilele ya na akụkọ ụlọ akwụkwọ gara aga na YouTube:
Nzọụkwụ ndị ọzọ
A ka na-ahazi mmemme ọgbakọ. Soro akụkọ na Habré ma ọ bụ na netwọk mmekọrịta (, , ).
Ọ bụrụ na ị kwenyere n'ezie na ogbako (ma ọ bụ na-achọ iji uru nke mmalite mmalite pụrụ iche, dị ka ha na-ekwu, "Early Bird") - ị nwere ike ịga na saịtị na .
Hụrụ gị na Hydra!
isi: www.habr.com