this Leslie Lamport - qoraaga shaqooyinka aasaasiga ah ee xisaabinta la qaybiyey, waxaad sidoo kale ku garan kartaa xarfaha La ee ereyga LaTeX - "Lamport TeX". Waxay ahayd markii ugu horeysay, dib u 1979, soo bandhigay fikradda joogtayn joogto ah, iyo maqaalkiisa "Sida Loo Sameeyo Kumbuyuutar Multiprocessor Ah Oo Si Sax Ah U Fuliya Barnaamijyo Badan" helay Abaalmarinta Dijkstra (si sax ah, 2000 abaalmarinta waxaa loogu yeeraa habkii hore: "Award Paper Award PODC"). Waxaa jira isaga oo ku saabsan Maqaal Wikipedia, halkaas oo aad ka heli karto xiriiryo xiiso badan. Haddii aad ku faraxsan tahay xallinta mashaakilaadka dhaca - ka hor ama dhibaatooyinka General Byzantine (BFT), waxay u baahan yihiin inay fahmaan in Lamport uu ka dambeeyay.

Oo wuxuu dhawaan iman doonaa shirkeena cusub ee ku saabsan xisaabinta la qaybiyey - Hydra, kaas oo lagu qaban doono July 11-12 St. Petersburg. Aynu eegno nooca xayawaanka uu yahay.

Hydra 2019

Mawduucyada sida multithreading waa qaar ka mid ah mawduucyada ugu kulul shirarkeena, had iyo jeer waa. Waxay ahayd cidla kaliya ee hoolkan, laakiin markaa qof ayaa ka soo muuqday masraxa, isaga oo ka hadlaya qaabka xusuusta, ka hor - ka hor ama ururinta qashinka multi-threaded iyo - boom! - in ka yar kun qof ayaa qabsaday dhammaan boosaska la heli karo si ay u fariistaan ​​oo ay si taxadar leh u dhegaystaan. Waa maxay nuxurka guushani? Waxaa laga yaabaa in xaqiiqda ah in dhammaanteen aan gacmahayaga ku hayno nooc ka mid ah qalabka awood u leh inuu abaabulo xisaabinta qaybsan? Mise waa in aynu si miyir la’aan ah u fahamnay in aan awood u lahayn in aan ku shubno qiimaheeda dhabta ah? Waxaa jira sheeko dhab ah oo ku saabsan mid ka mid ah tirada St. Maxaadse samayn lahayd haddii aad ku fuliso hawlahaaga karti badan oo ka badan hadda?

Caannimadan awgeed, mawduuca waxqabadka iyo xisaabinta hufan waxay u janjeertaa inay ku faafto barnaamijka shirarka. Immisa ka mid ah labada maalmood ee warbixinnada ayaa laga samayn karaa waxqabadka - saddex meelood meel, saddex meelood laba? Meelaha qaarkood waxaa jira xannibaado macmal ah oo xaddidaya koritaankan: marka lagu daro waxqabadka, waa in weli ay jiraan meel loogu talagalay qaab-dhismeedka shabakada cusub, nooc ka mid ah debadaha ama astronautics qaab dhismeedka. Maya, waxqabadka, nama wada cuni doontid dhammaanteen!

Ama waxaad mari kartaa si ka soo horjeeda, quusto oo si daacad ah u samee shirweyne gabi ahaanba ku saabsan xisaabinta la qaybiyay oo kaliya iyaga. Oo halkan waa, Hydra.

Aynu si daacad ah u qiranno in maanta dhammaan kombuyuutarada ay yihiin hab ama si kale loo qaybiyay. Haddi ay tahay mishiin badan oo xudun u ah, kutlada kombuyuutarada, ama adeeg qaybsan oo baaxad leh, waxa meel walba ka jira habab badan oo sameeya xisaabin madax-banaan oo is barbar socda, oo midba midka kale la jaanqaadi kara. Sida ay u shaqayso aragti ahaan iyo sida ay u shaqayso ficil ahaan waxay noqon doontaa diiradda Hydra.

Barnaamijka shirka

Barnaamijku hadda wuu socdaa. Waa inay ku jirtaa warbixinnada aasaasayaasha fikradaha nidaamyada la qaybiyay iyo injineerada iyaga kala shaqeeya wax soo saarka.

Tusaale ahaan, waxaan horeyba u ognahay ka qaybgalka Leslie Lamport oo ka socota Cilmi-baarista Microsoft iyo Maurice Herlihy oo ka socda Jaamacadda Brown.

