“Tha toraidhean empirigeach airson am foillseachadh a-mhàin, tha fìor adhbharan na h-obrach mothachail." Deagh agallamh le Michael Scott

“Tha toraidhean empirigeach airson am foillseachadh a-mhàin, tha fìor adhbharan na h-obrach mothachail." Deagh agallamh le Michael Scott Mìcheal Scott - airson 34 bliadhna mar àrd-ollamh Coimpiutaireachd aig Oilthigh Rochester, agus aig Oilthigh Wisconsin-Madison bha e na dheadhan airson còig bliadhna. Bidh e a’ rannsachadh agus a’ teagasg oileanaich mu phrògramadh co-shìnte agus sgaoilte agus dealbhadh cànain.

Tha an saoghal eòlach air Mìcheal bhon leabhar-teacsa "Prògramadh Cànain Pragmatics", dè mu dheidhinn obair "Algorithms airson sioncronadh scalable air ioma-phroiseactaran cuimhne co-roinnte" fhuair e Duais Dijkstra mar aon den fheadhainn as ainmeil ann an raon coimpiutaireachd sgaoilte. Is dòcha gu bheil thu eòlach air cuideachd mar ùghdar an dearbh algorithm sin Mìcheal-Scott.

Còmhla ri Doug Lee, leasaich e na h-algorithms neo-bacadh agus ciudhaichean sioncronaich a bheir cumhachd do leabharlannan Java. Buileachadh "Structaran dàta dùbailte" ann an JavaSE 6 coileanadh nas fheàrr le 10 tursan ThreadPoolExecutor.

Clàr-innse:

  • Dreuchd tràth, Oilthigh Rochester. Pròiseact Charlotte, cànan Lynx;
  • Eadar-aghaidh Co-fhreagarrach Scalable IEEE, glasadh MCS;
  • Mairsinn ann an saoghal a tha a’ sìor atharrachadh;
  • A bheil oileanaich a’ fàs gòrach? gluasadan cruinneil, eadar-nàiseantachd;
  • Obair èifeachdach le oileanaich;
  • Mar a chumas tu suas ri ullachadh chùrsaichean is leabhraichean ùra;
  • Ceanglaichean eadar gnìomhachas agus an saoghal acadaimigeach;
  • Buileachadh practaigeach de bheachdan. MCS, MS, CLH, JSR 166, ag obair còmhla ri Doug Lee agus barrachd;
  • Cuimhne eadar-ghnìomhach;
  • Ailtireachd ùr. Tha buaidh na cuimhne gnìomhail faisg;
  • Cuimhne neo-luaineach, Optane DIMM, innealan ultra-luath;
  • An ath ghluasad mòr. Structar dàta dùbailte. Hydra.

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

Vitaly Aksenov - an-dràsta na postdoc aig IST Austria agus na bhall de 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.

Dreuchd tràth, Oilthigh Rochester. Charlotte pròiseact, Lynx cànan.

Алексей: An toiseach, bha mi airson innse dhut gu bheil sinn uile dèidheil air Saidheans Coimpiutaireachd, Saidheans Dàta agus algorithms anns an Ruis. Tha e gu tur drabasta. Tha sinn air a h-uile càil a leughadh leabhar le Cormen, Leiserson agus Rivest. Mar sin, bu chòir gum biodh fèill mhòr air a’ cho-labhairt, an sgoil agus an agallamh seo fhèin. Fhuair sinn mòran cheistean airson an agallaimh seo bho oileanaich, luchd-prògramaidh, agus buill den choimhearsnachd, agus mar sin tha sinn fada an comain airson an cothrom seo. A bheil Saidheans Coimpiutaireachd a’ faighinn an aon ghaol anns na SA?

Mìcheal: Tha an raon againn cho eadar-mheasgte, tha uimhir de stiùiridhean ann, agus tha e a’ toirt buaidh air a’ chomann-shòisealta ann an uimhir de dhòighean eadar-dhealaichte is gu bheil e duilich dhomh freagairt deimhinnte a thoirt dhut. Ach is e an fhìrinn gu bheil e air atharrachaidhean mòra adhbhrachadh ann an gnìomhachas, gnìomhachas, ealain agus comann-sòisealta san fharsaingeachd thairis air na 30 bliadhna a dh’ fhalbh.

Vitali: Feuch an tòisich sinn le rudeigin fad às. Ann am mòran oilthighean tha rudeigin mar speisealachadh ann an aon raon sònraichte. Airson Oilthigh Charnegie Mellon is e coimpiutaireachd co-shìnte a tha seo, airson MIT is e criptography, innealan-fuadain agus multithreading a th’ ann. A bheil leithid de speisealachadh aig Oilthigh Rochester?

Mìcheal: Gus a bhith onarach, chanainn gu bheil CMU agus MIT a’ speisealachadh anns gach raon. Tha an roinn againn a-riamh air an aire as motha a thoirt do inntleachd fuadain. Tha leth de na daoine a tha ag obair dhuinne an sàs ann an AI no eadar-obrachadh coimpiutair daonna - tha a’ chuibhreann seo nas àirde na ann an roinnean eile, agus bha e a-riamh mar sin. Ach nuair a bha mi aig an oilthigh, cha robh cùrsaichean agam ann an AI, agus cha robh mi a-riamh ag obair san raon seo. Mar sin tha an roinn agam a’ speisealachadh ann an duilgheadas nach eil gnothach sam bith agam ris. Is e an comhfhurtachd gur e an dàrna duilgheadas as cudromaiche don roinn againn prògramadh co-shìnte agus ioma-snàithlean, is e sin, mo speisealachadh.

Vitali: Thòisich thu ag obair ann an Saidheans Coimpiutaireachd nuair a bha raon phrògraman ioma-snàthainn dìreach a’ nochdadh. Tha an liosta de na foillseachaidhean agad a’ sealltainn gun do dhèilig na ciad obraichean agad ri raon farsaing de chùisean: riaghladh cuimhne ann an siostaman ioma-snàithleach, siostaman faidhle sgaoilte, siostaman obrachaidh. Carson a tha an leithid de shùbailteachd? A bheil thu air a bhith a’ feuchainn ri d’ àite a lorg sa choimhearsnachd rannsachaidh?

Mìcheal: Mar oileanach, ghabh mi pàirt ann Pròiseact Charlotte aig Oilthigh Wisconsin, far an deach aon de na ciad siostaman obrachaidh sgaoilte a leasachadh. An sin bha mi ag obair còmhla ri Rafael Finkel (Raphael Finkel) agus Marvin Solomon (Marvin Solomon). Bha an tràchdas agam gu sònraichte airson leasachadh cànan airson bathar-bog siostam airson siostaman sgaoilte - a-nis tha a h-uile duine air dìochuimhneachadh mu dheidhinn, agus taing do Dhia. Chruthaich mi cànan prògramadh Lynx, a bha an dùil a dhèanamh nas fhasa frithealaichean a chruthachadh airson siostam obrachaidh sgaoilte ceangailte. Leis gu robh mi aig an àm sin gu mòr an sàs ann an siostaman obrachaidh, bha mi a’ gabhail ris gum biodh mo chùrsa-beatha ceangailte gu ìre mhòr riutha. Ach b’ e oilthigh glè bheag a bh’ ann an Rochester, agus air sgàth seo, bha na diofar bhuidhnean an sin ag eadar-obrachadh gu math dlùth ri chèile. Cha robh dusan siostam obrachaidh eile ann airson bruidhinn rium, agus mar sin bha a h-uile conaltradh agam le daoine a bha ag obair ann an raointean gu tur eadar-dhealaichte. Chòrd e rium gu mòr, tha a bhith nad neach-cruinneachaidh na bhuannachd mhòr dhomh. Ma tha sinn a 'bruidhinn gu sònraichte mu structaran dàta ioma-snàthainn agus algorithms sioncronaidh, thòisich mi ag obair orra gu tur le tubaist.

Eadar-aghaidh ciallach so-ruigsinneach IEEE, glasadh MCS.

Vitali: An innis thu dhomh beagan a bharrachd mu dheidhinn seo?

Mìcheal: Is e sgeulachd èibhinn a tha seo nach bi mi a’ sgàineadh a bhith ag innse don h-uile duine. Thachair e aig co-labhairt ASPLOS ann am Boston - bha seo aig deireadh nan 80an no tràth sna 90an. Iain Mellor-Crumme (Iain Mellor-Crumme), ceumnaiche den dàmh againn. Bha mi eòlach air, ach cha robh sinn air co-rannsachadh a dhèanamh roimhe. Màiri Vernon (Màiri Vernon) bho Wisconsin thug e seachad òraid mu shiostam ioma-phròiseasar a bha iad a’ leasachadh ann an Wisconsin: Ioma-chiùb Wisconsin. Bha inneal sioncronaidh aig an Multicube seo aig ìre bathar-cruaidh ris an canar an Q on Sync Bit, agus an dèidh sin chaidh a h-ath-ainmeachadh mar Q on Lock Bit oir bha e coltach ri càise Colby, a bha na punnd. Ma tha ùidh agad ann an uidheamachdan ioma-snàthainn, is dòcha gu bheil fios agad gun tàinig Colby gu bhith na einnsean sioncronaidh airson inbhe Eadar-aghaidh Co-fhreagarrach Scalable IEEE. B’ e inneal glasaidh a bha seo a chruthaich comharran bho aon tasgadan gu fear eile aig ìre bathar-cruaidh gus am biodh fios aig gach neach-gleidhidh glas cò an tionndadh a bh’ ann. Nuair a chuala Iain agus mise mu dheidhinn seo, choimhead sinn air a chèile agus thuirt sinn: carson a tha seo aig ìre bathar-cruaidh? Nach gabh an aon rud a choileanadh le bhith a’ cleachdadh coimeas-is-iomlaid? Ghabh sinn aon de na leabhraichean-nòtaichean na laighe anns an t-seòmar-sgoile agus sgrìobh sinn air MCS a' bacadh, fhad 'sa bha Màiri a' leantainn a h-aithisg. Às deidh sin, chuir sinn an gnìomh e, rinn sinn deuchainn, thionndaidh am beachd gu bhith soirbheachail, agus dh’ fhoillsich sinn an artaigil. Aig an àm sin, dhòmhsa, bha coltas gu robh an cuspair seo dìreach a 'tarraing aire spòrsail, agus às dèidh sin bha mi an dùil tilleadh gu siostaman obrachaidh. Ach an uairsin dh’ èirich duilgheadas eile anns na h-aon loidhnichean, agus mu dheireadh thàinig sioncronadh, ioma-snàthainn, agus structaran dàta gu bhith nam speisealachd dhomh. Mar a chì thu, thachair seo gu lèir le tubaist.

