Michael Scott - fun ọdun 34 gẹgẹbi olukọ ọjọgbọn ti Imọ-ẹrọ Kọmputa ni Ile-ẹkọ giga ti Rochester, ati ni Ile-ẹkọ giga ti ile rẹ ti Wisconsin – Madison o jẹ Diini fun ọdun marun. O ṣe iwadii ati kọ awọn ọmọ ile-iwe nipa isọdọkan ati pinpin kaakiri ati apẹrẹ ede.

Aye mọ Michael lati inu iwe-ẹkọ "Ede Pragmatics siseto", kini nipa iṣẹ "Alugoridimu fun amuṣiṣẹpọ ti iwọn lori awọn oluṣeto-ara-iranti pinpin" gba Dijkstra Prize bi ọkan ninu awọn julọ olokiki ninu awọn aaye ti pin iširo. O tun le mọ ọ bi onkọwe ti algorithm yẹn gan-an Michael-Scott.

Paapọ pẹlu Doug Lee, o ṣe agbekalẹ awọn algoridimu ti kii ṣe idinamọ ati awọn laini amuṣiṣẹpọ ti o ṣe agbara awọn ile-ikawe Java. imuse "Awọn ẹya data meji" ni JavaSE 6 ilọsiwaju iṣẹ nipasẹ awọn akoko 10 ThreadPoolExecutor.

Awọn akoonu:

Ibẹrẹ iṣẹ, University of Rochester. Project Charlotte, Lynx ede;
IEEE Scalable Interface Coherent, MCS titiipa;
Iwalaaye ni aye ti o yipada nigbagbogbo;
Njẹ awọn ọmọ ile-iwe n di aṣiwere bi? Awọn aṣa agbaye, agbaye;
Iṣẹ ṣiṣe ti o munadoko pẹlu awọn ọmọ ile-iwe;
Bii o ṣe le tẹsiwaju pẹlu igbaradi ti awọn iṣẹ ikẹkọ ati awọn iwe tuntun;
Awọn ọna asopọ laarin iṣowo ati ile-ẹkọ giga;
Ilowo imuse ti ero. MCS, MS, CLH, JSR 166, ṣiṣẹ pẹlu Doug Lee ati siwaju sii;
Iranti iṣowo;
New architectures. Iṣẹgun ti iranti iṣowo ti sunmọ;
Iranti ti kii ṣe iyipada, Optane DIMM, awọn ẹrọ ti o yara pupọ;
Nigbamii ti ńlá aṣa. Awọn ẹya data meji. Hydra.

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

Vitaly Aksenov - Lọwọlọwọ postdoc ni IST Austria ati ọmọ ẹgbẹ ti Ẹka ti 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.

Ibẹrẹ iṣẹ, University of Rochester. Charlotte ise agbese, Lynx ede.

Алексей: Lati bẹrẹ pẹlu, Mo fẹ lati sọ fun ọ pe ni Russia gbogbo wa fẹran Imọ-ẹrọ Kọmputa, Imọ-jinlẹ data ati awọn algoridimu. O jẹ aimọkan patapata. A ti ka ohun gbogbo iwe nipasẹ Cormen, Leiserson ati Rivest. Nitorinaa, apejọ ti n bọ, ile-iwe ati ifọrọwanilẹnuwo funrararẹ yẹ ki o jẹ olokiki pupọ. A gba ọpọlọpọ awọn ibeere fun ifọrọwanilẹnuwo yii lati ọdọ awọn ọmọ ile-iwe, awọn pirogirama, ati awọn ọmọ ẹgbẹ agbegbe, nitorinaa a dupẹ pupọ fun anfani yii. Njẹ Imọ-ẹrọ Kọmputa gba ifẹ kanna ni AMẸRIKA?

Йайкл: Aaye wa yatọ, o ni awọn itọnisọna pupọ, ati pe o ni ipa lori awujọ ni ọpọlọpọ awọn ọna ti o ṣoro fun mi lati fun ọ ni idahun pataki kan. Ṣugbọn otitọ ni pe o ti mu awọn ayipada nla wa ni iṣowo, ile-iṣẹ, aworan ati awujọ ni gbogbogbo ni ọgbọn ọdun sẹhin.

Vitaliy: Jẹ ká bẹrẹ pẹlu nkankan ti o jina. Ni ọpọlọpọ awọn ile-ẹkọ giga nibẹ ni nkan bi amọja ni agbegbe kan pato. Fun Ile-ẹkọ giga Carnegie Mellon eyi jẹ iṣiro afiwera, fun MIT o jẹ cryptography, awọn roboti ati multithreading. Njẹ iru iyasọtọ bẹẹ wa ni Ile-ẹkọ giga ti Rochester?

Йайкл: Lati so ooto, Emi yoo sọ pe CMU ati MIT amọja ni gbogbo awọn agbegbe. Ẹka wa ti nigbagbogbo san ifojusi julọ si oye atọwọda. Idaji awọn eniyan ti n ṣiṣẹ fun wa ni o ṣiṣẹ ni AI tabi ibaraenisepo eniyan-kọmputa - ipin yii ga ju ni awọn apa miiran, ati pe o ti jẹ bẹ nigbagbogbo. Sugbon nigba ti mo wa ni University, Emi ko ni eyikeyi courses ni AI, ati ki o Mo ti ko sise ni aaye yi. Nitorina ẹka mi ṣe amọja ni iṣoro ti Emi ko ni nkankan lati ṣe pẹlu. Itunu ni pe iṣoro keji pataki julọ fun ẹka wa ni afiwe ati siseto-asapo pupọ, iyẹn ni, amọja mi.

Vitaliy: O bẹrẹ ṣiṣẹ ni Imọ-ẹrọ Kọmputa nigbati aaye ti siseto olona-asapo ti n yọ jade. Atokọ ti awọn atẹjade rẹ fihan pe awọn iṣẹ akọkọ rẹ ṣe pẹlu ọpọlọpọ awọn ọran ti o gbooro: iṣakoso iranti ni awọn ọna ṣiṣe olona-asapo, awọn eto faili pinpin, awọn ọna ṣiṣe. Idi ti iru versatility? Njẹ o ti n gbiyanju lati wa aaye rẹ ni agbegbe iwadii?

Йайкл: Bi awọn kan akeko, Mo kopa ninu Charlotte ise agbese ni Yunifasiti ti Wisconsin, nibiti ọkan ninu awọn ọna ṣiṣe pinpin akọkọ ti ni idagbasoke. Nibẹ ni mo ṣiṣẹ papọ pẹlu Rafael Finkel (Raphael Finkel) ati Marvin Solomoni (Marvin Solomoni). Iwe afọwọkọ mi ti yasọtọ si idagbasoke ede kan fun sọfitiwia eto fun awọn eto pinpin - ni bayi gbogbo eniyan ti gbagbe rẹ, ati dupẹ lọwọ Ọlọrun. Mo ti ṣẹda ede siseto Lynx, eyiti a pinnu lati jẹ ki o rọrun lati ṣẹda awọn olupin fun ẹrọ ṣiṣe pinpin pinpin lainidi. Níwọ̀n bó ti jẹ́ pé ìgbà yẹn ni mo máa ń lọ́wọ́ nínú àwọn ẹ̀rọ ìṣiṣẹ́, mo rò pé iṣẹ́ ìsìn mi máa jẹ́ ní pàtàkì jù lọ lára wọn. Ṣugbọn Rochester jẹ ile-ẹkọ giga ti o kere pupọ, ati nitori eyi, awọn ẹgbẹ oriṣiriṣi ti o wa nibẹ ṣe ajọṣepọ ni pẹkipẹki pẹlu ara wọn. Ko si mejila mejila awọn ẹrọ ṣiṣe awọn eniyan nibẹ fun mi lati ba sọrọ, nitorina gbogbo awọn olubasọrọ mi wa pẹlu awọn eniyan ti o ṣiṣẹ ni awọn agbegbe ti o yatọ patapata. Mo gbadun rẹ gaan, jije ohun gbogbo-rounder jẹ anfani nla fun mi. Ti a ba sọrọ ni pato nipa awọn ẹya data ti ọpọlọpọ-asapo ati awọn alugoridimu amuṣiṣẹpọ, lẹhinna Mo bẹrẹ ṣiṣẹ lori wọn patapata nipasẹ ijamba.

IEEE Ibaraẹnisọrọ Iṣawọn Scalable, titiipa MCS.

Vitaliy: Ṣe o le sọ fun mi diẹ sii nipa eyi?

Йайкл: Eyi jẹ itan alarinrin ti Emi ko rẹ mi lati sọ fun gbogbo eniyan. O ṣẹlẹ ni apejọ kan ASPLOS ni Boston - eyi wa ni opin awọn ọdun 80 tabi tete awọn 90s. John Mellor-CrummeyJohn Mellor-Crummey), ọmọ ile-iwe giga ti ile-ẹkọ giga wa. Mo mọ ọ, ṣugbọn a ko ti ṣe iwadii apapọ tẹlẹ. Mary Vernon (Mary Vernon) lati Wisconsin fun ọrọ kan nipa eto multiprocessor ti wọn n dagbasoke ni Wisconsin: Wisconsin Multicube. Multicube yii ni ẹrọ amuṣiṣẹpọ ni ipele ohun elo ti a pe ni Q lori Sync Bit, ati lẹhinna o tun lorukọ Q on Lock Bit nitori pe o dun bi warankasi Colby, eyiti o jẹ pun. Ti o ba nifẹ si awọn ọna kika multithreading, o ṣee ṣe ki o mọ pe Colby bajẹ di ẹrọ amuṣiṣẹpọ fun boṣewa IEEE Scalable Coherent Interface. Eyi jẹ ẹrọ titiipa kan ti o ṣẹda awọn itọka lati kaṣe kan si omiiran ni ipele ohun elo ki oludimu titiipa kọọkan mọ tani o jẹ. Nigbati John ati Emi gbọ nipa eyi, a wo ara wa ati pe: kilode ti o ṣe eyi ni ipele ohun elo? Njẹ ohun kanna ko le ṣee ṣe ni lilo afiwe-ati-siwopu? A mú ọ̀kan lára àwọn ìwé ìkẹ́kọ̀ọ́ tí ó dùbúlẹ̀ ní kíláàsì a sì kọ̀wé sí i MCS ìdènà, lakoko ti Maria tẹsiwaju iroyin rẹ. Lẹhinna, a ṣe imuse rẹ, ṣe idanwo, imọran wa jade lati ṣaṣeyọri, a si tẹjade nkan naa. Ni akoko yẹn, fun mi, koko yii dabi idamu igbadun nikan, lẹhin eyi Mo gbero lati pada si awọn ẹrọ ṣiṣe. Ṣugbọn lẹhinna iṣoro miiran pẹlu awọn laini kanna dide, ati nikẹhin mimuuṣiṣẹpọ, multithreading, ati awọn ẹya data di pataki mi. Bi o ti le ri, gbogbo eyi ṣẹlẹ nipasẹ ijamba.

Vitaliy: Mo ti faramọ pẹlu idinamọ MCS fun igba pipẹ, ṣugbọn titi di isisiyi Emi ko mọ pe iṣẹ rẹ ni, ati pe ko loye pe o jẹ adape fun awọn orukọ ti o kẹhin.

