Maurice Herlihy - eni ti meji Awọn ẹbun Dijkstra. Ohun akọkọ jẹ fun iṣẹ "Amuṣiṣẹpọ-Ọfẹ" (Ile-ẹkọ giga Brown) ati keji, diẹ to ṣẹṣẹ, - "Iranti Idunadura: Atilẹyin Itumọ fun Awọn ẹya data Titii-Ọfẹ" (Ile-ẹkọ giga ti Virginia Tech). Ẹbun Dijkstra ni a fun fun iṣẹ ti pataki ati ipa rẹ ti han fun o kere ju ọdun mẹwa ati pe Maurice jẹ ọkan ninu awọn alamọja olokiki julọ ni aaye naa. Lọwọlọwọ o n ṣiṣẹ bi olukọ ọjọgbọn ni Ile-ẹkọ giga Brown ati pe o ni awọn aṣeyọri lọpọlọpọ ti o jẹ paragirafi gigun. O n ṣe iwadii lọwọlọwọ blockchain ni aaye ti iširo pinpin kilasika.

Ni iṣaaju, Maurice ti wa tẹlẹ si Russia fun SPTCC (teepu fidio) o si ṣe ipade ti o dara julọ ti JUG.ru Java developer awujo ni St.teepu fidio).

Habrapost yii jẹ ifọrọwanilẹnuwo nla pẹlu Maurice Herlihy. O jiroro lori awọn koko-ọrọ wọnyi:

Ibaṣepọ laarin ile-ẹkọ giga ati ile-iṣẹ;
Ipilẹ fun Iwadi Blockchain;
Nibo ni awọn imọran aṣeyọri wa lati? Awọn ipa ti gbale;
PhD labẹ abojuto Barbara Liskov;
Awọn aye ti wa ni nduro fun olona-mojuto;
Aye tuntun mu awọn iṣoro tuntun wa. NVM, NUMA ati gige gige faaji;
Compilers vs to nse, RISC vs CISC, pín iranti vs ifiranṣẹ ran;
Awọn aworan ti kikọ ẹlẹgẹ olona-asapo koodu;
Bii o ṣe le kọ awọn ọmọ ile-iwe lati kọ koodu olona-asapo pupọ;
Titun àtúnse ti awọn iwe "The Art of Multiprocessor Programming";
Bawo ni idunadura iranti ti a se;
Kini idi ti o tọ lati ṣe iwadii ni aaye ti iširo pinpin;
Ni o ni awọn idagbasoke ti aligoridimu duro, ati bi lati gbe lori;
Ṣiṣẹ ni Ile-ẹkọ giga Brown;
Iyatọ laarin iwadi ni ile-ẹkọ giga ati laarin ile-iṣẹ kan;
Hydra ati SPTDC.

Ifọrọwanilẹnuwo naa jẹ nipasẹ:

Vitaly Aksenov - Lọwọlọwọ, post-doc ni IST Austria ati oṣiṣẹ ti Ẹka Awọn Imọ-ẹrọ Kọmputa ni Ile-ẹkọ giga ITMO. Ṣe iwadii iwadii ni aaye ti ẹkọ ati adaṣe ti awọn ẹya data ifigagbaga. Ṣaaju ki o to ṣiṣẹ ni IST, o gba PhD rẹ lati Ile-ẹkọ giga Paris Diderot ati Ile-ẹkọ giga ITMO labẹ abojuto ti Ojogbon Peter Kuznetsov.

Alexei Fedorov - Olupilẹṣẹ ni JUG Ru Group, ile-iṣẹ Russia kan ti o ṣeto awọn apejọ fun awọn idagbasoke. Alexey ṣe alabapin ninu igbaradi ti diẹ sii ju awọn apejọ 50, ati ibẹrẹ rẹ pẹlu ohun gbogbo lati ipo ẹlẹrọ idagbasoke ni Oracle (JCK, Ẹgbẹ Platform Java) si ipo ti olupilẹṣẹ ni Odnoklassniki.

Vladimir Sitnikov - ẹlẹrọ ni Netcracker. Ọdun mẹwa ti iṣẹ lori iṣẹ ati iwọn ti NetCracker OS, sọfitiwia ti awọn oniṣẹ tẹlifoonu lo lati ṣe adaṣe nẹtiwọki ati awọn ilana iṣakoso ohun elo nẹtiwọọki. Nife ninu Java ati Oracle Database awon oran išẹ. Onkọwe ti diẹ sii ju awọn ilọsiwaju iṣẹ ṣiṣe mejila ninu awakọ PostgreSQL JDBC osise.

Ibaṣepọ laarin ile-ẹkọ giga ati ile-iṣẹ

Alexey: Maurice, o ti ṣiṣẹ ni agbegbe ile-ẹkọ fun igba pipẹ ati ibeere akọkọ ni ibaraenisepo laarin awọn agbegbe eto ẹkọ ati ile-iṣẹ. Ṣe o le sọrọ nipa bii awọn ibaraenisepo laarin wọn ti yipada laipẹ? Kini o ṣẹlẹ 20-30 ọdun sẹyin ati kini n ṣẹlẹ ni bayi?

Kọ́lá: Mo máa ń gbìyànjú láti bá àwọn ilé iṣẹ́ olówò ṣiṣẹ́ pọ̀ torí pé wọ́n ní àwọn ìṣòro tó fani mọ́ra. Wọn, gẹgẹbi ofin, ko nifẹ pupọ boya ni titẹjade awọn abajade wọn tabi ni awọn alaye ni kikun ti awọn iṣoro wọn si agbegbe agbaye. Wọn nifẹ nikan lati yanju awọn iṣoro wọnyi. Mo ṣiṣẹ fun awọn ile-iṣẹ bẹ fun igba diẹ. Mo lo ọdun marun ṣiṣẹ ni kikun akoko ni laabu iwadi ni Digital Equipment Corporation, eyiti o jẹ ile-iṣẹ kọnputa nla kan. Mo ṣiṣẹ ni ọjọ kan ni ọsẹ kan ni Sun, ni Microsoft, ni Oracle, ati pe Mo ṣe iṣẹ diẹ ni Facebook. Bayi Emi yoo lọ si isinmi isimi (ọjọgbọn kan ni ile-ẹkọ giga Amẹrika kan gba ọ laaye lati gba iru isinmi bẹ fun ọdun kan ni ẹẹkan ni gbogbo ọdun mẹfa) ati ṣiṣẹ ni Algorand, Eyi jẹ ile-iṣẹ cryptocurrency ni Boston. Ṣiṣẹpọ ni pẹkipẹki pẹlu awọn ile-iṣẹ nigbagbogbo jẹ igbadun nitori iyẹn ni bi o ṣe kọ ẹkọ nipa awọn nkan tuntun ati ti o nifẹ. O le paapaa jẹ ẹni akọkọ tabi eniyan keji lati ṣe atẹjade nkan kan lori koko-ọrọ ti o yan, dipo ki o ṣiṣẹ lori ilọsiwaju imudara awọn ojutu si awọn iṣoro ti gbogbo eniyan miiran ti n ṣiṣẹ tẹlẹ.

Alexey: Ṣe o le sọ fun wa ni alaye diẹ sii bi eyi ṣe ṣẹlẹ?

Maurice: Na nugbo tọn. Ṣe o mọ, nigbati Mo n ṣiṣẹ ni Digital Equipment Corporation, emi ati Elliot Moss, a ṣẹda iranti idunadura. O jẹ akoko eso pupọ nigbati gbogbo eniyan bẹrẹ si nifẹ si imọ-ẹrọ alaye. Parallelism, pẹlu, biotilejepe olona-mojuto awọn ọna šiše ko sibẹsibẹ tẹlẹ. Lakoko Oorun ati awọn ọjọ Oracle, Mo ṣiṣẹ pupọ lori awọn ẹya data ti o jọra. Ni Facebook Mo ṣiṣẹ lori iṣẹ akanṣe blockchain wọn, eyiti Emi ko le sọrọ nipa rẹ, ṣugbọn Mo nireti pe o lọ ni gbangba laipẹ. Ni ọdun to nbọ, ni Algorand, Emi yoo ṣiṣẹ ni ẹgbẹ iwadii kan ti nkọ awọn adehun ọlọgbọn.

Alexey: Blockchain ti di koko-ọrọ olokiki pupọ ni awọn ọdun diẹ sẹhin. Ṣe eyi yoo ṣe iranlọwọ fun iwadii rẹ? Boya yoo jẹ ki o rọrun lati gba awọn ifunni tabi pese iraye si awọn orisun lati awọn ile-iṣẹ ti n ṣiṣẹ ni ile-iṣẹ naa?

Maurice: Mo ti gba ẹbun kekere kan tẹlẹ lati Ethereum Foundation. Gbajumo ti blockchain jẹ iranlọwọ pupọ ni iyanju awọn ọmọ ile-iwe lati ṣiṣẹ ni aaye yii. Wọ́n nífẹ̀ẹ́ sí i gan-an, inú wọn sì máa ń dùn láti kópa, àmọ́ nígbà míì wọn ò mọ̀ pé ìwádìí tó máa ń dùn ún lóde máa ń kan iṣẹ́ àṣekára gan-an. Sibẹsibẹ, Mo ni itara gaan lati lo gbogbo ohun ijinlẹ yii ni ayika blockchain lati ṣe iranlọwọ fa awọn ọmọ ile-iwe.

Ṣugbọn iyẹn ko pẹ. Mo wa lori igbimọ imọran ti ọpọlọpọ awọn ibẹrẹ blockchain. Diẹ ninu wọn le ṣaṣeyọri, diẹ ninu wọn le ma ṣe, ṣugbọn o jẹ igbadun pupọ nigbagbogbo lati rii awọn imọran wọn, ṣe iwadi wọn ati gba eniyan ni imọran. Ohun ti o wuyi julọ ni nigbati o kilo fun eniyan lati ma ṣe nkan kan. Ọpọlọpọ awọn nkan dabi imọran ti o dara ni akọkọ, ṣugbọn wọn ha jẹ looto?

Ipilẹ fun Blockchain Iwadi

Vitaly: Diẹ ninu awọn eniyan ro pe ojo iwaju wa pẹlu blockchain ati awọn algoridimu rẹ. Ati awọn miiran eniyan so wipe o kan miran ti nkuta. Ṣe o le pin ero rẹ lori ọran yii?

Maurice: Pupọ ohun ti n ṣẹlẹ ni agbaye blockchain jẹ aṣiṣe, diẹ ninu jẹ ete itanjẹ nikan, pupọ ni o pọju. Sibẹsibẹ, Mo ro pe ipilẹ imọ-jinlẹ ti o lagbara wa fun awọn ẹkọ wọnyi. Otitọ pe agbaye blockchain kun fun awọn iyatọ arosọ fihan ipele igbadun ati iyasọtọ. Ni ida keji, eyi kii ṣe anfani paapaa fun iwadii imọ-jinlẹ. Bayi, ti o ba ṣe atẹjade nkan kan ti o sọrọ nipa awọn aito ti algorithm kan pato, abajade abajade kii ṣe imọ-jinlẹ ni kikun nigbagbogbo. Nigbagbogbo eniyan ju awọn ẹdun wọn jade. Mo ro pe iru igbadun yii ni agbegbe yii le dabi ohun ti o wuni si diẹ ninu awọn, ṣugbọn ni opin ọjọ naa, awọn ọrọ ijinle sayensi ati imọ-ẹrọ gidi wa ti o nilo lati koju. Imọ-ẹrọ Kọmputa pupọ wa nibi.

