- tag-iya sa duha. Ang una alang sa pagtrabaho (Brown University) ug ang ikaduha, mas bag-o, - (Virginia Tech University). Ang Dijkstra Prize gihatag alang sa trabaho kansang kahinungdanon ug impluwensya makita sa labing menos napulo ka tuig ug si Maurice klaro nga usa sa labing inila nga mga espesyalista sa natad. Siya karon nagtrabaho isip propesor sa Brown University ug adunay daghang mga nahimo nga usa ka parapo ang gitas-on. Siya karon nagsiksik sa blockchain sa konteksto sa classical distributed computing.
Kaniadto, si Maurice miadto na sa Russia alang sa SPTCC () ug naghimo ug maayo kaayong miting sa JUG.ru Java developer community sa St. Petersburg ().
Kini nga habrapost usa ka maayo nga pakighinabi ni Maurice Herlihy. Kini naghisgot sa mosunod nga mga topiko:
- Interaksyon tali sa akademya ug industriya;
- Foundation alang sa Blockchain Research;
- Diin gikan ang mga ideya sa pag-uswag? Ang impluwensya sa pagkapopular;
- PhD ubos sa pagdumala ni Barbara Liskov;
- Ang kalibutan naghulat alang sa multi-core;
- Ang bag-ong kalibotan nagdalag bag-ong mga problema. NVM, NUMA ug arkitektura hacking;
- Compiler vs processors, RISC vs CISC, shared memory vs message passing;
- Ang arte sa pagsulat sa mahuyang nga multi-threaded code;
- Giunsa pagtudlo ang mga estudyante sa pagsulat sa komplikado nga multi-threaded code;
- Bag-ong edisyon sa librong “The Art of Multiprocessor Programming”;
- Giunsa pag-imbento ang transactional memory;
- Ngano nga takus ang paghimo sa panukiduki sa natad sa gipang-apod-apod nga kompyuter;
- Nahunong ba ang pag-uswag sa mga algorithm, ug kung giunsa ang pagpadayon;
- Nagtrabaho sa Brown University;
- Ang kalainan tali sa panukiduki sa usa ka unibersidad ug sa sulod sa usa ka korporasyon;
- Hydra ug SPTDC.
Ang interbyu gihimo ni:
Vitaly Aksenov — sa pagkakaron, post-doc sa IST Austria ug empleyado sa Department of Computer Technologies sa ITMO University. Nagdumala sa panukiduki sa natad sa teorya ug praktis sa mga istruktura sa datos sa kompetisyon. Sa wala pa magtrabaho sa IST, nakadawat siya sa iyang PhD gikan sa Paris Diderot University ug ITMO University ubos sa pagdumala ni Propesor Peter Kuznetsov.
Alexey Fedorov - Producer sa JUG Ru Group, usa ka kompanya sa Russia nga nag-organisar sa mga komperensya alang sa mga developer. Si Alexey miapil sa pag-andam sa labaw pa sa 50 nga mga komperensya, ug ang iyang resume naglakip sa tanan gikan sa posisyon sa usa ka development engineer sa Oracle (JCK, Java Platform Group) ngadto sa posisyon sa usa ka developer sa Odnoklassniki.
Vladimir Sitnikov - Engineer sa Netcracker. Napulo ka tuig nga pagtrabaho sa performance ug scalability sa NetCracker OS, software nga gigamit sa mga telecom operators aron ma-automate ang mga proseso sa pagdumala sa network ug network equipment. Interesado sa mga isyu sa performance sa Java ug Oracle Database. Awtor sa labaw pa sa usa ka dosena nga pagpaayo sa pasundayag sa opisyal nga drayber sa PostgreSQL JDBC.
Interaksyon tali sa akademya ug industriya
Alexey: Maurice, dugay ka nga nagtrabaho sa usa ka akademikong palibot ug ang una nga pangutana mao ang interaksyon tali sa akademiko ug industriyal nga sphere. Mahimo ba nimong hisgutan kung giunsa ang mga interaksyon tali kanila nabag-o bag-o lang? Unsay nahitabo 20-30 ka tuig kanhi ug unsay nahitabo karon?
Maurice: Kanunay kong naningkamot nga makigtambayayong pag-ayo sa komersiyal nga mga kompaniya kay duna silay makaiikag nga mga problema. Sila, ingon nga usa ka lagda, dili kaayo interesado sa pagmantala sa ilang mga resulta o sa detalyado nga mga pagpatin-aw sa ilang mga problema ngadto sa komunidad sa kalibutan. Sila interesado lamang sa pagsulbad niini nga mga problema. Nagtrabaho ko sa maong mga kompanya sulod sa pipila ka panahon. Naggugol ko og lima ka tuig nga full time nga nagtrabaho sa usa ka research lab sa Digital Equipment Corporation, nga kaniadto usa ka dako nga kompanya sa kompyuter. Nagtrabaho ko usa ka adlaw sa usa ka semana sa Sun, sa Microsoft, sa Oracle, ug nagtrabaho og gamay sa Facebook. Karon moadto ako sa usa ka sabbatical leave (usa ka propesor sa usa ka unibersidad sa Amerika gitugotan nga mokuha sa ingon nga bakasyon sulod sa usa ka tuig mga kausa sa matag unom ka tuig) ug magtrabaho sa , kini usa ka kompanya sa cryptocurrency sa Boston. Ang pagtrabaho og maayo sa mga kompanya kanunay nga usa ka kalipay tungod kay mao kana ang imong pagkat-on bahin sa bag-o ug makapaikag nga mga butang. Mahimo pa gani nga ikaw ang una o ikaduha nga tawo nga nagpatik sa usa ka artikulo sa usa ka gipili nga hilisgutan, imbes nga magtrabaho sa hinay-hinay nga pagpaayo sa mga solusyon sa mga problema nga ang tanan nagtrabaho na.
Alexey: Mahimo ba nimo isulti kanamo sa mas detalyado kung giunsa kini nahitabo?
Maurice: Oo nga. Nahibal-an nimo, sa dihang nagtrabaho ako sa Digital Equipment Corporation, ako ug si Elliot Moss, nag-imbento kami sa transactional memory. Kini usa ka mabungahon kaayo nga panahon sa dihang ang tanan nagsugod sa pagkainteresado sa teknolohiya sa impormasyon. Paralelismo, lakip na, bisan tuod ang multi-core nga mga sistema wala pa maglungtad. Atol sa Adlaw ug Oracle nga mga adlaw, nagtrabaho ko og daghan sa parallel data structures. Sa Facebook nagtrabaho ko sa ilang blockchain nga proyekto, nga dili nako mahisgotan, apan nanghinaut ko nga kini mahimong publiko sa dili madugay. Sa sunod tuig, sa Algorand, magtrabaho ko sa usa ka grupo sa panukiduki nga nagtuon sa mga smart contract.
Alexey: Ang Blockchain nahimong popular kaayo nga hilisgutan sa miaging pipila ka tuig. Makatabang ba kini sa imong panukiduki? Tingali kini makapasayon sa pagkuha sa mga grant o paghatag og access sa mga kapanguhaan gikan sa mga kompanya nga naglihok sa industriya?
Maurice: Nakadawat na ko og gamay nga grant gikan sa Ethereum Foundation. Ang pagkapopular sa blockchain makatabang kaayo sa pagdasig sa mga estudyante nga magtrabaho niini nga natad. Interesado kaayo sila niini ug naghinam-hinam sa pag-apil, apan usahay wala sila makaamgo nga ang panukiduki nga paminawon nga kulbahinam sa gawas nahimo nga naglambigit gayud sa kahago. Bisan pa, naghinam-hinam gyud ko nga gamiton kining tanan nga misteryo sa blockchain aron matabangan ang pagdani sa mga estudyante.
Apan dili lang kana. Naa ko sa advisory board sa daghang mga blockchain startup. Ang uban kanila mahimong molampos, ang uban kanila dili, apan kini kanunay nga makapaikag nga makita ang ilang mga ideya, tun-an kini ug tambagan ang mga tawo. Ang labing kulbahinam nga butang mao kung gipasidan-an nimo ang mga tawo nga dili buhaton ang usa ka butang. Daghang mga butang ingon og usa ka maayo nga ideya sa sinugdan, apan kini ba gyud?
Foundation alang sa Blockchain Research
Vitaly: Ang ubang mga tawo naghunahuna nga ang umaabot anaa sa blockchain ug sa mga algorithm niini. Ug ang ubang mga tawo nag-ingon nga kini usa ra ka bula. Mahimo ba nimong ipaambit ang imong opinyon bahin niini nga butang?
Maurice: Daghan sa nanghitabo sa kalibutan sa blockchain ang sayop, ang uban usa lang ka scam, daghan ang na-overrated. Bisan pa, sa akong hunahuna adunay usa ka lig-on nga sukaranan sa siyensya alang sa kini nga mga pagtuon. Ang kamatuoran nga ang kalibutan sa blockchain puno sa mga kalainan sa ideolohiya nagpakita sa lebel sa kahinam ug dedikasyon. Sa laing bahin, kini dili ilabina nga mapuslanon alang sa siyentipikong panukiduki. Karon, kung magmantala ka usa ka artikulo nga naghisgot bahin sa mga kakulangan sa usa ka partikular nga algorithm, ang sangputanan nga reaksyon dili kanunay nga hingpit nga siyentipiko. Kasagaran ang mga tawo nagpagawas sa ilang mga emosyon. Sa akong hunahuna nga kini nga matang sa kahinam sa kini nga lugar mahimo’g ingon madanihon sa pipila, apan sa katapusan sa adlaw, adunay tinuod nga mga isyu sa siyensya ug engineering nga kinahanglan sulbaron. Adunay daghang Computer Science dinhi.
Vitaly: Mao nga gisulayan nimo nga ibutang ang pundasyon alang sa panukiduki sa blockchain, di ba?
Maurice: Naningkamot ko nga ibutang ang pundasyon alang sa usa ka lig-on, siyentipikanhon ug mathematically maayo nga disiplina. Ug ang bahin sa problema mao nga usahay kinahanglan nimo nga sukwahi ang pipila sa sobra ka mabangis nga mga posisyon sa ubang mga tawo ug ibaliwala sila. Usahay mangutana ang mga tawo ngano nga nagtrabaho ko sa usa ka lugar diin ang mga terorista ug tigpayuhot sa droga ra ang interesado. Ang ingon nga reaksyon wala’y kahulogan sama sa pamatasan sa mga sumusunod nga buta nga nagbalikbalik sa imong mga pulong. Sa akong hunahuna ang kamatuoran anaa sa tunga-tunga. Ang Blockchain adunay dakong epekto sa katilingban ug sa global nga ekonomiya. Apan lagmit dili kini mahitabo tungod sa modernong teknolohiya. Ang mga modernong teknolohiya molambo ug ang matawag nga blockchain sa umaabot mahimong hinungdanon kaayo. Mahimong dili kini sama sa mga modernong blockchain, kana usa ka bukas nga pangutana.
Kung ang mga tawo mag-imbento og bag-ong mga teknolohiya, magpadayon sila sa pagtawag niini nga blockchain. Buot ipasabot, sama sa Fortran karon walay kalabotan sa Fortran nga pinulongan gikan sa 1960s, apan ang tanan nagpadayon sa pagtawag niini nga Fortran. Parehas alang sa UNIX. Ang gitawag nga "blockchain" maghimo gihapon sa iyang rebolusyon. Apan nagduhaduha ko nga kining bag-ong blockchain mahimong sama sa nalingaw sa tanan nga gamiton karon.
Diin gikan ang mga ideya sa pag-uswag? Epekto sa pagkapopular
Alexey: Ang pagkapopular ba sa blockchain mitultol sa bag-ong mga resulta gikan sa siyentipikong panglantaw? Daghang interaksyon, daghang estudyante, daghang kompanya sa lugar. Aduna na bay mga resulta gikan niining pag-usbaw sa pagkapopular?
Maurice: Nainteres ko niini sa dihang dunay mihatag kanako ug opisyal nga flyer para sa usa ka kompaniya nga bag-o lang nakatigom ug daghang kuwarta. Gisulat kini mahitungod sa , nga mas pamilyar nako. Ang gisulat sa leaflet klaro nga dili husto sa teknikal. Ang mga tawo nga nagsulat niining tanan wala gyud makasabut sa modelo sa luyo sa problema ... ug bisan pa kini nga kompanya nakakuha daghang salapi. Pagkahuman, hilom nga gipulihan sa kompanya kini nga leaflet sa usa ka labi ka tama nga bersyon - ug dili nako isulti kung unsa ang ngalan sa kini nga kompanya. Anaa gihapon sila ug maayo kaayo. Kini nga insidente nakapakombinsir kanako nga, una, ang blockchain usa lamang ka porma sa gipang-apod-apod nga kompyuter. Ikaduha, ang entry threshold (labing menos, upat ka tuig na ang milabay) gamay ra. Ang mga tawo nga nagtrabaho niini nga natad kusog kaayo ug intelihente, apan wala sila magbasa sa mga papel nga siyentipiko. Gisulayan nila pag-usab ang nahibal-an nga mga butang ug gibuhat kini nga sayup. Karon ang drama nigamay na.
Alexey: Makapainteres kaayo kini, tungod kay pipila ka tuig ang milabay kami adunay lahi nga uso. Kini sama sa pag-uswag sa front-end, sa dihang ang mga developers sa front-end nga nakabase sa browser nag-imbento pag-usab sa tibuok nga mga teknolohiya nga popular na sa back-end: pagtukod og mga sistema, padayon nga paghiusa, mga butang nga sama niana.
Maurice: Uyon ko. Apan dili kini katingad-an, tungod kay ang tinuud nga mga ideya sa breakthrough kanunay nga gikan sa gawas sa natukod nga komunidad. Ang natukod nga mga tigdukiduki, labi na ang natukod nga mga akademiko, dili tingali makahimo bisan unsa nga tinuod nga groundbreaking. Sayon ang pagsulat og papel alang sa sunod nga komperensya bahin sa kung giunsa nimo pagpauswag ang mga resulta sa imong nangaging trabaho. Pag-adto sa usa ka komperensya, pakig-uban sa mga higala, paghisgot bahin sa parehas nga mga butang. Ug ang mga tawo nga mibuto sa mga ideya sa mga breakthrough hapit kanunay gikan sa gawas. Wala sila kahibalo sa mga lagda, wala sila kahibalo sa pinulongan, apan bisan pa niana ... Kung naa ka sa sulod sa usa ka natukod nga komunidad, gitambagan ko ikaw nga hatagan ug pagtagad ang bag-ong mga butang, sa usa ka butang nga dili mohaum sa kinatibuk-ang hulagway. Sa usa ka diwa, usa ka pagsulay ang mahimo sa paghiusa sa gawas, labi ka likido nga mga pag-uswag sa mga pamaagi nga nahibal-an na naton. Isip usa ka unang lakang, sulayi ang pag-establisar og usa ka siyentipikong basehan, ug dayon usba kini aron kini magamit sa bag-ong mga ideya sa kalampusan. Sa akong hunahuna nga ang blockchain maayo alang sa usa ka bag-o, makabalda nga ideya.
Alexey: Ngano sa imong hunahuna nga kini nahitabo? Tungod kay ang mga tawo "sa gawas" walay bisan unsang piho nga mga babag nga kinaiyanhon sa komunidad?
Maurice: Adunay usa ka sumbanan nga nahitabo dinhi. Kung basahon nimo ang kasaysayan sa mga impresyonista sa pagpintal ug sa arte sa kinatibuk-an, unya sa usa ka higayon ang bantog nga mga artista nagsalikway sa impresyonismo. Ingon sila nga medyo bata. Usa ka henerasyon sa ulahi, kini nga kaniadto gisalikway nga porma sa arte nahimong sumbanan. Ang akong nakita sa akong natad: ang mga imbentor sa blockchain dili interesado sa gahum, sa pagdugang sa mga publikasyon ug citation index, gusto lang nila nga buhaton ang usa ka butang nga maayo. Ug mao nga nanglingkod sila ug nagsugod sa pagbuhat niini. Kulang sila sa usa ka piho nga kantidad sa teknikal nga giladmon, apan kana masulbad. Mas lisod ang paghimog bag-ong mga ideya sa paglalang kay sa pagtul-id ug pagpalig-on sa mga dili igo nga hamtong. Salamat sa kini nga mga imbentor, naa na akoy buhaton!
Alexey: Kini susama sa kalainan tali sa mga startup ug mga legacy nga proyekto. Gipanunod nato ang daghang limitasyon sa panghunahuna, mga babag, espesyal nga mga kinahanglanon, ug uban pa.
Maurice: Ang usa ka maayo nga analohiya giapod-apod sa pagkalkula. Hunahunaa ang blockchain ingon nga kini usa ka pagsugod ug gipang-apod-apod nga kompyuter ingon usa ka dako, natukod nga kompanya. Ang gipang-apod-apod nga computing anaa sa proseso sa pag-angkon ug paghiusa sa blockchain.
PhD ubos sa pagdumala ni Barbara Liskov
Vitaly: Daghan pa mig pangutana! Gitan-aw namon ang imong background ug nakit-an namon ang usa ka makapaikag nga kamatuoran bahin sa imong pagkadoktor. Oo, kini dugay na ang milabay, apan kini daw usa ka importante nga hilisgutan. Nadawat nimo ang imong PhD ubos sa paggiya sa imong kaugalingon ! Si Barbara kilala kaayo sa komunidad sa programming language, ug usa ka ilado kaayo nga tawo sa kinatibuk-an. Makataronganon nga ang imong panukiduki naa sa natad sa mga programming language. Giunsa nimo pagbalhin sa parallel computing? Nganong nakahukom ka nga usbon ang hilisgutan?
Maurice: Niadtong panahona, si Barbara ug ang iyang grupo nagtan-aw lang sa distributed computing, nga bag-ong ideya. Naa say nag-ingon nga binuang ang distributed computing ug walay kapuslanan ang mga computer nga nag-communicate sa usag usa. Usa sa mga isyu nga gitumong sa distributed computing nga nagpalahi niini gikan sa centralized computing mao ang fault tolerance. Pagkahuman sa daghang panukiduki, nakahukom kami nga ang usa ka giapod-apod nga sinultian nga programming sa kompyuter kinahanglan adunay usa ka butang sama sa mga transaksyon sa atomic tungod kay dili ka makasiguro nga ang usa ka hilit nga tawag magmalampuson. Sa higayon nga ikaw adunay mga transaksyon, ang problema sa concurrency management mitungha. Unya adunay daghang trabaho sa pag-angkon nga parehas kaayo nga mga istruktura sa datos sa transaksyon. Unya, pag graduate nako, adto ko sa ug nagsugod sa pagpangita sa usa ka hilisgutan nga pagabuhaton. Nahinabo kanako nga ang kompyuter mibalhin gikan sa indibidwal nga mga kompyuter ngadto sa mga network sa mga kompyuter. Ang mga multiprocessor usa ka natural nga pagpadayon sa pag-uswag - ang pulong nga "multi-core" wala pa. Naghunahuna ko: unsa ang katumbas sa atomic nga mga transaksyon alang sa usa ka multi-core nga sistema? Dili gyud regular nga mga transaksyon tungod kay kini dako ug bug-at. Ug mao nay akong nabuhat nga ideya ug mao kana kung giunsa nako nahibal-an ang tibuuk nga wala’y paghulat nga pag-synchronize. Kini usa ka pagsulay sa pagtubag sa pangutana kung unsa ang analogue sa mga transaksyon sa atomic alang sa usa ka sistema nga multiprocessor nga adunay gipaambit nga memorya. Sa una nga pagtan-aw, kini nga trabaho mahimong lahi kaayo tan-awon, apan sa tinuud kini usa ka pagpadayon sa parehas nga tema.
Naghulat ang kalibutan alang sa multi-core
Vitaly: Gihisgotan nimo nga niadtong panahona gamay ra ang multi-core nga mga kompyuter, di ba?
Maurice: Wala lang sila didto. Adunay ubay-ubay nga gitawag nga simetriko nga multiprocessors, nga batakan nga konektado sa parehas nga bus. Dili kini maayo nga trabaho tungod kay sa matag higayon nga ang usa ka bag-ong kompanya nagmugna og usa ka butang nga susama, ang Intel magpagawas sa usa ka processor nga labaw sa multiprocessor.
Alexey: Dili ba kini nagpasabot nga sa karaang mga panahon kini labaw pa sa usa ka teoretikal nga pagtuon?
Maurice: Dili kadto usa ka teoretikal nga pagtuon, kondili usa ka espekulatibo nga pagtuon. Kining tanan dili mahitungod sa pagtrabaho uban sa daghang mga teorema; hinoon, among gibutang ang mga pangagpas mahitungod sa usa ka arkitektura nga wala pa niadtong panahona. Kini ang para sa panukiduki! Wala’y kompanya nga makahimo usa ka butang nga sama niini; kini tanan usa ka butang gikan sa layo nga umaabot. Sa tinuud, kini ang kaso hangtod sa 2004, kung ang tinuod nga mga multi-core nga mga processor nagpakita. Tungod kay ang mga processor nag-overheat, mahimo nimo nga mas gamay ang processor, apan dili nimo kini mahimo nga mas paspas. Tungod niini, adunay usa ka transisyon sa multi-core nga mga arkitektura. Ug unya kana nagpasabut nga sa kalit adunay usa ka paggamit sa tanan nga mga konsepto nga among naugmad kaniadto.
Alexey: Ngano sa imong hunahuna nga ang mga multi-core nga mga processor nagpakita lamang sa XNUMXs? Busa nganong ulahi na kaayo?
Maurice: Kini tungod sa mga limitasyon sa hardware. Ang Intel, AMD ug uban pang mga kompanya maayo kaayo sa pagdugang sa katulin sa processor. Kung sa usa ka punto ang mga processor nahimong gamay nga igo nga dili na nila madugangan ang katulin sa orasan tungod kay ang mga processor magsugod sa pagsunog. Mahimo nimo kini nga mas gamay, apan dili mas paspas. Unsa ang naa sa ilang gahum - imbes nga gamay kaayo nga processor, mahimo silang mohaum sa walo, napulog unom o katloan ug duha nga mga processor sa parehas nga gidaghanon sa kaso, diin kaniadto usa ra ang mahimo. Karon ikaw adunay multithreading ug paspas nga komunikasyon tali kanila tungod kay sila nag-ambit sa mga cache. Apan dili nimo mapugos sila sa pagdagan nga mas paspas - adunay usa ka piho nga limitasyon sa tulin. Nagpadayon sila sa pag-uswag sa hinay-hinay, apan dili na kaayo. Ang mga balaod sa pisika nagbarog sa dalan sa pag-uswag.
Ang bag-ong kalibotan nagdalag bag-ong mga problema. NUMA, NVM ug pag-hack sa arkitektura
Alexey: Makataronganon kaayo. Uban sa bag-ong multi-core processors miabut ang bag-ong mga problema. Ikaw ba ug ang imong mga kauban nagdahom niini nga mga problema? Tingali gitun-an nimo kini daan? Sa teoretikal nga mga pagtuon kasagaran dili kaayo sayon ang pagtagna sa maong mga butang. Sa diha nga ang mga problema nahitabo, giunsa nila pagkab-ot ang imong mga gilauman ug ang imong mga kauban? O bag-o ba sila, ug ikaw ug ang imong mga kauban kinahanglan nga mogugol ug daghang oras sa pagsulbad sa mga problema sa ilang pagpakita?
Vitaly: Idugang nako ang pangutana ni Alexey: husto ba nimo nga gitagna ang arkitektura sa processor samtang nagtuon ka sa teorya?
Maurice: Dili 100%. Apan sa akong hunahuna ang akong mga kauban ug ako nakahimo usa ka maayong trabaho sa pagtagna sa mga multi-core nga adunay gipaambit nga panumduman. Sa akong hunahuna husto namon nga gitagna ang mga kalisud sa pagpalambo sa managsama nga istruktura sa datos nga naglihok nga wala’y mga kandado. Ang ingon nga mga istruktura sa datos hinungdanon alang sa daghang mga aplikasyon, bisan kung dili tanan, apan sa kasagaran ang imong gikinahanglan mao ang usa ka istruktura nga wala nag-lock sa datos. Sa dihang giimbento namo kini, daghan ang nangatarongan nga kini walay pulos, nga ang tanan nagtrabaho nga maayo sa mga kandado. Maayo ang among gitagna nga adunay andam nga mga solusyon alang sa daghang mga problema sa programming ug mga problema sa istruktura sa datos. Adunay usab mas komplikado nga mga problema, sama sa – dili patas nga pag-access sa memorya. Sa tinuud, wala sila gikonsiderar hangtod nga naimbento ang mga multi-core nga mga processor tungod kay kini labi ka piho. Ang komunidad sa panukiduki nagtrabaho sa mga pangutana nga kasagarang matag-an. Ang pipila ka mga problema sa hardware nga may kalabutan sa piho nga mga arkitektura kinahanglan nga maghulat sa mga pako - sa tinuud, ang hitsura sa kini nga mga arkitektura. Pananglitan, wala’y usa nga nagtrabaho gyud sa mga istruktura sa datos nga piho sa GPU tungod kay wala pa ang mga GPU kaniadto. Bisan kung daghang trabaho ang nahimo , kini nga mga algorithm andam na alang sa paggamit sa diha nga ang angay nga hardware mahimong magamit. Bisan pa, imposible nga makita ang tanan.
Alexey: Kung nasabtan nako sa husto, ang NUMA usa ka matang sa pagkompromiso tali sa gasto, pasundayag ug uban pang mga butang. Bisan unsa nga mga ideya ngano nga ang NUMA migawas nga ulahi kaayo?
Maurice: Sa akong hunahuna naglungtad ang NUMA tungod sa mga problema sa hardware nga gigamit sa paghimo og memorya: kung labi ka layo sa mga sangkap, labi ka hinay ang pag-access niini. Sa laing bahin, ang ikaduhang bili niini nga abstraction mao ang memory uniformity. Mao nga usa sa mga kinaiya sa parallel computing mao nga ang tanan nga mga abstraction gamay nga nabuak. Kung ang pag-access hingpit nga managsama, ang tanan nga panumduman managsama, apan kini sa ekonomiya, ug tingali bisan sa pisikal, imposible. Busa kini nga panagbangi mitungha. Kung imong isulat ang imong programa ingon nga ang memorya parehas, nan kini lagmit nga husto. Sa diwa nga dili kini maghatag ug sayop nga mga tubag. Apan ang iyang pasundayag dili usab makakuha sa mga bituon gikan sa langit. Ingon usab, kung magsulat ka Kung wala’y pagsabut sa hierarchy sa cache, ang pag-block mismo mahimong husto, apan mahimo nimong kalimtan ang bahin sa pasundayag. Sa usa ka diwa, kinahanglan nimong isulat ang mga programa nga naa sa ibabaw sa usa ka yano kaayo nga abstraction, apan kinahanglan nimo nga linglahon ang mga tawo nga naghatag kanimo nga abstraction: kinahanglan nimo mahibal-an nga sa ilawom sa abstraction adunay pipila nga hierarchy sa memorya, nga adunay usa ka bus tali kanimo ug niini nga panumduman, ug uban pa. Busa, adunay pipila ka panagsumpaki tali sa tagsa-tagsa nga mapuslanon nga mga abstraction, nga nagdala kanato ngadto sa konkreto ug pragmatic nga mga problema.
Vitaly: Komosta ang umaabot? Mahimo ba nimo matagna kung giunsa ang sunod nga pag-uswag sa mga processor? Adunay usa ka ideya nga usa sa mga tubag mao ang transactional memory. Basin naa kay lain nga stock.
Maurice: Adunay duha ka dagkong mga hagit sa unahan. Ang usa mao nga ang managsama nga panumduman usa ka talagsaon nga abstraction, apan kini nagsugod sa pagkaguba sa mga espesyal nga kaso. Busa, pananglitan, ang NUMA usa ka buhi nga pananglitan sa usa ka butang diin mahimo nimong ipadayon ang pagpakaaron-ingnon nga adunay managsama nga panumduman. Ang tinuod dili, ang pagkaproduktibo makapahilak kanimo. Sa pila ka punto, ang mga arkitekto kinahanglan nga biyaan ang ideya sa usa ka arkitektura sa memorya; dili ka magpakaaron-ingnon hangtod sa hangtod. Kinahanglan ang bag-ong mga modelo sa pagprograma nga dali ra gamiton ug igo nga kusog aron mahimong episyente ang nagpahiping hardware. Kini usa ka lisud kaayo nga pagkompromiso, tungod kay kung imong ipakita sa mga programmer ang arkitektura nga aktwal nga gigamit sa hardware, sila mabuang. Kini komplikado kaayo ug dili madaladala. Kung nagpresentar ka usa ka interface nga yano ra kaayo, ang pasundayag dili maayo. Sa ingon, daghang lisud kaayo nga mga trade-off ang kinahanglan buhaton aron mahatagan ang mapuslanon nga mga modelo sa pagprograma nga magamit sa tinuud nga dagkong mga prosesor nga multi-core. Dili ko sigurado nga bisan kinsa gawas sa usa ka espesyalista ang makahimo sa pagprograma sa usa ka 2000-core nga kompyuter. Ug gawas kung naghimo ka labi ka espesyal o siyentipiko nga pag-compute o cryptography o usa ka butang nga ingon niana - dili gihapon kini klaro kung giunsa kini buhaton sa husto.
Ang laing susama nga dapit mao ang espesyal nga mga arkitektura. Ang mga graphic accelerators dugay na nga naglungtad, apan nahimo silang usa ka klasiko nga pananglitan kung giunsa nimo pagkuha ang usa ka espesyal nga tipo sa pag-compute ug ipadagan kini sa usa ka gipahinungod nga chip. Nagdugang kini sa kaugalingon nga mga hagit: kung giunsa nimo pagpakigsulti sa ingon nga aparato, kung giunsa nimo kini giprograma. Bag-o lang ako nagtrabaho sa mga problema sa lugar . Gikuha nimo ang usa ka gamay nga processor ug ipapilit kini sa usa ka dako nga tipik sa memorya aron ang panumduman modagan sa L1 nga katulin sa cache ug dayon makigsulti sa usa ka aparato sama sa. – ang processor nagkapuliki sa pagkarga ug bag-ong mga buluhaton sa imong memory core. Ang pagdesinyo sa mga istruktura sa datos ug mga protocol sa komunikasyon alang niini nga matang sa butang usa pa ka makapaikag nga pananglitan. Mao nga ang naandan nga mga processor ug hardware magpadayon nga makita ang mga pag-uswag sa dugay nga panahon.
Alexey: Unsa ang mahitungod sa non-volatile memory ()?
Maurice: Aw, kana laing maayong pananglitan! Ang NVM makabag-o pag-ayo sa paagi sa atong pagtan-aw sa mga butang sama sa mga istruktura sa datos. Ang non-volatile memory, sa usa ka diwa, nagsaad nga mapadali ang mga butang. Apan dili kini makapasayon sa kinabuhi tungod kay kadaghanan sa mga processor, cache, ug mga rehistro dali ra gihapon. Kung magsugod ka pagkahuman sa pagkahagsa, ang imong estado ug ang kahimtang sa imong panumduman dili parehas sa wala pa ang pagkahagsa. Mapasalamaton kaayo ko sa mga tawo nga nagtrabaho sa NVM - adunay daghan nga mahimo sa mga tigdukiduki sa dugay nga panahon nga naningkamot nga mahibal-an ang mga kondisyon sa pagkahusto. Husto ang mga pagkalkula kung makalahutay sila sa usa ka pagkahagsa diin nawala ang mga sulud sa mga cache ug mga rehistro, apan ang panguna nga panumduman nagpabilin nga wala.
Compiler vs processors, RISC vs CISC, shared memory vs message passing
Vladimir: Unsay imong hunahuna mahitungod sa "compilers vs. processors" dilemma gikan sa usa ka instruksiyon set point of view? Tugoti ako nga ipasabut alang sa mga wala nahibal-an: kung moadto kami sa skewed memory o usa ka butang nga parehas, magamit namon ang usa ka yano nga hugpong sa mga mando ug hangyoon ang compiler sa paghimo og komplikado nga code nga makapahimulos sa bag-ong mga bentaha. O mahimo kitang moadto sa laing paagi: pagpatuman sa komplikadong mga instruksyon ug hangyoa ang processor sa pag-order pag-usab sa mga instruksyon ug paghimo sa uban nga mga manipulasyon uban kanila. Unsay imong hunahuna bahin niini?
Maurice: Wala gyud koy tubag niana nga pangutana. Kini nga debate nagpadayon sulod sa upat ka dekada. Naay panahon nga tali usa ka hugpong sa mga sugo ug ang mga gubat sibil gisangka pinaagi sa usa ka hugpong sa mga sugo. Sa makadiyot, ang mga tawo sa RISC midaog, apan ang Intel nagtukod pag-usab sa ilang mga makina aron ang usa ka pagkunhod nga hugpong sa mga instruksyon gigamit sa sulod, ug ang tibuok nga set gi-eksport sa gawas. Tingali kini usa ka hilisgutan diin ang matag bag-ong henerasyon kinahanglan mangita sa kaugalingon nga pagkompromiso ug maghimo sa kaugalingon nga mga desisyon. Lisod kaayo ang pagtagna kon hain niining mga butanga ang mas maayo. Busa bisan unsa nga panagna nga akong himoon tinuod sa usa ka panahon, ug unya bakak pag-usab sa makadiyot, ug unya tinuod usab.
Alexey: Unsa ka sagad alang sa industriya nga ang pipila ka mga ideya makadaog sa daghang mga dekada ug mapildi sa sunod? Aduna bay laing mga pananglitan sa maong matag karon ug unya nga mga kausaban?
Maurice: Sa hilisgutan sa distributed computing, adunay mga tawo nga nagtuo sa ug mga tawo nga nagtuo . Sa sinugdan, sa distributed computing, parallel computing nagpasabot sa pagpasa sa mensahe. Dayon adunay usa nga nakadiskobre nga mas sayon ang pagprograma gamit ang gipaambit nga memorya. Ang kaatbang nga bahin nag-ingon nga ang gipaambit nga panumduman labi ka komplikado, tungod kay nanginahanglan kini mga kandado ug uban pa, busa angayan nga mobalhin sa mga sinultian diin wala’y bisan unsa gawas sa pagpasa sa mensahe nga naglungtad. Adunay mitan-aw kung unsa ang migawas niini ug miingon, "wow, kini nga pag-implementar sa pagmemensa daw sama sa gipaambit nga panumduman, tungod kay naghimo ka ug daghan niining gagmay nga mga module, nagpadala sila og mga mensahe sa usag usa, ug silang tanan. “Maghimo ta og mas maayong shared memory database!” Kining tanan gibalikbalik balik, ug imposible nga isulti nga ang usa sa mga partido siguradong husto. Ang usa sa mga habig kanunay nga modominar tungod kay sa diha nga ang usa kanila hapit modaog, ang mga tawo balik-balik nga nag-imbento og mga paagi aron mapauswag ang lain.
Ang Arte sa Pagsulat Brittle Multithreaded Code
Alexey: Makaiikag kaayo kini. Pananglitan, kung magsulat kita og code, bisan unsa nga programming language, kasagaran kinahanglan natong maghimo og abstraction sama sa mga cell nga mabasa ug masulat. Apan sa pagkatinuod, sa pipila ka pisikal nga lebel, kini mahimong tan-awon sama sa pagpadala sa usa ka mensahe sa usa ka hardware bus tali sa lain-laing mga computer ug uban pang mga device. Kini nahimo nga ang trabaho nahitabo sa duha nga lebel sa abstraction sa usa ka higayon.
Maurice: Tinuod gyud nga ang gipaambit nga panumduman gitukod sa pagpasa sa mensahe - mga bus, cache, ug uban pa. Apan lisud ang pagsulat sa mga programa gamit ang pagpasa sa mensahe, mao nga ang hardware tinuyo nga namakak, nga nagpakaaron-ingnon nga ikaw adunay usa ka matang sa uniporme nga panumduman. Kini makapasayon alang kanimo sa pagsulat sa yano, husto nga mga programa sa dili pa magsugod ang pasundayag sa pagkadaot. Unya moingon ka: morag panahon na aron makighigala sa cache. Ug unya magsugod ka mabalaka bahin sa lokasyon sa cache, ug gikan didto kini moadto. Sa usa ka diwa, imong gi-hack ang abstraction: nahibal-an nimo nga dili lang kini patag, uniporme nga memorya, ug imong gamiton kana nga kahibalo sa pagsulat sa cache-friendly nga mga programa. Kini ang kinahanglan nimong buhaton sa tinuod nga mga problema. Kini nga panagsumpaki tali sa matam-is, yano, nindot nga abstraction nga gihatag kanimo ug ang makalilisang nga komplikado nga pagpatuman sa nagpahiping hardware diin ang tanan maghimo sa ilang kaugalingon nga pagkompromiso. Naa koy libro bahin sa mga multiprocessor ug pag-synchronize, ug sa usa ka punto magsulat ako usa ka kapitulo sa mga istruktura sa datos sa java.util.concurrent. Kung tan-awon nimo sila, mga butang sama sa Talagsaon kini nga mga buhat sa arte. (Mubo nga sulat sa editor: Kadtong pamilyar sa Java nga pinulongan kinahanglan nga motan-aw sa pagpatuman ConcurrentSkipListMap, mahimo nimong tan-awon ang mga link sa и ). Apan gikan sa akong panglantaw, kini mahimong iresponsable sa pagpakita kanila ngadto sa mga estudyante, tungod kay ang ingon nga usa ka data nga istruktura sama sa usa ka tawo sa usa ka sirko nga nagdagan sa usa ka hugot nga pisi ibabaw sa usa ka oso gahong. Kung usbon nimo ang bisan usa ka gamay nga detalye, ang tibuuk nga istruktura mahugno. Kini nga code paspas kaayo ug elegante tungod lang kay kini hingpit nga pagkasulat, apan ang gamay nga pagbag-o mosangpot sa hingpit nga kapakyasan. Kon akong ihatag kini nga code isip ehemplo sa mga estudyante, moingon dayon sila: Mahimo usab nako kana! Ug unya adunay usa ka eroplano nga mahagsa o usa ka nukleyar nga reaktor ang mobuto, ug ako sad-an sa paghatag kanila sa daghang kasayuran sa sayup nga oras.
Alexey: Sa bata pa ko, daghang mga higayon nga gisulayan nako nga tun-an ang source code ni Doug Lee, pananglitan, java.util.concurrent, tungod kay open source kini, dali ra kaayo pangitaon ug sulayan sabton kung unsa ang nahitabo didto. Dili kaayo maayo ang nahimo: kasagaran, dili klaro kung ngano nga nakahukom si Doug nga buhaton ang usa ka butang niining paagiha kung lahi ang gibuhat sa uban. Giunsa nimo pagpatin-aw kining mga butanga sa imong mga estudyante? Adunay usa ka piho nga husto nga paagi aron ihulagway ang mga piho nga detalye sa usa ka hardcore algorithm, pananglitan? Giunsa nimo pagbuhat kini?
Maurice: Ang mga magtutudlo sa pagdrowing adunay usa ka cliché nga una nilang nahinumduman: kung gusto nimo nga magdrowing sama sa Picasso, kinahanglan una nimo nga makat-on kung giunsa ang pagdrowing og yano nga realistiko nga mga litrato, ug kung nahibal-an nimo ang mga lagda mahimo ka magsugod sa paglapas niini. Kon magsugod ka pinaagi sa paglapas sa mga lagda diha-diha dayon, mosangko ka sa kagubot. Una, gitudloan nako ang mga estudyante kung giunsa pagsulat ang yano, husto nga code nga wala mabalaka bahin sa pasundayag. Ang akong gisulti mao, adunay mga komplikado nga mga isyu sa timing nga nagtago dinhi, busa ayaw kabalaka bahin sa mga cache, ayaw kabalaka bahin sa mga modelo sa memorya, siguruha lang nga ang tanan molihok sa husto. Lisud na kini: ang modernong programming dili sayon sa iyang kaugalingon, ilabi na sa mga bag-ong estudyante. Ug sa diha nga sila adunay usa ka intuition kon unsaon pagsulat sa husto nga mga programa, ako moingon: tan-awa kining duha ka mga pagpatuman sa spinlock: ang usa hinay kaayo, ug ang ikaduha dili usab kaayo, apan mas maayo. Bisan pa, sa matematika ang duha nga mga algorithm parehas. Sa tinuud, ang usa kanila naggamit sa lokalidad sa cache. Ang usa kanila nagdagan sa lokal nga naka-cache nga datos, ug ang lain balik-balik nga naglihok tabok sa bus. Dili ka makasulat ug epektibo nga code kung dili nimo masabtan kung unsa kini, ug wala ka mahibal-an kung unsaon pagbungkag ang abstraction ug tan-awon ang nagpahiping istruktura. Apan dili ka makasugod sa pagbuhat niini dayon. Adunay mga tawo nga nagsugod sa pagbuhat niini dayon ug nagtuo sa ilang kaugalingon nga henyo, kasagaran kini matapos nga dili maayo tungod kay wala sila makasabut sa mga prinsipyo. Walay usa nga nagdrowing sama ni Picasso o nagsulat og mga programa sama ni Doug Lee nga bag-o pa sa kolehiyo sa iyang unang semana. Nagkinahanglan kini og mga tuig aron maabot kini nga lebel sa kahibalo.
Alexey: Kini nahimo nga imong gibahin ang problema sa duha ka bahin: ang una mao ang pagkahusto, ang ikaduha mao ang pasundayag?
Maurice: Sakto. Ug, eksakto sa kana nga han-ay. Kabahin sa problema mao nga ang mga bag-ong estudyante wala makasabut nga ang pagkatul-id lisud nga makab-ot. Sa una nga pagtan-aw sila nag-ingon: kini klaro nga husto, ang nahabilin mao ang pagpadali niini. Mao nga usahay sultihan ko sila bahin sa usa ka una nga sayup nga algorithm ingon nga kini husto.
Giunsa pagtudlo ang mga estudyante sa pagsulat sa komplikado nga multithreaded code
Alexey: Aron lang tan-awon kung makamatikod ba sila sa pagdakop?
Maurice: Kanunay kong pasidan-an daan nga usahay mosugyot kog sayop nga mga algorithm. Dili nimo dapat linglahon ang mga tawo. Gisugyot ko nga kuhaon nila ang kasayuran nga adunay usa ka lugas nga asin. Kung gisultihan ko ang usa ka butang ug moingon: "Tan-awa, kini klaro nga husto" - kini usa ka senyales nga sa usa ka dapit sila naningkamot sa paglimbong kanimo, ug kinahanglan ka magsugod sa pagpangutana. Sunod, naningkamot ko sa pag-awhag sa mga estudyante nga magpadayon sa pagpangutana, ug dayon mosugyot ko, “Unsay mahitabo kon biyaan nato ang mga butang nga ingon niana?” Ug nakita dayon nila ang sayup. Apan ang pagkumbinser sa mga estudyante nga kinahanglan silang mabalaka bahin sa katukma labi ka lisud kaysa sa una nga pagtan-aw. Daghan niini nga mga estudyante ang adunay kasinatian sa programming sa high school, ang uban nakatrabaho ug nakabuhat na ug programming didto, ug silang tanan puno sa pagsalig. Kini usa ka butang nga sama sa kasundalohan: kinahanglan una nimo nga usbon ang ilang pagbati aron makombinsir sila nga mapailubon nga moduol sa pagsulbad sa mga problema nga motumaw. O tingali kini sama sa mga monghe nga Budhista: una sila makakat-on sa pagpangatarungan mahitungod sa pagkahusto, ug sa higayon nga sila makasabut sa mga paagi sa pagpangatarungan mahitungod sa pagkahusto, sila gitugotan sa pagbalhin ngadto sa sunod nga lebel ug magsugod sa pagkabalaka mahitungod sa performance.
Alexey: Kana mao, usahay magpakita ka sa mga estudyante nga dili nagtrabaho nga mga pananglitan, salamat nga makakuha ka og feedback nga nagpakita kung nasabtan ba nila ang esensya sa problema, kung makit-an ba nila ang sayup nga code ug sayup nga sangputanan. Busa, ang mga estudyante ba kasagarang makapalipay o makapaguol kanimo?
Maurice: Ang mga estudyante hapit kanunay makakita sa sayop sa katapusan. Kung hinay kaayo sila mangita, mangutana ko sa nanguna nga mga pangutana, ug dinhi hinungdanon nga masabtan nga kung dili nimo sila linglahon, magsugod sila nga wala’y hunahuna nga nasabtan ang imong mga pulong ingon ang katapusang kamatuoran. Unya mauwaw na sila ug makatulog samtang nagbasa sa Facebook sa ilang laptop panahon sa klase. Apan kung sultihan nimo sila daan nga mailad sila, ug tan-awon sila nga buang kung wala sila makamatikod sa usa ka limbong, labi sila nga mabinantayon. Maayo kini sa lainlaing paagi. Gusto ko nga ang mga estudyante dili lamang mangutana sa ilang pagsabut sa isyu, apan usab mangutana sa awtoridad sa magtutudlo. Ang ideya mao nga ang usa ka estudyante mahimong mopataas sa ilang kamot bisan unsang orasa ug moingon: Sa akong hunahuna kung unsa ang imong gisulti nga sayup. Kini usa ka importante nga himan sa pagkat-on. Dili ko gusto nga bisan kinsa sa mga estudyante nga molingkod ug hilom nga maghunahuna sa ilang kaugalingon: kining tanan ingon og bug-os nga walay pulos, apan ang pagpataas sa imong kamot makahadlok kaayo, ug bisan pa niana, siya usa ka propesor, mao nga ang tanan nga iyang gisulti mao ang kamatuoran. Busa, kung gipasidan-an sila daan nga dili tanan nga gisulti tinuod, sila adunay insentibo sa paghatag ug dugang nga pagtagad sa materyal. Giklaro nako nga okay ra ang pagpataas sa imong kamot ug pagpangutana. Ang imong pangutana mahimo’g paminawon nga hungog o walay hinungdan, apan kini kanunay kung giunsa ang labing kaayo nga mga pangutana nga motungha.
Alexey: Makapainteres kaayo. Kasagaran ang mga tawo adunay usa ka matang sa sikolohikal nga babag nga dili motugot kanila sa pagpangutana sa usa ka propesor. Ilabi na kung adunay daghang mga tawo sa kwarto, ug ang tanan nahadlok nga ang paghisgot sa imong binuang nga pangutana mokuha sa tanan nga oras sa mga tawo. Aduna bay bisan unsa nga mga limbong sa pag-atubang niini?
Maurice: Kanunay kong mohunong ug mangutana ug klasiko nga mga pangutana. Kung husto ba ang usa ka pahayag, o kung giunsa nila pagsulbad ang problema nga gihisgutan. Kini usa ka yawe nga aksyon, labi na sa pagsugod sa usa ka leksyon kung ang mga tawo maulaw sa pagsulti bisan sa labing gamay nga butang. Pangutan-a ang mga estudyante ug wala nay isulti pa. Adunay kahilom, ang tanan mahimong usa ka gamay nga tensiyon, ang tensyon mitubo, unya sa kalit adunay usa nga dili makaagwanta niini, naguba ug nagsulti sa tubag. Ingon niini kung giunsa nimo pagbag-o ang sitwasyon: ang pagpadayon sa paghilom mahimong labi ka lisud ug dili kombenyente kaysa pagtubag! Kini usa ka sukaranan nga limbong sa pedagogical. Ang matag magtutudlo sa kalibutan kinahanglang mahibalo unsaon pagbuhat niini.
Alexey: Karon aduna na kitay maayo kaayong titulo alang niini nga interbyu: “mas sayon ang pagtubag kay sa paghilom.”
Vitaly: Mangutana ko pag-usab. Nagtrabaho ka sa mga topological nga ebidensya. Giunsa nimo pag-apil niini, tungod kay ang gipang-apod-apod nga kompyuter ug topology hingpit nga lahi nga mga butang!
Maurice: Adunay usa ka tinago nga koneksyon didto. Sa dihang estudyante pa ko nga nagtuon sa mathematics, nagtuon ko og pure mathematics. Wala koy tinuod nga interes sa mga kompyuter hangtod nga natapos ang akong pagtuon ug akong nakaplagan ang akong kaugalingon nga nag-atubang sa dinalian nga panginahanglan sa pagpangita og trabaho. Isip usa ka estudyante nagtuon ko og algebraic topology. Daghang tuig ang milabay, samtang nagtrabaho sa usa ka problema nga gitawag , Gigamit nako ang mga graph sa pagmodelo sa problema ug, ingon nga kini sa panahon, nakakaplag ako og solusyon. Kinahanglan ka lang nga molingkod ug maglibot sa ihap. Sulayi pagpangita og angay nga tubag niini nga graph. Apan ang akong algorithm wala molihok: kini nahimo nga siya modagan sa mga lingin sa kahangturan. Ikasubo, kining tanan dili mapatin-aw sa pormal nga pinulongan sa teorya sa graph - ang usa nga nahibal-an sa tanan nga mga siyentipiko sa kompyuter. Ug unya nahinumdom ko nga daghang tuig na ang milabay, balik sa mga klase sa topology, among gigamit ang konsepto , nga usa ka generalization sa mga graph ngadto sa mas taas nga mga dimensyon. Unya gipangutana nako ang akong kaugalingon: unsa ang mahitabo kung usbon naton ang problema sa mga termino sa yano nga mga komplikado? Kini nahimong yawe nga higayon. Pinaagi sa paggamit sa usa ka mas gamhanan nga pormalismo, ang problema sa kalit nahimong mas simple. Ang mga tawo nakig-away batok niini sa dugay nga panahon, gamit ang mga graph, apan wala silay mahimo. Ug bisan karon dili nila mahimo - ang husto nga tubag nahimo nga dili usa ka algorithm, apan usa ka pamatuod sa imposible nga masulbad ang problema. Sa ato pa, ang ingon nga algorithm wala gyud maglungtad. Apan base sa bisan sa simplicial complexes o sa mga butang nga ang mga tawo nagpakaaron-ingnon nga wala maghunahuna sa mga simplicial complex. Tungod lang kay gitawag nimo ang usa ka butang nga usa ka bag-ong ngalan, dili kini mawala ang diwa niini.
Vitaly: Mogawas nga swerte ka lang?
Maurice: Gawas sa swerte, naa sab kaandam. Nagpasabot kini nga dili nimo angayng kalimtan ang mga "walay pulos" nga mga butang nga imong nakat-unan kaniadto. Ang labi ka walay pulos nga mga butang nga imong nakat-unan, mas daghang mga ideya ang imong makuha kung mag-atubang sa usa ka bag-ong problema. Kini nga matang sa intuitive pattern matching importante tungod kay... Atong buhaton kini, kini usa ka kadena: sa una akong nadiskobrehan nga ang mga graph wala gayud molihok o wala gayud molihok, kini nagpahinumdom kanako sa usa ka butang gikan sa mga panghitabo sa walo mga tuig na ang milabay ug ang akong mga tuig sa estudyante, sa dihang among gitun-an kining tanan nga mga simple nga komplikado . Kini sa baylo nagtugot kanako sa pagpangita sa akong daan nga topology nga libro ug i-load kini balik sa akong ulo. Apan kung dili tungod sa karaan nga kahibalo, wala gyud ako makahimo og bisan unsang pag-uswag sa pagsulbad sa orihinal nga problema.
Bag-ong edisyon sa libro nga "The Art of Multiprocessor Programming"
Alexey: Gisulti nimo ang pipila ka mga pulong bahin sa imong libro. Tingali dili kini ang labing daotan nga sekreto nga imong gisulat ang labing inila nga libro sa kalibutan bahin sa multithreading, . Mga 11 anyos na kini ug sukad niadto gibuhian na lang . Aduna bay ikaduhang edisyon?
Maurice: Maayo kay nangutana ka! Kini sa dili madugay, sa tulo ka bulan o labaw pa. Adunay duha pa ka mga tagsulat, nagdugang kami og daghang materyal, gipauswag ang seksyon sa fork/join parallelism, nagsulat usa ka seksyon sa MapReduce, nagdugang daghang bag-ong mga butang ug gilabay ang wala kinahanglana nga mga butang - usa ka butang nga makapaikag kaayo sa pagsulat. ang unang edisyon, apan wala na karon. Ang resulta usa ka seryoso kaayo nga rebisado nga libro.
Alexey: Ang tanan nahimo na, ang nahabilin mao ang pagpagawas niini?
Maurice: Ang duha ka kapitulo nagkinahanglan pa ug trabaho. Ang among magmamantala (nga sa akong hunahuna nagdumot na kanamo) naningkamot gihapon nga ipaabot ang mensahe nga kinahanglan namon nga molihok nga mas paspas. Layo kaayo mi sa eskedyul. Sa teoriya, mahimo unta namo kining libroha mga duha ka tuig ang milabay.
Alexey: Bisan unsang higayon nga makakuha usa ka bag-ong bersyon sa libro sa wala pa ang Pasko?
Maurice: Mao ni ang atong tumong! Pero kadaghan na ko nakatag-an ug kadaugan nga wala nay motuo nako. Tingali dili ka usab mosalig kanako niining butanga.
Alexey: Sa bisan unsa nga kaso, kini usa ka talagsaon nga balita. Ganahan kaayo ko sa unang edisyon sa libro. Makaingon ka nga fan ko.
Maurice: Nanghinaut ko nga ang bag-ong edisyon mahimong takus sa imong mainiton nga kadasig, salamat!
Giunsa Pag-imbento ang Transaksyonal nga Memorya
Vitaly: Ang sunod nga pangutana mahitungod sa transactional memory. Sa akong nasabtan, ikaw usa ka pioneer niini nga natad, ikaw nag-imbento niini sa panahon nga walay usa nga naghunahuna mahitungod sa maong mga butang. Nganong nakahukom ka nga mobalhin niini nga natad? Ngano nga ang mga transaksyon daw importante kanimo? Naghunahuna ka ba nga sa umaabot nga adlaw kini ipatuman sa hardware?
Maurice: Nahibal-an ko ang bahin sa mga transaksyon sukad sa akong mga adlaw sa panukiduki sa pagtapos.
Vitaly: Oo, apan lahi kini nga mga transaksyon!
Maurice: Nagtrabaho ko sa Elliott Moss sa dili pagbabag sa pagkolekta sa basura. Ang among problema mao nga gusto namon nga usbon ang atomic sa pipila ka mga pulong sa memorya ug unya ang mga algorithm mahimong yano kaayo, ug labing menos ang pipila niini mahimong labi ka episyente. Paggamit alang sa gihatag sa parallel nga arkitektura, kini mao ang posible nga sa pagbuhat sa usa ka butang, apan kini mao ang kaayo inefficient ug mangil-ad tungod kay kamo adunay sa pag-atubang sa mga lut-od sa indidirection. Gusto nako nga usbon ang mga pulong sa panumduman ug kinahanglan nako nga magbalhin tungod kay mahimo ra nako usbon ang usa ka pointer, mao nga kinahanglan nila itudlo ang usa ka klase nga sama sa direktoryo nga istruktura. Naghisgot kami kung unsa ka maayo kung usbon namon ang hardware aron mahimo kini nga dungan nga pagrekord. Si Elliott daw nakamatikod niini: kung imong tan-awon ang cache coherency protocols, naghatag na sila sa kadaghanan sa gikinahanglan nga gamit. Sa usa ka malaumon nga transaksyon, ang cache coherency protocol makamatikod nga adunay panagbangi sa panahon ug ang cache mahimong . Unsa ang mahitabo kung imong ispekulatibo nga magpadagan sa usa ka transaksyon sa imong cache ug gamiton ang mga mekanismo sa coherence protocol aron mahibal-an ang mga panagbangi? Ang espekulatibo nga arkitektura sa hardware sayon nga idesinyo. Busa gisulat namo kana mahitungod sa transactional memory. Sa samang higayon, ang kompanya nga akong gitrabahoan, ang Digital Equipment Corporation, nagmugna og bag-ong 64-bit processor nga gitawag og Alpha. Busa miadto ko ug mihatag ug presentasyon sa grupo sa pagpalambo sa Alpha mahitungod sa among talagsaon nga transactional memory ug nangutana sila: Pila ka dugang nga kita ang makuha sa among kompanya kon among idugang kining tanan direkta sa processor? Ug wala gyud koy tubag niini, tungod kay usa ako ka technologist, dili ako usa ka espesyalista sa marketing. Wala gyud koy ikatubag. Wala kaayo sila nakadayeg nga wala koy nahibal-an.
Vitaly: Bilyones! Ingna lang bilyones!
Maurice: Oo, kana unta ang akong isulti. Karon, sa edad sa mga startup ug tanan, nahibal-an ko kung unsaon pagsulat ang usa ka plano sa negosyo. Nga mamakak ka gamay bahin sa kadako sa imong potensyal nga ganansya. Apan niadtong mga adlawa morag walay pulos, mao nga miingon lang ko, “Wala ko kahibalo.” Kung imong tan-awon ang kasaysayan sa publikasyon sa panumduman sa transaksyon, imong mamatikdan nga pagkahuman sa usa ka tuig adunay daghang mga paghisgot niini, ug pagkahuman sa mga napulo ka tuig wala’y usa nga nagkutlo niini nga papel. Ang mga kinutlo nagpakita sa palibot sa 2004, sa diha nga ang tinuod nga multi-cores nagpakita. Sa dihang nadiskobrehan sa mga tawo nga ang pagsulat sa parallel code makakwarta, nagsugod ang bag-ong panukiduki. Ravi Rajwar , nga sa pipila ka paagi nagpaila sa konsepto sa transactional memory sa mainstream. (Mubo nga sulat sa editor: Adunay ikaduha nga bersyon niini nga artikulo, gipagawas kaniadtong 2010 ug libre nga magamit ). Sa kalit lang naamgohan sa mga tawo kung giunsa paggamit ang tanan, kung giunsa ang mga tradisyonal nga algorithm nga adunay mga kandado nga mapadali. Usa ka maayong panig-ingnan sa usa ka butang nga kaniadto ingon usa ka makapaikag nga problema sa akademiko. Ug oo, kung nangutana ka kanako nianang panahona kung naghunahuna ba ako nga kining tanan mahimong importante sa umaabot, ako moingon: siyempre, apan kung kanus-a dili klaro. Tingali sa 50 ka tuig? Sa praktis, kini nahimong usa lamang ka dekada. Nindot kaayo kung buhaton nimo ang usa ka butang ug pagkahuman sa napulo ka tuig namatikdan kini sa mga tawo.
Ngano nga kini angay nga magpahigayon panukiduki sa natad sa gipang-apod-apod nga kompyuter
Vitaly: Kung maghisgot kita bahin sa bag-ong panukiduki, unsa ang imong ikatambag sa mga magbabasa - giapod-apod nga kompyuter o multi-core ug ngano?
Maurice: Karong mga panahona dali ra makakuha usa ka multi-core nga processor, apan mas lisud ang pag-set up sa usa ka tinuod nga giapod-apod nga sistema. Nagsugod ko sa pagtrabaho niini tungod kay gusto nako nga buhaton ang usa ka butang nga lahi sa akong PhD thesis. Kini ang tambag nga kanunay nakong ihatag sa bag-ong mga estudyante: ayaw pagsulat og pagpadayon sa imong disertasyon—sulayi ang pag-adto sa bag-ong direksyon. Ug usab, ang multithreading sayon. Mahimo kong mag-eksperimento sa akong kaugalingong tinidor nga nagdagan sa akong laptop nga dili mobangon sa higdaanan. Apan kung sa kalit gusto nako nga maghimo usa ka tinuud nga giapod-apod nga sistema, kinahanglan nako nga buhaton ang daghang trabaho, pagdani sa mga estudyante, ug uban pa. Ako usa ka tapolan nga tawo ug mas gusto nga magtrabaho sa multi-core. Ang pag-eksperimento sa mga multi-core nga sistema mas sayon usab kay sa paghimo sa mga eksperimento sa mga gipang-apod-apod nga mga sistema, tungod kay bisan sa usa ka buang nga gipang-apod-apod nga sistema adunay daghan kaayong mga butang nga kinahanglang kontrolon.
Vitaly: Unsa ang imong gibuhat karon, nagsiksik sa blockchain? Unsang mga artikulo ang una nimong hatagan ug pagtagad?
Maurice: Bag-o lang nagpakita , nga akong gisulat uban sa akong estudyante, Vikram Saraf, ilabi na alang sa usa ka pakigpulong sa sa Paris tulo ka semana ang milabay. Kini usa ka artikulo bahin sa praktikal nga gipang-apod-apod nga mga sistema, diin among gisugyot ang paghimo sa Ethereum nga multi-threaded. Sa pagkakaron, ang mga smart contract (code nga nagdagan sa blockchain) sunodsunod nga gipatuman. Nagsulat kami usa ka artikulo sa sayo pa nga naghisgot bahin sa usa ka paagi sa paggamit sa mga espekulatibo nga mga transaksyon aron mapadali ang proseso. Nagkuha kami daghang mga ideya gikan sa memorya sa transactional sa software ug giingon nga kung himuon nimo kini nga mga ideya nga bahin sa Etherium virtual machine, nan ang tanan molihok nga mas paspas. Apan alang niini gikinahanglan nga walay mga panagsumpaki sa datos sa mga kontrata. Ug unya among gihunahuna nga sa tinuud nga kinabuhi wala gyud ingon nga mga panagbangi. Apan wala kami'y paagi aron mahibal-an. Dayon nahinabo kanamo nga kami adunay hapit napulo ka tuig nga tinuod nga kasaysayan sa kontrata sa among mga kamot, mao nga among gilabay ang Ethereum blockchain ug gipangutana ang among kaugalingon: unsa ang mahitabo kung kini nga mga rekord sa kasaysayan gipatuman nga managsama? Nakakita kami usa ka hinungdanon nga pagtaas sa katulin. Sa unang mga adlaw sa Etherium, ang katulin miuswag pag-ayo, apan karon ang tanan medyo mas komplikado, tungod kay adunay mas diyutay nga mga kontrata ug ang kalagmitan sa mga panagbangi sa datos nga nagkinahanglan sa serialization nahimong mas taas. Apan kining tanan kay eksperimento nga buhat nga adunay tinuod nga makasaysayanong datos. Ang nindot nga butang bahin sa blockchain mao nga kini mahinumdom sa tanan hangtod sa kahangturan, aron kita makabalik sa panahon ug magtuon kung unsa ang mahitabo kung gigamit namon ang lainlaing mga algorithm sa pagpadagan sa code. Sa unsang paagi nagustohan sa mga tawo kaniadto ang among bag-ong ideya? Ang ingon nga panukiduki mas sayon ug mas makalingaw nga buhaton, tungod kay adunay usa ka butang nga nagmonitor sa tanan ug nagrekord sa tanan. Kini usa na ka butang nga mas susama sa sosyolohiya kaysa sa pagpalambo sa mga algorithm.
Nahunong ba ang pag-uswag sa mga algorithm ug kung giunsa ang pagpadayon?
Vitaly: Panahon na para sa kataposang teoretikal nga pangutana! Gibati ba nga ang pag-uswag sa kompetisyon nga mga istruktura sa datos nagkunhod matag tuig? Sa imong hunahuna nakaabot ba kami sa usa ka talampas sa among pagsabut sa mga istruktura sa datos o adunay pipila ka dagkong mga pag-uswag? Tingali adunay pipila ka maalamon nga mga ideya nga hingpit nga makapausab sa tanan?
Maurice: Mahimong nakaabot kami sa usa ka talampas sa mga istruktura sa datos alang sa tradisyonal nga mga arkitektura. Apan ang mga istruktura sa datos alang sa bag-ong mga arkitektura usa gihapon ka maayong lugar. Kung gusto nimo nga maghimo mga istruktura sa datos alang, ingnon ta, mga accelerator sa hardware, nan ang mga istruktura sa datos alang sa usa ka GPU lahi kaayo sa mga istruktura sa datos alang sa usa ka CPU. Kung nagpalambo ka sa mga istruktura sa datos alang sa mga blockchain, kinahanglan nimo nga i-hash ang mga piraso sa datos ug dayon ibutang kini sa usa ka butang nga sama , aron malikayan ang peke. Adunay usa ka pagdagsang sa kalihokan sa niini nga dapit bag-o lang, uban sa daghan nga mga buhat nga maayo kaayo. Apan sa akong hunahuna kung unsa ang mahitabo mao nga ang mga bag-ong arkitektura ug bag-ong mga aplikasyon magdala sa mga bag-ong istruktura sa datos. Mga kabilin nga aplikasyon ug tradisyonal nga arkitektura - tingali wala nay daghang lugar alang sa pagsuhid. Apan kung mogawas ka sa gibunalan nga agianan ug motan-aw sa unahan sa mga sulud, makita nimo ang mga buang nga butang nga wala giseryoso sa mainstream - kana kung diin mahitabo ang tanan nga makapahinam nga butang.
Vitaly: Busa, aron mahimong usa ka bantog nga tigdukiduki, kinahanglan kong mag-imbento sa akong kaugalingon nga arkitektura :)
Maurice: Mahimo nimong "makawat" ang bag-ong arkitektura sa laing tawo - morag mas sayon!
Nagtrabaho sa Brown University
Vitaly: Mahimo ba nimo isulti kanamo ang dugang bahin sa asa ka nagtrabaho? Dili daghan ang nahibal-an bahin kaniya sa konteksto sa teknolohiya sa impormasyon. Ubos sa bahin sa MIT, pananglitan.
Maurice: Ang Brown University usa sa labing karaan nga unibersidad sa Estados Unidos. Sa akong hunahuna ang Harvard ra ang mas tigulang. Ang Brown kay bahin sa gitawag nga , nga usa ka koleksyon sa walo ka labing karaan nga unibersidad. Harvard, Brown, Cornell, Yale, Columbia, Dartmouth, Pennsylvania, Princeton. Kini usa ka karaan, gamay ug medyo aristokratikong unibersidad. Ang panguna nga gipunting mao ang edukasyon sa liberal arts. Dili kini pagsulay nga mahisama sa MIT, ang MIT labi ka espesyalista ug teknikal. Ang Brown usa ka maayong lugar aron magtuon sa Russian Literature o Classical Greek, ug siyempre, Computer Science. Nagtutok kini sa komprehensibong edukasyon. Kadaghanan sa among mga estudyante moadto sa Facebook, Apple, Google - mao nga sa akong hunahuna ang among mga estudyante walay problema sa pagpangita og trabaho sa industriya. Nagtrabaho ko sa Brown kay nagtrabaho ko kaniadto sa Digital Equipment Corporation sa Boston. Kini usa ka kompanya nga nag-imbento sa daghang makapaikag nga mga butang, apan gilimod ang kamahinungdanon sa personal nga mga kompyuter. Usa ka kompanya nga adunay lisud nga kapalaran, kansang mga magtutukod kaniadto mga batan-on nga mga rebolusyonaryo, wala silay nakat-unan ug wala’y nakalimtan, ug busa mibalik sila gikan sa mga rebolusyonaryo ngadto sa mga reaksyonaryo sa sulod sa mga usa ka dosena ka tuig. Ganahan silang magkomedya nga ang mga personal nga kompyuter naa sa garahe—siyempre, usa ka biniyaan nga garahe. Klaro kaayo nga sila gilaglag sa mas flexible nga mga kompanya. Sa dihang naklaro na nga ang kompanya nagkaproblema, akong gitawagan ang usa nako ka higala sa Brown, nga mga usa ka oras sa gawas sa Boston. Dili ko gusto nga mobiya sa Boston niadtong panahona tungod kay wala'y daghang mga pag-abli sa ubang mga unibersidad. Kini ang panahon nga wala’y daghang trabaho sa Computer Science sama sa karon. Ug si Brown adunay usa ka pag-abli, dili ko kinahanglan nga ibalhin ang akong balay, dili ko kinahanglan nga ibalhin ang akong pamilya, ug ganahan kaayo ko nga mopuyo sa Boston! Mao to naka decide ko nga adtoon si Brown. Ganahan ko. Nindot ang mga estudyante, mao nga wala gyud ko mosulay sa pag-adto sa laing lugar. Atol sa akong sabbatical, nagtrabaho ko sa Microsoft sulod sa usa ka tuig, miadto sa Technion sa Haifa sulod sa usa ka tuig, ug karon naa na ko sa Algorand. Daghan kog mga kauban bisan asa ug busa ang pisikal nga lokasyon sa among mga classroom dili kaayo importante. Apan ang labing hinungdanon mao ang mga estudyante, sila ang labing kaayo dinhi. Wala pa ko makasuway og adto sa laing lugar kay medyo malipayon ko dinhi.
Bisan pa sa kabantog ni Brown sa Estados Unidos, katingad-an nga wala siya mailhi sa gawas sa nasud. Sama sa imong nakita, gibuhat nako karon ang tanan nga posible aron matul-id kini nga kahimtang.
Ang kalainan tali sa panukiduki sa usa ka unibersidad ug sa sulod sa usa ka korporasyon
Vitaly: Okay, ang sunod nga pangutana bahin sa Digital Equipment. Naa ka didto isip usa ka tigdukiduki. Unsa ang kalainan tali sa pagtrabaho sa departamento sa R&D sa usa ka dako nga kompanya ug pagtrabaho sa usa ka unibersidad? Unsa ang mga bentaha ug disbentaha?
Maurice: Sulod sa baynte ka tuig nagtrabaho ko sa Microsoft, nagtrabaho pag-ayo sa mga empleyado sa Sun Microsystems, Oracle, Facebook, ug karon Algorand. Base sa tanan niini, gusto nakong isulti nga posible nga magpahigayon og first-class nga panukiduki sa mga kompanya ug sa mga unibersidad. Ang hinungdanon nga kalainan mao nga sa usa ka kompanya nga nagtrabaho ka kauban ang mga kauban. Kung kalit lang ko adunay ideya alang sa usa ka proyekto nga wala pa, kinahanglan nako kombinsihon ang akong mga kaedad nga kini usa ka maayong ideya. Kung naa ko sa Brown, unya masulti nako sa akong mga estudyante: atong buhaton ang antigravity! Mobiya sila para sa lain o mokuha og proyekto. Oo, kinahanglan kong mangita og pondo, kinahanglan kong magsulat og grant application, ug uban pa. Sa bisan unsa nga kaso, adunay kanunay nga daghang mga estudyante, ug makahimo ka sa paghimo og mga desisyon nga unilaterally. Apan sa unibersidad lagmit dili ka makigtambayayong sa mga tawo sa imong lebel. Sa kalibutan sa panukiduki sa industriya, kinahanglan nimo una nga kombinsihon ang tanan nga ang imong proyekto takus nga buhaton. Dili ko maka-order bisan unsa kang bisan kinsa. Ug ang duha niining mga paagi sa pagtrabaho bililhon, tungod kay kung nagtrabaho ka sa usa ka butang nga tinuod nga buang ug ang imong mga kauban lisud kombinsihon, mas dali nga makombinsir ang mga estudyante nga gradwado - labi na kung gibayaran nimo sila. Kung nagtrabaho ka sa usa ka butang nga nanginahanglan daghang kasinatian ug lawom nga kahanas, nan kinahanglan nimo ang mga kauban nga makaingon nga "dili, mahitabo ra nga nakasabut ako sa kini nga lugar ug daotan ang imong ideya, dili kini molihok." Kini mapuslanon kaayo sa mga termino sa pag-usik sa oras. Usab, kung sa mga laboratoryo sa industriya mogugol ka og daghang oras sa pagsulat sa mga taho, unya sa usa ka unibersidad imong gigugol kini nga oras sa pagpangita og salapi. Kung gusto nako nga ang mga estudyante makaadto sa usa ka lugar, kinahanglan nako pangitaon ang kuwarta alang niini sa laing lugar. Ug kon mas importante ang imong posisyon sa unibersidad, mas daghang oras ang imong igugol sa pagtigom ug kuwarta. Karon nahibal-an na nimo kung unsa ang akong gitrabahoan - usa ka propesyonal nga makililimos! Sama sa usa sa mga monghe nga naglakaw-lakaw nga adunay plato sa halad. Sa kinatibuk-an, kining duha ka mga kalihokan nagtinabangay sa usag usa. Mao nga naningkamot ko nga mabuhi ug magpabilin ang akong mga tiil sa yuta sa duha ka kalibutan.
Vitaly: Morag mas lisod ang pagkumbinser sa usa ka kompaniya kay sa pagkombinsir sa ubang mga siyentista.
Maurice: Mas lisod, ug daghan pa. Dugang pa, sa lainlaing mga lugar lahi kini: ang uban nagdumala sa tibuuk nga panukiduki, samtang ang uban nagpunting sa ilang hilisgutan. Kung moadto ko sa Microsoft o Facebook ug moingon: maghimo ta og anti-gravity, dili nila kini mapasalamatan. Apan kung gisulti nako ang parehas nga butang sa akong mga estudyante nga gradwado, lagmit nga makatrabaho dayon sila, bisan kung karon adunay ako mga problema - pagkahuman, kinahanglan nako nga mangita salapi alang niini. Apan basta gusto nimo nga buhaton ang usa ka butang nga nahiuyon sa mga katuyoan sa kompanya, kana nga kompanya mahimo’g usa ka maayo kaayo nga lugar sa pagpanukiduki.
Hydra ug SPTDC
Vitaly: Ang akong mga pangutana hapit na mahuman, busa maghisgot kita og gamay mahitungod sa umaabot nga biyahe ngadto sa Russia.
Maurice: Oo, naghinamhinam ko nga makabalik sa St. Petersburg.
Alexey: Nalipay ko nga nakauban ka namo karong tuiga. Kini ang imong ikaduhang higayon sa St. Petersburg, di ba?
Maurice: Ikatulo na!
Alexey: Nakasabot ko, pero - siguradong ang ikaduha. Katapusang higayon nga gitawag ang eskwelahan , giusab na namo ang usa ka letra (C to D, Concurrent to Distributed) aron ipasiugda nga adunay mas daghang mga lugar nga may kalabutan ilabina sa distributed computing karong tuiga. Mahimo ba nimo isulti ang pipila ka mga pulong bahin sa imong mga taho sa Eskwelahan ug ?
Maurice: Sa Eskwelahan gusto nakong hisgutan ang mga sukaranan sa blockchain ug unsa ang imong mahimo niini. Gusto nakong ipakita nga ang mga blockchain susama kaayo sa multi-threaded programming nga pamilyar nato, apan sa ilang kaugalingong mga nuances, ug kini nga mga kalainan importante nga masabtan. Kung masayop ka sa usa ka regular nga aplikasyon sa web, makalagot lang. Kung magsulat ka og buggy code sa usa ka pinansyal nga aplikasyon, adunay usa nga mangawat sa tanan nimong salapi. Kini hingpit nga lainlain nga lebel sa responsibilidad ug mga sangputanan. Maghisgot ako og gamay mahitungod sa proof-of-work, mahitungod sa mga smart contract, mahitungod sa mga transaksyon tali sa lain-laing mga blockchain.
Adunay uban nga mga mamumulong nga nagtrabaho sunod kanako nga adunay usa ka butang nga isulti mahitungod sa blockchain, ug kami nagkasabot nga mag-coordinate sa usag usa aron ang among mga istorya mohaum pag-ayo. Apan alang sa taho sa engineering, gusto nakong isulti sa usa ka halapad nga mamiminaw nga masabtan nga katin-awan kung ngano nga dili ka kinahanglan motuo sa tanan nga imong nadungog bahin sa mga blockchain, ngano nga ang mga blockchain usa ka maayo nga natad, kung giunsa kini mohaum sa uban pang nahibal-an nga mga ideya, ug ngano nga kita kinahanglan nga maisugon nga motan-aw ngadto sa umaabot.
Alexey: Dugang pa, gusto nakong isulti nga dili kini mahitabo sa format sa usa ka meetup o user nga grupo, sama sa duha ka tuig na ang milabay. Nakahukom mi nga maghimo ug gamay nga komperensya duol sa eskwelahan. Ang hinungdan mao nga pagkahuman sa pagpakigsulti ni Peter Kuznetsov, nahibal-an namon nga ang eskuylahan limitado lamang sa usa ka gatos, tingali 120 ka tawo. Sa parehas nga oras, adunay daghang mga inhenyero nga gusto makigsulti kanimo, motambong sa mga presentasyon, ug sa kasagaran interesado sa hilisgutan. Tungod niini nga hinungdan naghimo kami usa ka bag-ong komperensya . Pinaagi sa dalan, bisan unsa nga mga ideya ngano nga si Hydra?
Maurice: Kay naay pito ka speaker? Ug ang ilang mga ulo mahimong putlon, ug bag-ong mga mamumulong motubo sa ilang dapit?
Alexey: Nindot nga ideya sa pagpatubo sa bag-ong mga mamumulong. Apan sa pagkatinuod, adunay usa ka istorya dinhi. Hinumdomi ang leyenda ni Odysseus, diin kinahanglan siyang molawig ? Ang Hydra kay sama sa Charybdis. Ang istorya mao nga sa makausa ako namulong sa usa ka komperensya ug naghisgot bahin sa multithreading. Adunay duha ra ka track sa kini nga komperensya. Sa sinugdanan sa taho, akong gisultihan ang mga mamiminaw sa hawanan nga duna na silay kapilian tali kang Scylla ug Charybdis. Ang akong espiritu nga mananap mao si Charybdis tungod kay si Charybdis adunay daghang mga ulo ug ang akong tema kay multi-threading. Ingon niini ang pagpakita sa mga ngalan sa mga komperensya.
Sa bisan unsa nga kahimtang, nahutdan na kami sa mga pangutana ug oras. Busa, salamat, mga higala, alang sa usa ka maayo nga interbyu, ug magkita ta sa SPTDC School ug Hydra 2019!
Mahimo nimong ipadayon ang imong panag-istoryahanay uban ni Maurice sa komperensya sa Hydra 2019, nga ipahigayon sa Hulyo 11-12, 2019 sa St. Moabot siya nga dunay report . Mahimong mapalit ang mga tiket .
Source: www.habr.com