"Ho bonolo ho araba ho feta ho khutsa" - puisano e ntle le ntate oa memori ea transaction, Maurice Herlihy

Maurice Herlihy - mong'a tse peli Likhau tsa Dijkstra. Ea pele ke ea mosebetsi "Khokahano ea Mahala" (Brown University) le ea bobeli, ea morao-rao, - "Memori ea Transactional: Tšehetso ea Meaho bakeng sa Mehaho ea Data e Lock-Free" (Univesithing ea Virginia Tech). Ho fanoe ka Moputso oa Dijkstra bakeng sa mesebetsi eo bohlokoa le tšusumetso ea tsona li 'nileng tsa bonahala bonyane lilemo tse leshome, 'me ho hlakile hore Maurice ke e mong oa litsebi tse tsebahalang haholo lefapheng lena. Hajoale ke moprofesa Univesithing ea Brown mme o na le lintho tse nkang nako e telele. Hona joale o etsa lipatlisiso tsa blockchain molemong oa k'homphieutha e ajoang ea khale.

Pejana, Maurice o se a tlile Russia bakeng sa SPTCC (ho rekota video) mme a etsa kopano e babatsehang ya setjhaba sa ntshetsopele sa JUG.ru Java St. Petersburg (ho rekota video).

Habrapost ena ke puisano e ntle le Maurice Herlihy. E bua ka lihlooho tse latelang:

  • Tšebelisano lipakeng tsa thuto le indasteri;
  • Motheo oa ho etsa lipatlisiso blockchain;
  • Likhopolo tsa katleho li tsoa hokae? Tšusumetso ea botumo;
  • PhD tlas'a tataiso ea Barbara Liskov;
  • Lefatše le emetse li-multi-core;
  • Lefatše le lecha, mathata a macha. NVM, NUMA le boqhetseke ba meralo;
  • Li-Compilers vs CPUs, RISC vs CISC, memori e arolelanoang vs ho fetisa molaetsa;
  • Tsebo ea ho ngola khoutu ea likhoele tse ngata e senyehang;
  • Mokhoa oa ho ruta baithuti mokhoa oa ho ngola khoutu e rarahaneng ea likhoele tse ngata;
  • Khatiso e ncha ea buka "The Art of Multiprocessor Programming";
  • Memori ea transaction e ile ea qaptjoa joang?   
  • Hobaneng ho le bohlokoa ho etsa lipatlisiso lefapheng la komporo e ajoang;
  • Na ntshetsopele ya dikgatotharabololo emisitse, le mokhoa oa ho phela ka;
  • Sebetsa Univesithing ea Brown;
  • Phapang lipakeng tsa lipatlisiso tsa univesithi le tsa khoebo;
  • Hydra le SPTDC.

Lipuisano li etsoa ke:

Vitaly Aksenov - hajoale ke post-doc ho IST Austria le mosebeletsi oa Lefapha la Computer Technologies Univesithing ea ITMO. O ikakhetse ka setotsoana liphuputsong lefapheng la khopolo le mekhoa ea mekhoa ea boitsebiso ba tlhōlisano. Pele a kena IST, o ile a fumana PhD ea hae Univesithing ea Paris Diderot le Univesithi ea ITMO tlas'a Moprofesa Petr Kuznetsov.

Alexey Fedorov ke mohlahisi ho JUG Ru Group, k'hamphani ea Russia e hlophisang likopano bakeng sa bahlahisi. Alexey o ile a kenya letsoho ho lokiseng likopano tse fetang 50, 'me tlhahiso ea hae e na le ntho e' ngoe le e 'ngoe ho tloha boemong ba moenjiniere oa nts'etsopele ho Oracle (JCK, Java Platform Group) ho ea boemong ba moqapi oa Odnoklassniki.

Vladimir Sitnikov ke moenjiniere oa Netcracker. Ka lilemo tse leshome o 'nile a sebetsa ka ts'ebetso le scalability ea NetCracker OS, software e sebelisoang ke basebetsi ba telecom ho iketsetsa mekhoa ea tsamaiso ea lisebelisoa tsa marang-rang le lisebelisoa tsa marang-rang. Ke khahlehela litaba tsa ts'ebetso ea Java le Oracle Database. Sengoli sa lintlafatso tse fetang leshome le metso e 'meli ho mokhanni oa semmuso oa PostgreSQL JDBC.

Tšebelisano lipakeng tsa thuto le indasteri

Alexey: Maurice, esale u sebetsa sekolong ka nako e telele haholo mme potso ea pele e mabapi le tšebelisano lipakeng tsa thuto le indasteri. Na u ka re bolella hore na litšebelisano lipakeng tsa bona li fetohile joang morao tjena? E ne e le eng lilemo tse 20-30 tse fetileng mme ho etsahala'ng hona joale? 

Moeketsi: Haesale ke leka ho sebelisana haufi-ufi le lik’hamphani tsa khoebo hobane li na le mathata a thahasellisang. E le molao, ha ba thahaselle haholo ho phatlalatsa liphetho tsa bona kapa litlhaloso tse qaqileng tsa mathata a bona ho sechaba sa lefats'e. Ba thahasella feela ho rarolla mathata ana. Ke ile ka sebeletsa tse ling tsa lik’hamphani tsena ka nakoana. Ke qetile lilemo tse hlano ke sebetsa ka nako e tletseng lab ea lipatlisiso ho Digital Equipment Corporation, eo pele e neng e le k'hamphani e kholo ea lik'homphieutha. Ke ne ke sebetsa letsatsi le le leng ka beke Sun, Microsoft, Oracle, ke sebetsa hanyenyane ho Facebook. Joale ke tla ea phomolong ea sabatha (moprofesa oa univesithi ea Amerika o lumelloa ho nka matsatsi a phomolo a joalo nako e ka etsang selemo hang ka mor'a lilemo tse ling le tse ling tse tšeletseng) le ho sebetsa Algorand, ena ke k'hamphani e joalo ea chelete ea crypto e Boston. Ho sebetsa haufi-ufi le lik'hamphani esale ho le monate, hobane ke kamoo u ithutang ka lintho tse ncha le tse thahasellisang. Ka kakaretso u ka ba motho oa pele kapa oa bobeli oa ho hatisa sehlooho ka sehlooho se khethiloeng, ho e-na le ho ntlafatsa butle-butle tharollo ea mathata ao bohle ba seng ba ntse ba sebetsana le bona.

Alexey: Na o ka re joetsa haholoanyane hore na see se etsahala joang?

Moeketsi: Ho joalo. Ua tseba, ha ke ne ke le Digital Equipment Corporation, 'na le Elliot Moss, re ile ra qapa mohopolo oa transaction. E ne e le nako e behang litholoana haholo ha bohle ba qala ho thahasella theknoloji ea tlhahisoleseling. Concurrency e kenyelelitsoe, le hoja litsamaiso tse ngata tsa mantlha li ne li e-so be teng. Matsatsing a Letsatsi le Oracle, ke ile ka etsa mosebetsi o mongata mabapi le meaho ea data e tšoanang. Ho Facebook, ke ne ke kentse letsoho morerong oa bona oa blockchain, oo ke sa khoneng ho bua ka oona empa ka tšepo o tla phatlalatsa haufinyane. Selemong se tlang, Algorand, ke tla be ke sebetsa sehlopheng sa bafuputsi se ithutang likonteraka tse bohlale.

Alexey: Lilemong tse 'maloa tse fetileng, blockchain e fetohile sehlooho se tummeng haholo. Na e tla thusa lipatlisiso tsa hau? Mohlomong e tla nolofaletsa ho fumana lithuso kapa ho fana ka phihlello ea lisebelisoa tsa lik'hamphani tse sebetsang indastering?

Moeketsi: Ke se ke fumane thuso e nyenyane ho tsoa ho Ethereum Foundation. Ho tsebahala ha blockchain ho bohlokoa haholo bakeng sa ho khothatsa baithuti ho sebetsa tšimong ena. Ba e thahasella haholo ’me ba thabela ho ameha, empa ka linako tse ling ha ba hlokomele hore lipatlisiso tse utloahalang eka li leka ka ntle li fella ka hore li sebetse ka thata. Leha ho le joalo, ke thabile haholo ho sebelisa mystique ena eohle ho pota-pota blockchain, e thusa ho hohela liithuti. 

Empa ha se phetho. Ke ka boto ea likeletso ea li-startups tse 'maloa tsa blockchain. Ba bang ba bona ba ka 'na ba atleha, ba bang ba ka' na ba se ke ba atleha, empa ho lula ho thahasellisa haholo ho bona maikutlo a bona, ho ithuta le ho eletsa batho. Ntho e thabisang ka ho fetisisa ke ha o lemosa batho hore ba se ke ba etsa ntho e itseng. Lintho tse ngata li bonahala e le mohopolo o motle qalong, empa na li hlile li joalo?

Motheo oa ho etsa lipatlisiso blockchain

Vitaly: Batho ba bang ba nahana hore blockchain le li-algorithms tsa eona ke bokamoso. Mme batho ba bang ba re ke bubble e nngwe feela. A na u ka arolelana maikutlo a hau tabeng ee?

Moeketsi: Lintho tse ngata tse etsahalang lefatšeng la blockchain ha li sebetse hantle, tse ling ke bomenemene feela, lintho tse ngata li feteletsoe. Leha ho le joalo, ke nahana hore ho na le motheo o tiileng oa saense bakeng sa lithuto tsena. Taba ea hore lefats'e la blockchain le tletse karohano ea maikutlo e bonts'a boemo ba thabo le boinehelo. Ka lehlakoreng le leng, ha e na molemo ka ho khetheha bakeng sa lipatlisiso tsa saense. Joale, haeba u phatlalatsa sengoloa se buang ka mefokolo ea algorithm e itseng, karabelo e fumanoeng ha se kamehla e leng saense ka botlalo. Hangata batho ba ntša maikutlo a bona. Ke nahana hore hype e joalo sebakeng sena e ka bonahala e khahleha ho ba bang, empa qetellong, ho na le litaba tsa sebele tsa saense le tsa boenjiniere tse e-s'o ka li rarolloa. Ho na le Computer Science e ngata mona.