Vitaly: Nitorina o n gbiyanju lati fi ipilẹ lelẹ fun iwadi blockchain, otun?

Maurice: Mo n gbiyanju lati fi ipilẹ lelẹ fun ikẹkọ ti o lagbara, ti imọ-jinlẹ ati mathematiki. Ati apakan iṣoro naa ni pe nigbami o ni lati tako diẹ ninu awọn ipo lile ti awọn eniyan miiran ki o foju kọ wọn. Nigba miiran awọn eniyan beere idi ti MO fi ṣiṣẹ ni agbegbe nibiti awọn onijagidijagan ati awọn onijaja oogun ti nifẹ si. Irú ìhùwàpadà bẹ́ẹ̀ kò nítumọ̀ bíi ti ìhùwàsí àwọn ọmọlẹ́yìn tí wọ́n ń sọ ọ̀rọ̀ rẹ ní ìfọ́jú. Mo ro pe otitọ wa ni ibikan ni aarin. Blockchain yoo ni ipa nla lori awujọ ati eto-ọrọ agbaye. Ṣugbọn eyi ṣee ṣe kii yoo ṣẹlẹ ọpẹ si imọ-ẹrọ igbalode. Awọn imọ-ẹrọ igbalode yoo dagbasoke ati ohun ti yoo pe ni blockchain ni ọjọ iwaju yoo di pataki pupọ. O le paapaa dabi awọn blockchains ode oni, iyẹn jẹ ibeere ṣiṣi.

Ti eniyan ba ṣẹda awọn imọ-ẹrọ tuntun, wọn yoo tẹsiwaju lati pe ni blockchain. Mo tumọ si, gẹgẹ bi Fortran ode oni ko ni nkankan lati ṣe pẹlu ede Fortran lati awọn ọdun 1960, ṣugbọn gbogbo eniyan n pe ni Fortran. Kanna fun UNIX. Ohun ti a pe ni "blockchain" yoo tun ṣe iyipada rẹ. Ṣugbọn Mo ṣiyemeji pe blockchain tuntun yii yoo jẹ ohunkohun bi ohun ti gbogbo eniyan gbadun ni lilo loni.

Nibo ni awọn imọran aṣeyọri wa lati? Ipa ti gbale

Alexey: Njẹ olokiki ti blockchain yori si awọn abajade tuntun lati oju-ọna imọ-jinlẹ bi? Ibaraẹnisọrọ diẹ sii, awọn ọmọ ile-iwe diẹ sii, awọn ile-iṣẹ diẹ sii ni agbegbe naa. Njẹ awọn abajade eyikeyi wa tẹlẹ lati ilosoke olokiki yii?

Maurice: Mo nífẹ̀ẹ́ sí èyí nígbà tí ẹnì kan fún mi ní fọ́ọ̀bù oníṣẹ́ ọ̀fẹ́ fún ilé iṣẹ́ kan tó ṣẹ̀ṣẹ̀ kó ọ̀pọ̀lọpọ̀ owó jọ. O kowe nipa iṣẹ-ṣiṣe ti awọn Byzantine generals, pẹlu eyi ti mo ti wa siwaju sii ju faramọ. Ohun ti a kọ sinu iwe pelebe jẹ kedere ni imọ-ẹrọ ti ko tọ. Awọn eniyan ti o kowe gbogbo eyi ko ni oye awoṣe lẹhin iṣoro naa ... ati sibẹsibẹ ile-iṣẹ yii gbe owo pupọ. Lẹhinna, ile-iṣẹ ni idakẹjẹ rọpo iwe pelebe yii pẹlu ẹya ti o pe pupọ diẹ sii - ati pe Emi kii yoo sọ kini orukọ ile-iṣẹ yii jẹ. Wọn tun wa ni ayika ati ṣiṣe daradara. Iṣẹlẹ yii da mi loju pe, lakọọkọ, blockchain jẹ fọọmu kan ti iširo pinpin. Ni ẹẹkeji, ẹnu-ọna titẹsi (o kere ju lẹhinna, ọdun mẹrin sẹhin) jẹ kekere pupọ. Awọn eniyan ti n ṣiṣẹ ni aaye yii jẹ alagbara pupọ ati oye, ṣugbọn wọn ko ka awọn iwe ijinle sayensi. Wọn gbiyanju lati tun ṣe awọn ohun ti a mọ ati ṣe aṣiṣe. Lónìí eré náà ti dín kù.

Alexey: Eyi jẹ igbadun pupọ, nitori ni ọdun diẹ sẹhin a ni aṣa ti o yatọ. O jẹ diẹ bi idagbasoke iwaju-ipari, nigbati awọn olupilẹṣẹ iwaju-orisun ẹrọ aṣawakiri tun ṣe gbogbo awọn imọ-ẹrọ ti o gbajumọ tẹlẹ ni ipari-ipari: kọ awọn ọna ṣiṣe, iṣọpọ lemọlemọfún, awọn nkan bii iyẹn.

Maurice: Mo gbà. Ṣugbọn eyi kii ṣe iyanilenu, nitori awọn imọran aṣeyọri nitootọ nigbagbogbo wa lati ita agbegbe ti iṣeto. Awọn oniwadi ti iṣeto, ni pataki awọn ọmọ ile-iwe ti iṣeto, ko ṣeeṣe lati ṣe ohunkohun ti o ni ilẹ nitootọ. O rọrun lati kọ iwe kan fun apejọ atẹle nipa bawo ni o ṣe mu ilọsiwaju diẹ si awọn abajade iṣẹ rẹ ti o kọja. Lọ si apejọ kan, pejọ pẹlu awọn ọrẹ, sọrọ nipa awọn nkan kanna. Ati awọn eniyan ti o ti nwaye pẹlu awọn imọran aṣeyọri nigbagbogbo wa lati ita. Wọn ko mọ awọn ofin, wọn ko mọ ede naa, ṣugbọn sibẹsibẹ ... Ti o ba wa laarin agbegbe ti iṣeto, Mo gba ọ niyanju lati fiyesi si awọn ohun titun, si nkan ti ko ni ibamu si aworan gbogbogbo. Ni ọna kan, a le ṣe igbiyanju lati darapo ita, awọn idagbasoke ito diẹ sii pẹlu awọn ọna ti a ti loye tẹlẹ. Gẹgẹbi igbesẹ akọkọ, gbiyanju lati fi idi ipilẹ imọ-jinlẹ mulẹ, lẹhinna yi pada ki o le ṣee lo si awọn imọran aṣeyọri tuntun. Mo ro pe blockchain jẹ nla fun jijẹ tuntun, imọran idalọwọduro.

Alexey: Kini idi ti o ro pe eyi n ṣẹlẹ? Nitoripe awọn eniyan "ita" ko ni awọn idena kan pato ti o wa ni agbegbe?

Kọ́lá: Àpẹẹrẹ kan wà níbẹ̀. Ti o ba ka awọn itan ti awọn impressionists ni kikun ati aworan ni apapọ, lẹhinna ni akoko kan awọn oṣere olokiki kọ impressionism. Wọn sọ pe iru ọmọde ni. A iran nigbamii, yi tẹlẹ kọ aworan fọọmu di bošewa. Ohun ti Mo rii ni aaye mi: awọn olupilẹṣẹ ti blockchain ko nifẹ si agbara, ni jijẹ awọn atẹjade ati atọka itọkasi, wọn kan fẹ lati ṣe ohun ti o dara. Nítorí náà, wọ́n jókòó, wọ́n sì bẹ̀rẹ̀ sí ṣe é. Wọn ko ni iye kan ti ijinle imọ-ẹrọ, ṣugbọn iyẹn jẹ atunṣe. O nira pupọ pupọ lati wa pẹlu awọn imọran ẹda tuntun ju lati ṣe atunṣe ati fun awọn ti o dagba ti ko to. Ṣeun si awọn olupilẹṣẹ wọnyi, Mo ni nkan lati ṣe ni bayi!

Alexey: Eyi jẹ iru si iyatọ laarin awọn ibẹrẹ ati awọn iṣẹ akanṣe. A jogun ọpọlọpọ awọn idiwọn ti ironu, awọn idena, awọn ibeere pataki, ati bẹbẹ lọ.

Maurice: A ti o dara ni apéerẹìgbìyànjú ti wa ni pin iširo. Ronu ti blockchain bi ẹnipe o jẹ ibẹrẹ ati iširo pinpin bi ile-iṣẹ nla, ti iṣeto. Awọn iširo pinpin wa ninu ilana ti gbigba ati dapọ pẹlu blockchain.

PhD labẹ abojuto ti Barbara Liskov

Vitaly: A tun ni ọpọlọpọ awọn ibeere! A ni won nwa sinu rẹ lẹhin ati ki o wa kọja ohun awon o daju nipa rẹ doctorate. Bẹẹni, eyi jẹ igba pipẹ sẹhin, ṣugbọn o dabi pe o jẹ koko pataki kan. O gba PhD rẹ labẹ itọsọna ti ararẹ Barbara Liskov! Barbara jẹ olokiki pupọ ni agbegbe ede siseto, ati eniyan olokiki pupọ ni gbogbogbo. O jẹ ohun ti o bọgbọnwa pe iwadi rẹ wa ni aaye ti awọn ede siseto. Bawo ni o ṣe yipada si iširo ti o jọra? Kini idi ti o pinnu lati yi koko-ọrọ naa pada?

Maurice: Lákòókò yẹn, Barbara àti àwùjọ rẹ̀ kàn ń wo ẹ̀rọ kọ̀ǹpútà tí a pín kiri, èyí tó jẹ́ èrò tuntun kan. Awọn kan tun wa ti o sọ pe iṣiro pinpin jẹ ọrọ isọkusọ ati pe awọn kọnputa ti n ba ara wọn sọrọ jẹ asan. Ọkan ninu awọn ọran ti a koju ni iširo pinpin ti o ṣe iyatọ rẹ si iširo aarin jẹ ifarada ẹbi. Lẹhin iwadi pupọ, a pinnu pe ede siseto iširo pinpin nilo lati ni nkan bii awọn iṣowo atomiki nitori o ko le rii daju pe ipe latọna jijin yoo ṣaṣeyọri. Ni kete ti o ba ni awọn iṣowo, iṣoro ti iṣakoso concurrency dide. Lẹhinna ọpọlọpọ iṣẹ wa lori gbigba awọn ẹya data iṣowo ni afiwe giga. Lẹhinna, nigbati mo pari ile-iwe, Mo lọ si Carnegie Mellon o si bẹrẹ si wa koko kan lati ṣiṣẹ lori. O ṣẹlẹ si mi pe iširo ti gbe lati awọn kọnputa kọọkan si awọn nẹtiwọọki ti kọnputa. Multiprocessors yoo jẹ itesiwaju adayeba ti ilọsiwaju - ọrọ naa “ọpọlọpọ-mojuto” ko sibẹsibẹ wa. Mo ro: kini deede awọn iṣowo atomiki fun eto-ọpọ-mojuto? Ni pato kii ṣe awọn iṣowo deede nitori wọn tobi pupọ ati eru. Ati awọn ti o ni bi mo ti wá pẹlu awọn agutan linearizability ati awọn ti o ni bi mo ti wá soke pẹlu gbogbo idaduro-free amuṣiṣẹpọ. Eyi jẹ igbiyanju lati dahun ibeere ti kini afọwọṣe ti awọn iṣowo atomiki fun eto multiprocessor pẹlu iranti pinpin. Ni wiwo akọkọ, iṣẹ yii le yatọ patapata, ṣugbọn ni otitọ o jẹ itesiwaju ti akori kanna.

