“Tha e nas fhasa freagairt na bhith sàmhach” - deagh agallamh le athair cuimhne gnìomhachd, Maurice Herlihy

Maurice Herlihy - sealbhadair dithis Duaisean Dijkstra. Tha a 'chiad fhear airson obair air "Sioncronachadh gun feitheamh" (Oilthigh Brown) agus an dàrna fear, nas ùire, - "Cuimhne Gnìomhach: Taic Ailtireachd airson Structaran Dàta gun Ghlas" (Oilthigh Virginia Tech). Tha Duais Dijkstra air a thoirt seachad airson obair aig a bheil brìgh agus buaidh air a bhith follaiseach airson co-dhiù deich bliadhna agus tha e follaiseach gu bheil Maurice air aon de na h-eòlaichean as ainmeil san raon. Tha e an-dràsta ag obair mar àrd-ollamh aig Oilthigh Brown agus tha grunn choileanaidhean aige a tha fada paragraf. Tha e an-dràsta a’ rannsachadh blockchain ann an co-theacsa coimpiutaireachd sgaoilte clasaigeach.

Roimhe sin, bha Maurice air tighinn dhan Ruis mu thràth airson SPTCC (clàradh bhidio) agus rinn e coinneamh shàr-mhath de choimhearsnachd leasaiche JUG.ru Java ann an St.clàradh bhidio).

Tha an habrapost seo na dheagh agallamh le Maurice Herlihy. Bidh e a’ bruidhinn air na cuspairean a leanas:

  • Eadar-obrachadh eadar an saoghal acadaimigeach agus gnìomhachas;
  • Stèidheachd airson Rannsachadh Blockchain;
  • Cò às a tha beachdan adhartach a’ tighinn? Buaidh an t-sluaigh ;
  • PhD fo stiùireadh Barbara Liskov;
  • Tha an saoghal a 'feitheamh airson ioma-cridhe;
  • Bheir saoghal ùr duilgheadasan ùra. NVM, NUMA agus ailtireachd hacaidh;
  • Compilers vs processors, RISC vs CISC, cuimhne co-roinnte vs teachdaireachd a 'dol seachad;
  • An ealain a bhith a’ sgrìobhadh còd ioma-snàthainn lag;
  • Mar a theagasg tu oileanaich còd ioma-snàithlean iom-fhillte a sgrìobhadh;
  • Deasachadh ùr den leabhar “The Art of Multiprocessor Programming”;
  • Mar a chaidh cuimhne gnìomhachd a chruthachadh;   
  • Carson a tha e luachmhor rannsachadh a dhèanamh ann an raon coimpiutaireachd sgaoilte;
  • A bheil leasachadh algorithms air stad, agus mar a ghluaiseas tu air adhart;
  • Obair aig Oilthigh Brown;
  • An diofar eadar rannsachadh aig oilthigh agus taobh a-staigh corporra;
  • Hydra agus SPTDC.

Tha an t-agallamh air a stiùireadh le:

Vitaly Aksenov - an-dràsta, post-doc aig IST Austria agus neach-obrach aig Roinn Teicneòlasan Coimpiutaireachd aig Oilthigh ITMO. A’ dèanamh rannsachadh ann an raon teòiridh agus cleachdadh structaran dàta farpaiseach. Mus robh e ag obair aig IST, fhuair e PhD bho Oilthigh Paris Diderot agus Oilthigh ITMO fo stiùireadh an Àrd-ollamh Peter Kuznetsov.

Alexei Fedorov - Riochdaire aig JUG Ru Group, companaidh Ruiseanach a bhios a 'cur air dòigh co-labhairtean airson luchd-leasachaidh. Ghabh Alexei pàirt ann an ullachadh barrachd air 50 co-labhairtean, agus tha an ath-thòiseachadh aige a’ toirt a-steach a h-uile càil bho shuidheachadh innleadair leasachaidh aig Oracle (JCK, Java Platform Group) gu suidheachadh leasaiche aig Odnoklassniki.

Vladimir Sitnikov - Einnseanair aig Netcracker. Deich bliadhna de dh’ obair air coileanadh agus scalability NetCracker OS, bathar-bog air a chleachdadh le gnìomhaichean cian-conaltraidh gus pròiseasan riaghlaidh uidheamachd lìonra is lìonraidh a dhèanamh fèin-ghluasadach. Ùidh ann an cùisean coileanaidh Stòr-dàta Java agus Oracle. Ùghdar air còrr air dusan leasachadh coileanaidh ann an draibhear oifigeil PostgreSQL JDBC.

Eadar-obrachadh eadar an saoghal acadaimigeach agus gnìomhachas

Alexey: Maurice, tha thu air a bhith ag obair ann an àrainneachd acadaimigeach airson ùine mhòr agus is e a’ chiad cheist an eadar-obrachadh eadar raointean acadaimigeach agus gnìomhachais. Am b’ urrainn dhut bruidhinn air mar a tha eadar-obrachadh eatorra air atharrachadh o chionn ghoirid? Dè thachair o chionn 20-30 bliadhna agus dè tha a’ tachairt a-nis? 

Maurice: Bha mi a-riamh air feuchainn ri bhith ag obair gu dlùth le companaidhean malairteach oir tha duilgheadasan inntinneach aca. Mar riaghailt, chan eil ùidh mhòr aca ann a bhith a 'foillseachadh an toraidhean no ann am mìneachadh mionaideach air na duilgheadasan aca do choimhearsnachd an t-saoghail. Chan eil ùidh aca ach ann a bhith a 'fuasgladh nan duilgheadasan sin. Bha mi ag obair airson companaidhean mar sin airson ùine. Chuir mi seachad còig bliadhna ag obair làn-ùine ann an obair-lann rannsachaidh aig Digital Equipment Corporation, a b’ àbhaist a bhith na chompanaidh coimpiutair mòr. Bha mi ag obair aon latha san t-seachdain aig Sun, aig Microsoft, aig Oracle, agus rinn mi beagan obair aig Facebook. A-nis tha mi a’ dol a dhol air fòrladh sàbaid (tha cead aig ollamh ann an oilthigh Aimeireaganach fòrladh mar sin a ghabhail airson bliadhna mu aon turas gach sia bliadhna) agus obair ann an Algorand, is e companaidh cryptocurrency a tha seo ann am Boston. Tha a bhith ag obair gu dlùth le companaidhean air a bhith na thoileachas a-riamh oir is ann mar sin a bhios tu ag ionnsachadh mu rudan ùra agus inntinneach. Is dòcha gur tusa eadhon a’ chiad no an dàrna neach a dh’ fhoillsich artaigil air cuspair taghte, an àite a bhith ag obair air fuasglaidhean mean air mhean air duilgheadasan a tha a h-uile duine eile ag obair mu thràth.

Alexey: An innis thu dhuinn ann am barrachd mionaideachd mar a tha seo a’ tachairt?

Maurice: Gu dearbh. Tha fios agad, nuair a bha mi ag obair aig an Digital Equipment Corporation, mise agus Elliot Moss, chruthaich sinn cuimhne gnìomhachd. B’ e àm fìor thorrach a bh’ ann nuair a thòisich ùidh aig a h-uile duine ann an teicneòlas fiosrachaidh. Co-shìnteachd, a’ gabhail a-steach, ged nach robh siostaman ioma-cridhe ann fhathast. Tron làithean Sun agus Oracle, bha mi ag obair gu mòr air structaran dàta co-shìnte. Aig Facebook bha mi ag obair air a’ phròiseact blockchain aca, nach urrainn dhomh bruidhinn mu dheidhinn, ach tha mi an dòchas gum bi e poblach a dh’ aithghearr. An ath-bhliadhna, aig Algorand, bidh mi ag obair ann am buidheann rannsachaidh a’ sgrùdadh chùmhnantan snasail.

Alexey: Tha Blockchain air fàs gu bhith na chuspair mòr-chòrdte anns na beagan bhliadhnaichean a dh’ fhalbh. An cuidich seo do rannsachadh? Is dòcha gun dèan e nas fhasa tabhartasan fhaighinn no cothrom fhaighinn air goireasan bho chompanaidhean a tha ag obair sa ghnìomhachas?

Maurice: Fhuair mi tabhartas beag mar-thà bhon Ethereum Foundation. Tha fèill mhòr air blockchain gu math cuideachail ann a bhith a’ brosnachadh oileanaich gu bhith ag obair san raon seo. Tha ùidh mhòr aca ann agus tha iad air bhioran a dhol an sàs ann, ach uaireannan chan eil iad a 'tuigsinn gu bheil an rannsachadh a tha inntinneach air an taobh a-muigh a' tionndadh gu bhith a 'toirt a-steach obair chruaidh. Ach, tha mi air bhioran a bhith a’ cleachdadh an dìomhaireachd seo timcheall air blockchain gus oileanaich a thàladh. 

Ach chan e sin uile. Tha mi air bòrd comhairleachaidh grunn chompanaidhean tòiseachaidh blockchain. Faodaidh cuid dhiubh soirbheachadh, is dòcha nach bi cuid dhiubh, ach tha e an-còmhnaidh glè inntinneach na beachdan aca fhaicinn, an sgrùdadh agus comhairle a thoirt do dhaoine. Is e an rud as inntinniche nuair a bheir thu rabhadh do dhaoine gun a bhith a’ dèanamh rudeigin. Tha tòrr rudan coltach ri deagh bheachd an toiseach, ach a bheil iad dha-rìribh?

Bunait airson Rannsachadh Blockchain

Vitaly: Tha cuid den bheachd gu bheil an àm ri teachd an urra ris an blockchain agus na h-algorithms aige. Agus tha daoine eile ag ràdh gur e dìreach builgean eile a th’ ann. An urrainn dhut do bheachd a cho-roinn air a’ chùis seo?

Maurice: Tha tòrr de na tha dol air adhart ann an saoghal blockchain ceàrr, chan eil ann an cuid ach sgam, tha cus cus ann. Ach, tha mi a’ smaoineachadh gu bheil bunait saidheansail làidir ann airson na sgrùdaidhean sin. Tha an fhìrinn gu bheil saoghal blockchain làn de dh ’eadar-dhealachaidhean ideòlach a’ sealltainn an ìre de thoileachas agus dealas. Air an làimh eile, chan eil seo gu sònraichte buannachdail airson rannsachadh saidheansail. A-nis, ma dh'fhoillsicheas tu artaigil a tha a 'bruidhinn air easbhaidhean algairim sònraichte, chan eil an fhreagairt a thig às an-còmhnaidh gu tur saidheansail. Gu math tric bidh daoine a 'tilgeil a-mach am faireachdainnean. Tha mi a’ smaoineachadh gur dòcha gu bheil an leithid de dh’ othail san raon seo a’ coimhead tarraingeach do chuid, ach aig deireadh an latha, tha fìor chùisean saidheansail agus innleadaireachd air am feumar dèiligeadh. Tha tòrr Saidheans Coimpiutaireachd an seo.