Bawo ni lati ye ninu aye ti o yipada nigbagbogbo?

Алексей: Mo ni ibeere kan lori koko ti o jọmọ. 30 tabi 40 ọdun sẹyin ominira diẹ sii wa ni awọn oriṣiriṣi oriṣiriṣi. Ti o ba fẹ bẹrẹ iṣẹ ni multithreading tabi awọn ọna ṣiṣe pinpin, o ṣe itẹwọgba, ti o ba fẹ wọle si awọn ẹrọ ṣiṣe, ko si iṣoro. Ni agbegbe kọọkan ọpọlọpọ awọn ibeere ṣiṣi wa ati awọn amoye diẹ. Awọn amọja dín ti han ni bayi: ko si awọn amoye kan lori awọn ọna ṣiṣe ni gbogbogbo, awọn alamọja wa lori awọn eto kọọkan. O jẹ kanna pẹlu multithreading ati awọn eto pinpin. Ṣugbọn iṣoro naa ni pe igbesi aye wa ko ni ailopin; Bawo ni lati walaaye ninu aye tuntun yii?

Йайкл: A ko ṣe pataki ni ọran yii; Mo ni orire pe Mo bẹrẹ ṣiṣẹ ni Imọ-ẹrọ Kọmputa nigbati aaye naa wa ni awọn ọdun “ọdọ” rẹ. Àwọn ìpìlẹ̀ kan ti wà tẹ́lẹ̀, ṣùgbọ́n ohun gbogbo ṣì jẹ́ aláìpé. Anfani yii ko wa nigbagbogbo. Imọ-ẹrọ itanna ti wa ni ayika fun igba pipẹ pupọ, fisiksi paapaa gun, mathimatiki fẹrẹẹ lati ibẹrẹ akoko. Ṣugbọn eyi ko tumọ si pe ko si ẹnikan ti o ṣe awọn iwadii ti o nifẹ ninu mathimatiki mọ. Ọpọlọpọ awọn iṣoro ṣiṣi ṣi wa, ṣugbọn ni akoko kanna, diẹ sii nilo lati kọ ẹkọ. O tọ lati ṣe akiyesi pe ọpọlọpọ awọn amọja diẹ sii ju ti tẹlẹ lọ, ṣugbọn eyi tumọ si pe a rii ara wa ni ipo kanna bi ọpọlọpọ awọn agbegbe miiran ti iṣẹ eniyan.

Алексей: Mo nifẹ si abala ti o wulo julọ ti ọran naa nibi. Mo ni ipilẹṣẹ mathimatiki, ati lakoko awọn ikẹkọ mi Mo nigbagbogbo lọ si awọn apejọ ati ṣiṣẹ lori ọpọlọpọ awọn akọle imọ-jinlẹ. Mo ṣe awari pe ko si ẹnikan ninu awọn eniyan ti o loye awọn ijabọ mi, ati ni ọna kanna, awọn ijabọ ti awọn eniyan miiran ni oye fun ara wọn nikan. Eyi kii ṣe ọran ni awọn akọle ipele giga, ṣugbọn ni kete ti o ba bẹrẹ lati ṣawari sinu nkan kan, awọn olugbo ko le tọju rẹ mọ. Bawo ni o ṣe ṣe pẹlu eyi?

Йайкл: Ko nigbagbogbo aseyori. Laipẹ Mo pese ijabọ kan ninu eyiti Mo ti jinna pupọ sinu awọn alaye imọ-ẹrọ. Bí ọ̀rọ̀ àsọyé náà ṣe ń lọ, ó wá ṣe kedere pé ọ̀pọ̀ jù lọ àwọn tó wà níbẹ̀ kò lóye mi, torí náà mo ní láti fara balẹ̀ bá ipò náà mu. Awọn ifaworanhan naa ko le yipada, nitorinaa ko tan daradara - nitorinaa, ni gbogbogbo, Mo gbiyanju lati ma lo awọn ifaworanhan. Lapapọ, imọran mi ni lati ṣe akiyesi awọn olugbo rẹ. O nilo lati mọ ẹni ti o n ba sọrọ, kini ipele imọ wọn, ati ohun ti wọn nilo lati gbọ lati ni riri iṣẹ rẹ.

Vitaliy: Ṣe o le fun wa ni ofiri bi si kini ikowe yii jẹ nipa?

Йайкл: Lati so ooto, Emi yoo fẹ lati ma faagun lori koko yii lati le fi awọn eniyan ti o ni ibeere silẹ ni ailorukọ. Kókó náà ni pé a sábà máa ń jinlẹ̀ sí i nínú àwọn ìṣòro tí ìṣòro tí à ń ṣiṣẹ́ lé lórí, nítorí náà, ó máa ń ṣòro fún wa láti ṣàlàyé ní ìbẹ̀rẹ̀ ọ̀rọ̀ náà, ìdí tí ìṣòro náà fi jẹ́ ohun tó fani mọ́ra tó sì ṣe pàtàkì àti bó ṣe kan àwọn ọ̀rọ̀ tó wà níbẹ̀. jepe ti mọ tẹlẹ. Gẹgẹbi awọn akiyesi mi, awọn ọmọ ile-iwe ni akoko ti o nira julọ lati kọ ọgbọn yii. Ati pe eyi tun jẹ aaye alailagbara ti ijabọ aipẹ mi. Ìròyìn tí a ṣètò dáradára yẹ, láti ìbẹ̀rẹ̀pẹ̀pẹ̀, wá ìfarakanra pẹ̀lú àwùjọ, ṣàlàyé fún wọn ohun tí ìṣòro náà jẹ́ gan-an àti bí ó ṣe tan mọ́ àwọn kókó-ẹ̀kọ́ tí a ti mọ̀ tẹ́lẹ̀ sí. Bawo ni iṣafihan imọ-ẹrọ yii ṣe da lori awọn olugbo. Ti o ba jẹ motley patapata, lẹhinna ijabọ naa le jẹ ipele pupọ. Ifihan naa yẹ ki o wa fun gbogbo eniyan, ati ni ipari nkan naa le ma ni anfani lati tọju rẹ, ṣugbọn awọn eniyan ti o faramọ aaye rẹ yoo ni anfani lati ro ero rẹ.

Njẹ awọn ọmọ ile-iwe n di aṣiwere bi? Agbaye lominu, internationalization.

Алексей: O ti n ṣakiyesi awọn ọmọ ile-iwe fun ọpọlọpọ awọn ọdun. Njẹ awọn ọmọ ile-iwe n gba dumber tabi ijafafa lati ọdun mẹwa si ọdun mẹwa tabi ọdun de ọdun? Ni Russia, awọn ọjọgbọn n kerora nigbagbogbo pe awọn ọmọ ile-iwe n gba dumber ni gbogbo ọdun, ati pe ko ṣe alaye gaan kini lati ṣe nipa rẹ.

Йайкл: O le gan gbọ a pupo ti negativity lati wa atijọ eniyan. Laisi mimọ, a ni itara lati nireti awọn ọmọ ile-iwe lati fa gbogbo awọn ọdun 30 ti iriri ti a ti ni tẹlẹ. Ti mo ba ni oye ti o jinlẹ ju ti Mo ṣe lọ ni 1985, kilode ti awọn ọmọ ile-iwe ko ni? Boya nitori pe wọn jẹ ọmọ ọdun 20, kini o ro? Mo ro pe awọn ayipada to ṣe pataki julọ ni awọn ewadun aipẹ ti wa ninu akopọ ẹda eniyan: a ni bayi ni pataki diẹ sii awọn ọmọ ile-iwe kariaye, ayafi ti awọn ara ilu Kanada. Ọpọlọpọ awọn ara ilu Kanada wa tẹlẹ nitori pe a wa nitosi aala Kanada ati pe awọn ọmọ ile-iwe lati ibẹ le rin irin-ajo si ile ni awọn ipari ose. Ṣugbọn ni bayi ọpọlọpọ awọn ile-ẹkọ giga ti o dara ni Ilu Kanada, ati pe awọn ara ilu Kanada fẹ lati kawe nibi ni pataki diẹ ninu wọn wa si AMẸRIKA.

Алексей: Ṣe o ro pe eyi jẹ aṣa agbegbe tabi ọkan agbaye?

Йайкл: Emi ko ranti gangan tani, ṣugbọn ẹnikan sọ pe aye jẹ alapin. Aaye wa ti di pupọ si kariaye. Awọn apejọ ACM Ni iṣaaju, wọn waye ni iyasọtọ laarin Amẹrika, lẹhinna wọn pinnu lati mu wọn lẹẹkan ni gbogbo ọdun 4 ni awọn orilẹ-ede miiran, ati ni bayi wọn waye ni gbogbo agbaye. Awọn iyipada wọnyi kan paapaa diẹ sii IEEE, bi o ti nigbagbogbo ti a diẹ okeere agbari ju ACM. Ati pe awọn ijoko eto wa lati China, India, Russia, Germany ati ọpọlọpọ awọn orilẹ-ede miiran, nitori pe ọpọlọpọ n lọ nibi gbogbo ni bayi.

Алексей: Ṣugbọn, jasi, nibẹ ni o wa diẹ ninu awọn odi ise ti iru internationalization?

Йайкл: Emi yoo sọ pe gbogbo awọn aaye odi ko ni ibatan si imọ-ẹrọ, ṣugbọn si iṣelu. Ni ẹẹkan, iṣoro akọkọ ni otitọ pe AMẸRIKA n ji awọn ọlọgbọn julọ ati awọn eniyan ti o ni oye julọ lati awọn orilẹ-ede kakiri agbaye. Ati nisisiyi iṣoro akọkọ ni awọn ere iṣelu laarin awọn orilẹ-ede oriṣiriṣi ni ayika awọn iwe iwọlu ati iṣiwa.

Алексей: Iyẹn ni, awọn idena ati awọn nkan bii iyẹn. O la gan an ni.

Владимир: Tikalararẹ, Mo nifẹ si iru ọna ti o ṣe nigbati o nkọ koko-ọrọ tuntun si awọn ọmọ ile-iwe. Awọn aṣayan oriṣiriṣi wa: o le gbiyanju akọkọ ti gbogbo lati fun wọn niyanju lati gbiyanju nkan tuntun, tabi o le san ifojusi diẹ sii si awọn alaye ti bii imọ-ẹrọ kan ṣe n ṣiṣẹ. Kini o fẹ?

Munadoko iṣẹ pẹlu omo ile

Алексей: Ati bi o ṣe le rii iwọntunwọnsi damn laarin akọkọ ati keji?

