Maurice Herlihy - is-sid ta' tnejn Premjijiet Dijkstra. L-ewwel huwa għax-xogħol "Sinkronizzazzjoni mingħajr stennija" (Università Brown) u t-tieni, aktar reċenti, - "Memorja Transazzjonali: Appoġġ Arkitettoniku għall-Istrutturi tad-Dejta mingħajr Lock" (Virginia Tech University). Il-Premju Dijkstra jingħata għal xogħlijiet li s-sinifikat u l-influwenza tagħhom ilhom notevoli għal mill-inqas għaxar snin u, ovvjament, Maurice huwa wieħed mill-aktar speċjalisti famużi fil-qasam. Bħalissa huwa professur fl-Università Brown u għandu kisbiet twal paragrafi. Issa huwa involut fir-riċerka tal-blockchain fil-kuntest tal-kompjuters distribwit klassiku.

Preċedentement, Maurice diġà ġie r-Russja għall-SPTCC (videotape) u għamel laqgħa eċċellenti tal-komunità tal-iżviluppaturi Java JUG.ru f'San Pietruburgu (videotape).

Din il-habrapost hija intervista mill-aqwa ma' Maurice Herlihy. Jiddiskuti s-suġġetti li ġejjin:

• Interazzjoni bejn l-akkademja u l-industrija;
• Fondazzjoni għar-riċerka tal-blockchain;
• Minn fejn ġejjin ideat innovattivi? Influwenza tal-popolarità;
• PhD taħt is-superviżjoni ta’ Barbara Liskov;
• Id-dinja qed tistenna multi-core;
• Dinja ġdida, problemi ġodda. NVM, NUMA u hacking tal-arkitettura;
• Kompilaturi vs CPUs, RISC vs CISC, memorja kondiviża vs tgħaddi ta 'messaġġi;
• L-arti tal-kitba ta 'kodiċi fraġli multi-threaded;
• Kif tgħallem lill-istudenti kif jiktbu kodiċi kumpless multi-threaded;
• Edizzjoni ġdida tal-ktieb "The Art of Multiprocessor Programming";
• Kif ġiet ivvintata memorja transazzjonali?   
• Għaliex ta 'min jagħmel riċerka fil-qasam tal-kompjuters distribwit;
• L-iżvilupp ta 'algoritmi waqaf, u kif tgħix fuq;
• Xogħol fl-Università ta’ Brown;
• Id-differenza bejn l-università u r-riċerka korporattiva;
• Hydra u SPTDC.

L-intervisti jsiru minn:

Vitaly Aksenov — bħalissa post-dottorat fl-IST Austria u impjegat tad-Dipartiment tat-Teknoloġiji tal-Kompjuter fl-Università ITMO. Huwa involut fir-riċerka fil-qasam tat-teorija u l-prattika tal-istrutturi tad-dejta kompetittivi. Qabel ma ngħaqad mal-IST, huwa rċieva l-PhD mill-Università Diderot ta' Pariġi u l-Università ITMO taħt il-Prof. Petr Kuznetsov.

Alexey Fedorov huwa produttur f'JUG Ru Group, kumpanija Russa li torganizza konferenzi għall-iżviluppaturi. Alexey ipparteċipa fil-preparazzjoni ta 'aktar minn 50 konferenza, u l-reterume tiegħu fih kollox mill-pożizzjoni ta' inġinier tal-iżvilupp f'Oracle (JCK, Java Platform Group) sal-pożizzjoni ta 'żviluppatur f'Odnoklassniki.

Vladimir Sitnikov huwa inġinier f'Netcracker. Għal għaxar snin ilu jaħdem fuq il-prestazzjoni u l-iskalabbiltà ta 'NetCracker OS, softwer użat mill-operaturi tat-telekomunikazzjoni biex awtomatizzat il-proċessi ta' ġestjoni tan-netwerk u t-tagħmir tan-netwerk. Interessat fi kwistjonijiet ta' prestazzjoni ta' Java u Oracle Database. Awtur ta 'aktar minn tużżana titjib fil-prestazzjoni fis-sewwieq uffiċjali PostgreSQL JDBC.

Interazzjoni bejn l-akkademja u l-industrija

Alexey: Maurice, ilek taħdem fl-akkademja għal żmien twil ħafna u l-ewwel mistoqsija hija dwar l-interazzjoni bejn l-akkademja u l-industrija. Tista' tgħidilna kif l-interazzjonijiet bejniethom inbidlu dan l-aħħar? X'kien 20-30 sena ilu u x'qed jiġri issa? 

Maurice: Jien dejjem ippruvajt naħdem mill-qrib ma’ kumpaniji kummerċjali għax għandhom sfidi interessanti. Bħala regola, ma tantx huma interessati la jippubblikaw ir-riżultati tagħhom jew fi spjegazzjonijiet dettaljati tal-problemi tagħhom lill-komunità dinjija. Huma interessati biss li jsolvu dawn il-problemi. Ħdimt għal xi wħud minn dawn il-kumpaniji għal xi żmien. Għamilt ħames snin naħdem full-time f’laboratorju ta’ riċerka f’Digital Equipment Corporation, li kienet kumpanija ewlenija tal-kompjuters. Ħdimt ġurnata fil-ġimgħa f'Sun, fil-Microsoft, fl-Oracle, ħdimt ftit fuq Facebook. Issa se mmur leave sabbatiku (professur f'università Amerikana jitħalla jieħu vaganza bħal din għal sena madwar darba kull sitt snin) u naħdem fi Algorand, Din hija tali kumpanija tal-kripto-munita f'Boston. Il-ħidma mill-qrib mal-kumpaniji dejjem kienet ta’ pjaċir, għax hekk titgħallem dwar affarijiet ġodda u interessanti. Ġeneralment tista’ tkun l-ewwel jew it-tieni persuna li tippubblika artiklu dwar suġġett magħżul, minflok ittejjeb gradwalment is-soluzzjonijiet għal problemi li kulħadd diġà qed jaħdem fuqhom.

Alexey: Tista’ tgħidilna aktar dwar kif jiġri dan?

Maurice: Ovvjament. Taf, meta kont fil-Korporazzjoni tat-Tagħmir Diġitali, jien u Elliot Moss, ivvintajna memorja transazzjonali. Kien perjodu produttiv ħafna meta kulħadd beda jinteressa ruħu fit-teknoloġija tal-informatika. Il-konkorrenza inkluża, għalkemm sistemi multi-core għadhom ma kinux jeżistu. Fil-jiem ta 'Sun u Oracle, għamilt ħafna xogħol fuq strutturi ta' data paralleli. F'Facebook, kont involut fil-proġett tagħhom tal-blockchain, li ma nistax nitkellem dwaru iżda nispera li jsir pubbliku dalwaqt. Is-sena d-dieħla, f'Algorand, se nkun qed naħdem fuq tim ta' riċerka li jistudja l-kuntratti intelliġenti.

Alexey: Blockchain sar suġġett popolari ħafna fl-aħħar ftit snin. Dan se jgħin ir-riċerka tiegħek? Forsi se jagħmilha aktar faċli biex jinkisbu għotjiet jew jiġi pprovdut aċċess għal riżorsi minn kumpaniji li joperaw fl-industrija?

Maurice: Diġà rċevejt għotja żgħira mill-Fondazzjoni Ethereum. Il-popolarità tal-blockchain hija utli ħafna biex tispira lill-istudenti biex jaħdmu f'dan il-qasam. Huma interessati ħafna fiha u kuntenti li jkunu involuti, imma kultant ma jirrealizzawx li riċerka li tinstema’ jitħajjar minn barra tirriżulta li tinvolvi xogħol tassew iebes. Madankollu, jien kuntent ħafna li nuża din il-mistika kollha madwar il-blockchain, tgħin biex tattira studenti. 

Imma dan mhux kollox. Jiena fuq il-bord konsultattiv ta 'bosta startups blockchain. Xi wħud minnhom jistgħu jirnexxu, xi wħud jistgħu le, iżda dejjem huwa interessanti ħafna li tara l-ideat tagħhom, tistudjahom u tagħti pariri lin-nies. L-iktar ħaġa eċċitanti hija meta twissi lin-nies biex ma jagħmlux xi ħaġa. Ħafna affarijiet jidhru bħala idea tajba għall-ewwel, imma huma verament?

Fondazzjoni għar-Riċerka tal-Blockchain

Vitaly: Xi nies jaħsbu li blockchain u l-algoritmi tagħha huma l-futur. U nies oħra jgħidu li hija biss bużżieqa oħra. Tista' taqsam l-opinjoni tiegħek dwar din il-kwistjoni?

Maurice: Ħafna minn dak li qed jiġri fid-dinja tal-blockchain mhux qed jaħdem sew, xi wħud huma biss scams, ħafna affarijiet huma overrated. Madankollu, naħseb li hemm bażi xjentifika soda għal dawn l-istudji. Il-fatt li d-dinja tal-blockchain hija sħiħa ta 'diviżjonijiet ideoloġiċi juri l-livell ta' eċċitament u dedikazzjoni. Min-naħa l-oħra, mhuwiex partikolarment ta 'benefiċċju għar-riċerka xjentifika. Issa, jekk tippubblika artiklu li jitkellem dwar in-nuqqasijiet ta 'algoritmu partikolari, ir-reazzjoni riċevuta mhux dejjem tkun kompletament xjentifika. Ħafna drabi n-nies jesprimu l-emozzjonijiet tagħhom. Naħseb li hype bħal dan f'dan il-qasam jista 'jidher attraenti għal xi wħud, iżda fl-aħħar, hemm kwistjonijiet xjentifiċi u ta' inġinerija reali li għad iridu jiġu indirizzati. Hemm ħafna Xjenza tal-Kompjuter hawn.

