izany Leslie Lamport - ny mpanoratra ny asa fototra amin'ny informatika mizara, ary azonao atao koa ny mahafantatra azy amin'ny litera La amin'ny teny LaTeX - "Lamport TeX". Izy no voalohany, tamin'ny 1979, nampiditra ny foto-kevitra , sy ny lahatsorany nahazo ny loka Dijkstra (ny marimarina kokoa, tamin'ny 2000 ny loka dia nantsoina tamin'ny fomba taloha: "PODC Influential Paper Award"). Misy ny momba azy , izay ahafahanao mahazo rohy mahaliana kokoa. Raha mientanentana ianao amin'ny famahana olana amin'ny zava-mitranga-alohan'ny na (BFT), mila takatr'izy ireo fa i Lamport no ao ambadik'izany rehetra izany.
Ary tsy ho ela izy dia ho tonga amin'ny fihaonambe vaovao momba ny informatika zaraina - Hydra, izay hatao ny 11-12 Jolay any Saint-PΓ©tersbourg. Andeha hojerentsika hoe karazana biby inona izy io.
Hydra 2019
Ny lohahevitra toy ny multithreading dia ny sasany amin'ireo lohahevitra mafana indrindra amin'ny fihaonambentsika, hatrizay. Tany foana tao amin'ny efitrano ity, fa avy eo dia nisy olona niseho teo amin'ny lampihazo, miresaka momba ny fahatsiarovana modely, mitranga-aloha na multi-threaded fanangonana fako sy - boom! - efa misy olona latsaky ny arivo mibodo ny toerana rehetra azo hipetrahana sy hihainoana tsara. Inona no fototry ny fahombiazana? Angamba ny zava-misy fa isika rehetra dia manana karazana fitaovana afaka mandamina informatika zaraina? Sa ny tsy fahatsapantsika ny tsy fahafahantsika mameno izany amin'ny tena vidiny? Misy tantara marina momba ny quantum Saint-PΓ©tersbourg (izany hoe, mpanadihady ara-bola sy mpandrindra ara-bola), izay niafara tamin'ny cluster computing teny an-tanany, ny hery feno izay tsy azo ampiasaina irery ihany. Ary inona no hataonao raha tsy maintsy manatanteraka ny asanao miaraka amin'ny fahaiza-manao imbetsaka noho ny ankehitriny ianao?
Noho io laza io, ny lohahevitra momba ny fampisehoana sy ny informatika mahomby dia miparitaka manerana ny programa fihaonambe. Firy amin'ireo roa andro nanaovana tatitra momba ny zava-bita - ampahatelony, roa ampahatelony? Any amin'ny toerana sasany dia misy fameperana artifisialy mametra io fitomboana io: ankoatry ny fampisehoana, dia tsy maintsy misy toerana ho an'ny rafi-tranonkala vaovao, ho an'ny karazana devops na astronautika ara-javakanto. Tsia, fampisehoana, tsy hihinana anay rehetra ianao!
Na azonao atao ny mandeha amin'ny lalana mifanohitra amin'izany, miala ary manao fihaonambe marina izay momba ny informatika zaraina ary momba azy ireo ihany. Ary indro, Hydra.
Andao hanaiky am-pahatsorana fa ankehitriny ny informatika rehetra dia mizara amin'ny fomba iray na hafa. Na milina maro-fototra, cluster computing, na serivisy zaraina midadasika, dia misy dingana maro eny rehetra eny izay manao kajy tsy miankina mifanitsy, mifanandrify. Ny fomba fiasa amin'ny teoria sy ny fomba fiasa amin'ny fampiharana no ho ifantohan'ny Hydra.
Fandaharana fihaonambe
Eo am-pamolavolana ny fandaharana aminβizao fotoana izao. Tokony ahitana tatitra avy amin'ny mpanorina ny teoria momba ny rafitra mizara sy ny injeniera miasa miaraka amin'izy ireo amin'ny famokarana.
Ohatra, efa fantatsika ny fandraisan'i Leslie Lamport avy amin'ny Microsoft Research sy Maurice Herlihy avy ao amin'ny Brown University.
Maurice Herlihy - mpampianatra informatika malaza sy hajaina, misy tantara momba azy koa , izay ahafahanao mijery ireo rohy sy asa. Any ianao dia afaka mahamarika mari-pankasitrahana Dijkstra roa, ny voalohany ho an'ny asa , ary ny faharoa, vao haingana kokoa - . Raha ny marina, ny rohy dia tsy mitondra any amin'ny SciHub akory, fa any amin'ny Brown University sy Virginia Tech University, azonao atao ny manokatra sy mamaky.
Maurice dia hampiantrano lahateny antsoina hoe "Blockchains amin'ny fomba fijery informatika mizara". Raha liana ianao dia azonao jerena ny firaketana ny tatitra nataon'i Maurice avy amin'ny JUG St. Petersburg. Tombantombana ny fomba fampitanany ny foto-kevitra mazava sy azo.
Hivakiana ny fanamarihana faharoa antsoina hoe "Dual Data Structures". Michael Scott avy amin'ny Oniversiten'i Rochester. Ary fantaro hoe - manana ny azy koa izy . Ao an-trano any Wisconsin izy dia fantatra amin'ny asany amin'ny maha-dean ao amin'ny Oniversiten'i Wisconsin-Madison, ary eo amin'izao tontolo izao dia izy no lehilahy izay, niaraka tamin'i Doug Lea, namolavola ireo algorithm tsy manakana sy filaharana mifanandrify izay mandeha amin'ny tranomboky Java. . Nahazo ny loka Dijkstra izy telo taona taorian'ny Herlihy, noho ny asany "Algorithms for scalable synchronization on shared-memory multiprocessors" (araka ny efa nampoizina, ao amin'ny tranomboky an-tserasera ao amin'ny Oniversiten'i Rochester).
Mbola be ny fotoana hatraminβny tapaky ny volana jolay. Holazainay aminao ny momba ireo mpandahateny hafa sy ny lohahevitr'izy ireo rehefa manadio ny fandaharana izahay ary manakaiky ny volana Jolay.
Amin'ny ankapobeny, mipoitra ny fanontaniana - nahoana isika no manao Hydra amin'ny fahavaratra? Amin'izao fotoana izao, vanim-potoana fialan-tsasatra, fety. Ny olana dia misy mpampianatra eny amin'ny anjerimanontolo eo amin'ireo mpandahateny, ary izay fotoana hafa ananany dia sahirana. Tsy afaka nifidy daty hafa izahay.
Faritra dinika
Amin'ny fihaonambe hafa, dia mamaky izay ilaina ny mpandahateny ary miala avy hatrany. Tsy manam-potoana hitadiavana izany akory ireo mpandray anjara - raha ny marina, ny tatitra manaraka dia manomboka saika tsy misy elanelana. Tena maharary izany, indrindra rehefa misy olona manan-danja toa an'i Lamport, Herlihy ary Scott ary tena mandeha any amin'ny fihaonambe ianao mba hihaona amin'izy ireo sy hiresaka zavatra.
Namaha ity olana ity izahay. Avy hatrany aorian'ny tatitra nataony, ny mpandahateny dia mandeha any amin'ny faritra misy fifanakalozan-kevitra manokana misy takelaka fotsy misy marika, fara fahakeliny, ary manana fotoana be dia be ianao. Amin'ny fomba ofisialy, ny mpandahateny dia mampanantena fa ho eo farafaharatsiny mandritra ny fiatoana eo anelanelan'ny tatitra. Raha ny zava-misy, ireo sehatra fifanakalozan-kevitra ireo afaka mihinjitra mandritra ny ora maro (arakaraka ny faniriana sy ny faharetan'ny mpandahateny).
Raha ny momba anβi Lamport, raha azoko tsara dia te handresy lahatra olona maro araka izay azo atao izy - zavatra tsara izany. (). Angamba mety ho fotoana tsara ho an'ny injeniera hianatra zava-baovao sy mahasoa izany. Leslie dia manolotra ity safidy ity - izay liana dia afaka mijery ny lahateniny taloha ary mitondra fanontaniana. Izany hoe, raha tokony ho fehin-kevitra, dia mety hisy, toy ny hoe, fivoriana Q&A manokana, ary avy eo faritra fifanakalozan-kevitra hafa. Nijery google kely aho ary nahita iray tsara (nomena anarana ofisialy ) ary lahateny adiny iray miaraka amin'ny Microsoft Faculty Summit.
Raha noheverinao ho anarana vita amin'ny granita avy amin'ny Wikipedia sy eo amin'ny fonon-boky ireo olona rehetra ireo, fotoana izao hihaonana mivantana amin'izy ireo! Miresaha ary mametraha fanontaniana izay tsy hovalian'ny pejin'ny lahatsoratra siantifika, fa ny mpanoratra azy dia ho faly hifandray.
Antsoy amin'ny taratasy
Tsy tsiambaratelo fa maro amin'ireo izay mamaky ny lahatsoratra ankehitriny no tsy misalasala milaza zavatra mahaliana ny tenany. Amin'ny lafiny injeniera, amin'ny lafiny siantifika, amin'ny lafiny rehetra. Ny informatika zaraina dia lohahevitra midadasika sy lalina, izay misy toerana ho an'ny rehetra.
Raha te hilalao miaraka amin'i Lamport ianao dia azo atao tanteraka izany. Mba ho tonga mpandahateny dia mila , vakio tsara daholo ny ao ary ataovy araka ny toromarika.
Aoka ianao ho tony, raha vao mifandray amin'ny dingana ianao dia hahazo fanampiana. Ny komity fandaharana dia manana loharanon-karena ampy hanampiana amin'ny tatitra, ny maha-zava-dehibe azy ary ny famolavolana azy. Ny mpandrindra dia hanampy anao hiatrika ny olana momba ny fandaminana sy ny sisa.
Tandremo manokana ny sary misy ny daty. Ny volana Jolay dia daty somary lavitra ho an'ny mpandray anjara, ary mila manomboka mihetsika izao ny mpandahateny.
sekoly SPTDC
Ny fihaonambe dia hatao amin'ny toerana mitovy amin'ny sekoly SPTDC, ka ho an'izay rehetra mividy tapakila ho an'ny sekoly, tapakila fihaonambe - miaraka amin'ny fihenam-bidy 20%.
- sekoly manome taranja maro be momba ny lafin-javatra azo ampiharina sy ara-teorika amin'ny rafitra fizarana, izay ampianarin'ny manam-pahaizana ekena amin'ny sehatra mifandraika amin'izany.
Ny sekoly dia hatao amin'ny teny anglisy, ka izao ny lisitry ny lohahevitra voaresaka:
- Firafitry ny angon-drakitra mifanitsy: marina sy mahomby;
- Algorithm ho an'ny fahatsiarovana tsy miovaova;
- Fizarana computability;
- fianarana milina zaraina;
- Replication amin'ny milina fanjakana sy Paxos;
- fandeferana ny fahadisoan'ny Byzantine;
- Ny fototry ny algorithm amin'ny blockchains.
Ireto mpandahateny manaraka ireto dia hiteny:
- Leslie Laimport (Microsoft);
- Maurice Herlihy (University Brown);
- Michael Scott (University of Rochester);
- Dan Alistah (IST Austria);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (University Ben Gurion);
- Achour Mostefaoui (University of Nantes).
miaraka amin'ny tatitra momba ny sekoly teo aloha dia azo jerena malalaka ao amin'ny YouTube:
Dingana manaraka
Mbola amboarina ny fandaharanβasa fihaonambe. Araho ny vaovao amin'ny HabrΓ© na amin'ny tambajotra sosialy (, , ).
Raha tena mino ny fihaonambe ianao (na te hanararaotra ny vidin'ny fanombohana manokana, araka ny filazan'izy ireo hoe "Early Bird") - afaka mandeha any amin'ny tranokala ianao ary .
Hitanao ao amin'ny Hydra!
Source: www.habr.com