Vitaliy: Kahoo u leka ho rala motheo oa lipatlisiso tsa blockchain, na?

Moeketsi: Ke leka ho rala motheo oa thuto e tiileng, ea saense le ea lipalo. 'Me karolo ea bothata ke hore ka linako tse ling u tlameha ho hanyetsa tse ling tsa maemo a thata ho feta tekano a batho ba bang, ho iphapanyetsa bona. Ka linako tse ling batho ba botsa hore na ke hobane’ng ha ke sebetsa tšimong eo likhukhuni le barekisi ba lithethefatsi ba e thahasellang feela. Boitšoaro bo joalo ha bo na thuso joalo ka boitšoaro ba balateli ba phetang mantsoe a hau ka bofofu. Ke nahana hore 'nete e kae-kae bohareng. Blockchain e sa ntse e tla ba le tšusumetso e matla sechabeng le moruong oa lefatše. Empa, mohlomong, sena se ke ke sa etsahala ka lebaka la theknoloji ea morao-rao. Theknoloji ea morao-rao e tla ntlafala mme se tla bitsoa blockchain nakong e tlang e tla ba sa bohlokoa haholo. Mohlomong e ke ke ea shebahala joalo ka li-blockchains tsa sejoale-joale, ke potso e bulehileng.

Haeba batho ba qapa theknoloji e ncha, ba tla tsoela pele ho e bitsa blockchain. Ke bolela, joalo ka ha Fortran ea kajeno ha e amane le puo ea Fortran ho tloha lilemong tsa bo-1960, empa bohle ba lula ba e bitsa Fortran. Ho joalo le ka UNIX. Seo ho thoeng ke "blockchain" se ntse se tla etsa phetoho ea sona. Empa ke belaela hore blockchain ena e ncha e tla tšoana le seo motho e mong le e mong a ratang ho se sebelisa kajeno.

Likhopolo tsa katleho li tsoa hokae? Tšusumetso ea botumo

Alexey: Na ho tsebahala ha blockchain ho lebisitse ho liphetho tse ncha ho latela pono ea mahlale? Tšebelisano e eketsehileng, liithuti tse ngata, lik'hamphani tse ngata sebakeng seo. Na ho na le liphello tsa keketseho ee ea botumo e se e ntse e le teng?