Vitaly: Mar sin tha thu a 'feuchainn ri bunait a stèidheachadh airson rannsachadh blockchain, ceart?

Maurice: Tha mi a’ feuchainn ri bunait a stèidheachadh airson smachd làidir, saidheansail agus matamataigeach. Agus is e pàirt den duilgheadas gum feum thu uaireannan a dhol an aghaidh cuid de na dreuchdan ro chruaidh aig daoine eile agus an aire a thoirt dhaibh. Aig amannan bidh daoine a’ faighneachd carson a tha mi ag obair ann an sgìre far nach eil ùidh ach aig luchd-ceannairc agus luchd-malairt dhrogaichean. Tha an leithid de fhreagairt cho gun bhrìgh ri giùlan luchd-leantainn a bhios ag ath-aithris do bhriathran gu dall. Tha mi a’ smaoineachadh gu bheil an fhìrinn an àiteigin sa mheadhan. Bidh buaidh mhòr aig Blockchain air comann-sòisealta agus eaconamaidh na cruinne. Ach is dòcha nach tachair seo le taing do theicneòlas an latha an-diugh. Leasaichidh teicneòlasan an latha an-diugh agus bidh an rud ris an canar blockchain san àm ri teachd gu math cudromach. Is dòcha nach eil e eadhon coltach ri blockchains an latha an-diugh, is e ceist fhosgailte a tha sin.

Ma chruthaicheas daoine teicneòlasan ùra, cumaidh iad orra ga ainmeachadh blockchain. Tha mi a’ ciallachadh, dìreach mar a tha Fortran an-diugh aig nach eil gnothach sam bith ris a’ chànan Fortran bho na 1960n, ach tha a h-uile duine fhathast ga ainmeachadh Fortran. An aon rud airson UNIX. Bidh an rud ris an canar “blockchain” fhathast na thionndadh. Ach tha mi teagmhach gum bi an blockchain ùr seo mar rud a tha a’ còrdadh ris a h-uile duine a bhith a’ cleachdadh an-diugh.

Cò às a tha beachdan adhartach a’ tighinn? Buaidh mòr-chòrdte

Alexey: A bheil fèill mhòr air blockchain air leantainn gu toraidhean ùra bho shealladh saidheansail? Barrachd eadar-obrachaidh, barrachd oileanaich, barrachd chompanaidhean san sgìre. A bheil toraidhean ann mar-thà bhon àrdachadh mòr-chòrdte seo?

Maurice: Ghabh mi ùidh ann an seo nuair a thug cuideigin bileag oifigeil dhomh airson companaidh a bha dìreach air tòrr airgid a thogail. Sgrìobh e mu dheidhinn obair nan seanalairean Byzantine, air a bheil mi nas eòlaiche. Bha e soilleir gu robh na bha sgrìobhte sa bhileig ceàrr gu teicnigeach. Cha robh na daoine a sgrìobh seo gu lèir a' tuigsinn a' mhodail a bha air cùl na trioblaid... agus a dh'aindeoin sin thog a' chompanaidh seo tòrr airgid. Às deidh sin, chuir a 'chompanaidh gu sàmhach an àite a' bhileag seo le dreach mòran nas ceart - agus chan eil mi ag ràdh dè an t-ainm a bh 'air a' chompanaidh seo. Tha iad fhathast mun cuairt agus a’ dèanamh glè mhath. Thug an tachartas seo cinnteach dhomh gur e dìreach seòrsa de choimpiutaireachd sgaoilte a th’ ann an blockchain an-toiseach. San dàrna h-àite, bha an ìre inntrigidh (co-dhiù an uairsin, ceithir bliadhna air ais) gu math ìosal. Bha na daoine a bha ag obair san raon seo glè shunndach agus tùrail, ach cha do leugh iad pàipearan saidheansail. Dh'fheuch iad ri rudan aithnichte ath-chruthachadh agus rinn iad ceàrr. An-diugh tha an dràma air lùghdachadh.

Alexey: Tha seo gu math inntinneach, oir o chionn beagan bhliadhnaichean bha gluasad eadar-dhealaichte againn. Tha e car coltach ri leasachadh aghaidh-aghaidh, nuair a dh’ath-chruthaich luchd-leasachaidh aghaidh-aghaidh stèidhichte air brabhsair teicneòlasan slàn a bha mòr-chòrdte mar-thà anns a’ cheann-cùil: siostaman togail, amalachadh leantainneach, rudan mar sin. 

Maurice: Tha mi ag aontachadh. Ach chan eil seo na iongnadh, oir tha fìor bheachdan adhartach an-còmhnaidh a’ tighinn bho thaobh a-muigh na coimhearsnachd stèidhichte. Tha e eu-coltach gun dèan luchd-rannsachaidh stèidhichte, gu sònraichte acadaimigich stèidhichte, dad fìor ùr-nodha. Tha e furasta pàipear a sgrìobhadh airson na h-ath cho-labhairt mu mar a leasaich thu beagan air toraidhean na h-obrach a rinn thu roimhe. Rach gu co-labhairt, thig còmhla ri caraidean, bruidhinn mu na h-aon rudan. Agus bidh na daoine a bhios a’ spreadhadh le beachdan adhartach cha mhòr an-còmhnaidh a’ tighinn bhon taobh a-muigh. Chan eil iad eòlach air na riaghailtean, chan eil eòlas aca air a’ chànan, ach a dh’ aindeoin sin... Ma tha thu taobh a-staigh coimhearsnachd stèidhichte, tha mi a’ comhairleachadh dhut aire a thoirt do rudan ùra, do rud nach eil a’ freagairt air an dealbh iomlan. Ann an seagh, faodar oidhirp a dhèanamh gus leasachaidhean bhon taobh a-muigh, nas siùbhlach a chur còmhla ri dòighean a tha sinn a’ tuigsinn mar-thà. Mar chiad cheum, feuch ri bunait saidheansail a stèidheachadh, agus an uairsin atharraich e gus an gabh a chuir an sàs ann am beachdan adhartach ùra. Tha mi a’ smaoineachadh gu bheil blockchain math airson a bhith na bheachd ùr, draghail.

Alexey: Saoil carson a tha seo a' tachairt? Leis nach eil cnapan-starra sònraichte aig daoine “taobh a-muigh” sa choimhearsnachd?

Maurice: Tha pàtran a' dol an seo. Ma leughas tu eachdraidh luchd-deilbh ann am peantadh agus ealain san fharsaingeachd, aig aon àm dhiùlt luchd-ealain ainmeil beachd-bheachd. Thuirt iad gur e leanabh a bh' ann. Ginealach às deidh sin, thàinig an cruth ealain seo a chaidh a dhiùltadh gu bhith na inbhe. Na tha mi a 'faicinn anns an raon agam: cha robh ùidh aig innleadairean blockchain ann an cumhachd, ann a bhith a' meudachadh foillseachaidhean agus clàr-amais, bha iad dìreach airson rudeigin math a dhèanamh. Agus mar sin shuidh iad sìos agus thòisich iad air a dhèanamh. Cha robh tomhas de dhoimhneachd theicnigeach aca, ach tha sin comasach a rèiteachadh. Tha e tòrr nas duilghe beachdan cruthachail ùra a chruthachadh na bhith a’ ceartachadh agus a’ neartachadh feadhainn nach eil gu leòr aibidh. Taing dha na h-innleadairean sin, tha rudeigin agam ri dhèanamh a-nis!

Alexey: Tha seo coltach ris an eadar-dhealachadh eadar tòiseachadh agus pròiseactan dìleab. Bidh sinn a’ sealbhachadh mòran chuingealachaidhean smaoineachaidh, cnapan-starra, riatanasan sònraichte, agus mar sin air adhart.

Maurice: Tha deagh analogy air a chuairteachadh coimpiutaireachd. Smaoinich air blockchain mar gum biodh e na thoiseach tòiseachaidh agus air a sgaoileadh coimpiutaireachd mar chompanaidh mòr, stèidhichte. Thathas an-dràsta a’ faighinn coimpiutaireachd sgaoilte agus ga chur còmhla ri blockchain.

PhD fo stiùireadh Barbara Liskov

Vitaly: Tha tòrr cheistean againn fhathast! Bha sinn a’ coimhead a-steach air do chùl-raon agus thàinig sinn tarsainn air fìrinn inntinneach mun dotaireachd agad. Bha, bha seo o chionn fhada, ach tha e coltach gur e cuspair cudromach a th’ ann. Fhuair thu do PhD fo do stiùireadh fhèin Barbara Liskov! Tha Barbara gu math ainmeil ann an coimhearsnachd cànan prògramadh, agus neach gu math ainmeil san fharsaingeachd. Tha e loidsigeach gun robh an rannsachadh agad ann an raon chànanan prògramaidh. Ciamar a thionndaidh tu gu coimpiutaireachd co-shìnte? Carson a cho-dhùin thu an cuspair atharrachadh?

Maurice: Aig an àm, bha Barbara agus a buidheann dìreach a’ coimhead air coimpiutaireachd sgaoilte, rud a bha na bheachd gu math ùr. Bha feadhainn ann cuideachd a thuirt gur e neòinean a bh’ ann an coimpiutaireachd sgaoilte agus nach robh feum air coimpiutairean a bha a’ conaltradh ri chèile. Is e aon de na cùisean ris an deach dèiligeadh ann an coimpiutaireachd sgaoilte a tha ga eadar-dhealachadh bho choimpiutaireachd meadhanaichte fulangas sgàinidhean. Às deidh mòran rannsachaidh, cho-dhùin sinn gum feumadh rudeigin mar ghnothaichean atamach a bhith aig cànan prògramadh coimpiutaireachd sgaoilte oir chan urrainn dhut a-riamh a bhith cinnteach gun soirbhich le gairm iomallach. Aon uair ‘s gu bheil gnothaichean agad, bidh duilgheadas riaghladh concurrency ag èirigh. An uairsin chaidh tòrr obrach a dhèanamh air structaran dàta malairt co-shìnte fhaighinn. An uairsin, nuair a cheumnaich mi, chaidh mi gu Carnegie Mellon agus thòisich e a’ coimhead airson cuspair airson obrachadh air. Thachair e dhomh gu bheil coimpiutaireachd air gluasad bho choimpiutairean fa leth gu lìonraidhean de choimpiutairean. Bhiodh ioma-phròiseasaran nan leantainneachd nàdarra air adhartas - cha robh am facal “ioma-cridhe” ann fhathast. Bha mi a’ smaoineachadh: dè a tha co-ionann ri gnothaichean atamach airson siostam ioma-cridhe? Gu cinnteach chan e gnothaichean cunbhalach oir tha iad ro mhòr agus trom. Agus sin mar a thàinig mi suas leis a’ bheachd sreathachd agus is ann mar sin a thàinig mi suas leis an t-sioncronachadh gu lèir gun fheitheamh. B’ e oidhirp a bha seo air a’ cheist a fhreagairt dè a th’ ann an analogue de ghnothaichean atamach airson siostam ioma-phròiseasair le cuimhne co-roinnte. Aig a 'chiad sealladh, is dòcha gum bi an obair seo a' coimhead gu tur eadar-dhealaichte, ach gu dearbh tha e a 'leantainn air adhart leis an aon chuspair.