Vitali: Tha mi air a bhith eòlach air bacadh MCS airson ùine mhòr, ach gu ruige seo cha robh fios agam gur e an obair agad a bh 'ann, agus cha do thuig mi gur e acronaim a bh' ann airson na h-ainmean mu dheireadh agad.

Ciamar a bhith beò ann an saoghal a tha a’ sìor atharrachadh?

Алексей: Tha ceist agam air cuspair co-cheangailte. O chionn 30 no 40 bliadhna bha barrachd saorsa ann an diofar speisealachdan. Ma tha thu airson dreuchd a thòiseachadh ann an siostaman ioma-snàthainn no sgaoilte, tha fàilte ort, ma tha thu airson faighinn a-steach do shiostaman obrachaidh, gun duilgheadas sam bith. Anns gach raon bha mòran cheistean fosgailte agus glè bheag de eòlaichean. Tha speisealaichean cumhang a-nis air nochdadh: chan eil dìreach eòlaichean ann air siostaman obrachaidh san fharsaingeachd, tha eòlaichean ann air siostaman fa leth. Tha e an aon rud le siostaman ioma-snàthainn agus sgaoilte. Ach is e an duilgheadas nach eil ar beatha gun chrìoch; chan urrainn dha a h-uile duine ach beagan dheicheadan a chaitheamh airson rannsachadh. Ciamar a bhith beò san t-saoghal ùr seo?

Mìcheal: Chan eil sinn sònraichte a thaobh seo; thachair an aon rud aon uair ann an ceàrnaidhean eile. Bha mi fortanach gun do thòisich mi ag obair ann an Saidheans Coimpiutaireachd nuair a bha an raon anns na bliadhnaichean “deugairean”. Bha cuid de bhunaitean air an cur sìos mu thràth, ach bha a h-uile dad fhathast gu math neo-aibidh. Chan ann tric a thig an cothrom seo. Tha innleadaireachd dealain air a bhith timcheall airson ùine mhòr, fiosaig eadhon nas fhaide, matamataig cha mhòr bho thoiseach ùine. Ach chan eil seo a 'ciallachadh nach eil duine a' dèanamh lorg inntinneach ann am matamataig tuilleadh. Tha mòran dhuilgheadasan fosgailte ann fhathast, ach aig an aon àm, feumar barrachd ionnsachadh. Tha thu ceart a thoirt fa-near gu bheil tòrr a bharrachd speisealaichean ann a-nis na bha ann roimhe, ach tha seo a’ ciallachadh gu bheil sinn gar lorg fhèin san aon suidheachadh ris a’ mhòr-chuid de raointean eile de ghnìomhachd daonna.

Алексей: Tha ùidh agam anns an taobh nas practaigeach den chùis an seo. Tha eachdraidh matamataig agam, agus rè mo chuid ionnsachaidh bha mi tric a’ frithealadh cho-labhairtean agus ag obair air grunn chuspairean saidheansail. Fhuair mi a-mach nach do thuig duine sam bith san luchd-èisteachd na h-aithisgean agam, agus san aon dòigh, bha aithrisean dhaoine eile furasta an tuigsinn dhaibh fhèin a-mhàin. Chan eil seo fìor ann an cuspairean àrd-ìre, ach cho luath ‘s a thòisicheas tu a’ sgrùdadh rudeigin, chan urrainn don luchd-èisteachd cumail suas riut tuilleadh. Ciamar a dhèiligeas tu ri seo?

Mìcheal: Chan eil an-còmhnaidh soirbheachail. O chionn ghoirid dheasaich mi aithisg anns an deach mi ro dhomhainn a-steach gu mion-fhiosrachadh teicnigeach. Mar a chaidh an òraid air adhart, dh'fhàs e soilleir nach robh a 'mhòr-chuid den luchd-èisteachd gam thuigsinn, agus mar sin bha agam ri gabhail ris an t-suidheachadh air an itealan. Cha b’ urrainn na sleamhnagan atharrachadh, agus mar sin cha do thionndaidh e a-mach glè mhath - mar sin, san fharsaingeachd, bidh mi a’ feuchainn gun a bhith a’ cleachdadh sleamhnagan. Gu h-iomlan, is e mo chomhairle beachdachadh air an luchd-èisteachd agad. Feumaidh fios a bhith agad cò ris a tha thu a’ bruidhinn, dè an ìre eòlais a th’ aca, agus na dh’ fheumas iad a chluinntinn gus luach a chuir air an obair agad.

Vitali: Am b’ urrainn dhut beachd a thoirt dhuinn cò mu dheidhinn a bha an òraid seo?

Mìcheal: Gus a bhith onarach, b’ fheàrr leam gun a bhith a’ leudachadh air a’ chuspair seo gus na daoine sin fhàgail gun urra. Is e a’ phuing gu bheil sinn gu tric a’ faighinn ro dhomhainn a-steach do iom-fhillteachd na trioblaid air a bheil sinn ag obair, agus mar sin bidh e duilich dhuinn mìneachadh aig toiseach na h-òraid carson a tha an duilgheadas inntinneach agus cudromach agus mar a tha e a’ buntainn ri cùisean a tha tha fios aig an luchd-èisteachd mu thràth. A rèir mo bheachdan, tha an ùine as duilghe aig oileanaich an sgil seo ionnsachadh. Agus b’ e seo cuideachd puing lag na h-aithisg agam o chionn ghoirid. Bu chòir do aithisg le structar ceart, bhon fhìor thoiseach, conaltradh a lorg leis an luchd-èisteachd, mìneachadh dhaibh dè dìreach an duilgheadas a th’ ann agus mar a tha e a’ buntainn ri cuspairean a tha aithnichte mar-thà. Tha cho teicnigeach sa tha an ro-ràdh seo an urra ris an luchd-èisteachd. Ma tha e gu tur motley, faodaidh an aithisg a bhith ioma-ìre. Bu chòir gum biodh an ro-ràdh ruigsinneach don h-uile duine, agus aig a’ cheann thall is dòcha nach bi am pìos comasach air cumail suas riut, ach bidh e comasach dha daoine a tha gu math eòlach air an raon agad a thuigsinn.

A bheil oileanaich a’ fàs gòrach? Gluasadan cruinne, eadar-nàiseantachd.

Алексей: Tha thu air a bhith ag amharc air oileanaich airson grunn deicheadan. A bheil oileanaich a’ fàs nas miosa no nas buige bho dheich bliadhna gu deich bliadhna no bliadhna gu bliadhna? Anns an Ruis, bidh ollamhan an-còmhnaidh a’ gearain gu bheil oileanaich a’ fàs nas miosa gach bliadhna, agus chan eil e soilleir dè a nì iad mu dheidhinn.

Mìcheal: Cluinnidh tu gu dearbh moran de dhearmad bhuainn seann daoine. Gu fo-mhothachail, tha sinn dualtach a bhith an dùil gun gabh oileanaich ris na 30 bliadhna de eòlas a th’ againn mar-thà. Ma tha tuigse nas doimhne agam na rinn mi ann an 1985, carson nach eil e aig na h-oileanaich? Is dòcha leis gu bheil iad 20 bliadhna a dh'aois, dè do bheachd? Tha mi a’ smaoineachadh gu bheil na h-atharrachaidhean as cudromaiche anns na deicheadan mu dheireadh air a bhith ann an sgrìobhadh deamografach: tha tòrr a bharrachd oileanaich eadar-nàiseanta againn a-nis, ach a-mhàin Canèidianaich. B’ àbhaist tòrr de Chanèidianaich a bhith ann oir tha sinn gu math faisg air crìoch Chanada agus faodaidh oileanaich às an sin siubhal dhachaigh air an deireadh-sheachdain. Ach a-nis tha mòran oilthighean math ann an Canada, agus is fheàrr le Canèidianaich ionnsachadh an seo; tha mòran nas lugha dhiubh a’ tighinn dha na SA.

Алексей: An e gluasad ionadail no cruinneil a tha seo?

Mìcheal: Chan eil cuimhne agam cò leis, ach thuirt cuideigin gu bheil an saoghal rèidh. Tha an raon againn air fàs tòrr nas eadar-nàiseanta. Co-labhairtean ACM Roimhe sin, bha iad air an cumail a-mhàin taobh a-staigh na Stàitean Aonaichte, agus an uair sin cho-dhùin iad a chumail aon uair a h-uile 4 bliadhna ann an dùthchannan eile, agus a-nis tha iad air an cumail air feadh an t-saoghail. Thug na h-atharrachaidhean sin buaidh eadhon nas motha IEEE, oir bha e a-riamh na bhuidheann nas eadar-nàiseanta na ACM. Agus tha cathraichean prògram ann à Sìona, na h-Innseachan, an Ruis, a’ Ghearmailt agus mòran dhùthchannan eile, oir tha tòrr a’ dol air adhart anns a h-uile àite a-nis.

Алексей: Ach, is dòcha, gu bheil taobhan àicheil de eadar-nàiseantachd mar sin?

Mìcheal: Chanainn gu bheil a h-uile taobh àicheil a’ buntainn chan ann ri teicneòlas, ach ri poilitigs. Uair dhe na h-uairean, b 'e am prìomh dhuilgheadas gun robh na SA a' goid nan daoine as sgiobalta agus as tàlantach bho dhùthchannan air feadh an t-saoghail. Agus a-nis is e am prìomh dhuilgheadas na geamannan poilitigeach eadar diofar dhùthchannan timcheall air bhìosa agus in-imrich.

Алексей: 'S e sin, bacaidhean agus rudan mar sin. Tha e soilleir.

Владимир: Gu pearsanta, tha ùidh agam anns an dòigh-obrach a bhios tu a’ cleachdadh nuair a bhios tu a’ teagasg cuspair ùr do dh’ oileanaich. Tha diofar roghainnean ann: faodaidh tu feuchainn an toiseach gus am brosnachadh gus rudeigin ùr fheuchainn, no faodaidh tu barrachd aire a thoirt don fhiosrachadh air mar a tha teicneòlas sònraichte ag obair. Dè as fheàrr leat?

Obair èifeachdach le oileanaich

Алексей: Agus ciamar a lorgas tu an cothromachadh dona eadar a 'chiad agus an dàrna fear?