Vitaliy: Allura qed tipprova tpoġġi l-pedament għar-riċerka tal-blockchain, hux?

Maurice: Qed nipprova npoġġi l-pedament għal dixxiplina soda, xjentifikament u matematikament soda. U parti mill-problema hija li xi drabi trid tikkontradixxi xi wħud mill-pożizzjonijiet ħarxa żżejjed ta’ nies oħra, biex tinjorahom. Xi drabi n-nies jistaqsu għaliex naħdem f’qasam li t-terroristi u n-negozjanti tad-droga biss huma interessati fih. Reazzjoni bħal din hija bla sens daqs l-imġieba tas-segwaċi li jirrepetu kliemek bl-addoċċ. Naħseb li l-verità tinsab x'imkien fin-nofs. Blockchain għad irid ikollu impatt profond fuq is-soċjetà u l-ekonomija globali. Iżda, probabbilment, dan mhux se jiġri grazzi għat-teknoloġija moderna. Se jiżviluppaw teknoloġiji moderni u dak li se jissejjaħ blockchain fil-futur se jsir importanti ħafna. Forsi lanqas biss se tidher qisha blockchains moderni, dik hija mistoqsija miftuħa.

Jekk in-nies jivvintaw teknoloġiji ġodda, se jkomplu jsejħulha blockchain. Jiġifieri, bħalma l-Fortran tal-lum m’għandu x’jaqsam xejn mal-lingwa Fortran mis-sittinijiet, imma kulħadd jibqa’ jsejjaħlu Fortran. L-istess għal UNIX. Dak li jissejjaħ "blockchain" għad irid jagħmel ir-rivoluzzjoni tiegħu. Imma niddubita li dan il-blockchain il-ġdid se jkun bħal dak li kulħadd iħobb juża llum.

Minn fejn ġejjin ideat innovattivi? Influwenza tal-popolarità

Alexey: Il-popolarità tal-blockchain wasslet għal riżultati ġodda mil-lat xjentifiku? Aktar interazzjoni, aktar studenti, aktar kumpaniji fiż-żona. Hemm xi riżultati ta 'dan it-tkabbir fil-popolarità diġà?