Йайкл: Iṣoro naa ni pe awọn kilasi ko nigbagbogbo lọ bi Emi yoo fẹ. Mo sábà máa ń fún àwọn akẹ́kọ̀ọ́ ní ìwé kíkà ṣáájú kí wọ́n bàa lè rì sínú rẹ̀, kí wọ́n lóye rẹ̀ dé ìwọ̀n àyè kan tí agbára wọn bá pọ̀ sí, kí wọ́n sì ṣe àwọn ìbéèrè nípa àwọn apá wọ̀nyẹn tí wọn kò lè lóye. Lẹhinna ninu kilasi o le dojukọ awọn akoko ti o nira julọ ati ṣawari wọn papọ. Eyi ni bii MO ṣe fẹ lati kọ awọn kilasi pupọ julọ. Ṣùgbọ́n níwọ̀n bí ẹrù iṣẹ́ tí ó wà lórí àwọn akẹ́kọ̀ọ́ nísinsìnyí, èmi kò lè rí i dájú pé wọ́n múra sílẹ̀ ṣáájú. Bi abajade, o ni lati ya akoko pupọ sii si sisọ ọrọ gbogbogbo ju ti o fẹ lọ. Bi o ti lẹ jẹ pe eyi, Mo gbiyanju lati jẹ ki awọn kilasi wa ni ibaraẹnisọrọ. Bibẹẹkọ, o rọrun lati ṣe igbasilẹ fidio ni kete ti awọn ọmọ ile-iwe le lẹhinna wo ni ile. Ojuami ti awọn kilasi laaye jẹ ibaraenisepo eniyan. Ni kilasi, Mo fẹ lati lo chalk ati blackboard kan ju awọn ifaworanhan lọ, ayafi ni awọn igba miiran nigbati aworan kan ba jẹ eka pupọ lati ṣe afihan lori igbimọ. Ṣeun si eyi, Emi ko ni lati faramọ ero ẹkọ lile. Níwọ̀n bó ti jẹ́ pé kò sí ìlànà tó gún régé nínú èyí tí mò ń fúnni ní ohun tó wà nínú rẹ̀, èyí máa ń jẹ́ kí n lè ṣe é fún àwùjọ tó sinmi lórí àwọn ìbéèrè tí mo rí gbà. Ni gbogbogbo, Mo gbiyanju lati ṣe awọn kilasi bi ibaraenisepo bi o ti ṣee ṣe, ki ohun elo ti Mo ṣafihan da lori awọn ibeere ti a beere fun mi.

Владимир: O ga o. Ninu iriri mi, o nira pupọ lati gba awọn olutẹtisi lati beere awọn ibeere. Paapa ti o ba beere ni ilosiwaju lati beere ibeere eyikeyi, laibikita bi omugo tabi ọlọgbọn to, wọn tun dakẹ. Bawo ni o ṣe ṣe pẹlu eyi?

Йайкл: Iwọ yoo rẹrin, ṣugbọn ti o ba duro ni ipalọlọ gun to, pẹ tabi ya gbogbo eniyan yoo di korọrun ati pe ẹnikan yoo beere ibeere kan. Tabi o le beere ibeere imọ-ẹrọ ti o rọrun pẹlu bẹẹni tabi rara lati pinnu boya eniyan loye ohun ti a kan sọ. Fun apẹẹrẹ, jẹ ije data kan wa ninu apẹẹrẹ loke? Tani o ro bẹ? Tani ko ro? Tani ko loye ohunkohun rara, nitori lapapọ nikan idaji awọn ọwọ lọ soke?

Vitaliy: Ati pe ti o ba dahun ni aṣiṣe, o ti jade kuro ni kilasi :)

Йайкл: Ti o ko ba dahun ohunkohun, lẹhinna o yẹ ki o beere ibeere kan. Mo nilo lati ni oye kini gangan ti ọmọ ile-iwe nilo lati mọ lati dahun ibeere ti Mo ṣẹṣẹ beere. Mo nilo wọn lati ran mi lọwọ. Mo ti ṣetan lati ṣe deede si wọn ki wọn loye iṣoro naa. Ṣugbọn ti emi ko ba mọ ohun ti n ṣẹlẹ ni ori wọn, Emi ko le ṣe. Ati pe ti o ko ba fun awọn ọmọ ile-iwe ni alaafia fun igba pipẹ, nigbamiran ni ipari wọn beere awọn ibeere ti o tọ, eyini ni, awọn ti o gba mi laaye lati wo ohun ti o ṣẹlẹ gangan ni awọn ori awọn ọmọ ile-iwe.

Алексей: Njẹ awọn ibeere wọnyi ma nfa awọn imọran ti iwọ funrarẹ ko ti ronu tẹlẹ bi? Ṣe wọn jẹ airotẹlẹ bi? Ṣe wọn gba ọ laaye lati wo iṣoro kan ni imọlẹ tuntun?

Йайкл: Awọn ibeere wa ti o ṣii ọna tuntun ti igbejade ohun elo. Nigbagbogbo awọn ibeere wa ti o yori si awọn iṣoro ti o nifẹ ti Emi ko gbero lati sọrọ nipa. Awọn ọmọ ile-iwe nigbagbogbo sọ fun mi pe Mo ni itara lati lọ kuro ni koko nigbati eyi ba ṣẹlẹ. Ati, ni ibamu si wọn, nigbagbogbo eyi ni apakan ti o nifẹ julọ ti ẹkọ naa. Niwọn igba diẹ, awọn ọmọ ile-iwe beere awọn ibeere ti o fa itọsọna tuntun ninu iwadii ati dagba sinu nkan kan. Eyi n ṣẹlẹ pupọ diẹ sii nigbagbogbo ni awọn ibaraẹnisọrọ pẹlu awọn ọmọ ile-iwe ju lakoko awọn kilasi, ṣugbọn lẹẹkọọkan o ṣẹlẹ lakoko awọn kilasi.

Алексей: Nitorinaa awọn ọmọ ile-iwe beere lọwọ rẹ awọn ibeere lori ipilẹ eyiti o ṣee ṣe lẹhinna lati ṣe atẹjade nkan kan bi?

Йайкл: Bẹẹni.

Vitaliy: Igba melo ni o ni awọn ibaraẹnisọrọ wọnyi pẹlu awọn akẹkọ? Nigbawo ni wọn fẹ lati kọ ẹkọ diẹ sii ju ohun ti a ṣe apejuwe lakoko ẹkọ naa?

Йайкл: Pẹlu mi mewa omo ile - gbogbo awọn akoko. Mo ni nipa 5 tabi 6 ti wọn, ati awọn ti a ọrọ nkankan pẹlu wọn gbogbo awọn akoko. Ati awọn ibaraẹnisọrọ ti iru yii pẹlu awọn ọmọ ile-iwe ti o lọ si awọn kilasi mi nirọrun ko wọpọ. Biotilejepe Mo fẹ yi ṣẹlẹ diẹ igba. Mo fura pe wọn bẹru lati wa si ẹka ile-ẹkọ lakoko awọn wakati ọfiisi. Ni gbogbo igba ikawe, diẹ ninu awọn ọmọ ile-iwe ṣakoso lati bori idena ọpọlọ yii, ati pe o jẹ igbadun pupọ nigbagbogbo lati ba wọn sọrọ lẹhin kilasi. Lootọ, ti gbogbo awọn ọmọ ile-iwe ba jẹ akọni, Emi kii yoo ni akoko ti o to. Nitorina boya ohun gbogbo n ṣiṣẹ bi o ti yẹ.

Vitaliy: Bawo ni o ṣe ṣakoso lati wa akoko lati ṣe ibaraẹnisọrọ pẹlu awọn akẹkọ? Gẹgẹ bi mo ti mọ, ni AMẸRIKA awọn olukọ ni ọpọlọpọ iṣẹ - nbere fun awọn ifunni ati bii.

Йайкл: Nitootọ, ṣiṣẹ pẹlu awọn ọmọ ile-iwe jẹ apakan ti iṣẹ mi ti Mo gbadun julọ. Nitorinaa Mo ni iwuri fun eyi. Pupọ julọ akoko ti Mo lo ni ọfiisi mi ni a lo fun awọn ipade ti gbogbo iru. O ti di ooru bayi, nitorina iṣeto mi ko ṣiṣẹ, ṣugbọn lakoko ọdun ile-iwe, ni gbogbo ọjọ lati 9 si 17 Mo ni ohun gbogbo ti o ṣajọpọ. Iṣẹ iwadii, awọn atunwo, awọn ifunni - fun gbogbo eyi awọn irọlẹ ati awọn ipari ose nikan wa.

Bii o ṣe le tẹsiwaju pẹlu igbaradi ti awọn iṣẹ ikẹkọ ati awọn iwe tuntun.

Алексей: Njẹ o n tẹsiwaju lọwọlọwọ lati kọ eyikeyi awọn iṣẹ ikẹkọ ti o ti nkọ fun igba pipẹ bi? Nkankan bi ifihan si Imọ Kọmputa.

Йайкл: Ohun akọkọ ti o wa si ọkan nibi ni ikẹkọ ni awọn ede siseto.

Алексей: Bawo ni iyatọ ti ẹya ode oni ti ẹkọ ẹkọ yii si ohun ti o jẹ 10, 20, 30 ọdun sẹyin? Boya ohun ti o nifẹ diẹ sii nibi kii ṣe awọn alaye ti iṣẹ-ẹkọ kan pato, ṣugbọn awọn aṣa gbogbogbo.

Йайкл: Ẹkọ mi lori awọn ede siseto jẹ diẹ dani ni akoko ti Mo ṣẹda rẹ. Mo bẹrẹ kika rẹ ni ipari awọn ọdun 1980, ni rọpo ẹlẹgbẹ mi, Doug Baldwin (Doug Baldwin). Awọn koko ti awọn dajudaju jẹ nikan tangentially jẹmọ si mi nigboro, sugbon nigba ti o kuro, Emi ni ti o dara ju tani lati kọ awọn dajudaju. Mi ò nífẹ̀ẹ́ sí èyíkéyìí lára àwọn ìwé ìkẹ́kọ̀ọ́ tó wà lákòókò yẹn, torí náà mo parí kíkọ ìwé ìkẹ́kọ̀ọ́ fún ẹ̀kọ́ yìí fúnra mi. (Akiyesi Olootu: a n sọrọ nipa iwe naa "Ede Pragmatics siseto") O ti wa ni lilo ni diẹ sii ju 200 egbelegbe ni ayika agbaye. Ọna mi jẹ dani ni pe o mọọmọ dapọ awọn iṣoro ti apẹrẹ ede ati imuse, o si san ifojusi nla si ibaraenisepo laarin awọn aaye wọnyi ni gbogbo awọn agbegbe ti o ṣeeṣe. Ọna ipilẹ ko yipada, bii ọpọlọpọ awọn imọran ipilẹ: awọn abstractions, awọn aaye orukọ, modularity, awọn oriṣi. Ṣugbọn ṣeto awọn ede pẹlu eyiti a ṣe afihan awọn imọran wọnyi ti yipada patapata. Nigba ti ẹkọ naa ti kọkọ ṣẹda, ọpọlọpọ awọn apẹẹrẹ wa ni Pascal, ṣugbọn loni ọpọlọpọ awọn ọmọ ile-iwe mi ko tii gbọ ti ede yii. Ṣugbọn wọn mọ Swift, Go, Rust, nitorinaa Mo ni lati sọrọ nipa awọn ede ti o wa ni lilo loni. Paapaa, awọn ọmọ ile-iwe ti ni oye daradara ni awọn ede kikọ, ṣugbọn nigbati mo bẹrẹ kikọ ẹkọ yii, gbogbo rẹ jẹ nipa awọn ede ti a ṣajọpọ. Bayi a nilo ọpọlọpọ awọn ohun elo nipa Python, Ruby ati paapaa Perl, nitori eyi ni koodu ti a kọ ni awọn ọjọ wọnyi, ati pe ọpọlọpọ awọn nkan ti o nifẹ si n ṣẹlẹ ni awọn ede wọnyi, pẹlu ni aaye apẹrẹ ede.