Mìcheal: Is e an duilgheadas a th’ ann nach bi clasaichean an-còmhnaidh a’ dol mar a bu toil leam. Mar as trice bidh mi a’ toirt stuth leughaidh do dh’ oileanaich ro-làimh gus an dèan iad sgrùdadh air, gun tuig iad cho math ’s as urrainn dhaibh, agus gun cuir iad ri chèile ceistean mu na pàirtean sin nach b’ urrainn dhaibh a thuigsinn. An uairsin sa chlas faodaidh tu fòcas a chuir air na h-amannan as duilghe agus an sgrùdadh còmhla. Seo mar as toil leam a bhith a’ teagasg chlasaichean as motha. Ach leis an eallach a tha a-nis air oileanaich, chan urrainn dhomh an-còmhnaidh dèanamh cinnteach gun ullaich iad ro-làimh. Mar thoradh air an sin, feumaidh tu tòrr a bharrachd ùine a chaitheamh air ath-aithris coitcheann an stuth na tha thu ag iarraidh. A dh’aindeoin sin, bidh mi a’ feuchainn ris na clasaichean againn a chumail eadar-ghnìomhach. Rud eile, tha e nas fhasa bhidio a chlàradh aon uair ‘s gum faod oileanaich an uairsin coimhead aig an taigh. Is e puing nan clasaichean beò eadar-obrachadh daonna. Anns a 'chlas, is fheàrr leam cailc agus bòrd-dubh a chleachdadh seach sleamhnagan, ach a-mhàin ann an cuid de chùisean nuair a tha diagram ro iom-fhillte airson a shealltainn air a' bhòrd. Taing dha seo, chan fheum mi cumail ri plana leasain teann. Leis nach eil òrdugh teann anns am bi mi a’ toirt seachad an stuth, leigidh seo leam a dhèanamh freagarrach don luchd-èisteachd a rèir nan ceistean a gheibh mi. San fharsaingeachd, bidh mi a’ feuchainn ri clasaichean a dhèanamh cho eadar-ghnìomhach ’s a ghabhas, gus am bi an stuth a tha mi a’ taisbeanadh an urra ris na ceistean a thèid fhaighneachd dhomh.

Владимир: Tha e sgoinneil. Anns an eòlas agam, tha e gu math duilich toirt air luchd-èisteachd ceistean fhaighneachd. Fiù ma dh'iarras tu ro-làimh ceistean sam bith fhaighneachd, ge bith dè cho gòrach no cho glic, tha iad fhathast sàmhach. Ciamar a dhèiligeas tu ri seo?

Mìcheal: Nì thu gàire, ach ma sheasas tu ann an sàmhchair fada gu leòr, luath no mall fàsaidh a h-uile duine mì-chofhurtail agus cuiridh cuideigin ceist. No faodaidh tu ceist theicnigeach shìmplidh fhaighneachd le freagairt tha no chan eil gus faighinn a-mach a bheil daoine a’ tuigsinn na chaidh a ràdh. Mar eisimpleir, a bheil rèis dàta anns an eisimpleir gu h-àrd? Cò tha a’ smaoineachadh sin? Cò a tha a 'smaoineachadh nach eil? Cò nach eil a 'tuigsinn dad idir, oir gu h-iomlan cha deach ach leth de na làmhan suas?

Vitali: Agus ma fhreagair thu gu ceàrr, tha thu air do bhreabadh a-mach às a’ chlas :)

Mìcheal: Mura h-eil thu air dad a fhreagairt, bu chòir dhut ceist fhaighneachd. Feumaidh mi tuigsinn dè dìreach a dh’ fheumas a bhith aig an oileanach airson a’ cheist a chuir mi romham a fhreagairt. Tha feum agam orra airson mo chuideachadh gus an cuideachadh. Tha mi deiseil airson gabhail riutha gus an tuig iad an duilgheadas. Ach mura h-eil fios agam dè tha dol nan ceann, chan urrainn dhomh a dhèanamh. Agus mura toir thu fois do dh’ oileanaich airson ùine fada gu leòr, uaireannan aig a’ cheann thall bidh iad a’ faighneachd na ceistean ceart, is e sin feadhainn a leigeas leam faicinn dè dìreach a tha a’ dol ann an cinn nan oileanach. 

Алексей: Am bi na ceistean seo uaireannan a’ leantainn gu beachdan air nach robh thu fhèin air smaoineachadh roimhe? A bheil iad ris nach robh dùil? A bheil iad a 'toirt cothrom dhut coimhead air duilgheadas ann an solas ùr?

Mìcheal: Tha ceistean ann a tha a’ fosgladh dòigh ùr air stuth a thaisbeanadh. Gu tric bidh ceistean ann a dh’ adhbhraicheas duilgheadasan inntinneach nach robh dùil agam bruidhinn mu dheidhinn. Bidh oileanaich gu tric ag innse dhomh gu bheil mi buailteach a dhol far cuspair nuair a thachras seo. Agus, a rèir iad, gu math tric is e seo am pàirt as inntinniche den leasan. Glè ainneamh, dìreach beagan thursan, chuir oileanaich ceistean a bhrosnaich stiùireadh ùr ann an rannsachadh agus a dh'fhàs gu bhith na artaigil. Bidh seo a’ tachairt mòran nas trice ann an còmhraidhean le oileanaich seach ann an clasaichean, ach uaireannan thachair e ann an clasaichean. 

Алексей: Mar sin chuir na h-oileanaich ceistean ort air an robh e comasach an uairsin artaigil fhoillseachadh?

Mìcheal: Tha. 

Vitali: Dè cho tric sa bhios na còmhraidhean seo agad le oileanaich? Cuin a tha iad airson barrachd ionnsachadh na na chaidh a chòmhdach tron ​​​​leasan?

Mìcheal: Le na h-oileanaich ceumnachaidh agam - fad na h-ùine. Tha mu 5 neo 6 dhiubh agam, agus bidh sinn a’ bruidhinn air rudeigin leotha fad na h-ùine. Agus chan eil còmhraidhean den t-seòrsa seo le oileanaich a bhios dìreach a’ frithealadh nan clasaichean agam glè chumanta. Ged is toil leam gun tachradh seo nas trice. Tha amharas agam gu bheil dìreach eagal orra tighinn don dàmh rè uairean oifis. Gach semeastar, bidh cuid de dh’ oileanaich a’ faighinn thairis air a’ chnap-starra saidhgeòlach seo, agus tha e an-còmhnaidh glè inntinneach bruidhinn riutha às deidh a’ chlas. Fìor, nam biodh a h-uile oileanach cho treun, cha bhiodh ùine gu leòr agam. Mar sin is dòcha gu bheil a h-uile dad ag obair mar a bu chòir. 

Vitali: Ciamar a gheibh thu ùine a lorg airson conaltradh le oileanaich? Cho fad 's as aithne dhomh, anns na SA tha tòrr obrach aig tidsearan - a' cur a-steach airson tabhartasan agus an leithid. 

Mìcheal: Gu h-onarach, is e a bhith ag obair le oileanaich an taobh den obair agam as fheàrr leam. Mar sin tha brosnachadh gu leòr agam airson seo. Tha a’ mhòr-chuid den ùine a chaitheas mi san oifis agam ga chosg air coinneamhan de gach seòrsa. Tha an samhradh ann a-nis, agus mar sin chan eil an clàr-ama agam cho trang, ach tron ​​​​bhliadhna sgoile, a h-uile latha bho 9 gu 17 tha a h-uile dad agam. Obair rannsachaidh, lèirmheasan, tabhartasan - airson seo uile chan eil ann ach feasgar agus deireadh-sheachdainean. 

Mar a chumas tu suas ri ullachadh chùrsaichean agus leabhraichean ùra.

Алексей: A bheil thu an-dràsta a’ leantainn air adhart a’ teagasg chùrsaichean sam bith a tha thu air a bhith a’ teagasg o chionn fhada? Rudeigin mar ro-ràdh gu Saidheans Coimpiutaireachd.

Mìcheal: Is e a’ chiad rud a thig nam inntinn an seo cùrsa ann an cànanan prògramaidh. 

Алексей: Dè cho eadar-dhealaichte ‘s a tha dreach an latha an-diugh den chùrsa seo bho na bha e o chionn 10, 20, 30 bliadhna? Is dòcha an rud a tha nas inntinniche an seo chan e mion-fhiosrachadh cùrsa sònraichte, ach na gluasadan coitcheann.

Mìcheal: Bha an cùrsa agam air cànanan prògramaidh rudeigin annasach aig an àm a chruthaich mi e. Thòisich mi ga leughadh aig deireadh na 1980n, a’ dol an àite mo cho-obraiche, Doug Baldwin (Dùgh Baldwin). Cha robh cuspair a’ chùrsa ach co-cheangailte ri mo speisealachd, ach nuair a dh’fhalbh e, b’ e mise an tagraiche a b’ fheàrr airson a’ chùrsa a theagasg. Cha bu toil leam gin de na leabhraichean teacsa a bha ann aig an àm, agus mar sin chrìochnaich mi a’ sgrìobhadh an leabhar-teacsa airson a’ chùrsa seo mi-fhìn. (Nòta neach-deasachaidh: tha sinn a’ bruidhinn mun leabhar "Prògramadh Cànain Pragmatics") Tha e a-nis air a chleachdadh ann an còrr air 200 oilthigh air feadh an t-saoghail. Tha an dòigh-obrach agam neo-àbhaisteach leis gu bheil e a dh’aona ghnothach a’ measgachadh nan duilgheadasan a thaobh dealbhadh is buileachadh cànain, agus a’ toirt deagh aire don eadar-obrachadh eadar na taobhan sin anns gach raon comasach. Tha an dòigh-obrach bunaiteach air fuireach gun atharrachadh, mar a tha mòran bhun-bheachdan bunaiteach: giorrachadh, ainmean-àite, modularity, seòrsaichean. Ach tha an seata de chànanan leis a bheil na bun-bheachdan sin air an taisbeanadh air atharrachadh gu tur. Nuair a chaidh an cùrsa a chruthachadh an toiseach, bha mòran eisimpleirean ann am Pascal, ach an-diugh chan eil mòran de na h-oileanaich agam air cluinntinn mun chànan seo. Ach tha iad eòlach air Swift, Go, Rust, agus mar sin feumaidh mi bruidhinn mu na cànanan a tha gan cleachdadh an-diugh. Cuideachd, tha oileanaich a-nis eòlach air cànanan sgrìobhaidh, ach nuair a thòisich mi a’ teagasg a’ chùrsa seo, bha e mu dheidhinn cànanan cruinnichte. A-nis feumaidh sinn tòrr stuth mu Python, Ruby agus eadhon Perl, oir is e seo an còd a tha sgrìobhte anns na làithean seo, agus tha tòrr rudan inntinneach a’ tachairt anns na cànanan sin, nam measg ann an raon dealbhadh cànain. 

Vitali: An sin bithidh mo ath cheist co-cheangailte ris an fhear a bha roimhe. Ciamar a chumail suas san raon seo? Tha amharas agam gu bheil a bhith ag ùrachadh cùrsa mar seo a’ cur feum air tòrr obrach - feumaidh tu cànanan ùra a thuigsinn, na prìomh bheachdan a thuigsinn. Ciamar a nì thu seo?