Tha an saoghal a’ feitheamh ri ioma-cridhe

Vitaly: Dh'ainmich thu nach robh ach glè bheag de choimpiutairean ioma-cridhe ann aig an àm sin, ceart?

Maurice: Dìreach cha robh iad ann. Bha grunn ioma-phròiseasan co-chothromach ann, a bha gu bunaiteach ceangailte ris an aon bhus. Cha do dh’obraich seo glè mhath oir a h-uile uair a chruthaich companaidh ùr rudeigin coltach ris, bhiodh Intel a’ leigeil a-mach aon phròiseasar a bha na b’ fheàrr na an ioma-phròiseasar.

Alexey: Nach eil seo a’ ciallachadh gur e sgrùdadh teòiridheach a bh’ ann anns na seann làithean sin?

Maurice: Cha b’ e sgrùdadh teòiridheach a bh’ ann, ach sgrùdadh tuairmeasach. Cha robh seo uile mu dheidhinn a bhith ag obair le mòran theòirichean; an àite sin, chuir sinn air adhart barailean mu ailtireachd nach robh ann aig an àm sin. Seo carson a tha rannsachadh! Cha bhiodh companaidh sam bith air rudeigin mar seo a dhèanamh; bha e uile rudeigin bhon àm ri teachd fad às. Gu dearbh, bha seo fìor gu 2004, nuair a nochd fìor phròiseasan ioma-cridhe. Leis gu bheil pròiseasairean ro theth, faodaidh tu am pròiseasar a dhèanamh eadhon nas lugha, ach chan urrainn dhut a dhèanamh nas luaithe. Air sgàth seo, chaidh gluasad gu ailtireachd ioma-cridhe. Agus an uairsin bha sin a’ ciallachadh gun robh feum gu h-obann air a h-uile bun-bheachd a bha sinn air a leasachadh san àm a dh’ fhalbh.

Alexey: An dùil carson a nochd pròiseasairean ioma-cridhe a-mhàin anns na XNUMXn? Mar sin carson a tha e cho fadalach?

Maurice: Tha seo mar thoradh air cuingealachaidhean bathar-cruaidh. Tha Intel, AMD agus companaidhean eile fìor mhath air astar pròiseasar àrdachadh. Nuair a dh’ fhàs na pròiseasairean beag gu leòr aig àm air choreigin nach b’ urrainn dhaibh astar a’ ghleoc àrdachadh tuilleadh oir thòisicheadh ​​na pròiseasairean a’ losgadh a-mach. Faodaidh tu an dèanamh nas lugha, ach chan ann nas luaithe. Na tha nan cumhachd - an àite pròiseasar glè bheag, faodaidh iad ochd, sia-deug no trithead ’s a dhà a chuir a-steach don aon mheud den chùis, far nach b’ urrainn ach aon a bhith iomchaidh roimhe seo. A-nis tha ioma-snàthainn agus conaltradh luath agad eatorra oir bidh iad a’ roinn caches. Ach chan urrainn dhut toirt orra ruith nas luaithe - tha crìoch astair sònraichte ann. Bidh iad a’ leantainn air adhart a’ leasachadh mean air mhean, ach chan eil sin cho mòr tuilleadh. Sheas laghan fiosaigs ann an dòigh leasachaidhean.

Bheir saoghal ùr duilgheadasan ùra. NUMA, NVM agus ailtireachd hacaidh

Alexey: Tha e gu math reusanta. Le pròiseasairean ioma-cridhe ùr thàinig duilgheadasan ùra. An robh thu fhèin agus do cho-obraichean an dùil ris na duilgheadasan sin? Is dòcha gun do rinn thu sgrùdadh orra ro làimh? Ann an sgrùdaidhean teòiridheach gu tric chan eil e glè fhurasta a leithid de rudan a ro-innse. Nuair a thachair duilgheadasan, ciamar a choinnich iad riut fhèin agus ri do cho-obraichean? No an robh iad gu tur ùr, agus dh'fheumadh tu fhèin agus do cho-obraichean tòrr ùine a chaitheamh a 'fuasgladh cheistean mar a nochd iad?

Vitaly: Cuiridh mi ri ceist Alexey: an do rinn thu ro-innse ceart air ailtireachd pròiseasar fhad ‘s a bha thu a’ sgrùdadh an teòiridh?

Maurice: Chan eil 100%. Ach tha mi a’ smaoineachadh gu bheil mo cho-obraichean agus mi air obair mhath a dhèanamh a’ ro-innse ioma-cridhe le cuimhne co-roinnte. Tha mi a’ smaoineachadh gun do rinn sinn ro-innse ceart air na duilgheadasan ann a bhith a’ leasachadh structaran dàta co-shìnte a bhios ag obair gun ghlasan. Tha structaran dàta mar seo air a bhith cudromach airson mòran thagraidhean, ged nach eil iad uile, ach gu tric is e structar dàta neo-ghlasaidh a tha a dhìth ort. Nuair a dh’innlich sinn iad, bha mòran ag argamaid gur e neòinean a bha seo, gun robh a h-uile càil ag obair gu math le glasan. Rinn sinn ro-innse math gum biodh fuasglaidhean deiseil ann airson mòran dhuilgheadasan prògramadh agus duilgheadasan structar dàta. Bha duilgheadasan nas iom-fhillte ann cuideachd, leithid ANNS - ruigsinneachd neo-chothromach air cuimhne. Gu dearbh, cha deach beachdachadh orra eadhon gus an deach pròiseasairean ioma-cridhe a chruthachadh leis gu robh iad ro shònraichte. Bha a’ choimhearsnachd rannsachaidh ag obair air ceistean a bha dùil san fharsaingeachd. Dh'fheumadh cuid de dhuilgheadasan cruaidh-chruaidh co-cheangailte ri ailtireachd sònraichte feitheamh anns na sgiathan - gu dearbh, coltas nan ailtireachd sin. Mar eisimpleir, cha robh duine dha-rìribh ag obair air structaran dàta sònraichte GPU leis nach robh GPUs ann air ais an uairsin. Ged a chaidh tòrr obair a dhèanamh air SIMD, bha na h-algorithms sin deiseil airson an cleachdadh cho luath ‘s a bhiodh bathar-cruaidh iomchaidh ri fhaighinn. Ach, tha e do-dhèanta ro-innse a h-uile dad.

Alexey: Ma tha mi a 'tuigsinn gu ceart, tha NUMA na sheòrsa de cho-rèiteachadh eadar cosgais, coileanadh agus cuid de rudan eile. Beachdan sam bith carson a thàinig NUMA a-mach cho fadalach?

Maurice: Tha mi a’ smaoineachadh gu bheil NUMA ann air sgàth duilgheadasan leis a’ bhathar-cruaidh a thathas a’ cleachdadh gus cuimhne a thoirt gu buil: mar as fhaide air falbh a tha na pàirtean, is ann as slaodaiche a bhios e faighinn thuca. Air an làimh eile, is e an dàrna luach den tarraing seo èideadh cuimhne. Mar sin is e aon de na feartan aig coimpiutaireachd co-shìnte gu bheil a h-uile tarraing a-mach beagan briste. Nam biodh ruigsinneachd gu tur rèidh, bhiodh a h-uile cuimhne co-ionann, ach tha seo do-dhèanta gu h-eaconamach, agus is dòcha eadhon gu corporra. Mar sin tha an còmhstri seo ag èirigh. Ma sgrìobhas tu am prògram agad mar gum biodh cuimhne èideadh, bidh e glè choltach gum bi e ceart. Anns an fhaireachdainn nach toir e seachad freagairtean ceàrr. Ach cha ghlac an coileanadh aice na rionnagan às na speuran nas motha. Mar an ceudna, ma sgrìobhas tu glasan-dubha Gun a bhith a’ tuigsinn rangachd an tasgadan, bidh am bacadh fhèin ceart, ach faodaidh tu dìochuimhneachadh mu choileanadh. Ann an seagh, feumaidh tu prògraman a sgrìobhadh a tha beò a bharrachd air tarraing gu math sìmplidh, ach feumaidh tu a dhol thairis air na daoine a thug dhut an tarraing sin: feumaidh fios a bhith agad gu bheil rangachd cuimhne air choireigin fon tarraing, gu bheil bus eadar thu agus a’ chuimhne seo, agus mar sin air adhart. Mar sin, tha beagan còmhstri eadar tarraingean feumail fa leth, a tha gar stiùireadh gu duilgheadasan fìor chruadhtan agus pragmatach.

Vitaly: Dè mu dheidhinn an ama ri teachd? An urrainn dhut ro-innse mar a leasaicheas pròiseasairean an ath rud? Tha beachd ann gur e cuimhne gnìomhachd aon de na freagairtean. Is dòcha gu bheil rudeigin eile agad ann an stoc.

Maurice: Tha dùbhlan mòr no dhà romhainn. Is e aon dhiubh gur e tarraing mìorbhaileach a th’ ann an cuimhne ciallach, ach tha e a’ tòiseachadh a’ briseadh sìos ann an cùisean sònraichte. Mar sin, mar eisimpleir, tha NUMA na eisimpleir beò de rudeigin far an urrainn dhut cumail ort a’ leigeil a-mach gu bheil cuimhne èideadh ann. Gu dearbh chan e, bheir cinneasachd ort caoineadh. Aig àm air choreigin, feumaidh ailtirean am beachd air aon ailtireachd cuimhne a thrèigsinn; chan urrainn dhut leigeil ort gu bràth. Bidh feum air modalan prògramaidh ùra a tha furasta gu leòr a chleachdadh agus cumhachdach gu leòr gus am bathar-cruaidh bunaiteach a dhèanamh èifeachdach. Is e co-rèiteachadh gu math duilich a tha seo, oir ma sheallas tu do luchd-prògramaidh an ailtireachd a tha dha-rìribh air a chleachdadh anns a’ bhathar-cruaidh, thèid iad às mo chiall. Tha e ro iom-fhillte agus chan eil e so-ghiùlain. Ma sheallas tu eadar-aghaidh a tha ro shìmplidh, bidh an coileanadh truagh. Mar sin, feumar mòran de cho-dhùnaidhean duilich a dhèanamh gus modalan prògramadh feumail a thoirt seachad a tha iomchaidh airson pròiseasairean ioma-cridhe fìor mhòr. Chan eil mi cinnteach gu bheil neach sam bith ach eòlaiche comasach air prògramadh air coimpiutair 2000-core. Agus mura h-eil thu a’ dèanamh coimpiutaireachd no cryptography fìor speisealta no saidheansail no rudeigin mar sin - chan eil e soilleir fhathast ciamar a nì thu e ceart. 