Vitaliy: Lẹhinna ibeere mi ti o tẹle yoo jẹ ibatan si ti iṣaaju. Bawo ni lati tọju ni agbegbe yii? Mo fura pe mimu imudojuiwọn iṣẹ-ẹkọ bii eyi nilo iṣẹ pupọ - o nilo lati loye awọn ede tuntun, loye awọn imọran akọkọ. Bawo ni o ṣe ṣe eyi?

Йайкл: Emi ko le ṣogo pe Mo nigbagbogbo ṣaṣeyọri 100%. Ṣugbọn ni ọpọlọpọ igba Mo kan ṣe ohun ti gbogbo eniyan miiran ṣe - ka Intanẹẹti. Ti Mo ba fẹ lati ni oye ipata, Mo Google rẹ, lọ si oju-iwe Mozilla ki o ka iwe afọwọkọ ti a fiweranṣẹ nibẹ. Eyi jẹ apakan ti awọn nkan ti o ṣẹlẹ ni idagbasoke iṣowo. Ti a ba sọrọ nipa imọ-jinlẹ, lẹhinna o nilo lati tẹle awọn ijabọ ni awọn apejọ akọkọ.

Ọna asopọ laarin iṣowo ati ile-ẹkọ giga

Vitaliy: Jẹ ki a sọrọ nipa asopọ laarin iṣowo ati iwadi ijinle sayensi. Ninu atokọ awọn iṣẹ rẹ, Mo rii ọpọlọpọ awọn nkan lori isomọ kaṣe. Mo ye pe awọn algoridimu aitasera kaṣe jẹ riru ni akoko ti wọn ṣe atẹjade? Tabi ko ni ibigbogbo to. Bawo ni awọn imọran rẹ ṣe wọpọ ni iṣe?

Йайкл: Emi ko ni idaniloju pato iru awọn iwe ti o n sọrọ nipa. Mo ti ṣe iṣẹ diẹ pẹlu awọn ọmọ ile-iwe mi Bill Bolosky (William Bolosky) ati Leonidas Kontotanassis (Leonidas Kontothanassis) ni ibẹrẹ 1990s lori iṣakoso iranti ti awọn ẹrọ Neumann. Ni akoko yẹn, iṣowo ko ti ni oye ti bi o ṣe le ṣe deede eto multiprocessor: ṣe o tọ lati ṣẹda atilẹyin fun iraye si iranti latọna jijin ni ipele ohun elo, ṣe o tọ lati pin iranti iranti, ṣe o ṣee ṣe lati gbe kaṣe naa lati iranti latọna jijin, tabi o jẹ dandan lati gbe awọn oju-iwe ni yara iṣẹ? Bill ati Leonidas mejeeji ṣiṣẹ ni agbegbe yii ati ṣawari awọn isunmọ laisi ikojọpọ kaṣe latọna jijin. Eyi ko ni ibatan taara si isomọ kaṣe, ṣugbọn o tun n ṣiṣẹ lori iṣakoso iranti NUMA, ati lẹhinna awọn ọna ode oni si gbigbe oju-iwe ni awọn ọna ṣiṣe ode oni dagba lati eyi. Ni apapọ, Bill ati Leonidas ṣe iṣẹ pataki, botilẹjẹpe kii ṣe ipa julọ ni agbegbe yii - ọpọlọpọ awọn eniyan miiran wa ti n ṣiṣẹ lori ohun kanna ni akoko naa. Nigbamii, Mo ṣiṣẹ lori koko kan ti o ni ibatan si isomọ kaṣe ni aaye ti iranti iṣowo ohun elo. Ẹgbẹ ti mo ṣiṣẹ pẹlu iṣoro yii pari ni gbigba awọn iwe-aṣẹ pupọ. Nibẹ ni o wa diẹ ninu awọn lẹwa awon ero lẹhin wọn, sugbon Emi ko ro pe won yoo mu soke a muse ni iwa. Ni ọna kan tabi omiiran, o ṣoro fun mi lati ṣe idajọ ere wọn.

Алексей: Ni idi eyi, ibeere ti ara ẹni diẹ sii: bawo ni o ṣe ṣe pataki fun ọ pe a fi awọn ero rẹ sinu iṣe? Tabi o ko ronu nipa rẹ?

Йайкл: Mo nifẹ lati beere ibeere yii ni awọn ifọrọwanilẹnuwo pẹlu awọn eniyan miiran, awọn olubẹwẹ tabi awọn oludije ti o fẹ darapọ mọ Oluko naa. Emi ko ro pe idahun to pe wa si ibeere yii. Awọn eniyan ti o ṣe awọn ohun tutu le ni awọn iwuri ti o yatọ pupọ. Àwọn ìṣòro máa ń fà mí mọ́ra torí pé wọ́n nífẹ̀ẹ́ sí mi gan-an, kì í ṣe nítorí àwọn àǹfààní tí wọ́n ní. Ṣugbọn ni apa keji, nigbati diẹ ninu nkan ti o nifẹ si tun rii ohun elo, Mo fẹran gaan. Nitorina ko rọrun nibi. Ṣùgbọ́n ní ìbẹ̀rẹ̀ iṣẹ́ mi, kì í ṣe èrò ìlò òpin ní àgbáyé ni ó ń sún mi, ṣùgbọ́n nípa ìṣọ̀kan èrò náà àti ìfẹ́ láti ṣàwárí rẹ̀ kí n sì wo ohun tí ó wá. Ti o ba wa ni ipari o fun awọn esi to wulo, nla.

Алексей: Nitori ẹkọ ati iriri rẹ, o ni anfani ju pupọ julọ lọ lati ṣe idajọ iye ti awọn ero eniyan miiran. O le ṣe afiwe wọn ki o pinnu eyiti o ṣiṣẹ dara julọ pẹlu eyiti. Mo ni idaniloju pe o ni ero nipa awọn nkan ti o nlo lọwọlọwọ ni iṣe nipasẹ awọn aṣelọpọ nla bi Intel. Lati oju-ọna rẹ, bawo ni ipa-ọna ti awọn ile-iṣẹ wọnyi ṣe jẹ deede?

Йайкл: Iwa nigbagbogbo nwaye ni ayika ohun ti o le jẹ aṣeyọri iṣowo, eyini ni, ṣẹda èrè, ati pe o dara julọ beere lọwọ ẹlomiran nipa eyi. Iṣẹ mi julọ ni abajade ni awọn atẹjade, ati ni aaye ti awọn ọna ṣiṣe wọn ṣe iṣiro da lori awọn afihan iṣẹ ṣiṣe: iyara, agbara agbara, iwọn koodu. Ṣugbọn o dabi ẹnipe nigbagbogbo fun mi pe awọn abajade agbara wọnyi ni a ṣafikun si awọn nkan nikan ki wọn le ṣe atẹjade, ati pe awọn idi gidi ti eniyan fun iṣẹ jẹ ẹwa. Awọn oniwadi ṣe iṣiro awọn ojutu lati oju-ọna iṣẹ ọna, wọn bikita nipa bi awọn imọran ṣe yangan, ati pe wọn gbiyanju lati ṣẹda nkan ti o dara ju awọn isunmọ ti o wa tẹlẹ. Awọn oniwadi wa ni idari nipasẹ ti ara ẹni, ti ara ẹni, awọn idi ẹwa. Ṣugbọn o ko le kọ nipa eyi ninu nkan naa funrararẹ; Da, yangan solusan igba tun sare ati ki o poku. Mejila ti awọn ẹlẹgbẹ mi ati Emi jiroro lori koko yii ni nkan bi ọdun 15 sẹhin ati pari kikọ kikọ kan nipa rẹ. Mo ro pe o tun le rii ni bayi, o pe "Bawo ni lati ṣe iṣiro iwadi awọn ọna ṣiṣe" tabi nkankan bi wipe, o ni o ni diẹ ẹ sii ju kan mejila onkọwe. Eyi nikan ni nkan ti Emi ni onkọwe papọ pẹlu Sasha Fedorova, nitorina ti o ba ṣe wiwa fun orukọ rẹ ninu atokọ awọn atẹjade mi, iwọ yoo rii ohun ti o nilo. O sọrọ nipa igbelewọn iwadii awọn ọna ṣiṣe ati bii didara didara ṣe ṣe pataki.

Алексей: Nitorinaa iyatọ wa laarin boṣewa ti ohun ti a ka pe o dara ni imọ-jinlẹ ati ni iṣowo. Imọ-jinlẹ ṣe iṣiro iṣẹ ṣiṣe, agbara agbara, TDP, irọrun imuse, ati pupọ diẹ sii. Ṣe o ni aye lati ṣe iru iwadii yii ni ile-ẹkọ giga? Ṣe o ni ile-iyẹwu kan pẹlu awọn ẹrọ oriṣiriṣi ati awọn ayaworan oriṣiriṣi ninu eyiti o le ṣe awọn idanwo bi?

Йайкл: Bẹẹni, ẹka wa ni ọpọlọpọ awọn ẹrọ ti o nifẹ pupọ. Ni ọpọlọpọ igba wọn jẹ kekere, a ni iṣupọ kekere ati ọpọlọpọ awọn ọna ṣiṣe multiprocessor pẹlu awọn accelerators oriṣiriṣi. Ni afikun, ogba naa ni ile-iṣẹ iširo nla kan ti o ṣe iranṣẹ awọn onimọ-jinlẹ lati ọpọlọpọ awọn oriṣiriṣi oriṣiriṣi mejila. O ni o to ẹgbẹrun awọn apa ati ẹgbẹẹgbẹrun awọn ohun kohun, gbogbo lori Linux. Ti iwulo ba waye, o le ra diẹ ninu awọn AWS nigbagbogbo. Nitorinaa a ko ni awọn idiwọn pataki pẹlu ohun elo.

Алексей: Báwo ló ṣe rí ní ọgbọ̀n ọdún sẹ́yìn? Njẹ awọn iṣoro wa nigbana?

Йайкл: O jẹ iyatọ diẹ lẹhinna. Ni aarin-si-pẹ 1980, Imọ ti a kà lati wa ni kukuru ti iširo oro. Lati ṣe atunṣe ipo yii, National Science Foundation ( National Science Foundation) ṣẹda eto kan ti iṣakojọpọ iwadii esiperimenta (Iwadii Iṣọkan Iṣọkan, CER). Ise pataki ti eto naa ni lati pese awọn amayederun iširo fun awọn ẹka Imọ Kọmputa, ati pe o ti ṣaṣeyọri iyipada nla. Pẹ̀lú owó tí ó pèsè, àwa ní Yunifásítì Rochester ra 1984 BBN Labalábá kan ní 128, ọdún kan ni èyí kí n tó dé ibẹ̀. Ni akoko yẹn o jẹ eto multiprocessor ti o tobi julọ ni agbaye pẹlu iranti pinpin. O ni awọn ero isise 128, ọkọọkan lori modaboudu lọtọ, o si gba awọn agbeko mẹrin. Oluṣeto kọọkan ni megabyte ti iranti, 128 megabyte ti Ramu jẹ iye ti a ko le ronu ni akoko yẹn. Lori ẹrọ yii a ṣe imuse titiipa MCS fun igba akọkọ.