Mìcheal: Chan urrainn dhomh bòstadh gu bheil mi an-còmhnaidh a’ soirbheachadh 100%. Ach a’ mhòr-chuid den ùine bidh mi dìreach a’ dèanamh na bhios a h-uile duine eile a’ dèanamh - leugh an eadar-lìn. Ma tha mi airson Rust a thuigsinn, is mise Google e, rach gu duilleag Mozilla agus leugh an leabhar-làimhe a chaidh a phostadh an sin. Tha seo mar phàirt de na rudan a tha a’ tachairt ann an leasachadh malairteach. Ma tha sinn a 'bruidhinn mu dheidhinn saidheans, feumaidh tu leantainn ris na h-aithisgean aig na prìomh cho-labhairtean. 

Ceangal eadar gnìomhachas agus an saoghal acadaimigeach

Vitali: Bruidhnidh sinn mun cheangal eadar gnìomhachas agus rannsachadh saidheansail. Anns an liosta obraichean agad, lorg mi grunn artaigilean air co-leanailteachd tasgadan. Tha mi a 'tuigsinn gu robh na h-algorithms cunbhalachd cache neo-sheasmhach aig an àm a chaidh am foillseachadh? No nach eil farsaing gu leòr. Dè cho cumanta 'sa bha na beachdan agad ann an cleachdadh?

Mìcheal: Chan eil mi buileach cinnteach dè na foillseachaidhean air a bheil thu a’ bruidhinn. Tha mi air tòrr obair a dhèanamh leis na h-oileanaich agam Bill Bolosky (Uilleam Bolosky) agus Leonidas Kontotanassis (Leonidas Kontothanassi) tràth anns na 1990n air riaghladh cuimhne air innealan Neumann. Aig an àm sin, cha robh tuigse aig gnìomhachas fhathast air mar a dhèanadh iad siostam ioma-phròiseasar gu ceart: an fhiach e taic a chruthachadh airson faighinn gu cuimhne iomallach aig ìre bathar-cruaidh, am b’ fhiach an cuimhne a sgaoileadh, a bheil e comasach an tasgadan a luchdachadh bho cuimhne iomallach, no a bheil e riatanach duilleagan a ghluasad san t-siostam obrachaidh? Bha Bill agus Leonidas le chèile ag obair san raon seo agus rannsaich iad dòighean-obrach gun luchdachadh tasgadan iomallach. Cha robh seo ceangailte gu dìreach ri co-leanailteachd tasgadan, ach bha e fhathast ag obair air riaghladh cuimhne NUMA, agus às deidh sin dh’ fhàs dòighean-obrach ùr-nodha a thaobh suidheachadh dhuilleagan ann an siostaman obrachaidh an latha an-diugh bho seo. Uile gu lèir, rinn Bill agus Leonidas obair chudromach, ged nach e an fheadhainn as buadhaiche san raon seo - bha mòran dhaoine eile ag obair air an aon rud aig an àm. Nas fhaide air adhart, bha mi ag obair air cuspair co-cheangailte ri cunbhalachd tasgadan ann an co-theacsa cuimhne gnìomhachd bathar-cruaidh. Chrìochnaich a 'bhuidheann leis an robh mi ag obair air an duilgheadas seo a' faighinn grunn phaitinnean. Tha cuid de bheachdan gu math inntinneach air an cùlaibh, ach chan eil mi a 'smaoineachadh gum bi iad air an cur an gnìomh ann an cleachdadh. Aon dòigh no dòigh eile, tha e duilich dhomh breithneachadh a dhèanamh air am prothaid. 

Алексей: A thaobh seo, ceist nas pearsanta: dè cho cudromach sa tha e dhut do bheachdan a chuir an gnìomh? No nach eil thu a 'smaoineachadh mu dheidhinn?

Mìcheal: Is toil leam a bhith a’ faighneachd na ceist seo ann an agallamhan le daoine eile, tagraichean no tagraichean a tha airson a dhol dhan dàmh. Chan eil mi a’ smaoineachadh gu bheil freagairt cheart ann don cheist seo. Faodaidh adhbharan gu math eadar-dhealaichte a bhith aig daoine a nì rudan fionnar. Tha mi air mo tharraing gu duilgheadasan oir tha mi gu pearsanta gam faighinn inntinneach, chan ann air sgàth na buannachdan practaigeach aca. Ach air an làimh eile, nuair a lorgar rud inntinneach fhathast ga chleachdadh, tha e a’ còrdadh rium gu mòr. Mar sin chan eil e furasta an seo. Ach aig toiseach m’ obair, tha mi fhathast air mo ghluasad chan ann leis a’ bheachd air cleachdadh deireannach anns an t-saoghal, ach le co-sheirm a’ bheachd agus a’ mhiann a bhith ga sgrùdadh agus faicinn dè a thig às. Ma bheir e seachad toraidhean practaigeach aig a’ cheann thall, sgoinneil. 

Алексей: Air sgàth do chuid foghlaim agus eòlais, tha thu nas comasaiche na a 'mhòr-chuid air luach bheachdan dhaoine eile a mheasadh. Faodaidh tu coimeas a dhèanamh eadar iad agus faighinn a-mach dè a tha ag obair nas fheàrr leis. Tha mi cinnteach gu bheil beachd agad mu rudan a tha an-dràsta gan cleachdadh le luchd-saothrachaidh mòra leithid Intel. Bho do bheachd-sa, dè cho ceart ‘s a tha an cùrsa a tha na companaidhean sin a’ gabhail?

Mìcheal: Bidh cleachdaidhean an-còmhnaidh a’ tionndadh timcheall air na dh’ fhaodadh a bhith soirbheachail gu malairteach, is e sin, cruthaich prothaid, agus bidh thu nas fheàrr faighneachd do chuideigin eile mu dheidhinn sin. Bidh an obair agam mar as trice a’ toirt a-steach foillseachaidhean, agus ann an raon nan siostaman obrachaidh tha iad air am measadh stèidhichte air comharran coileanaidh: astar, caitheamh lùtha, meud còd. Ach bha e an-còmhnaidh coltach riumsa gu bheil na toraidhean empirigeach sin air an cur ri artaigilean a-mhàin gus an tèid am foillseachadh, agus tha fìor adhbharan dhaoine airson obair mothachail. Bidh luchd-rannsachaidh a’ measadh fhuasglaidhean bho shealladh ealanta, tha cùram aca mu cho eireachdail sa tha na beachdan, agus bidh iad a’ feuchainn ri rudeigin a chruthachadh nas fheàrr na na dòighean a th’ ann mar-thà. Tha luchd-rannsachaidh air an stiùireadh le adhbharan pearsanta, cuspaireil, mothachail. Ach chan urrainn dhut sgrìobhadh mu dheidhinn seo san artaigil fhèin; chan e argamaidean airson comataidh a’ phrògraim a tha anns na rudan sin. Gu fortanach, tha fuasglaidhean eireachdail gu math luath agus saor cuideachd. Bhruidhinn dusan de mo cho-obraichean agus mise air a’ chuspair seo mu 15 bliadhna air ais agus chrìochnaich iad a’ sgrìobhadh artaigil mu dheidhinn. Tha mi a’ smaoineachadh gum faigh thu fhathast e a-nis, tha e air a ghairm "Mar a nì thu measadh air rannsachadh siostaman" no rudeigin mar sin, tha còrr air dusan ùghdar ann. Is e seo an aon artaigil anns a bheil mi nam ùghdar còmhla ris Sasha Fedorova, mar sin ma nì thu sgrùdadh airson a h-ainm anns an liosta fhoillseachaidhean agam, gheibh thu na tha a dhìth ort. Tha e a’ bruidhinn mu bhith a’ measadh rannsachadh shiostaman agus cho cudromach sa tha eireachdas. 

Алексей: Mar sin tha eadar-dhealachadh eadar inbhe na tha air a mheas math ann an saidheans agus ann an gnìomhachas. Bidh an saidheans a’ measadh coileanadh, caitheamh cumhachd, TDP, furasta a bhuileachadh, agus mòran a bharrachd. A bheil cothrom agad an seòrsa rannsachaidh seo a dhèanamh aig an oilthigh? A bheil obair-lann agad le diofar innealan agus ailtireachd eadar-dhealaichte anns am b’ urrainn dhut deuchainnean a dhèanamh?

Mìcheal: Tha, tha tòrr innealan inntinneach eadar-dhealaichte aig an roinn againn. Mar as trice tha iad beag, tha cruinneachadh beag againn agus mòran de shiostaman ioma-phròiseasar le diofar luathaichean. A bharrachd air an sin, tha ionad coimpiutaireachd mòr aig an àrainn a bhios a’ frithealadh luchd-saidheans bho ghrunn dhusan cuspair eadar-dhealaichte. Tha timcheall air mìle nod agus fichead mìle cores, uile air Linux. Ma tha feum air, faodaidh tu an-còmhnaidh beagan AWS a cheannach. Mar sin chan eil bacadh mòr againn le bathar-cruaidh. 

Алексей: Cò ris a bha e coltach o chionn deich bliadhna fichead? An robh duilgheadasan ann an uairsin?

Mìcheal: Bha e rud beag eadar-dhealaichte an uairsin. Ann am meadhan gu deireadh nan 1980n, bhathas den bheachd nach robh saidheans gann de ghoireasan coimpiutaireachd. Gus an suidheachadh seo a leigheas, tha an National Science Foundation (Stèidheachd Nàiseanta Saidheans) prògram de rannsachadh deuchainneach co-òrdanaichte a chruthachadh (Rannsachadh Deuchainneach Co-òrdanaichte, CER). B’ e rùn a’ phrògraim bun-structar coimpiutaireachd a sholarachadh do roinnean Saidheans Coimpiutaireachd, agus tha e air atharrachadh mòr a choileanadh. Leis an airgead a thug i seachad, cheannaich sinne aig Oilthigh Rochester BBN Butterfly 1984-snaidhm ann an 128, bha seo bliadhna mus do ràinig mi ann. Aig an àm sin b’ e an siostam ioma-phròiseasar as motha san t-saoghal le cuimhne co-roinnte. Bha 128 pròiseasairean ann, gach fear air bòrd-màthair air leth, agus bha ceithir racaichean ann. Bha megabyte cuimhne aig gach pròiseasar, bha 128 megabyte de RAM na mheud do-chreidsinneach aig an àm sin. Air an inneal seo chuir sinn glasadh MCS an gnìomh airson a’ chiad uair. 

Алексей: Mar sin, ma tha mi gad thuigsinn gu ceart, an-dràsta tha an duilgheadas leis a’ bhathar-cruaidh air fhuasgladh? 