Moeketsi: Ke ile ka thahasella taba ena ha motho e mong a mpha pampitšana ea molao ea k’hamphani e neng e sa tsoa bokella chelete e ngata. O ngotse ka mosebetsi oa balaoli ba mabotho a Byzantiumeo ke e tsebang hofeta moo. E ngotsoeng ka har'a pampitšana e ne e hlile e fosahetse. Batho ba ngotseng sena ba ne ba sa utloisise hantle mohlala oa bothata ... leha ho le joalo k'hamphani ena e ile ea bokella chelete e ngata. Kamora moo, k'hamphani e ile ea khutlisa pampitšana ena ka khutso ka mofuta o nepahetseng haholoanyane - 'me nke ke ka bolela hore na lebitso la k'hamphani ena e ne e le mang. Li ntse li le teng 'me li sebetsa hantle haholo. Nyeoe ena e ile ea nkholisa hore, pele, blockchain ke mofuta oa komporo e ajoang. Taba ea bobeli, moeli oa ho kena (ka nako eo, lilemo tse 'ne tse fetileng) o ne o le tlase haholo. Batho ba sebetsang sebakeng sena ba ne ba le mahlahahlaha ba bile ba le bohlale, empa ba ne ba sa bale lipampiri tsa saense. Ba lekile ho qapa dintho tse tsejwang hape mme ba di etsa hampe. Kajeno tšoantšiso e fokotsehile.

Alexey: Hoa thahasellisa haholo, hobane lilemong tse 'maloa tse fetileng re ne re e-na le mokhoa o fapaneng. E batla e tšoana le nts'etsopele ea pele-pele, moo bahlahisi ba sebopeho sa sebatli ba ileng ba boela ba qapa mahlale a morao-rao a neng a se a tumme ka morao ka nako eo: litsamaiso tsa kaho, kopanyo e tsoelang pele, le lintho tse joalo. 

Moeketsi: Kea lumela. Empa sena ha se makatse, hobane mehopolo ea katleho ea 'nete e lula e tsoa kantle ho sechaba se thehiloeng. Bafuputsi ba thehiloeng, haholo-holo ba boholong lithutong tsa thuto, ha ho na monyetla oa hore ba ka etsa eng kapa eng e hlileng e leng motheo. Ho bonolo ho ngola tlaleho bakeng sa seboka se latelang mabapi le kamoo u ntlafalitseng liphetho tsa mosebetsi oa hau oa nakong e fetileng. E-ea kopanong, kopana le metsoalle, bua ka lintho tse tšoanang. 'Me batho ba kenang ka maikutlo a katleho hangata ba tsoa ka ntle. Ha ba tsebe melao, ha ba tsebe puo, empa leha ho le joalo ... Haeba u ka hare ho sechaba se thehiloeng, ke u eletsa hore u ele hloko lintho tse ncha, ho ntho e sa lumellaneng le e kholo. setšoantšo. Ka tsela e itseng, ho ka etsoa boiteko ba ho kopanya tsoelo-pele e tsoang ka ntle, e nang le metsi a mangata le mekhoa eo re seng re e utloisisa. E le mohato oa pele, leka ho theha motheo oa saense, ebe u o fetola e le hore o ka sebelisoa ho likhopolo tse ncha tsa katleho. Ke nahana hore blockchain e ntle bakeng sa karolo ea mohopolo o mocha oa katleho.

Alexei: U nahana hore ke hobane'ng ha see se etsahala? Hobane batho "kantle" ha ba na lithibelo tse itseng tse teng sechabeng?

Moeketsi: Ho na le mohlala mona. Haeba u bala histori ea Impressionists ka ho penta le bonono ka kakaretso, joale ka nako e 'ngoe baetsi ba litšoantšo ba tummeng ba ile ba hana maikutlo. Ba ile ba re ke mofuta o itseng oa bongoana. Moloko hamorao, mokhoa ona oa bonono oo pele o neng o hanoa o ile oa fetoha tekanyetso. Seo ke se bonang tšimong ea ka: baqapi ba blockchain ba ne ba sa thahaselle matla, ha ba qeta lingoliloeng le index ea litemana, ba ne ba batla ho etsa ntho e ntle feela. Mme ka hona ba dula fatshe mme ba qala ho e etsa. Ba ne ba haelloa ke tekanyo e itseng ea botebo ba tekheniki, empa hoo ho ka lokisoa. Ho thata haholo ho hlahisa mehopolo e mecha ea boqapi ho feta ho lokisa le ho holisa ba sa holang ka ho lekana. Ka lebaka la baqapi bana, joale ke na le seo ke lokelang ho se etsa!

Alexey: Sena se tšoana le phapang pakeng tsa merero ea ho qala le ea lefa. Re rua mefokolo e mengata ea menahano, litšitiso, litlhoko tse khethehileng, joalo-joalo.

Moeketsi: Papiso e ntle ke ea k'homphieutha e ajoang. Nahana ka blockchain joalokaha eka ke qalo le ho ajoa komporo e le k'hamphani e kholo e thehiloeng. Computing e ajoang e mothating oa ho rekoa le ho kopanngoa le blockchain.

PhD tlas'a Barbara Liskov

Vitaliy: Re ntse re e-na le lipotso tse ngata! Re ntse re etsa lipatlisiso ka bio ea hau mme ra fumana 'nete e khahlisang ka PhD ea hau. E, e ne e le khale, empa sehlooho se bonahala se le bohlokoa. U fumane PhD ea hau tlas'a tlhokomelo ea Barbara Liskov! Barbara o tumme haholo sechabeng sa ntlafatso ea puo ea mananeo, hape ke motho ea tummeng haholo ka kakaretso. Hoa utloahala hore lipatlisiso tsa hau li ne li le lefapheng la lipuo tsa mananeo. U fetotse joang ho parallel computing? Ke hobane'ng ha u ile ua etsa qeto ea ho fetola taba?

Moeketsi: Ka nako eo, Barbara le sehlopha sa hae ba ne ba sheba feela k’homphieutha e abuoang, e leng khopolo e ncha haholo. Hape ho ne ho e-na le ba neng ba re computing e ajoang ke lefeela, puisano pakeng tsa lik’homphieutha ha e na moelelo. E 'ngoe ea lintlha tse shebiloeng ho distributed computing, tse li khethollang ho centralized computing, ke fault tolerance. Ka mor'a lipatlisiso tse ngata, re ile ra etsa qeto ea hore ka puo ea lenaneo bakeng sa k'homphieutha e abuoang, ho hlokahala hore u be le ntho e kang litšebelisano tsa athomo, hobane ha ho mohla u ka kholisehang hore mohala o hōle o tla atleha. Hang ha u se u e-na le litšebelisano, ho na le bothata ba ho laola concurrency. Joale ho ne ho e-na le mosebetsi o mongata oa ho fumana libopeho tsa data tsa transaction tse bapileng haholo. Joale ha ke qeta sekolong ke ile ka ea Carnegie Mellon mme a qala ho batla sehlooho sa mosebetsi. Ke ile ka elelloa hore komporo e tlohile ho tloha komporong e le 'ngoe ho ea ho marang-rang a likhomphutha. Tsoelo-pele ea tlhaho ea tsoelo-pele e ne e tla ba li-multiprocessors - lentsoe "multi-core" le ne le le sieo ka nako eo. Ke ile ka nahana: ke eng e lekanang le litšebelisano tsa athomo bakeng sa tsamaiso ea li-multi-core? Ehlile ha se litšebelisano tse tloaelehileng, hobane li kholo haholo ebile li boima. Mme ke kamoo ke ileng ka fumana mohopolo linearizability 'me ke kamoo ke tlileng le sync ea mahala ea ho leta. E ne e le teko ea ho araba potso ea hore na analogue ea litšebelisano tsa athomo bakeng sa sistimi e mengata e nang le mohopolo o arolelanoang ke eng. Ha u sheba ka lekhetlo la pele, mosebetsi ona o ka shebahala o fapane haholo, empa ha e le hantle ke tsoelo-pele ea sehlooho se tšoanang.

Lefatše le emetse li-multi-core

Vitaly: U boletse hore ho ne ho e-na le lik'homphieutha tse fokolang haholo ka nako eo, na ha ho joalo?

Moeketsi: Li mpa li le sieo. Ho ne ho e-na le tse 'maloa tse bitsoang li-symmetrical multiprocessors, tse neng li hokahane le bese e le' ngoe. Ha ea ka ea sebetsa hantle, hobane nako le nako ha k'hamphani e ncha e theha ntho e kang ena, Intel e lokolla processor e le 'ngoe e neng e sebetsa ho feta multiprocessor.

Alexei: Na see ha se bolele hore mehleng eo ea boholo-holo, e ne e le thuto ea khopolo-taba?

Moeketsi: E ne e se khopolo-taba, empa e ne e le thuto e inahaneloang. Sena sohle se ne se sa bue ka ho sebetsa le li-theorems tse ngata, ho e-na le hoo, re ne re fana ka maikutlo a mabapi le meralo e neng e le sieo ka nako eo. Ke seo lipatlisiso li leng sona! Ha ho na k'hamphani e ka beng e entse sena, e ne e le ntho e tsoang hole le bokamoso. Ebile, sena se etsahetse ho fihlela 2004, ha li-processor tsa 'nete tse ngata li hlaha. Ka lebaka la hore li-processor li chesa haholo, u ka etsa hore processor e be nyane le ho feta, empa u ke ke ua e etsa kapele. Ka lebaka lena, ho bile le phetoho ho meaho e mengata ea mantlha. 'Me joale ho ne ho bolela hore ka tšohanyetso ho ne ho e-na le tšebeliso ea likhopolo tsohle tseo re neng re li hlahisitse nakong e fetileng.

Alexey: Ke hobane'ng ha u nahana hore li-processor tsa li-multi-core li hlahile feela lilemong tsa bo-XNUMX? Joale ke hobane'ng ha e le morao haholo?

Moeketsi: E bakoa ke mefokolo ea thepa ea thepa. Intel, AMD, le lik'hamphani tse ling li sebetsa hantle haholo ho potlakisa lebelo la processor. Ha ka nako e 'ngoe li-processor li ne li fokola hoo li neng li ke ke tsa hlola li eketsa lebelo la oache hobane li-processor li ne li tla qala ho chesa. U ka li etsa tse nyane, empa eseng kapele. Seo se leng matleng a bona - ho e-na le processor e nyane haholo, e ts'oanetse li-processor tse robeli, tse leshome le metso e tšeletseng kapa tse mashome a mararo a metso e 'meli ka molumo o le mong oa nyeoe, moo e neng e sebelisoa e le 'ngoe feela. Joale o na le puisano e ngata le e potlakileng lipakeng tsa bona hobane ba arolelana li-cache. Empa u ke ke ua li etsa hore li matha ka potlako - ho na le moeli o itseng oa lebelo. Ba tsoela pele ho ntlafatsa hanyane ka hanyane, empa eseng haholo. Melao ea fisiks e ile ea kena tseleng.

Lefatše le lecha, mathata a macha. NUMA, NVM le boqhetseke ba meralo

Alexei: Ho utloahala ho utloahala. Ka li-processor tse ncha tsa li-multi-core ho ile ha hlaha mathata a macha. Na uena le basebetsi-'moho le uena le ne le lebeletse mathata aa? Mohlomong u ithutile tsona esale pele? Lithutong tsa thiori hangata ha ho bonolo ho bolela lintho tse joalo esale pele. Ha mathata a hlaha, a ile a fihlela litebello tsa hao le tsa basebetsi-'moho ho isa bohōleng bofe? Kapa na li ne li le ncha 'me uena le basebetsi-'moho le uena le ile la tlameha ho qeta nako e ngata le rarolla mathata ha a ne a hlaha?

Vitaly: Ke tla eketsa potso ea Alexey: na u ile ua bolela esale pele ka mokhoa o nepahetseng oa mohaho oa li-processor ha u ntse u ithuta khopolo?

Maurice: Hase bohle 100%. Empa ke nahana hore 'na le basebetsi-'moho le 'na re entse mosebetsi o motle oa ho bolela esale pele li-multi-core memory. Ke nahana hore re boletse esale pele ka nepo mathata a ho rala meaho ea data e tšoanang e sebetsang ntle le linotlolo. Mehaho e joalo ea data e bile ea bohlokoa bakeng sa lits'ebetso tse ngata, leha e se bakeng sa bohle, empa hangata o hlile o hloka sebopeho sa data se notletsoeng. Ha re li qapa, ba bangata ba ne ba pheha khang ea hore sena ke lefeela, hore ntho e 'ngoe le e' ngoe e sebetsa hantle ka liloko. Re bone esale pele hore ho tla ba le litharollo tse seng li lokisitsoe mathateng a mangata a mananeo le mathata a sebopeho sa data. Ho ne ho boetse ho e-na le mathata a rarahaneng, a kang IN – Phihlello e sa lekanang ya memori. Ebile, ha lia ka tsa nahanoa ho fihlela ho qaptjoa li-processor tsa li-multi-core processor hobane li ne li tobile haholo. Sechaba sa bafuputsi se sebelitse ka lipotso tseo ka kakaretso li neng li ka lebelloa esale pele. Mathata a mang a hardware a amanang le meralo e khethehileng a ne a tlameha ho ema ka mapheo - ha e le hantle, ponahalo ea meralo ena. Mohlala, ha ho motho ea neng a hlile a sebetsa meahong ea data e ikhethileng ea GPU hobane GPU e ne e le sieo mehleng eo. Le hoja mosebetsi o mongata o entsoe SIMD, li-algorithms tsena li ne li loketse ho sebelisoa hang ha hardware e nepahetseng e hlaha. Leha ho le joalo, ha ho khonehe ho bolela ntho e ’ngoe le e ’ngoe esale pele.

Alexey: Haeba ke utloisisa hantle, NUMA ke mofuta oa ho sekisetsa pakeng tsa litšenyehelo, ts'ebetso le lintho tse ling. Na u na le maikutlo a hore na ke hobane'ng ha NUMA e tlile morao tjena?

Moeketsi: Ke nahana hore NUMA e teng ka lebaka la bothata ba hardware e sebelisetsoang ho hopola: ha likarolo li le hōle, li fihlella butle. Ka lehlakoreng le leng, boleng ba bobeli ba tlhaloso ena ke ho tšoana ha mohopolo. Ka hona, e 'ngoe ea litšoaneleho tsa computing e ts'oanang ke hore likheo tsohle li robehile hanyane. Haeba phihlello e ne e tšoana hantle, mohopolo oohle o ne o tla lekana, empa sena ke moruo, mme mohlomong le 'meleng ha se khonehe. Kahoo khohlano ena ea hlaha. Haeba u ngola lenaneo la hau joalokaha eka mohopolo o tšoana, joale ho ka etsahala hore ebe o tla nepahala. Ka kutloisiso ea hore e ke ke ea fana ka likarabo tse fosahetseng. Empa ts'ebetso ea linaleli tsa hae tse tsoang leholimong e ke ke ea hapa. Ka ho tšoanang, haeba u ngola li-spinlocks ntle le ho utloisisa bolaoli ba li-cache, senotlolo ka boeona se tla nepahala, empa u ka lebala ka ts'ebetso. Ka tsela e itseng, u tlameha ho ngola mananeo a phelang ka holim'a ntho e bonolo haholo, empa u tlameha ho feta batho ba u fileng boitsebiso boo: u tlameha ho tseba hore tlas'a ho tlosoa ho na le sehlopha se itseng sa memori, hore ho na le. bese pakeng tsa hao le mohopolo ona, joalo-joalo. Ka hona, ho na le khohlano pakeng tsa li-abstracts tse nang le thuso ka botsona, tse re lebisang mathateng a tobileng le a pragmatic.

Vitaliy: Ho thoe’ng ka bokamoso? A na u ka bolela esale pele hore na li-processor li tla tsoela pele joang? Ho na le maikutlo a hore e 'ngoe ea likarabo ke mohopolo oa transaction. Mohlomong u na le ntho e 'ngoe setokong.

Moeketsi: Ho na le liphephetso tse ’maloa tse khōlō tse larileng ka pele. E 'ngoe ke hore mohopolo o momahaneng ke ntho e makatsang, empa e qala ho senyeha maemong a khethehileng. Kahoo, mohlala, NUMA ke mohlala o phelang oa ntho eo u ka lulang u etsa eka mohopolo o tšoanang o teng. Ha e le hantle - che, ts'ebetso e tla etsa hore u lle. Ka nako e 'ngoe, litsebi tsa meralo li tla tlameha ho lahla mohopolo oa meralo e kopaneng ea meralo, u ke ke ua iketsa eka ke ka ho sa feleng. Ho tla hlokahala mefuta e mecha ea mananeo e bonolo ka ho lekaneng ho e sebelisa le e matla ka ho lekaneng ho etsa hore hardware ea motheo e sebetse hantle. Ena ke ho sekisetsa ho thata haholo, hobane haeba u bonts'a baetsi ba mananeo moaho o hlileng o sebelisoang ho hardware, ba tla hlanya. E rarahane haholo ebile ha e nkehe habonolo. Haeba o hlahisa sebopeho se bonolo haholo, ts'ebetso e tla fokola. Ka hona, ho tla hlokahala hore ho etsoe litšepiso tse ngata tse thata haholo e le ho fana ka mefuta e sebetsang ea mananeo e sebetsang ho li-processor tse kholo tsa mantlha tse ngata. Ha ke na bonnete ba hore ho na le mang kapa mang ntle le setsebi se moqotetsane ea khonang ho etsa mananeo ka har'a komporo ea mantlha ea 2000. 'Me ntle le haeba o etsa k'homphieutha e khethehileng haholo kapa ea saense, cryptography kapa eng kapa eng, e ntse e sa hlaka ho hang hore na u ka e etsa joang ka nepo. 

Tataiso e 'ngoe e tšoanang ke ea meralo e khethehileng. Li-accelerator tsa litšoantšo li 'nile tsa e-ba teng ka nako e telele, empa li se li fetohile mohlala oa khale oa hore na u ka nka mofuta o khethehileng oa computation' me oa o tsamaisa ka chip e inehetseng. Sena se eketsa mathata a sona: u buisana joang le sesebelisoa se joalo, u se hlophisa joang. Haufinyane tjena ke ile ka etsa mesebetsi tšimong haufi le komporo ya memori. U nka processor e nyane 'me u e khomaretse mohopolong o moholo e le hore memori e tsamaee ka lebelo la cache ea L1, ebe e buisana le sesebelisoa se kang. TPU - processor e phathahane ho kenya mesebetsi e mecha mohopolong oa hau oa memori. Nts'etsopele ea meralo ea data le liprothokholo tsa puisano bakeng sa mofuta ona oa ntho ke mohlala o mong o khahlisang. Kahoo, li-processor tse khethehileng le li-hardware li tla ntlafatsoa ka nako e telele.

Alexey: Ho thoe'ng ka mohopolo o sa fetoheng (?mohopolo o sa fetoheng)?

Moeketsi: Oo ke mohlala o mong o motle! NVM e tla fetola haholo tsela eo re talimang lintho tse kang meralo ea data. Mehopolo e sa fetoheng, ka tsela e itseng, e tšepisa ho potlakisa lintho. Empa e ke ke ea nolofatsa bophelo, hobane li-processor tse ngata, li-cache le lirejista li ntse li fetoha. Ha o qala ka mor'a ho oa, boemo ba hau le boemo ba mohopolo oa hau li ke ke tsa tšoana hantle le pele ho kotsi. Ke leboha haholo ho batho ba amehang NVM - ka nako e telele, bafuputsi ba tla ba le seo ba lokelang ho se etsa, ba leka ho fumana maemo a nepahetseng. Lipalo-palo li nepahetse haeba li ka pholoha kotsi eo ho eona likahare tsa li-cache le li-registering li lahlehileng, empa mohopolo oa mantlha o ntse o le teng.

Li-Compilers vs CPUs, RISC vs CISC, memori e arolelanoang vs ho feta ha molaetsa

Vladimir: U nahana'ng ka bothata ba li-compilers khahlano le li-processor ho latela sete ea litaelo? Ho hlalosetsa ba seng tabeng ena: haeba re ea mohopolong o sa tšoaneng kapa ntho e joalo, re ka sebelisa litaelo tse bonolo haholo 'me ra kopa moqapi hore a hlahise khoutu e rarahaneng e ka sebelisang melemo ea melemo. Kapa re ka ea ka tsela e 'ngoe: sebelisa litaelo tse rarahaneng' me u kope processor ho hlophisa litaelo hape le ho etsa maqheka a mang ka tsona. U nahana'ng ka eona?

Moeketsi: Ruri ha ke na karabo ea potso eo. Khang ena e 'nile ea tsoela pele ka lilemo tse mashome a mane. Ho ne ho e-na le nako pakeng tsa kgutsufatsoa taelo set le boima lintoa tsa lehae li ne li loanoa ke sehlopha sa lihlopha. Ka nakoana, batho ba RISC ba ile ba hlōla, empa joale Intel e ile ea tsosolosa lienjineri tsa bona e le hore ho sebelisoe sete e fokolitsoeng ea litaelo ka hare, 'me e feletseng e rometsoe ka ntle. Mohlomong ena ke taba eo ho eona moloko o mong le o mong o mocha o tlamehang ho iphumanela ho sekisetsa le ho iketsetsa liqeto. Ho thata haholo ho bolela esale pele hore na ke efe ho tsena e tla fetoha hantle. Kahoo polelo efe kapa efe eo ke e bolelang e tla ba 'nete ka nako e itseng, ebe e fetoha leshano hape ka nakoana, ebe e ba 'nete hape.

Alexey: Ho tloaelehile hakae ho indasteri ka kakaretso hore likhopolo tse ling li hlōle ka lilemo tse mashome a 'maloa ebe li lahleheloa ke tse latelang? Na ho na le mehlala e meng ea liphetoho tse joalo tsa nako le nako?

Moeketsi: Tabeng ea k'homphieutha e ajoang, ho na le batho ba lumelang mohopolo o arolelanoeng le batho ba dumelang ho phapanyetsano ea melaetsa. Qalong ho computing e ajoang, parallel computing e bolela ho fetisa molaetsa. Joale motho e mong o ile a fumana hore memori e arolelanoang e nolofalitse lenaneo haholo. Lehlakore le leng le boletse hore mohopolo o arolelanoang o rarahane haholo, hobane ba hloka linotlolo le tse ling, ka hona ho bohlokoa ho fallela lipuong moo ho seng letho haese molaetsa o fetang feela. Motho e mong o ile a sheba se tsoang ho eona mme a re: "Wow, ts'ebetsong ena ea melaetsa e shebahala e ts'oana haholo le mohopolo o arolelanoang, hobane u theha li-module tse ngata tse nyane, li romellana melaetsa, 'me kaofela ha tsona. deadlock, - ha re etseng polokelo ea memori e arolelanoang hantle!". Sena sohle se phetoa khafetsa, 'me ho ke ke ha khoneha ho bolela hore e' ngoe ea lihlopha e nepahetse ka mokhoa o sa tsitsang. Lehlakore le le leng le tla lula le busa, hobane hang ha e 'ngoe ea tsona e batla e hapa, hangata batho ba qapa mekhoa ea ho ntlafatsa e' ngoe.

Tsebo ea ho ngola khoutu e brittle e likhoele tse ngata

Alexei: Sena se khahla haholo. Ka mohlala, ha re ngola khoutu, ho sa tsotellehe hore na ke puo efe ea lenaneo, hangata re tlameha ho etsa lintho tse ling tse kang lisele tse ka baloang le ho ngoloa. Empa ha e le hantle, boemong bo bong ba 'mele, ho ka bonahala eka ho romela molaetsa ka bese ea hardware pakeng tsa lik'homphieutha tse fapaneng le lisebelisoa tse ling. Hoa fumaneha hore ho na le mosebetsi maemong ao ka bobeli a ho nka nako e le 'ngoe.

Maurice: Ke 'nete hore mohopolo o arolelanoang o hahiloe holim'a ho fetisa molaetsa - libese, li-cache, joalo-joalo. Empa ho thata ho ngola mananeo a sebelisa ho fetisa molaetsa, kahoo hardware e bua leshano ka boomo, e etsa eka u na le mofuta o itseng oa mohopolo o tšoanang. Sena se tla u nolofalletsa ho ngola mananeo a bonolo, a nepahetseng pele ts'ebetso e qala ho theoha. Ebe u re: ho bonahala eka ke nako ea ho etsa setsoalle le cache. 'Me ke ha u qala ho tšoenyeha ka sebaka sa cache, ebe rea tloha. Ka mantsoe a mang, u senya taba ena: ua tseba hore ha se mohopolo o bataletseng, o ts'oanang, 'me u tla sebelisa tsebo eo ho ngola li-program tsa cache. Sena ke seo u lokelang ho se etsa mesebetsing ea sebele. Khohlano ena pakeng tsa ntho e ntle e bonolo eo u e filoeng le ts'ebetsong e rarahaneng haholo ea lisebelisoa tsa motheo ke moo motho e mong le e mong a iketsetsang boitlamo. Ke na le buka e buang ka li-multiprocessors le synchronization, 'me ka letsatsi le leng ke ne ke il'o ngola khaolo ka mekhoa ea data ho java.util.concurrent. Haeba u li sheba, lintho tse kang tlola manane Tsena ke mesebetsi e makatsang ea bonono. (Tlhokomeliso ea mohlophisi: ba tsebang puo ea Java bonyane ba lokela ho sheba ts'ebetsong ConcurrentSkipListMap, U ka sheba lihokelo bakeng sa API и mohloli oa khoutu). Empa ho ea ka pono ea ka, e ke ke ea e-ba ho hloka boikarabelo ho li bontša liithuti, hobane sebopeho se joalo sa data ke mofuta oa mohlankana oa liserekising, ea mathang ka thapo e thata holim'a sekoti sa bere. Haeba u fetola le ntlha e le 'ngoe e nyane, sebopeho sohle se tla putlama. Khoutu ena e potlakile haholo ebile e khabane hobane feela e ngotsoe ka mokhoa o phethahetseng, empa phetoho e nyane e tla lebisa ho hloleheng ho felletseng. Haeba ke fana ka khoutu ena e le mohlala ho liithuti, hang-hang li tla re: Le 'na nka etsa sena! Joale sefofane se seng se tla soahlamana kapa seqhomane sa nuclear se phatloha, ’me e tla ba molato oa ka hore ebe ha kea ba fa boitsebiso bo bongata haholo ka nako e nepahetseng.