Aye n duro de olona-mojuto

Vitaly: O mẹnuba pe ni akoko yẹn awọn kọnputa pupọ-pupọ pupọ lo wa, otun?

Maurice: Wọn ò kàn sí níbẹ̀. Ọpọlọpọ awọn ohun ti a pe ni multiprocessors symmetrical, eyiti a ti sopọ ni ipilẹ si ọkọ akero kanna. Eyi ko ṣiṣẹ daradara nitori ni gbogbo igba ti ile-iṣẹ tuntun kan ṣẹda nkan ti o jọra, Intel yoo tu ero isise kan ti o ga julọ si multiprocessor.

Alexey: Ṣe eyi ko tumọ si pe ni awọn akoko atijọ yẹn o jẹ diẹ sii ti ikẹkọ imọ-jinlẹ?

Maurice: Kì í ṣe ìkẹ́kọ̀ọ́ ìmọ̀ ẹ̀kọ́, kàkà bẹ́ẹ̀ ẹ̀kọ́ àfojúsùn. Gbogbo eyi kii ṣe nipa ṣiṣẹ pẹlu ọpọlọpọ awọn imọ-jinlẹ; dipo, a fi awọn idawọle siwaju nipa faaji ti ko si ni akoko yẹn. Eyi ni ohun ti iwadi jẹ fun! Ko si ile-iṣẹ ti yoo ṣe nkan bii eyi; gbogbo rẹ jẹ nkan lati ọjọ iwaju ti o jinna. Ni otitọ, eyi jẹ ọran titi di ọdun 2004, nigbati awọn ilana olona-pupọ gidi han. Nitori awọn ero isise naa gbona, o le jẹ ki ero isise naa kere ju, ṣugbọn o ko le ṣe yiyara. Nitori eyi, iyipada kan wa si awọn faaji-ọpọ-mojuto. Ati lẹhinna iyẹn tumọ si pe lojiji lilo wa fun gbogbo awọn imọran ti a ti dagbasoke ni iṣaaju.

Alexey: Ẽṣe ti o ro pe olona-mojuto to nse han nikan ni XNUMXs? Nitorina kilode ti o pẹ to bẹ?

Maurice: Eyi jẹ nitori awọn idiwọn hardware. Intel, AMD ati awọn ile-iṣẹ miiran dara pupọ ni jijẹ iyara ero isise. Nigba ti ni diẹ ninu awọn ero isise di kekere to ti won le ko to gun mu aago iyara nitori awọn isise yoo bẹrẹ lati iná jade. O le ṣe wọn kere, ṣugbọn kii ṣe yiyara. Kini o wa ni agbara wọn - dipo ero isise kekere pupọ, wọn le baamu mẹjọ, mẹrindilogun tabi awọn olutọsọna mejilelọgbọn sinu iwọn kanna ti ọran naa, nibiti iṣaaju nikan le baamu. Bayi o ni multithreading ati ki o yara ibaraẹnisọrọ laarin wọn nitori won pin caches. Ṣugbọn o ko le fi ipa mu wọn lati ṣiṣẹ ni iyara - iye iyara kan pato wa. Wọn tẹsiwaju lati ni ilọsiwaju diẹ diẹ, ṣugbọn kii ṣe pupọ mọ. Awọn ofin ti fisiksi duro ni ọna awọn ilọsiwaju.

Aye tuntun mu awọn iṣoro tuntun wa. NUMA, NVM ati sakasaka faaji

Alexey: O dun pupọ. Pẹlu titun olona-mojuto to nse wá titun isoro. Njẹ iwọ ati awọn ẹlẹgbẹ rẹ nireti awọn iṣoro wọnyi? Boya o kẹkọọ wọn tẹlẹ? Ninu awọn ẹkọ imọ-jinlẹ nigbagbogbo kii ṣe rọrun pupọ lati sọ asọtẹlẹ iru awọn nkan bẹẹ. Nigbati awọn iṣoro ba waye, bawo ni wọn ṣe pade awọn ireti rẹ ati awọn ẹlẹgbẹ rẹ? Tabi wọn jẹ tuntun patapata, ati pe iwọ ati awọn ẹlẹgbẹ rẹ ni lati lo akoko pupọ lati yanju awọn iṣoro bi wọn ti farahan?

Vitaly: Emi yoo ṣafikun si ibeere Alexey: ṣe o sọ asọtẹlẹ faaji ero isise ni deede lakoko ti o nkọ ẹkọ naa?

Maurice: Kii ṣe 100%. Ṣugbọn Mo ro pe awọn ẹlẹgbẹ mi ati Emi ti ṣe iṣẹ to dara kan asọtẹlẹ awọn ohun kohun pupọ pẹlu iranti pinpin. Mo ro pe a sọ asọtẹlẹ deede awọn iṣoro ni idagbasoke awọn ẹya data afiwera ti o ṣiṣẹ laisi awọn titiipa. Iru awọn ẹya data ti ṣe pataki fun ọpọlọpọ awọn ohun elo, botilẹjẹpe kii ṣe gbogbo rẹ, ṣugbọn nigbagbogbo ohun ti o nilo gaan ni eto data ti kii ṣe titiipa. Nigba ti a ṣe wọn, ọpọlọpọ jiyan pe eyi jẹ ọrọ isọkusọ, pe ohun gbogbo ṣiṣẹ daradara pẹlu awọn titiipa. A sọtẹlẹ daradara pe awọn solusan ti a ṣe ti ṣetan yoo wa fun ọpọlọpọ awọn iṣoro siseto ati awọn iṣoro igbekalẹ data. Awọn iṣoro eka diẹ sii tun wa, bii NOMA – uneven wiwọle si iranti. Ni otitọ, a ko ṣe akiyesi wọn paapaa titi di igba ti a ṣe ipilẹṣẹ awọn ilana ti ọpọlọpọ-mojuto nitori wọn jẹ pato. Agbegbe iwadii n ṣiṣẹ lori awọn ibeere ti o jẹ asọtẹlẹ gbogbogbo. Diẹ ninu awọn iṣoro ohun elo ti o ni nkan ṣe pẹlu awọn ile ayaworan kan pato ni lati duro ni awọn iyẹ - ni otitọ, irisi ti awọn faaji wọnyi. Fun apẹẹrẹ, ko si ẹnikan ti o ṣiṣẹ gaan lori awọn ẹya data pato-GPU nitori awọn GPU ko si tẹlẹ lẹhinna. Botilẹjẹpe ọpọlọpọ iṣẹ ti ṣe lori SIMD, awọn algoridimu wọnyi ti ṣetan fun lilo ni kete ti ohun elo ti o dara ba wa. Sibẹsibẹ, ko ṣee ṣe lati rii ohun gbogbo tẹlẹ.

Alexey: Ti MO ba loye ni deede, NUMA jẹ iru adehun laarin iye owo, iṣẹ ati diẹ ninu awọn nkan miiran. Eyikeyi ero idi ti NUMA wa jade ki pẹ?

Maurice: Mo ro pe NUMA wa nitori awọn iṣoro pẹlu ohun elo ti a lo lati gbejade iranti: siwaju si awọn paati, o lọra lati wọle si wọn. Ni apa keji, iye keji ti abstraction yii jẹ iṣọkan iranti. Nitorinaa ọkan ninu awọn abuda ti iširo afiwera ni pe gbogbo awọn abstractions ti bajẹ diẹ. Ti iwọle ba jẹ aṣọ pipe, gbogbo iranti yoo jẹ deede, ṣugbọn eyi jẹ ọrọ-aje, ati boya paapaa ti ara, ko ṣee ṣe. Nitorina rogbodiyan yi dide. Ti o ba kọ eto rẹ bi ẹnipe iranti jẹ aṣọ, lẹhinna o ṣee ṣe pe yoo jẹ deede. Ni ọna ti kii yoo fun awọn idahun ti ko tọ. Ṣugbọn iṣẹ rẹ kii yoo gba awọn irawọ lati ọrun boya. Bakanna, ti o ba kọ spinlocks Laisi agbọye awọn ilana kaṣe, idinamọ funrararẹ yoo jẹ deede, ṣugbọn o le gbagbe nipa iṣẹ ṣiṣe. Ni ọna kan, o ni lati kọ awọn eto ti o gbe lori oke ti abstraction ti o rọrun pupọ, ṣugbọn o ni lati ṣaju awọn eniyan ti o fun ọ ni abstraction yẹn: o ni lati mọ pe labẹ abstraction o wa diẹ ninu awọn logalomomoise ti iranti, pe o wa. akero laarin iwọ ati yi iranti, ati be be lo. Nitorinaa, ariyanjiyan wa laarin awọn abstractions ti o wulo ni ọkọọkan, eyiti o yorisi wa si awọn iṣoro ti o nipọn ati awọn iṣoro pragmatic.

Vitaly: Kini nipa ojo iwaju? Ṣe o le ṣe asọtẹlẹ bi awọn ilana ṣe yoo dagbasoke ni atẹle? Nibẹ jẹ ẹya agutan ti ọkan ninu awọn idahun ni transactional iranti. O ṣee ṣe ohun miiran ni iṣura.

Kọ́lá: Àwọn ìpèníjà méjì kan wà níwájú. Ọkan ni pe iranti ibaramu jẹ abstraction iyalẹnu, ṣugbọn o bẹrẹ lati fọ ni awọn ọran pataki. Nitorinaa, fun apẹẹrẹ, NUMA jẹ apẹẹrẹ igbesi aye ti nkan nibiti o le tẹsiwaju lati dibọn pe iranti aṣọ wa. Lootọ rara, iṣelọpọ yoo jẹ ki o kigbe. Ni aaye kan, awọn ayaworan ile yoo ni lati kọ imọran ti faaji iranti kan; o ko le dibọn lailai. Awọn awoṣe siseto tuntun yoo nilo ti o rọrun to lati lo ati agbara to lati jẹ ki ohun elo ti o wa ni ipilẹ daradara. Eyi jẹ adehun ti o nira pupọ, nitori ti o ba ṣafihan awọn olupilẹṣẹ faaji ti o lo ninu ohun elo gangan, wọn yoo ya were. O jẹ idiju pupọ ati kii ṣe gbigbe. Ti o ba ṣafihan wiwo ti o rọrun ju, iṣẹ naa yoo jẹ talaka. Nitorinaa, ọpọlọpọ awọn iṣowo-iṣoro ti o nira pupọ yoo nilo lati ṣe lati pese awọn awoṣe siseto ti o wulo ti o wulo fun awọn olutọsọna olona-mojuto nla nitootọ. Emi ko ni idaniloju pe ẹnikẹni miiran yatọ si alamọja ni o lagbara ti siseto lori kọnputa 2000-mojuto. Ati pe ayafi ti o ba n ṣe amọja pupọ tabi iṣiro imọ-jinlẹ tabi cryptography tabi nkan bii iyẹn - ko tun han rara bi o ṣe le ṣe ni deede.