Maurice: Interessajt f’dan meta xi ħadd tani flyer uffiċjali għal kumpanija li kienet għadha kemm ġabret ħafna flus. Kitbet dwar il-kompitu tal-ġenerali Biżantinili jien iktar minn familjari magħhom. Miktub fil-fuljett kien teknikament żbaljat. In-nies li kitbu dan ma tantx fehmu l-mudell wara l-problema... u madankollu din il-kumpanija ġabret ħafna flus. Sussegwentement, il-kumpanija bil-kwiet biddel dan il-fuljett b'verżjoni ferm aktar korretta - u mhux se ngħid x'kien l-isem ta 'din il-kumpanija. Għadhom jeżistu u sejrin tajjeb ħafna. Dan il-każ ikkonvinċieni li, l-ewwelnett, blockchain hija biss forma ta 'komputazzjoni distribwita. It-tieni nett, il-limitu tad-dħul (dak iż-żmien, erba 'snin ilu) kien pjuttost baxx. In-nies li jaħdmu f'dan il-qasam kienu enerġetiċi u intelliġenti ħafna, iżda ma jaqrawx dokumenti xjentifiċi. Ippruvaw jivvintaw mill-ġdid affarijiet magħrufa u għamluha ħażin. Illum id-drama tnaqqset.

Alexey: Dan huwa interessanti ħafna, għax ftit snin ilu kellna xejra differenti. Huwa daqsxejn bħall-iżvilupp front-end, meta l-iżviluppaturi front-end ibbażati fuq il-brawżer ivvintaw mill-ġdid teknoloġiji sħaħ li diġà kienu popolari fil-back-end: sistemi ta 'bini, integrazzjoni kontinwa, affarijiet bħal dawn. 

Maurice: Naqbel. Iżda dan mhux sorprendenti, għaliex ideat verament rivoluzzjonarji dejjem jiġu minn barra l-komunità stabbilita. Riċerkaturi stabbiliti, speċjalment awtoritajiet fl-akkademja, mhux probabbli li jagħmlu xi ħaġa tassew innovattiva. Huwa faċli li tikteb rapport għall-konferenza li jmiss dwar kif tejbet xi ftit ir-riżultati tax-xogħol tal-passat tiegħek. Mur għal konferenza, iltaqa’ mal-ħbieb, tkellem dwar l-istess affarijiet. U n-nies li jidħlu b’ideat innovattivi kważi dejjem jiġu minn barra. Ma jafux ir-regoli, ma jafux il-lingwa, imma xorta... Jekk int ġewwa komunità stabbilita, nagħtik parir biex tagħti kas għal affarijiet ġodda, għal xi ħaġa li ma tidħolx fil-kbar stampa. F'ċertu sens, jista 'jsir tentattiv biex jiġu kkombinati żviluppi esterni, aktar fluwidi ma' tekniki li diġà nifhmu. Bħala l-ewwel pass, ipprova toħloq bażi xjentifika, u mbagħad immodifikaha sabiex tkun tista 'tiġi applikata għal ideat innovattivi ġodda. Naħseb li l-blockchain hija kbira għar-rwol ta 'idea innovattiva ġdida.

Alexey: Għaliex taħseb li jiġri dan? Minħabba li n-nies "barra" m'għandhomx ostakoli speċifiċi inerenti fil-komunità?

Maurice: Hemm mudell hawn. Jekk taqra l-istorja tal-Impressjonisti fil-pittura u l-arti b'mod ġenerali, allura fl-istess ħin artisti famużi ċaħdu l-impressjoniżmu. Qalu li kienet xi tip ta’ childishness. Ġenerazzjoni wara, din il-forma ta 'arti li qabel kienet miċħuda saret l-istandard. Dak li nara fil-qasam tiegħi: l-inventuri tal-blockchain ma kinux interessati fil-poter, fl-istralċ ta 'pubblikazzjonijiet u indiċi ta' ċitazzjoni, riedu biss jagħmlu xi ħaġa tajba. U allura poġġew bilqiegħda u bdew jagħmluha. Ma kellhomx ċertu ammont ta 'fond tekniku, iżda dan jista' jiġi ffissat. Huwa ħafna aktar diffiċli li toħroġ b'ideat kreattivi ġodda milli tikkoreġi u tkabbar dawk li ma jkunux maturi biżżejjed. Grazzi għal dawn l-inventuri, issa għandi xi ħaġa x'nagħmel!

Alexey: Dan huwa simili għad-differenza bejn startups u proġetti legacy. Aħna nirtu ħafna limitazzjonijiet tal-ħsieb, ostakli, rekwiżiti speċjali, eċċ.

Maurice: Analoġija tajba hija kompjuters distribwiti. Aħseb fil-blockchain bħallikieku kienet startup u kompjuters distribwiti bħala kumpanija stabbilita kbira. Il-kompjuters distribwiti jinsabu fil-proċess li jinxtraw u jingħaqdu mal-blockchain.

PhD taħt Barbara Liskov

Vitaliy: Għad għandna ħafna mistoqsijiet! Ilna nirriċerkaw il-bijo tiegħek u ltqajna ma 'fatt interessanti dwar il-PhD tiegħek. Iva, kien żmien twil ilu, iżda s-suġġett jidher li huwa importanti. Irċevejt il-PhD tiegħek taħt is-superviżjoni ta' Barbara Liskov! Barbara hija magħrufa ħafna fil-komunità tal-iżvilupp tal-lingwa tal-ipprogrammar, u persuna famuża ħafna b'mod ġenerali. Huwa loġiku li r-riċerka tiegħek kienet fil-qasam tal-lingwi tal-ipprogrammar. Kif qlibt għall-kompjuters paralleli? Għaliex iddeċidejt li tibdel is-suġġett?

Maurice: Dak iż-żmien, Barbara u l-grupp tagħha kienu biss qed iħarsu lejn il-kompjuter distribwit, li kienet idea ġdida ħafna. Kien hemm ukoll min qal li l-kompjuters distribwiti huma bla sens, il-komunikazzjoni bejn il-kompjuters hija bla sens. Waħda mill-kwistjonijiet ikkunsidrati fil-komputazzjoni distribwita, li tiddistingwihom mill-kompjuters ċentralizzat, hija t-tolleranza għall-ħsarat. Wara ħafna riċerka, iddeċidejna li f'lingwa ta 'programmar għal kompjuters distribwiti, jeħtieġ li jkollok xi ħaġa bħal tranżazzjonijiet atomiċi, għaliex qatt ma tista' tkun ċert li sejħa remota tirnexxi. Ladarba jkollok tranżazzjonijiet, hemm problema ta 'kontroll tal-konkorrenza. Imbagħad kien hemm ħafna xogħol fuq il-kisba ta 'strutturi ta' data transazzjonali paralleli ħafna. Imbagħad meta ggradwajt mort Carnegie Mellon u beda jfittex suġġett għax-xogħol. Ġie f’moħħi li l-informatika kienet għaddiet minn kompjuters individwali għal netwerks ta’ kompjuters. Kontinwazzjoni naturali tal-progress tkun multiprocessors - il-kelma "multi-core" ma kinitx teżisti dak iż-żmien. Ħsibt: x'inhu l-ekwivalenti ta 'tranżazzjonijiet atomiċi għal sistema multi-core? Żgur mhux tranżazzjonijiet ordinarji, għax huma kbar wisq u tqal. U hekk ħriġt bl-idea linearizzabbiltà u hekk ħriġt bis-sinkronizzazzjoni sħiħa bla stennija. Kien attentat biex tingħata risposta għall-mistoqsija dwar x'inhu l-analogu ta 'tranżazzjonijiet atomiċi għal sistema multiproċessur b'memorja kondiviża. Ewwel daqqa t'għajn, dan ix-xogħol jista' jidher pjuttost differenti, iżda fil-fatt huwa kontinwazzjoni tal-istess tema.

Id-dinja qed tistenna multi-core

Vitaly: Semmejt li dak iż-żmien kien hemm ftit ħafna kompjuters multi-core, hux?

Maurice: Huma sempliċement ma kinux jeżistu. Kien hemm diversi dawk li jissejħu multiproċessuri simmetriċi, li bażikament kienu konnessi mal-istess xarabank. Ma tantx ħadmet tajjeb, għax kull darba li kumpanija ġdida ħolqot xi ħaġa bħal din, Intel ħarġet proċessur wieħed li qabeż il-multiprocessor.

Alexei: Dan ma jfissirx li f’dawk iż-żminijiet antiki, kien aktar studju teoretiku?

Maurice: Ma kienx studju teoretiku, iżda pjuttost studju spekulattiv. Dan kollu ma kienx dwar il-ħidma ma 'ħafna teoremi, anzi, ressaqna ipoteżi dwar l-arkitettura li ma kinitx teżisti dak iż-żmien. Għal hekk hi r-riċerka! L-ebda kumpanija ma kienet tagħmel dan, kienet kollha xi ħaġa mill-futur imbiegħed. Fil-fatt, dan kien sal-2004, meta dehru proċessuri multi-core reali. Minħabba l-fatt li l-proċessuri jisħnu żżejjed, tista 'tagħmel il-proċessur saħansitra iżgħar, iżda ma tistax tagħmilha aktar mgħaġġla. Minħabba dan, kien hemm transizzjoni għal arkitetturi multi-core. U mbagħad kien ifisser li f'daqqa waħda kien hemm użu għall-kunċetti kollha li konna żviluppajna fil-passat.

Alexey: Għaliex taħseb li l-proċessuri multi-core dehru biss fis-snin XNUMX? Allura għaliex daqshekk tard?

Maurice: Huwa minħabba limitazzjonijiet tal-hardware. Intel, AMD, u kumpaniji oħra huma tajbin ħafna biex jagħtu spinta lill-veloċitajiet tal-proċessuri. Meta f’xi punt il-proċessuri saru żgħar biżżejjed li ma setgħux iżidu aktar il-veloċità tal-arloġġ għax il-proċessuri kienu jibdew jaħarqu. Tista 'tagħmilhom iżgħar, iżda mhux aktar malajr. Dak li hu fil-poter tagħhom - minflok proċessur żgħir ħafna, jitwaħħal tmienja, sittax jew tnejn u tletin proċessur fl-istess volum tal-każ, fejn wieħed biss kien joqgħod. Issa għandek komunikazzjoni multithreading u veloċi bejniethom għax jaqsmu l-caches. Imma ma tistax tagħmilhom jimxu aktar malajr - hemm limitu ta 'veloċità speċifiku ħafna. Ikomplu jitjiebu ftit ftit, imma mhux daqshekk. Il-liġijiet tal-fiżika tfixklu.

Dinja ġdida, problemi ġodda. NUMA, NVM u hacking tal-arkitettura

Alexei: Ħsejjes raġonevoli ħafna. Bil-proċessuri multi-core ġodda ġew problemi ġodda. Int u l-kollegi tiegħek stennew dawn il-problemi? Forsi studjajthom minn qabel? Fi studji teoretiċi ħafna drabi ma jkunx faċli ħafna li wieħed ibassar affarijiet bħal dawn. Meta seħħew il-problemi, sa liema punt laħqu l-aspettattivi tiegħek u tal-kollegi tiegħek? Jew kienu ġodda fjamanti u int u l-kollegi tiegħek kellek tqattgħu ħafna ħin issolvi l-problemi hekk kif qamu?

Vitaliy: Se nżid mal-mistoqsija ta' Alexey: bassejt b'mod korrett l-arkitettura tal-proċessuri waqt li kont qed tistudja t-teorija?

Maurice: Mhux kollha 100%. Imma naħseb li l-kollegi tiegħi u jien għamilna xogħol tajjeb biex inbassru multi-core tal-memorja kondiviża. Naħseb li bdejna b'mod korrett id-diffikultajiet fit-tfassil ta 'strutturi ta' data paralleli li jaħdmu mingħajr serraturi. Tali strutturi tad-dejta kienu importanti għal ħafna applikazzjonijiet, għalkemm mhux għal kulħadd, iżda ħafna drabi int verament bżonn struttura tad-dejta mingħajr lock. Meta ivvintajnahom, ħafna argumentaw li dan huwa bla sens, li kollox jaħdem sew bis-serraturi. Aħna pprevesajna pjuttost tajjeb li jkun hemm soluzzjonijiet lesti għal ħafna problemi ta 'programmazzjoni u problemi ta' struttura tad-dejta. Kien hemm ukoll problemi aktar kumplessi, bħal IN – Aċċess irregolari għall-memorja. Fil-fatt, lanqas biss kienu kkunsidrati sal-invenzjoni ta 'proċessuri multi-core minħabba li kienu speċifiċi wisq. Il-komunità tar-riċerka ħadmet fuq mistoqsijiet li ġeneralment kienu prevedibbli. Xi problemi ta 'hardware assoċjati ma' arkitetturi speċifiċi kellhom jistennew fil-ġwienaħ - fil-fatt, id-dehra ta 'dawn l-arkitetturi. Pereżempju, ħadd ma ħadem verament fuq strutturi tad-dejta speċifiċi għall-GPU minħabba li l-GPU ma kinitx teżisti dak iż-żmien. Għalkemm sar ħafna xogħol fuqu SIMD, dawn l-algoritmi kienu lesti għall-użu hekk kif deher il-ħardwer it-tajjeb. Madankollu, huwa impossibbli li wieħed ibassar kollox.

Alexey: Jekk nifhem sew, NUMA hija tip ta' kompromess bejn l-ispiża, il-prestazzjoni u xi affarijiet oħra. Xi idea għaliex in-NUMA waslet daqshekk tard?

Maurice: Naħseb li n-NUMA teżisti minħabba problema bil-ħardwer użat biex issir il-memorja: aktar ma l-komponenti jkunu 'l bogħod, aktar ikunu aċċessati bil-mod. Min-naħa l-oħra, it-tieni valur ta 'din l-astrazzjoni huwa l-uniformità tal-memorja. Għalhekk, waħda mill-karatteristiċi tal-kompjuters paralleli hija li l-astrazzjonijiet kollha huma kemmxejn miksura. Kieku l-aċċess kien perfettament uniformi, il-memorja kollha tkun ekwidistanti, iżda dan huwa ekonomikament, u forsi anke fiżikament impossibbli. Allura dan il-kunflitt jinqala'. Jekk tikteb il-programm tiegħek bħallikieku l-memorja kienet uniformi, allura x'aktarx li tkun korretta. Fis-sens li mhux se tagħti tweġibiet ħżiena. Iżda l-prestazzjoni tal-istilel tagħha mis-sema mhux se grab. Bl-istess mod, jekk tikteb spinlocks mingħajr ma tifhem il-ġerarkija tal-caches, is-serratura nnifisha tkun korretta, iżda tista 'tinsa dwar il-prestazzjoni. F’ċertu sens, trid tikteb programmi li jgħixu fuq estrazzjoni sempliċi ħafna, imma trid tegħleb lin-nies li taw dik l-astrazzjoni: trid tkun taf li taħt l-astrazzjoni hemm xi ġerarkija tal-memorja, li hemm xarabank bejnek u din il-memorja, eċċ. Għalhekk, hemm xi kunflitt bejn astrazzjonijiet li huma utli waħedhom, li jwassalna għal problemi speċifiċi ħafna u pragmatiċi.

Vitaliy: Xi ngħidu dwar il-futur? Tista' tbassar kif il-proċessuri se jiżviluppaw aktar? Hemm idea li waħda mit-tweġibiet hija memorja transazzjonali. Probabilment għandek xi ħaġa oħra fl-istokk.

Maurice: Hemm ftit sfidi kbar quddiemhom. Waħda hija li l-memorja koerenti hija astrazzjoni mill-isbaħ, iżda tibda tkisser f'każijiet speċjali. Allura, pereżempju, NUMA hija eżempju ħaj ta’ xi ħaġa fejn tista’ tibqa’ tippretendi li teżisti memorja uniformi. Attwalment - le, il-prestazzjoni se jġiegħlek tibki. F'xi punt, il-periti se jkollhom jabbandunaw l-idea ta 'arkitettura ta' memorja unifikata, ma tistax tippretendi għal dejjem. Se jkunu meħtieġa mudelli ġodda ta 'programmazzjoni li huma faċli biżżejjed biex jintużaw u b'saħħithom biżżejjed biex jagħmlu l-hardware sottostanti effiċjenti. Dan huwa kompromess diffiċli ħafna, għaliex jekk turi lill-programmaturi l-arkitettura li fil-fatt tintuża fil-ħardwer, dawn se jmorru miġnun. Huwa ikkumplikat wisq u mhux portabbli. Jekk tippreżenta interface li hija sempliċi wisq, il-prestazzjoni tkun fqira. Għalhekk, ikun hemm bżonn li jsiru ħafna kompromessi diffiċli ħafna sabiex jiġu pprovduti mudelli ta 'programmazzjoni utli applikabbli għal proċessuri multi-core verament kbar. M'inix ċert li xi ħadd għajr speċjalista dejjaq huwa kapaċi li jipprogramma fuq kompjuter 2000-core. U sakemm ma tkunx qed tagħmel kompjuters speċjalizzati jew xjentifiċi ħafna, kriptografija jew kwalunkwe ħaġa oħra, xorta m'hu xejn ċar kif tagħmel dan sew. 

Direzzjoni oħra simili hija l-arkitetturi speċjalizzati. L-aċċeleraturi tal-grafika ilhom jeżistu għal żmien twil, iżda diġà saru tip ta 'eżempju klassiku ta' kif tista 'tieħu tip speċjalizzat ta' komputazzjoni u tmexxiha fuq ċippa dedikata. Dan iżid l-isfidi tiegħu stess: kif tikkomunika ma 'tali apparat, kif tipprogrammah. Dan l-aħħar ħdimt fuq kompiti fiż-żona kompjuters tal-memorja qrib. Tieħu proċessur żgħir u waħħalha ma' biċċa kbira ta' memorja sabiex il-memorja taħdem b'veloċità cache L1, u mbagħad tikkomunika ma' apparat bħal TPU - il-proċessur huwa okkupat tagħbija kompiti ġodda fil-qalba tal-memorja tiegħek. L-iżvilupp ta 'strutturi ta' data u protokolli ta 'komunikazzjoni għal dan it-tip ta' ħaġa huwa eżempju interessanti ieħor. Għalhekk, proċessuri u hardware speċjalizzati se jkunu soġġetti għal titjib għal żmien pjuttost twil.

Alexey: Xi ngħidu dwar il-memorja mhux volatili (memorja mhux volatili)?

Maurice: Oh, dak eżempju kbir ieħor! NVM se jibdel bil-kbir il-mod kif inħarsu lejn affarijiet bħall-istrutturi tad-dejta. Memorja mhux volatili, f'ċertu sens, twiegħed li verament tħaffef l-affarijiet. Iżda mhux se tagħmel il-ħajja aktar faċli, għaliex il-biċċa l-kbira tal-proċessuri, caches, u reġistri għadhom volatili. Meta tibda wara ħabta, l-istat tiegħek u l-istat tal-memorja tiegħek mhux se jkunu eżattament l-istess bħal qabel il-ħabta. Jiena grat ħafna lin-nies involuti fl-NVM - għal żmien twil, ir-riċerkaturi se jkollhom xi ħaġa x'jagħmlu, jippruvaw isibu l-kundizzjonijiet tal-korrettezza. Il-komputazzjonijiet huma korretti jekk jistgħu jibqgħu ħajjin f'ħabta li fiha jintilef il-kontenut tal-caches u r-reġistri, iżda l-memorja ewlenija tibqa' intatta.

Kompilaturi vs CPUs, RISC vs CISC, memorja kondiviża vs messaġġi li jgħaddu

Vladimir: X'taħseb dwar id-dilemma tal-kompilaturi kontra l-proċessuri f'termini tas-sett ta' struzzjonijiet? Biex nispjega għal dawk li mhumiex fis-suġġett: jekk immorru għal memorja irregolari jew xi ħaġa bħal dik, nistgħu napplikaw sett ta 'struzzjonijiet sempliċi ħafna u nitolbu lill-kompilatur biex jiġġenera kodiċi kumpless li jista' jieħu vantaġġ mill-benefiċċji. Jew nistgħu mmorru mod ieħor: nimplimentaw struzzjonijiet kumplessi u nistaqsu lill-proċessur biex jordna mill-ġdid l-istruzzjonijiet u jagħmel manipulazzjonijiet oħra magħhom. X'taħseb dwarha?

Maurice: Ma tantx għandi risposta għal dik il-mistoqsija. Dan id-dibattitu ilu għaddej erba’ deċennji. Kien hemm żmien bejn imqassar sett tal-kmand u diffiċli gwerer ċivili kienu miġġielda minn sett ta 'kmandi. Għal xi żmien, in-nies RISC rebħu, iżda mbagħad Intel bena mill-ġdid il-magni tagħhom sabiex sett imnaqqas ta 'struzzjonijiet intuża internament, u s-sett sħiħ ġie esportat esternament. Probabbilment dan huwa suġġett li fih kull ġenerazzjoni ġdida trid issib il-kompromessi tagħha u tieħu d-deċiżjonijiet tagħha. Huwa diffiċli ħafna li wieħed ibassar liema minn dawn l-affarijiet se tkun aħjar. Allura kull tbassir li nagħmel se jkun veru għal ċertu żmien, u mbagħad falz mill-ġdid għal xi żmien, u mbagħad veru mill-ġdid.

Alexey: Kemm hu komuni għall-industrija b'mod ġenerali li xi ideat jirbħu fuq bosta deċennji u jitilfu fl-oħra? Hemm eżempji oħra ta’ bidliet perjodiċi bħal dawn?

Maurice: Fil-qasam tal-kompjuter distribwit, hemm nies li jemmnu fih memorja kondiviża u nies li jemmnu fihom messaġġi. Oriġinarjament fil-kompjuters distribwiti, il-kompjuters paralleli jfisser li jgħaddi messaġġ. Imbagħad xi ħadd skopra li l-memorja kondiviża għamlet l-ipprogrammar ħafna aktar faċli. In-naħa l-oħra qalet li l-memorja kondiviża hija kkumplikata wisq, minħabba li għandhom bżonn serraturi u affarijiet simili, għalhekk ta 'min nimxu għal lingwi fejn ma jeżisti xejn ħlief il-passaġġ tal-messaġġi. Xi ħadd ħares lejn dak li ħareġ minnha u qal: “Ara naqra, din l-implimentazzjoni tal-messaġġi tidher simili ħafna għall-memorja kondiviża, għax inti toħloq ħafna, ħafna minn dawn il-moduli żgħar, jibagħtu messaġġi lil xulxin, u kollha staġnar, - ejja nagħmlu database tal-memorja kondiviża aħjar!". Dan kollu jiġi ripetut għal darb'oħra, u huwa impossibbli li wieħed jgħid li waħda mill-partijiet għandha raġun bla ambigwità. Naħa waħda dejjem se tiddomina, għax hekk kif waħda minnhom kważi tirbaħ, in-nies għal darb'oħra u għal darb'oħra jivvintaw modi kif itejbu l-oħra.

L-Arti tal-Kitba tal-Kodiċi Multithreaded Fraġli

Alexei: Dan huwa interessanti ħafna. Pereżempju, meta niktbu kodiċi, tkun xi tkun il-lingwa tal-ipprogrammar, ġeneralment ikollna noħolqu astrazzjonijiet bħal ċelloli li jistgħu jinqraw u jinkitbu. Iżda fil-fatt, f'xi livell fiżiku, jista 'jidher li jibgħat messaġġ fuq ħardwer bus bejn kompjuters differenti u apparat ieħor. Jirriżulta li hemm xogħol fiż-żewġ livelli ta 'estrazzjoni f'daqqa.

Maurice: Huwa assolutament veru li l-memorja kondiviża hija mibnija fuq il-passaġġ tal-messaġġi - karozzi tal-linja, caches, eċċ. Iżda huwa diffiċli li tikteb programmi bl-użu ta 'messaġġi li jgħaddu, għalhekk il-hardware deliberatament tinsab, taparsi li għandek xi tip ta' memorja uniformi. Dan jagħmilha aktar faċli għalik li tikteb programmi sempliċi u korretti qabel ma l-prestazzjoni tibda tiddeterjora. Imbagħad int tgħid: qisu wasal iż-żmien li tagħmel ħbieb mal-cache. U mbagħad tibda tinkwieta dwar il-post tal-cache, u minn hemm imur. F'ċertu sens, qed tkisser l-astrazzjoni: taf li mhix biss memorja ċatta u uniformi, u int ser tuża dak l-għarfien biex tikteb programmi favur il-cache. Dan huwa dak li ser ikollok tagħmel fi problemi reali. Dan il-kunflitt bejn l-astrazzjoni ħelwa, sempliċi u sabiħa li ngħatajt u l-implimentazzjoni horribly kumplessa tal-hardware sottostanti huwa fejn kulħadd se jagħmel il-kompromess tiegħu. Għandi ktieb dwar multiprocessors u sinkronizzazzjoni, u f'ħin minnhom kont se nikteb kapitlu dwar l-istrutturi tad-data f' java.util.koncurrent. Jekk tħares lejhom, affarijiet simili skip lists Dawn huma xogħlijiet tal-arti tal-għaġeb. (Nota tal-editur: dawk li huma familjari mal-lingwa Java għandhom mill-inqas jagħtu ħarsa lejn l-implimentazzjoni KoncurrentSkipListMap, Tista' tħares lejn il-links għal API и kodiċi tas-sors). Iżda mil-lat tiegħi, ikun irresponsabbli li nuruhom lill-istudenti, minħabba li struttura ta 'data bħal din hija tip ta' raġel f'ċirku, jimxi fuq ħabel issik fuq ħofra tal-ors. Jekk tibdel anki dettall żgħir wieħed, l-istruttura kollha tiġġarraf. Dan il-kodiċi huwa mgħaġġel ħafna u eleganti sempliċement minħabba li huwa miktub perfettament, iżda l-iċken bidla twassal għal falliment sħiħ. Jekk nagħti dan il-kodiċi bħala eżempju lill-istudenti, huma immedjatament jgħidu: Jien nista' nagħmel dan ukoll! U mbagħad jiġġarraf xi ajruplan jew jisplodi reattur nukleari, u jkun tort tiegħi li ma tajthomx wisq informazzjoni fil-ħin it-tajjeb.

