lea Leslie Lamport o le tusitala o galuega seminal i le tufatufaina atu o komepiuta, ma e mafai foi ona e iloa o ia i mataitusi La i le upu LaTeX - "Lamport TeX". O ia lea na muamua, i tua i le 1979, na faʻalauiloaina le manatu , ma lana tusiga maua le Taui Dijkstra (sili atu tonu, i le 2000 na taʻua ai le taui i lona ala tuai: "PODC Influential Paper Award"). E i ai e uiga ia te ia , lea e mafai ona e maua ai nisi fesoʻotaʻiga sili atu ona manaia. Afai o lo'o e fiafia e fo'ia fa'afitauli i mea e tutupu-i luma po'o (BFT), ona tatau lea ona e malamalama o Lamport o loʻo i tua o nei mea uma.
E le o toe mamao ae sau foi o ia i la tatou konafesi fou i luga o le tufatufaina atu o komepiuta - Hydra, lea o le a faia ia Iulai 11-12 i St. Petersburg. Se'i vaai po o le a le ituaiga manu lea.
Hydra 2019
O autu e pei o le multithreading o nisi ia e sili ona lauiloa i a tatou konafesi, e masani lava. Na'o le taimi nei na tu'ufua lenei potu, ae fa'aalia se tagata i luga o le tulaga e talanoa e uiga i le fa'ata'ita'iga manatua, tupu-i luma po'o le tele-fila aoina lapisi ma - boom! - ua uma ona nofoia e le afe tagata avanoa uma e nonofo i lalo ma faʻalogo lelei. O le a le ute o lenei manuia? Masalo ona o loʻo i ai uma a tatou ituaiga o meafaigaluega i lima e mafai ona faʻatulagaina faʻasalalauga tufatufaina? Pe ua tatou malamalama ea i lo tatou le mafai ona utaina e pei ona tatau ai? O loʻo i ai se tala moni o se tasi St. Petersburg quant (o lona uiga, o se tagata suʻesuʻe faʻatusatusaga tau tupe ma le atinaʻe), o le na maua o ia lava i le umiaina o se fuifui komepiuta, o le malosi atoatoa e na o ia lava e mafai ona faʻaaogaina. O le a se mea e te faia pe afai e te maua le malosi e faatino ai au galuega e tele taimi e sili atu nai lo le taimi nei?
Ona o lea lauiloa, o le autu o le gaosiga ma le lelei o komepiuta e masani ona salalau i luga o le lisi o fonotaga. E fia aso e lua o lipoti e mafai ona faia e uiga i fa'atinoga - tolu, lua vaetolu? I nisi o nofoaga o loʻo i ai faʻatapulaʻa faʻagata e faʻatapulaʻa ai lenei tuputupu aʻe: faʻaopoopo i le faʻatinoga, e tatau lava ona i ai se avanoa mo faʻasalalauga fou i luga o le upega tafaʻilagi, mo nisi ituaiga o devops poʻo faʻataʻitaʻiga astronautics. Leai, fa'atinoga, e te le 'aina uma i matou!
Pe mafai foi ona e alu i le isi itu, fiu ma faia ma le faamaoni se konafesi o le a faʻatatau atoa i le tufatufaina atu ma naʻo latou. Ma o lenei, Hydra.
Sei o tatou taʻutino atu ma le faamaoni o aso nei o faʻatusatusaga uma e tufatufaina i se tasi auala poʻo se isi. Pe o se masini e tele-core, o se fuifui komepiuta, poʻo se tautua tufatufaina tele, o loʻo i ai le tele o faʻagasologa i soʻo se mea e faia ai faʻatusatusaga tutoʻatasi i le tutusa, faʻatasi ma le tasi. Hydra o le a tuuto atu i le auala e galue ai i le teori ma pe faʻapefea ona galue i le faʻatinoga.
Polokalama konafesi
O lo'o i ai nei le polokalame i lona tulaga fa'avae. E tatau ona aofia ai lipoti mai i latou na faavaeina aʻoaʻoga o faiga tufatufaina ma inisinia o loʻo galulue faʻatasi ma i latou i le gaosiga.
Mo se faʻataʻitaʻiga, o le auai o Leslie Lamport mai le Microsoft Research ma Maurice Herlihy mai le Brown University ua uma ona iloa.
Maurice Herlihy - o se polofesa sili ona taʻutaʻua ma faʻaaloalogia o Computer Science, e iai foʻi faʻamatalaga e uiga ia te ia , lea e mafai ai ona e su'esu'e i so'otaga ma galuega. O iina e mafai ona e vaʻaia ai taui Dijkstra e lua, o le muamua mo le galue i luga , ma le lona lua, sili ona lata mai - . I le ala, o sootaga e le taitai atu i SciHub, ae i le Iunivesite o Brown ma le Iunivesite o Virginia Tech, e mafai ona e tatalaina ma faitau.
Maurice o le a faia se faʻamatalaga autu e taʻua o "Blockchains mai se vaʻaiga faʻatautaia o komepiuta." Afai e te fiafia, e mafai ona e vaʻai i le puʻeina o le lipoti a Maurice mai le St. Petersburg JUG. Iloilo po o le ā le manino ma le malamalama o loo ia faailoa mai ai le mataupu.
O le faʻamatalaga autu lona lua e taʻua o "Dual Data Structures" o le a faitau Michael Scott mai le Iunivesite o Rochester. Ma mate mai - e iai foʻi lana lava mea . I le fale i Wisconsin, ua lauiloa o ia i lana galuega o se dean i le Iunivesite o Wisconsin-Madison, ma i le lalolagi o ia o le tagata lea, faatasi ai ma Doug Lea, na atiina ae le le poloka algorithms ma synchronous queues lea Java faletusi. galuega. Na ia mauaina lana Dijkstra Prize i le tolu tausaga talu ona mavae Herlihy, mo lana galuega "Algorithms for scalable synchronization on shared-memory multiprocessors" (e pei ona faamoemoeina, i le Iunivesite o Rochester faletusi i luga o le initaneti).
O loʻo tele pea le taimi seia oʻo i le ogatotonu o Iulai. Matou te taʻu atu ia te oe e uiga i failauga o loʻo totoe ma a latou autu aʻo matou faʻaleleia le polokalame ma latalata ia Iulai.
I se tulaga lautele, o le fesili e tulaʻi mai - aisea tatou te faia ai Hydra i le taumafanafana? A uma, o le vaitau maualalo lea, aso malolo. O le fa’afitauli o lo’o i totonu o failauga o lo’o i ai faiaoga iunivesete, ma so’o se isi lava taimi e pisi mo i latou. Sa le mafai lava ona matou filifilia isi aso.
Vaega o talanoaga
I isi konafesi, e tupu na faitau e le failauga mea na ia manaomia ma alu ese loa. E leai se taimi o tagata auai e suʻe ai - pe a uma, o le isi lipoti e amata toetoe lava e aunoa ma se vaeluaga. E matua tiga lava lenei mea, aemaise lava pe a iai tagata taua e pei o Lamport, Herlihy ma Scott, ma e te alu i le konafesi na o le feiloai ia i latou ma talanoaina se mea.
Ua matou foia lenei faafitauli. O le taimi lava e uma ai lana lipoti, e alu atu le failauga i se vaega faapitoa o talanoaga, ua faaauupegaina i se laupapa paepae ma se faailoga, ma e tele lava lou taimi. I le tulaga aloaia, ua folafola atu e le failauga o le a i ai iina a itiiti mai i le taimi atoa o le malologa i le va o folasaga. O le mea moni, o vaega nei talanoaga atonu faaloaloa mo itula i le pito (faʻalagolago i le manaʻo ma le tumau o le failauga).
Ae mo Lamport, afai ou te malamalama saʻo, e manaʻo e faʻamaonia le tele o tagata e mafai - o se mea lelei lenei. (). Masalo o se avanoa lelei lea mo inisinia e aʻoaʻo ai se mea fou ma aoga. Leslie ofo atu lenei filifiliga - oi latou e fiafia e mafai ona matamata i ana lauga ua mavae ma o mai ma fesili. O lona uiga, nai lo se faʻamatalaga autu, e mafai ona i ai se vasega Q&A faʻapitoa, ona sosoo ai lea ma se sone talanoaga. Sa ou su'esu'e ma maua se mea lelei. (fa'aigoa aloa'ia ) ma se lauga e itula le umi mai Microsoft Faculty Summit.
Afai na e vaʻaia nei tagata uma o igoa na lafo i le maamora mai Wikipedia ma luga o faʻasalalauga tusi, ua oʻo i le taimi e feiloai ai ma i latou! Talanoa ma fai fesili e le taliina e itulau o tala faʻasaienisi, ae o latou tusitala o le a fiafia e faʻafesoʻotaʻi.
Valaau mo Pepa
E le o se mea lilo o le toʻatele oi latou o loʻo faitauina nei le tusiga e le o faʻafefe e taʻu mai ia i matou se mea manaia. Mai le manatu fa'ainisinia, mai le fa'asaienisi - mai so'o se manatu. Fa'asoa fa'akomepiuta ose autu lautele ma loloto lea e avanoa mo tagata uma.
Afai e te manaʻo e tauva faʻatasi ma Lamport, e matua mafai lava. Ina ia avea ma failauga e te manaʻomia , faitau ma le faaeteete mea uma iina ma fai e tusa ai ma faatonuga.
Ia mautinoa, o le taimi lava e te auai ai i le faagasologa, o le a latou fesoasoani ia te oe. O le Komiti o Polokalama e lava le malosi e fesoasoani ai i le lipoti lava ia, lona uiga ma le mamanu. O le a fesoasoani le fa'amaopoopo ia te oe e fa'avasega fa'afitauli fa'alapotopotoga ma isi.
Ia gauai faapitoa atu i le ata ma aso. O Iulai ose aso mamao mo le sui auai, ae o le failauga e tatau ona amata galue nei.
Aoga SPTDC
O le fono o le a faia i le nofoaga lava lea e tasi ma le aoga a le SPTDC, o lea mo tagata uma e faʻatau se pepa ulufale i le aʻoga, o pepa ulufale i le fonotaga o le a ma le 20% paʻu.
o se aʻoga e tuʻuina atu le tele o aʻoaʻoga i tulaga faʻapitoa ma faʻataʻitaʻiga o faiga tufatufaina, aʻoaʻoina e tagata tomai faʻapitoa i le matata talafeagai.
O le a faia le aʻoga i le Igilisi, o le mea lea e foliga mai o le lisi o autu o loʻo aofia ai:
- Fa'asologa o fa'amaumauga fa'atasi: sa'o ma lelei;
- Algorithms mo manatua e le fa'afefe;
- Fa'asoa fa'asoa;
- Fa'asoaina a'oa'oga masini;
- Fa'asologa-masini ma Paxos;
- Fa'apalepale masei a Byzantine;
- Algorithmic faavae o poloka poloka.
O failauga nei o le a saunoa:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Iunivesite Brown);
- Michael Scott (Iunivesite o Rochester);
- Dan Alistah (IST Austria);
- Trevor Brown (Iunivesite o Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Iunivesite Ben Gurion);
- Achour Mostefaoui (Iunivesite o Nantes).
E mafai ona e matamata saoloto i lipoti a le aʻoga muamua ile YouTube:
Laasaga muamua
O loʻo faʻatulagaina pea le polokalame o le konafesi. Mulimuli i tala fou i luga o Habré poʻo luga o fesoʻotaʻiga lautele (, , ).
Afai e te talitonu moni i le konafesi (pe manaʻo e faʻaaoga le tau faʻapitoa e ulufale ai, e taʻua o le "Early Bird"), e mafai ona e alu i le upega tafaʻilagi ma .
Feiloai i Hydra!
puna: www.habr.com