Miiran iru agbegbe ni specialized faaji. Awọn iyara iyara ti wa ni ayika fun igba pipẹ, ṣugbọn wọn ti di nkan ti apẹẹrẹ Ayebaye ti bii o ṣe le mu iru iširo pataki kan ki o ṣiṣẹ lori chirún igbẹhin kan. Eyi ṣe afikun awọn italaya tirẹ: bii o ṣe ibasọrọ pẹlu iru ẹrọ kan, bii o ṣe ṣeto rẹ. Mo ti n ṣiṣẹ laipẹ lori awọn iṣoro ni agbegbe naa nitosi iširo iranti. O mu ero-iṣẹ kekere kan ki o lẹ pọ si iranti nla kan ki iranti naa ṣiṣẹ ni iyara kaṣe L1 ati lẹhinna sọrọ pẹlu ẹrọ kan bii TPU - ero isise naa n ṣiṣẹ lọwọ lati ṣajọpọ awọn iṣẹ ṣiṣe tuntun sinu mojuto iranti rẹ. Ṣiṣeto awọn ẹya data ati awọn ilana ibaraẹnisọrọ fun iru nkan yii jẹ apẹẹrẹ iyanilenu miiran. Nitorinaa awọn ilana aṣa ati ohun elo yoo tẹsiwaju lati rii awọn ilọsiwaju fun igba diẹ.

Alexey: Kini nipa iranti ti kii ṣe iyipada (ti kii-iyipada iranti)?

Maurice: Oh, apẹẹrẹ nla miiran niyẹn! NVM yoo yipada pupọ ni ọna ti a wo awọn nkan bii awọn ẹya data. Iranti ti kii ṣe iyipada, ni ọna kan, ṣe ileri lati yara awọn nkan gaan. Ṣugbọn kii yoo jẹ ki igbesi aye rọrun nitori ọpọlọpọ awọn ilana, awọn caches, ati awọn iforukọsilẹ tun jẹ iyipada. Nigbati o ba bẹrẹ lẹhin jamba, ipo rẹ ati ipo iranti rẹ kii yoo jẹ deede kanna bi ṣaaju jamba naa. Mo dupẹ lọwọ pupọ si awọn eniyan ti n ṣiṣẹ lori NVM - ọpọlọpọ yoo wa fun awọn oniwadi lati ṣe fun igba pipẹ lati gbiyanju lati ṣawari awọn ipo atunṣe. Awọn iṣiro jẹ deede ti wọn ba le ye ijamba kan ninu eyiti awọn akoonu ti awọn kaṣe ati awọn iforukọsilẹ ti sọnu, ṣugbọn iranti akọkọ wa ni mimule.

Awọn olupilẹṣẹ vs awọn olupilẹṣẹ, RISC vs CISC, iranti pinpin vs gbigbe ifiranṣẹ

Vladimir: Kini o ro nipa awọn atayanyan "awọn olupilẹṣẹ vs. Jẹ ki n ṣe alaye fun awọn ti ko si ni imọ: ti a ba lọ si iranti skewed tabi nkan ti o jọra, a le lo ilana ti o rọrun pupọ ati beere lọwọ olupilẹṣẹ lati ṣe agbekalẹ koodu eka ti o le lo anfani awọn anfani tuntun. Tabi a le lọ ni ọna miiran: ṣe awọn itọnisọna eka ati beere lọwọ ero isise lati tun awọn ilana naa ṣe ati ṣe awọn ifọwọyi miiran pẹlu wọn. Kini o ro nipa rẹ?

Kọ́lá: N kò rí ìdáhùn sí ìbéèrè yẹn. Ijiyan yii ti n lọ fun ọdun mẹrin. Nibẹ je akoko kan nigbati laarin abbreviated a ti ṣeto ti ofin ati soro ogun abele won ja nipa kan ti ṣeto ti ase. Fun igba diẹ, awọn eniyan RISC gba, ṣugbọn lẹhinna Intel tun tun awọn ẹrọ wọn ṣe ki a ti lo awọn ilana ti o dinku ni inu, ati pe o ti gbejade ni kikun ni ita. Eyi ṣee ṣe koko-ọrọ ninu eyiti iran tuntun kọọkan gbọdọ wa awọn adehun tirẹ ati ṣe awọn ipinnu tirẹ. O jẹ gidigidi soro lati ṣe asọtẹlẹ eyi ti nkan wọnyi yoo dara julọ. Nítorí náà, àsọtẹ́lẹ̀ èyíkéyìí tí mo bá sọ yóò jẹ́ òtítọ́ fún ìgbà díẹ̀, lẹ́yìn náà yóò sì tún jẹ́ èké fún ìgbà díẹ̀, lẹ́yìn náà yóò sì jẹ́ òtítọ́ lẹ́ẹ̀kan sí i.

Alexey: Bawo ni o ṣe wọpọ fun ile-iṣẹ pe diẹ ninu awọn imọran bori fun ọpọlọpọ awọn ewadun ati padanu ni atẹle? Njẹ awọn apẹẹrẹ miiran ti iru awọn iyipada igbakọọkan bi?

Maurice: Lori koko-ọrọ ti iširo pinpin, awọn eniyan wa ti o gbagbọ pín iranti ati awọn eniyan ti o gbagbọ fifiranṣẹ. Ni ibẹrẹ, ni iširo pinpin, iširo afiwera tumọ si fifiranṣẹ. Lẹhinna ẹnikan ṣe awari pe o rọrun pupọ lati ṣe eto pẹlu iranti pinpin. Apa idakeji sọ pe iranti pinpin jẹ idiju pupọ, nitori pe o nilo awọn titiipa ati iru bẹ, nitorinaa o tọ lati lọ si awọn ede nibiti nkankan bikoṣe ifiranšẹ ti n kọja larọwọto wa. Ẹnikan wo ohun ti o jade ninu eyi o si sọ pe, “Iro ohun, imuse fifiranṣẹ yii dabi pupọ bi iranti pinpin, nitori pe o ṣẹda ọpọlọpọ ati ọpọlọpọ awọn modulu kekere wọnyi, wọn fi awọn ifiranṣẹ ranṣẹ si ara wọn, gbogbo wọn interlock"Jẹ ki a ṣe aaye data iranti pinpin to dara julọ!" Gbogbo awọn yi ti wa ni tun lori ati lori lẹẹkansi, ati awọn ti o jẹ soro lati so pe ọkan ninu awọn ẹni ni pato ọtun. Apa kan yoo jẹ gaba lori nigbagbogbo nitori ni kete ti ọkan ninu wọn ti fẹrẹ bori, awọn eniyan leralera ṣẹda awọn ọna lati mu ekeji dara si.

Awọn aworan ti kikọ Brittle Multithreaded koodu

Alexey: Eyi jẹ igbadun pupọ. Fun apẹẹrẹ, nigba ti a ba kọ koodu, laibikita ede siseto, a nigbagbogbo ni lati ṣẹda awọn abstractions bi awọn sẹẹli ti o le ka ati kọ. Ṣugbọn ni otitọ, ni ipele ti ara, eyi le dabi fifiranṣẹ ifiranṣẹ lori ọkọ akero ohun elo kan laarin awọn kọnputa oriṣiriṣi ati awọn ẹrọ miiran. O wa ni pe iṣẹ n ṣẹlẹ ni awọn ipele mejeeji ti abstraction ni ẹẹkan.

Maurice: O jẹ otitọ ni pipe pe iranti pinpin jẹ itumọ lori gbigbe ifiranṣẹ - awọn ọkọ akero, awọn caches, ati bẹbẹ lọ. Ṣugbọn o ṣoro lati kọ awọn eto nipa lilo fifiranṣẹ ifiranṣẹ, nitorinaa ohun elo naa mọọmọ purọ, n dibọn pe o ni iru iranti aṣọ kan. Eyi yoo jẹ ki o rọrun fun ọ lati kọ awọn eto ti o rọrun, ti o tọ ṣaaju iṣẹ ṣiṣe bẹrẹ lati bajẹ. Lẹhinna iwọ yoo sọ: o dabi pe o to akoko lati ṣe awọn ọrẹ pẹlu kaṣe naa. Ati lẹhinna o bẹrẹ lati ṣe aniyan nipa ipo ti kaṣe, ati lati ibẹ o lọ. Ni ọna kan, o n gige awọn abstraction: o mọ pe kii ṣe alapin nikan, iranti aṣọ, ati pe iwọ yoo lo imọ yẹn lati kọ awọn eto ọrẹ-kaṣe. Eyi ni ohun ti iwọ yoo ni lati ṣe ni awọn iṣoro gidi. Rogbodiyan yii laarin didùn, rọrun, abstraction ti o wuyi ti o ti fun ni ati imuse idiju ti o buruju ti ohun elo amuye ni ibiti gbogbo eniyan yoo ṣe adehun tiwọn. Mo ni iwe kan nipa multiprocessors ati amuṣiṣẹpọ, ati ni akoko kan Emi yoo kọ ipin kan lori awọn ẹya data ninu java.util.concurrent. Ti o ba wo wọn, awọn nkan bii awọn akojọ pẹlu foo Iwọnyi jẹ awọn iṣẹ-ọnà iyalẹnu. (Akiyesi Olootu: Awọn ti o faramọ ede Java yẹ ki o kere ju wo imuse naa Àkókò SkipListMap, o le wo awọn ọna asopọ ni API и orisun koodu). Ṣugbọn lati oju-iwoye mi, yoo jẹ aibikita lati fi wọn han si awọn ọmọ ile-iwe, nitori iru eto data kan jẹ iru bii eniyan kan ninu Sakosi kan ti n ṣiṣẹ lori okun lile lori ọfin agbateru kan. Ti o ba yipada paapaa alaye kekere kan, gbogbo eto yoo ṣubu. Koodu yii yara pupọ ati yangan nitori pe o ti kọ ni pipe, ṣugbọn iyipada diẹ yoo ja si ikuna pipe. Ti MO ba fun koodu yii gẹgẹbi apẹẹrẹ si awọn ọmọ ile-iwe, wọn yoo sọ lẹsẹkẹsẹ: Emi naa le ṣe iyẹn paapaa! Ati lẹhinna diẹ ninu awọn ọkọ ofurufu yoo kọlu tabi riakito iparun yoo gbamu, ati pe Emi yoo jẹbi ti fifun wọn ni alaye pupọ ni akoko ti ko tọ.

Alexey: Nigbati mo jẹ ọdọ diẹ, ọpọlọpọ igba Mo gbiyanju lati ṣe iwadi koodu orisun Doug Lee, fun apẹẹrẹ, java.util.concurrent, nitori pe o jẹ orisun ṣiṣi, o rọrun pupọ lati wa ati gbiyanju lati loye ohun ti n ṣẹlẹ nibẹ. Ko yipada daradara: nigbagbogbo, ko ṣe akiyesi idi ti Doug pinnu lati ṣe nkan ni ọna yii nigbati gbogbo eniyan miiran n ṣe ni oriṣiriṣi. Bawo ni o ṣe ṣe alaye nkan wọnyi fun awọn ọmọ ile-iwe rẹ? Njẹ ọna ti o pe ni pato lati ṣe apejuwe awọn alaye pato ti algorithm hardcore, fun apẹẹrẹ? Bawo ni o ṣe ṣe eyi?