Alexey: Ha ke sa le monyane, ka makhetlo a mangata ke ne ke leka ho ithuta khoutu ea mohloli oa Doug Lee, mohlala, java.util.concurrent, hobane ke mohloli o bulehileng, ho bonolo haholo ho o fumana le ho leka ho utloisisa se etsahalang moo. Ha ea ka ea e-ba hantle: hangata, ha ho hlake hore na ke hobane'ng ha Doug a entse qeto ea ho etsa ntho ka tsela ena, ha bohle ba e etsa ka tsela e fapaneng. U hlalosetsa liithuti tsa hau lintho tsee joang? Na ho na le tsela e nepahetseng ea ho hlalosa lintlha tse tobileng tsa algorithm e thata, mohlala? U e etsa joang?

Maurice: Matichere a ho taka a na le moelelo oo a o hopolang pele: haeba u batla ho taka joaloka Picasso, u tlameha ho qala ka ho ithuta ho taka litšoantšo tse bonolo tsa sebele, 'me feela ha u tseba melao u ka qala ho e tlōla. Haeba hang-hang u qala ka ho tlōla melao, u fumana bohlasoa. Ntlha ea pele, ke ruta liithuti mokhoa oa ho ngola khoutu e bonolo, e nepahetseng ntle le ho tšoenyeha ka tshebetso. Ke re ho na le litaba tse thata tsa nako tse laletseng mona, kahoo u se ke oa tšoenyeha ka li-cache, u se ke oa tšoenyeha ka mehlala ea memori, etsa bonnete ba hore tsohle li sebetsa hantle. Ho se ho ntse ho le thata: Mananeo a sejoale-joale ha a bonolo a le mong, haholo ho baithuti ba bacha. 'Me ha ba e-na le intuition mabapi le mokhoa oa ho ngola mananeo a nepahetseng, ke re: sheba lits'ebetsong tsena tse peli tsa spinlock: e' ngoe e lieha haholo, 'me ea bobeli le eona ha e ntle haholo, empa e se e ntse e le molemo. Leha ho le joalo, ka lipalo, li-algorithms tsena tse peli lia tšoana. Ebile, e 'ngoe ea tsona e sebelisa sebaka sa cache. E 'ngoe ea tsona e sebelisa data e bolokiloeng sebakeng sa heno,' me e 'ngoe e etsa opereishene khafetsa ka bese. U ke ke ua ngola khoutu e sebetsang hantle haeba u sa e utloisise, haeba u sa tsebe ho senya le ho sheba sebopeho sa motheo. Empa u ke ke ua khona ho qala ho e etsa hang-hang. Ho na le batho ba qalang ho etsa sena hang-hang mme ba lumela ho bohlale ba bona, hangata e qetella hampe hobane ha ba utloisise melao-motheo. Ha ho motho ea hulang joaloka Picasso kapa ea ngolang mananeo a kang Doug Lee, ea sa tsoa tsoa univesithing, bekeng ea hae ea pele. Ho nka lilemo ho fihla boemong bona ba tsebo.