Алексей: Nitorina, ti MO ba ye ọ ni deede, lẹhinna ni akoko ti a ti yanju iṣoro pẹlu hardware naa?

Йайкл: Ni gbogbogbo, bẹẹni. Awọn akiyesi diẹ wa: akọkọ, ti o ba n ṣe faaji kọnputa ni ipele ërún, o ṣoro lati ṣe ni agbegbe ẹkọ nitori awọn irinṣẹ to dara julọ wa fun ṣiṣe ni iṣowo. Ti o ba nilo ohunkohun ti o kere ju 10 nanometers, iwọ yoo ni lati paṣẹ lati ọdọ ẹlomiran. Ni agbegbe yii o rọrun pupọ lati jẹ oniwadi ni Intel. Ti o ba n ṣiṣẹ lori awọn ibaraẹnisọrọ opiti lori awọn eerun igi tabi lori iranti ipo-ipinle, iwọ yoo wa awọn imọ-ẹrọ ni iṣowo ti ko sibẹsibẹ ni imọ-jinlẹ, nitorinaa o ni lati ṣẹda awọn ajọṣepọ. Fun apẹẹrẹ, Stephen Swanson (Steven Swanson) ṣẹda iru ajọṣepọ fun titun iranti imo ero. Fọọmu yii ko ṣiṣẹ nigbagbogbo, ṣugbọn ni awọn igba miiran o le jẹ aṣeyọri pupọ. Ni afikun, idagbasoke awọn ọna ṣiṣe iširo ti o lagbara julọ ni imọ-jinlẹ jẹ nira sii. Awọn iṣẹ akanṣe supercomputer ti o tobi julọ lọwọlọwọ ni AMẸRIKA, Japan ati China jẹ gbogbo idojukọ lori iṣowo.

Ilowo imuse ti ero. MCS, MS, CLH, JSR 166, ṣiṣẹ pẹlu Doug Lee ati siwaju sii.

Vitaliy: O ti sọrọ tẹlẹ nipa bi o ṣe bẹrẹ ṣiṣẹ lori awọn algoridimu amuṣiṣẹpọ. O ni awọn nkan olokiki meji nipa MCS ìdènà и Michael-Scott ti isinyi (MS), eyi ti o ni ọna kan ti a ṣe ni Java. (Akiyesi Olootu: gbogbo awọn atẹjade ni a le wo asopọ). Nibẹ ni ìdènà yii ti ṣe imuse pẹlu diẹ ninu awọn ayipada ati pe o wa jade CLH titiipa, ati awọn ti isinyi ti a muse bi a ti pinnu. Ṣùgbọ́n ọ̀pọ̀ ọdún kọjá láàárín títẹ̀jáde àwọn àpilẹ̀kọ rẹ àti ìlò wọn tí ó wúlò.

Алексей: O dabi ọdun 10 ni ọran ti isinyi.

Йайкл: Ṣaaju ki o to awọn ẹya ara ẹrọ han ni Java boṣewa ìkàwé?

Vitaliy: Bẹẹni. Kini o ṣe lati jẹ ki eyi ṣẹlẹ? Tabi wọn ko ṣe nkankan?

Йайкл: Mo le sọ fun ọ bi MS Queue ṣe wọ Java 5. Awọn ọdun diẹ ṣaaju ki o to jade, Mo ṣiṣẹ pẹlu ẹgbẹ Mark Moyers ni Sun Microsystems ni laabu wọn nitosi Boston. O ṣeto idanileko kan fun awọn eniyan ti o mọ ti wọn ṣiṣẹ lori awọn iṣoro ti o nifẹ ninu multithreading nitori o fẹ lati wa awọn akọle ti o le ta si ile-iṣẹ wọn. Ibẹ̀ ni mo ti kọ́kọ́ pàdé Doug Lea. Doug ati emi ati nipa awọn eniyan 25 miiran lati Sun ni wọn jọ n jiroro lori igbejade Doug lori JSR 166, eyi ti nigbamii di java.util.concurrent. Ni ọna, Doug sọ pe oun yoo fẹ lati lo isinyi MS, ṣugbọn fun eyi o nilo counter kan fun nọmba awọn eroja ti o wa ninu isinyi fun wiwo naa. Iyẹn ni, eyi yẹ ki o ti ṣe nipasẹ ọna lọtọ, atomiki, deede ati iyara. Mo daba lati ṣafikun awọn nọmba ni tẹlentẹle si awọn apa, mu nọmba ti ipade akọkọ ati ọkan ti o kẹhin ki o yọkuro ọkan lati ekeji. Doug fọ ori rẹ, o sọ pe “kilode,” o pari ṣiṣe bẹ. A jiroro nipa imuse ọna yii ni ile-ikawe, ṣugbọn Doug ṣe pupọ julọ iṣẹ naa funrararẹ. Bi abajade, o ṣakoso lati fi idi atilẹyin multithreading ti o dara julọ ni Java.

Алексей: Nítorí, ti o ba ti mo ti ye bi o ti tọ, .size () ọna yẹ ki o ti ara awọn boṣewa isinyi ni wiwo, ati awọn ti o yẹ ki o ti ní ohun algorithmic complexity ti O (1)?

Йайкл: Bẹẹni, ati ni afikun si eyi, a nilo counter lọtọ.

Алексей: Nitori ti o ba pe ọna .size () ni Java, esi ti wa ni o ti ṣe yẹ lati wa lẹsẹkẹsẹ ati ki o ko da lori awọn gangan iwọn ti awọn gbigba. Mo ri, o ṣeun.

Йайкл: Awọn ọdun diẹ lẹhinna Mo n ṣiṣẹ lori awọn ẹya data meji pẹlu ọmọ ile-iwe mi Bill Scherer - ni otitọ, eyi ni ohun ti Emi yoo sọrọ nipa Iroyin lori Hydra. Doug wa si wa o si sọ pe o le lo wọn ni Java Executor Framework. Paapọ pẹlu Bill, wọn ṣẹda awọn imuse meji, eyiti a pe ni itẹ ati awọn ila aiṣedeede. Mo gba wọn niyanju lori iṣẹ akanṣe yii, botilẹjẹpe Emi ko kopa ninu kikọ koodu gangan. Bi abajade, iyara ti awọn alaṣẹ ti pọ si ni pataki.

Владимир: Njẹ o ti pade awọn imuse ti ko tọ ti awọn algoridimu rẹ tabi awọn ibeere lati ṣafikun awọn ẹya tuntun? Ni gbogbogbo, adaṣe yẹ ki o ṣe deede pẹlu imọ-jinlẹ, ṣugbọn igbagbogbo wọn yatọ. Ṣebi o kowe algorithm kan, ati lori iwe o ṣiṣẹ, ṣugbọn awọn eniyan ti o ni ipa ninu imuse bẹrẹ si beere lọwọ rẹ fun awọn ẹya diẹ sii tabi iru tweaking ti algorithm. Njẹ o ti ni iru awọn ipo bẹẹ?

Йайкл: Apẹẹrẹ kan ṣoṣo ti ẹnikan wa si mi ti o beere “bi o ṣe le ṣe imuse” ni ibeere Doug, eyiti Mo ti sọrọ tẹlẹ. Ṣugbọn awọn ọran diẹ ti wa nibiti a ti ṣe awọn ayipada ti o nifẹ si lati baamu awọn iwulo iwulo. Fun apẹẹrẹ, ẹgbẹ K42 ni IBM ṣe iyipada titiipa MCS ati ṣe ni wiwo boṣewa nitoribẹẹ ko si iwulo lati kọja apa isinyi sẹhin ati siwaju si gbigba ati awọn ilana itusilẹ. Ṣeun si wiwo boṣewa yii, imọran ti o lẹwa ni imọran bẹrẹ lati ṣiṣẹ ni iṣe. O jẹ iyanilẹnu pe wọn ko ṣe atẹjade nkan kan nipa rẹ rara, ati botilẹjẹpe wọn gba itọsi kan, wọn kọ silẹ nigbamii. Ọ̀rọ̀ náà wúni lórí gan-an, mo sì máa ń gbìyànjú láti sọ̀rọ̀ nípa rẹ̀ nígbàkigbà tó bá ṣeé ṣe.

Awọn ọran miiran ti wa nibiti awọn eniyan ti ṣe awọn ilọsiwaju si awọn algoridimu ti Mo ti gbejade. Fun apẹẹrẹ, MS ti isinyi ni ọna fifi sori ipele meji, eyiti o tumọ si pe awọn CAS meji wa lori ọna pataki ti isinyi. Lori awọn ọkọ ayọkẹlẹ agbalagba, CAS jẹ gbowolori pupọ. Intel ati awọn aṣelọpọ miiran ti ṣe iṣapeye wọn daradara laipẹ, ṣugbọn ni ẹẹkan ni akoko kan iwọnyi jẹ awọn ilana 30-cycle, nitorinaa nini diẹ ẹ sii ju ọkan lọ lori ọna pataki jẹ aifẹ. Bi abajade, isinyi ti o yatọ ni idagbasoke ti o jọra si isinyi MS, ṣugbọn eyiti o ni iṣẹ atomiki kan ṣoṣo ni ọna pataki. Eyi waye nitori otitọ pe lakoko akoko kan iṣẹ naa le gba akoko O (n), dipo O (1). Ko ṣeeṣe, ṣugbọn o ṣeeṣe. Eyi ṣẹlẹ nitori otitọ pe ni awọn akoko kan algoridimu ti kọja ila lati ibẹrẹ si ipo lọwọlọwọ ni isinyi yii. Ni gbogbogbo, alugoridimu ti jade lati jẹ aṣeyọri pupọ. Gẹgẹ bi mo ti mọ, kii ṣe lilo pupọ, ni apakan nitori awọn iṣẹ atomiki nilo awọn orisun pataki diẹ sii ju iṣaaju lọ. Ṣugbọn awọn agutan je nla. Mo tun fẹran iṣẹ ti Dave Dice lati Oracle. Ohun gbogbo ti o ṣe wulo pupọ ati pe o lo irin ni ọgbọn. O ni ọwọ ni pupọ ti awọn algoridimu amuṣiṣẹpọ NUMA-mọ ati awọn ẹya data alapọpo.

Владимир: Nigbati o ba kọ awọn algoridimu tabi kọ awọn ọmọ ile-iwe, abajade iṣẹ rẹ ko han lẹsẹkẹsẹ. Agbegbe nilo akoko diẹ lati faramọ pẹlu, sọ, nkan tuntun kan. Algoridimu tuntun ko rii ohun elo lẹsẹkẹsẹ.