Is e raon eile den aon seòrsa ailtireachd sònraichte. Tha luathadairean grafaigs air a bhith timcheall airson ùine mhòr, ach tha iad air a thighinn gu bhith nan eisimpleir clasaigeach air mar as urrainn dhut seòrsa sònraichte de choimpiutaireachd a ghabhail agus a ruith air sliseag sònraichte. Tha seo a’ cur ris na dùbhlain aige fhèin: mar a nì thu conaltradh le inneal mar sin, mar a nì thu prògramadh air. Tha mi air a bhith ag obair air trioblaidean san sgìre o chionn ghoirid faisg air coimpiutaireachd cuimhne. Bidh thu a’ toirt pròiseasar beag agus ga ghleusadh gu cnap mòr de chuimhne gus am bi a’ chuimhne a’ ruith aig astar tasgadan L1 agus an uairsin a’ conaltradh le inneal mar TPU - tha am pròiseasar trang a’ luchdachadh gnìomhan ùra a-steach don chridhe cuimhne agad. Tha dealbhadh structaran dàta agus protocolaidhean conaltraidh airson an seòrsa rud seo na eisimpleir inntinneach eile. Mar sin cumaidh pròiseasairean àbhaisteach agus bathar-cruaidh a’ faicinn leasachaidhean airson ùine mhòr.

Alexey: Dè mu dheidhinn cuimhne neo-luaineach (cuimhne neo-luaineach)?

Maurice: O, sin deagh eisimpleir eile! Atharraichidh NVM gu mòr an dòigh sa bheil sinn a’ coimhead air rudan mar structaran dàta. Tha cuimhne neo-luaineach, ann an seagh, a’ gealltainn gun luathaich e cùisean. Ach cha dèan e beatha nas fhasa oir tha a’ mhòr-chuid de luchd-giullachd, caches agus clàran fhathast luaineach. Nuair a thòisicheas tu às deidh tubaist, cha bhith do staid agus staid do chuimhne dìreach mar a bha iad ron tubaist. Tha mi air leth taingeil dha na daoine a tha ag obair air NVM - bidh gu leòr ann airson luchd-rannsachaidh a dhèanamh airson ùine mhòr a’ feuchainn ri suidheachaidhean ceartachd obrachadh a-mach. Tha àireamhachadh ceart mas urrainn dhaibh a bhith beò ann an tubaist far a bheil susbaint nan tasgadan agus na clàran air an call, ach tha am prìomh chuimhne fhathast slàn.

Compilers vs processors, RISC vs CISC, cuimhne co-roinnte vs teachdaireachd a 'dol seachad

Vladimir: Dè do bheachd air a’ dhileab “compilers vs processors” bho shealladh seata stiùiridh? Leig dhomh mìneachadh dhaibhsan nach eil eòlach: ma thèid sinn gu cuimhne skewed no rudeigin coltach ris, dh’ fhaodadh sinn seata òrdughan gu math sìmplidh a chleachdadh agus iarraidh air an neach-cruinneachaidh còd iom-fhillte a ghineadh a ghabhas brath air na buannachdan ùra. No faodaidh sinn a dhol an rathad eile: cuir an gnìomh stiùiridhean iom-fhillte agus iarr air a ’phròiseasar an stiùireadh ath-òrdachadh agus làimhseachadh eile a dhèanamh leotha. Dè do bheachd air?

Maurice: Chan eil fìor fhreagairt agam don cheist sin. Tha an deasbad seo air a bhith a’ dol air adhart airson ceithir deicheadan. Bha àm ann nuair a bha eadar giorrachadh seata de òrdughan agus iom-fhillte chaidh cogaidhean catharra a shabaid le seata òrduighean. Airson greis, bhuannaich na daoine RISC, ach an uairsin thog Intel na h-einnseanan aca gus an deach seata stiùiridh nas lugha a chleachdadh air an taobh a-staigh, agus chaidh an làn sheata a chuir a-mach a-muigh. Is dòcha gur e seo cuspair anns am feum gach ginealach ùr na co-rèiteachaidhean aca fhèin a lorg agus na co-dhùnaidhean aca fhèin a dhèanamh. Tha e gu math duilich ro-innse dè na rudan sin a bhios nas fheàrr. Mar sin bidh ro-innse sam bith a nì mi fìor airson ùine sònraichte, agus an uairsin meallta a-rithist airson greis, agus an uairsin fìor a-rithist.

Alexey: Dè cho cumanta 'sa tha e don ghnìomhachas gum bi cuid de bheachdan a' buannachadh airson grunn deicheadan agus a 'call anns an ath bhliadhna? A bheil eisimpleirean eile ann de dh’ atharrachaidhean mar seo bho àm gu àm?

Maurice: A thaobh cuspair coimpiutaireachd sgaoilte, tha daoine ann a tha a’ creidsinn ann cuimhne co-roinnte agus daoine a tha creidsinn ann iomlaid teachdaireachd. An toiseach, ann an coimpiutaireachd sgaoilte, tha coimpiutaireachd co-shìnte a 'ciallachadh teachdaireachd a' dol seachad. An uairsin lorg cuideigin gu robh e tòrr na b’ fhasa prògramadh le cuimhne co-roinnte. Thuirt an taobh eile gu bheil cuimhne co-roinnte ro iom-fhillte, leis gu bheil feum air glasan is an leithid, agus mar sin b’ fhiach gluasad gu cànanan far nach eil ann ach teachdaireachd a dhol seachad. Choimhead cuideigin air na thàinig a-mach à seo agus thuirt e, “wow, tha am buileachadh teachdaireachdan seo a’ coimhead gu math coltach ri cuimhne co-roinnte, leis gu bheil thu a ’cruthachadh tòrr is tòrr de na modalan beaga sin, bidh iad a’ cur teachdaireachdan gu chèile, agus tha iad uile. eadar-ghlas“Nì sinn stòr-dàta cuimhne roinnte nas fheàrr!” Tha seo uile air ath-aithris a-rithist agus a-rithist, agus chan urrainnear a ràdh gu bheil aon de na pàrtaidhean gu cinnteach ceart. Bidh smachd aig aon taobh an-còmhnaidh oir cho luath ‘s a bhuannaicheas aon dhiubh cha mhòr, bidh daoine a-rithist is a-rithist a’ cruthachadh dhòighean air an taobh eile a leasachadh.

Ealain a bhith a’ sgrìobhadh còd ioma-shnàithichte Brittle

Ailig: Tha seo gu math inntinneach. Mar eisimpleir, nuair a bhios sinn a’ sgrìobhadh còd, ge bith dè an cànan prògramaidh, mar as trice feumaidh sinn tarraingean a chruthachadh mar cheallan a ghabhas leughadh agus a sgrìobhadh. Ach gu dearbh, aig ìre corporra air choireigin, dh’ fhaodadh seo a bhith coltach ri bhith a’ cur teachdaireachd thairis air bus bathar-cruaidh eadar diofar choimpiutairean agus innealan eile. Tha e a 'tionndadh a-mach gu bheil obair a' tachairt aig an dà ìre de tarraing a-mach aig an aon àm.

Maurice: Tha e gu tur fìor gu bheil cuimhne co-roinnte air a thogail air teachdaireachd a’ dol seachad - busaichean, caches, is mar sin air adhart. Ach tha e duilich prògraman a sgrìobhadh le bhith a’ cleachdadh teachdaireachd a’ dol seachad, agus mar sin tha am bathar-cruaidh a’ laighe a dh’aona ghnothach, a’ leigeil a-mach gu bheil seòrsa de chuimhne èideadh agad. Nì seo e nas fhasa dhut prògraman sìmplidh ceart a sgrìobhadh mus tòisich coileanadh a’ dol sìos. An uairsin canaidh tu: tha e coltach gu bheil an t-àm ann caraidean a dhèanamh leis an tasgadan. Agus an uairsin tòisichidh tu a’ gabhail dragh mu shuidheachadh an tasgadan, agus às an sin thèid e. Ann an dòigh air choreigin, tha thu a’ tarraing às: tha fios agad nach e dìreach cuimhne rèidh, èideadh a th’ ann, agus bidh thu a’ cleachdadh an eòlais sin gus prògraman a tha càirdeil don tasgadan a sgrìobhadh. Is e seo a dh'fheumas tu a dhèanamh ann an duilgheadasan fìor. Is e an còmhstri seo eadar an tarraing milis, sìmplidh, snog a chaidh a thoirt dhut agus buileachadh uamhasach iom-fhillte a’ bhathar-cruaidh bunaiteach far an dèan a h-uile duine an co-rèiteachadh fhèin. Tha leabhar agam mu dheidhinn multiprocessors agus sioncronadh, agus aig aon àm bha mi a’ dol a sgrìobhadh caibideil air structaran dàta ann an java.util.co-aontach. Ma choimheadas tu orra, rudan mar liostaichean le dearmad Is e obraichean ealain iongantach a tha seo. (Nòta neach-deasachaidh: Bu chòir dhaibhsan a tha eòlach air cànan Java co-dhiù sùil a thoirt air a’ bhuileachadh Mapa Clàr-sgithidh co-aimsireil, faodaidh tu coimhead air na ceanglaichean aig API и còd stòr). Ach bho mo bheachd-sa, bhiodh e neo-chùramach an sealltainn do dh’ oileanaich, leis gu bheil structar dàta mar sin caran coltach ri fear ann an siorcas a’ ruith air ròp teann thairis air sloc mathan. Ma dh'atharraicheas tu eadhon aon mhion-fhiosrachadh beag, tuitidh an structar gu lèir. Tha an còd seo gu math luath agus eireachdail dìreach leis gu bheil e sgrìobhte gu foirfe, ach mar thoradh air an atharrachadh as lugha thig fàilligeadh iomlan. Ma bheir mi an còd seo mar eisimpleir do dh’ oileanaich, canaidh iad sa bhad: Is urrainn dhomh sin a dhèanamh cuideachd! Agus an uairsin tuitidh plèana air choireigin no spreadhadh reactair niùclasach, agus bidh mi ciontach cus fiosrachaidh a thoirt dhaibh aig an àm ceàrr.

Alexey: Nuair a bha mi beagan na b’ òige, iomadh uair dh’ fheuch mi ri còd stòr Doug Lee a sgrùdadh, mar eisimpleir, java.util.co-aontach, seach gu bheil e fosgailte, tha e gu math furasta a lorg agus feuchainn ri tuigsinn dè a tha a 'dol an sin. Cha do thionndaidh e a-mach glè mhath: gu tric, chan eil e soilleir carson a cho-dhùin Doug rudeigin a dhèanamh mar seo nuair a bhios a h-uile duine eile ga dhèanamh ann an dòigh eadar-dhealaichte. Ciamar a mhìnicheas tu na rudan sin dha na h-oileanaich agad? A bheil dòigh cheart sònraichte ann airson cunntas a thoirt air mion-fhiosrachadh sònraichte mu algairim cruaidh-chruaidh, mar eisimpleir? Ciamar a nì thu seo?