Maurice: Awọn olukọ iyaworan ni cliché ti wọn ranti akọkọ: ti o ba fẹ fa bi Picasso, o nilo akọkọ lati kọ bi o ṣe le fa awọn aworan ti o rọrun, ati pe nigbati o ba mọ awọn ofin o le bẹrẹ fifọ wọn. Ti o ba bẹrẹ nipa fifọ awọn ofin lẹsẹkẹsẹ, o pari ni idotin kan. Ni akọkọ, Mo kọ awọn ọmọ ile-iwe bi o ṣe le kọ rọrun, koodu ti o tọ laisi aibalẹ nipa iṣẹ ṣiṣe. Ohun ti Mo n sọ ni pe awọn ọran akoko idiju wa nibi, nitorinaa maṣe yọ ara rẹ lẹnu nipa awọn caches, maṣe yọ ara rẹ lẹnu nipa awọn awoṣe iranti, rii daju pe ohun gbogbo ṣiṣẹ ni deede. Eyi ti nira tẹlẹ: siseto igbalode ko rọrun funrarẹ, paapaa fun awọn ọmọ ile-iwe tuntun. Ati pe nigba ti wọn ba ni oye nipa bi o ṣe le kọ awọn eto to tọ, Mo sọ: wo awọn imuṣẹ spinlock meji wọnyi: ọkan jẹ o lọra pupọ, ati keji kii ṣe pupọ, ṣugbọn dara julọ. Sibẹsibẹ, ni mathematiki awọn algoridimu meji jẹ kanna. Ni otitọ, ọkan ninu wọn lo agbegbe kaṣe. Ọkan ninu wọn nṣiṣẹ lori data ti a fipamọ ni agbegbe, ati ekeji n ṣe awọn iṣẹ leralera kọja ọkọ akero naa. O ko le kọ koodu daradara ti o ko ba loye ohun ti o jẹ, ati pe o ko mọ bi o ṣe le fọ ifọkasi naa ki o wo eto ipilẹ. Ṣugbọn iwọ kii yoo ni anfani lati bẹrẹ ṣiṣe eyi lẹsẹkẹsẹ. Awọn eniyan wa ti o bẹrẹ ṣiṣe eyi lẹsẹkẹsẹ ti wọn gbagbọ ninu oloye tiwọn, nigbagbogbo o pari ni buburu nitori pe wọn ko loye awọn ipilẹ. Ko si ẹnikan ti o fa bi Picasso tabi kọ awọn eto bii Doug Lee alabapade ti kọlẹji ni ọsẹ akọkọ rẹ. O gba awọn ọdun lati de ipele imọ yii.

Alexey: O wa ni pe o pin iṣoro naa si awọn ẹya meji: akọkọ jẹ atunṣe, ekeji jẹ iṣẹ?

Kọ́lá: Kódà. Ati, ni pato ni aṣẹ yẹn. Apakan iṣoro naa ni pe awọn ọmọ ile-iwe tuntun ko loye pe atunṣe jẹ soro lati ṣaṣeyọri. Ni wiwo akọkọ wọn sọ pe: O han gbangba pe eyi jẹ deede, gbogbo ohun ti o ku ni lati yara. Nitorinaa nigbakan Mo sọ fun wọn nipa algorithm ti ko tọ lakoko bi ẹni pe o tọ.

Bii o ṣe le kọ awọn ọmọ ile-iwe lati kọ koodu multithreaded eka

Alexey: O kan lati rii boya wọn le mọ ohun mimu naa?

Maurice: Mo nigbagbogbo kilo ni ilosiwaju pe nigbami Emi yoo daba awọn algoridimu ti ko tọ. O yẹ ki o ko tan eniyan. Mo daba pe wọn gba alaye naa pẹlu ọkà iyọ. Ti MO ba sọ nkan kan ki o sọ pe: “wo, o han gedegbe pe eyi jẹ deede” - eyi jẹ ifihan agbara pe ibikan ni wọn n gbiyanju lati tan ọ jẹ, ati pe o yẹ ki o bẹrẹ awọn ibeere. Lẹ́yìn náà, mo máa ń gbìyànjú láti gba àwọn akẹ́kọ̀ọ́ níyànjú pé kí wọ́n máa bá a nìṣó ní bíbéèrè àwọn ìbéèrè, mo sì dábàá pé, “Kí ló máa ṣẹlẹ̀ tá a bá fi àwọn nǹkan sílẹ̀ bí wọ́n ṣe rí?” Ati pe wọn rii aṣiṣe lẹsẹkẹsẹ. Ṣugbọn awọn ọmọ ile-iwe ti o ni idaniloju pe wọn nilo lati ṣe aibalẹ nipa titọ jẹ diẹ sii nira pupọ ju ti o dabi ni wiwo akọkọ. Pupọ ninu awọn ọmọ ile-iwe wọnyi wa pẹlu iriri siseto ni ile-iwe giga, diẹ ninu awọn ti ni awọn iṣẹ ti wọn ti ṣe siseto nibẹ, ati pe gbogbo wọn ni igboya. Eyi jẹ nkan bi ọmọ ogun: o ni akọkọ lati yi iṣesi wọn pada lati le da wọn loju lati fi sùúrù sunmọ awọn iṣoro ti o dide. Tabi boya o dabi awọn ẹlẹsin Buddhist: akọkọ wọn kọ ẹkọ lati ronu nipa titọ, ati ni kete ti wọn ba loye awọn ọna ti ironu nipa titọ, wọn gba wọn laaye lati lọ si ipele ti atẹle ati bẹrẹ aibalẹ nipa iṣẹ ṣiṣe.

Alexey: Iyẹn ni, nigbami o ṣe afihan awọn ọmọ ile-iwe ti kii ṣe awọn apẹẹrẹ ti n ṣiṣẹ, o ṣeun si eyiti o gba esi ti o fihan boya wọn loye pataki ti iṣoro naa, boya wọn le rii koodu ti ko tọ ati abajade aṣiṣe. Nitorinaa, ṣe awọn ọmọ ile-iwe nigbagbogbo jẹ ki inu rẹ dun tabi ibanujẹ?

Maurice: Ó fẹ́rẹ̀ẹ́ jẹ́ pé àwọn akẹ́kọ̀ọ́ máa ń rí àṣìṣe náà. Ti wọn ba wa laiyara, Mo beere awọn ibeere asiwaju, ati pe nibi o ṣe pataki lati ni oye pe ti o ko ba tan wọn jẹ, wọn yoo bẹrẹ lati ni oye awọn ọrọ rẹ lainidi bi otitọ to gaju. Lẹhinna wọn yoo rẹwẹsi ati bẹrẹ sun oorun lakoko kika Facebook lori kọǹpútà alágbèéká wọn lakoko kilasi. Ṣugbọn nigba ti o ba sọ fun wọn tẹlẹ pe wọn yoo tan wọn jẹ, ati pe wọn yoo dabi aṣiwere ti wọn ko ba ni oye ẹtan, wọn di iṣọra diẹ sii. Eyi dara ni awọn ọna oriṣiriṣi. Emi yoo fẹ ki awọn ọmọ ile-iwe kii ṣe ibeere oye wọn nikan ti ọran naa, ṣugbọn tun beere aṣẹ ti olukọ. Ero naa ni pe ọmọ ile-iwe le gbe ọwọ wọn soke nigbakugba ki o sọ pe: Mo ro pe ohun ti o kan sọ jẹ aṣiṣe. O jẹ irinṣẹ ikẹkọ pataki. Emi ko fẹ ki eyikeyi ninu awọn ọmọ ile-iwe joko ati ni idakẹjẹ ronu fun ara wọn: gbogbo eyi dabi ọrọ isọkusọ pipe, ṣugbọn igbega ọwọ rẹ jẹ ẹru pupọ, ati pe lonakona, o jẹ ọjọgbọn, nitorinaa ohun gbogbo ti o sọ ni otitọ. Nítorí náà, tí wọ́n bá kìlọ̀ fún wọn ṣáájú pé kì í ṣe gbogbo ohun tí wọ́n sọ ló jẹ́ òótọ́, wọ́n ní ìwúrí láti túbọ̀ fiyè sí ohun tí wọ́n ń kọ́. Mo jẹ ki o ye wa pe o dara lati gbe ọwọ rẹ soke ki o beere awọn ibeere. Ibeere rẹ le dabi aṣiwere tabi aimọgbọnwa, ṣugbọn eyi jẹ igbagbogbo bii awọn ibeere ti o dara julọ ṣe dide.

Alexey: Iyanu pupọ. Nigbagbogbo awọn eniyan ni diẹ ninu iru idena ọpọlọ ti ko gba wọn laaye lati beere ibeere kan si ọjọgbọn kan. Paapa ti ọpọlọpọ eniyan ba wa ninu yara naa, ati pe gbogbo eniyan bẹru pe jiroro lori ibeere aṣiwere rẹ yoo gba gbogbo akoko awọn eniyan wọnyi. Ṣe awọn ẹtan eyikeyi wa lati koju eyi?

Maurice: Mo sábà máa ń dá dúró, mo sì máa ń béèrè àwọn ìbéèrè tó jẹ mọ́ ọn. Boya gbólóhùn kan yoo jẹ deede, tabi bi wọn ṣe le yanju iṣoro ti a n sọrọ. Eyi jẹ iṣe bọtini, paapaa ni ibẹrẹ ẹkọ nigbati awọn eniyan ba tiju lati sọ paapaa ohun ti o kere julọ. O beere awọn ọmọ ile-iwe ibeere kan ko sọ ohunkohun siwaju sii. O wa ni ipalọlọ, gbogbo eniyan ni iṣoro diẹ, ẹdọfu naa dagba, lẹhinna lojiji ẹnikan ko le duro, o fọ silẹ o si sọ idahun naa. Eyi ni bii o ṣe yi ipo naa pada: tẹsiwaju lati dakẹ di iṣoro ati aibalẹ ju idahun lọ! Eyi jẹ ẹtan ikẹkọ ti o ṣe deede. Gbogbo olukọ ni agbaye yẹ ki o mọ bi o ṣe le ṣe eyi.

Alexey: Bayi a ni akọle ti o dara julọ fun ifọrọwanilẹnuwo yii: “o rọrun lati dahun ju lati dakẹ.”

Vitaly: Jẹ ki n beere lẹẹkansi. O n ṣiṣẹ lori awọn ẹri topological. Bawo ni o ṣe paapaa kopa ninu eyi, nitori iṣiro pinpin ati topology jẹ awọn nkan ti o yatọ patapata!