Maurice Herlihy - Bare sare oo caan ah oo la ixtiraamo oo cilmiga kumbuyuutarka ah, waxaa sidoo kale jirta sheeko isaga ku saabsan bogga Wikipedia, halkaas oo aad ka gudbi karto isku xirka oo aad ka shaqeyso. Halkaa waxaad ku ogaan kartaa ilaa iyo laba abaalmarin oo Dijkstra ah, oo ah kan ugu horreeya ee shaqada "Is-waafajinta Sug-La'aanta", iyo tan labaad, oo u dambaysay - "Xusuusta Kala-guurka: Taageerada Dhisme ee Qaab-dhismeedka Xogta Xorta ah". Jid ahaan, xiriiriyadu xitaa uma horseedaan SciHub, laakiin Jaamacadda Brown iyo Jaamacadda Tech ee Virginia, waad furi kartaa oo akhrin kartaa.

Maurice waxa uu martigelinayaa hadal muhiim ah oo la yiraahdo "Blockchains oo ka yimid dhinaca xisaabinta la qaybiyey". Haddii aad xiisaynayso, waxaad eegi kartaa duubista warbixinta Maurice ee St. Petersburg JUG. Qiimee sida si cad oo la fahmi karo uu mawduuca u gudbiyo.

Qoraalka labaad ee loo yaqaan "Dual Data Structures" ayaa akhrin doona Michael Scott oo ka socda Jaamacadda Rochester. Bal qiyaas waxa uu isaguba leeyahay bogga Wikipedia. Marka uu joogo guriga Wisconsin, waxa uu caan ku yahay shaqadiisa madaxa jaamacadda Wisconsin-Madison, adduunkana waa ninka, oo ay weheliyaan Doug Lea, horumariyeen algorithm-yada aan xannibin iyo safafka isku midka ah ee maktabadaha Java ay ku shaqeeyaan. . Waxa uu helay Abaalmarinta Dijkstra saddex sano ka dib Herlihy, shaqadiisa "Algorithms for scalable synchronization on multiprocessors-memory" (sida la filayo, Way furan tahay Maktabadda internetka ee Jaamacadda Rochester).

Weli wakhti badan ayaa jira ilaa badhtamaha Luulyo. Waxaan kuu sheegi doonaa wixii ku saabsan kuwa kale ee ka hadlaya iyo mowduucyadooda marka aan turxaan bixineyno barnaamijka iyo soo dhawaada bisha Luulyo.

Guud ahaan, su'aashu waxay soo baxdaa - sababta aan u samayno Hydra xagaaga? Ka dib oo dhan, tani waa xilliga fasaxa, fasaxyada. Dhibka jira ayaa ah in dadka hadlaya ay ku jiraan macalimiin jaamacadeed, wakhti kasta oo kalena iyaga ayaa ku mashquulsan. Kaliya ma dooran karno taariikho kale.

Aagagga dooda

Shirarka kale, waxa dhacda in af-hayeenku akhriyo wixii loo baahnaa, isla markiibana ka baxo. Ka qaybgalayaashu xitaa ma haystaan ​​wakhti ay ku raadiyaan - ka dib oo dhan, warbixinta soo socota waxay ku bilaabataa iyada oo aan nus lahayn. Aad bay u dhibaysaa, gaar ahaan marka dadka muhiimka ah sida Lamport, Herlihy iyo Scott ay halkaas joogaan, oo aad dhab ahaantii aadayso shirka si aad ula kulanto oo aad wax uga hadasho.

Waxaan xallinay dhibaatadan. Isla markii uu warbixintiisa ka dib, afhayeenku waxa uu aadayaa goob dood gaar ah oo ay ku qalabaysan yihiin ugu yaraan sabuur cad oo calaamad leh, wakhti badana aad haysatid. Si rasmi ah, afhayeenku wuxuu ballan qaadayaa inuu halkaas joogo ugu yaraan inta lagu jiro nasashada u dhexeeya warbixinnada. Xaqiiqda, meelahan doodaha mogut fidiso saacado dhamaad ah (waxay kuxirantahay rabitaanka iyo dulqaadka afhayeenka).