Mìcheal: San fharsaingeachd, tha. Tha beagan uaimhean ann: an toiseach, ma tha thu a’ dèanamh ailtireachd coimpiutair aig ìre chip, tha e duilich a dhèanamh ann an àrainneachd acadaimigeach oir tha innealan fada nas fheàrr ann airson a dhèanamh ann an gnìomhachas. Ma tha feum agad air rud sam bith nas lugha na 10 nanometers, feumaidh tu òrdachadh bho chuideigin eile. Anns an raon seo tha e tòrr nas fhasa a bhith nad neach-rannsachaidh aig Intel. Ma tha thu ag obair air conaltradh optigeach air chips no air cuimhne stàite cruaidh, gheibh thu teicneòlasan ann an gnìomhachas nach eil fhathast ann an saidheans, agus mar sin feumaidh tu caidreachasan a chruthachadh. Mar eisimpleir, Stephen Swanson (Steven Swanson) chruthachadh leithid de chom-pàirteachas airson teicneòlasan cuimhne ùra. Chan eil am foirm seo an-còmhnaidh ag obair, ach ann an cuid de chùisean faodaidh e a bhith gu math soirbheachail. A bharrachd air an sin, ann an saidheans tha leasachadh nan siostaman coimpiutaireachd as cumhachdaiche nas duilghe. Tha na pròiseactan supercomputer as motha anns na SA, Iapan agus Sìona uile ag amas air gnìomhachas. 

Buileachadh practaigeach de bheachdan. MCS, MS, CLH, JSR 166, ag obair còmhla ri Doug Lee agus barrachd.

Vitali: Tha thu air bruidhinn mu thràth air mar a thòisich thu ag obair air algorithms sioncronaidh. Tha dà artaigil fìor ainmeil agad mu dheidhinn MCS a' bacadh и Ciudha Mìcheal-Scott (MS), a chaidh a chuir an gnìomh ann an dòigh ann an Java. (Nòta neach-deasachaidh: faodar a h-uile foillseachadh fhaicinn Ceangal). An sin chaidh am bacadh seo a chuir an gnìomh le beagan atharrachaidhean agus thionndaidh e a-mach Glasadh CLH, agus chaidh an ciudha a chuir an gnìomh mar a bha dùil. Ach chaidh mòran bhliadhnaichean seachad eadar foillseachadh na h-artaigilean agad agus an cleachdadh practaigeach. 

Алексей: Tha e coltach mu 10 bliadhna ann an cùis a’ chiudha.

Mìcheal: Mus do nochd na feartan seo ann an leabharlann àbhaisteach Java?

Vitali: Tha. Dè rinn thu airson seo a thoirt gu buil? No an do rinn iad dad?

Mìcheal: Is urrainn dhomh innse dhut mar a fhuair MS Queue a-steach do Java 5. Beagan bhliadhnaichean mus tàinig e a-mach, bha mi ag obair còmhla ri buidheann Mark Moyers aig Sun Microsystems san obair-lann aca faisg air Boston. Chuir e air dòigh bùth-obrach dha daoine air an robh e eòlach a bha ag obair air trioblaidean inntinneach ann an ioma-snàthainn oir bha e airson cuspairean a lorg a dh’ fhaodadh e a reic ris a’ chompanaidh aca. Sin far an do choinnich mi an toiseach ri Doug Lea. Bha Doug agus mise agus timcheall air 25 neach eile bho Sun còmhla a’ beachdachadh air taisbeanadh Doug air JSR 166, a thàinig gu bhith na java.util.concurrent an dèidh sin. Air an t-slighe, thuirt Doug gum bu mhath leis ciudha MS a chleachdadh, ach airson seo bha feum aige air cuntair airson an àireamh de eileamaidean anns a’ chiudha airson an eadar-aghaidh. Is e sin, bu chòir seo a bhith air a dhèanamh le dòigh air leth, atamach, ceart agus luath. Mhol mi dìreach àireamhan sreathach a chur ris na nodan, a’ toirt àireamh a’ chiad nód agus an tè mu dheireadh agus a’ toirt air falbh fear bhon fhear eile. sgrìob Doug a cheann, thuirt e “carson nach robh,” agus chrìochnaich e sin a dhèanamh. Bheachdaich sinn air an dòigh-obrach seo a chuir an gnìomh san leabharlann, ach rinn Doug a’ mhòr-chuid den obair e fhèin. Mar thoradh air an sin, chaidh aige air taic sàr-mhath multithreading a stèidheachadh ann an Java. 

Алексей: Mar sin, ma thuigeas mi gu ceart, bu chòir gum biodh an dòigh .size() air a bhith mar phàirt den eadar-aghaidh àbhaisteach ciudha, agus bu chòir gum biodh iom-fhillteachd algorithmach O(1) air?

Mìcheal: Tha, agus a bharrachd air an seo, tha feum air cuntair air leth.

Алексей: Oir ma chanas tu am modh .size() ann an Java, thathar an dùil gum bi an toradh ri fhaighinn sa bhad agus chan ann stèidhichte air fìor mheud a’ cho-chruinneachaidh. Chì mi, tapadh leat.

Mìcheal: Beagan bhliadhnaichean às deidh sin bha mi ag obair air structaran dàta dùbailte leis an oileanach agam Bill Scherer - gu dearbh, is e seo a bhios mi a ’bruidhinn aithisg air Hydra. Thàinig Doug thugainn agus thuirt e gum faodadh e an cleachdadh ann an Java Executor Framework. Còmhla ri Bill, chruthaich iad dà bhuileachadh, na ciudhaichean cothromach agus mì-chothromach. Chomhairlich mi iad mun phròiseact seo, ged nach do ghabh mi pàirt ann a bhith a’ sgrìobhadh a’ chòd fhèin. Mar thoradh air an sin, tha astar luchd-tiomnaidh air a dhol suas gu mòr. 

Владимир: An do thachair thu ri buileachadh ceàrr air na h-algorithms agad no iarrtasan gus feartan ùra a chur ris? San fharsaingeachd, bu chòir cleachdadh a bhith aig an aon àm ri teòiridh, ach gu math tric bidh iad eadar-dhealaichte. Osbarr sgrìobh thu algairim, agus air pàipear tha e ag obair, ach thòisich na daoine a tha an sàs anns a’ bhuileachadh a’ faighneachd dhut airson barrachd fheartan no seòrsa de dh’ algairim tweaking. An robh suidheachaidhean mar sin agad a-riamh?

Mìcheal: B’ e an aon eisimpleir anns an tàinig cuideigin thugam agus a dh’ fhaighnich e “mar a bu chòir a bhuileachadh” ceist Doug, air an do bhruidhinn mi mu thràth. Ach tha corra chùis air a bhith ann far an deach atharrachaidhean inntinneach a dhèanamh a rèir feumalachdan practaigeach. Mar eisimpleir, thionndaidh sgioba K42 aig IBM glas MCS agus rinn iad eadar-aghaidh àbhaisteach gus nach robh feum air a dhol seachad air an nód ciudha air ais is air adhart gu na cleachdaidhean togail is fuasglaidh. Taing don eadar-aghaidh àbhaisteach seo, thòisich beachd a bha brèagha ann an teòiridh ag obair ann an cleachdadh. Tha e na iongnadh nach do dh'fhoillsich iad artaigil mu dheidhinn a-riamh, agus ged a fhuair iad patent, thrèig iad e nas fhaide air adhart. Bha am beachd mìorbhuileach, agus bidh mi a’ feuchainn ri bruidhinn mu dheidhinn nuair as urrainnear. 

Tha cùisean eile air a bhith ann far an do rinn daoine leasachaidhean air na h-algorithms a dh'fhoillsich mi. Mar eisimpleir, tha inneal stàlaidh dà-cheum aig ciudha MS, a bha a’ ciallachadh gu robh dà CAS air slighe èiginneach a’ chiudha. Air càraichean nas sine, bha CAS gu math daor. Tha Intel agus luchd-saothrachaidh eile air an ùrachadh gu math o chionn ghoirid, ach aon uair bha iad sin nan stiùireadh 30-baidhsagal, agus mar sin cha robh e ion-mhiannaichte barrachd air aon a bhith air an t-slighe èiginneach. Mar thoradh air an sin, chaidh ciudha eadar-dhealaichte a leasachadh a bha coltach ris a’ chiudha MS, ach aig nach robh ach aon obrachadh atamach air an t-slighe èiginneach. Chaidh seo a choileanadh air sgàth 's gum faodadh an obair ùine O(n) a thoirt, seach O(1) ann an ùine shònraichte. Bha e eu-coltach, ach comasach. Thachair seo air sgàth 's gu robh an algairim aig amannan sònraichte a' dol thairis air a 'chiudha bhon toiseach chun an t-suidheachaidh làithreach anns a' chiudha seo. San fharsaingeachd, bha an algairim air leth soirbheachail. Cho fad ‘s as aithne dhomh, chan eil e air a chleachdadh gu farsaing, gu ìre air sgàth gu bheil gnìomhachd atamach a’ feumachdainn mòran nas lugha de ghoireasan na bha iad roimhe. Ach bha am beachd fìor mhath. Is fìor thoil leam obair Dave Dice bho Oracle. Tha a h-uile dad a nì e gu math practaigeach agus bidh e a’ cleachdadh iarann ​​​​gu ciallach. Bha làmh aige ann am mòran de na h-algorithms sioncronaidh mothachail air NUMA agus structaran dàta ioma-snàthainn. 

Владимир: Nuair a bhios tu a’ sgrìobhadh algorithms no a’ teagasg oileanaich, chan eil toradh na h-obrach agad ri fhaicinn sa bhad. Feumaidh a’ choimhearsnachd beagan ùine gus eòlas fhaighinn air, can, artaigil ùr. Cha lorg an algairim ùr tagradh sa bhad. 

Mìcheal: Tha e fada bho bhith soilleir sa bhad am bi an artaigil cudromach no nach bi. Tha mi a’ smaoineachadh gum biodh e inntinneach sgrùdadh a dhèanamh air pàipearan a choisinn duaisean aig co-labhairtean. Is e sin, thoir sùil air na h-artaigilean a bha daoine air na comataidhean prògraim aig aon àm den bheachd as fheàrr. Feumaidh tu feuchainn ri obrachadh a-mach leis an àireamh de cheanglaichean agus a’ bhuaidh air gnìomhachas cho buadhach a bha na h-artaigilean sin ann an 10, 20, 25 bliadhna. Tha mi teagmhach gum biodh co-dhàimh làidir eadar an dà rud. Cha bhi e neoni, ach is coltaiche gum bi e tòrr nas laige na bu mhath leinn. Tha mòran bheachdan fhathast gun tagradh airson ùine mhòr mus fàs iad farsaing. Mar eisimpleir, gabhamaid cuimhne gnìomhachd. Chaidh còrr is 10 bliadhna seachad bhon àm a chaidh an artaigil tùsail fhoillseachadh chun an àm a thòisich daoine a’ togail innealan leis. Agus mus do nochd a 'chuimhne seo ann am bathar malairteach - agus a h-uile 20. Airson ùine mhòr cha tug duine aire don artaigil, agus an uairsin dh'fhàs an àireamh de cheanglaichean ris gu mòr. Bhiodh e duilich seo a ro-innse ro-làimh. Air an làimh eile, uaireannan bidh beachdan a 'lorg buileachadh sa bhad. O chionn beagan bhliadhnaichean, sgrìobh mi pàipear le Joe Izraelevitz airson DISC a mhol mìneachadh foirmeil ùr air dligheachd airson structaran dàta leantainneach a ghabhadh cleachdadh às deidh don choimpiutair a bhith gan ruith. Chòrd an artaigil rium bhon fhìor thoiseach, ach bha e tòrr nas mòr-chòrdte na bha dùil agam. Chaidh a chleachdadh le grunn bhuidhnean eadar-dhealaichte agus mu dheireadh thàinig e gu bhith na mhìneachadh coitcheann air structaran seasmhachd. A tha, gu dearbh, math.