Maurice: Ìsopọ̀ tó fara sin wà níbẹ̀. Nígbà tí mo jẹ́ akẹ́kọ̀ọ́ tó ń kẹ́kọ̀ọ́ ìṣirò, mo kẹ́kọ̀ọ́ ìmọ̀ ìṣirò funfun. Emi ko ni ifẹ gidi si awọn kọnputa titi awọn ẹkọ mi ti de opin ati pe Mo rii pe MO dojukọ iwulo titẹ lati wa iṣẹ kan. Gẹgẹbi ọmọ ile-iwe Mo kọ ẹkọ topology algebra. Ọpọlọpọ ọdun nigbamii, lakoko ti o n ṣiṣẹ lori iṣoro ti a npe ni "k-Ṣeto Iṣoro Adehun", Mo lo awọn aworan lati ṣe apẹẹrẹ iṣoro naa ati, bi o ṣe dabi pe ni akoko yẹn, Mo ti rii ojutu kan. O kan ni lati joko ki o lọ yika kika naa. Gbiyanju lati wa idahun to dara lori aworan yii. Ṣugbọn algorithm mi ko ṣiṣẹ: o wa ni jade pe oun yoo ṣiṣẹ ni awọn iyika lailai. Laanu, gbogbo eyi ko le ṣe alaye ni ede deede ti ẹkọ awọn aworan - eyi ti gbogbo awọn onimọ-jinlẹ kọnputa mọ. Ati lẹhinna Mo ranti pe ọpọlọpọ ọdun sẹyin, pada ni awọn kilasi topology, a lo ero naa "eka ti o rọrun", eyi ti o jẹ akojọpọ awọn aworan si awọn iwọn ti o ga julọ. Lẹhinna Mo beere lọwọ ara mi: kini yoo ṣẹlẹ ti a ba ṣe atunṣe iṣoro naa ni awọn ofin ti awọn eka ti o rọrun? Eyi di akoko bọtini. Nipa lilo formalism ti o lagbara diẹ sii, iṣoro naa lojiji di rọrun pupọ. Awọn eniyan ja si i fun igba pipẹ, ni lilo awọn aworan, ṣugbọn wọn ko le ṣe ohunkohun. Ati paapaa bayi wọn ko le - idahun ti o pe ko jẹ algoridimu, ṣugbọn ẹri ti ko ṣeeṣe lati yanju iṣoro naa. Iyẹn ni, iru algorithm kan ko si tẹlẹ. Sugbon gbogbo ẹri ti ko ṣeeṣe da lori awọn eka ti o rọrun tabi lori awọn nkan ti eniyan ṣe bi ẹni pe wọn ko gbero awọn eka irọrun. Nitoripe o pe nkan ni orukọ titun, ko padanu pataki rẹ.

Vitaly: O wa ni jade ti o wà kan orire?

Maurice: Yàtọ̀ sí oríire, ó tún jẹ́ iyọọda. Eyi tumọ si pe o ko yẹ ki o gbagbe awọn ohun “asan” ti o kọ tẹlẹ. Awọn ohun asan diẹ sii ti o kọ, awọn imọran diẹ sii ti o le jade nigbati o ba dojuko iṣoro tuntun kan. Iru iru ilana imudara imudara yii jẹ pataki nitori ... Jẹ ki a ṣe eyi, eyi jẹ pq: ni akọkọ Mo ṣe awari pe awọn aworan ko ṣiṣẹ rara tabi ko ṣiṣẹ rara, o leti mi nkankan lati awọn iṣẹlẹ ti mẹjọ. awọn ọdun sẹyin ati awọn ọdun ọmọ ile-iwe mi, nigba ti a kẹkọọ gbogbo awọn eka irọrun wọnyi. Eyi ni ọna gba mi laaye lati wa iwe-ẹkọ topology atijọ mi ati gbe e pada si ori mi. Ṣugbọn ti kii ba ṣe fun imọ atijọ yẹn, Emi kii yoo ti ni ilọsiwaju eyikeyi ni yiyanju iṣoro atilẹba naa.

Atilẹjade tuntun ti iwe naa “Aworan ti Awọn siseto Multiprocessor”

Alexey: O sọ awọn ọrọ diẹ nipa iwe rẹ. Boya kii ṣe aṣiri ti o buru julọ pe o kọ iwe olokiki julọ ni agbaye lori multithreading, "Aworan ti siseto Multiprocessor". O ti fẹrẹ to ọdun 11 tẹlẹ ati lati igba naa o ti tu silẹ nikan tunwo atunkọ. Ṣe atẹjade keji yoo wa?

Maurice: Ó dáa pé o béèrè! Yoo jẹ laipẹ, ni oṣu mẹta tabi bii bẹẹ. Awọn onkọwe meji ni o wa, a ṣafikun ohun elo pupọ diẹ sii, ilọsiwaju apakan lori orita / darapọ mọ parallelism, kowe apakan kan lori MapReduce, ṣafikun ọpọlọpọ awọn nkan tuntun ati sọ awọn nkan ti ko wulo jade - nkan ti o nifẹ pupọ ni akoko kikọ akọkọ àtúnse, sugbon ko si ohun to wa loni. Abajade jẹ iwe ti a ṣe atunṣe pupọ.

Alexey: Ohun gbogbo ti ṣe tẹlẹ, gbogbo ohun ti o ku ni lati tu silẹ?

Kọ́lá: Àwọn orí méjì ṣì nílò iṣẹ́ díẹ̀. Atẹjade wa (ẹniti Mo ro pe o ti korira wa tẹlẹ) tun n gbiyanju lati gba ifiranṣẹ naa kọja pe o yẹ ki a ṣiṣẹ ni iyara. A ni o wa jina sile iṣeto. Ni imọ-jinlẹ, a le ti ṣe iwe yii ni ọdun meji sẹyin.

Alexey: Eyikeyi aye lati gba ẹya tuntun ti iwe ṣaaju Keresimesi?

Maurice: Eyi ni ibi-afẹde wa! Ṣugbọn Mo ti sọ asọtẹlẹ iṣẹgun ni ọpọlọpọ igba ti ko si ẹnikan ti o gba mi gbọ mọ. Boya o yẹ ki o ko gbẹkẹle mi pupọ ninu ọrọ yii boya.

Alexey: Ni eyikeyi idiyele, eyi jẹ awọn iroyin ikọja. Mo feran gan àtúnse akọkọ ti iwe. O le sọ pe olufẹ ni mi.

Maurice: Mo nireti pe ẹda tuntun yoo yẹ fun itara gbigbona rẹ, o ṣeun!

Bawo ni Idunadura Iranti a se

Vitaly: Ibeere ti o tẹle jẹ nipa iranti iṣowo. Gẹgẹ bi o ti ye mi, iwọ jẹ aṣaaju-ọna ni aaye yii, o ṣẹda rẹ ni akoko ti ko si ẹnikan ti o ronu nipa iru awọn nkan bẹẹ. Kini idi ti o pinnu lati lọ si aaye yii? Kini idi ti awọn iṣowo ṣe dabi ẹni pataki si ọ? Njẹ o ro pe ni ọjọ kan wọn yoo ṣe imuse ni ohun elo?

Maurice: Mo ti mọ nipa awọn iṣowo lati awọn ọjọ iwadii ile-ẹkọ giga mi.

Vitaly: Bẹẹni, ṣugbọn iwọnyi jẹ awọn iṣowo oriṣiriṣi!

Maurice: Mo ṣiṣẹ pẹlu Elliott Moss lori ikojọpọ idoti ti kii ṣe idilọwọ. Iṣoro wa ni pe a fẹ lati yi awọn ọrọ diẹ pada ni atomiki ni iranti ati lẹhinna awọn algoridimu yoo di irọrun pupọ, ati pe o kere ju diẹ ninu wọn yoo di daradara siwaju sii. Lilo afiwe-ati-siwopu fun fifuye-ọna asopọ / itaja-ni àídájúti a pese nipasẹ faaji ti o jọra, o ṣee ṣe lati ṣe nkan kan, ṣugbọn o jẹ aiṣedeede pupọ ati ẹgbin nitori iwọ yoo ni lati koju awọn ipele ti aibikita. Mo fẹ yi awọn ọrọ iranti pada ati pe Mo nilo lati yipada nitori pe MO le yi ijuboluwo kan nikan, nitorinaa wọn nilo lati tọka si iru ilana-bii ilana. A sọrọ nipa bawo ni yoo ṣe jẹ nla ti a ba le yi ohun elo pada ki o le ṣe gbigbasilẹ nigbakanna. Elliott dabi ẹni pe o ti ṣe akiyesi eyi: ti o ba wo awọn ilana isọdọkan kaṣe, wọn ti pese pupọ julọ iṣẹ ṣiṣe ti o nilo. Ninu idunadura ireti, ilana isọdọkan kaṣe yoo ṣe akiyesi pe ija akoko kan wa ati pe kaṣe naa yoo di. aiṣedeede. Kini yoo ṣẹlẹ ti o ba n ṣe iṣowo ni akiyesi lori kaṣe rẹ ati lo awọn ilana ilana isomọ lati ṣawari awọn ija? Speculative hardware faaji je rọrun lati ṣe ọnà. Nitorinaa a kọ iyẹn awọn gan akọkọ atejade nipa iranti idunadura. Ni akoko kanna, ile-iṣẹ ti Mo n ṣiṣẹ fun, Digital Equipment Corporation, n ṣẹda ero isise 64-bit tuntun ti a pe ni Alpha. Nitorinaa Mo lọ fun igbejade kan si ẹgbẹ idagbasoke Alpha nipa iranti idunadura iyalẹnu wa ati pe wọn beere: Elo owo-wiwọle afikun ti ile-iṣẹ wa yoo gba ti a ba ṣafikun gbogbo eyi taara si ero isise naa? Ati pe Emi ko ni idahun rara si eyi, nitori Mo jẹ onimọ-ẹrọ, Emi kii ṣe alamọja titaja. Mo gan ko ni nkankan lati dahun. Wọn ko ni itara pupọ pe Emi ko mọ ohunkohun.

Vitaly: ọkẹ àìmọye! Kan sọ ọkẹ àìmọye!

Maurice: Bẹ́ẹ̀ ni, ohun tó yẹ kí n sọ nìyẹn. Bayi, ni ọjọ ori ti awọn ibẹrẹ ati ohun gbogbo, Mo mọ bi a ṣe le kọ eto iṣowo kan. Ti o le purọ diẹ nipa iwọn èrè ti o pọju rẹ. Ṣùgbọ́n ní àwọn ọjọ́ wọ̀nyẹn, ó dà bí ẹni pé kò bọ́gbọ́n mu, nítorí náà mo kàn sọ pé, “Mi ò mọ̀.” Ti o ba wo itan-akọọlẹ ti ikede lori iranti iṣowo, iwọ yoo ṣe akiyesi pe lẹhin ọdun kan ọpọlọpọ awọn itọkasi si rẹ, ati lẹhinna fun bii ọdun mẹwa ko si ẹnikan ti o tọka iwe yii rara. Awọn agbasọ han ni ayika 2004, nigbati otitọ olona-mojuto han. Nigbati awọn eniyan ṣe awari pe kikọ koodu afiwe le ṣe owo, iwadii tuntun bẹrẹ. Ravi Rajwar kowe ohun article, eyi ti o ni diẹ ninu awọn ọna ti o ṣe afihan ero ti iranti iṣowo si ojulowo. (Akiyesi Olootu: Ẹya keji ti nkan yii wa, ti a tu silẹ ni ọdun 2010 ati pe o wa ni ọfẹ bi PDF). Lojiji awọn eniyan rii ni pato bi gbogbo eyi ṣe le ṣee lo, bawo ni awọn algoridimu ibile pẹlu awọn titiipa ṣe le ni iyara. Apẹẹrẹ ti o dara ti nkan ti o ti kọja dabi pe o kan iṣoro ẹkọ ti o nifẹ si. Ati bẹẹni, ti o ba ti beere lọwọ mi ni akoko yẹn boya Mo ro pe gbogbo eyi yoo ṣe pataki ni ojo iwaju, Emi yoo ti sọ: dajudaju, ṣugbọn nigbati gangan ko ṣe kedere. Boya ni ọdun 50? Ni iṣe, eyi yipada lati jẹ ọdun mẹwa nikan. O dara pupọ nigbati o ba ṣe nkan ati lẹhin ọdun mẹwa eniyan ṣe akiyesi rẹ.

