sena Leslie Lamport - mongoli oa mesebetsi ea mantlha ka har'a komporo e ajoang, hape o ka mo tseba ka litlhaku La ka lentsoe LaTeX - "Lamport TeX". Ke eena eo ka lekhetlo la pele, morao koana ka 1979, a ileng a hlahisa maikutlo , le sehlooho sa hae o ile a fumana Moputso oa Dijkstra (ka ho toba, ka 2000 moputso o ne o bitsoa ka tsela ea khale: "PODC Influential Paper Award"). Ho na le ka yena , moo o ka fumanang lihokelo tse ling tse khahlisang. Haeba u thabela ho rarolla mathata ka etsahala-pele kapa (BFT), ba hloka ho utloisisa hore Lamport e ka morao ho tsohle.
'Me haufinyane o tla tla sebokeng sa rona se secha sa computing e ajoang - Hydra, e tla tšoaroa ka July 11-12 St. Petersburg. A re boneng hore na ke phoofolo ea mofuta ofe.
Hydra2019
Lihlooho tse kang multithreading ke tse ling tsa lihlooho tse chesang ka ho fetisisa likopanong tsa rona, esale li le teng. Holo ena e ne e le feela, empa joale motho o hlaha sethaleng a bua ka mohlala oa memori, ho etsahala-pele kapa ho bokella lithōle tse ngata le - boom! - batho ba seng ba ntse ba le ka tlase ho sekete ba nkile sebaka sohle se fumanehang ho lula fatše le ho mamela ka hloko. Moko oa katleho ee ke ofe? Mohlomong taba ea hore kaofela ha rona re na le mofuta o itseng oa lisebelisoa tse khonang ho hlophisa komporo e ajoang? Kapa na ke hore re utloisisa ka mokhoa o sa tsebeng hore na ha re khone ho e beha ka boleng ba eona ba 'nete? Ho na le pale ea sebele ea St. Petersburg quantum (ke hore, mohlahlobi oa lichelete le moqapi oa lichelete), ea ileng a qetella a e-na le sehlopha sa computing matsohong a hae, matla a feletseng a ka sebelisoang ke eena feela. Mme o ne o ka etsang haeba o ne o ka kgona ho phetha mesebetsi ya hao ka bokgoni bo imenneng ho feta hona jwale?
Ka lebaka la botumo bona, sehlooho sa ts'ebetso le k'homphieutha e sebetsang hantle se atisa ho hasana lenaneong la kopano. Ke matsatsi a makae ho a mabeli a litlaleho tse ka etsoang mabapi le ts'ebetso - karolo ea boraro, bobeli borarong? Libakeng tse ling ho na le lithibelo tsa maiketsetso tse fokotsang kholo ena: ho phaella ts'ebetsong, ho ntse ho tlameha ho ba le sebaka sa mekhoa e mecha ea marang-rang, bakeng sa mofuta o itseng oa devops kapa astronautics ea meralo. Che, ts'ebetso, u ke ke ua re ja kaofela!
Kapa u ka ea ka tsela e fapaneng, u inehele 'me ka botšepehi u etse kopano e tla ba ka ho feletseng ka computing e ajoang le ka bona feela. Mme ke ena, Hydra.
Ha re lumele ka 'nete hore kajeno komporo eohle e ajoa ka tsela e itseng. Ebang ke mochine o nang le mefuta e mengata, sehlopha sa lik'homphieutha, kapa tšebeletso e ajoang ka bongata, ho na le mekhoa e mengata hohle e etsang lipalo tse ikemetseng ka ho bapisa, ho lumellana. Hore na e sebetsa joang ka khopolo le hore na e sebetsa joang ts'ebetsong e tla ba sepheo sa Hydra.
Lenaneo la kopano
Lenaneo ha joale le ntse le ntlafatsoa. E lokela ho kenyelletsa litlaleho tse tsoang ho bathehi ba likhopolo-taba tsa litsamaiso tse ajoang le baenjiniere ba sebetsang le bona tlhahisong.
Mohlala, re se re ntse re tseba ka ho nka karolo ha Leslie Lamport ho tsoa ho Lipatlisiso tsa Microsoft le Maurice Herlihy oa Univesithi ea Brown.
Maurice Herlihy - moprofesa ea tummeng le ea hlomphuoang haholo oa Computer Science, ho boetse ho na le pale ka eena , moo o ka fetelang lihokela le mesebetsi. Ha u le moo u ka hlokomela likhau tse peli tsa Dijkstra, tsa pele bakeng sa mosebetsi , 'me ea bobeli, ea morao-rao - . Ka tsela, lihokelo ha li lebise ho SciHub, empa ho Univesithi ea Brown le Virginia Tech University, o ka bula le ho bala.
Maurice o tla amohela molaetsa oa sehlooho o bitsoang "Blockchains ho tsoa ponong ea khomphutha e phatlalalitsoeng". Haeba u thahasella, u ka sheba tlaleho e rekotiloeng ea Maurice ho tsoa St. Petersburg JUG. Hlahlobisisa kamoo a fetisang sehlooho ka ho hlaka le ka ho utloahalang kateng.
Puo ea bobeli ea sehlooho e bitsoang "Dual Data Structures" e tla bala Michael Scott ho tsoa Univesithing ea Rochester. Mme nahana eng - le yena o na le ya hae . Ha a le hae Wisconsin, o tsejoa ka mosebetsi oa hae e le mohlokomeli oa Univesithi ea Wisconsin-Madison, 'me lefatšeng ke monna eo, hammoho le Doug Lea, ba ntlafalitseng li-algorithms tse sa thibeleng le mela e lumellanang eo lilaebrari tsa Java li sebetsang ho tsona. . O ile a fumana Moputso oa hae oa Dijkstra lilemo tse tharo ka mor'a Herlihy, bakeng sa mosebetsi oa hae "Algorithms for scalable synchronization on shared-memory multiprocessors" (joalokaha ho lebeletsoe, laebraring ea inthanete ea Univesithi ea Rochester).
Ho sa na le nako e ngata ho fihlela bohareng ba Phupu. Re tla u bolella ka libui tse ling le lihlooho tsa tsona ha re ntse re ntlafatsa lenaneo le ho atamela July.
Ka kakaretso, ho hlaha potso - ke hobane'ng ha re etsa Hydra lehlabuleng? Etsoe, ena ke nako ea phomolo, matsatsi a phomolo. Bothata ke hore ho na le liprofesa tsa univesithi har'a libui, 'me nako leha e le efe e 'ngoe e phathahane bakeng sa bona. Ha rea khona ho khetha matsatsi a mang.
Libaka tsa lipuisano
Likopanong tse ling, ho etsahala hore sebui se bale se hlokahalang 'me hang-hang se tlohe. Barupeluoa ha ba na nako ea ho e batla - ka mor'a tsohle, tlaleho e latelang e qala hoo e ka bang ntle le lekhalo. Ho utloisa bohloko haholo, haholo-holo ha batho ba bohlokoa ba kang Lamport, Herlihy le Scott ba le teng, 'me ha e le hantle u ea sebokeng ho ea kopana le bona le ho bua ka ntho e itseng.
Re rarolotse bothata bona. Hang ka mor'a tlaleho ea sona, sebui se ea sebakeng sa puisano se khethehileng se nang le bonyane letlapa le lesoeu le nang le lesupa, 'me u ba le nako e ngata haholo. Ka molao, sebui se tšepisa ho ba teng bonyane nakong ea khefu pakeng tsa litlaleho. Ha e le hantle, libaka tsena tsa lipuisano e ka 'na eaba otlolla lihora tse ngata qetellong (ho itšetlehile ka takatso le mamello ea sebui).
Ha e le Lamport, haeba ke utloisisa hantle, o batla ho kholisa batho ba bangata kamoo ho ka khonehang hore - ena ke ntho e ntle. (). Mohlomong ona e tla ba monyetla o motle oa hore baenjiniere ba ithute ntho e ncha le e sebetsang. Leslie o fana ka khetho ena - mang kapa mang ea thahasellang a ka shebella lipuo tsa hae tse fetileng mme a tle le lipotso. Ke hore, sebakeng sa mantsoe a sehlooho, ho ka ba joalo ka ha ho ka ba le seboka se ikhethileng sa Lipotso le Likarabo, ebe sebaka se seng sa lipuisano. Ke ile ka google hanyane mme ka fumana e ntle (e ngotsoe ka molao ) le thuto ea hora le Microsoft Faculty Summit.
Haeba u ne u nahana ka batho bana kaofela e le mabitso a entsoeng ka granite ho tsoa Wikipedia le likoahelong tsa libuka, ke nako ea ho kopana le bona ka kotloloho! Buisana le ho botsa lipotso tseo maqephe a lihlooho tsa saense a ke keng a li araba, empa bangoli ba tsona ba tla thabela ho iteanya.
Bitsa bakeng lipampiri
Hase sephiri hore ba bangata ba ba ntseng ba bala sehlooho sena hona joale ha ba tsilatsile ho bua ntho e thahasellisang ka ho lekaneng ka bobona. Ho tloha ponong ea boenjiniere, ho ea ka pono ea saense, ho tloha sebakeng leha e le sefe sa pono. Computing e ajoang ke sehlooho se pharaletseng haholo le se tebileng, moo ho nang le sebaka sa bohle.
Haeba u batla ho bapala haufi le Lamport, hoa khoneha. Ho ba sebui, u hloka , bala ka hloko ntho e 'ngoe le e' ngoe moo 'me u e etse ho latela litaelo.
E-ba le khutso, hang ha u hokahanya le ts'ebetso, u tla thusoa. Komiti ea lenaneo e na le lisebelisoa tse lekaneng ho thusa ka tlaleho ka boeona, bohlokoa ba eona le moralo oa eona. Mohokahanyi o tla u thusa ho sebetsana le litaba tsa mokhatlo joalo-joalo.
Ela hloko ka ho khetheha setšoantšo se nang le matsatsi. July ke letsatsi le hole haholo ho ea nkang karolo, 'me sebui se lokela ho qala ho nka khato hona joale.
Sekolo sa SPTDC
Seboka se tla tšoareloa sebakeng se le seng le sekolo sa SPTDC, kahoo bakeng sa bohle ba rekang tekete ea sekolo, litekete tsa kopano - ka theolelo ea 20%.
- sekolo se fanang ka mefuta e mengata ea lithuto tse mabapi le likarolo tse sebetsang le tsa theory tsa litsamaiso tse ajoang, tse rutoang ke litsebi tse tsebahalang lefapheng le amehang.
Sekolo se tla tšoaroa ka Senyesemane, kahoo lethathamo la lihlooho tse tla tšohloa ke lena:
- Mehaho ea data ka nako e le 'ngoe: ho nepahala le ho sebetsa hantle;
- Algorithms bakeng sa mohopolo o sa fetoheng;
- Distributed Computability;
- ho ithuta ka mochini;
- Ho pheta-pheta mochini oa mmuso le Paxos;
- ho mamella liphoso tsa Byzantine;
- Metheo ea algorithmic ea blockchains.
Libui tse latelang li tla be li bua:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Univesithi ea Brown);
- Michael Scott (Univesithi ea Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Univesithi ea Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Univesithi ea Ben Gurion);
- Achour Mostefaoui (Univesithi ea Nantes).
ka litlaleho tsa sekolo se fetileng li ka shejoa ka bolokolohi ho YouTube:
Mehato e latelang
Lenaneo la kopano le ntse le etsoa. Latela litaba ho Habré kapa marang-rang a sechaba (, , ).
Haeba u hlile u lumela sebokeng (kapa u batla ho nka monyetla ka theko e khethehileng ea ho qala, joalokaha ba re, "Nonyana ea Pele") - u ka ea setšeng le .
Ke tla u bona Hydra!
Source: www.habr.com