Alexey: Hoa etsahala hore u arole bothata ka likarolo tse peli: ea pele ke ho nepahala, ea bobeli ke ts'ebetso?

Moeketsi: Ho joalo. Mme, ka tatellano eo. Karolo ea bothata ke hore liithuti tse ncha ha li hlokomele hore ho nepahala ho thata ho finyella. Ba re qalong: ho hlakile hore sena se nepahetse, se sala feela ho se potlakisa. Kahoo ka linako tse ling ke ba bolella ka algorithm e sa nepahalang ka tlhaho joalokaha eka e nepahetse.

Mokhoa oa ho ruta baithuti mokhoa oa ho ngola khoutu e rarahaneng ea likhoele tse ngata

Alexei: Ho bona feela hore na ba khona ho utloisisa leqheka?

Moeketsi: Ke lula ke le hlokomelisa esale pele hore ka linako tse ling ke tla qapa mekhoa e fosahetseng. Ha ua lokela ho thetsa batho. Ke fana ka maikutlo a hore ba be le lipelaelo ka litaba. Haeba ke bua ntho e itseng 'me ke re: "bona, ho hlakile hore sena se nepahetse" - sena ke pontšo ea hore kae-kae ba leka ho u thetsa,' me u lokela ho qala ho botsa lipotso. Ka mor'a moo, ke leka ho khothalletsa liithuti hore li lule li botsa lipotso, ebe li potlakela: "ho etsahala'ng haeba re tlohela ntho e 'ngoe le e' ngoe kamoo e leng kateng?". 'Me hang-hang ba bona phoso. Empa ho kholisa liithuti hore li hloka ho tšoenyeha ka ho nepahala ho thata ho feta kamoo ho bonahalang kateng qalong. Bongata ba baithuti bana ba tla le boiphihlelo ba mananeo sekolong se phahameng, ba bang ba se ba fumane mesebetsi le mananeo a teng, 'me kaofela ba tletse ho itšepa. Sena ke ntho ea sesole: pele u tlameha ho fetola maikutlo a bona e le ho ba kholisa hore ba atamele ka mamello tharollo ea mathata a hlahang. Kapa mohlomong ho tšoana le baitlami ba Mabuddha: pele ba ithuta ho beha mabaka ka ho nepahala, 'me hang ha ba utloisisa litsela tsa ho beha mabaka ka ho nepahala, ba lumelloa ho ea boemong bo latelang' me ba qale ho tšoenyeha ka ts'ebetso.

Alexey: Ke hore, ka linako tse ling u bontša liithuti mehlala e sa sebetseng, ka lebaka leo u fumanang maikutlo a bontšang hore na ba utloisisa moelelo oa bothata, hore na ba ka fumana khoutu e fosahetseng le sephetho se fosahetseng. Joale, hangata baithuti ba khahlisa kapa ba khopisa joang?

Moeketsi: Hoo e ka bang kamehla liithuti li qetella li fumana phoso. Haeba ba batla butle haholo, ke botsa lipotso tse etellang pele, 'me mona ke habohlokoa ho utloisisa hore haeba le ka mohla ba sa thetsoe, ba tla qala ho lemoha mantsoe a hau ka mokhoa o sa nahaneleng e le' nete ea ho qetela. Ebe ba teneha ebe ba khaleha ba ntse ba bala Facebook ho laptop ea bona nakong ea tlelase. Empa ha u ba tsebisa esale pele hore ba tla qhekelloa le hore ba tla shebahala ba le maoatla haeba ba sa utloisise leqheka, ba falimeha haholoanyane. Sena se molemo ka litsela tse ngata. Ke rata hore baithuti ba se ke ba botsa feela kutloisiso ea bona ea taba, empa hape ba belaelle bolaoli ba mosuoe. Sepheo ke hore seithuti se ka phahamisa letsoho ka nako leha e le efe 'me sa re: Ke nahana hore seo u sa tsoa se bua se fosahetse. Ke sesebelisoa sa bohlokoa sa ho ithuta. Ha ke batle hore leha e le ofe oa liithuti a lule 'me a inahane ka khutso: sena sohle se bonahala se se na thuso, empa ho tšosa haholo ho phahamisa letsoho,' me ka sebele, ke moprofesa, kahoo ntho e 'ngoe le e' ngoe eo ae buang ke 'nete. Ka hona, haeba ba lemosoa esale pele hore hase ntho e ’ngoe le e ’ngoe e boletsoeng e hlileng e leng ’nete, ba ba le tšusumetso ea ho ela boitsebiso boo hloko haholoanyane. Ke bolela ka ho hlaka hore ho phahamisa letsoho le ho botsa lipotso ho lokile. Potso ea hau e ka utloahala e le bohlanya kapa e sa utloahaleng, empa hangata ke tsela eo lipotso tse ntle li hlahang ka eona.

Alexei: E khahla haholo. Hangata batho ba na le mofuta o itseng oa tšitiso ea kelello e ba thibelang ho botsa moprofesa potso. Haholo-holo haeba ho na le batho ba bangata ka kamoreng, 'me bohle ba tšaba hore ho buisana ka potso ea hau e hlokang kelello ho tla nka nako ea batho bana kaofela. Na ho na le maqheka a ho sebetsana le see?

Moeketsi: Hangata ke ema ebe ke botsa lipotso tsa khale. Na polelo efe kapa efe e tla nepahala, kapa ba ka rarolla bothata boo ho buisanoang ka bona joang. Ena ke mohato oa bohlokoa, haholo-holo qalong ea seboka, ha batho ba hlajoa ke lihlong ho bua le ntho e nyenyane haholo. O botsa baithuti potso mme o sa bue sepe gape. Ho na le khutso, motho e mong le e mong o tsitsitse hanyenyane, tsitsipano e ntse e hōla, joale ka tšohanyetso motho e mong oa senyeha, o senya 'me o bua karabo. Kahoo u senola boemo: ho ba thata le ho se phutholohe ho khutsa ho feta ho araba! Ena ke leqheka le tloaelehileng la thuto. Mosuoe e mong le e mong lefatšeng o lokela ho tseba ho etsa sena.

Alexey: Hona joale re na le sehlooho se setle sa puisano ena: "ho bonolo ho araba ho feta ho khutsa."

Vitaly: E-re ke u botse ntho e ’ngoe hape. U ntse u sebetsa ka bopaki ba topological. U kene joang tabeng ee, hobane computing e ajoang le topology ke lintho tse fapaneng ka ho feletseng!