Kini idi ti o tọ lati ṣe iwadii ni aaye ti iširo pinpin

Vitaly: Ti a ba sọrọ nipa iwadii tuntun, kini iwọ yoo ni imọran awọn oluka - iširo pinpin tabi ọpọlọpọ-mojuto ati kilode?

Maurice: Awọn ọjọ wọnyi o rọrun lati gba ero isise-pupọ, ṣugbọn o nira lati ṣeto eto pinpin otitọ. Mo bẹrẹ si ṣiṣẹ lori wọn nitori Mo fẹ lati ṣe nkan ti o yatọ si iwe-ẹkọ PhD mi. Eyi ni imọran ti Mo fun nigbagbogbo fun awọn ọmọ ile-iwe tuntun: maṣe kọ ilọsiwaju ti iwe afọwọkọ rẹ-gbiyanju lọ ni itọsọna tuntun. Ati paapaa, multithreading jẹ rọrun. Mo le ṣe idanwo pẹlu orita ti ara mi ti nṣiṣẹ lori kọǹpútà alágbèéká mi laisi dide kuro ni ibusun. Ṣugbọn ti MO ba fẹ lojiji lati ṣẹda eto pinpin gidi, Emi yoo ni lati ṣe ọpọlọpọ iṣẹ, fa awọn ọmọ ile-iwe, ati bẹbẹ lọ. Mo jẹ ọlẹ eniyan ati pe yoo kuku ṣiṣẹ lori ọpọlọpọ-mojuto. Ṣiṣayẹwo lori awọn ọna ṣiṣe-pupọ jẹ tun rọrun ju ṣiṣe awọn adanwo lori awọn ọna ṣiṣe pinpin, nitori paapaa ninu eto pinpin aṣiwere ọpọlọpọ awọn okunfa ti o nilo lati ṣakoso.

Vitaly: Kini o n ṣe ni bayi, ṣe iwadii blockchain? Awọn nkan wo ni o yẹ ki o san ifojusi si akọkọ?

Maurice: Laipẹ farahan gan ti o dara article, eyiti mo kọ papọ pẹlu ọmọ ile-iwe mi, Vikram Saraf, paapaa fun ọrọ kan ni Tokenomcs alapejọ ni Paris ọsẹ mẹta sẹyin. Eyi jẹ nkan kan nipa awọn ọna ṣiṣe pinpin ti o wulo, ninu eyiti a dabaa ṣiṣe Ethereum olona-asapo. Lọwọlọwọ, awọn adehun smart (koodu ti o nṣiṣẹ lori blockchain) ti wa ni ṣiṣe lẹsẹsẹ. A kọ nkan kan tẹlẹ ti o sọrọ nipa ọna lati lo awọn iṣowo akiyesi lati mu ilana naa pọ si. A mu ọpọlọpọ awọn imọran lati iranti iṣowo sọfitiwia ati sọ pe ti o ba jẹ ki awọn imọran wọnyi jẹ apakan ti ẹrọ foju Etherium, lẹhinna ohun gbogbo yoo ṣiṣẹ ni iyara. Ṣugbọn fun eyi o jẹ dandan pe ko si awọn ija data ninu awọn adehun. Ati lẹhinna a ro pe ni igbesi aye gidi ko si iru awọn ija bẹ gaan. Ṣugbọn a ko ni ọna lati wa. Lẹhinna o ṣẹlẹ si wa pe a ti fẹrẹ to ọdun mẹwa ti itan adehun gidi lori ọwọ wa, nitorinaa a da silẹ blockchain Ethereum ati beere lọwọ ara wa: kini yoo ṣẹlẹ ti awọn igbasilẹ itan wọnyi ba ṣiṣẹ ni afiwe? A ri a significant ilosoke ninu iyara. Ni awọn ọjọ ibẹrẹ ti Ethereum, iyara naa pọ si pupọ, ṣugbọn loni ohun gbogbo jẹ diẹ idiju, nitori pe awọn adehun diẹ wa ati pe o ṣeeṣe ti awọn ija lori data ti o nilo serialization ti di giga. Ṣugbọn gbogbo eyi jẹ iṣẹ idanwo pẹlu data itan gidi. Ohun ti o dara julọ nipa blockchain ni pe o ranti ohun gbogbo lailai, nitorina a le pada sẹhin ni akoko ati iwadi ohun ti yoo ṣẹlẹ ti a ba ti lo awọn algorithms oriṣiriṣi lati ṣiṣe koodu naa. Báwo làwọn èèyàn ìgbàanì ṣe máa nífẹ̀ẹ́ sí èrò tuntun wa? Iru iwadi bẹ rọrun pupọ ati igbadun diẹ sii lati ṣe, nitori pe ohun kan wa ti o ṣe abojuto ohun gbogbo ati igbasilẹ ohun gbogbo. Eyi jẹ nkan ti o jọra si imọ-jinlẹ ju si idagbasoke awọn algoridimu.

Njẹ idagbasoke awọn algoridimu duro ati bii o ṣe le tẹsiwaju?

Vitaly: Akoko fun awọn ti o kẹhin o tumq si ibeere! Ṣe o lero bi ilọsiwaju ninu awọn ẹya data ifigagbaga n dinku ni gbogbo ọdun? Ṣe o ro pe a ti de pẹtẹlẹ ni oye wa ti awọn ẹya data tabi awọn ilọsiwaju pataki kan yoo wa? Boya awọn imọran ọlọgbọn kan wa ti o le yi ohun gbogbo pada patapata?

Maurice: A le ti de pẹtẹlẹ kan ni awọn ẹya data fun awọn faaji ibile. Ṣugbọn awọn ẹya data fun awọn faaji tuntun tun jẹ agbegbe ti o ni ileri pupọ. Ti o ba fẹ ṣẹda awọn ẹya data fun, sọ, awọn ohun imuyara ohun elo, lẹhinna awọn ẹya data fun GPU yatọ pupọ si awọn ẹya data fun Sipiyu kan. Nigbati o ba ṣe agbekalẹ awọn ẹya data fun blockchains, o nilo lati hash awọn ege data lẹhinna fi wọn sinu nkan bi Merkle igi, lati dena ayederu. Iṣẹ-ṣiṣe pupọ ti wa ni agbegbe yii laipẹ, pẹlu ọpọlọpọ n ṣe iṣẹ to dara pupọ. Ṣugbọn Mo ro pe ohun ti yoo ṣẹlẹ ni pe awọn ayaworan tuntun ati awọn ohun elo tuntun yoo yorisi awọn ẹya data tuntun. Awọn ohun elo Legacy ati faaji ibile - o le ma wa yara pupọ fun iṣawari mọ. Ṣugbọn ti o ba kuro ni ọna ti o lu ati ki o wo kọja awọn egbegbe, iwọ yoo rii awọn ohun irikuri ti ojulowo ko ṣe ni pataki - iyẹn ni gbogbo nkan moriwu ti ṣẹlẹ gaan.

Vitaly: Nitorinaa, lati le jẹ oniwadi olokiki pupọ, Mo ni lati ṣẹda faaji ti ara mi :)

Maurice: O le “ji” faaji tuntun ti ẹlomiran - o dabi pe o rọrun pupọ!

Ṣiṣẹ ni Brown University

Vitaly: Ṣe o le sọ fun wa diẹ sii nipa Ile-ẹkọ giga BrownNibo ni o ti ṣiṣẹ? A ko mọ pupọ nipa rẹ ni ipo ti imọ-ẹrọ alaye. Kere ju nipa MIT, fun apẹẹrẹ.

Maurice: Ile-ẹkọ giga Brown jẹ ọkan ninu awọn ile-ẹkọ giga ti atijọ julọ ni Amẹrika. Mo ro pe Harvard nikan jẹ agbalagba diẹ. Brown jẹ apakan ti a npe ni Ivy League, eyi ti o jẹ akojọpọ awọn ile-ẹkọ giga mẹjọ julọ. Harvard, Brown, Cornell, Yale, Columbia, Dartmouth, Pennsylvania, Princeton. O ni irú ti atijọ, kekere ati ki o kan bit aristocratic University. Idojukọ akọkọ wa lori eto ẹkọ iṣẹ ọna ominira. Kii ṣe igbiyanju lati dabi MIT, MIT jẹ amọja pupọ ati imọ-ẹrọ. Brown jẹ aaye nla lati kawe Iwe-kikọ Ilu Rọsia tabi Giriki Alailẹgbẹ, ati pe dajudaju, Imọ-ẹrọ Kọmputa. O fojusi lori okeerẹ eko. Pupọ julọ awọn ọmọ ile-iwe wa lọ si Facebook, Apple, Google - nitorinaa Mo ro pe awọn ọmọ ile-iwe wa ko ni iṣoro wiwa iṣẹ ni ile-iṣẹ naa. Mo lọ ṣiṣẹ ni Brown nitori Mo ti ṣiṣẹ tẹlẹ ni Digital Equipment Corporation ni Boston. Eyi jẹ ile-iṣẹ kan ti o ṣẹda ọpọlọpọ awọn nkan ti o nifẹ, ṣugbọn sẹ pataki awọn kọnputa ti ara ẹni. Ile-iṣẹ kan ti o ni ayanmọ ti o nira, ti awọn oludasilẹ rẹ jẹ ọdọ awọn oniyipo nigbakan, wọn ko kọ nkankan ko gbagbe nkankan, nitorinaa wọn yipada lati awọn oniyi pada si awọn oludahun laarin ọdun mejila. Wọn nifẹ lati ṣe awada pe awọn kọnputa ti ara ẹni wa ninu gareji — gareji ti a ti kọ silẹ, dajudaju. O han gbangba pe wọn parun nipasẹ awọn ile-iṣẹ rọ diẹ sii. Nigbati o han gbangba pe ile-iṣẹ naa wa ninu wahala, Mo pe ọrẹ mi kan ni Brown, eyiti o jẹ bii wakati kan ni ita Boston. Emi ko fẹ lati lọ kuro ni Boston ni akoko yẹn nitori pe ko si ọpọlọpọ awọn ṣiṣi ni awọn ile-ẹkọ giga miiran. Eyi jẹ akoko ti ko si ọpọlọpọ awọn iṣẹ ni Imọ-ẹrọ Kọmputa bi o ti wa ni bayi. Ati Brown ni ṣiṣi, Emi ko ni lati gbe ile mi, Emi ko ni lati gbe idile mi, ati pe Mo nifẹ pupọ lati gbe ni Boston! Bí mo ṣe pinnu láti lọ sí Brown nìyẹn. Mo fẹran rẹ. Awọn ọmọ ile-iwe jẹ iyanu, nitorina Emi ko gbiyanju paapaa lati lọ si ibomiran. Lakoko isimi mi, Mo ṣiṣẹ ni Microsoft fun ọdun kan, Mo lọ si Technion ni Haifa fun ọdun kan, ati ni bayi Emi yoo wa ni Algorand. Mo ni ọpọlọpọ awọn ẹlẹgbẹ nibi gbogbo ati nitori naa ipo ti ara ti awọn yara ikawe wa ko ṣe pataki bẹ. Ṣugbọn ohun pataki julọ ni awọn ọmọ ile-iwe, wọn dara julọ nibi. Emi ko gbiyanju lati lọ si ibomiran nitori pe inu mi dun pupọ nibi.