Йайкл: O ti wa ni jina lati lẹsẹkẹsẹ ko o boya awọn article yoo jẹ significant tabi ko. Mo ro pe yoo jẹ ohun ti o nifẹ lati ṣe ikẹkọ awọn iwe ti o ti gba awọn ẹbun ni awọn apejọ. Ìyẹn ni pé, wo àwọn àpilẹ̀kọ tí àwọn tó wà nínú ìgbìmọ̀ ìṣètò nígbà kan rí pé ó dára jù lọ. O nilo lati gbiyanju lati ṣe iṣiro nipasẹ nọmba awọn ọna asopọ ati ipa lori iṣowo bawo ni awọn nkan wọnyi ṣe ni ipa gaan lati wa ni ọdun 10, 20, 25. Mo ṣiyemeji pe ibaṣepọ to lagbara yoo wa laarin awọn mejeeji. Kii yoo jẹ odo, ṣugbọn o ṣeeṣe julọ yoo jẹ alailagbara pupọ ju ti a fẹ lọ. Ọpọlọpọ awọn ero wa ti ko ni ẹtọ fun igba pipẹ ṣaaju ki wọn di ibigbogbo. Fun apẹẹrẹ, jẹ ki a gba iranti idunadura. Die e sii ju ọdun 10 kọja lati akoko ti a ti tẹjade nkan atilẹba si akoko ti awọn eniyan bẹrẹ gangan kọ awọn ẹrọ pẹlu rẹ. Ati ṣaaju ifarahan iranti yii ni awọn ọja iṣowo - ati gbogbo 20. Fun igba pipẹ ko si ẹnikan ti o san ifojusi si nkan naa, ati lẹhinna nọmba awọn ọna asopọ si o pọ sii. Yoo nira lati ṣe asọtẹlẹ eyi ni ilosiwaju. Lori awọn miiran ọwọ, ma ero ri imuse lẹsẹkẹsẹ. Ni ọdun diẹ sẹyin, Mo kọ iwe kan pẹlu Joe Isievitz fun DISC ti o dabaa asọye asọye tuntun ti iwulo fun awọn ẹya data itẹramọṣẹ ti o le ṣee lo lẹhin kọnputa ti nṣiṣẹ wọn kọlu. Mo fẹ́ràn àpilẹ̀kọ náà láti ìbẹ̀rẹ̀pẹ̀pẹ̀, ṣùgbọ́n ó wá di èyí tí ó gbajúmọ̀ ju bí mo ṣe rò lọ. O ti lo nipasẹ ọpọlọpọ awọn ẹgbẹ oriṣiriṣi ati nikẹhin di asọye boṣewa ti awọn ẹya itẹramọṣẹ. Ewo, dajudaju, dara.

Владимир: Ṣe awọn ilana eyikeyi wa ti o lo fun idiyele? Ṣe o paapaa gbiyanju lati ṣe iṣiro awọn nkan rẹ ati awọn ọmọ ile-iwe rẹ? Ni awọn ofin boya ẹni ti o kọ n lọ ni ọna ti o tọ.

Йайкл: Gẹgẹbi gbogbo eniyan miiran, Mo san diẹ sii ifojusi si ohun ti Mo n ṣe ni akoko yii. Lẹẹkansi, bii gbogbo eniyan miiran, Mo ṣayẹwo lẹẹkọọkan Google Scholar lati rii boya awọn iwe mi ti o kọja ti n tọka si, ṣugbọn iyẹn diẹ sii lati inu iwariiri. Pupọ julọ Mo gba ninu ohun ti awọn ọmọ ile-iwe mi n ṣe ni bayi. Nigba ti o ba wa si iṣiro iṣẹ lọwọlọwọ, apakan rẹ jẹ awọn ero ẹwa, ohun ti o yangan ati ohun ti kii ṣe. Ati ni ipele ojoojumọ, awọn ibeere ṣiṣi ṣe ipa nla. Fun apẹẹrẹ, ọmọ ile-iwe kan wa si mi pẹlu iwọn ti awọn abajade diẹ, ati pe a n gbiyanju lati loye ibiti ihuwasi ajeji ti awọnya naa ti wa. Ni gbogbogbo, ninu iṣẹ wa a n gbiyanju nigbagbogbo lati loye awọn nkan ti a ko ti loye.

Iranti idunadura

Vitaliy: Boya a le sọrọ kekere kan nipa iranti idunadura?

Йайкл: Mo ro pe o tọ lati sọ ni o kere ju diẹ nitori pe mo fi ipa pupọ sinu rẹ. Eyi jẹ koko-ọrọ lori eyiti Mo ni awọn atẹjade diẹ sii ju eyikeyi miiran lọ. Sugbon ni akoko kanna, oddly to, Mo ti wà nigbagbogbo gidigidi skeptical nipa idunadura idunadura. Ni temi, article nipa Herlihy ati Moss (M. Herlihy, J. E. B. Moss) ni a tẹjade ṣaaju akoko rẹ. Ni ibẹrẹ awọn ọdun 1990, wọn daba pe iranti iṣowo le ṣe iranlọwọ fun awọn olupilẹṣẹ abinibi ṣiṣẹ lori awọn ẹya data alapọpo ọpọlọpọ, ki awọn ẹya wọnyi le ṣee lo bi awọn ile-ikawe nipasẹ awọn olutọpa lasan. Iyẹn ni, yoo jẹ iranlọwọ fun Doug Lee ṣe JSR 166 rẹ. Ṣugbọn iranti iṣowo ko ni ipinnu lati jẹ ki siseto ọpọlọpọ-asapo rọrun. Ṣugbọn eyi ni deede bi o ti bẹrẹ si ni akiyesi ni ibẹrẹ awọn ọdun 2000, nigbati o di ibigbogbo. O ti ṣe ipolowo bi ọna lati yanju iṣoro ti siseto ni afiwe. Ọna yii nigbagbogbo dabi ainireti si mi. Iranti iṣowo le jẹ ki o rọrun lati kọ awọn ẹya data afiwera. Eyi, o dabi si mi, ni ohun ti o ṣaṣeyọri.

Nipa iṣoro ti kikọ koodu olona-asapo

Алексей: Gan awon. O dabi ẹnipe idena kan wa laarin awọn pirogirama deede ati awọn ti o le kọ koodu olona-asapo. Ni ọdun to kọja, Mo sọrọ ni ọpọlọpọ igba pẹlu awọn eniyan ti o n ṣe ilana ilana algorithmic kan. Fun apẹẹrẹ, pẹlu Martin Thomson, bakanna pẹlu pẹlu awọn pirogirama ti n ṣiṣẹ lori awọn ile-ikawe olona-asapo. (Akiyesi Olootu: Martin Thompson jẹ idagbasoke olokiki pupọ, o kọ Ajalu и Aeron. Ati pe o tun ni iroyin ni apejọ Joker 2015 wa, gbigbasilẹ fidio wa lori YouTube. Oun kan naa ni ṣí alapejọ yi gbigbasilẹ bọtini tun wa). Ipenija akọkọ, wọn sọ, ni ṣiṣe awọn algoridimu mejeeji ni iyara ati irọrun lati lo. Iyẹn ni, wọn n gbiyanju lati bori idena yii ati fa ọpọlọpọ eniyan bi o ti ṣee ṣe si agbegbe yii. Kini o ro nipa rẹ?

Йайкл: Eyi ni iṣoro akọkọ ti multithreading: bi o ṣe le ṣe aṣeyọri iṣẹ giga laisi jijẹ idiju ti eto naa.

Алексей: Nitori nigbati nwọn gbiyanju lati yago fun complexity, awọn alugoridimu di kere gbogbo.

Йайкл: Awọn bọtini nibi ti wa ni daradara še abstractions. O dabi si mi pe eyi ni gbogbogbo ohun akọkọ fun awọn eto kọnputa bi aaye kan. Butler Lampson nifẹ lati lo ọrọ yii, ati pe o pe wa ni “awọn oniṣowo ti awọn abstractions.” Awọn imọ-ẹrọ ti o rọrun ko si loni. Awọn ero isise ti a lo ni 10 bilionu transistors — ayedero ko si ibeere naa. Ni akoko kanna, ISA rọrun pupọ ju ero isise lọ, nitori a ṣiṣẹ fun igba pipẹ pupọ lati pese pẹlu iṣẹ giga ati wiwo ti o rọrun. Ṣugbọn kii ṣe ohun gbogbo jẹ dan pẹlu rẹ boya. Iṣoro kanna ni pẹlu awọn accelerators ti o han ni bayi lori ọja. Awọn ibeere dide - bii o ṣe le ṣe wiwo to tọ fun GPU, ẹrọ fifi ẹnọ kọ nkan, funmorawon, ẹrọ transcoding, ẹrọ algebra laini, tabi paapaa FPGA rọ diẹ sii. Bii o ṣe le ṣẹda wiwo kan ti o jẹ ki ọpa rọrun lati lo ati tọju idiju? Kii yoo yọ kuro, ṣugbọn dipo tọju rẹ lati ọdọ olutọpa ti o rọrun.

Алексей: Bi mo ti ye rẹ, a tun ni idena ni oye awọn abstractions. Jẹ ki a mu awoṣe iranti ni ipele wa ti idagbasoke ti imọ-ẹrọ ati imọ-ẹrọ, eyi jẹ ọkan ninu awọn abstraction akọkọ. O ṣeun si rẹ, gbogbo awọn pirogirama ti pin si awọn ẹgbẹ meji: apakan ti o tobi julọ ni awọn ti ko loye rẹ, ati apakan ti o kere julọ ni awọn ti o loye, tabi ro pe wọn loye.

Йайкл: Iyẹn jẹ ibeere ti o dara - ṣe eyikeyi ninu wa loye awoṣe iranti gaan?

Vitaliy: Paapa ni C ++.

Йайкл: Ọrọ lati Hans Boehm igba. O si jẹ ọkan ninu awọn smartest eniyan Mo mọ, a asiwaju iwé lori iranti si dede. Oun yoo sọ fun ọ lẹsẹkẹsẹ pe ọpọlọpọ wa ti ko loye. Ṣugbọn ti a ba pada si ọran ti awọn abstractions, lẹhinna, ni ero mi, imọran pataki julọ ni aaye ti awọn awoṣe iranti ni awọn ọdun 30 sẹhin ti ṣafihan ninu iwe afọwọkọ Sarita Adve. (Akiyesi Olootu: atokọ pipe ti awọn atẹjade wa asopọ).

Алексей: Ibeere mi ni pe: ṣe idena yii wa lati iseda ti ero naa?

Йайкл: Bẹẹkọ. Sarita wá si pinnu wipe pẹlu awọn ọtun ona, o le ni ifijišẹ tọju gbogbo awọn complexity, gba ga iṣẹ ki o si fun awọn pirogirama kan ti o rọrun API. Ati pe ti o ba tẹle API yii, o le ṣaṣeyọri aitasera. Mo ro pe eyi ni ọtun awoṣe. Kọ koodu laisi awọn ere-ije data ati gba aitasera lẹsẹsẹ. Nitoribẹẹ, lati le dinku iṣeeṣe ti ere-ije, awọn irinṣẹ pataki ni a nilo, ṣugbọn iyẹn jẹ ọrọ miiran.

Владимир: Njẹ awọn akoko ti wa ninu iṣẹ rẹ nigbati iṣoro kan ti o dabi pe o yanju lojiji di ajalu kan, tabi o han pe iṣoro yii ko le yanju? Fun apẹẹrẹ, ni imọ-jinlẹ o le ṣe ifọkansi nọmba eyikeyi tabi pinnu boya nọmba eyikeyi jẹ akọkọ. Ṣugbọn ni iṣe eyi le nira lati ṣe pẹlu ohun elo lọwọlọwọ o nira lati ṣe ifọkansi awọn nọmba. Njẹ iru nkan kan ti ṣẹlẹ si ọ?