Moeketsi: Ho na le kamano e patehileng moo. Ha ke ne ke le seithuti ’me ke ithuta lipalo, ke ile ka ithuta lipalo tse hloekileng. Ke ne ke se na thahasello ea sebele lik'homphieutha ho fihlela qetellong ea lithuto tsa ka 'me ke ile ka iphumana ke le tlhokahalong e potlakileng ea ho batla mosebetsi. Ha ke ntse ke le seithuti, ke ile ka ithuta algebraic topology. Lilemo tse ngata hamorao, ha a ntse a sebetsa ka bothata bo bitsoa "K-Set Agreement Problem", ke ile ka sebelisa ligrafu ho etsa mohlala oa bothata ’me, joalokaha ho ne ho bonahala ka nako eo, ka fumana tharollo. U ne u tlameha ho lula fatše 'me u pota-potile kerafo. Leka ho fumana karabo e loketseng kerafong ena. Empa algorithm ea ka ha ea ka ea sebetsa: ho ile ha fumaneha hore o ne a tla lula a matha ka har'a selikalikoe. Ka bomalimabe, ha ho le e 'ngoe ea tsena e ka hlalosoang ka puo ea molao ea khopolo ea graph, puo eo bo-rasaense bohle ba k'homphieutha ba e tsebang. Mme yaba ke hopola hore dilemong tse ngata tse fetileng, esita le dihlopheng tsa thuto ya thuto ya motheo, re ne re sebedisa mohopolo oo "motse o bonolo", e leng kakaretso ea li-graph ho ea ho litekanyo tse phahameng. Eaba kea ipotsa: ho etsahala'ng haeba re ka fetola bothata ka mekhoa e bonolo? Sena se ile sa fetoha senotlolo. Ka ho sebelisa mokhoa o matla haholoanyane, bothata bo fetoha ka tšohanyetso. Batho ba ile ba loana le eona ka nako e telele, ba sebelisa li-graph, empa ho ne ho se letho leo ba ka le etsang. 'Me le hona joale ha ba khone - karabo e nepahetseng e ne e se algorithm, empa bopaki ba ho se khonehe ho rarolla bothata. Ke hore, algorithm e joalo ha e eo. Empa bopaki bo bong le bo bong ba ho se khonehe e thehiloe linthong tse bonolo, kapa linthong tseo batho ba iketsang eka ha ba nahane ka mekhoa e bonolo. Ho tloha tabeng ea hore u bitsitse ntho ka lebitso le lecha, ha e lahleheloe ke moelelo oa eona.

Vitaliy: Ho bonahala eka u bile lehlohonolo?

Moeketsi: Ho phaella mahlohonolong, ho boetse ho joalo boikemisetso. Ho bolelang, ha ua lokela ho lebala lintho tse "se nang thuso" tseo u ithutileng tsona pele. Ha u ntse u ithuta lintho tse se nang thuso, u tla khona ho fumana lintlha tse ngata ha u tobane le bothata bo bocha. Mofuta ona oa ho bapisa mokhoa o hlakileng o bohlokoa hobane ... Ha re re feela, ke ketane: qalong, ke fumane hore li-graph ha li sebetse hantle kapa ha lia ka tsa sebetsa ho hang, e ile ea nkhopotsa ntho e 'ngoe ea lilemo tse robeli tse fetileng. le lilemo tsa liithuti ha re ne re ithuta mehaho ena eohle e bonolo . Ka lehlakoreng le leng, sena se ile sa ntumella ho fumana buka ea ka ea khale ea topology ebe ke e khutlisetsa hloohong ea ka. Empa haeba e ne e se ka tsebo eo ea khale, nka be ke sa ka ka nka bohato bofe kapa bofe ho rarolla bothata ba pele.

Khatiso e ncha ea The Art of Multiprocessor Programming

Alexei: U buile mantsoe a seng makae ka buka ea hau. Mohlomong ha se sephiri se seholohali seo u se ngotseng buka e tsebahalang haholo lefatšeng ka ho bala ka bongata, "Art of Multiprocessor Programming". O se a le lilemo li ka bang 11 mme ho tloha ka nako eo o ile a tsoa feela  khatiso e ntlafalitsoeng. Na ho tla ba le khatiso ea bobeli?

Moeketsi: Ke hantle hore ebe u ile ua botsa! E tla ba haufinyane haholo, ka mor'a likhoeli tse tharo kapa ho feta. Ho na le bangoli ba bang ba babeli, re kentse lisebelisoa tse ling tse ngata, re ntlafalitse karolo ea fereko / kopanya ho tšoana, re ngotse karolo ho MapReduce, re eketsa lintho tse ngata tse ncha 'me ra lahla tse sa hlokahaleng - ntho e neng e thahasellisa haholo nakong ea ho ngola. khatiso ea pele, empa ha e sa le teng kajeno. E ile ea e-ba buka e ntlafalitsoeng ka botebo haholo.

Alexei: Ntho e 'ngoe le e' ngoe e se e entsoe, e sala feela ho lokolloa?

Moeketsi: Ho sa ntsane ho hlokahala hore ho sebetsoe likhaolo tse ’maloa. Mohoeletsi oa rona (ke nahana hore o se a ntse a re hloile) o ntse a leka ho fetisa hore re lokela ho sebetsa ka potlako. Re saletse morao haholo kemisong. Ho ea ka khopolo, re ka be re entse buka ena lilemo tse 'maloa pejana.

Alexey: Na ho na le monyetla oa ho fumana mofuta o mocha oa buka pele ho Keresemese?

Moeketsi: Seo ke sepheo sa rōna! Empa ke boletse esale pele tlholo ka makhetlo a mangata hoo ho seng motho ea nkholoang. Mohlomong ha ua lokela ho ntšepa haholo tabeng ena.

Alexei: Leha ho le joalo, tsena ke litaba tse monate. Ke ratile haholo khatiso ea pele ea buka. O ka re ke morati.

Moeketsi: Ke tšepa hore khatiso ena e ncha e tla tšoaneloa ke cheseho ea hao e tiileng, kea leboha!

Kamoo memori ea transaction e qapiloeng

Vitaly: Potso e latelang e mabapi le mohopolo oa transaction. Ho ea kamoo ke utloisisang, u pula-maliboho tšimong ena, u e qapile nakong eo ho neng ho se motho ea nahanang ka lintho tse joalo. Ke hobane'ng ha u ile ua etsa qeto ea ho fallela sebakeng see? Hobaneng ha litšebelisano li ne li le bohlokoa ho uena? A na u ne u nahana hore ka letsatsi le leng li tla be li entsoe ka tšepe?

Moeketsi: Ke tsebile ka khoebo ho tloha ha ke qeta sekolong.

Vitaliy: E, empa tsena ke litšebelisano tse fapaneng!

Moeketsi: Ke sebelitse le Elliott Moss mosebetsing oa ho bokella lithōle tse sa thibeleng. Bothata ba rona e ne e le hore re batla ho fetola mantsoe a seng makae mohopolong oa atomically ebe li-algorithms li ne li tla ba bonolo haholo, 'me bonyane tse ling tsa tsona li tla sebetsa hantle. Ho sebelisa bapisa-le-phapanyetsano etsoe load-link/store-conditionale fanoang ke meralo e ts'oanang, hoa khoneha ho etsa ntho e itseng, empa ha e sebetse hantle ebile e le mpe hobane o tla tlameha ho sebetsana le maemo a sa tsitsang. Ke batla ho fetola mantsoe a memori mme ke hloka ho fetola hobane nka fetola pointer e le 'ngoe feela, kahoo ba hloka ho supa mofuta o mong oa sebopeho se kang sa directory. Re buile ka hore na ho ka ba monate hakaakang ha re ka fetola hardware e le hore e ka rekota ka nako e le 'ngoe. Elliot o bonahala a hlokometse sena: haeba u sheba liprothokholo tsa cache coherency, li se li ntse li fana ka boholo ba ts'ebetso e hlokahalang. Ts'ebetsong e nang le tšepo, "cache coherency protocol" e tla hlokomela ho ba teng ha likhohlano tsa nako, 'me cache e tla fetoha. fosahetse. Ho etsahala'ng haeba ka boithatelo u qala transaction ho cache ea hau 'me u sebelisa mekhoa ea ho lumellana ha protocol ho lemoha likhohlano? Mehaho e inahaneloang ea hardware e ne e le bonolo ho e qapa. Kahoo re ngotse seo khatiso ea pele haholo mabapi le mohopolo oa transaction. Ka nako e tšoanang, k’hamphani eo ke neng ke e sebeletsa, Digital Equipment Corporation, e ne e ntse e haha ​​mochine o mocha oa 64-bit o bitsoang Alpha. Kahoo ke ile ka ea 'me ka fana ka tlhahiso ho sehlopha sa nts'etsopele ea Alpha mabapi le mohopolo oa rona o babatsehang oa transaction,' me ba botsa: ke chelete efe e eketsehileng eo k'hamphani ea rona e tla e fumana haeba re kenya tsena tsohle ka ho toba ho processor? Mme ho hang ke ne ke sena karabo ho seo, hobane ke setsebi sa theknoloji, ha ke motho oa ho bapatsa. Ke ne ke hlile ke se na seo nka se buang. Ha baa ka ba khahloa haholo ke hore ebe ha ke tsebe letho.

Vitaly: Libilione! E re feela "libilione"!

Moeketsi: E, ke seo ke neng ke lokela ho se bua. Hona joale, nakong ea ho qala le tsohle, ke tseba ho ngola moralo oa khoebo. Hore u ka bua leshano hanyenyane ka boholo ba phaello e ka bang teng. Empa matsatsing ao ho ne ho bonahala ho se na kelello, kahoo ke ile ka re feela, "Ha ke tsebe." Haeba u sheba histori ea khatiso mabapi le mohopolo oa transaction, u tla hlokomela hore ka mor'a selemo ho ne ho e-na le litšupiso tse 'maloa ho eona,' me joale ka lilemo tse ka bang leshome ha ho motho ea qotsitseng sehlooho sena ho hang. Mantsoe a qotsitsoeng a hlahile hoo e ka bang ka 2004, ha 'nete ea mefuta e mengata e hlahang. Ha batho ba fumana hore ho ngola khoutu e tšoanang ho ka etsa chelete, lipatlisiso tse ncha li ile tsa qala. Ravi Rajwar o ngotse sehlooho, eo ka tsela e 'ngoe e ileng ea hlahisa maikutlo a tloaelehileng mohopolong oa mohopolo oa transaction. (Tlhokomeliso ea Mohlophisi: Sengoliloeng sena se na le mofuta oa bobeli o lokollotsoeng ka 2010 mme se fumaneha mahala joalo ka PDF). Ka tšohanyetso, batho ba ile ba hlokomela hore na sena sohle se ka sebelisoa joang, kamoo ba ka potlakisang li-algorithms tsa setso ka liloko. Mohlala o motle oa ntho eo nakong e fetileng e neng e bonahala e le bothata bo monate ba thuto. 'Me e, haeba u ne u mpotsa ka nako eo hore na ke nahana hore sena sohle se tla ba sa bohlokoa nakong e tlang, nka be ke itse: ha e le hantle, empa ha e le hantle ha e hlake. Mohlomong ka lilemo tse 50? Ha e le hantle, e ile ea e-ba lilemo tse leshome feela. Ho monate haholo ha u etsa ntho e itseng, 'me ka mor'a lilemo tse leshome feela batho ba e hlokomela.