Sibẹsibẹ pelu olokiki Brown ni Amẹrika, o jẹ iyalẹnu aimọ ni okeere. Bi o ti le rii, Mo n ṣe gbogbo ohun ti o ṣee ṣe lati ṣe atunṣe ipo ti ọrọ yii.

Iyatọ laarin iwadi ni ile-ẹkọ giga ati laarin ile-iṣẹ kan

Vitaly: O dara, ibeere ti o tẹle jẹ nipa Ohun elo oni-nọmba. O wa nibẹ bi oluwadii. Kini iyatọ laarin ṣiṣẹ ni ẹka R&D ti ile-iṣẹ nla kan ati ṣiṣẹ ni ile-ẹkọ giga kan? Kini awọn anfani ati alailanfani?

Maurice: Fun ogún ọdun ni mo ṣiṣẹ ni Microsoft, ṣiṣẹ ni pẹkipẹki pẹlu awọn oṣiṣẹ ti Sun Microsystems, Oracle, Facebook, ati bayi Algorand. Da lori gbogbo eyi, Mo fẹ sọ pe o ṣee ṣe lati ṣe iwadii kilasi akọkọ mejeeji ni awọn ile-iṣẹ ati ni awọn ile-ẹkọ giga. Iyatọ pataki ni pe ni ile-iṣẹ kan o ṣiṣẹ pẹlu awọn ẹlẹgbẹ. Ti Mo ba ni imọran lojiji fun iṣẹ akanṣe kan ti ko si tẹlẹ, Mo gbọdọ parowa fun awọn ẹlẹgbẹ mi pe eyi jẹ imọran to dara. Ti Mo ba wa ni Brown, lẹhinna Mo le sọ fun awọn ọmọ ile-iwe mi: jẹ ki a ṣiṣẹ lori antigravity! Wọn yoo yala fun ẹlomiran tabi gba iṣẹ akanṣe kan. Bẹẹni, Emi yoo nilo lati wa igbeowosile, Emi yoo nilo lati kọ ohun elo fifunni, ati bẹbẹ lọ. Ni eyikeyi idiyele, ọpọlọpọ awọn ọmọ ile-iwe nigbagbogbo yoo wa, ati pe iwọ yoo ni anfani lati ṣe awọn ipinnu ni ẹyọkan. Ṣugbọn ni ile-ẹkọ giga o ṣeese kii yoo ṣiṣẹ pẹlu awọn eniyan ti ipele rẹ. Ni agbaye ti iwadii ile-iṣẹ, o ni akọkọ lati parowa fun gbogbo eniyan pe iṣẹ akanṣe rẹ tọsi lati mu. Emi ko le paṣẹ ohunkohun si ẹnikẹni. Ati pe awọn ọna mejeeji wọnyi ti ṣiṣẹ ni o niyelori, nitori ti o ba n ṣiṣẹ lori nkan irikuri gaan ati pe awọn ẹlẹgbẹ rẹ ṣoro lati parowa, o rọrun lati parowa fun awọn ọmọ ile-iwe mewa - paapaa ti o ba n sanwo wọn. Ti o ba n ṣiṣẹ lori nkan ti o nilo iriri pupọ ati oye ti o jinlẹ, lẹhinna o nilo awọn ẹlẹgbẹ ti o le sọ “rara, o kan ṣẹlẹ pe MO loye ni agbegbe yii ati pe imọran rẹ buru, kii yoo ṣiṣẹ.” Eleyi jẹ gidigidi wulo ni awọn ofin ti jafara akoko. Paapaa, ti o ba wa ni awọn ile-iṣẹ ile-iṣẹ o lo akoko pupọ kikọ awọn ijabọ, lẹhinna ni ile-ẹkọ giga kan o lo akoko yii ni igbiyanju lati wa owo. Ti Mo ba fẹ ki awọn ọmọ ile-iwe ni anfani lati lọ si ibikan, Mo ni lati wa owo fun ni ibomiiran. Ati pe ipo rẹ ṣe pataki ni ile-ẹkọ giga, akoko diẹ sii ti o ni lati lo igbega owo. Nitorina bayi o mọ ohun ti Mo ṣiṣẹ fun - alagbe ọjọgbọn! Bi ọkan ninu awọn monks ti o rin ni ayika pẹlu ohun ẹbọ. Ni gbogbogbo, awọn iṣẹ meji wọnyi ṣe iranlowo fun ara wọn. Ti o ni idi ti mo gbiyanju lati gbe ati ki o pa ẹsẹ mi lori ilẹ ni mejeji yeyin.

Vitaly: Ó dà bí ẹni pé yíyẹ ilé iṣẹ́ kan lọ́kàn le ju dídá àwọn onímọ̀ sáyẹ́ǹsì lọ́kàn lọ.

Maurice: O nira sii, ati pupọ diẹ sii. Pẹlupẹlu, ni awọn agbegbe oriṣiriṣi o yatọ: diẹ ninu awọn ṣe iwadi ni kikun, nigba ti awọn miiran dojukọ koko-ọrọ wọn. Ti MO ba lọ si Microsoft tabi Facebook ti mo si sọ pe: jẹ ki a ṣe egboogi-walẹ, wọn kii yoo ni riri rẹ. Ṣugbọn ti MO ba sọ ohun kanna ni pato si awọn ọmọ ile-iwe giga mi, wọn yoo ṣeese lati ṣiṣẹ lẹsẹkẹsẹ, botilẹjẹpe ni bayi Emi yoo ni awọn iṣoro - lẹhinna, Mo nilo lati wa owo fun eyi. Ṣugbọn niwọn igba ti o ba fẹ ṣe nkan ti o ni ibamu pẹlu awọn ibi-afẹde ile-iṣẹ naa, ile-iṣẹ yẹn le jẹ aaye ti o dara pupọ lati ṣe iwadii.

Hydra ati SPTDC

Vitaly: Awọn ibeere mi ti n bọ si opin, nitorina jẹ ki a sọrọ diẹ nipa irin-ajo ti nbọ si Russia.

Kọ́lá: Bẹ́ẹ̀ ni, mo ń fojú sọ́nà láti pa dà sí St.

Alexey: Inu mi dun lati wa pẹlu wa ni ọdun yii. Eyi ni akoko keji rẹ ni St.

Maurice: Tẹlẹ kẹta!

Alexey: Oye mi, ṣugbọn SPTDC – pato awọn keji. Igba ikẹhin ti a pe ile-iwe naa SPTCC, A ti yi lẹta kan pada (C si D, Ni akoko kanna si Pipin) lati fi rinlẹ pe awọn agbegbe diẹ sii ti o ni ibatan si pataki si iṣiro pinpin ni ọdun yii. Ṣe o le sọ awọn ọrọ diẹ nipa awọn ijabọ rẹ ni Ile-iwe ati Hydra alapejọ?

Maurice: Ni Ile-iwe Mo fẹ lati sọrọ nipa awọn ipilẹ ti blockchain ati ohun ti o le ṣe pẹlu rẹ. Emi yoo fẹ lati fi han pe awọn blockchains jẹ iru pupọ si siseto ti ọpọlọpọ-asapo ti a faramọ pẹlu, ṣugbọn pẹlu awọn nuances ti ara wọn, ati pe awọn iyatọ wọnyi ṣe pataki lati ni oye. Ti o ba ṣe aṣiṣe ninu ohun elo wẹẹbu deede, o kan jẹ didanubi. Ti o ba kọ koodu buggy ni ohun elo inawo, ẹnikan yoo dajudaju ji gbogbo owo rẹ. Iwọnyi jẹ awọn ipele ti o yatọ patapata ti ojuse ati awọn abajade. Emi yoo sọrọ diẹ nipa ẹri-ti-iṣẹ, nipa awọn adehun ọlọgbọn, nipa awọn iṣowo laarin awọn oriṣiriṣi blockchains.

Awọn agbohunsoke miiran yoo wa ni ẹgbẹ mi ti wọn tun ni nkan lati sọ nipa blockchain, ati pe a gba lati ṣajọpọ pẹlu ara wa ki awọn itan wa dara pọ daradara. Ṣugbọn fun ijabọ imọ-ẹrọ, Mo fẹ lati sọ fun awọn eniyan ti o gbooro ni oye alaye ti idi ti o ko yẹ ki o gbagbọ ohun gbogbo ti o gbọ nipa awọn blockchains, idi ti blockchains jẹ aaye nla kan, bii o ṣe baamu pẹlu awọn imọran miiran ti a mọ, ati idi ti a fi yẹ ki a fi igboya wo. si ojo iwaju.

Alexey: Ni afikun, Mo fẹ lati sọ pe eyi kii yoo waye ni ọna kika ti ipade tabi ẹgbẹ olumulo, bi o ti jẹ ọdun meji sẹhin. A pinnu lati ṣe apejọ kekere kan nitosi ile-iwe naa. Idi ni pe lẹhin ibaraẹnisọrọ pẹlu Peter Kuznetsov, a ṣe akiyesi pe ile-iwe naa ni opin si ọgọrun nikan, boya 120 eniyan. Ni akoko kanna, ọpọlọpọ awọn onimọ-ẹrọ wa ti o fẹ lati ba ọ sọrọ, lọ si awọn ifarahan, ati pe wọn nifẹ si koko-ọrọ naa ni gbogbogbo. Fun idi eyi a ti ṣẹda apejọ tuntun kan ti a npe ni Hydra. Nipa ona, eyikeyi ero idi Hydra?

Maurice: Nitoripe awọn agbọrọsọ meje yoo wa? Ati pe a le ge ori wọn kuro, ati pe awọn agbọrọsọ tuntun yoo dagba ni aaye wọn?

Alexey: Imọran nla fun idagbasoke awọn agbọrọsọ tuntun. Ṣugbọn ni otitọ, itan kan wa nibi. Ranti itan-akọọlẹ ti Odysseus, nibiti o ni lati lọ laarin Scylla ati Charybdis? Hydra jẹ nkan bi Charybdis. Itan naa ni pe ni kete ti Mo sọrọ ni apejọ kan ati sọrọ nipa multithreading. Awọn orin meji nikan lo wa ni apejọ yii. To bẹjẹeji linlin lọ tọn, n’dọna mẹplidopọ lẹ to plitẹnhọ lọ mẹ dọ yé tindo nudide de to Scylla po Charybdis po ṣẹnṣẹn. Ẹranko ẹmi mi jẹ Charybdis nitori Charybdis ni awọn ori pupọ ati pe akori mi jẹ alapọ-pupọ. Eyi ni bi awọn orukọ ti awọn apejọ ṣe han.

Ni eyikeyi idiyele, a ti pari awọn ibeere ati akoko. Nitorinaa, o ṣeun, awọn ọrẹ, fun ifọrọwanilẹnuwo nla kan, ati rii ọ ni Ile-iwe SPTDC ati Hydra 2019!

O le tẹsiwaju ibaraẹnisọrọ rẹ pẹlu Maurice ni apejọ Hydra 2019, eyiti yoo waye ni Oṣu Keje 11-12, 2019 ni St. Oun yoo wa pẹlu ijabọ kan "Blockchains ati ojo iwaju ti iširo pinpin". Tiketi le ṣee ra lori aaye osise.

orisun: www.habr.com

"O rọrun lati dahun ju lati dakẹ lọ" - ifọrọwanilẹnuwo nla pẹlu baba ti iranti iṣowo, Maurice Herlihy