Maurice: Tha cliché aig tidsearan tarraing air a bheil cuimhne aca an-toiseach: ma tha thu airson tarraing mar Picasso, feumaidh tu an-toiseach ionnsachadh mar a tharraingeas tu dealbhan sìmplidh fìrinneach, agus is ann dìreach nuair a tha fios agad air na riaghailtean as urrainn dhut tòiseachadh gan briseadh. Ma thòisicheas tu le bhith a’ briseadh nan riaghailtean anns a’ bhad, thig thu gu crìch ann am praiseach. An toiseach, bidh mi a 'teagasg oileanaich mar a sgrìobhas iad còd sìmplidh, ceart gun a bhith draghail mu choileanadh. Is e na tha mi ag ràdh, tha cùisean ùine iom-fhillte a’ falach an seo, mar sin na gabh dragh mu dheidhinn caches, na gabh dragh mu mhodalan cuimhne, dìreach dèan cinnteach gu bheil a h-uile dad ag obair ceart. Tha seo mar-thà duilich gu leòr: chan eil prògramadh ùr-nodha furasta ann fhèin, gu sònraichte dha oileanaich ùra. Agus nuair a tha tuigse aca air mar a sgrìobhas iad na prògraman ceart, tha mi ag ràdh: thoir sùil air an dà bhuileachadh spinlock seo: tha aon gu math slaodach, agus chan eil an dàrna fear glè, ach nas fheàrr. Ach, gu matamataigeach tha an dà algorithm mar an ceudna. Gu dearbh, tha aon dhiubh a 'cleachdadh sgìre cache. Bidh aon dhiubh a’ ruith air dàta a tha air a thasgadh gu h-ionadail, agus am fear eile a’ dèanamh obair thar a’ bhus a-rithist. Chan urrainn dhut còd èifeachdach a sgrìobhadh mura h-eil thu a 'tuigsinn dè a th' ann, agus mura h-eil fios agad ciamar a bhriseas tu an tarraing agus coimhead air an structar bunaiteach. Ach chan urrainn dhut tòiseachadh air seo a dhèanamh sa bhad. Tha daoine ann a thòisicheas a 'dèanamh seo anns a' bhad agus a 'creidsinn ann an gnè aca fhèin, mar as trice bidh e a' crìochnachadh gu dona leis nach eil iad a 'tuigsinn nam prionnsabalan. Chan eil duine a’ tarraing mar Picasso no a’ sgrìobhadh phrògraman mar Doug Lee às ùr às a’ cholaiste anns a’ chiad seachdain aige. Bheir e bliadhnaichean gus an ìre eòlais seo a ruighinn.

Alexey: Tha e coltach gu bheil thu a 'roinn an duilgheadas ann an dà phàirt: tha a' chiad fhear ceart, is e coileanadh an dàrna fear?

Maurice: Dìreach. Agus, dìreach san òrdugh sin. Is e pàirt den duilgheadas nach eil oileanaich ùra a’ tuigsinn gu bheil e duilich ceartachd a choileanadh. Aig a 'chiad sealladh tha iad ag ràdh: tha seo gu follaiseach ceart, chan eil air fhàgail ach a luathachadh. Mar sin uaireannan bidh mi ag innse dhaibh mu algorithm ceàrr an toiseach mar gum biodh e ceart.

Mar a theagasg do dh'oileanaich còd iom-fhillte ioma-fhillte a sgrìobhadh

Ailig: Dìreach feuch an mothaich iad an glacadh?

Maurice: Bidh mi an-còmhnaidh a’ toirt rabhadh ro-làimh gum bi mi uaireannan a’ moladh algorithms ceàrr. Cha bu chòir dhut daoine a mhealladh. Tha mi a 'moladh gun toir iad am fiosrachadh le gràn salainn. Ma dh'innseas mi rudeigin agus ag ràdh: "Seall, tha seo gu follaiseach ceart" - tha seo na chomharra gu bheil iad a 'feuchainn ri do mhealladh an àiteigin, agus bu chòir dhut tòiseachadh a' faighneachd cheistean. An ath rud, bidh mi a’ feuchainn ri oileanaich a bhrosnachadh gus cumail a’ faighneachd cheistean, agus an uairsin tha mi a’ moladh, “Dè thachras ma dh’ fhàgas sinn rudan mar a tha iad? ” Agus chì iad sa bhad am mearachd. Ach tha e tòrr nas duilghe a bhith a’ toirt a chreidsinn air oileanaich gum feum iad a bhith draghail mu cheartachd na tha e coltach aig a’ chiad sealladh. Bidh mòran de na h-oileanaich sin a’ tighinn le eòlas prògramadh san àrd-sgoil, tha cuid air obraichean fhaighinn agus air prògramadh a dhèanamh an sin, agus tha iad uile làn mhisneachd. Is e seo rudeigin mar an arm: feumaidh tu am faireachdainn atharrachadh an-toiseach gus toirt orra toirt orra dèiligeadh gu foighidneach ri fuasgladh fhaighinn air duilgheadasan a thig am bàrr. No is dòcha gu bheil e coltach ri manaich Bùdachais: an toiseach ionnsaichidh iad reusanachadh mu cheartachd, agus aon uair ‘s gu bheil iad a’ tuigsinn nan dòighean air reusanachadh mu cheartachd, tha cead aca gluasad chun ath ìre agus tòiseachadh a’ gabhail dragh mu choileanadh.

Alexey: 'S e sin, uaireannan bidh thu a' sealltainn eisimpleirean neo-obrachail do dh'oileanaich, agus mar sin gheibh thu fios air ais a' sealltainn a bheil iad a' tuigsinn brìgh na trioblaid, an lorg iad an còd ceàrr agus an toradh ceàrr. Mar sin, am bi oileanaich mar as trice gad dhèanamh toilichte no brònach?

Maurice: Bidh oileanaich cha mhòr an-còmhnaidh a’ lorg a’ mhearachd mu dheireadh. Ma nì iad sgrùdadh ro shlaodach, bidh mi a’ faighneachd phrìomh cheistean, agus an seo tha e cudromach tuigsinn mura meall thu gu bràth iad, gun tòisich iad gu neo-inntinneach a’ faicinn do bhriathran mar an fhìor fhìrinn. An uairsin fàsaidh iad sgìth agus tòisichidh iad a’ tuiteam nan cadal fhad ‘s a bhios iad a’ leughadh Facebook air an laptop aca tron ​​​​chlas. Ach nuair a dh’innseas tu dhaibh ro làimh gun tèid an trod, agus gum bi iad gòrach mura mothaich iad cleas, bidh iad tòrr nas furachail. Tha seo math ann an diofar dhòighean. Bu mhath leam nach e a-mhàin gum biodh oileanaich a’ ceasnachadh an tuigse air a’ chùis, ach cuideachd a’ ceasnachadh ùghdarras an tidseir. Is e am beachd gum faod oileanach an làmh a thogail aig àm sam bith agus a ràdh: Tha mi a’ smaoineachadh gu bheil na thuirt thu ceàrr. Tha e na inneal ionnsachaidh cudromach. Chan eil mi airson gum bi gin de na h-oileanaich a’ suidhe agus a’ smaoineachadh gu sàmhach dhaibh fhèin: tha seo uile a’ coimhead neòinean iomlan, ach tha togail do làmh ro eagallach, agus co-dhiù, tha e na àrd-ollamh, agus mar sin tha a h-uile dad a chanas e na fhìrinn. Mar sin, ma thèid rabhadh a thoirt dhaibh ro-làimh nach eil a h-uile dad a chaidh innse dha riatanach fìor, tha brosnachadh aca barrachd aire a thoirt don stuth. Tha mi ga dhèanamh soilleir gu bheil e ceart gu leòr do làmh a thogail agus ceistean fhaighneachd. Is dòcha gu bheil do cheist gòrach no naive, ach gu tric is ann mar seo a bhios na ceistean as fheàrr ag èirigh.

Ailig: Gu math inntinneach. Mar as trice tha seòrsa de bhacadh saidhgeòlach aig daoine nach leig leotha ceist fhaighneachd do phroifeasair. Gu sònraichte ma tha tòrr dhaoine san t-seòmar, agus gu bheil eagal air a h-uile duine gun toir bruidhinn air do cheist gòrach ùine nan daoine sin gu lèir. A bheil cleasan sam bith ann airson dèiligeadh ri seo?

Maurice: Bidh mi tric a’ stad agus a’ faighneachd cheistean clasaigeach. Co dhiubh a bhiodh aithris ceart, neo ciamar a dh’ fhuasglas iad an duilgheadas air a bheilear a’ bruidhinn. Is e prìomh ghnìomh a tha seo, gu sònraichte aig toiseach leasain nuair a tha nàire air daoine eadhon an rud as lugha a ràdh. Bidh thu a’ faighneachd ceist dha na h-oileanaich agus ag ràdh dad a bharrachd. Tha sàmhchair ann, bidh a h-uile duine a’ faighinn beagan teann, bidh an teannachadh a’ fàs, agus gu h-obann chan urrainn dha cuideigin a sheasamh, brisidh e sìos agus abair am freagairt. Seo mar a thionndaidheas tu an suidheachadh mun cuairt: bidh e nas duilghe agus nas mì-ghoireasach cumail ort sàmhach na bhith a’ freagairt! Is e cleas teagaisg àbhaisteach a tha seo. Bu chòir fios a bhith aig a h-uile tidsear san t-saoghal mar a nì iad seo.

Alexey: A-nis tha tiotal fìor mhath againn airson an agallaimh seo: “Tha e nas fhasa freagairt na bhith sàmhach.”

Vitaly: Leig dhomh faighneachd a-rithist. Tha thu ag obair air dearbhaidhean topological. Ciamar a chaidh thu eadhon an sàs ann an seo, oir tha coimpiutaireachd sgaoilte agus topology nan rudan gu tur eadar-dhealaichte!