Alexey: Meta kont ftit iżgħar, ħafna drabi ppruvajt nistudja l-kodiċi tas-sors ta 'Doug Lee, pereżempju, java.util.koncurrent, minħabba li huwa open source, huwa faċli ħafna li ssibha u tipprova tifhem x'inhu għaddej hemmhekk. Ma rriżultax tajjeb ħafna: ħafna drabi, huwa kompletament mhux ċar għaliex Doug iddeċieda li jagħmel xi ħaġa b'dan il-mod, meta kulħadd jagħmel dan b'mod differenti. Kif tispjega dawn l-affarijiet lill-istudenti tiegħek? Hemm mod partikolari korrett biex tiddeskrivi d-dettalji speċifiċi ta 'algoritmu iebes, pereżempju? Kif tagħmel dan?

Maurice: L-għalliema tat-tpinġija għandhom cliché li jiftakru l-ewwel: jekk trid tpinġi bħal Picasso, l-ewwel trid titgħallem kif tiġbed stampi realistiċi sempliċi, u biss meta tkun taf ir-regoli tista’ tibda tkisserhom. Jekk tibda immedjatament billi tikser ir-regoli, ikollok mess. L-ewwel, ngħallem lill-istudenti kif jiktbu kodiċi sempliċi u korrett mingħajr ma ninkwieta dwar il-prestazzjoni. Qed ngħid li hemm kwistjonijiet ta 'żmien kumplessi lurking hawn, għalhekk ma joqogħdu jinkwetaw dwar il-caches, ma joqogħdu jinkwetaw dwar mudelli ta' memorja, kun żgur li kollox jaħdem kif suppost. Diġà huwa diffiċli biżżejjed: L-ipprogrammar modern mhux faċli waħdu, speċjalment għal studenti ġodda. U meta jkollhom intuwizzjoni dwar kif jiktbu programmi korretti, ngħid: ħares lejn dawn iż-żewġ implimentazzjonijiet ta 'spinlock: waħda hija bil-mod ħafna, u t-tieni mhix tajba ħafna, iżda diġà aħjar. Madankollu, matematikament dawn iż-żewġ algoritmi huma l-istess. Fil-fatt, wieħed minnhom juża l-lokalità tal-cache. Waħda minnhom idawwar id-dejta fil-cache lokalment, u l-oħra ripetutament twettaq operazzjonijiet li jgħaddu mix-xarabank. Ma tistax tikteb kodiċi effiċjenti jekk ma tifhimx, jekk ma tkunx taf kif tkisser l-astrazzjoni u tħares lejn l-istruttura sottostanti. Imma ma tkunx tista’ tibda tagħmel dan mill-ewwel. Hemm nies li jibdew jagħmlu dan mill-ewwel u jemmnu fil-ġenju tagħhom stess, ġeneralment jispiċċa ħażin għax ma jifhmux il-prinċipji. Ħadd ma jpinġi bħal Picasso jew jikteb programmi bħal Doug Lee, frisk mill-università, fl-ewwel ġimgħa tiegħu. Jieħdu s-snin biex jintlaħaq dan il-livell ta 'għarfien.