Владимир: A bheil dòighean sam bith ann a chleachdas tu airson measadh? Am bi thu eadhon a’ feuchainn ris na h-artaigilean agad agus na h-oileanaich agad a mheasadh? A thaobh a bheil an neach a theagaisg thu a’ dol anns an t-slighe cheart.

Mìcheal: Mar a h-uile duine eile, tha mi a 'toirt barrachd aire do na tha mi a' dèanamh an-dràsta. A-rithist, mar a h-uile duine eile, bidh mi uaireannan a’ toirt sùil air Google Scholar gus faicinn a bheilear ag ainmeachadh na seann phàipearan agam, ach tha sin nas motha a-mach à feòrachas. Mar as trice tha mi air mo ghlacadh leis na tha na h-oileanaich agam a’ dèanamh a-nis. Nuair a thig e gu bhith a’ measadh obair làithreach, is e pàirt dheth beachdachadh esthetigeach, dè a tha eireachdail agus dè nach eil. Agus aig ìre làitheil, tha àite mòr aig ceistean fosgailte. Mar eisimpleir, thig oileanach thugam le graf de chuid de thoraidhean, agus tha sinn a 'feuchainn ri tuigsinn cò às a thàinig giùlan neònach air a' ghraf. San fharsaingeachd, nar n-obair tha sinn daonnan a 'feuchainn ri rudan a thuigsinn nach eil sinn fhathast a' tuigsinn. 

Cuimhne eadar-ghnìomhach

Vitali: Is dòcha gun urrainn dhuinn beagan bruidhinn mu chuimhne gnìomhachd?

Mìcheal: Tha mi a 'smaoineachadh gum b' fhiach e a ràdh co-dhiù beagan oir chuir mi tòrr oidhirp a-steach ann. Seo cuspair air a bheil barrachd fhoillseachaidhean agam na gin eile. Ach aig an aon àm, gu h-annasach gu leòr, bha mi an-còmhnaidh gu math teagmhach mu chuimhne gnìomhachd. Na’m bheachdsa, artaigil le Herlihy and Moss (M. Herlihy, J. E. B. Moss) fhoillseachadh air thoiseach air an àm. Tràth anns na 1990n, mhol iad gum faodadh cuimhne gnìomhachd prògramadairean tàlantach a chuideachadh le bhith ag obair air structaran dàta ioma-snàthainn, gus am faodadh luchd-prògramaidh àbhaisteach na structaran sin a chleachdadh mar leabharlannan. Is e sin, bhiodh e na chuideachadh dha Doug Lee a 'dèanamh an JSR 166 aige. Ach cha robh cuimhne gnìomhachd an dùil prògramadh ioma-snàthainn a dhèanamh furasta. Ach seo dìreach mar a thòisich e air fhaicinn tràth anns na 2000n, nuair a dh'fhàs e farsaing. Chaidh a shanasachadh mar dhòigh air fuasgladh fhaighinn air duilgheadas prògramadh co-shìnte. Bha an dòigh-obrach seo a-riamh a’ coimhead gun dòchas dhomh. Cha b’ urrainn cuimhne eadar-ghnìomhach ach a dhèanamh nas fhasa structaran dàta co-shìnte a sgrìobhadh. Is e seo, tha e coltach riumsa, na choilean i. 

Mu cho duilich ‘s a tha e còd ioma-snàthainn a sgrìobhadh

Алексей: Glè inntinneach. Tha e coltach gu bheil cnap-starra sònraichte eadar prògramadairean cunbhalach agus an fheadhainn as urrainn còd ioma-snàithlean a sgrìobhadh. An-uiridh, bhruidhinn mi grunn thursan ri daoine a bha a 'cur an gnìomh cuid de fhrèam algorithmach. Mar eisimpleir, le Màrtainn MacThòmais, a bharrachd air luchd-prògramaidh ag obair air leabharlannan ioma-snàthainn. (Nòta neach-deasachaidh: Tha Màrtainn MacThòmais na leasaiche gu math ainmeil, sgrìobh e Aimhreit и Aeron. Agus tha aige cuideachd aithisg aig ar co-labhairt Joker 2015, clàradh bhidio ri fhaighinn air YouTube. Tha e mar an ceudna fhosgladh a' cho-labhairt seo prìomh chlàradh ri fhaighinn cuideachd). Is e am prìomh dhùbhlan, tha iad ag ràdh, na h-algorithms a dhèanamh an dà chuid luath agus furasta an cleachdadh. Is e sin, tha iad a 'feuchainn ri faighinn seachad air a' chnap-starra seo agus a 'tàladh uiread de dhaoine' sa ghabhas chun raon seo. Dè do bheachd air?

Mìcheal: 'S e seo a' phrìomh dhuilgheadas multithreading: mar a choileanadh àrd-choileanadh gun a bhith a 'meudachadh iom-fhillteachd an t-siostam. 

Алексей: Oir nuair a dh’ fheuchas iad ri iom-fhillteachd a sheachnadh, bidh an algairim a’ fàs cho uile-choitcheann.

Mìcheal: Is e an iuchair an seo tarraingean air an dealbhadh gu ceart. Tha e coltach riumsa gur e seo am prìomh rud san fharsaingeachd airson siostaman coimpiutair mar raon. Is toil le Butler Lampson an teirm seo a chleachdadh, agus tha e gar gairm mar “cheannaichean tarraing-às.” Chan eil teicneòlasan sìmplidh ann an-diugh. Tha 10 billean transistors aig na pròiseasairean a bhios sinn a’ cleachdadh - tha sìmplidheachd a-mach às a ’cheist. Aig an aon àm, tha an ISA tòrr nas sìmplidh na am pròiseasar, leis gu bheil sinn ag obair airson ùine mhòr gus àrd-choileanadh agus eadar-aghaidh gu math sìmplidh a thoirt dha. Ach chan eil a h-uile dad rèidh leatha nas motha. Tha an aon dhuilgheadas ann le luathadairean a tha a-nis a 'nochdadh air a' mhargaidh. Bidh ceistean ag èirigh - mar a nì thu an eadar-aghaidh ceart airson an GPU, inneal crioptachaidh, teannachadh, inneal tar-chòdaidh, inneal algebra sreathach, no eadhon FPGA nas sùbailte. Ciamar a chruthaicheas tu eadar-aghaidh a nì an inneal furasta a chleachdadh agus a chuireas am falach iom-fhillteachd? Chan fhaigh e cuidhteas e, ach cuir am falach e bho phrògramadair sìmplidh. 

Алексей: Mar a tha mi ga thuigsinn, tha cnap-starra againn fhathast ann a bhith a 'tuigsinn eas-òrdughan. Gabhamaid am modail cuimhne; aig an ìre leasachaidh againn air saidheans agus teicneòlas, is e seo aon de na prìomh gheàrr-chunntasan. Taing dha, tha a h-uile prògramadair air an roinn ann an dà bhuidheann: is e am pàirt as motha an fheadhainn nach eil ga thuigsinn, agus is e am pàirt as lugha an fheadhainn a thuigeas, no a tha den bheachd gu bheil iad a ’tuigsinn. 

Mìcheal: 'S e deagh cheist a tha sin - a bheil duine againn dha-rìribh a' tuigsinn modail na cuimhne?

Vitali: Gu sònraichte ann an C++.

Mìcheal: Bruidhinn ri Hans Boehm uaireigin. Is e aon de na daoine as sgiobalta as aithne dhomh, prìomh eòlaiche air modalan cuimhne. Innsidh e dhut sa bhad gu bheil tòrr ann nach eil e a’ tuigsinn. Ach ma thilleas sinn gu cùis tarraing-às, an uairsin, nam bheachd-sa, chaidh am beachd as cudromaiche ann an raon modalan cuimhne thar nan 30 bliadhna a dh’ fhalbh a chuir an cèill. ann an tràchdas Sarita Adve. (Nòta neach-deasachaidh: tha liosta iomlan de fhoillseachaidhean ri fhaighinn Ceangal).

Алексей: Is e mo cheist: a bheil an cnap-starra seo a 'tighinn bho nàdar a' bhun-bheachd? 

Mìcheal: Chan eil. Thàinig Sarita chun a 'cho-dhùnaidh, leis an dòigh-obrach cheart, gun urrainn dhut a h-uile iom-fhillteachd fhalach gu soirbheachail, àrd-choileanadh fhaighinn agus API sìmplidh a thoirt don phrògramadair. Agus ma leanas tu an API seo, faodaidh tu cunbhalachd cunbhalach a choileanadh. Tha mi a’ smaoineachadh gur e seo am modail ceart. Sgrìobh còd gun rèisean dàta agus faigh cunbhalachd sreath. Gu dearbh, gus an cunnart bho rèisean a lùghdachadh, tha feum air innealan sònraichte, ach tha sin na chùis eile. 

Владимир: A bheil amannan air a bhith nad chùrsa-beatha nuair a thionndaidh duilgheadas a bha coltach ri fhuasgladh gu h-obann gu bhith na thubaist, no an do thionndaidh e a-mach nach robh an duilgheadas seo comasach fhuasgladh? Mar eisimpleir, ann an teòiridh faodaidh tu àireamh sam bith a chomharrachadh no dearbhadh a bheil àireamh sam bith prìomhach. Ach ann an cleachdadh faodaidh seo a bhith duilich a dhèanamh; leis a’ bhathar-cruaidh gnàthach tha e duilich àireamhan a chomharrachadh. An do thachair rudeigin coltach riut?