Hobaneng ho le bohlokoa ho etsa lipatlisiso lefapheng la komporo e ajoang

Vitaly: Haeba re bua ka lipatlisiso tse ncha, u ka eletsa babali eng - computing e ajoang kapa multi-core hona hobane'ng? 

Maurice: Ho bonolo ho fumana processor ea mantlha e mengata matsatsing ana, empa ho thata le ho feta ho theha sistimi ea 'nete e ajoang. Ke ile ka qala ho sebetsana le tsona hobane ke ne ke batla ho etsa se fapaneng le PhD ea ka. Ena ke keletso eo ke lulang ke e fa ba qalang: u se ke ua ngola lengolo la morao-rao - leka ho ea ka tsela e ncha. Ho feta moo, multithreading e bonolo. Ke khona ho etsa liteko ka fereko ea ka e sebelisang laptop ntle le ho tsoha betheng. Empa haeba ka tšohanyetso ke ne ke batla ho theha tsamaiso ea sebele e ajoang, ke ne ke tla tlameha ho etsa mosebetsi o mongata, ho hohela liithuti, joalo-joalo. Ke motho ea botsoa 'me ke rata ho sebetsa ho li-multi-core. Ho etsa liteko ka litsamaiso tse ngata tsa mantlha ho boetse ho bonolo ho feta ho leka tse ajoang, hobane esita le tsamaisong e ajoang e hlokang kelello ho na le lintlha tse ngata tse lokelang ho laoloa.

Vitaliy: U etsa'ng hona joale, u ntse u etsa lipatlisiso ka blockchain? Ke lihlooho life tseo u lokelang ho li ela hloko pele?

Moeketsi: Ke sa tsoa hlaha sengoloa se setle haholoeo ke e ngotseng le seithuti sa ka, Vikram Saraf, ka ho khetheha bakeng sa Likopano tsa Tokenomcs Paris libeke tse tharo tse fetileng. Ena ke sengoloa se mabapi le lits'ebetso tse ajoang tse sebetsang tseo ho tsona re sisinyang ho etsa hore Ethereum e be le likhoele tse ngata. Hona joale likonteraka tse bohlale (khoutu e sebetsang ho blockchain) li etsoa ka tatellano. Re ngotse sengoloa pejana se neng se bua ka mokhoa oa ho sebelisa litšebelisano tse inahaneloang ho potlakisa ts'ebetso. Re ile ra nka maikutlo a mangata ho tswa ho software transactional memory mme ra re haeba u etsa hore mehopolo ena e be karolo ea mochine oa sebele oa Etherium, joale ntho e 'ngoe le e' ngoe e tla sebetsa ka potlako. Empa bakeng sa sena hoa hlokahala hore ha ho na likhohlano tsa data likonteraka. Eaba re nka hore bophelong ba sebele ha ho na likhohlano tse joalo. Empa ha rea ​​fumana monyetla oa ho tseba. Joale ho ile ha etsahala ho rona hore re na le hoo e ka bang lilemo tse leshome tsa histori ea sebele ea konteraka matsohong a rona, kahoo re ile ra laolla Etherium blockchain mme ra ipotsa: ho ne ho tla etsahala'ng haeba litlaleho tsee tsa histori li tsamaisana ka tsela e tšoanang? Re fumane keketseho e kholo ea lebelo. Matsatsing a pele a Etherium, lebelo le ile la eketseha haholo, empa kajeno ntho e 'ngoe le e' ngoe e batla e rarahane le ho feta, hobane ho na le likonteraka tse fokolang le monyetla oa likhohlano ka data e hlokang hore serialization e be e phahameng. Empa sena sohle ke mosebetsi oa liteko o nang le data ea nnete ea nalane. Ntho e ntle ka blockchain ke hore e hopola ntho e 'ngoe le e' ngoe ka ho sa feleng, kahoo u ka khutlela morao ka nako 'me u ithute se neng se tla etsahala haeba re sebelisa li-algorithms tse ling ho tsamaisa khoutu. Kamoo batho ba nakong e fetileng ba ka beng ba ratile mohopolo oa rona o mocha. Ho bonolo haholo ebile ho monate ho etsa lipatlisiso tse joalo, hobane ho na le ntho e hlokomelang ntho e 'ngoe le e' ngoe le ho tlaleha ntho e 'ngoe le e' ngoe. Sena se se se ntse se tšoana le thuto ea sechaba ho feta nts'etsopele ea li-algorithms.

Na nts'etsopele ea li-algorithms e emisitse le mokhoa oa ho phela

Vitaly: Ke nako ea potso ea ho qetela ea theory! Na ho utloahala eka tsoelo-pele ea libopeho tsa boitsebiso ba tlhōlisano e ntse e fokotseha selemo se seng le se seng? Na u nahana hore re fihlile sehlohlolong kutloisisong ea rona ea libopeho tsa data, kapa ho tla ba le lintlafatso tse kholo? Mohlomong ho na le likhopolo tse bohlale tse ka fetolang ntho e 'ngoe le e' ngoe ka ho feletseng?

Moeketsi: E ka 'na eaba re fihlile sehlabeng sa meaho ea data bakeng sa meralo ea setso. Empa meaho ea data bakeng sa meralo e mecha e ntse e le sebaka se ts'episang haholo. Haeba u batla ho theha meralo ea data bakeng sa, re re, li-accelerator tsa hardware, joale libopeho tsa data tsa GPU li fapane haholo le libopeho tsa data tsa CPU. Ha o theha meaho ea data bakeng sa li-blockchains, o hloka ho hash likotoana tsa data ebe o li kenya nthong e joalo sefate sa merkle, ho thibela ho qhekelloa. Ho bile le ts'ebetso e matla sebakeng sena morao tjena, ba bangata ba etsa mosebetsi o motle haholo. Empa ke nahana hore se tla etsahala ke hore meralo e mecha le lits'ebetso tse ncha li tla lebisa meahong e mecha ea data. Lisebelisoa tsa khale le meaho ea setso - mohlomong ha ho sa na sebaka sa lipatlisiso. Empa ha u ka tloha tseleng 'me u sheba ka holimo, u tla bona lintho tse hlanya tseo batho ba tloaelehileng ba sa li nkeng ka botebo - ke moo lintho tsohle tse monate li etsahalang.

Vitaly: Ka hona, hore ke be mofuputsi ea tummeng haholo, ke ile ka tlameha ho iqapela meralo ea ka 🙂

Maurice: U ka "utsoa" mohaho o mocha oa motho e mong - o bonahala o le bonolo haholo!

O sebetsa Univesithing ea Brown

Vitaliy: Na u ka re bolella haholoanyane ka Univesithi ea Browneo u sebetsang ho eona? Ha ho tse ngata tse tsejoang ka eena molemong oa theknoloji ea tlhahisoleseling. Ka tlase ho MIT, mohlala.

Maurice: Univesithi ea Brown ke e 'ngoe ea liunivesithi tsa khale ka ho fetisisa United States. Ke nahana hore ke Harvard feela ea seng a hōlile. Brown ke karolo ea seo ho thoeng ke lihlopha tsa ivy, e leng pokello ea liunivesithi tsa khale tse robeli. Harvard, Brown, Cornell, Yale, Columbia, Dartmouth, Pennsylvania, Princeton. Ena ke mofuta oa univesithi ea khale, e nyane ebile e batla e le ea maemo a holimo. Ho tsepamisitsoe maikutlo holim'a thuto ea bonono ea tokoloho. Ha e leke ho tšoana le MIT, MIT e khethehile haholo ebile e tekheniki. Brown ke sebaka se setle sa ho ithuta Sengoliloeng sa Serussia kapa Classical Greek mme, ehlile, Computer Science. E tsepamisitse maikutlo thutong e felletseng. Boholo ba liithuti tsa rona li ea ho Facebook, Apple, Google, kahoo ke nahana hore liithuti tsa rona ha li na bothata ba ho fumana mosebetsi indastering. Ke ile ka sebetsa Brown hobane pele ho moo ke ne ke sebetsa Digital Equipment Corporation e Boston. E ne e le k'hamphani e ileng ea qapa lintho tse ngata tse thahasellisang, empa e latola bohlokoa ba lik'homphieutha tsa motho. K'hamphani e nang le qetello e thata, bao bathehi ba eona e kileng ea e-ba bafetoheli ba bacha, ha baa ka ba ithuta letho 'me ha baa ka ba lebala letho, ka hona ba ile ba tloha ho bafetoheli ho ea ho bahanyetsi nakong ea lilemo tse ka bang leshome. Ba ne ba rata ho soasoa ka hore lik'homphieutha tsa motho ke tsa karacheng - karache e lahliloeng, ehlile. Ho hlakile hore li ile tsa senngoa ke lik'hamphani tse feto-fetohang haholoanyane. Ha ho hlaka hore k’hamphani e mathateng, ke ile ka letsetsa motsoalle oa ka oa Brown, ea ka bang hora ho tloha Boston. Ke ne ke sa batle ho tloha Boston ka nako eo, hobane liunivesithi tse ling li ne li se na likheo tse ngata hakaalo. E ne e le nako eo ho neng ho se na likheo tse ngata lefapheng la Computer Science joalo ka ha li le teng hona joale. 'Me Brown o ne a sebetsa, ho ne ho sa hlokahale hore ke tlohe ntlong ea ka, ke ne ke sa tlameha ho fallisa lelapa la ka, 'me ke thabela ho lula Boston! Kahoo ke ile ka etsa qeto ea ho ea Brown. Ke a e rata. Baithuti ba hantle, kahoo ha ho mohla nkileng ka leka ho ea sebakeng se seng. Ka sabatha, ke ile ka sebetsa Microsoft selemo, ka ea Technion Haifa nako ea selemo, 'me joale ke tla be ke le Algorand. Ke na le basebetsi-'moho le 'na ba bangata hohle, kahoo sebaka sa rona sa litlelase ha se bohlokoa hakaalo. Empa ntho ea bohlokoa ka ho fetisisa ke liithuti, ke tsona tse ntle ka ho fetisisa mona. Ha ho mohla nkileng ka leka ho ea kae kapa kae, hobane mona ke thabile haholo.