Alexey: Jirriżulta li taqsam il-problema f'żewġ partijiet: l-ewwel hija l-korrettezza, it-tieni hija l-prestazzjoni?

Maurice: Eżattament. U, eżattament f'dik l-ordni. Parti mill-problema hija li studenti ġodda ma jifhmux li l-korrettezza hija diffiċli biex tinkiseb. L-ewwel daqqa t'għajn jgħidu: dan ovvjament huwa korrett, jibqa' biss li titħaffef. Allura kultant ngħidilhom dwar algoritmu inizjalment żbaljat bħallikieku kien korrett.

Kif tgħallem lill-istudenti jiktbu kodiċi multithreaded kumpless

Alexei: Biss biex tara jekk jistgħux iħossu l-trick?

Maurice: Jien dejjem inwissik minn qabel li xi drabi se noħroġ bl-algoritmi ħżiena. M'għandekx tqarraq bin-nies. Nissuġġerixxi li jkunu xettiċi dwar l-informazzjoni. Jekk ngħid xi ħaġa u ngħid: "ara, dan ovvjament huwa korrett" - dan huwa sinjal li x'imkien qed jippruvaw iqarrqu miegħek, u għandek tibda tistaqsi mistoqsijiet. Sussegwentement, nipprova nħeġġeġ lill-istudenti biex ikomplu jistaqsu mistoqsijiet, u mbagħad inħeġġeġ: “x’jiġri jekk inħallu kollox kif inhu?”. U immedjatament jaraw l-iżball. Iżda li jikkonvinċu lill-istudenti li għandhom bżonn joqogħdu jinkwetaw dwar il-korrettezza huwa aktar diffiċli milli jidher mal-ewwel daqqa t'għajn. Ħafna minn dawn l-istudenti jiġu b'esperjenza ta 'programmazzjoni fl-iskola sekondarja, xi wħud diġà żbarkaw impjiegi u pprogrammaw hemmhekk, u kollha huma mimlijin kunfidenza fihom infushom. Din hija xi ħaġa militari: l-ewwel trid tibdel il-mentalità tagħhom sabiex tikkonvinċihom biex jersqu b'paċenzja s-soluzzjoni tal-problemi emerġenti. Jew forsi bħal patrijiet Buddisti: l-ewwel jitgħallmu jirraġunaw dwar il-korrettezza, u ladarba jifhmu l-modi ta 'raġunament dwar il-korrettezza, jitħallew imorru għal-livell li jmiss u jibdew jinkwetaw dwar il-prestazzjoni.

Alexey: Jiġifieri, kultant turi lill-istudenti eżempji li ma jaħdmux, li bis-saħħa tagħhom ikollok feedback li juri jekk jifhmux l-essenza tal-problema, jekk jistgħux isibu l-kodiċi ħażin u r-riżultat ħażin. Ukoll, kif normalment l-istudenti jekk jogħġbuhom jew iħassru?

Maurice: Kważi dejjem l-istudenti eventwalment isibu l-iżball. Jekk ifittxu bil-mod wisq, nistaqsi mistoqsijiet ewlenin, u hawn importanti li tifhem li jekk qatt ma jiġu mqarrqa, jibdew jipperċepixxu bla ħsieb kliemek bħala l-verità aħħarija. Imbagħad jiddejqu u jorqdu jaqraw Facebook fuq il-laptop tagħhom waqt il-klassi. Imma meta tgħarrafhom minn qabel li se jkunu scammed u se jidhru stupidi jekk ma jħossux trick, isiru ħafna aktar viġilanti. Dan huwa tajjeb f'ħafna modi. Nixtieq li l-istudenti mhux biss jiddubitaw il-fehim tagħhom tal-kwistjoni, iżda wkoll jiddubitaw l-awtorità tal-għalliem. L-idea hi li l-istudent jista’ jgħolli idejh fi kwalunkwe ħin u jgħid: Naħseb li dak li għadek kif għidt huwa ħażin. Hija għodda importanti ta' tagħlim. Ma rrid li l-ebda wieħed mill-istudenti joqogħdu bilqiegħda u siekta jaħsbu għalihom infushom: dan kollu jidher bla sens komplet, iżda huwa wisq tal-biża biex tgħolli idejk, u tabilħaqq, huwa professur, għalhekk dak kollu li jgħid huwa minnu. Għalhekk, jekk jiġu mwissija minn qabel li mhux dak kollu li jingħad huwa neċessarjament minnu, għandhom inċentiv biex jagħtu aktar attenzjoni lill-materjal. Jiena nistqarr b'mod espliċitu li tgħolli idejk u tistaqsi mistoqsijiet huwa tajjeb. Il-mistoqsija tiegħek tista’ tinstema’ iblah jew naive, iżda spiss hekk jiġu l-aħjar mistoqsijiet.

Alexei: Interessanti ħafna. Normalment in-nies ikollhom xi tip ta’ ostaklu psikoloġiku li ma jħallihomx jistaqsu mistoqsija lill-professur. Speċjalment jekk ikun hemm ħafna nies fil-kamra, u kulħadd jibża 'li tiddiskuti l-mistoqsija stupida tiegħek ser tieħu l-ħin ta' dawn in-nies kollha. Hemm xi tricks biex jittrattaw dan?