Maurice: Tha ceangal falaichte an sin. Nuair a bha mi nam oileanach ag ionnsachadh matamataig, rinn mi sgrùdadh air matamataig fhìor. Cha robh fìor ùidh agam ann an coimpiutaran gus an tàinig mo chuid ionnsachaidh gu crìch agus fhuair mi a-mach gun robh cruaidh fheum agam a bhith a’ coimhead airson obair. Mar oileanach rinn mi sgrùdadh air topology ailseabra. Mòran bhliadhnaichean às deidh sin, fhad ‘s a bha iad ag obair air duilgheadas ris an canar "duilgheadas cùmhnant k-Set", Chleachd mi grafaichean gus an duilgheadas a mhodail agus, mar a bha e coltach aig an àm, bha mi air fuasgladh a lorg. Cha robh agad ach suidhe sìos agus a dhol timcheall a’ chunntais. Feuch ri freagairt iomchaidh a lorg air a’ ghraf seo. Ach cha do dh'obraich an algairim agam: thionndaidh e a-mach gum biodh e a 'ruith ann an cearcallan gu bràth. Gu mì-fhortanach, cha b 'urrainnear seo a mhìneachadh ann an cànan foirmeil teòiridh grafa - an tè a tha fios aig a h-uile neach-saidheans coimpiutair. Agus an uairsin chuimhnich mi, o chionn iomadh bliadhna, air ais ann an clasaichean topology, chleachd sinn am bun-bheachd "iom-fhillte sìmplidh", a tha na choitcheannachadh de ghrafaichean gu tomhasan nas àirde. An uairsin dh'fhaighnich mi dhomh fhìn: dè thachradh nan ath-leasachadh sinn an duilgheadas a thaobh toinntean sìmplidh? Thàinig seo gu bhith na phrìomh àm. Le bhith a 'cleachdadh foirmeileachd nas cumhachdaiche, bidh an duilgheadas gu h-obann a' fàs tòrr nas sìmplidh. Bha daoine a 'sabaid na aghaidh airson ùine mhòr, a' cleachdadh ghrafaichean, ach cha b 'urrainn dhaibh dad a dhèanamh. Agus eadhon a-nis chan urrainn dhaibh - cha b 'e algairim a bh' anns a 'fhreagairt cheart, ach dearbhadh air cho neo-chomasach' sa tha e fuasgladh fhaighinn air an duilgheadas. Is e sin, chan eil algorithm mar sin ann. Ach gach dearbhadh air neo-chomasachd stèidhichte an dàrna cuid air toinntean sìmplidh no air rudan a bha daoine a’ leigeil orra gun a bhith a’ beachdachadh air toinntean sìmplidh. Dìreach air sgàth 's gu bheil thu a' gairm rudeigin mar ainm ùr, cha chaill e a bhrìgh.

Vitaly: Tha e coltach gu robh thu dìreach fortanach?

Maurice: A bharrachd air fortan, tha e cuideachd deònach. Tha seo a’ ciallachadh nach bu chòir dhut na rudan “gun fheum” a dh’ ionnsaich thu na bu thràithe a dhìochuimhneachadh. Mar as motha a dh’ ionnsaicheas tu rudan gun fheum, is ann as motha de bheachdan as urrainn dhut a tharraing nuair a tha duilgheadas ùr agad. Tha an seòrsa maidsidh pàtran intuitive seo cudromach oir... Dèanamaid seo, is e slabhraidh a tha seo: an toiseach fhuair mi a-mach nach do dh’ obraich na grafaichean idir no nach do dh’ obraich iad idir, chuir e nam chuimhne rudeigin bho thachartasan ochd bliadhnaichean air ais agus na bliadhnaichean oileanach agam, nuair a rinn sinn sgrùdadh air na h-ionadan sìmplidh sin uile. Thug seo cothrom dhomh an t-seann leabhar-teacsa topology agam a lorg agus a luchdachadh air ais nam cheann. Ach mura b’ ann airson an t-seann eòlais sin, cha bhithinn a-riamh air adhartas sam bith a dhèanamh ann a bhith a’ fuasgladh na trioblaid thùsail.

Deasachadh ùr den leabhar “The Art of Multiprocessor Programming”

Ailig: Thuirt thu beagan fhaclan mun leabhar agad. Is dòcha nach e seo an dìomhaireachd as miosa a sgrìobh thu an leabhar as ainmeil san t-saoghal air ioma-snàthainn, "Ealain prògramadh ioma-phroifeasanta". Tha e mu thràth mu 11 bliadhna a dh'aois agus bhon uairsin cha deach a leigeil ma sgaoil  ath-chlò-bhualadh ath-sgrùdaichte. Am bi dàrna deasachadh ann?

Maurice: 'S math gun do dh'fhaighnich thu! Bidh e gu math luath, ann an trì mìosan no dhà. Tha dà ùghdar a bharrachd ann, chuir sinn tòrr a bharrachd stuth ris, leasaich sinn an earrann air forc/ceangal co-shìnteachd, sgrìobh earrann air MapReduce, chuir sinn tòrr rudan ùra ris agus thilg sinn a-mach rudan neo-riatanach - rud a bha gu math inntinneach aig àm sgrìobhaidh a’ chiad eagran, ach chan eil e ann tuilleadh an-diugh. B’ e an toradh leabhar fìor ath-sgrùdaichte.

Alexey: Tha a h-uile càil air a dhèanamh mu thràth, chan eil air fhàgail ach a leigeil ma sgaoil?

Maurice: Tha caibideil neo dhà fhathast feumach air beagan obrach. Tha am foillsichear againn (a tha mi a’ smaoineachadh a tha gar gràin mu thràth) fhathast a’ feuchainn ris an teachdaireachd a chuir a-mach gum bu chòir dhuinn obrachadh nas luaithe. Tha sinn fada air dheireadh air clàr-ama. Gu teòiridheach, dh’ fhaodadh sinn a bhith air an leabhar seo a dhèanamh bliadhna no dhà roimhe sin.

Alexey: Cothrom sam bith air dreach ùr den leabhar fhaighinn ron Nollaig?

Maurice: Seo an t-amas againn! Ach tha mi air ro-innse buaidh cho tric is nach eil duine gam chreidsinn tuilleadh. Is dòcha nach bu chòir dhut cus earbsa a bhith agad anns a’ chùis seo nas motha.

Alexey: Co-dhiù, 's e deagh naidheachd a tha seo. Chòrd a’ chiad deasachadh den leabhar rium gu mòr. Dh’ fhaodadh tu a ràdh gu bheil mi nam neach-leantainn.

Maurice: Tha mi an dòchas gum bi an deasachadh ùr airidh air do dhealas làidir, tapadh leat!

Mar a chaidh Cuimhne Gnìomhach a chruthachadh

Vitaly: Tha an ath cheist mu dheidhinn cuimhne gnìomhachd. Cho fad ‘s a tha mi a’ tuigsinn, tha thu nad thùsaire san raon seo, chruthaich thu e aig àm nuair nach robh duine a ’smaoineachadh air rudan mar sin. Carson a cho-dhùin thu gluasad a-steach don raon seo? Carson a bha gnothaichean a’ coimhead cudromach dhut? An robh thu a’ smaoineachadh gum biodh iad uaireigin air an cur an gnìomh ann am bathar-cruaidh?

Maurice: Tha mi air a bhith eòlach air gnothaichean bho na làithean rannsachaidh ceumnaiche agam.

Vitaly: Tha, ach tha iad sin nan gnothaichean eadar-dhealaichte!

Maurice: Bha mi ag obair còmhla ri Elliott Moss air cruinneachadh sgudail gun bhacadh. B’ e an duilgheadas a bh’ againn gun robh sinn airson beagan fhaclan atharrachadh gu atamach mar chuimhneachan agus an uairsin dh’ fhàsadh na h-algorithms gu math sìmplidh, agus co-dhiù dh’ fhàsadh cuid dhiubh nas èifeachdaiche. A 'cleachdadh coimeas-agus-iomlaid airson load-link/store-conditionalair a thoirt seachad leis an ailtireachd co-shìnte, tha e comasach rudeigin a dhèanamh, ach tha e gu math neo-èifeachdach agus grànda oir dh'fheumadh tu dèiligeadh ri sreathan de neo-stiùiridh. Tha mi airson faclan cuimhne atharrachadh agus feumaidh mi atharrachadh oir chan urrainn dhomh ach aon phuing atharrachadh, agus mar sin feumaidh iad comharrachadh gu seòrsa de structar coltach ri eòlaire. Bhruidhinn sinn mu cho math sa bhiodh e nam b’ urrainn dhuinn am bathar-cruaidh atharrachadh gus an dèanadh e clàradh aig an aon àm. Tha e coltach gun do mhothaich Elliott seo: ma choimheadas tu air protocolaidhean co-leanailteachd tasgadan, tha iad mu thràth a’ toirt seachad a’ mhòr-chuid den ghnìomhachd a tha a dhìth. Ann an gnothach dòchasach, mothaichidh protocol co-leanailteachd an tasgadan gu bheil còmhstri tìm ann agus thig an tasgadan fànas. Dè thachras ma ruitheas tu malairt air an tasgadan gu tuairmeasach agus ma chleachdas tu na h-innealan protocol co-leanailteachd gus còmhstrithean a lorg? Bha ailtireachd bathar-cruaidh tuairmeasach furasta a dhealbhadh. Mar sin sgrìobh sinn am fear sin a’ chiad fhoillseachadh mu dheidhinn cuimhne gnìomhachd. Aig an aon àm, bha a’ chompanaidh air an robh mi ag obair, Digital Equipment Corporation, a’ cruthachadh pròiseasar 64-bit ùr leis an t-ainm Alpha. Mar sin chaidh mi agus thug mi taisbeanadh don bhuidheann leasachaidh Alpha mun chuimhne gnìomhachd iongantach againn agus dh’ fhaighnich iad: Dè an teachd-a-steach a bharrachd a gheibheadh ​​​​a ’chompanaidh againn nan cuireadh sinn seo gu dìreach ris a’ phròiseasar? Agus cha robh freagairt sam bith agam dha seo, leis gur e teicneòlaiche a th’ annam, chan e eòlaiche margaidheachd a th’ annam. Dìreach cha robh dad agam ri fhreagairt. Cha robh iad uabhasach toilichte nach robh mi eòlach air càil.

Vitaly: Na milleanan! Dìreach abair billeanan!

Maurice: 'S e, 's e sin a bu chòir dhomh a bhith air a ràdh. A-nis, ann an aois tòiseachaidh agus a h-uile càil, tha fios agam mar a sgrìobhas mi plana gnìomhachais. Gun urrainn dhut laighe beagan mu mheud a ’phrothaid a dh’ fhaodadh a bhith agad. Ach anns na làithean sin bha e a’ coimhead naive, agus mar sin thuirt mi, “Chan eil fhios agam.” Ma choimheadas tu air eachdraidh an fhoillseachaidh air cuimhne gnìomhachd, bheir thu an aire gu robh grunn iomraidhean air an dèidh bliadhna, agus an uairsin airson timcheall air deich bliadhna cha do ghairm duine am pàipear seo idir. Nochd na luachan timcheall air 2004, nuair a nochd fìor ioma-cridhe. Nuair a fhuair daoine a-mach gum faodadh sgrìobhadh còd co-shìnte airgead a dhèanamh, thòisich rannsachadh ùr. Ravi Rajwar sgrìobh artaigil, a thug a-steach ann an dòigh air choreigin bun-bheachd cuimhne gnìomhachd don phrìomh shruth. (Nota an neach-deasachaidh: Tha dàrna dreach den artaigil seo, air fhoillseachadh ann an 2010 agus ri fhaighinn gu saor mar PDF). Gu h-obann thuig daoine dìreach mar a ghabhadh seo uile a chleachdadh, mar a dh’ fhaodadh algorithms traidiseanta le glasan a luathachadh. Deagh eisimpleir de rudeigin a bha coltach ri duilgheadas acadaimigeach inntinneach san àm a dh'fhalbh. Agus tha, nam biodh tu air faighneachd dhomh aig an àm sin an robh mi a’ smaoineachadh gum biodh seo uile cudromach san àm ri teachd, bhithinn air a ràdh: gu dearbh, ach cuin nach eil e soilleir. 'S dòcha ann an 50 bliadhna? Ann an cleachdadh, thionndaidh seo a-mach gu bhith dìreach deich bliadhna. Tha e gu math snog nuair a nì thu rudeigin agus às deidh dìreach deich bliadhna bidh daoine ga fhaicinn.