Йайкл: Emi ko lẹsẹkẹsẹ ranti ohunkohun bi wipe. Awọn igba ti wa nigbati o dabi fun mi pe ko si nkankan ti o kù lati ṣe ni agbegbe kan, ṣugbọn lẹhinna nkan tuntun ati iwunilori ṣẹlẹ nibẹ. Fun apẹẹrẹ, Mo ro pe agbegbe ti isinyi ailopin ti de ọdọ idagbasoke. Lẹhin ọpọlọpọ awọn ilọsiwaju si isinyi MNS, ko si nkankan ti o ṣẹlẹ mọ. Ati lẹhinna Morrison (Adam Morrison) ati Afek (Yehuda Afek) ṣẹda LCRQ isinyi. O ti han gbangba pe isinyi olona-asapo ti ko ni opin ṣee ṣe, nibiti pupọ julọ akoko naa wa nikan ni ilana gbigbe-ati-afikun lori ọna pataki. Ati pe eyi jẹ ki o ṣee ṣe lati ṣaṣeyọri aṣẹ ti iwọn iṣẹ ṣiṣe to dara julọ. Kii ṣe pe a ko mọ pe gbigba-ati-afikun jẹ nkan ti o wulo pupọ. Eric Freudenthal kowe nipa eyi ninu iṣẹ rẹ lori Ultracomputer pẹlu Allan Gottlieb ni opin awọn ọdun 1980, ṣugbọn o jẹ nipa awọn ila ti o lopin. Morrison ati Afek ni anfani lati lo bu-ati-afikun lori isinyi ti ko ni opin.

New architectures. Ṣe iṣẹgun ti iranti iṣowo sunmọ?

Владимир: Ṣe o n wa awọn solusan ayaworan tuntun ti o le wulo fun awọn algoridimu?

Йайкл: Nitoribẹẹ, ọpọlọpọ awọn nkan lo wa ti Emi yoo fẹ lati rii imuse.

Владимир: Iru wo, fun apẹẹrẹ?

Йайкл: Ni akọkọ, awọn amugbooro ti o rọrun diẹ si iranti iṣowo-ipele hardware wa ni awọn ilana Intel ati IBM. Ni pataki, Emi yoo fẹ ẹru ti kii ṣe iṣowo ati ile itaja ti o kan ṣẹlẹ lati wa lẹsẹkẹsẹ laarin awọn iṣowo. Wọn lẹsẹkẹsẹ yorisi awọn losiwajulosehin ni iṣẹlẹ-ṣaaju ki o to ọkọọkan, nitorinaa wọn le nira. Ṣugbọn ti o ba ṣetọju awọn ipele ti abstraction, ọpọlọpọ awọn ohun ti o nifẹ pupọ wa ti o le ṣe ni ita idunadura lakoko ti o n ṣẹlẹ. Emi ko mọ bi eyi yoo ṣe ṣoro lati ṣe, ṣugbọn yoo wulo pupọ.

Ohun miiran ti o wulo ni ikojọpọ kaṣe lati iranti latọna jijin. Mo ro pe laipẹ tabi ya eyi yoo ṣee ṣe. Imọ-ẹrọ yii yoo gba laaye ẹda awọn ọna ṣiṣe pẹlu iranti ti a pin. Yoo ṣee ṣe lati tọju, sọ, awọn terabytes 100 ti iranti ti kii ṣe iyipada ninu agbeko kan, ati pe ẹrọ ṣiṣe funrararẹ yoo pinnu lainidi iru awọn apakan ti iranti yẹn yẹ ki o baamu si aaye adirẹsi ti ara ti awọn ilana. Eyi yoo wulo pupọ fun iširo awọsanma, nitori pe yoo jẹ ki iranti titobi pupọ pese si awọn iṣẹ ṣiṣe ti o nilo rẹ. Mo ro pe ẹnikan yoo ṣe.

Vitaliy: Lati pari sisọ nipa iranti iṣowo, Mo ni ibeere kan diẹ sii lori koko yii. Yoo iranti idunadura bajẹ rọpo boṣewa olona-asapo data ẹya?

Йайкл: Bẹẹkọ. Awọn iṣowo jẹ ẹrọ akiyesi. Ni ipele siseto iwọnyi jẹ awọn titiipa atomiki, ṣugbọn inu wọn jẹ awọn akiyesi. Iru asọtẹlẹ bẹ n ṣiṣẹ ti pupọ julọ awọn amoro ba tọ. Nitorinaa, iranti iṣowo n ṣiṣẹ daradara nigbati awọn okun ko ni ibaraenisepo pẹlu ara wọn, ati pe o kan nilo lati rii daju pe ko si awọn ibaraenisepo. Ṣugbọn ti ifiranṣẹ ba bẹrẹ laarin awọn okun, awọn iṣowo jẹ lilo diẹ. Jẹ ki n ṣe alaye, a n sọrọ nipa ọran naa nigbati awọn iṣowo ti wa ni ayika gbogbo iṣẹ atomiki. Wọn tun le ṣee lo ni aṣeyọri bi awọn paati fun awọn ẹya data alapopopo. Fun apẹẹrẹ, ti o ba nilo CAS-ọrọ mẹta, ati pe o nilo lati multithread awọn ohun kekere mẹta ni arin algorithm multithreaded otitọ ti o ṣiṣẹ pẹlu ogun awọn okun ni akoko kanna. Ni gbogbogbo, awọn iṣowo le wulo, ṣugbọn wọn kii yoo ṣe imukuro iwulo lati ṣe apẹrẹ awọn ẹya data alapọpo lọpọlọpọ.

Ti kii-iyipada iranti, Optane DIMM, olekenka-sare awọn ẹrọ.

Vitaliy: Ohun ikẹhin ti Emi yoo fẹ lati sọrọ nipa ni koko-ọrọ ti iwadii lọwọlọwọ rẹ: iranti ti kii ṣe iyipada. Kini a le reti ni agbegbe yii ni ọjọ iwaju nitosi? Boya o mọ eyikeyi awọn imuse ti o munadoko ti o wa tẹlẹ?

Йайкл: Emi kii ṣe amoye ohun elo, Mo mọ ohun ti Mo ka ninu awọn iroyin ati ohun ti awọn ẹlẹgbẹ mi sọ fun mi. Gbogbo eniyan ti gbọ tẹlẹ pe Intel n ta Optane DIMM, eyi ti o ni nipa 3 igba awọn ka lairi ati 10 igba kikọ lairi ju ìmúdàgba Ramu. Wọn yoo wa laipẹ ni awọn ẹya iwọn didun ti o tobi pupọ. O jẹ ẹrin lati ronu pe o le ni kọnputa agbeka kan pẹlu ọpọlọpọ terabytes ti Ramu baiti adirẹsi adirẹsi. O ṣee ṣe pe ni ọdun 10 a yoo pinnu lati lo imọ-ẹrọ tuntun yii, nitori a lo DRAM - kan mu iwọn didun pọ si. Ṣugbọn ọpẹ si ominira agbara, awọn aye tuntun patapata ṣii fun wa. A le ṣe iyipada akopọ ibi-itọju ni ipilẹ ki ko si iyapa laarin baiti-adirẹsi iṣẹ iranti iṣẹ ati iranti-itumọ dina. Bayi, a ko ni nilo lati serialize ohun gbogbo ti o nilo lati wa ni ti o ti gbe lati ọkan ṣiṣe awọn eto si miiran sinu Àkọsílẹ-ti eleto awọn faili. Lati inu eyi a le gba ọpọlọpọ awọn ilana pataki ti o kan awọn ọna ṣiṣe, awọn agbegbe asiko, ati awọn ile itaja data pinpin. Agbegbe yii jẹ iyanilenu pupọ lati ṣiṣẹ ni. Tikalararẹ, o ṣoro fun mi lati sọ asọtẹlẹ kini gbogbo eyi yoo yorisi, ṣugbọn awọn iṣoro nibi jẹ idanilaraya pupọ. Awọn ayipada rogbodiyan le wa nibi, ati pe wọn tẹle nipa ti ara lati iṣẹ lori multithreading, nitori imularada ikuna jẹ ilana “multithreading” lẹgbẹẹ iṣẹ deede ti eto naa.

Koko akọkọ keji ti Mo n ṣiṣẹ lọwọlọwọ ni ṣiṣakoso awọn ẹrọ yiyara ati iraye si aabo si awọn ẹrọ lati aaye olumulo pẹlu iṣakoso eto imulo eto. Ni awọn ọdun aipẹ, aṣa ti wa lati gbe iraye si ẹrọ si aaye olumulo. Eyi ni a ṣe nitori akopọ ekuro TCP-IP ko le ṣiṣẹ lori oke wiwo nẹtiwọọki kan ti o nilo soso tuntun ni gbogbo iṣẹju-aaya 5 ni irọrun kii yoo tẹsiwaju. Nitorina, awọn olupese pese taara wiwọle si awọn ẹrọ. Ṣugbọn eyi tumọ si pe ẹrọ ṣiṣe npadanu iṣakoso ilana ati pe ko le pese iwọle si ẹrọ to dara fun awọn ohun elo idije. Ẹgbẹ oniwadi wa gbagbọ pe aito kukuru yii le yago fun. A yoo ni nkan lori eyi ni USENIX ATC ni oṣu yii. O ni ibatan si iṣẹ lori itẹramọṣẹ, niwọn bi o ti pẹ to baiti-adirẹsi iranti itẹramọṣẹ iranti jẹ, ni pataki, ẹrọ kan pẹlu I/O iyara-iyara ti o nilo lati wọle si ni aaye olumulo. Iwadi yii jẹ ki awọn isunmọ tuntun ṣee ṣe si awọn microkernels, exokernels, ati awọn igbiyanju aṣa miiran lati gbe iṣẹ ṣiṣe lailewu lati ekuro OS si aaye olumulo.

Владимир: Baiti-addressable iranti jẹ nla, ṣugbọn nibẹ ni a ti ara aropin - awọn iyara ti ina. Eyi tumọ si pe laiṣe idaduro yoo wa nigbati o ba n ṣepọ pẹlu ẹrọ naa.

Йайкл: Otitọ ni pipe.

Владимир: Njẹ agbara ti o to lati koju awọn ẹru tuntun naa?

Йайкл: Eyi jẹ ibeere ti o tayọ, ṣugbọn yoo ṣoro fun mi lati dahun. Imọran ti sisẹ ni iranti ti wa ni ayika fun igba diẹ, o jẹ iyanilenu pupọ, ṣugbọn tun eka pupọ. Emi ko ṣiṣẹ ni agbegbe yii, ṣugbọn yoo jẹ nla ti a ba ṣe awọn awari diẹ nibẹ. Mo bẹru Emi ko ni nkankan siwaju sii lati fi.

Владимир: Iṣoro kan tun wa. Tuntun, awọn oye ti o tobi pupọ ti Ramu yoo jẹ ko ṣee ṣe lati dada sinu Sipiyu. Nitorinaa, nitori awọn idiwọn ti ara, Ramu yii gbọdọ jẹ iyasọtọ.