Mìcheal: Chan eil cuimhne agam sa bhad air dad mar sin. Tha amannan air a bhith ann nuair a bha e coltach riumsa nach robh dad air fhàgail ri dhèanamh ann an raon sònraichte, ach an uairsin thachair rudeigin ùr is inntinneach an sin. Mar eisimpleir, bha mi a’ smaoineachadh gu robh an raon de chiudhachadh gun chrìoch air ìre a ruighinn mu thràth. Às deidh grunn leasachaidhean air ciudha MNS, cha do thachair mòran tuilleadh. Agus an uairsin dh'innlich Moireasdan (Adhamh Moireasdan) agus Afek (Yehuda Afek). Ciudha LCRQ. Dh’fhàs e soilleir gun robh ciudha ioma-snàthainn gun chrìoch comasach, far nach robh a’ mhòr-chuid den ùine ann ach stiùireadh lorg is meudachaidh air an t-slighe dheatamach. Agus rinn seo e comasach òrdugh meudachd coileanadh nas fheàrr a choileanadh. Chan e sin nach eil fios againn gur e rud glè fheumail a th’ ann an lorg is àrdachadh. Sgrìobh Eric Freudenthal mu dheidhinn seo san obair aige air an Ultracomputer le Allan Gottlieb aig deireadh na 1980n, ach bha e mu dheidhinn ciudha cuibhrichte. B’ urrainn dha Moireasdan agus Afek fetch-is-àrdachadh a chleachdadh air ciudha gun chrìoch.

Ailtireachd ùr. A bheil buaidh cuimhne gnìomhachd dlùth?

Владимир: A bheil thu a 'coimhead airson fuasglaidhean ailtireachd ùra a dh'fhaodadh a bhith feumail airson algorithms? 

Mìcheal: Gu dearbh, tha mòran rudan ann a bu mhath leam fhaicinn air an cur an gnìomh. 

Владимир: Dè seòrsa, mar eisimpleir?

Mìcheal: An toiseach, beagan leudachadh sìmplidh air ar cuimhne gnìomhachd ìre bathar-cruaidh ann am pròiseasairean Intel agus IBM. Gu sònraichte, bu mhath leam gum biodh an luchd neo-ghnìomhach agus an stòr a thachair dìreach ri fhaighinn sa bhad taobh a-staigh gnothaichean. Bidh iad sa bhad a’ leantainn gu lùban san t-sreath a thachras - mus tachair iad, agus mar sin faodaidh iad a bhith duilich. Ach ma chumas tu sreathan de tharraing, tha tòrr rudan inntinneach ann as urrainn dhut a dhèanamh taobh a-muigh a 'ghnothaich fhad' sa tha e a 'tachairt. Chan eil fios agam dè cho duilich ‘s a bhiodh e seo a chuir an gnìomh, ach bhiodh e gu math feumail. 

Is e rud feumail eile a bhith a’ luchdachadh tasgadan bho chuimhne iomallach. Tha mi a’ smaoineachadh nas luaithe no nas fhaide air adhart gun tèid seo a dhèanamh. Leigidh an teicneòlas seo le bhith a’ cruthachadh shiostaman le cuimhne sgaraichte. Bhiodh e comasach, can, 100 terabytes de chuimhne neo-luaineach a chumail ann an raca, agus bhiodh an siostam obrachaidh fhèin a’ co-dhùnadh gu dinamach dè na h-earrannan den chuimhne sin a bu chòir a bhith a rèir àite seòlaidh corporra an luchd-giullachd. Bhiodh seo air leth feumail airson coimpiutaireachd neòil, oir leigeadh e mòran cuimhne a thoirt seachad airson na gnìomhan a tha a dhìth. Tha mi a’ smaoineachadh gun dèan cuideigin e.

Vitali: Gus crìoch a chuir air bruidhinn mu chuimhne gnìomhachd, tha aon cheist eile agam air a’ chuspair seo. Am bi cuimhne gnìomhachd mu dheireadh a’ dol an àite structaran dàta ioma-snàthainn àbhaisteach?

Mìcheal: Chan eil. Is e inneal tuairmeasach a th’ ann an gnìomhan. Aig ìre prògramadh tha iad sin nan glasan atamach, ach a-staigh tha iad a’ beachdachadh. Bidh an leithid de ro-aithris ag obair ma tha a’ mhòr-chuid de na tuairmsean ceart. Mar sin, bidh cuimhne gnìomhachd ag obair gu math nuair nach eil snàithleanan ag eadar-obrachadh gu cruaidh, agus feumaidh tu dèanamh cinnteach nach eil eadar-obrachadh ann. Ach ma thòisicheas teachdaireachd eadar snàithleanan, chan eil mòran feum air gnothaichean. Leig leam mìneachadh, tha sinn a 'bruidhinn air a' chùis nuair a tha gnothaichean air an cuairteachadh timcheall air an obrachadh atamach gu lèir. Faodar an cleachdadh gu soirbheachail fhathast mar cho-phàirtean airson structaran dàta ioma-snàithleach. Mar eisimpleir, ma tha feum agad air CAS trì-fhacal, agus feumaidh tu trì rudan beaga a dhèanamh ann am meadhan algairim fìor ioma-shreath a bhios ag obair le fichead snàithlean aig an aon àm. San fharsaingeachd, faodaidh gnothaichean a bhith feumail, ach cha chuir iad às don fheum air structaran dàta ioma-snàthainn a dhealbhadh gu ceart. 

Cuimhne neo-luaineach, Optane DIMM, innealan ultra-luath.

Vitali: Is e an rud mu dheireadh a bu mhath leam bruidhinn mu dheidhinn cuspair an rannsachaidh gnàthach agad: cuimhne neo-luaineach. Dè as urrainn dhuinn a shùileachadh san raon seo a dh’ aithghearr? Is dòcha gu bheil fios agad air buileachadh èifeachdach sam bith a tha ann mar-thà? 

Mìcheal: Chan e eòlaiche bathar-cruaidh a th’ annam, chan eil fios agam ach na leugh mi anns na naidheachdan agus na tha mo cho-obraichean ag innse dhomh. Tha a h-uile duine mu thràth air cluinntinn gu bheil Intel a ’reic Optane DIMM, aig a bheil timcheall air 3 tursan nas fhaide na leughadh agus 10 tursan nas fhaide na an ìre sgrìobhaidh na RAM fiùghantach. Bidh iad rim faighinn a dh'aithghearr ann an dreachan glè mhòr. Tha e èibhinn a bhith a’ smaoineachadh gum faodadh laptop a bhith agad le grunn terabytes de RAM le seòladh byte. Tha e coltach gum bi sinn ann an 10 bliadhna co-dhùnadh an teicneòlas ùr seo a chleachdadh, leis gu bheil sinn a ’cleachdadh DRAM - dìreach meudaich an tomhas-lìonaidh. Ach le taing do neo-eisimeileachd lùtha, tha cothroman gu tur ùr a’ fosgladh dhuinn. Is urrainn dhuinn an stac stòraidh atharrachadh gu bunaiteach gus nach bi sgaradh eadar cuimhne obrach le seòladh byte agus cuimhne leantainneach le structar bloc. Mar sin, cha bhith feum againn air a h-uile càil a dh’ fheumar a ghluasad bho aon phrògram gu prògram eile gu faidhlichean le structar bloc. Bhon seo is urrainn dhuinn grunn phrionnsapalan cudromach a thoirt a-mach a bheir buaidh air siostaman obrachaidh, àrainneachdan ùine ruith, agus stòran dàta sgaoilte. Tha an raon seo glè inntinneach a bhith ag obair ann. Gu pearsanta, tha e duilich dhomh ro-innse dè a bheir seo uile gu buil, ach tha na duilgheadasan an seo gu math tarraingeach. Is dòcha gu bheil atharrachaidhean rèabhlaideach an seo, agus tha iad a’ leantainn gu nàdarrach bhon obair air ioma-snàithlean, leis gur e pròiseas “ioma-leughaidh” a th’ ann an ath-bheothachadh fàilligeadh ri taobh obrachadh àbhaisteach an t-siostaim. 

Is e an dàrna prìomh chuspair air a bheil mi ag obair an-dràsta a bhith a’ riaghladh innealan ultra-luath agus ruigsinneachd tèarainte gu innealan bhon àite luchd-cleachdaidh le smachd poileasaidh siostamach. Anns na bliadhnachan mu dheireadh, tha gluasad air a bhith ann gus ruigsinneachd air an inneal a ghluasad chun àite luchd-cleachdaidh. Tha seo air a dhèanamh leis nach urrainn don stac kernel TCP-IP obrachadh a bharrachd air eadar-aghaidh lìonra a dh’ fheumas pacaid ùr a h-uile 5 microseconds; dìreach cha chùm e suas. Mar sin, bidh luchd-saothrachaidh a ’toirt cothrom dìreach air innealan. Ach tha seo a 'ciallachadh gu bheil an siostam-obrachaidh a' call smachd air a 'phròiseas agus chan urrainn a thoirt seachad ceart cothrom air an inneal airson iarrtasan farpaiseach. Tha an sgioba rannsachaidh againn den bheachd gun gabh an gainnead seo a sheachnadh. Bidh artaigil againn mu dheidhinn seo aig USENIX ATC air a’ mhìos seo. Tha e co-cheangailte ri obair air leantalachd, leis gu bheil cuimhne leantainneach fad-beatha a ghabhas làimhseachadh byte, gu dearbh, na inneal le I / O ultra-luath a dh’ fheumar faighinn a-steach don àite luchd-cleachdaidh. Tha an rannsachadh seo a’ dèanamh dhòighean-obrach ùra comasach a thaobh microkernels, exokernels, agus oidhirpean traidiseanta eile gus gnìomhachd a ghluasad gu sàbhailte bho kernel an OS chun àite luchd-cleachdaidh. 

Владимир: Tha cuimhne le seòladh math math, ach tha cuingealachadh corporra ann - astar an t-solais. Tha seo a’ ciallachadh gu bheil e do-sheachanta gum bi dàil ann nuair a bhios tu ag eadar-obrachadh leis an inneal. 

Mìcheal: Gu tur ceart.

Владимир: Am bi comas gu leòr ann airson dèiligeadh ris na luchdan ùra?

Mìcheal: Is ceist òirdheirc so, ach bithidh i duilich dhomh a freagairt. Tha am beachd air giullachd mar chuimhneachan air a bhith timcheall airson ùine mhòr, tha e gu math inntinneach, ach cuideachd gu math toinnte. Chan eil mi air a bhith ag obair san raon seo, ach bhiodh e math nan deidheadh ​​​​lorgan a dhèanamh an sin. Tha eagal orm nach eil dad a bharrachd agam ri chur ris. 

Владимир: Tha aon duilgheadas eile ann. Bidh e do-dhèanta meudan ùra, gu math nas motha de RAM a chuir a-steach don CPU. Mar sin, air sgàth cuingealachaidhean corporra, feumaidh an RAM seo a bhith aonaranach. 

Mìcheal: Tha e uile an urra ris an àireamh de lochdan ann an cinneasachadh chuairtean amalaichte. Nam biodh e comasach wafers semiconductor a chruthachadh gu tur gun uireasbhaidhean, bhiodh e comasach microcircuit slàn a dhèanamh a-mach às. Ach a-nis chan eil fios againn ciamar a nì sinn microcircuits nas motha na stampaichean postachd. 