Leha ho le joalo, ho sa tsotellehe botumo ba Brown United States, ha a tsejoe ka mokhoa o makatsang mose ho maoatle. Joalokaha u bona, joale ke etsa sohle se matleng a ka ho lokisa boemo bona ba litaba.

Phapang lipakeng tsa lipatlisiso tsa univesithi le tsa khoebo

Vitaliy: Ho lokile, potso e latelang e mabapi le Digital Equipment. U ne u le mofuputsi moo. Phapano ke efe lipakeng tsa ho sebetsa lefapheng la R&D la k'hamphani e kholo le ho sebetsa univesithing? Melemo le mathata ke afe?

Maurice: Ke bile Microsoft ka lilemo tse mashome a mabeli, ke sebetsa haufi-ufi le batho ba Sun Microsystems, Oracle, Facebook, le Algorand hona joale. Ho latela sena sohle, ke batla ho bolela hore hoa khoneha ho etsa lipatlisiso tsa maemo a pele lik'hamphaning le univesithing. Phapang ea bohlokoa ke hore k'hamphaning u sebetsa le basebetsi-'moho. Haeba ka tšohanyetso ke e-na le mohopolo oa morero o seng o le teng, ke tlameha ho kholisa lithaka tsa ka hore ena ke khopolo e ntle. Haeba ke le Brown, joale nka re ho liithuti tsa ka: ha re sebetseng ka antigravity! Ba tla ea ho motho e mong kapa ba nke morero. Ee, ke tla hloka ho fumana chelete, ke tla hloka ho ngola kopo ea lithuso joalo-joalo. Leha ho le joalo, ho tla lula ho e-na le liithuti tse ngata, 'me u tla khona ho etsa liqeto unilaterally. Empa univesithing, mohlomong u ke ke ua sebetsa le batho ba boemo ba hau. Lefats'eng la lipatlisiso tsa indasteri, u tlameha ho qala ka ho kholisa motho e mong le e mong hore projeke ea hau e bohlokoa ho e nka. Ha ke khone ho odara letho ho mang kapa mang. 'Me litsela tsena ka bobeli tsa ho sebetsa ke tsa bohlokoa, hobane haeba u sebetsa ka ntho e itseng e hlanyang' me basebetsi-'moho le uena ba thatafalloa ho ba kholisa, ho bonolo ho kholisa liithuti tse fumaneng mangolo - haholo-holo haeba u li lefa. Haeba u sebetsa nthong e hlokang phihlelo e ngata le tsebo e tebileng, joale u hloka basebetsi-'moho le uena ba ka reng "che, ho etsahala feela hore ke utloisise sebaka sena 'me khopolo ea hau e mpe, ha ho letho le tla hlaha." Sena se molemo haholo tabeng ea ho senya nako. Hape, haeba lilaboratoring tsa indasteri u qeta nako e ngata u ngola litlaleho, joale univesithing u qeta nako ena u fumana chelete. Haeba ke batla hore liithuti li tsebe ho tsamaea kae-kae, ke tlameha ho fumana chelete ea eona sebakeng se seng. 'Me ha boemo ba hau bo le bohlokoa haholo univesithing, u na le nako e ngata ea ho bokella chelete. Kahoo, joale ua tseba hore na ke sebetsa joang - setsebi sa mokopi! Joalo ka e mong oa baitlami ba tsamaeang ka sejana sa monehelo. Ka kakaretso, mesebetsi ena e 'meli e ea tlatsana. Ke kahoo ke lekang ho phela le ho ema ke tiile mafatšeng ka bobeli.

Vitaliy: Ho bonahala eka ho kholisa k’hamphani ho thata ho feta ho kholisa bo-rasaense ba bang.

Moeketsi: Ho thata haholoanyane, le tse ling tse ngata. Ho feta moo, libakeng tse fapaneng ho fapane: motho e mong o etsa lipatlisiso tse feletseng, 'me motho e mong o tsepamisitse maikutlo sehloohong sa bona. Haeba ke ile ka ea ho Microsoft kapa Facebook 'me ka re, ha re etseng anti-gravity, ba ne ba ke ke ba e ananela. Empa haeba ke buile se tšoanang ho liithuti tsa ka tse fumaneng mangolo, li ka 'na tsa qala ho sebetsa hang-hang, le hoja joale ke ne ke tla be ke se ke ntse ke e-na le mathata - hobane u hloka ho fumana chelete bakeng sa sena. Empa hafeela u batla ho etsa ntho e lumellanang le lipakane tsa k'hamphani, k'hamphani eo e ka ba sebaka se setle haholo sa ho etsa lipatlisiso.

Hydra le SPTDC

Vitaly: Lipotso tsa ka li ea qetellong, kahoo a re ke re bue hanyenyane ka leeto le tlang la ho ea Russia.

Moeketsi: E, ke labalabela ho khutlela Petersburg.

Alexey: Ke tlotla e kholo ho nna hore ebe u na le rona selemong sena. Lena ke lekhetlo la bobeli u le St. Petersburg, na ha ho joalo?

Moeketsi: E se e le oa boraro!

Alexei: Kea utloisisa, empa SPTDC - hantle ea bobeli. Lekhetlo la ho qetela ha sekolo se bitsoa SPTCC, joale re fetotse tlhaku e le ’ngoe (C ho ea ho D, Concurrent to Distributed) ho hatisa hore ho na le libaka tse ngata tse amanang le computing e ajoang selemong sena. Na u ka bua mantsoe a seng makae mabapi le linehelano tsa hao Sekolong le Likopano tsa Hydra?

Moeketsi: Ha ke le Sekolong, ke batla ho bua ka lintho tsa motheo tsa blockchain le seo u ka se etsang ka eona. Ke kopa ho bonts'a hore li-blockchains li tšoana haholo le mananeo a mangata ao re a tloaetseng, empa ka li-nuances tsa bona, 'me ke habohlokoa ho utloisisa phapang ena. Haeba u etsa phoso ka ts'ebeliso e tloaelehileng ea webo, hoa khopisa feela. Haeba u ngola khoutu ea buggy ho app ea lichelete, motho e mong o tla utsoa chelete eohle ea hau. Ena ke boemo bo fapaneng ka ho feletseng ba boikarabelo le liphello. Ke tla bua hanyenyane ka bopaki ba mosebetsi, likonteraka tse bohlale, litšebelisano pakeng tsa li-blockchains tse fapaneng.

Libui tse ling li tla sebetsa haufi le 'na, bao le bona ba nang le seo ba ka se buang ka blockchain, mme re lumellane ho hokahanya har'a rona e le hore lipale tsa rona li lumellane hantle. Empa bakeng sa puo ea boenjiniere, ke batla ho fana ka tlhaloso e hlakileng ho bamameli ba bangata hore na ke hobane'ng ha u sa lokela ho lumela ntho e 'ngoe le e' ngoe eo ue utloang ka li-blockchains, ke hobane'ng ha li-blockchains e le tšimo e ntle, hore na e lumellana joang le likhopolo tse ling tse tsebahalang, le hore na ke hobane'ng ha re lokela ho etsa joalo. talima bokamoso ka sebete.

Alexey: Ho phaella moo, ke batla ho bolela hore sena se ke ke sa etsahala ka mokhoa oa ho kopana kapa sehlopha sa basebelisi, joalokaha ho ne ho le joalo lilemong tse peli tse fetileng. Re ile ra etsa qeto ea ho etsa seboka se senyenyane haufi le sekolo. Lebaka ke hore ka mor'a ho bua le Peter Kuznetsov, re ile ra hlokomela hore sekolo se lekanyelitsoe ho batho ba lekholo feela, mohlomong ba 120. Ka nako e ts'oanang, ho na le lienjiniere tse ngata tse batlang ho bua le uena, ho ea litlalehong, 'me hangata li thahasella sehlooho. Bakeng sa sena re thehile seboka se secha e bitsoang Hydra. Ka tsela, ho na le maikutlo a hore hobaneng Hydra?

Moeketsi: Hobane e tla ba le libui tse supileng? 'Me ba ka khaoloa lihlooho tsa bona,' me libui tse ncha li tla hōla sebakeng sa tsona?

Alexey: Khopolo e ntle ea ho holisa libui tse ncha. Empa ha e le hantle, ho na le pale mona. Hopola tšōmo ea Odysseus, moo a neng a lokela ho tsamaea ka sekepe pakeng tsa Scylla le Charybdis? Hydra ke ntho e kang Charybdis. Pale ke hore hang ha ke ile ka bua kopanong le ho bua ka multithreading. Ho ne ho e-na le lipina tse peli feela sebokeng sena. Qalong ea tlaleho, ke ile ka bolella bamameli ka holong hore joale ba na le khetho pakeng tsa Scylla le Charybdis. Phoofolo ea ka ea moea ke Charybdis, hobane Charybdis e na le lihlooho tse ngata, 'me sehlooho sa ka se na le lintlha tse ngata. Ke kamoo mabitso a liboka a hlahang kateng.

Leha ho le joalo, re feletsoe ke lipotso le nako. Kahoo ke leboha metsoalle ka puisano e ntle 'me re tla u bona ho SPTDC le Hydra 2019!

Ho tla khoneha ho tsoela pele ho buisana le Maurice sebokeng sa Hydra 2019, se tla tšoaroa ka July 11-12, 2019 St. Petersburg. O tla tla ka tlaleho "Li-Blockchains le bokamoso ba komporo e ajoang". Litekete li ka rekoa webosaeteng ea semmuso.

Source: www.habr.com

Eketsa ka tlhaloso