seo Leslie Lamport - ùghdar obraichean bunaiteach ann an coimpiutaireachd sgaoilte, agus faodaidh tu cuideachd eòlas fhaighinn air leis na litrichean La anns an fhacal LaTeX - "Lamport TeX". B 'e esan a thug a-steach a' bhun-bheachd airson a 'chiad uair, air ais ann an 1979 , agus an artaigil aige fhuair Duais Dijkstra (nas mionaidiche, ann an 2000 chaidh an duais a ghairm san t-seann dòigh: "Duais Pàipear Buaidh PODC"). Tha mu dheidhinn , far am faigh thu ceanglaichean nas inntinniche. Ma tha thu air bhioran mu bhith a’ fuasgladh dhuilgheadasan air thachras - ro no (BFT), feumaidh iad tuigsinn gu bheil Lamport air cùl a h-uile càil.
Agus a dh'aithghearr thig e chun cho-labhairt ùr againn air coimpiutaireachd sgaoilte - Hydra, a thèid a chumail san Iuchar 11-12 ann an St Petersburg. Feuch sinn a-mach dè an seòrsa beathach a th’ ann.
Hydra 2019
Is e cuspairean leithid multithreading cuid de na cuspairean as teotha aig na co-labhairtean againn, a bha a-riamh. Bha an talla seo dìreach na fhàsach, ach an uairsin tha neach a 'nochdadh air an àrd-ùrlar a' bruidhinn air a 'mhodail cuimhne, a' tachairt - ro no cruinneachadh sgudail ioma-snàithleach agus - àrdachadh! - mu thràth tha nas lugha na mìle neach a’ gabhail a h-uile àite a tha ri fhaighinn airson suidhe sìos agus èisteachd gu faiceallach. Dè an t-adhbhar a tha aig an t-soirbheachas seo? Is dòcha gu bheil seòrsa de bhathar-cruaidh againn uile air ar làmhan comasach air coimpiutaireachd sgaoilte a chuir air dòigh? No an e gu bheil sinn gu fo-fhiosrach a’ tuigsinn ar neo-chomas a luchdachadh aig a fhìor luach? Tha fìor sgeulachd ann mu aon quantum ann an St Petersburg (is e sin, anailisiche cainneachdail ionmhais agus leasaiche), a thàinig gu crìch le cruinneachadh coimpiutaireachd na làmhan, agus chan urrainn dha làn chumhachd a chleachdadh ach leis fhèin. Agus dè a dhèanadh tu nan deidheadh tu air do ghnìomhan a choileanadh le comasan iomadh uair nas motha na an-dràsta?
Air sgàth cho mòr-chòrdte ‘s a tha seo, tha cuspair dèanadais agus coimpiutaireachd èifeachdach buailteach a bhith a’ sgaoileadh thairis air prògram na co-labhairt. Cia mheud den dà latha de dh'aithisgean a dh'fhaodar a dhèanamh mu choileanadh - trian, dà thrian? Ann an cuid de dh'àiteachan tha cuingealachaidhean fuadain a tha a 'cuingealachadh an fhàs seo: a bharrachd air coileanadh, feumaidh àite a bhith ann fhathast airson frèaman lìn ùra, airson cuid de sheòrsaichean devops no speuradairean ailtireachd. Chan e, dèanadas, chan ith thu sinn uile slàn!
No faodaidh tu a dhol an taobh eile, leig seachad agus gu h-onarach co-labhairt a dhèanamh a bhios gu tur mu dheidhinn coimpiutaireachd sgaoilte agus dìreach mun deidhinn. Agus seo e, Hydra.
Gabhamaid gu h-onarach gu bheil an-diugh a h-uile coimpiutaireachd air a sgaoileadh ann an dòigh no dhà. Ge bith an e inneal ioma-cridhe a th ’ann, cruinneachadh coimpiutaireachd, no seirbheis sgaoilte air sgèile mhòr, tha mòran phròiseasan anns a h-uile àite a bhios a’ dèanamh àireamhachadh neo-eisimeileach aig an aon àm, a ’sioncronadh ri chèile. Bidh fòcas Hydra air mar a tha e ag obair ann an teòiridh agus mar a bhios e ag obair.
Prògram co-labhairt
Tha am prògram ga leasachadh an-dràsta. Bu chòir dha a bhith a’ toirt a-steach aithisgean bho luchd-stèidheachaidh nan teòiridhean mu shiostaman sgaoilte agus innleadairean ag obair còmhla riutha ann an cinneasachadh.
Mar eisimpleir, tha fios againn mu thràth mu chom-pàirteachadh Leslie Lamport bho Microsoft Research agus Maurice Herlihy bho Oilthigh Brown.
Maurice Herlihy - àrd-ollamh cliùiteach agus spèis ann an Saidheans Coimpiutaireachd, tha sgeulachd mu dheidhinn cuideachd , far an urrainn dhut a dhol thairis air na ceanglaichean agus obraichean. An sin chì thu uimhir ri dà dhuais Dijkstra, a’ chiad fhear airson obair air , agus an dàrna fear, nas ùire - . Co-dhiù, chan eil na ceanglaichean eadhon a’ leantainn gu SciHub, ach gu Oilthigh Brown agus Oilthigh Virginia Tech, faodaidh tu fosgladh agus leughadh.
Tha Maurice gu bhith a’ toirt aoigheachd do phrìomh òraid leis an t-ainm “Blockchains bho shealladh coimpiutaireachd sgaoilte”. Ma tha ùidh agad, faodaidh tu sùil a thoirt air clàradh aithisg Maurice bho JUG St. Petersburg. Dèan measadh air dè cho soilleir agus cho tuigseach a tha e a’ cur an cèill a’ chuspair.
Leughaidh an dàrna prìomh òraid ris an canar “Dual Data Structures”. Mìcheal Scott bho Oilthigh Rochester. Agus tomhais dè - tha a chuid fhèin aige cuideachd . Aig an taigh ann an Wisconsin, tha e ainmeil airson a chuid obrach mar dheadhan aig Oilthigh Wisconsin-Madison, agus air an t-saoghal is e am fear a leasaich, còmhla ri Doug Lea, na h-algorithms neo-bacadh agus na ciudhaichean sioncronaich air a bheil leabharlannan Java a’ ruith. . Fhuair e an Duais Dijkstra aige trì bliadhna às deidh Herlihy, airson na h-obrach aige “Algorithms airson sioncronadh scalable air ioma-phròiseasairean cuimhne co-roinnte" (mar a bhiodh dùil, aig leabharlann air-loidhne Oilthigh Rochester).
Tha tòrr ùine ann fhathast gu meadhan an Iuchair. Innsidh sinn dhut mu luchd-labhairt eile agus na cuspairean aca agus sinn ag ùrachadh a’ phrògram agus a’ tighinn faisg air an Iuchar.
San fharsaingeachd, tha a 'cheist ag èirigh - carson a nì sinn Hydra as t-samhradh? Às deidh na h-uile, is e seo an seusan dheth, saor-làithean. Is e an duilgheadas a th’ ann gu bheil ollamhan oilthigh am measg an luchd-labhairt, agus àm sam bith eile trang dhaibh. Cha b' urrainn dhuinn dìreach cinn-latha eile a thaghadh.
Sònaichean deasbaid
Aig co-labhairtean eile, tha e a 'tachairt gun leugh an neach-labhairt na tha riatanach agus gun do dh' fhalbh e sa bhad. Chan eil eadhon ùine aig na com-pàirtichean coimhead air a shon - às deidh a h-uile càil, bidh an ath aithisg a’ tòiseachadh cha mhòr gun bheàrn. Bidh e a’ goirteachadh mòran, gu sònraichte nuair a tha daoine cudromach mar Lamport, Herlihy agus Scott ann, agus gu dearbh thèid thu chun cho-labhairt dìreach airson coinneachadh riutha agus bruidhinn mu rudeigin.
Tha sinn air an duilgheadas seo fhuasgladh. Dìreach às deidh na h-aithisg aige, bidh an neach-labhairt a ’dol gu raon deasbaid sònraichte uidheamaichte le co-dhiù bòrd geal le comharra, agus tha tòrr ùine agad. Gu foirmeil, tha an neach-labhairt a 'gealltainn a bhith ann co-dhiù rè a' bhriseadh eadar aithisgean. Ann an da-rìribh, na raointean deasbaid sin 's dòcha sìneadh airson uairean air dheireadh (a rèir miann agus seasmhachd an neach-labhairt).
A thaobh Lamport, ma thuigeas mi gu ceart, tha e airson toirt a chreidsinn air uimhir de dhaoine sa ghabhas - is e rud math a tha seo. (). Is dòcha gum bi seo na chothrom math dha innleadairean rudeigin ùr agus feumail ionnsachadh. Tha Leslie a’ tabhann an roghainn seo - faodaidh neach sam bith aig a bheil ùidh coimhead air na h-òraidean a dh’ fhalbh agus tighinn le ceistean. Is e sin, an àite prìomh òraid, faodaidh, mar gum biodh, seisean sònraichte Q&A, agus an uairsin raon deasbaid eile. Rinn mi googled beagan agus lorg mi fear math (air ainmeachadh gu h-oifigeil ) agus òraid uair a thìde le Àrd-choinneamh Dàmh Microsoft.
Ma smaoinich thu air na daoine sin uile mar ainmean air an cur ann an clach-ghràin bho Wikipedia agus air còmhdach leabhraichean, tha an t-àm ann coinneachadh riutha beò! Bruidhinn agus faighnich ceistean nach freagair duilleagan artaigilean saidheansail, ach bidh na h-ùghdaran aca toilichte fios a chuir thu.
Gairm airson Phàipearan
Chan eil e na dhìomhaireachd gu bheil mòran den fheadhainn a tha a-nis a’ leughadh an artaigil nach eil deònach rudeigin inntinneach gu leòr innse dhaibh fhèin. Bho shealladh innleadaireachd, bho shealladh saidheansail, bho shealladh sam bith. Tha coimpiutaireachd sgaoilte na chuspair gu math farsaing agus domhainn, far a bheil àite ann airson a h-uile duine.
Ma tha thu airson cluich còmhla ri Lamport, tha e gu tur comasach. Gus a bhith nad neach-labhairt, feumaidh tu , leugh gu faiceallach a h-uile dad an sin agus dèan e a rèir an stiùiridh.
Bi socair, cho luath ‘s a nì thu ceangal ris a’ phròiseas, gheibh thu cuideachadh. Tha goireasan gu leòr aig comataidh a’ phrògraim gus cuideachadh leis an aithisg fhèin, brìgh agus dealbhadh na h-aithisge. Cuidichidh an co-òrdanaiche thu gus dèiligeadh ri cùisean eagrachaidh is mar sin air adhart.
Thoir aire shònraichte don dealbh leis na cinn-latha. Tha an t-Iuchar gu math fada air falbh airson a’ chom-pàirtiche, agus feumaidh an neach-labhairt tòiseachadh air cleasachd a-nis.
Sgoil SPTDC
Thèid a’ cho-labhairt a chumail air an aon làrach le sgoil SPTDC, mar sin airson a h-uile duine a cheannaicheas tiogaid airson na sgoile, tiogaidean co-labhairt - le lasachadh 20%.
- sgoil a bheir seachad raon farsaing de chùrsaichean air na taobhan practaigeach agus teòiridheach de shiostaman sgaoilte, a tha air an teagasg le eòlaichean aithnichte anns an raon iomchaidh.
Bidh an sgoil air a cumail ann am Beurla, mar sin seo an liosta de chuspairean air an còmhdachadh:
- Structaran dàta co-aontach: ceart agus èifeachdas;
- Algorithms airson cuimhne neo-luaineach;
- Computability Sgaoilte;
- ionnsachadh innealan sgaoilte;
- Ath-riochdachadh inneal-stàite agus Paxos;
- Faochadh-fulangas Byzantine;
- Bun-bheachdan algorithmach de blockchains.
Bidh na luchd-labhairt a leanas a’ bruidhinn:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Oilthigh Brown);
- Mìcheal Scott (Oilthigh Rochester);
- Dan Alistarh (IST Ostair);
- Trevor Brown (Oilthigh Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Oilthigh Ben Gurion);
- Achour Mostefaoui (Oilthigh Nantes).
le aithisgean na sgoile roimhe rim faicinn gu saor air YouTube:
Na h-ath cheumannan
Tha prògram na co-labhairt fhathast ga chruthachadh. Lean na naidheachdan air Habré no ann an lìonraidhean sòisealta (, , ).
Ma tha thu dha-rìribh a’ creidsinn anns a’ cho-labhairt (no ma tha thu airson brath a ghabhail air a’ phrìs tòiseachaidh sònraichte, mar a chanas iad, “Early Bird”) - faodaidh tu a dhol chun làraich agus .
Chì mi thu aig Hydra!
Source: www.habr.com