Йайкл: Gbogbo rẹ da lori nọmba awọn abawọn ninu iṣelọpọ awọn iyika iṣọpọ. Ti o ba ṣee ṣe lati ṣẹda awọn wafers semikondokito patapata laisi awọn abawọn, lẹhinna o yoo ṣee ṣe lati ṣe gbogbo microcircuit lati inu rẹ. Ṣugbọn ni bayi a ko mọ bi a ṣe le ṣe microcircuits tobi ju awọn ontẹ ifiweranṣẹ lọ.

Владимир: Ṣugbọn a tun n sọrọ nipa awọn titobi nla, nipa awọn centimeters. Eyi laiṣeeṣe ni ipa lori lairi.

Йайкл: Bẹẹni. Ko si ohun ti o le ṣe nipa iyara ina.

Владимир: Laanu.

Nigbamii ti ńlá aṣa. Awọn ẹya data meji. Hydra.

Vitaliy: Bi o ti ye mi, o mu awọn aṣa tuntun ni yarayara. Iwọ jẹ ọkan ninu awọn akọkọ lati ṣiṣẹ ni iranti idunadura, ati ọkan ninu awọn akọkọ lati ṣiṣẹ ni iranti ti kii ṣe iyipada. Kini o ro pe yoo jẹ aṣa nla ti o tẹle? Tabi boya o jẹ aṣiri kan?

Йайкл: Lati so ooto, Emi ko mọ. Ni ireti Emi yoo ni anfani lati ṣe akiyesi nigbati nkan tuntun ba wa. Emi ko ti ni orire to lati pilẹ eyikeyi titun oko lori ara mi, sugbon mo ti ní kan diẹ orire ati ki o ni anfani lati bẹrẹ ṣiṣẹ oyimbo tete ni titun aaye da nipa elomiran. Mo nireti pe Emi yoo ni anfani lati ṣe eyi ni ọjọ iwaju.

Алексей: Ibeere ti o kẹhin ninu ifọrọwanilẹnuwo yii yoo jẹ nipa iṣẹ ṣiṣe rẹ ni Hydra ati awọn iṣẹ rẹ ni ile-iwe. Ti MO ba loye ni deede, ijabọ ni ile-iwe yoo jẹ nipa didi awọn algoridimu ọfẹ, ati ni apejọ nipa awọn ẹya data ilọpo meji. Ṣe o le sọ awọn ọrọ diẹ nipa awọn ijabọ wọnyi?

Йайкл: Ni apakan, a ti fi ọwọ kan awọn koko-ọrọ wọnyi pẹlu rẹ ninu ifọrọwanilẹnuwo yii. O jẹ nipa iṣẹ ti Mo ṣe pẹlu ọmọ ile-iwe mi Bill Scherer. O kọ iwe afọwọkọ kan lori rẹ, ati Doug Lee tun ṣe alabapin si rẹ, ati pe bajẹ-di apakan ti awọn ila amuṣiṣẹpọ ọpọlọpọ-asapo ni ile ikawe Java. Jẹ ki a ro pe eto data ti wa ni kika ati kikọ laisi idilọwọ, iyẹn ni, iṣẹ kọọkan ni nọmba to lopin ti awọn ilana lori ọna pataki. Ti o ba gbiyanju lati yọ data kuro ninu apo eiyan ti o ṣofo, tabi gbiyanju lati yọ awọn data kan ti ko si ninu apo eiyan yii, o ti sọ fun ọ lẹsẹkẹsẹ pe eyi ko le ṣe. Ṣugbọn ihuwasi yii le ma ṣe itẹwọgba ti okun ba nilo data yii gaan. Lẹhinna ohun akọkọ ti o wa si ọkan ni lati ṣẹda lupu kan ti yoo beere nigbagbogbo boya data pataki ti han. Ṣugbọn lẹhinna kikọlu wa fun gbogbo eniyan miiran. Ni afikun, pẹlu ọna yii, o le duro fun iṣẹju mẹwa 10, lẹhinna o tẹle ara miiran yoo wa, ati pe yoo gba data pataki lairotẹlẹ akọkọ. Awọn ẹya data meji ṣi ko ni awọn titiipa, ṣugbọn wọn gba awọn okun laaye lati duro dada. Ọrọ naa "ė" tumọ si pe eto naa ni boya data tabi awọn ibeere fun data, jẹ ki a pe wọn ni egboogi-data. Nitorina ti o ba gbiyanju lati gba ohun kan pada lati inu apoti ti o ṣofo, a yoo fi ibeere kan sinu apoti dipo. Bayi okun le duro fun ibeere kan laisi wahala ẹnikẹni miiran. Ni afikun, eto data n ṣe ipinnu awọn pataki si awọn ibeere nitori pe nigbati o ba gba, o gbe wọn lọ si eniyan ti o tọ. Abajade jẹ ẹrọ ti kii ṣe titiipa ti o tun ni sipesifikesonu deede ati iṣẹ ṣiṣe to dara ni iṣe.

Алексей: Kini awọn ireti rẹ lati eto data yii? Ṣe yoo mu ilọsiwaju ṣiṣẹ ni gbogbo awọn ọran ti o wọpọ, tabi o dara julọ fun awọn ipo kan?

Йайкл: O wulo ti o ba jẹ pe, akọkọ, o nilo eiyan laisi titiipa, ati, keji, o nilo lati duro ni ipo ti o nilo lati gba data lati inu apo ti ko si ninu rẹ. Si ti o dara julọ ti imọ mi, ilana wa n pese ihuwasi to dara julọ nigbati awọn ipo meji wọnyi ba pade. Nitorinaa, ninu awọn ọran wọnyi Mo ṣeduro lilo rẹ. Anfani akọkọ ti awọn ẹya data titiipa ni pe wọn yago fun awọn iṣoro iṣẹ. Ati idaduro jẹ pataki pupọ ni ọpọlọpọ awọn algoridimu ti a ba gbe data lati okun kan si omiiran.

VitaliyJẹ ki n ṣalaye: ṣe iwọ yoo sọrọ nipa ohun kanna mejeeji ni ile-iwe ati ni apejọ?

Йайкл: Ni ileiwe Emi yoo sọrọ ni gbogbogbo nipa awọn ẹya data ti ọpọlọpọ-asapo, pẹlu awọn ilana ipilẹ ti a ṣe ilana ni ibẹrẹ ẹkọ naa. Mo ro pe awọn olugbo mọ kini awọn okun jẹ ati pe o faramọ pẹlu awọn titiipa. Da lori imọ ipilẹ yii, Emi yoo sọrọ nipa awọn ẹya data ti ko ni titiipa. Emi yoo fun akopọ ti awọn iṣoro pataki julọ ni agbegbe yii, ni ifọwọkan lori awọn akọle bii iṣakoso iranti. Emi ko ro pe nibẹ ni yio je ohunkohun diẹ idiju ju MS isinyi.

Алексей: Ṣe o ngbero lati kọ ẹkọ nipa awọn ẹya data meji ni opin kilasi rẹ ni ile-iwe?

Йайкл: Emi yoo darukọ wọn, ṣugbọn Emi kii yoo lo akoko pupọ lori wọn. Iroyin Hydra yoo jẹ igbẹhin si wọn. Yoo bo iṣẹ akanṣe ti o ṣe nikẹhin sinu Java, bakanna bi ṣiṣẹ pẹlu Joe Israelevich lati ṣẹda iyatọ meji ti isinyi LCRQ, ati ṣiṣẹda apẹrẹ ti o sunmọ-gbogbo fun awọn ẹya data meji.

Алексей: Nitorina iwe-ẹkọ ni ile-iwe ni a le ṣe iṣeduro fun awọn olubere, ati ikẹkọ lori awọn ẹya data meji lori Hydra - fun awọn eniyan ti o ti ni iriri diẹ?

ЙайклAtunse mi ti o ba ti Mo wa ti ko tọ, ṣugbọn awọn jepe ni Hydra yoo jẹ ohun Oniruuru, pẹlu ọpọlọpọ awọn Java amoye, ati ni apapọ eniyan ti o ko ba wa ni pataki lowo ninu olona-asapo siseto.

Vitaliy: Bẹẹni, otitọ ni.

Алексей: Ni o kere a nireti bẹ.

Йайкл: Ni idi eyi, Emi yoo dojuko pẹlu iṣoro kanna pẹlu eyiti a bẹrẹ ifọrọwanilẹnuwo yii: bii o ṣe le ṣe ijabọ mejeeji ni ọlọrọ ni awọn alaye imọ-ẹrọ ati wiwọle si gbogbo awọn olutẹtisi.

Vitaliy: Ṣe iwọ yoo fun ijabọ ni ọna kanna ti o fun awọn ikowe? Iyẹn ni, sọrọ si awọn olugbo ki o ṣe deede si ipo naa?

Йайкл: Mo bẹru pe kii yoo ṣiṣẹ ni ọna yẹn, nitori ijabọ naa yoo ni awọn kikọja. Awọn ifaworanhan ṣe pataki nigbati awọn olutẹtisi sọ ni akọkọ awọn ede oriṣiriṣi. Ó máa ṣòro fún ọ̀pọ̀ èèyàn láti lóye mi ní èdè Gẹ̀ẹ́sì, pàápàá tí mo bá yára sọ̀rọ̀. Mo ti yan awọn koko-ọrọ nitori Peter Kuznetsov beere fun mi lati sọrọ nipa awọn ẹya data ti ko ni titiipa ni Ile-iwe SPTDC; ati lẹhinna Mo nilo ijabọ kan fun apejọ ẹgbẹ olumulo olumulo Java, ati pe Mo fẹ lati yan nkan ti yoo jẹ iwulo pataki si awọn olutọpa Java. Ọna to rọọrun ni lati sọrọ nipa awọn nkan wọnyẹn ni ile-ikawe Java ti Mo ni ọwọ ni ọna kan tabi omiiran.

Алексей: A ro pe awọn olugbo lori Hydra ti mọ ohunkan nipa siseto ti ko ni titiipa ati boya ni iriri diẹ ni agbegbe yii. Ṣugbọn eyi jẹ arosinu nikan; Lonakona, o ṣeun fun akoko rẹ. Mo ni idaniloju ifọrọwanilẹnuwo naa yoo jẹ igbadun pupọ fun awọn onkawe wa. O ṣeun lọpọlọpọ!

Vitaliy: E dupe.

Йайкл: Emi yoo dun lati pade nyin ni St.

Алексей: Awa naa, a ni ilu ti o lẹwa. Njẹ o ti wa nibi?

Йайкл: Rara, Emi ko ti lọ si Russia rara. Ṣugbọn St.

Алексей: Nipa ọna, a yoo ni eto ti awọn inọju fun awọn agbọrọsọ. O ṣeun pupọ fun ifọrọwanilẹnuwo naa, ati pe o ni ọjọ ti o wuyi!

O le tẹsiwaju ibaraẹnisọrọ rẹ pẹlu Michael ni apejọ Hydra 2019, eyiti yoo waye ni Oṣu Keje 11-12, 2019 ni St. Oun yoo wa pẹlu ijabọ kan "Awọn ẹya data meji". Tiketi le ṣee ra lori aaye osise.

orisun: www.habr.com