Maurice: Ħafna drabi nieqaf u nagħmel il-mistoqsijiet klassiċi. Kwalunkwe dikjarazzjoni se tkun korretta, jew kif issolvi l-problema li qed tiġi diskussa. Dan huwa pass ewlieni, speċjalment fil-bidu ta’ sessjoni, meta n-nies ikunu imbarazzati jgħidu anke l-iżgħar ħaġa. Tistaqsi mistoqsija lill-istudenti u ma tgħid xejn aktar. Is-skiet, kul[add jitg[ab ftit, it-tensjoni tikber, imbag[ad f’daqqa wa[da xi [add ikisser, ikisser u jg[id it-twe;iba. Għalhekk tiżvolġi s-sitwazzjoni: isir aktar diffiċli u skomdu li tibqa’ sieket milli twieġeb! Dan huwa trick pedagoġiku standard. Kull għalliem fid-dinja għandu jkun jaf kif jagħmel dan.

Alexey: Issa għandna titolu mill-aqwa għal din l-intervista: "huwa aktar faċli li twieġeb milli tibqa' sieket."

Vitaly: Ħa nistaqsik ħaġa oħra. Qed taħdem fuq provi topoloġiċi. Kif int anke int involut f'dan, għaliex il-kompjuters distribwiti u t-topoloġija huma affarijiet kompletament differenti!

Maurice: Hemm relazzjoni moħbija hemmhekk. Meta kont student u studjajt il-matematika, studjajt il-matematika pura. Ma kellix interess reali fil-kompjuters sa tmiem l-istudji tiegħi u sibt ruħi fil-bżonn urġenti li nfittex impjieg. Bħala student, studjajt it-topoloġija alġebrin. Ħafna snin wara, filwaqt li jaħdmu fuq problema imsejħa "Problema ta' Ftehim k-Set", użajt graffs biex timmudella l-problema u, kif deher imbagħad, sibt soluzzjoni. Kellek biss toqgħod bilqiegħda u tmur madwar l-għadd. Ipprova sib tweġiba xierqa fuq din il-grafika. Imma l-algoritmu tiegħi ma ħadimx: irriżulta li dejjem kien jimxi f'ċirku. Sfortunatament, xejn minn dan ma jista 'jiġi spjegat fil-lingwa formali tat-teorija tal-graff, il-lingwa li jafu x-xjenzati tal-kompjuter kollha. U mbagħad ftakart li ħafna snin ilu, anke fil-klassijiet tat-topoloġija, użajna l-kunċett "kumpless sempliċi", li hija ġeneralizzazzjoni ta 'graffs għal dimensjonijiet ogħla. Imbagħad staqsejt lili nnifsi: x’jiġri jekk nirriformulaw il-problema f’termini ta’ kumplessi sempliċi? Dan sar iċ-ċavetta. Billi tuża formaliżmu aktar qawwi, il-problema f'daqqa ssir ħafna aktar sempliċi. In-nies tħabtu magħha għal żmien twil, użaw graffs, iżda ma setgħu jagħmlu xejn. U anke issa ma jistgħux - it-tweġiba korretta ma kinitx l-algoritmu, iżda l-prova tal-impossibbiltà li tissolva l-problema. Jiġifieri, algoritmu bħal dan sempliċement ma jeżistix. Iżda kull prova ta’ impossibbiltà hija bbażata jew fuq kumplessi sempliċi, jew fuq affarijiet li n-nies jippretendu li ma jqisux kumplessi sempliċi. Mill-fatt li sejjaħt xi ħaġa b'isem ġdid, ma titlifx l-essenza tagħha.

Vitaliy: Jirriżulta li kont xortik tajba?

Maurice: Minbarra xortih, huwa wkoll prontezza. Dan ifisser li m'għandekx tinsa l-affarijiet "inutli" li tgħallimt qabel. Iktar ma titgħallem affarijiet inutli, aktar tista’ tiġbed ideat meta tiffaċċja problema ġdida. Dan it-tip ta 'tqabbil tal-mudell intuwittiv huwa importanti għaliex... Ejja nagħmlu dan, din hija katina: għall-ewwel skoprejt li l-grafiċi ma ħadmu xejn jew ma ħadmu xejn, fakkarni f'xi ħaġa mill-avvenimenti ta' tmienja. snin ilu u s-snin tal-istudenti tiegħi, meta studjajna dawn il-kumplessi sempliċi kollha. Dan imbagħad ippermettili nsib il-ktieb tat-test tat-topoloġija l-antik tiegħi u ngħabbih lura f'rasi. Imma kieku ma kienx għal dak l-għarfien antik, qatt ma kont nagħmel xi progress biex insolvi l-problema oriġinali.

Edizzjoni ġdida ta' The Art of Multiprocessor Programming

Alexei: Inti għidt ftit kliem dwar il-ktieb tiegħek. Probabbilment mhux l-akbar sigriet li ktibt l-aktar ktieb famuż fid-dinja dwar il-multithreading, "L-Arti tal-Programmazzjoni Multiproċessur". Diġà għandha madwar 11-il sena u minn dakinhar ħarġet biss  stampa mill-ġdid riveduta. Se jkun hemm it-tieni edizzjoni?

Maurice: Tajjeb li tlabt! Se jkun dalwaqt, fi żmien tliet xhur jew hekk. Hemm żewġ awturi oħra, żidna ħafna aktar materjal, tjiebna s-sezzjoni dwar il-paralleliżmu tal-furketta / tingħaqad, ktibna taqsima dwar MapReduce, żidna ħafna affarijiet ġodda u neħħejna dawk li ma kinux meħtieġa - xi ħaġa li kienet interessanti ħafna fil-ħin tal-kitba. l-ewwel edizzjoni, imma m’għadhiex illum. Irriżulta li kien ktieb rivedut bis-serjetà ħafna.

Alexei: Kollox diġà sar, jibqa' biss biex jinħeles?

Maurice: Xi ftit ta’ kapitoli għad iridu jinħadmu. Il-pubblikatur tagħna (naħseb li diġà jobgħodna) għadu qed jipprova jwassal li għandna naħdmu aktar malajr. Aħna lura ħafna mill-iskeda. Teoretikament, stajna għamilna dan il-ktieb ftit tas-snin qabel.

Alexey: Hemm xi ċans li tikseb verżjoni ġdida tal-ktieb qabel il-Milied?

Maurice: Dik hija l-mira tagħna! Imma bassejt ir-rebħa tant drabi li ħadd ma jibqa’ jemmenni. Probabbilment m'għandekx tafdani wisq f'din il-kwistjoni lanqas.

Alexei: Fi kwalunkwe każ, din hija aħbar meraviljuża. Għoġobni ħafna l-ewwel edizzjoni tal-ktieb. Tista’ tgħid li jien fan.

Maurice: Nittama li l-edizzjoni l-ġdida tkun denja tal-entużjażmu ferħan tiegħek, grazzi!

Kif ġiet ivvintata memorja transazzjonali

Vitaly: Il-mistoqsija li jmiss hija dwar il-memorja transazzjonali. Sa fejn nifhem jien, int pijunier f’dan il-qasam, ivvintajtu fi żmien meta ħadd ma ħaseb dwar affarijiet bħal dawn. Għaliex iddeċidejt li tidħol f'dan il-qasam? Għaliex it-tranżazzjonijiet kienu importanti għalik? Ħsibt li xi darba se jkunu inkorporati fil-ħadid?

Maurice: Jien kont naf dwar it-tranżazzjonijiet mill-istudji tal-gradwati tiegħi.

Vitaly: Iva, imma dawn huma tranżazzjonijiet differenti!

Maurice: Ħdimt ma' Elliott Moss fuq il-ġbir taż-żibel li ma jimblokkax. Il-problema tagħna kienet li ridna nibdlu atomikament ftit kliem fil-memorja u mbagħad l-algoritmi jsiru sempliċi ħafna, u tal-inqas xi wħud minnhom isiru aktar effiċjenti. Bl-użu tqabbel u tpartit għall- tagħbija-link/maħżen-kondizzjonaliipprovdut mill-arkitettura parallela, huwa possibbli li tagħmel xi ħaġa, iżda hija ineffiċjenti ħafna u ikrah għax ikollok tittratta ma 'livelli ta' indiretti. Irrid nibdel il-kliem tal-memorja u għandi bżonn naqleb għax nista 'nbiddel punter wieħed biss, għalhekk jeħtieġ li jindikaw xi tip ta' struttura bħal direttorju. Tkellimna dwar kemm ikun kbir jekk nistgħu nibdlu l-ħardwer sabiex ikun jista’ jirreġistra fl-istess ħin. Elliot jidher li nnota dan: jekk tħares lejn il-protokolli tal-koerenza tal-cache, huma diġà jipprovdu ħafna mill-funzjonalità meħtieġa. Fi tranżazzjoni ottimista, il-protokoll ta’ koerenza tal-cache jinduna bil-preżenza ta’ kunflitt ta’ ħin u l-cache issir invalidu. X'jiġri jekk b'mod spekulattiv tibda tranżazzjoni fuq il-cache tiegħek u tuża l-mekkaniżmi tal-protokoll ta 'koerenza biex tiskopri kunflitti? L-arkitettura tal-ħardwer spekulattiva kienet faċli biex tiddisinja. Allura ktibna hekk l-ewwel pubblikazzjoni dwar memorja transazzjonali. Fl-istess ħin, il-kumpanija li ħdimt għaliha, Digital Equipment Corporation, kienet qed tibni proċessur ġdid ta’ 64 bit imsejjaħ Alpha. U għalhekk mort u tajt preżentazzjoni lit-tim ta 'żvilupp Alpha dwar il-memorja transazzjonali meraviljuża tagħna, u staqsew: liema dħul addizzjonali se tikseb il-kumpanija tagħna jekk inpoġġu dan kollu direttament fil-proċessur? U ma kelli assolutament l-ebda tweġiba għal dan, għax jien teknoloġista, m'iniex speċjalista tal-marketing. Verament ma kelli xejn xi ngħid. Ma tantx kienu impressjonati li ma kont naf xejn.

Vitaly: Biljuni! Għid biss "biljuni"!

Maurice: Iva, hekk kelli ngħid. Issa, fl-era ta 'startups u dak kollu, naf kif nikteb pjan ta' negozju. Li inti tista 'timtedd ftit dwar id-daqs tal-profitt potenzjali. Imma f’dawk il-jiem deher inġenju, għalhekk għidt biss, “Ma nafx”. Jekk tħares lejn l-istorja tal-pubblikazzjoni dwar il-memorja transazzjonali, tinduna li wara sena kien hemm diversi referenzi għaliha, u mbagħad għal madwar għaxar snin ħadd ma kkwota dan l-artikolu. Il-kwotazzjonijiet dehru madwar l-2004, meta l-veru multi-core daħal fis-seħħ. Meta n-nies skoprew li l-kitba ta 'kodiċi parallela tista' tagħmel flus, bdiet riċerka ġdida. Ravi Rajwar kiteb artiklu, li b'xi mod introduċa l-mainstream għall-kunċett ta 'memorja transazzjonali. (Nota tal-Editur: Dan l-artikolu għandu t-tieni verżjoni rilaxxata fl-2010 u huwa disponibbli b'xejn bħala PDF). F'daqqa waħda, in-nies indunaw eżattament kif dan kollu jista 'jintuża, kif jistgħu jħaffu l-algoritmi tradizzjonali b'serraturi. Eżempju tajjeb ta’ xi ħaġa li fil-passat kienet tidher problema akkademika interessanti. U iva, kieku dak iż-żmien staqsejtni jekk naħseb li dan kollu se jkun importanti fil-futur, kont ngħid: ovvjament, imma meta eżattament mhux ċar. Forsi f'50 sena? Fil-prattika, irriżulta li kien biss għaxar snin. Huwa sabiħ ħafna meta tagħmel xi ħaġa, u f'għaxar snin biss in-nies jinnutawha.

Għaliex ta 'min jagħmel riċerka fil-qasam tal-kompjuters distribwit

Vitaly: Jekk nitkellmu dwar riċerka ġdida, x'tagħti parir lill-qarrejja - distributed computing jew multi-core u għaliex? 

Maurice: Huwa faċli li tikseb proċessur multi-core f'dawn il-jiem, iżda huwa aktar diffiċli li twaqqaf sistema distribwita vera. Bdejt naħdem fuqhom għax ridt nagħmel xi ħaġa differenti mill-PhD tiegħi. Dan huwa l-parir li dejjem nagħti lil dawk li jibdew: tiktebx dissertazzjoni ta’ segwitu – ipprova nimxi f’direzzjoni ġdida. Barra minn hekk, multithreading huwa faċli. Kapaċi nesperimenta fuq il-furketta tiegħi stess taħdem fuq laptop mingħajr ma nqum mis-sodda. Imma jekk f'daqqa waħda ridt noħloq sistema distribwita reali, ikolli nagħmel ħafna xogħol, nattira studenti, eċċ. Jien persuna għażżien u nippreferi naħdem fuq multi-core. L-esperimentazzjoni b'sistemi multi-core hija wkoll aktar faċli milli t-esperimentazzjoni b'dawk imqassma, għaliex anke f'sistema distribwita stupida hemm wisq fatturi biex jiġu kkontrollati.

Vitaliy: X'qed tagħmel issa, tirriċerka blockchain? Liema artikoli għandek tagħti attenzjoni l-ewwel?

Maurice: Dan l-aħħar deher artiklu tajjeb ħafnali ktibt mal-istudent tiegħi, Vikram Saraf, speċifikament għall- Konferenzi Tokenomcs f’Pariġi tliet ġimgħat ilu. Dan huwa artiklu dwar sistemi distribwiti prattiċi, li fih nipproponu li nagħmlu Ethereum multi-threaded. Bħalissa, il-kuntratti intelliġenti (kodiċi li jimxi fuq il-blockchain) huma esegwiti b'mod sekwenzjali. Ktibna artiklu qabel li tkellem dwar mod kif tuża tranżazzjonijiet spekulattivi biex tħaffef il-proċess. Ħadna ħafna ideat mill-memorja transazzjonali tas-softwer u għedna li jekk tagħmel dawn l-ideat parti mill-magna virtwali Etherium, allura kollox jaħdem aktar malajr. Iżda għal dan huwa meħtieġ li ma jkunx hemm kunflitti ta 'dejta fil-kuntratti. U mbagħad asssumina li fil-ħajja reali verament m'hemmx kunflitti bħal dawn. Imma ma kellna l-ebda mod biex insiru nafu. Imbagħad ġrat lilna li kellna kważi għaxar snin ta 'storja ta' kuntratt reali f'idejna, għalhekk tajna l-blockchain Ethereum u staqsejna lilna nfusna: x'jiġri jekk dawn ir-rekords storiċi jiġu esegwiti b'mod parallel? Sibna żieda sinifikanti fil-veloċità. Fl-ewwel jiem ta 'Ethereum, il-veloċità żdiedet ħafna, iżda llum kollox huwa kemmxejn aktar ikkumplikat, minħabba li hemm inqas kuntratti u l-probabbiltà ta' kunflitti fuq data li teħtieġ serialization saret ogħla. Iżda dan kollu huwa xogħol sperimentali b'dejta storika reali. Il-ħaġa sabiħa dwar il-blockchain hija li tiftakar kollox għal dejjem, sabiex inkunu nistgħu mmorru lura fiż-żmien u nistudjaw x'kien jiġri kieku użajna algoritmi differenti biex inħaddmu l-kodiċi. In-nies fil-passat kif kienu jogħġbu l-idea l-ġdida tagħna? Riċerka bħal din hija ħafna aktar faċli u pjaċevoli biex tagħmel, għax hemm ħaġa li tissorvelja kollox u tirreġistra kollox. Din hija diġà xi ħaġa aktar simili għas-soċjoloġija milli għall-iżvilupp ta 'algoritmi.

Waqaf l-iżvilupp tal-algoritmi u kif nimxu 'l quddiem?

Vitaly: Żmien għall-aħħar mistoqsija teoretika! Tħoss li l-avvanzi fl-istrutturi tad-dejta kompetittivi qed jiċkienu kull sena? Taħseb li lħaqna livell għoli fil-fehim tagħna tal-istrutturi tad-dejta, jew se jkun hemm xi titjib kbir? Forsi hemm xi ideat għaqlija li jistgħu jibdlu kollox kompletament?

Maurice: Jista' jkun li lħaqna livell fl-istrutturi tad-dejta għal arkitetturi tradizzjonali. Iżda l-istrutturi tad-dejta għal arkitetturi ġodda għadhom qasam promettenti ħafna. Jekk trid toħloq strutturi tad-dejta għal, ngħidu aħna, aċċeleraturi tal-ħardwer, allura l-istrutturi tad-dejta tal-GPU huma differenti ħafna mill-istrutturi tad-dejta tas-CPU. Meta tfassal strutturi tad-dejta għall-blockchains, għandek bżonn tħaffef biċċiet ta 'dejta u mbagħad tpoġġihom f'xi ħaġa simili siġra merkle, biex jipprevjenu l-falsifikazzjoni. Dan l-aħħar kien hemm żieda qawwija ta’ attività f’dan il-qasam, ħafna qed jagħmlu xogħol tajjeb ħafna. Imma naħseb li dak li se jiġri huwa li arkitetturi ġodda u applikazzjonijiet ġodda se jwasslu għal strutturi tad-dejta ġodda. Applikazzjonijiet anzjani u arkitettura tradizzjonali - forsi m'hemmx wisq spazju għar-riċerka. Imma jekk toħroġ mit-triq imsawta u tħares minn fuq it-tarf, tara affarijiet miġnun li l-mainstream ma jieħux bis-serjetà - dak huwa fejn fil-fatt iseħħ l-affarijiet eċċitanti kollha.

Vitaly: Għalhekk, biex inkun riċerkatur famuż ħafna, kelli nivvinta l-arkitettura tiegħi stess 🙂

Maurice: Tista '"sraq" l-arkitettura ġdida ta' xi ħadd ieħor - jidher ħafna aktar faċli!

Xogħol fl-Università Brown

Vitaliy: Tista' tgħidilna aktar dwar Università Brownfejn taħdem? Mhux magħruf ħafna dwaru fil-kuntest tat-teknoloġija tal-informatika. Inqas minn madwar MIT, per eżempju.

Maurice: Brown University hija waħda mill-eqdem universitajiet fl-Istati Uniti. Naħseb li Harvard biss hija xi ftit akbar. Brown huwa parti mill-hekk imsejħa ivy leagues, li hija ġabra ta’ tmien universitajiet l-eqdem. Harvard, Brown, Cornell, Yale, Columbia, Dartmouth, Pennsylvania, Princeton. Din hija tip ta’ università antika, żgħira u daqsxejn aristokratika. L-enfasi hija fuq l-edukazzjoni tal-arti liberali. Mhux qed jipprova jkun bħall-MIT, il-MIT huwa speċjalizzat u tekniku ħafna. Brown huwa post tajjeb ħafna biex tistudja l-Letteratura Russa jew il-Grieg Klassiku u, ovvjament, ix-Xjenza tal-Kompjuter. Huwa jiffoka fuq edukazzjoni komprensiva. Ħafna mill-istudenti tagħna jmorru Facebook, Apple, Google, għalhekk naħseb li l-istudenti tagħna m'għandhom l-ebda problema biex isibu impjieg fl-industrija. Jien mort naħdem fil-Brown għax qabel kont naħdem fid-Digital Equipment Corporation f’Boston. Kienet kumpanija li vvintat ħafna affarijiet interessanti, iżda ċaħdet l-importanza tal-kompjuters personali. Kumpanija b'destin diffiċli, li l-fundaturi tagħha darba kienu rivoluzzjonarji żgħażagħ, ma tgħallmu xejn u ma nsew xejn, u għalhekk daru minn rivoluzzjonarji għal reazzjonarji fi żmien madwar għaxar snin. Kienu jħobbu jiċċajtaw li kompjuters personali kienu f’garaxx—garaxx abbandunat, ovvjament. Huwa pjuttost ovvju li ġew meqruda minn kumpaniji aktar flessibbli. Meta deher ċar li l-kumpanija kienet fl-inkwiet, ċempilt lil ħabib tiegħi minn Brown, li jinsab madwar siegħa minn Boston. Dak iż-żmien ma ridtx nitlaq minn Boston, għax universitajiet oħra ma kellhomx ħafna postijiet vakanti. Kien żmien meta ma kienx hemm postijiet vakanti fil-qasam tax-Xjenza tal-Kompjuter daqskemm hemm issa. U Brown kellu xogħol, ma kellix għalfejn noħroġ mid-dar tiegħi, ma kellix għalfejn inċaqlaq il-familja tiegħi, u nieħu gost ħafna ngħix f'Boston! Għalhekk ħadt id-deċiżjoni li mmur Brown. Togħġobni. L-istudenti huma kbar, għalhekk qatt ma ppruvajt immur x'imkien ieħor. F'sabbatical, ħdimt fil-Microsoft għal sena, mort Technion f'Haifa għal sena, u issa se nkun f'Algorand. Għandi ħafna kollegi kullimkien u għalhekk il-post fiżiku tal-klassijiet tagħna mhux daqshekk importanti. Imma l-iktar ħaġa importanti huma l-istudenti, huma l-aqwa hawn. Qatt ma ppruvajt immur imkien ieħor, għax jien kuntent ħafna hawn.

Madankollu minkejja l-fama ta’ Brown fl-Istati Uniti, huwa sorprendentement mhux magħruf barra minn xtutna. Kif tistgħu taraw, issa qed nagħmel minn kollox biex nikkoreġi din il-qagħda.

Id-differenza bejn l-università u r-riċerka korporattiva

Vitaliy: Okay, il-mistoqsija li jmiss hija dwar Tagħmir Diġitali. Int kont riċerkatur hemmhekk. X'inhi d-differenza bejn li taħdem fid-dipartiment tar-R&D ta' kumpanija kbira u li taħdem f'università? X'inhuma l-vantaġġi u l-iżvantaġġi?

Maurice: Jien ilni għoxrin sena ma' Microsoft, naħdem mill-qrib ma' nies ta' Sun Microsystems, Oracle, Facebook, u issa Algorand. Ibbażat fuq dan kollu, irrid ngħid li huwa possibbli li ssir riċerka tal-ewwel klassi kemm fil-kumpaniji kif ukoll fl-università. Id-differenza importanti hija li f'kumpanija taħdem mal-kollegi. Jekk f'daqqa waħda jkolli idea għal proġett li għadu ma jeżistix, irrid nikkonvinċi lil sħabi li din hija idea tajba. Jekk jien Brown, allura nista 'ngħid lill-istudenti tiegħi: ejja naħdmu fuq l-antigravità! Huma jew imorru għand xi ħadd ieħor jew jieħdu l-proġett. Iva, ikolli bżonn insib finanzjament, ikolli bżonn nikteb applikazzjoni għal għotja u l-bqija. Fi kwalunkwe każ, dejjem se jkun hemm ħafna studenti, u tkun tista 'tieħu deċiżjonijiet unilateralment. Iżda fl-università, inti x'aktarx mhux se taħdem ma 'nies tal-livell tiegħek. Fid-dinja tar-riċerka industrijali, l-ewwel trid tikkonvinċi lil kulħadd li l-proġett tiegħek ta’ min jieħu. Ma nista’ tordna xejn mingħand ħadd. U dawn iż-żewġ modi ta’ xogħol huma ta’ valur, għax jekk qed taħdem fuq xi ħaġa tassew miġnun u l-kollegi tiegħek diffiċli biex tikkonvinċi, huwa aktar faċli li tikkonvinċi studenti gradwati – speċjalment jekk tħallashom. Jekk qed taħdem fuq xi ħaġa li teħtieġ ħafna esperjenza u għarfien espert profond, allura għandek bżonn kollegi li jistgħu jgħidu "le, jiġri li nifhem dan il-qasam u l-idea tiegħek hija ħażina, xejn ma joħroġ minnu." Dan huwa utli ħafna f'termini ta 'ħela ta' ħin. U wkoll, jekk fil-laboratorji industrijali tqatta’ ħafna ħin tikteb rapporti, allura fl-università tqatta’ dan iż-żmien issib il-flus. Jekk irrid li l-istudenti jkunu jistgħu jivvjaġġaw x'imkien, irrid insib il-flus għaliha x'imkien ieħor. U iktar ma tkun importanti l-pożizzjoni tiegħek fl-università, aktar ikollok ħin biex tonfoq tiġbor il-flus. Allura, issa taf x'naħdem bħala - tallaba professjonali! Bħal wieħed minn dawk il-patrijiet li jimxu bil-platt tad-donazzjoni. B'mod ġenerali, dawn iż-żewġ attivitajiet jikkumplimentaw lil xulxin. Huwa għalhekk li nipprova ngħix u noqgħod sod fiż-żewġ dinjiet.

Vitaly: Jidher li tikkonvinċi kumpanija hija aktar diffiċli milli tikkonvinċi xjenzati oħra.

Maurice: Aktar diffiċli, u ħafna aktar. Barra minn hekk, f'oqsma differenti huwa differenti: xi ħadd iwettaq riċerka fuq skala sħiħa, u xi ħadd ikun iffukat fuq is-suġġett tiegħu. Kieku mort għand Microsoft jew Facebook u ngħid, ejja nagħmlu kontra l-gravità, bilkemm japprezzawha. Imma jekk għidt eżattament l-istess ħaġa lill-istudenti gradwati tiegħi, x'aktarx li jibdew jaħdmu istantanjament, għalkemm issa diġà jkolli problemi - għax trid issib flus għal dan. Iżda sakemm trid tagħmel xi ħaġa konformi mal-għanijiet tal-kumpanija, dik il-kumpanija tista 'tkun post tajjeb ħafna biex tagħmel riċerka.

Hydra u SPTDC

Vitaliy: Il-mistoqsijiet tiegħi qed joqogħdu fi tmiemhom, allura ejja nitkellmu ftit dwar il-vjaġġ li ġej lejn ir-Russja.

Maurice: Iva, ninsab ħerqana li nirritorna Pietruburgu.

Alexey: Huwa unur kbir għalija li int magħna din is-sena. Din hija t-tieni darba tiegħek f'San Pietruburgu, hux?

Maurice: Diġà t-tielet!

Alexei: Ghandek, imma SPTDC - eżattament it-tieni. L-aħħar darba li ssejħet l-iskola SPTCC, issa biddilna ittra waħda (C sa D, Konkorrenti għal Mqassma) biex nenfasizzaw li hemm aktar oqsma relatati mal-kompjuters distribwit din is-sena. Tista’ tgħid ftit kliem dwar il-preżentazzjonijiet tiegħek fl-Iskola u Konferenzi Hydra?

Maurice: Fl-Iskola, irrid nitkellem dwar il-baŜi ta 'blockchain u x'tista' tagħmel biha. Nixtieq nuri li l-blockchains huma simili ħafna għall-ipprogrammar multi-threaded li aħna familjari magħha, iżda bl-sfumaturi tagħhom stess, u huwa importanti li tifhem dawn id-differenzi. Jekk tagħmel żball f'applikazzjoni tal-web normali, huwa biss tedjanti. Jekk tikteb kodiċi buggy f'app finanzjarja, xi ħadd żgur se jisraq il-flus kollha tiegħek. Dan huwa livell ta' responsabbiltà u konsegwenzi kompletament differenti. Se nitkellem ftit dwar proof-of-work, kuntratti intelliġenti, transazzjonijiet bejn blockchains differenti.

Maġenbi se jaħdmu kelliema oħra, li għandhom ukoll xi jgħidu dwar il-blockchain, u qbilna li nikkoordinaw bejnietna biex l-istejjer tagħna joqogħdu tajjeb. Iżda għat-taħdita dwar l-inġinerija, nixtieq nagħti spjegazzjoni ċara lil udjenza wiesgħa għaliex m'għandekx temmen dak kollu li tisma' dwar blockchains, għaliex blockchains huma qasam kbir, kif jaqbel ma' ideat magħrufa oħra, u għaliex għandna ħares bil-kuraġġ lejn il-futur.

Alexey: Barra minn hekk, irrid ngħid li dan mhux se jseħħ fil-format ta 'laqgħa jew grupp ta' utenti, kif kien sentejn ilu. Iddeċidejna li nagħmlu konferenza żgħira ħdejn l-iskola. Ir-raġuni hi li wara tkellimna ma’ Peter Kuznetsov, indunajna li l-iskola hija limitata għal mija biss, forsi 120 persuna. Fl-istess ħin, hemm ħafna inġiniera li jridu jitkellmu miegħek, jattendu rapporti, u ġeneralment huma interessati fis-suġġett. Għal dan ħloqna konferenza ġdida imsejħa Hydra. Mill-mod, xi idea għaliex Hydra?

Maurice: Għax se jkollu seba’ kelliema? U jistgħu jinqatgħu rashom, u kelliema ġodda se jikbru minflokhom?

Alexey: Idea kbira għat-tkabbir ta’ kelliema ġodda. Imma tassew, hawn storja. Ftakar il-leġġenda ta 'Odysseus, fejn kellu jbaħħar bejniethom Scylla u Charybdis? Hydra hija xi ħaġa bħal Charybdis. L-istorja hija li darba tkellimt f'konferenza u tkellimt dwar il-multithreading. Kien hemm biss żewġ binarji fuq din il-konferenza. Fil-bidu tar-rapport, għedt lill-udjenza fis-sala li issa għandhom għażla bejn Scylla u Charybdis. L-annimal spirtu tiegħi huwa Charybdis, għax Charybdis għandu ħafna irjus, u t-tema tiegħi hija multithreading. Hekk jidhru l-ismijiet tal-konferenzi.

Fi kwalunkwe każ, spiċċajna kemm il-mistoqsijiet kif ukoll il-ħin. Allura grazzi ħbieb għal intervista mill-aqwa u narak fl-SPTDC u Hydra 2019!

Se jkun possibbli li titkompla l-komunikazzjoni ma 'Maurice fil-konferenza Hydra 2019, li se ssir fil-11-12 ta' Lulju 2019 f'San Pietruburgu. Se jiġi b'rapport "Blockchains u l-futur tal-kompjuters distribwiti". Biljetti jistgħu jinxtraw fuq il-websajt uffiċjali.

Sors: www.habr.com