no Leslie Lamport - tus sau cov haujlwm tseem ceeb hauv kev faib xam, thiab koj tuaj yeem paub nws los ntawm cov ntawv La hauv lo lus LaTeX - "Lamport TeX". Nws yog nws thawj zaug, rov qab rau xyoo 1979, tau qhia lub tswv yim , thiab nws tsab xov xwm tau txais qhov khoom plig Dijkstra (ntau qhov tseeb, hauv 2000 qhov khoom plig raug hu ua qub: "PODC Influential Paper Award"). Muaj txog nws , qhov twg koj tuaj yeem tau txais qee qhov txuas ntxiv nthuav. Yog tias koj txaus siab rau kev daws teeb meem ntawm qhov tshwm sim-ua ntej lossis (BFT), lawv yuav tsum nkag siab tias Lamport yog qab nws tag nrho.
Thiab tsis ntev nws yuav tuaj rau peb lub rooj sib tham tshiab ntawm kev faib xam - Hydra, uas yuav muaj rau Lub Xya Hli 11-12 hauv St. Cia peb saib seb nws yog tsiaj dab tsi.
Hydra 2019 Nws
Cov ncauj lus zoo li multithreading yog qee cov ntsiab lus kub tshaj plaws ntawm peb lub rooj sib tham, ib txwm muaj. Lub tsev no tsuas yog deserted, tab sis tom qab ntawd ib tug neeg tshwm nyob rau ntawm theem tham txog lub cim xeeb qauv, tshwm sim-ua ntej los yog ntau-threaded khib nyiab sau thiab - boom! - twb dhau ib txhiab tus neeg nyob txhua qhov chaw muaj los zaum thiab mloog kom zoo. Lub ntsiab ntawm qhov kev vam meej no yog dab tsi? Tej zaum qhov tseeb tias peb txhua tus muaj nyob rau ntawm peb txhais tes qee yam khoom siv uas muaj peev xwm los teeb tsa kev faib xam? Los yog nws yog tias peb subconsciously nkag siab peb tsis muaj peev xwm thauj khoom ntawm nws qhov muaj nqis tiag? Muaj ib zaj dab neeg tiag tiag ntawm ib qho ntawm St. Petersburg quantum (uas yog, tus kws tshuaj ntsuam xyuas nyiaj txiag thiab tus tsim tawm), uas tau xaus nrog kev suav nrog hauv nws txhais tes, lub zog tag nrho uas tsuas yog siv tau los ntawm nws ib leeg xwb. Thiab koj yuav ua li cas yog tias koj tau ua tiav koj cov dej num nrog lub peev xwm ntau zaus ntau dua tam sim no?
Vim qhov kev muaj koob meej no, lub ntsiab lus ntawm kev ua tau zoo thiab kev suav ua tau zoo tau nthuav dav thoob plaws lub rooj sib tham program. Ntau npaum li cas ntawm ob hnub ntawm kev tshaj tawm tuaj yeem hais txog kev ua haujlwm - ib feem peb, ob feem peb? Hauv qee qhov chaw muaj kev txwv tsis pub muaj kev txwv qhov kev loj hlob no: ntxiv rau kev ua tau zoo, tseem yuav tsum muaj chaw rau lub vev xaib tshiab, rau qee hom devops lossis architectural astronautics. Tsis yog, kev ua tau zoo, koj yuav tsis noj peb tag nrho!
Lossis koj tuaj yeem mus rau qhov tsis sib xws, tso tseg thiab ua siab ncaj ua lub rooj sib tham uas yuav tag nrho txog kev faib xam thiab tsuas yog hais txog lawv. Thiab ntawm no nws yog, Hydra.
Cia peb ua siab ncaj lees paub tias niaj hnub no tag nrho kev suav yog ib txoj hauv kev los yog lwm qhov kev faib tawm. Txawm hais tias nws yog lub tshuab siv ntau lub tshuab, lub tshuab xam zauv, lossis cov kev pabcuam loj loj, muaj ntau cov txheej txheem nyob txhua qhov chaw uas ua cov kev suav ywj pheej nyob rau hauv parallel, synchronizing nrog ib leeg. Nws ua haujlwm li cas hauv txoj kev xav thiab nws ua haujlwm li cas hauv kev xyaum yuav yog lub hom phiaj ntawm Hydra.
Lub rooj sablaj program
Txoj haujlwm tam sim no tab tom txhim kho. Nws yuav tsum suav nrog cov lus ceeb toom los ntawm cov tsim ntawm cov kev xav ntawm kev faib cov tshuab thiab cov engineers ua haujlwm nrog lawv hauv kev tsim khoom.
Piv txwv li, peb twb paub txog kev koom tes ntawm Leslie Lamport los ntawm Microsoft Research thiab Maurice Herlihy los ntawm Brown University.
Maurice Herlihy - ib tug xib fwb nto moo thiab hwm ntawm Computer Science, kuj muaj ib zaj dab neeg txog nws , qhov twg koj tuaj yeem mus hla qhov txuas thiab ua haujlwm. Nyob ntawd koj tuaj yeem pom ntau npaum li ob qhov khoom plig Dijkstra, thawj zaug rau kev ua haujlwm , thiab qhov thib ob, tsis ntev los no - . Los ntawm txoj kev, cov kev sib txuas tsis txawm coj mus rau SciHub, tab sis mus rau Brown University thiab Virginia Tech University, koj tuaj yeem qhib thiab nyeem.
Maurice tab tom yuav tuav lub ntsiab lus tseem ceeb hu ua "Blockchains los ntawm kev faib xam xam pom". Yog xav paub ntxiv, koj tuaj yeem saib cov ntaub ntawv sau tseg ntawm Maurice tsab ntawv ceeb toom los ntawm St. Petersburg JUG. Ntsuam xyuas seb nws qhia tau meej npaum li cas thiab nkag siab txog lub ntsiab lus.
Qhov thib ob keynote hu ua "Dual Data Structures" yuav nyeem Michael Scott los ntawm University of Rochester. Thiab twv dab tsi - nws muaj nws tus kheej thiab . Hauv tsev hauv Wisconsin, nws paub txog nws txoj haujlwm ua tus thawj saib xyuas hauv University of Wisconsin-Madison, thiab hauv ntiaj teb nws yog tus txiv neej uas, ua ke nrog Doug Lea, tsim cov txheej txheem tsis thaiv cov txheej txheem thiab cov kab sib txuas uas Java cov tsev qiv ntawv khiav ntawm. . Nws tau txais nws qhov khoom plig Dijkstra peb xyoos tom qab Herlihy, rau nws txoj haujlwm "Algorithms rau scalable synchronization ntawm kev sib koom-nco multiprocessors" (raws li xav tau, ntawm lub tsev qiv ntawv online ntawm University of Rochester).
Tseem muaj ntau lub sijhawm mus txog rau thaum nruab nrab Lub Xya Hli. Peb yuav qhia koj txog lwm tus neeg hais lus thiab lawv cov ntsiab lus thaum peb kho qhov kev pab cuam thiab mus txog Lub Xya Hli.
Feem ntau, cov lus nug tshwm sim - yog vim li cas peb thiaj li ua Hydra nyob rau lub caij ntuj sov? Tom qab tag nrho, qhov no yog lub caij so, hnub so. Qhov teeb meem yog tias muaj cov xibfwb hauv tsev kawm ntawv ntawm cov neeg hais lus, thiab lwm lub sijhawm tsis khoom rau lawv. Peb tsuas yog xaiv tsis tau lwm hnub.
Cov cheeb tsam sib tham
Hauv lwm lub rooj sab laj, nws tshwm sim tias tus hais lus nyeem qhov tsim nyog thiab sab laug tam sim ntawd. Cov neeg koom tsis txawm muaj sijhawm los nrhiav nws - tom qab tag nrho, tsab ntawv ceeb toom tom ntej pib yuav luag tsis muaj qhov sib txawv. Nws mob heev, tshwj xeeb tshaj yog thaum cov neeg tseem ceeb xws li Lamport, Herlihy thiab Scott nyob ntawd, thiab koj tau mus rau lub rooj sab laj tsuas yog ntsib lawv thiab tham txog qee yam.
Peb tau daws qhov teeb meem no. Tam sim ntawd tom qab nws daim ntawv tshaj tawm, tus neeg hais lus mus rau thaj chaw sib tham tshwj xeeb uas muaj tsawg kawg yog ib daim ntawv dawb nrog lub cim, thiab koj muaj sijhawm ntau heev. Raws li txoj cai, tus hais lus cog lus tias yuav nyob ntawd tsawg kawg thaum lub sijhawm so ntawm cov lus ceeb toom. Qhov tseeb, cov kev sib tham no tej zaum yuav stretch rau cov sij hawm thaum kawg (nyob ntawm lub siab xav thiab kev ua siab ntev ntawm tus hais lus).
Raws li Lamport, yog tias kuv nkag siab raug, nws xav hais kom ntau tus neeg ntau li ntau tau - qhov no yog qhov zoo. (). Tej zaum qhov no yuav yog lub caij nyoog zoo rau cov kws tsim khoom los kawm qee yam tshiab thiab muaj txiaj ntsig. Leslie muaj qhov kev xaiv no - leej twg txaus siab tuaj yeem saib nws cov lus qhuab qhia yav dhau los thiab tuaj nrog cov lus nug. Ntawd yog, tsis yog lub ntsiab lus tseem ceeb, tuaj yeem ua tau, raws li nws yog, kev sib tham tshwj xeeb Q&A, thiab tom qab ntawd lwm thaj chaw sib tham. Kuv googled me ntsis thiab pom ib qho zoo heev (officially dubbed ) thiab ib teev lus qhuab qhia nrog Microsoft Kws Ua Haujlwm Summit.
Yog tias koj xav txog tag nrho cov neeg no raws li cov npe pov hauv granite los ntawm Wikipedia thiab ntawm phau ntawv npog, nws yog lub sijhawm los ntsib lawv nyob! Tham thiab nug cov lus nug uas cov nplooj ntawv ntawm cov ntawv tshawb fawb yuav tsis teb, tab sis lawv cov kws sau ntawv yuav zoo siab hu rau.
Hu rau Cov Ntaub Ntawv
Nws tsis yog ib qho zais cia tias ntau tus neeg uas tam sim no nyeem tsab xov xwm tsis averse los qhia ib yam dab tsi nthuav txaus rau lawv tus kheej. Los ntawm engineering point of view, los ntawm ib tug scientific taw tes ntawm view, los ntawm txhua qhov kev pom. Kev faib tawm suav yog ib lub ntsiab lus dav dav thiab sib sib zog nqus, uas muaj qhov chaw rau txhua tus.
Yog tias koj xav ua si nrog Lamport, nws yog qhov ua tau. Txhawm rau ua tus hais lus, koj xav tau , ua tib zoo nyeem txhua yam nyob ntawd thiab ua raws li cov lus qhia.
Ua siab ntev, sai li sai tau thaum koj txuas rau tus txheej txheem, koj yuav tau txais kev pab. Pawg neeg ua haujlwm muaj peev txheej txaus los pab nrog daim ntawv tshaj tawm nws tus kheej, nws cov ntsiab lus thiab tsim qauv. Tus neeg saib xyuas yuav pab koj daws cov teeb meem hauv lub koom haum thiab lwm yam.
Ua tib zoo saib xyuas daim duab nrog cov hnub. Lub Xya Hli yog ib hnub nyob deb heev rau cov neeg tuaj koom, thiab tus hais lus yuav tsum pib ua tam sim no.
SPTDC tsev kawm ntawv
Lub rooj sib tham yuav muaj nyob rau tib qhov chaw nrog lub tsev kawm ntawv SPTDC, yog li rau txhua tus neeg uas yuav daim pib rau lub tsev kawm ntawv, daim pib rooj sib tham - nrog 20% luv nqi.
- ib lub tsev kawm ntawv uas muaj ntau yam kev kawm ntawm cov tswv yim thiab theoretical yam ntawm kev faib tshuab, uas yog qhia los ntawm cov kws paub txog kev paub nyob rau hauv cov hauj lwm.
Lub tsev kawm ntawv yuav tuav ua lus Askiv, yog li ntawm no yog cov npe ntawm cov ncauj lus:
- Concurrent data structures: raug thiab efficiency;
- Algorithms rau lub cim xeeb tsis-volatile;
- Distributed Computability;
- faib tshuab kev kawm;
- Lub xeev-machine replication thiab Paxos;
- Byzantine txhaum-tolerance;
- Algorithmic hauv paus ntawm blockchains.
Cov neeg hais lus hauv qab no yuav hais lus:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (University of Nantes).
nrog cov lus ceeb toom ntawm lub tsev kawm ntawv dhau los tuaj yeem pom dawb hauv YouTube:
Cov kauj ruam tom ntej
Lub rooj sib tham tseem tab tom tsim. Ua raws cov xov xwm ntawm Habre lossis hauv kev sib tham (, , ).
Yog tias koj ntseeg tiag tiag hauv lub rooj sib tham (los yog xav kom zoo dua ntawm tus nqi pib tshwj xeeb, raws li lawv hais, "Early Bird") - koj tuaj yeem mus rau ntawm qhov chaw thiab .
Pom koj ntawm Hydra!
Tau qhov twg los: www.hab.com