Владимир: Ach tha sinn fhathast a 'bruidhinn mu mheudan mòra, mu cheudameatairean. Tha seo do-sheachanta a’ toirt buaidh air latency. 

Mìcheal: Tha. Chan urrainn dhut dad a dhèanamh mu astar an t-solais. 

Владимир: Gu mì-fhortanach. 

An ath ghluasad mòr. Structar dàta dùbailte. Hydra.

Vitali: Cho fad 'sa tha mi a' tuigsinn, bidh thu a 'glacadh ghluasadan ùra gu math luath. Bha thu am measg a’ chiad fheadhainn a dh’ obair ann an cuimhne gnìomhachd, agus fear den chiad fheadhainn a dh’ obair ann an cuimhne neo-luaineach. Nad bheachd-sa, dè an ath ghluasad mòr a bhios ann? No 's dòcha gur e dìomhaireachd a th' ann?

Mìcheal: Leis an fhìrinn innse, chan eil fhios agam. Tha mi an dòchas gun urrainn dhomh mothachadh nuair a thig rudeigin ùr am bàrr. Chan eil mi air a bhith fortanach raon ùr sam bith a chruthachadh leam fhìn, ach tha mi air beagan fortan fhaighinn agus a bhith comasach air tòiseachadh ag obair gu math tràth ann an raointean ùra a chruthaich daoine eile. Tha mi an dòchas gun urrainn dhomh seo a dhèanamh san àm ri teachd.

Алексей: Bidh a’ cheist mu dheireadh san agallamh seo mu do choileanadh aig Hydra agus na gnìomhan agad san sgoil. Ma tha mi a 'tuigsinn gu ceart, bidh an aithisg aig an sgoil mu dheidhinn algorithms gun bhacadh, agus aig a' cho-labhairt mu structaran dàta dùbailte. Am b’ urrainn dhut beagan fhaclan a ràdh mu na h-aithisgean sin?

Mìcheal: Ann am pàirt, tha sinn mu thràth air bruidhinn riut mu na cuspairean sin san agallamh seo. Tha e mu dheidhinn an obair a rinn mi leis an oileanach agam Bill Scherer. Sgrìobh e tràchdas air, agus chuir Doug Lee ris cuideachd, agus mu dheireadh thàinig e gu bhith na phàirt de na ciudhaichean sioncronaich ioma-snàthainn ann an leabharlann Java. Gabhamaid ris gu bheil structar an dàta air a leughadh agus air a sgrìobhadh gun bhacadh, is e sin, tha àireamh chuingealaichte de stiùiridhean aig gach gnìomh air an t-slighe riatanach. Ma dh’ fheuchas tu ri dàta a thoirt air falbh à soitheach falamh, no ma dh’ fheuchas tu ri dàta sònraichte a thoirt air falbh nach eil san t-soitheach seo, thèid innse dhut sa bhad nach gabh seo a dhèanamh. Ach is dòcha nach gabhar ris a’ ghiùlan seo ma tha feum aig an t-snàthainn air an dàta seo. An uairsin is e a ’chiad rud a thig gu inntinn lùb a chruthachadh a bhios an-còmhnaidh a’ faighneachd a bheil an dàta riatanach air nochdadh. Ach an uairsin tha bacadh air a h-uile duine eile. A bharrachd air an sin, leis an dòigh-obrach seo, faodaidh tu feitheamh 10 mionaidean, agus an uairsin thig snàithlean eile, agus gun fhiosta gheibh e an dàta riatanach an toiseach. Chan eil glasan fhathast aig structaran dàta dùbailte, ach leigidh iad le snàithleanan feitheamh ceart. Tha am facal "dùbailte" a 'ciallachadh gu bheil dàta no iarrtasan airson dàta anns an structar, canaidh sinn anti-data riutha. Mar sin ma dh’ fheuchas tu ri rudeigin fhaighinn air ais bho shoitheach falamh, thèid iarrtas a chuir a-steach don ghobhar na àite. A-nis faodaidh an t-snàthainn feitheamh ri iarrtas gun a bhith a 'cur dragh air duine sam bith eile. A bharrachd air an sin, tha an structar dàta a’ sònrachadh phrìomhachasan do dh’ iarrtasan gus am bi e gan toirt don neach cheart nuair a gheibhear iad. Is e an toradh seo inneal neo-glasaidh aig a bheil sònrachadh foirmeil fhathast agus deagh choileanadh ann an cleachdadh. 

Алексей: Dè na tha thu a’ sùileachadh bhon structar dàta seo? An leasaich e coileanadh anns a h-uile cùis chumanta, no a bheil e nas freagarraiche airson suidheachaidhean sònraichte? 

Mìcheal: Tha e feumail ma tha, an toiseach, feumaidh tu soitheach gun ghlasadh, agus, san dàrna àite, feumaidh tu feitheamh ann an suidheachadh far am feum thu dàta fhaighinn air ais bhon ghobhar nach eil ann. Cho fad ‘s as aithne dhomh, tha am frèam againn a’ toirt seachad an giùlan as fheàrr nuair a thèid an dà shuidheachadh seo a choileanadh. Mar sin, anns na cùisean sin tha mi a 'moladh a chleachdadh. Is e prìomh bhuannachd structaran dàta gun ghlas gu bheil iad a’ seachnadh duilgheadasan coileanaidh. Agus tha feitheamh glè chudromach ann an iomadh algorithm ma thèid dàta a ghluasad bho aon snàithlean gu fear eile.

Vitali: Leig dhomh soilleireachadh: am bruidhinn thu mun aon rud an dà chuid san sgoil agus aig a’ cho-labhairt?

Mìcheal: Aig Sgoil labhraidh mi san fharsaingeachd mu structaran dàta ioma-snàthainn, leis na prionnsapalan bunaiteach air am mìneachadh aig toiseach an leasain. Tha mi a’ gabhail ris gu bheil fios aig an luchd-èisteachd dè a th’ ann an snàithleanan agus gu bheil iad eòlach air glasan. Stèidhichte air an eòlas bunaiteach seo, bruidhnidh mi mu structaran dàta gun ghlas. Bheir mi sealladh farsaing air na duilgheadasan as cudromaiche san raon seo, a’ suathadh air cuspairean leithid riaghladh cuimhne. Chan eil mi a’ smaoineachadh gum bi dad nas toinnte na ciudha MS.

Алексей: A bheil thu an dùil teagasg mu structaran dàta dùbailte aig deireadh do chlas san sgoil?

Mìcheal: Bheir mi iomradh orra, ach cha chaith mi mòran ùine orra. Thèid aithisg Hydra a choisrigeadh dhaibh. Còmhdaichidh e am pròiseact a thug a-steach do Java mu dheireadh, a bharrachd air a bhith ag obair còmhla ri Joe Israelevich gus tionndadh dùbailte den ciudha LCRQ a chruthachadh, agus a’ cruthachadh dealbhadh cha mhòr uile-choitcheann airson structaran dàta dùbailte.

Алексей: Mar sin faodar an òraid san sgoil a mholadh do luchd-tòiseachaidh, agus an òraid air structaran dàta dùbailte air Hydra - airson daoine aig a bheil beagan eòlais mu thràth?

Mìcheal: Ceartaich mi ma tha mi ceàrr, ach bidh an luchd-èisteachd aig Hydra gu math eadar-mheasgte, a 'gabhail a-steach mòran eòlaichean Java, agus san fharsaingeachd daoine nach eil gu sònraichte an sàs ann am prògramadh ioma-snàithleach. 

Vitali: Tha, tha e fìor.

Алексей: Co-dhiù tha sinn an dòchas gu bheil.

Mìcheal: Anns a 'chùis seo, bidh mi a' cur aghaidh ris an aon dhuilgheadas leis an do thòisich sinn air an agallamh seo: mar a nì thu aithisg an dà chuid beairteach gu leòr ann am mion-fhiosrachadh teicnigeach agus ruigsinneach don h-uile neach-èisteachd.

Vitali: An toir thu seachad aithisg san aon dòigh sa bheir thu seachad òraidean? Is e sin, bruidhinn ris an luchd-èisteachd agus atharraich an suidheachadh?

Mìcheal: Tha eagal orm nach obraich e a-mach mar sin, oir bidh sleamhnagan san aithisg. Tha sleamhnagan cudromach nuair a bhios luchd-èisteachd a’ bruidhinn diofar chànanan an toiseach. Bidh e doirbh do mhòran dhaoine mo thuigsinn sa Bheurla, gu h-àraidh ma bhruidhneas mi ro luath. Thagh mi na cuspairean seo oir Peadar Kuznetsov dh’ iarr mi orm bruidhinn mu structaran dàta gun ghlas aig Sgoil SPTDC; agus an uairsin bha feum agam air aithisg airson co-labhairt buidheann luchd-cleachdaidh Java, agus bha mi airson rudeigin a thaghadh a bhiodh inntinneach gu sònraichte do phrògraman Java. B’ e an dòigh as fhasa bruidhinn mu na rudan sin ann an leabharlann Java a bha làmh agam ann an dòigh air choireigin. 

Алексей: Tha sinn a’ gabhail ris gu bheil eòlas aig an luchd-èisteachd air Hydra mu thràth air prògraman gun ghlas agus is dòcha gu bheil beagan eòlais aca san raon seo. Ach chan eil an seo ach barail; fàsaidh an suidheachadh nas soilleire aig a’ cho-labhairt fhèin. Co-dhiù, tapadh leat airson an ùine agad. Tha mi cinnteach gum bi an t-agallamh gu math inntinneach dha ar luchd-leughaidh. Taing mhòr!

Vitali: Tapadh leat. 

Mìcheal: Bidh mi toilichte coinneachadh riut ann an St Petersburg. 

Алексей: Tha sinne cuideachd, tha baile mòr brèagha againn. An robh thu riamh an seo?

Mìcheal: Chan e, cha robh mi a-riamh anns an Ruis idir. Ach bha St Petersburg a-riamh air liosta nan àiteachan far nach robh mi fhathast, ach far a bheil mi dha-rìribh ag iarraidh a dhol, agus mar sin bha mi glè thoilichte leis a’ chuireadh. 

Алексей: Co-dhiù, bidh prògram de thursan againn airson luchd-labhairt. Tapadh leibh gu mòr airson an agallamh, agus latha math a bhith agad!

Faodaidh tu leantainn air adhart leis a’ chòmhradh agad le Mìcheal aig co-labhairt Hydra 2019, a thèid a chumail air 11-12 Iuchar, 2019 ann an St. Thig e le aithris "Structaran dàta dùbailte". Faodar tiogaidean a cheannach air an làrach-lìn oifigeil.

Source: www.habr.com

Cuir beachd ann