Dhanka Lamport, haddii aan si sax ah u fahmo, wuxuu rabaa inuu ku qanciyo dadka ugu badan ee suurtogalka ah taas TLA+ - tani waa wax wanaagsan. (Maqaal ku saabsan TLA+ ee Wikipedia). Waxaa laga yaabaa in tani ay fursad wanaagsan u noqon doonto injineerada si ay u bartaan wax cusub oo faa'iido leh. Leslie wuxuu bixiyaa doorashadan - qof kasta oo danaynaya wuu daawan karaa muxaadarooyinkiisii ​​hore wuxuuna la imaan karaa su'aalo. Taasi waa, halkii laga ahaan lahaa qoraal muhiim ah, waxaa jiri kara, sida ay ahayd, fadhi su'aalo iyo jawaabo gaar ah, ka dibna aag kale oo dood ah. Waxyar ayaan google galiyay oo waxaan helay mid weyn koorsada TLA+ (si rasmi ah loogu magac daray playlist on youtube) iyo muxaadaro saacad ah "Ka Fikirka Kor Code" oo leh Shirarka Kuliyadda Microsoft.

Haddii aad dadkan oo dhan u malaynaysay inay yihiin magacyo granite laga soo tuuray Wikipedia iyo daboolka buugaagta, waa waqtigii aad si toos ah ula kulmi lahayd! La hadal oo weydii su'aalo aysan bogag maqaallo cilmiyeed ka jawaabi doonin, laakiin qorayaashu waxay ku farxi doonaan inay la xiriiraan.

Wac Waddooyinka

Wax qarsoodi ah maaha in qaar badan oo ka mid ah kuwa hadda akhrinaya maqaalka aysan ka nixin inay sheegaan wax xiiso leh oo ku filan naftooda. Marka laga eego dhinaca injineernimada, dhinaca cilmiga sayniska, dhinac kasta. Xisaabinta la qaybiyey waa mawduuc aad u ballaadhan oo qoto dheer, halkaas oo ay jirto meel loogu talagalay qof kasta.

Haddii aad rabto inaad ka garab ciyaarto Lamport, gabi ahaanba waa suurtogal. Si aad u noqoto af-hayeen, waxaad u baahan tahay raac linkiga, si taxadar leh u akhri wax kasta oo halkaa ku yaal oo samee sida waafaqsan tilmaamaha.

Is deji, isla marka aad ku xirto nidaamka, waa lagu caawin doonaa. Guddiga barnaamijku waxa uu haystaa agab ku filan si uu uga caawiyo warbixinta lafteeda, nuxurkeeda iyo qaabaynteeda. Isku-duwaha ayaa kaa caawin doona inaad wax ka qabato arrimaha ururka iyo wixii la mid ah.

Si gaar ah u fiirso sawirka taariikhaha leh. Julaay waa taariikh aad u fog ka qaybqaataha, afhayeenkuna waxa uu u baahan yahay in uu hadda bilaabo jilista.

Dugsiga SPTDC

Shirka waxaa lagu qaban doonaa isla goobta dugsiga SPTDC, sidaa darteed qof kasta oo iibsada tigidhada dugsiga, tigidhada shirarka - leh 20% dhimis.

Dugsiga Xagaaga ee Dhaqanka iyo Aragtida Xisaabinta La Qaybiyay (SPTDС) - dugsi bixiya koorsooyin badan oo kala duwan oo ku saabsan dhinacyada la taaban karo iyo aragtida ee hababka la qaybiyey, kuwaas oo ay dhigaan khubaro la aqoonsan yahay oo ku saabsan goobta ku habboon.

Dugsiga waxa lagu qaban doonaa Ingiriisi, markaa halkan waa liiska mawduucyada laga hadlayo:

• Qaab-dhismeedka xogta isku-dhafan: saxnaanta iyo hufnaanta;
• Algorithms ee xusuusta aan kacsanayn;
• Xisaabinta Qaybsan;
• barashada mashiinka la qaybiyey;
• Ku celcelinta mashiinka gobolka iyo Paxos;
• Dulqaadka qaladka Byzantine;
• Aasaaska Algorithmic ee blockchain.

Kuwa soo socda ayaa hadli doona:

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

playlist iyadoo warbixinadii dugsigii hore si xor ah looga daawan karaa YouTube:

Tallaabooyinka xiga

Barnaamijka shirka ayaa wali socda. La soco wararka Habré ama shabakadaha bulshadafb, vk, twitter).

Haddii aad runtii aaminsan tahay shirka (ama aad rabto inaad ka faa'iidaysato qiimaha bilowga ah ee gaarka ah, sida ay yiraahdaan, "Shimbir Hore") - waxaad tagi kartaa goobta iyo iibsashada tigidhada.

Ku arag Hydra!

Source: www.habr.com