Carson is fhiach e rannsachadh a dhèanamh ann an raon coimpiutaireachd sgaoilte

Vitaly: Ma bhruidhneas sinn mu rannsachadh ùr, dè a bheireadh tu comhairle do luchd-leughaidh - coimpiutaireachd sgaoilte no ioma-cridhe agus carson? 

Maurice: An-diugh tha e furasta pròiseasar ioma-cridhe fhaighinn, ach tha e nas duilghe siostam fìor sgaoilte a stèidheachadh. Thòisich mi ag obair orra oir bha mi airson rudeigin eadar-dhealaichte a dhèanamh bhon tràchdas PhD agam. Seo a’ chomhairle a bhios mi an-còmhnaidh a’ toirt do dh’ oileanaich ùra: na sgrìobh leantainn air adhart leis an tràchdas agad - feuch ri dhol ann an rathad ùr. Agus cuideachd, tha multithreading furasta. Is urrainn dhomh feuchainn air a’ phòca agam fhìn a’ ruith air mo laptop gun a bhith a’ faighinn a-mach às an leabaidh. Ach nam biodh mi gu h-obann airson siostam fìor sgaoilte a chruthachadh, dh'fheumadh mi tòrr obrach a dhèanamh, oileanaich a thàladh, agus mar sin air adhart. Is e duine leisg a th’ annam agus b’ fheàrr leam a bhith ag obair air ioma-cridhe. Tha e nas fhasa cuideachd a bhith a’ feuchainn air siostaman ioma-cridhe na bhith a’ dèanamh dheuchainnean air siostaman sgaoilte, oir eadhon ann an siostam sgaoilte gòrach tha cus nithean ann a dh’ fheumar smachd a chumail orra.

Vitaly: Dè tha thu a’ dèanamh a-nis, a’ rannsachadh blockchain? Dè na h-artaigilean air am bu chòir dhut aire a thoirt an toiseach?

Maurice: Nochd o chionn ghoirid artaigil fìor mhath, a sgrìobh mi còmhla ris an oileanach agam, Vikram Saraf, gu sònraichte airson òraid aig Co-labhairt Tokenomcs ann am Paris o chionn trì seachdainean. Is e seo artaigil mu shiostaman sgaoilte practaigeach, anns a bheil sinn a ’moladh a bhith a’ dèanamh Ethereum ioma-snàithleach. An-dràsta, tha cùmhnantan snasail (còd a tha a’ ruith air an blockchain) air an cur an gnìomh ann an òrdugh. Sgrìobh sinn artaigil na bu thràithe a bha a’ bruidhinn air dòigh air gnothaichean tuairmeasach a chleachdadh gus am pròiseas a luathachadh. Ghabh sinn mòran bheachdan bho chuimhne malairt bathar-bog agus thuirt sinn ma nì thu na beachdan sin mar phàirt de inneal brìgheil Etherium, obraichidh a h-uile dad nas luaithe. Ach airson seo tha e riatanach nach eil còmhstri dàta anns na cùmhnantan. Agus an uairsin ghabh sinn ris nach eil còmhstri mar sin ann am fìor bheatha. Ach cha robh dòigh againn faighinn a-mach. An uairsin thachair e dhuinn gu robh faisg air deich bliadhna de dh'eachdraidh cùmhnant fìor againn nar làmhan, agus mar sin chuir sinn sìos an Ethereum blockchain agus dh'fhaighnich sinn dhuinn fhìn: dè thachradh nan deidheadh ​​​​na clàran eachdraidheil sin a chuir gu bàs aig an aon àm? Lorg sinn àrdachadh mòr ann an astar. Anns na làithean tràtha de Ethereum, dh'àrdaich an astar gu mòr, ach an-diugh tha a h-uile dad beagan nas iom-fhillte, oir tha nas lugha de chùmhnantan ann agus tha coltas ann gu bheil còmhstri thairis air dàta a dh 'fheumas sreathachadh air fàs nas àirde. Ach is e obair dheuchainneach a tha seo le dàta fìor eachdraidheil. Is e an rud snog mun blockchain gu bheil cuimhne aige air a h-uile càil gu bràth, gus an urrainn dhuinn a dhol air ais ann an tìm agus sgrùdadh a dhèanamh air na bhiodh air tachairt nam biodh sinn air diofar algorithms a chleachdadh gus an còd a ruith. Ciamar a bhiodh daoine san àm a dh'fhalbh air a bhith a 'còrdadh ris a' bheachd ùr againn? Tha an leithid de rannsachadh mòran nas fhasa agus nas tlachdmhoire a dhèanamh, oir tha rud ann a bhios a 'cumail sùil air a h-uile càil agus a' clàradh a h-uile càil. Tha seo mar-thà rudeigin nas coltaiche ri sòisio-eòlas na ri leasachadh algorithms.

A bheil leasachadh algorithms air stad agus ciamar a thèid thu air adhart?

Vitaly: Ùine airson a 'cheist teòiridheach mu dheireadh! A bheil e a’ faireachdainn gu bheil adhartas ann an structaran dàta farpaiseach a’ dol sìos gach bliadhna? A bheil thu a’ smaoineachadh gu bheil sinn air ìre àrd a ruighinn nar tuigse air structaran dàta neo am bi leasachaidhean mòra ann? Is dòcha gu bheil cuid de bheachdan glic ann a dh’ atharraicheas a h-uile càil gu tur?

Maurice: Is dòcha gu bheil sinn air àrd-ùrlar a ruighinn ann an structaran dàta airson ailtireachd traidiseanta. Ach tha structaran dàta airson ailtirean ùra fhathast nan raon gealltanach. Ma tha thu airson structaran dàta a chruthachadh airson, can, luathadairean bathar-cruaidh, tha na structaran dàta airson GPU gu math eadar-dhealaichte bho na structaran dàta airson CPU. Nuair a leasaicheas tu structaran dàta airson blockchains, feumaidh tu pìosan dàta a hash agus an uairsin an cur ann an rudeigin mar Craobh meirg, gus casg a chuir air casg. Tha àrdachadh air a bhith ann san raon seo o chionn ghoirid, le mòran a’ dèanamh obair fìor mhath. Ach tha mi a’ smaoineachadh gur e an rud a thachras gun toir ailtireachd ùr agus tagraidhean ùra gu structaran dàta ùra. Cleachdaidhean dìleab agus ailtireachd traidiseanta - is dòcha nach bi mòran rùm ann airson sgrùdadh tuilleadh. Ach ma gheibh thu far an t-slighe air a bhualadh agus coimhead nas fhaide na na h-oirean, chì thu rudan seòlta nach eil am prìomh-shruth a’ gabhail dha-rìribh - sin far a bheil a h-uile stuth inntinneach a’ tachairt.

Vitaly: Mar sin, airson a bhith nam neach-rannsachaidh air leth ainmeil, bha agam ri m’ ailtireachd fhìn a chruthachadh :)

Maurice: Faodaidh tu "ailtireachd ùr cuideigin eile" a ghoid - tha e a' coimhead tòrr nas fhasa!

Ag obair aig Oilthigh Brown

Vitaly: Am b’ urrainn dhut barrachd innse dhuinn mu dheidhinn Oilthigh Browncàit a bheil thu ag obair? Chan eil mòran fiosrachaidh mu dheidhinn ann an co-theacsa teicneòlas fiosrachaidh. Nas lugha na mu dheidhinn MIT, mar eisimpleir.

Maurice: Is e Oilthigh Brown aon de na h-oilthighean as sine anns na Stàitean Aonaichte. Tha mi a’ smaoineachadh nach eil ach Harvard beagan nas sine. Tha am Brùnach na phàirt den rud ris an canar Ivy League, a tha na chruinneachadh de ochd oilthighean as sine. Harvard, Brown, Cornell, Yale, Columbia, Dartmouth, Pennsylvania, Princeton. Is e seòrsa de sheann oilthigh, beag agus beagan uaislean a th’ ann. Tha am prìomh fòcas air foghlam ealain libearalach. Chan eil e a 'feuchainn ri bhith coltach ri MIT, tha MIT gu math sònraichte agus teicnigeach. Tha am Brùnach na àite math airson Litreachas Ruiseanach no Greugais Chlasaigeach a sgrùdadh, agus gu dearbh, Saidheans Coimpiutaireachd. Tha e ag amas air foghlam coileanta. Bidh a’ mhòr-chuid de na h-oileanaich againn a’ dol gu Facebook, Apple, Google - mar sin tha mi a’ smaoineachadh nach eil duilgheadas sam bith aig na h-oileanaich againn obair a lorg sa ghnìomhachas. Chaidh mi a dh’ obair aig Brown oir bha mi air a bhith ag obair aig Digital Equipment Corporation ann am Boston roimhe seo. B 'e companaidh a bha seo a chruthaich mòran rudan inntinneach, ach chaidh e às àicheadh ​​​​cho cudromach sa tha coimpiutairean pearsanta. Companaidh le dàn duilich, aig an robh an luchd-stèidheachaidh a bha uair nan ar-a-mach òg, cha do dh'ionnsaich iad dad agus cha do dhìochuimhnich iad dad, agus mar sin thionndaidh iad bho ar-a-mach gu ath-bheachdan taobh a-staigh timcheall air dusan bliadhna. Chòrd e riutha a bhith a’ magadh gur ann leis a’ gharaids a bha coimpiutairean pearsanta - garaids air a thrèigsinn, gu dearbh. Tha e gu math follaiseach gun deach an sgrios le companaidhean nas sùbailte. An uair a thàinig e am follais gu'n robh a' chuideachd ann an trioblaid, chuir mi fios air caraid dhomh anns a' Bhrùnach, a tha mu uair a thìde taobh a-muigh Boston. Cha robh mi airson Boston fhàgail aig an àm sin oir cha robh mòran fosglaidhean aig oilthighean eile. B’ e seo àm nuair nach robh uimhir de dh’ obraichean ann an Saidheans Coimpiutaireachd ’s a th’ ann an-dràsta. Agus bha fosgladh aig Brown, cha robh agam ri mo dhachaigh a ghluasad, cha robh agam ri mo theaghlach a ghluasad, agus is fìor thoigh leam a bhith a’ fuireach ann am Boston! Sin mar a chuir mi romham a dhol dhan Bhrùnach. Is toigh leam e. Tha na h-oileanaich mìorbhaileach, agus mar sin cha do dh'fheuch mi eadhon ri dhol a dh'àite eile. Rè mo shabaid, bha mi ag obair aig Microsoft airson bliadhna, chaidh mi gu Technion ann an Haifa airson bliadhna, agus a-nis bidh mi aig Algorand. Tha mòran cho-obraichean agam anns a h-uile àite agus mar sin chan eil suidheachadh corporra ar seòmraichean-teagaisg cho cudromach. Ach is e an rud as cudromaiche na h-oileanaich, is iadsan as fheàrr an seo. Cha do dh'fheuch mi a-riamh ri dhol a dh'àite eile oir tha mi gu math toilichte an seo.

Ach a dh’ aindeoin cliù Brown anns na Stàitean Aonaichte, tha e iongantach neo-aithnichte thall thairis. Mar a chì thu, tha mi a-nis a’ dèanamh nas urrainn dhomh gus an suidheachadh seo a cheartachadh.

An diofar eadar rannsachadh ann an oilthigh agus taobh a-staigh corparra

Vitaly: Ceart gu leòr, tha an ath cheist mu dheidhinn Uidheam Didseatach. Bha thu ann mar neach-rannsachaidh. Dè an diofar eadar a bhith ag obair ann an roinn R&D companaidh mhòr agus ag obair aig oilthigh? Dè na buannachdan agus eas-bhuannachdan a tha ann?

Maurice: Airson fichead bliadhna bha mi ag obair aig Microsoft, ag obair gu dlùth le luchd-obrach Sun Microsystems, Oracle, Facebook, agus a-nis Algorand. Stèidhichte air seo uile, tha mi airson a ràdh gu bheil e comasach rannsachadh den chiad ìre a dhèanamh an dà chuid ann an companaidhean agus aig oilthighean. Is e an eadar-dhealachadh cudromach gu bheil thu ag obair le co-obraichean ann an companaidh. Ma tha beachd agam gu h-obann airson pròiseact nach eil ann fhathast, feumaidh mi toirt a chreidsinn air mo cho-aoisean gur e deagh bheachd a tha seo. Ma tha mi aig a' Bhrùnach, 's urrainn dhomh innse dha na h-oileanaich agam: obraicheamaid air ana-gravity! Fàgaidh iad an dàrna cuid airson cuideigin eile no gabhaidh iad ri pròiseact. Feumaidh, feumaidh mi maoineachadh a lorg, feumaidh mi iarrtas tabhartais a sgrìobhadh, agus mar sin air adhart. Ann an suidheachadh sam bith, bidh mòran oileanach ann an-còmhnaidh, agus bidh e comasach dhut co-dhùnaidhean a dhèanamh aon-thaobhach. Ach aig an oilthigh tha e glè choltach nach obraich thu le daoine den ìre agad. Ann an saoghal rannsachadh gnìomhachais, feumaidh tu an toiseach toirt a chreidsinn air a h-uile duine gur fhiach am pròiseact agad a ghabhail os làimh. Chan urrainn dhomh rud sam bith òrdachadh do dhuine sam bith. Agus tha an dà dhòigh obrach seo luachmhor, oir ma tha thu ag obair air rudeigin gu math meallta agus gu bheil do cho-obraichean duilich a chreidsinn, tha e nas fhasa toirt a chreidsinn air oileanaich ceumnachaidh - gu sònraichte ma tha thu gam pàigheadh. Ma tha thu ag obair air rudeigin a dh ’fheumas tòrr eòlais agus eòlas domhainn, feumaidh tu co-obraichean a dh’ fhaodas a ràdh “chan eil, tha e a’ tachairt gu bheil mi a ’tuigsinn san raon seo agus gu bheil do bheachd dona, chan obraich e.” Tha seo glè fheumail a thaobh a bhith a’ caitheamh ùine. Cuideachd, ma chaitheas tu tòrr ùine ann an deuchainn-lannan gnìomhachais a’ sgrìobhadh aithisgean, an uairsin ann an oilthigh caithidh tu an ùine seo a’ feuchainn ri airgead a lorg. Ma tha mi airson gum bi e comasach dha oileanaich a dhol a dh’ àiteigin, feumaidh mi an t-airgead a lorg air a shon an àiteigin eile. Agus mar as cudromaiche do dhreuchd aig an oilthigh, 's ann as motha a bhios an ùine agad airson airgead a thogail. Mar sin a-nis tha fios agad cò dha a tha mi ag obair - baigeir proifeasanta! Mar aon de na manaich sin a bhios a’ coiseachd mun cuairt le truinnsear tairgse. San fharsaingeachd, tha an dà ghnìomhachd seo a’ cur ri chèile. Sin as coireach gu bheil mi a 'feuchainn ri bhith beò agus a' cumail mo chasan air an talamh anns an dà shaoghal.

Vitaly: Tha e coltach gu bheil e nas duilghe companaidh a chreidsinn na bhith toirt a chreidsinn air luchd-saidheans eile.

Maurice: Nas duilghe, agus tòrr a bharrachd. A bharrachd air an sin, ann an diofar raointean tha e eadar-dhealaichte: bidh cuid a’ dèanamh rannsachadh làn-sgèile, agus cuid eile ag amas air a’ chuspair aca. Ma chaidh mi gu Microsoft no Facebook agus thuirt mi: dèanamaid anti-gravity, cha mhòr gum biodh iad ga mheas. Ach nan tuirt mi an aon rud ris na h-oileanaich ceumnachaidh agam, bhiodh iad dualtach faighinn a dh’ obair sa bhad, ged a bhiodh duilgheadasan agam a-nis - às deidh a h-uile càil, feumaidh mi airgead a lorg airson seo. Ach fhad ‘s a tha thu airson rudeigin a dhèanamh a tha a rèir amasan na companaidh, faodaidh a’ chompanaidh sin a bhith na àite fìor mhath airson rannsachadh a dhèanamh.

Hydra agus SPTDC

Vitaly: Tha na ceistean agam a’ tighinn gu crìch, mar sin bruidhnidh sinn beagan mun turas a tha ri thighinn dhan Ruis.

Maurice: Tha, tha mi a' coimhead air adhart ri bhith tilleadh gu St.

Ailig: Tha e na urram dhomh a bhith còmhla rinn am-bliadhna. Is e seo an dàrna turas agad ann an St Petersburg, ceart?

Maurice: Mar-thà an treas!

Ailig: Tha mi a' tuigsinn, ach SPTDC - gu cinnteach an dàrna fear. An turas mu dheireadh a chaidh an sgoil a ghairm SPTCC, tha sinn a-nis air aon litir atharrachadh (C gu D, Concurrent to Distributed) gus cuideam a chuir air gu bheil barrachd raointean co-cheangailte gu sònraichte ri coimpiutaireachd sgaoilte am-bliadhna. An urrainn dhut beagan fhaclan a ràdh mu na h-aithisgean agad aig an Sgoil agus Co-labhairt Hydra?

Maurice: Anns an Sgoil tha mi airson bruidhinn air bunaitean blockchain agus dè as urrainn dhut a dhèanamh leis. Bu mhath leam sealltainn gu bheil blockchains glè choltach ris na prògraman ioma-snàthainn air a bheil sinn eòlach, ach leis na h-nursaichean aca fhèin, agus tha na h-eadar-dhealachaidhean sin cudromach airson tuigsinn. Ma nì thu mearachd ann an tagradh lìn àbhaisteach, tha e dìreach neònach. Ma sgrìobhas tu còd buggy ann an tagradh ionmhais, bidh cuideigin gu cinnteach a’ goid d’ airgead gu lèir. Tha iad sin nan ìrean gu tur eadar-dhealaichte de dhleastanas agus builean. Bruidhnidh mi beagan mu dhearbhadh-obrach, mu chùmhnantan snasail, mu ghnothaichean eadar diofar blockchain.

Bidh luchd-labhairt eile ag obair ri mo thaobh aig a bheil rudeigin ri ràdh mu blockchain cuideachd, agus dh’ aontaich sinn co-òrdanachadh le chèile gus am bi na sgeulachdan againn a’ freagairt gu math ri chèile. Ach airson na h-aithisg innleadaireachd, tha mi airson mìneachadh tuigseach innse do luchd-èisteachd farsaing air carson nach bu chòir dhut a h-uile dad a chluinneas tu mu blockchain a chreidsinn, carson a tha blockchains nan raon math, mar a tha e a’ freagairt air beachdan aithnichte eile, agus carson a bu chòir dhuinn coimhead gu dàna. ris an àm ri teachd.

Alexey: A bharrachd air an sin, tha mi airson a ràdh nach tachair seo ann an cruth coinneamh no buidheann luchd-cleachdaidh, mar a bha e o chionn dà bhliadhna. Chuir sinn romhainn co-labhairt bheag a chumail faisg air an sgoil. Is e an adhbhar gu bheil sinn an dèidh conaltradh le Peter Kuznetsov, thuig sinn gu bheil an sgoil cuingealaichte ri dìreach ceud, is dòcha 120 neach. Aig an aon àm, tha tòrr innleadairean ann a tha airson conaltradh riut, a bhith an làthair aig taisbeanaidhean, agus sa chumantas aig a bheil ùidh sa chuspair. Air an adhbhar seo tha sinn air co-labhairt ùr a chruthachadh ris an canar Hydra. Co-dhiù, beachd sam bith carson Hydra?

Maurice: Leis gum bi seachdnar luchd-labhairt ann? Agus faodar an cinn a ghearradh dheth, agus bidh luchd-labhairt ùr a 'fàs nan àite?

Alexey: Deagh bheachd airson luchd-labhairt ùra fhàs. Ach gu dearbh, tha sgeulachd an seo. Cuimhnich air uirsgeul Odysseus, far an robh aige ri seòladh eadar Scylla agus Charybdis? Tha Hydra rudeigin coltach ri Charybdis. Is e an sgeulachd, aon uair ‘s gun do bhruidhinn mi aig co-labhairt agus gun do bhruidhinn mi mu dheidhinn multithreading. Cha robh ach dà chlàr aig a’ cho-labhairt seo. Aig toiseach na h-aithisg, thuirt mi ris an luchd-èisteachd anns an talla gu bheil roghainn aca a-nis eadar Scylla agus Charybdis. Is e Charybdis am beathach spiorad agam oir tha mòran chinn aig Charybdis agus tha an cuspair agam ioma-snàithlean. Seo mar a nochdas ainmean cho-labhairtean.

Co-dhiù, tha sinn air ruith a-mach à ceistean agus ùine. Mar sin, tapadh leat, a charaidean, airson deagh agallamh, agus chì sinn thu aig Sgoil SPTDC agus Hydra 2019!

Faodaidh tu leantainn air adhart leis a’ chòmhradh agad le Maurice aig co-labhairt Hydra 2019, a thèid a chumail air 11-12 Iuchar, 2019 ann an St. Thig e le aithris "Blockchains agus àm ri teachd coimpiutaireachd sgaoilte". Faodar tiogaidean a cheannach air an làrach-lìn oifigeil.

Source: www.habr.com

Cuir beachd ann