- bħala professur tax-Xjenza tal-Kompjuter fl-Università ta’ Rochester, u fl-Università ta’ daru ta’ Wisconsin–Madison kien dekan għal ħames snin. Huwa jirriċerka u jgħallem lill-istudenti dwar programmazzjoni parallela u distribwita u disinn tal-lingwa.
Id-dinja taf lil Michael mill-ktieb tat-test , xi ngħidu dwar ix-xogħol irċieva l-Premju Dijkstra bħala wieħed mill-aktar famużi fil-qasam tal-kompjuters distribwit. Tista 'wkoll taf lilu bħala l-awtur ta' dak l-algoritmu stess .
Flimkien ma' Doug Lee, huwa żviluppa l-algoritmi li ma jimblukkawx u l-kjuwijiet sinkroniċi li jħaddmu l-libreriji Java. Implimentazzjoni f'JavaSE 6 tejbet il-prestazzjoni b'10 darbiet ThreadPoolExecutor.
Kontenut:
- Karriera bikrija, Università ta 'Rochester. Proġett Charlotte, lingwa Lynx;
- Interface Koerenti Skalabbli IEEE, qfil MCS;
- Sopravivenza f'dinja li dejjem tinbidel;
- L-istudenti qed isiru aktar stupidi? Xejriet globali, internazzjonalizzazzjoni;
- Xogħol effettiv mal-istudenti;
- Kif tlaħħaq mal-preparazzjoni ta’ korsijiet u kotba ġodda;
- Rabtiet bejn in-negozju u l-akkademja;
- Implimentazzjoni prattika ta 'ideat. MCS, MS, CLH, JSR 166, jaħdmu ma' Doug Lee u aktar;
- Memorja transazzjonali;
- Arkitetturi ġodda. Ir-rebħa tal-memorja transazzjonali hija qrib;
- Memorja mhux volatili, Optane DIMM, apparat ultra-veloċi;
- It-tendenza kbira li jmiss. Strutturi tad-dejta doppji. Idra.
L-intervisti jsiru minn:
Vitaly Aksenov — bħalissa postdottorat fl-IST Austria u membru tad-Dipartiment tat-Teknoloġiji tal-Kompjuter fl-Università ITMO. Twettaq riċerka fil-qasam tat-teorija u l-prattika ta 'strutturi tad-dejta kompetittivi. Qabel ma ħadem fl-IST, huwa rċieva l-PhD tiegħu mill-Università ta 'Pariġi Diderot u l-Università ITMO taħt is-superviżjoni tal-Professur Peter Kuznetsov.
Alexey Fedorov huwa produttur f'JUG Ru Group, kumpanija Russa li torganizza konferenzi għall-iżviluppaturi. Alexey ipparteċipa fil-preparazzjoni ta 'aktar minn 50 konferenza, u l-reterume tiegħu fih kollox mill-pożizzjoni ta' inġinier tal-iżvilupp f'Oracle (JCK, Java Platform Group) sal-pożizzjoni ta 'żviluppatur f'Odnoklassniki.
Vladimir Sitnikov huwa inġinier f'Netcracker. Għal għaxar snin ilu jaħdem fuq il-prestazzjoni u l-iskalabbiltà ta 'NetCracker OS, softwer użat mill-operaturi tat-telekomunikazzjoni biex awtomatizzat il-proċessi ta' ġestjoni tan-netwerk u t-tagħmir tan-netwerk. Interessat fi kwistjonijiet ta' prestazzjoni ta' Java u Oracle Database. Awtur ta 'aktar minn tużżana titjib fil-prestazzjoni fis-sewwieq uffiċjali PostgreSQL JDBC.
Karriera bikrija, Università ta 'Rochester. Proġett Charlotte, lingwa Lynx.
Алексей: Biex nibda, ridt ngħidilkom li fir-Russja lkoll inħobbu tassew ix-Xjenza tal-Kompjuter, ix-Xjenza tad-Data u l-algoritmi. Huwa detta oxxen. Qrajna kollox . Għalhekk, il-konferenza li jmiss, l-iskola u din l-intervista nnifisha għandhom ikunu popolari ħafna. Irċevejna ħafna mistoqsijiet għal din l-intervista minn studenti, programmaturi, u membri tal-komunità, għalhekk aħna grati ħafna għal din l-opportunità. Ix-Xjenza tal-Kompjuter tikseb l-istess imħabba fl-Istati Uniti?
Michael: Il-qasam tagħna huwa tant divers, għandu tant direzzjonijiet, u jaffettwa s-soċjetà b'ħafna modi differenti li huwa diffiċli għalija li nagħtikom tweġiba definittiva. Iżda l-fatt hu li wassal għal bidliet tremendi fin-negozju, l-industrija, l-arti u s-soċjetà b’mod ġenerali matul l-aħħar 30 sena.
Виталий: Nibdew b'xi ħaġa 'l bogħod. F'ħafna universitajiet hemm xi ħaġa bħal speċjalizzazzjoni f'qasam partikolari wieħed. Għall-Università Carnegie Mellon dan huwa kompjuters paralleli, għall-MIT huwa kriptografija, robots u multithreading. Hemm speċjalizzazzjoni bħal din fl-Università ta 'Rochester?
Michael: Biex inkun onest, ngħid li CMU u MIT jispeċjalizzaw fl-oqsma kollha. Id-dipartiment tagħna dejjem ta l-aktar attenzjoni lill-intelliġenza artifiċjali. Nofs in-nies li jaħdmu għalina huma involuti fl-IA jew l-interazzjoni bejn il-bniedem u l-kompjuter - dan is-sehem huwa ogħla milli f'dipartimenti oħra, u dejjem kien hekk. Imma meta kont l-università, ma kelli l-ebda korsijiet fl-AI, u qatt ma ħdimt f'dan il-qasam. Allura d-dipartiment tiegħi jispeċjalizza fi problema li m’għandi x’taqsam xejn magħha. Il-konsolazzjoni hija li t-tieni l-aktar problema importanti għad-dipartiment tagħna hija l-ipprogrammar parallel u multi-threaded, jiġifieri, l-ispeċjalizzazzjoni tiegħi.
Виталий: Bdejt taħdem fix-Xjenza tal-Kompjuter meta l-qasam tal-programmazzjoni multi-threaded kien għadu qed jitfaċċa. Il-lista tal-pubblikazzjonijiet tiegħek turi li l-ewwel xogħlijiet tiegħek ttrattaw firxa pjuttost wiesgħa ta’ kwistjonijiet: ġestjoni tal-memorja f’sistemi multi-threaded, sistemi ta’ fajls distribwiti, sistemi operattivi. Għaliex versatilità bħal din? Kont qed tipprova ssib postek fil-komunità tar-riċerka?
Michael: Bħala student, ipparteċipajt fi fl-Università ta’ Wisconsin, fejn ġiet żviluppata waħda mill-ewwel sistemi operattivi distribwiti. Hemm ħdimt flimkien ma' Rafael Finkel () u Marvin Solomon (). Id-dissertazzjoni tiegħi kienet iddedikata għall-iżvilupp ta' lingwa għal softwer ta' sistema għal sistemi distribwiti - issa kulħadd nesa dwarha, u ħajr lil Alla. Ħloqt il-lingwa ta 'programmar Lynx, li kienet maħsuba biex tagħmilha aktar faċli biex jinħolqu servers għal sistema operattiva mqassma akkoppjata b'mod laxk. Peress li dak iż-żmien kont involut prinċipalment fis-sistemi operattivi, assumejt li l-karriera tiegħi kienet se tkun prinċipalment konnessa magħhom. Iżda Rochester kienet università żgħira ħafna, u minħabba dan, il-gruppi differenti hemmhekk interazzjoni mill-qrib ħafna ma 'xulxin. Ma kienx hemm tużżana nies oħra tas-sistemi operattivi hemmhekk biex nitkellem magħhom, għalhekk il-kuntatti kollha tiegħi kienu ma 'nies li ħadmu f'oqsma kompletament differenti. Ħadt gost ħafna, li nkun ta' kulħadd huwa vantaġġ kbir għalija. Jekk nitkellmu speċifikament dwar strutturi ta 'dejta multi-threaded u algoritmi ta' sinkronizzazzjoni, allura bdejt naħdem fuqhom kompletament b'inċident.
Interface Koerenti Skalabbli IEEE, qfil MCS.
Виталий: Tista' tgħidli ftit aktar dwar dan?
Michael: Din hija storja umoristiċi li qatt ma niddejjaq ngħid lil kulħadd. Dan ġara waqt konferenza f'Boston - dan kien fl-aħħar tas-snin 80 jew kmieni fis-snin 90. John Mellor-Crummey (), gradwat tal-fakultà tagħna. Kont naf lilu, imma ma konna ma għamilniex riċerka konġunta qabel. Mary Vernon () minn Wisconsin taw taħdita dwar sistema multiprocessor li kienu qed jiżviluppaw f’Wisconsin: . Dan il-Multicube kellu mekkaniżmu ta 'sinkronizzazzjoni fil-livell tal-ħardwer imsejjaħ il-Q on Sync Bit, u aktar tard ingħata l-isem mill-ġdid tal-Q on Lock Bit minħabba li tinstema bħal ġobon Colby, li kien pun. Jekk int interessat f'mekkaniżmi multithreading, inti probabilment taf li Colby eventwalment saret il-magna ta 'sinkronizzazzjoni għall-istandard IEEE Scalable Coerent Interface. Dan kien mekkaniżmu ta 'qfil li ħoloq pointers minn cache għal ieħor fil-livell tal-ħardwer sabiex kull detentur ta' serratura jkun jaf lil min kien imiss. Meta jien u John smajna dwar dan, ħaresna lejn xulxin u għedna: għaliex nagħmlu dan fil-livell tal-ħardwer? Ma tistax tinkiseb l-istess ħaġa bl-użu ta' compare-and-swap? Ħadna wieħed min-notebooks mimdudin fil-klassi u tħarrab fuqha , filwaqt li Marija kompliet ir-rapport tagħha. Sussegwentement, implimentajnaha, esperimentajna, l-idea rriżulta li kienet ta 'suċċess, u ppubblikajna l-artiklu. Dak iż-żmien, għalija, dan is-suġġett deher biss distrazzjoni divertenti, u wara ppjanajt li nerġa' lura għas-sistemi operattivi. Iżda mbagħad qamet problema oħra fuq l-istess linji, u eventwalment is-sinkronizzazzjoni, il-multithreading, u l-istrutturi tad-dejta saru l-ispeċjalità tiegħi. Kif tistgħu taraw, dan kollu ġara b’inċident.
Виталий: Ilni familjari mal-imblukkar tal-MCS għal żmien twil, iżda sa issa ma kontx naf li kien ix-xogħol tiegħek, u ma fhimtx li kien akronimu għall-kunjom tiegħek.
Kif tgħix f'dinja li dejjem tinbidel?
Алексей: Għandi mistoqsija dwar suġġett relatat. 30 jew 40 sena ilu kien hemm aktar libertà fi speċjalitajiet differenti. Jekk trid tibda karriera f'sistemi multithreading jew distribwiti, int merħba, jekk trid tidħol fis-sistemi operattivi, l-ebda problema. F'kull qasam kien hemm ħafna mistoqsijiet miftuħa u ftit esperti. Issa ħarġu speċjalizzazzjonijiet dojoq: m'hemmx biss esperti dwar is-sistemi operattivi b'mod ġenerali, hemm speċjalisti fuq sistemi individwali. Huwa l-istess b'sistemi multithreading u distribwiti. Imma l-problema hi li ħajjitna mhix bla tmiem kulħadd jista’ jiddedika biss ftit għexieren ta’ snin għar-riċerka. Kif tgħix f'din id-dinja l-ġdida?
Michael: M'aħniex speċjali f'dan ir-rigward l-istess ħaġa ġara darba f'oqsma oħra. Kelli xortik tajba li bdejt naħdem fix-Xjenza tal-Kompjuter meta l-qasam kien fis-snin "adoloxxenti". Xi pedamenti kienu diġà tqiegħdu, iżda kollox kien għadu immatur ħafna. Din l-opportunità ma tiġix spiss. L-inġinerija elettrika ilha għal żmien twil ħafna, il-fiżika saħansitra itwal, il-matematika kważi mill-bidu taż-żmien. Iżda dan ma jfissirx li ħadd mhu qed jagħmel aktar skoperti interessanti fil-matematika. Għad hemm ħafna problemi miftuħa, iżda fl-istess ħin, jeħtieġ li titgħallem aktar. Għandek raġun tinnota li issa hemm ħafna aktar speċjalizzazzjonijiet milli kien hemm qabel, iżda dan ifisser biss li nsibu ruħna fl-istess sitwazzjoni bħall-biċċa l-kbira tal-oqsma l-oħra tal-attività umana.
Алексей: Jiena interessat fl-aspett aktar prattiku tal-kwistjoni hawn. Għandi sfond fil-matematika, u matul l-istudji tiegħi spiss attendejt konferenzi u ħdimt fuq diversi suġġetti xjentifiċi. Skoprejt li ħadd mill-udjenza ma fehem ir-rapporti tiegħi, u bl-istess mod, ir-rapporti ta 'nies oħra kienu jinftiehmu għalihom infushom biss. Dan mhux il-każ f’suġġetti ta’ livell għoli, imma hekk kif tibda tidħol f’xi ħaġa, l-udjenza ma tistax tibqa’ tlaħħaq miegħek. Kif tittratta dan?
Michael: Mhux dejjem suċċess. Dan l-aħħar ħejjejt rapport li fih dħalt wisq fid-dettalji tekniċi. Hekk kif it-taħdita kompliet, deher ċar li l-biċċa l-kbira tal-udjenza ma fehimni, għalhekk kelli naddatta ruħi għas-sitwazzjoni fuq il-fly. Il-pjastri ma setgħux jinbidlu, u għalhekk ma ħarġux tajjeb ħafna - għalhekk, b'mod ġenerali, nipprova ma nużax slides. B'mod ġenerali, il-parir tiegħi huwa li tikkunsidra l-udjenza tiegħek. Trid tkun taf ma' min qed titkellem, x'inhu l-livell ta' għarfien tagħhom, u x'jeħtieġ li jisimgħu biex japprezzaw ix-xogħol tiegħek.
Виталий: Tista’ tagħtina ħjiel dwar xiex kienet din il-lectura?
Michael: Biex inkun onest, nippreferi ma nespandix fuq dan is-suġġett sabiex inħallu l-persuni in kwistjoni anonimi. Il-punt hu li ħafna drabi nidħlu wisq fil-kumpless tal-problema li qed naħdmu fuqha, għalhekk isir diffiċli għalina li nispjegaw fil-bidu tat-taħdita għaliex il-problema hija interessanti u importanti u kif tirrelata ma’ kwistjonijiet li l- udjenza diġà taf. Skont l-osservazzjonijiet tiegħi, l-istudenti għandhom l-agħar ħin biex jitgħallmu din il-ħila. U dan kien ukoll il-punt dgħajjef tar-rapport riċenti tiegħi. Rapport strutturat sew għandu, mill-bidu nett, isib kuntatt mal-udjenza, jispjegalhom x'inhi eżattament il-problema u kif tirrelata ma' suġġetti diġà magħrufa għaliha. Kemm hi teknika din l-introduzzjoni jiddependi fuq l-udjenza. Jekk huwa kompletament differenti, allura r-rapport jista 'jkun f'diversi stadji. L-introduzzjoni għandha tkun aċċessibbli għal kulħadd, u sa l-aħħar il-biċċa tista 'ma tkunx kapaċi tlaħħaq miegħek, iżda nies relattivament familjari mal-qasam tiegħek se jkunu jistgħu jifhmuha.
L-istudenti qed isiru aktar stupidi? Xejriet globali, internazzjonalizzazzjoni.
Алексей: Ilek tosserva l-istudenti għal diversi deċennji. L-istudenti qed isiru aktar stupidi jew aktar intelliġenti minn għaxar snin għal għaxar snin jew minn sena għal oħra? Fir-Russja, il-professuri kontinwament jilmentaw li l-istudenti qed isiru aktar stupidi kull sena, u verament mhux ċar x'għandhom jagħmlu dwar dan.
Michael: Tista 'verament tisma' ħafna negattività mingħandna l-anzjani. Subkonxjament, għandna t-tendenza li nistennew li l-istudenti jassorbu t-30 sena ta’ esperjenza kollha li diġà għandna. Jekk għandi fehim aktar profond milli kelli fl-1985, għaliex l-istudenti m'għandhomx? Probabbilment għax għandhom 20 sena, x'taħseb? Naħseb li l-aktar bidliet sinifikanti fl-aħħar deċennji kienu fil-kompożizzjoni demografika: issa għandna ħafna aktar studenti internazzjonali, bl-eċċezzjoni tal-Kanadiżi. Kien hemm ħafna Kanadiżi għax aħna qrib ħafna tal-fruntiera Kanadiża u studenti minn hemm jistgħu jivvjaġġaw lejn id-dar fi tmiem il-ġimgħa. Imma issa hemm ħafna universitajiet tajbin fil-Kanada, u l-Kanadiżi jippreferu jistudjaw hawn ħafna inqas minnhom jiġu l-Istati Uniti.
Алексей: Taħseb li din hija xejra lokali jew waħda globali?
Michael: Ma niftakarx eżatt min, imma xi ħadd qal li d-dinja hija ċatta. Il-qasam tagħna sar ħafna aktar internazzjonali. Preċedentement, kienu miżmuma esklussivament fl-Istati Uniti, imbagħad iddeċidew li jżommuhom darba kull 4 snin f'pajjiżi oħra, u issa huma miżmuma madwar id-dinja kollha. Dawn il-bidliet affettwaw saħansitra aktar , peress li dejjem kienet organizzazzjoni aktar internazzjonali minn ACM. U hemm siġġijiet tal-programmi miċ-Ċina, l-Indja, ir-Russja, il-Ġermanja u ħafna pajjiżi oħra, għax issa għaddej ħafna kullimkien.
Алексей: Imma, probabbilment, hemm xi aspetti negattivi ta 'internazzjonalizzazzjoni bħal din?
Michael: Jien ngħid li l-aspetti negattivi kollha jirrelataw mhux mat-teknoloġija, iżda mal-politika. Darba, il-problema ewlenija kienet il-fatt li l-Istati Uniti kienet qed tisraq lill-aktar nies intelliġenti u b’talent minn pajjiżi madwar id-dinja. U issa l-problema ewlenija hija l-logħob politiku bejn pajjiżi differenti madwar il-viżi u l-immigrazzjoni.
Алексей: Jiġifieri, ostakli u affarijiet bħal dawn. Huwa ċar.
Vladimir: Personalment, jien interessat f'liema approċċ tieħu meta tgħallem suġġett ġdid lill-istudenti. Hemm għażliet differenti: tista 'tipprova l-ewwelnett tispirahom biex jippruvaw xi ħaġa ġdida, jew tista' tagħti aktar attenzjoni lid-dettalji ta 'kif taħdem ċerta teknoloġija. X'tippreferi?
Xogħol effettiv mal-istudenti
Алексей: U kif issib il-bilanċ kkritikat bejn l-ewwel u t-tieni?
Michael: Il-problema hija li l-klassijiet mhux dejjem imorru kif nixtieq. Ġeneralment nagħti lill-istudenti materjal tal-qari bil-quddiem sabiex dawn jidħlu fih, jifhmuh mill-aħjar li jistgħu, u jifformulaw mistoqsijiet dwar dawk il-partijiet li ma setgħux jifhmu. Imbagħad fil-klassi tista’ tiffoka fuq l-aktar mumenti diffiċli u tesplorahom flimkien. Hekk inħobb l-aktar ngħallem il-klassijiet. Iżda minħabba t-tagħbija li issa tinsab fuq l-istudenti, mhux dejjem inkun kapaċi nassigura li jippreparaw minn qabel. Bħala riżultat, trid tiddedika ħafna aktar ħin għar-relling ġenerali tal-materjal milli tixtieq. Minkejja dan, nipprova nżomm il-klassijiet tagħna interattivi. Inkella, huwa aktar faċli li tirrekordja vidjo ladarba l-istudenti jistgħu mbagħad jaraw id-dar. Il-punt tal-klassijiet ħajjin huwa l-interazzjoni umana. Fil-klassi, nippreferi nuża ġibs u blackboard aktar milli slides, ħlief f'ċerti każijiet meta dijagramma tkun kumplessa wisq biex turi fuq il-bord. Grazzi għal dan, m'għandix għalfejn inżomm ma' pjan ta' lezzjoni riġidu. Peress li m'hemm l-ebda ordni stretta li fiha nagħti l-materjal, jippermettili nagħmel apposta għall-udjenza skont il-mistoqsijiet li nirċievi. B’mod ġenerali, nipprova nagħmel il-klassijiet interattivi kemm jista’ jkun, sabiex il-materjal li nippreżenta jiddependi fuq il-mistoqsijiet li jsiruli.
Vladimir: Huwa kbir. Fl-esperjenza tiegħi, huwa pjuttost diffiċli li ġġib lis-semmiegħa jistaqsu mistoqsijiet. Anke jekk tistaqsi bil-quddiem biex tistaqsi xi mistoqsijiet, tkun kemm tkun stupida jew intelliġenti, huma xorta siekta. Kif tittratta dan?
Michael: Tidħaq, imma jekk toqgħod fis-skiet twil biżżejjed, illum jew għada kulħadd isir skomdu u xi ħadd jistaqsi mistoqsija. Jew tista' tistaqsi mistoqsija teknika sempliċi bi tweġiba iva jew le biex tiddetermina jekk in-nies jifhmux dak li għadu kemm intqal. Pereżempju, hemm tellieqa tad-dejta fl-eżempju t'hawn fuq? Min jaħseb hekk? Min jaħseb li le? Min ma jifhem xejn, għax b’kollox nofs l-idejn biss telgħu?
Виталий: U jekk weġibt ħażin, titkeċċa mill-klassi :)
Michael: Jekk ma weġibt xejn, allura għandek tistaqsi mistoqsija. Għandi bżonn nifhem eżattament x'għandu jkun jaf l-istudent biex iwieġeb il-mistoqsija li għadni kif staqsejt. Għandi bżonnhom jgħinuni ngħinhom. Jien lest li naddattahom biex jifhmu l-problema. Imma jekk ma nafx x’qed jiġri f’rashom, ma nistax nagħmel dan. U jekk ma tagħtix il-paċi lill-istudenti għal żmien twil biżżejjed, xi drabi fl-aħħar mill-aħħar jagħmlu l-mistoqsijiet it-tajba, jiġifieri dawk li jippermettuli nara x’inhu jiġri eżatt f’ras l-istudenti.
Алексей: Dawn il-mistoqsijiet kultant iwasslu għal ideat li int stess ma kontx ħsibt għalihom qabel? Huma mhux mistennija? Ippermettulek tħares lejn problema f'dawl ġdid?
Michael: Hemm mistoqsijiet li jiftħu mod ġdid ta’ kif jiġi ppreżentat il-materjal. Ħafna drabi jkun hemm mistoqsijiet li jwasslu għal problemi interessanti li ma ppjanajtx li nitkellem dwarhom. L-istudenti spiss jgħiduli li għandi tendenza li noqgħod barra mis-suġġett meta jiġri dan. U, skonthom, ħafna drabi din hija l-aktar parti interessanti tal-lezzjoni. Rari ħafna, ftit drabi biss, studenti staqsew mistoqsijiet li qanqlu direzzjoni ġdida fir-riċerka u kibru f'artiklu. Dan jiġri ħafna aktar spiss f'konversazzjonijiet mal-istudenti aktar milli waqt il-klassijiet, iżda kultant ġara waqt il-klassijiet.
Алексей: Allura l-istudenti staqsewkom mistoqsijiet li fuq il-bażi tagħhom kien imbagħad possibbli li tippubblika artiklu?
Michael: Iva.
Виталий: Kemm-il darba jkollok dawn il-konversazzjonijiet mal-istudenti? Meta jridu jitgħallmu aktar minn dak li kien kopert matul il-lezzjoni?
Michael: Mal-istudenti gradwati tiegħi - il-ħin kollu. Għandi madwar 5 jew 6 minnhom, u niddiskutu xi ħaġa magħhom il-ħin kollu. U konversazzjonijiet ta’ dan it-tip ma’ studenti li sempliċement jattendu l-klassijiet tiegħi mhumiex komuni ħafna. Għalkemm nixtieq li dan iseħħ aktar spiss. Nissuspetta li huma sempliċement jibżgħu jiġu l-fakultà fil-ħinijiet tal-uffiċċju. Kull semestru, xi studenti jirnexxielhom jegħlbu dan l-ostaklu psikoloġiku, u huwa dejjem interessanti ħafna li titkellem magħhom wara l-klassi. Veru, kieku l-istudenti kollha kienu daqstant kuraġġużi, sempliċement ma jkollix biżżejjed ħin. Allura forsi kollox qed jaħdem kif suppost.
Виталий: Kif tirnexxilek issib ħin biex tikkomunika mal-istudenti? Sa fejn naf jien, fl-Istati Uniti l-għalliema għandhom ħafna xogħol - japplikaw għal għotjiet u affarijiet simili.
Michael: Onestament, ix-xogħol mal-istudenti huwa l-aspett tax-xogħol tiegħi li nieħu gost l-aktar. Għalhekk għandi biżżejjed motivazzjoni għal dan. Ħafna mill-ħin li nqatta’ fl-uffiċċju tiegħi jintefaq fuq laqgħat ta’ kull tip. Issa wasal is-sajf, allura l-iskeda tiegħi hija inqas mimlija, imma matul is-sena skolastika, kuljum mid-9 sas-17 għandi kollox ippakkjat. Xogħol ta’ riċerka, reviżjonijiet, għotjiet - għal dan kollu hemm biss filgħaxija u tmiem il-ġimgħa.
Kif tlaħħaq mal-preparazzjoni ta’ korsijiet u kotba ġodda.
Алексей: Bħalissa qed tkompli tgħallem xi korsijiet li ilek tgħallem għal żmien twil? Xi ħaġa bħal introduzzjoni għax-Xjenza tal-Kompjuter.
Michael: L-ewwel ħaġa li tiġi f'moħħna hawnhekk huwa kors fil-lingwi tal-ipprogrammar.
Алексей: Kemm hi differenti l-verżjoni tal-lum ta’ dan il-kors minn dak li kien 10, 20, 30 sena ilu? Forsi dak li huwa aktar interessanti hawnhekk mhumiex id-dettalji ta 'kors partikolari, iżda x-xejriet ġenerali.
Michael: Il-kors tiegħi dwar il-lingwi tal-ipprogrammar kien kemmxejn mhux tas-soltu fiż-żmien li ħloqtha. Bdejt naqrah lejn l-aħħar tas-snin tmenin, billi ħa post il-kollega tiegħi, Doug Baldwin (). Is-suġġett tal-kors kien relatat b’mod tanġenzjali biss mal-ispeċjalità tiegħi, iżda meta telaq, kont l-aħjar kandidat biex ngħallem il-kors. Ma għoġobni l-ebda kotba li kienu jeżistu dak iż-żmien, għalhekk spiċċajt nikteb il-ktieb ta’ dan il-kors jien. (Nota tal-editur: qed nitkellmu dwar il-ktieb) Issa jintuża f'aktar minn 200 università madwar id-dinja. L-approċċ tiegħi huwa mhux tas-soltu peress li jħallat deliberatament il-problemi tad-disinn u l-implimentazzjoni tal-lingwa, u jagħti attenzjoni kbira lill-interazzjoni bejn dawn l-aspetti fl-oqsma kollha possibbli. L-approċċ bażiku baqa' ma nbidilx, kif għamlu ħafna kunċetti bażiċi: astrazzjonijiet, spazji tal-isem, modularità, tipi. Iżda s-sett ta 'lingwi li bihom jintwerew dawn il-kunċetti nbidel għal kollox. Meta nħoloq il-kors għall-ewwel darba, kien hemm ħafna eżempji f’Pascal, iżda llum ħafna mill-istudenti tiegħi lanqas biss semgħu b’din il-lingwa. Imma jafu Swift, Go, Rust, għalhekk irrid nitkellem dwar il-lingwi li qed jintużaw illum. Barra minn hekk, l-istudenti issa huma kapaċi sew fil-lingwi tal-kitba, iżda meta bdejt ngħallem dan il-kors, kien kollu dwar lingwi kkompilati. Issa neħtieġu ħafna materjal dwar Python, Ruby u anke Perl, għaliex dan huwa dak li jinkiteb il-kodiċi f'dawn il-jiem, u hemm ħafna affarijiet interessanti li qed jiġru f'dawn il-lingwi, inkluż fil-qasam tad-disinn tal-lingwa.
Виталий: Imbagħad il-mistoqsija li jmiss tiegħi tkun relatata ma' dik ta' qabel. Kif tlaħħaq f'dan il-qasam? Nissuspetta li l-aġġornament ta' kors bħal dan jeħtieġ ħafna xogħol - trid tifhem lingwi ġodda, tifhem l-ideat ewlenin. Kif tagħmel dan?
Michael: Ma nistax niftaħar li dejjem nirnexxi 100%. Imma l-biċċa l-kbira tal-ħin nagħmel biss dak li jagħmel kulħadd - aqra l-Internet. Jekk irrid nifhem Rust, jien Google, mur fil-paġna Mozilla u aqra l-manwal stazzjonati hemmhekk. Dan huwa parti mill-affarijiet li jiġru fl-iżvilupp kummerċjali. Jekk nitkellmu dwar ix-xjenza, allura trid issegwi r-rapporti fil-konferenzi ewlenin.
Rabta bejn in-negozju u l-akkademja
Виталий: Ejja nitkellmu dwar il-konnessjoni bejn in-negozju u r-riċerka xjentifika. Fil-lista ta 'xogħlijiet tiegħek, sibt diversi artikoli dwar il-koerenza tal-cache. Nifhem li l-algoritmi tal-konsistenza tal-cache kienu instabbli fiż-żmien li ġew ippubblikati? Jew mhux mifruxa biżżejjed. Kemm kienu komuni l-ideat tiegħek fil-prattika?
Michael: M'inix ċert eżatt dwar liema pubblikazzjonijiet qed titkellem. Għamilt ftit xogħol mal-istudenti tiegħi Bill Bolosky () u Leonidas Kontotanassis () fil-bidu tad-disgħinijiet dwar il-ġestjoni tal-memorja tal-magni Neumann. F'dak iż-żmien, in-negozju kien għadu ma fehemx kif suppost jagħmel sistema multiproċessur: ta 'min joħloq appoġġ għall-aċċess għall-memorja remota fil-livell tal-ħardwer, ta' min jagħmel il-memorja mqassma, huwa possibbli li titgħabba l-cache minn memorja remota, jew huwa meħtieġ li tiċċaqlaq il-paġni fis-sistema tal-kamra tal-operazzjoni? Bill u Leonidas it-tnejn ħadmu f'dan il-qasam u esploraw approċċi mingħajr tagħbija mill-bogħod tal-cache. Dan ma kienx direttament relatat mal-koerenza tal-cache, iżda kien għadu xogħol fuq il-ġestjoni tal-memorja NUMA, u sussegwentement approċċi moderni għat-tqegħid tal-paġna f'sistemi operattivi moderni kibru minn dan. B’mod ġenerali, Bill u Leonidas għamlu xogħol importanti, għalkemm mhux l-aktar influwenti f’dan il-qasam – dak iż-żmien kien hemm ħafna nies oħra li jaħdmu fuq l-istess ħaġa. Aktar tard, ħdimt fuq suġġett relatat mal-koerenza tal-cache fil-kuntest tal-memorja transazzjonali tal-ħardwer. Il-grupp li ħdimt miegħu fuq din il-problema spiċċa rċieva diversi brevetti. Hemm xi ideat pjuttost interessanti warajhom, imma ma naħsibx li se jispiċċaw jiġu implimentati fil-prattika. B'xi mod jew ieħor, huwa diffiċli għalija li niġġudika l-profitabilità tagħhom.
Алексей: F'dan ir-rigward, mistoqsija aktar personali: kemm hu importanti għalik li l-ideat tiegħek jitqiegħdu fil-prattika? Jew ma taħsibx dwarha?
Michael: Inħobb nagħmel din il-mistoqsija f'intervisti ma' nies oħra, applikanti jew kandidati li jixtiequ jingħaqdu mal-fakultà. Ma naħsibx li hemm tweġiba korretta għal din il-mistoqsija. Nies li jagħmlu affarijiet friski jista 'jkollhom motivazzjonijiet differenti ħafna. Inġibed il-problemi għax personalment insibhom interessanti, mhux minħabba l-benefiċċji prattiċi tagħhom. Iżda min-naħa l-oħra, meta xi ħaġa interessanti għadha ssib applikazzjoni, jogħġobni ħafna. Allura mhux faċli hawn. Imma fil-bidu tax-xogħol tiegħi, għadni mmexxi mhux mill-idea ta 'użu aħħari fid-dinja, iżda mill-armonija tal-idea u x-xewqa li nesploraha u nara x'jiġri minnha. Jekk fl-aħħar mill-aħħar tagħti riżultati prattiċi, kbir.
Алексей: Minħabba l-edukazzjoni u l-esperjenza tiegħek, inti kapaċi aħjar minn ħafna biex tiġġudika l-valur tal-ideat ta 'nies oħrajn. Tista' tqabbelhom u tiddetermina liema taħdem aħjar ma' liema. Jien ċert li għandek opinjoni dwar affarijiet li bħalissa qed jintużaw fil-prattika minn manifatturi kbar bħal Intel. Mill-perspettiva tiegħek, kemm hi korretta l-kors li qed jieħdu dawn il-kumpaniji?
Michael: Il-prattika dejjem iddur madwar dak li jista 'jkun kummerċjalment ta' suċċess, jiġifieri, toħloq profitt, u aħjar tistaqsi lil xi ħadd ieħor dwar dan. Ix-xogħol tiegħi jirriżulta l-aktar f'pubblikazzjonijiet, u fil-qasam tas-sistemi operattivi huma evalwati abbażi tal-indikaturi tal-prestazzjoni: il-veloċità, il-konsum tal-enerġija, id-daqs tal-kodiċi. Imma dejjem deherli li dawn ir-riżultati empiriċi jiżdiedu mal-artikli biss sabiex ikunu jistgħu jiġu ppubblikati, u l-motivi reali tan-nies għax-xogħol huma estetiċi. Ir-riċerkaturi jevalwaw is-soluzzjonijiet minn perspettiva artistika, jimpurtahom kemm huma eleganti l-ideat, u jippruvaw joħolqu xi ħaġa aħjar minn approċċi eżistenti. Ir-riċerkaturi huma mmexxija minn motivi personali, suġġettivi, estetiċi. Imma ma tistax tikteb dwar dan fl-artiklu nnifsu dawn l-affarijiet mhumiex argumenti għall-kumitat tal-programm. Fortunatament, soluzzjonijiet eleganti ħafna drabi huma wkoll veloċi u irħas. Jien u tużżana sħabi ddiskutejna dan is-suġġett madwar 15-il sena ilu u spiċċajna niktbu artiklu dwaru. Naħseb li xorta tista 'ssibha issa, tissejjaħ jew xi ħaġa bħal dik, għandha aktar minn tużżana awturi. Dan huwa l-uniku artiklu li fih jien l-awtur flimkien miegħu , allura jekk tagħmel tfittxija għal isimha fil-lista tiegħi ta’ pubblikazzjonijiet, issib dak li għandek bżonn. Jitkellem dwar l-evalwazzjoni tar-riċerka tas-sistemi u kemm hi importanti l-eleganti.
Алексей: Allura hemm differenza bejn l-istandard ta 'dak li huwa meqjus tajjeb fix-xjenza u fin-negozju. Ix-xjenza tevalwa l-prestazzjoni, il-konsum tal-enerġija, it-TDP, il-faċilità tal-implimentazzjoni, u ħafna aktar. Għandek l-opportunità li twettaq dan it-tip ta 'riċerka fl-università? Għandek laboratorju b'magni differenti u arkitetturi differenti li fihom tista' twettaq esperimenti?
Michael: Iva, id-dipartiment tagħna għandu ħafna magni interessanti differenti. Ħafna drabi huma żgħar, għandna cluster żgħir u ħafna sistemi multiproċessuri b'aċċeleraturi differenti. Barra minn hekk, il-kampus għandu ċentru tal-kompjuters enormi li jservi xjenzati minn diversi għexieren ta 'dixxiplini differenti. Għandu madwar elf nodu u għoxrin elf qalba, kollha fuq Linux. Jekk tqum il-ħtieġa, tista 'dejjem tixtri xi AWS. Allura ma għandna l-ebda restrizzjonijiet sinifikanti bil-ħardwer.
Алексей: Kif kien tletin sena ilu? Kien hemm problemi allura?
Michael: Kien ftit differenti dakinhar. F'nofs is-snin tmenin sa l-aħħar, ix-xjenza kienet meqjusa bħala nieqes mir-riżorsi tal-kompjuter. Biex tirrimedja din is-sitwazzjoni, il-Fondazzjoni Nazzjonali tax-Xjenza ) ħoloq programm ta' riċerka sperimentali kkoordinata (Riċerka Sperimentali Koordinata, CER). Il-missjoni tal-programm kienet li jipprovdi infrastruttura tal-kompjuters għad-dipartimenti tax-Xjenza tal-Kompjuter, u kiseb bidla sinifikanti. Bil-flus li pprovdiet, aħna fl-Università ta’ Rochester xtrajna BBN Butterfly ta’ 1984 għoqda fl-128, din kienet sena qabel wasalt hemm. F'dak iż-żmien kienet l-akbar sistema multiprocessor fid-dinja b'memorja kondiviża. Kellha 128 proċessur, kull wieħed fuq motherboard separata, u okkupa erba' xtillieri. Kull proċessur kellu megabyte ta 'memorja, 128 megabytes ta' RAM kien ammont inkonċepibbli dak iż-żmien. Fuq din il-magna implimentajna l-illokkjar tal-MCS għall-ewwel darba.
Алексей: Allura, jekk nifhimkom b'mod korrett, allura bħalissa l-problema bil-ħardwer ġiet solvuta?
Michael: B'mod ġenerali, iva. Hemm ftit twissijiet: l-ewwel, jekk qed tagħmel arkitettura tal-kompjuter fil-livell taċ-ċippa, huwa diffiċli li tagħmel f'ambjent akkademiku għax hemm għodod ħafna aħjar biex tagħmel dan fin-negozju. Jekk għandek bżonn xi ħaġa iżgħar minn 10 nanometri, ikollok tordnaha mingħand xi ħadd ieħor. F'dan il-qasam huwa ħafna aktar faċli li tkun riċerkatur fl-Intel. Jekk qed taħdem fuq komunikazzjonijiet ottiċi fuq ċipep jew fuq memorja solid-state, issib teknoloġiji fin-negozju li għadhom mhumiex fix-xjenza, għalhekk trid toħloq alleanzi. Per eżempju, Stephen Swanson () maħluqa għal teknoloġiji ġodda tal-memorja. Din il-formola mhux dejjem taħdem, iżda f'xi każijiet tista 'tkun pjuttost ta' suċċess. Barra minn hekk, fix-xjenza l-iżvilupp tas-sistemi tal-kompjuters l-aktar qawwija huwa aktar diffiċli. L-akbar proġetti tas-superkompjuters bħalissa fl-Istati Uniti, il-Ġappun u ċ-Ċina huma kollha ffukati fuq in-negozju.
Implimentazzjoni prattika ta 'ideat. MCS, MS, CLH, JSR 166, jaħdmu ma' Doug Lee u aktar.
Виталий: Diġà tkellimt dwar kif bdejt taħdem fuq algoritmi ta' sinkronizzazzjoni. Għandek żewġ artikli famużi ħafna dwar и , li f'ċertu sens ġew implimentati f'Java. (Nota tal-editur: il-pubblikazzjonijiet kollha jistgħu jarawhom ). Hemmhekk dan l-imblukkar ġie implimentat b'xi bidliet u rriżulta , u l-kju ġie implimentat kif maħsub. Iżda għaddew ħafna snin bejn il-pubblikazzjoni tal-artikli tiegħek u l-applikazzjoni prattika tagħhom.
Алексей: Jidher madwar 10 snin fil-każ tal-kju.
Michael: Qabel ma dehru dawn il-karatteristiċi fil-librerija standard Java?
Виталий: Iva. X'għamilt biex dan iseħħ? Jew ma għamlu xejn?
Michael: Nista 'ngħidlek kif MS Queue daħal f'Java 5. Ftit snin qabel ma ħareġ, ħdimt mal-grupp ta' Mark Moyers f'Sun Microsystems fil-laboratorju tagħhom qrib Boston. Huwa organizza workshop għal nies li kien jaf li kienu qed jaħdmu fuq problemi interessanti fil-multithreading għax ried isib suġġetti li seta’ jbigħ lill-kumpanija tagħhom. Hemmhekk iltqajt għall-ewwel darba ma’ Doug Lea. Doug u jien u madwar 25 persuna oħra minn Sun konna flimkien niddiskutu l-preżentazzjoni ta’ Doug fuq , li aktar tard sar java.util.concurrent. Tul it-triq, Doug qal li jixtieq juża l-kju MS, iżda għal dan kellu bżonn counter għan-numru ta 'elementi fil-kju għall-interface. Jiġifieri, dan kellu jsir b'metodu separat, atomiku, preċiż u veloċi. Issuġġerejt sempliċement li żżid in-numri tas-serje man-nodi, tieħu n-numru tal-ewwel node u l-aħħar wieħed u naqqas wieħed mill-ieħor. Doug ħarxa rasu, qal “għaliex le,” u spiċċa jagħmel hekk. Iddiskutejna l-implimentazzjoni ta 'dan l-approċċ fil-librerija, iżda Doug għamel ħafna mix-xogħol hu stess. Bħala riżultat, irnexxielu jistabbilixxi appoġġ multithreading eċċellenti f'Java.
Алексей: Allura, jekk nifhem sew, il-metodu .size() kellu jkun parti mill-interface standard tal-kju, u kellu jkollu kumplessità algoritmika ta 'O(1)?
Michael: Iva, u minbarra dan, huwa meħtieġ counter separat.
Алексей: Minħabba li jekk issejjaħ il-metodu .size() f'Java, ir-riżultat huwa mistenni li jkun disponibbli immedjatament u mhux ibbażat fuq id-daqs attwali tal-ġbir. Nara, grazzi.
Michael: Ftit snin wara kont qed naħdem fuq strutturi ta' data doppja mal-istudent tiegħi Bill Scherer - fil-fatt, dan huwa dak li ser inkun qed nitkellem dwaru . Doug ġie għandna u qal li seta' jużahom fil-Java Executor Framework. Flimkien ma’ Bill, ħolqu żewġ implimentazzjonijiet, l-hekk imsejħa kjuwijiet ġusti u inġusti. Jien tajthom parir dwar dan il-proġett, għalkemm ma pparteċipajtx fil-kitba tal-kodiċi attwali. Bħala riżultat, il-veloċità tal-eżekuturi żdiedet b'mod sinifikanti.
Vladimir: Iltqajt ma' implimentazzjonijiet mhux korretti tal-algoritmi tiegħek jew talbiet biex iżżid karatteristiċi ġodda? B'mod ġenerali, il-prattika għandha tikkoinċidi mat-teorija, iżda ħafna drabi huma differenti. Ejja ngħidu li ktibt algoritmu, u fuq il-karta jaħdem, iżda n-nies li huma involuti fl-implimentazzjoni bdew jistaqsuk għal aktar karatteristiċi jew xi tip ta 'tweaking tal-algoritmu. Qatt kellek sitwazzjonijiet bħal dawn?
Michael: L-uniku eżempju li fih xi ħadd ġie għandi u staqsa "kif nimplimentah" kienet il-mistoqsija ta 'Doug, li diġà tkellimt dwarha. Iżda kien hemm ftit każijiet fejn saru bidliet interessanti biex ikunu adattati għall-ħtiġijiet prattiċi. Pereżempju, it-tim K42 f'IBM ikkonverti l-lock MCS u għamilha interface standard u għalhekk ma kienx hemm bżonn li n-node tal-kju jgħaddi 'l quddiem u lura għar-rutini ta' akkwist u rilaxx. Grazzi għal din l-interface standard, idea li kienet sabiħa fit-teorija bdiet taħdem fil-prattika. Huwa sorprendenti li qatt ma ppubblikaw artiklu dwarha, u għalkemm irċevew privattiva, aktar tard abbandunawha. L-idea kienet sabiħa, u nipprova nitkellem dwarha kull meta jkun possibbli.
Kien hemm każijiet oħra fejn in-nies għamlu titjib fl-algoritmi li ppubblikajt. Pereżempju, il-kju MS għandu mekkaniżmu ta 'installazzjoni f'żewġ stadji, li fisser li kien hemm żewġ CASs fuq il-mogħdija kritika tal-kju. Fuq karozzi anzjani, CAS kienu pjuttost għoljin. Intel u manifatturi oħra ottimizzawhom pjuttost tajjeb reċentement, iżda darba waħda dawn kienu struzzjonijiet ta '30 ċiklu, għalhekk li jkun hemm aktar minn wieħed fit-triq kritika ma kienx mixtieq. Bħala riżultat, ġie żviluppat kju differenti li kien simili għall-kju MS, iżda li kellu operazzjoni atomika waħda biss fit-triq kritika. Dan inkiseb minħabba l-fatt li matul ċertu perjodu ta 'żmien l-operazzjoni tista' tieħu ħin O(n), aktar milli O(1). Kien improbabbli, iżda possibbli. Dan ġara minħabba l-fatt li f'ċerti mumenti l-algoritmu għadda mill-kju mill-bidu sal-pożizzjoni attwali f'dan il-kju. B'mod ġenerali, l-algoritmu rriżulta li kien ta 'suċċess kbir. Sa fejn naf jien, mhuwiex użat ħafna, parzjalment minħabba li l-operazzjonijiet atomiċi jeħtieġu ferm inqas riżorsi minn qabel. Imma l-idea kienet kbira. Inħobb ħafna wkoll ix-xogħol ta’ Dave Dice mill-Oracle. Dak kollu li jagħmel huwa prattiku ħafna u juża l-ħadid b’mod għaqli ħafna. Huwa kellu sehem f'ħafna mill-algoritmi ta 'sinkronizzazzjoni konxji ta' NUMA u strutturi tad-dejta b'ħafna ħajt.
Vladimir: Meta tikteb algoritmi jew tgħallem lill-istudenti, ir-riżultat tax-xogħol tiegħek ma jkunx viżibbli immedjatament. Il-komunità teħtieġ xi żmien biex issir familjari ma ', ngħidu aħna, artiklu ġdid. L-algoritmu l-ġdid ma jsibx applikazzjoni immedjatament.
Michael: Mhuwiex ċar immedjatament jekk l-artikolu hux se jkun sinifikanti jew le. Naħseb li jkun interessanti li jsir studju ta' karti li rebħu premjijiet f'konferenzi. Jiġifieri, ħares lejn l-artikoli li n-nies fil-kumitati tal-programm f’ħin wieħed qiesu l-aħjar. Trid tipprova tikkalkula bin-numru ta 'links u l-impatt fuq in-negozju kemm dawn l-artikoli verament irriżultaw influwenti f'10, 20, 25 sena. Niddubita li jkun hemm korrelazzjoni qawwija bejn it-tnejn. Mhux se jkun żero, iżda x'aktarx se jkun ħafna aktar dgħajfa milli nixtiequ. Ħafna ideat jibqgħu mhux mitluba għal żmien twil qabel ma jinfirxu. Per eżempju, ejja nieħdu memorja transazzjonali. Għaddew aktar minn 10 snin minn meta ġie ppubblikat l-artiklu oriġinali sa meta n-nies fil-fatt bdew jibnu magni bih. U qabel id-dehra ta 'din il-memorja fi prodotti kummerċjali - u l-20 kollha. Għal żmien twil ħafna ħadd ma ta attenzjoni lill-artikolu, u mbagħad in-numru ta' links miegħu żdied b'mod qawwi. Ikun diffiċli li wieħed ibassar dan minn qabel. Min-naħa l-oħra, xi kultant l-ideat isibu implimentazzjoni immedjatament. Ftit snin ilu, ktibt karta ma' Joe Izraelevitz għal DISC li pproponiet definizzjoni formali ġdida ta' validità għal strutturi ta' data persistenti li jistgħu jintużaw wara li l-kompjuter li jmexxihom iġġarraf. Għoġobni l-artiklu mill-bidu nett, iżda rriżulta li kien ferm aktar popolari milli stennejt. Intuża minn diversi gruppi differenti u eventwalment saret id-definizzjoni standard ta 'strutturi ta' persistenza. Li, ovvjament, huwa sabiħ.
Vladimir: Hemm xi tekniki li tuża għall-valutazzjoni? Saħansitra tipprova tevalwa l-artikoli tiegħek u l-istudenti tiegħek? F'termini ta' jekk il-persuna li għallimt hux sejra fid-direzzjoni t-tajba.
Michael: Bħal kull ħaddieħor, nagħti aktar attenzjoni lil dak li qed nagħmel bħalissa. Għal darb'oħra, bħal kulħadd, kultant niċċekkja Google Scholar biex nara jekk il-karti tal-passat tiegħi humiex qed jiġu kkwotati, iżda dan aktar minn kurżità. L-aktar jien assorbita f'dak li qed jagħmlu l-istudenti tiegħi issa. Meta niġu għall-evalwazzjoni tax-xogħol attwali, parti minnu huma konsiderazzjonijiet estetiċi, x'inhu eleganti u x'mhux. U fil-livell ta’ kuljum, mistoqsijiet miftuħa għandhom rwol kbir. Pereżempju, student jiġi għandi b'graff ta 'xi riżultati, u qed nippruvaw nifhmu minn fejn ġiet xi mġiba stramba tal-graff. B’mod ġenerali, fix-xogħol tagħna qed nippruvaw kontinwament nifhmu affarijiet li għadna ma nifhmux.
Memorja transazzjonali
Виталий: Forsi nistgħu nitkellmu ftit dwar memorja transazzjonali?
Michael: Naħseb li ta’ min jgħid għall-inqas ftit għax nagħmel ħafna sforz. Dan huwa suġġett li fuqu għandi aktar pubblikazzjonijiet minn kwalunkwe oħra. Iżda fl-istess ħin, b'mod stramb, dejjem kont xettiku ħafna dwar il-memorja transazzjonali. Fl-opinjoni tiegħi, (M. Herlihy, J. E. B. Moss) ġie ppubblikat qabel iż-żmien tiegħu. Fil-bidu tad-disgħinijiet, huma ssuġġerew li l-memorja transazzjonali tista 'tgħin lill-programmaturi b'talent jaħdmu fuq strutturi ta' dejta b'ħafna kamini, sabiex dawn l-istrutturi jkunu jistgħu mbagħad jintużaw bħala libreriji minn programmaturi ordinarji. Jiġifieri, ikun ta 'għajnuna għal Doug Lee li jagħmel il-JSR 1990 tiegħu. Iżda l-memorja transazzjonali ma kinitx maħsuba biex tagħmel l-ipprogrammar multi-threaded faċli. Iżda dan huwa eżattament kif bdiet tiġi pperċepita fil-bidu tas-snin 166, meta nfirxet. Ġie reklamat bħala mod biex issolvi l-problema tal-ipprogrammar parallel. Dan l-approċċ dejjem deher bla tama għalija. Il-memorja transazzjonali tista 'biss tagħmilha aktar faċli biex tikteb strutturi ta' data paralleli. Dan, jidhirli, huwa dak li kisbet.
Dwar id-diffikultà li tikteb kodiċi multi-threaded
Алексей: Interessanti hafna. Jidher li hemm ċertu ostaklu bejn programmaturi regolari u dawk li jistgħu jiktbu kodiċi multi-threaded. Is-sena li għaddiet, tkellimt diversi drabi ma 'nies li kienu qed jimplimentaw xi qafas algoritmiku. Per eżempju, ma 'Martin Thomson, kif ukoll ma' programmaturi li jaħdmu fuq libreriji multi-threaded. (Nota tal-editur: Martin Thompson huwa żviluppatur famuż ħafna, kiteb и . U għandu wkoll fil-konferenza tagħna tal-Joker 2015, reġistrazzjoni bil-vidjo . Huwa l-istess din il-konferenza disponibbli wkoll). L-isfida ewlenija, jgħidu, hija li l-algoritmi jsiru kemm veloċi kif ukoll faċli biex jintużaw. Jiġifieri qed jippruvaw jegħlbu dan l-ostaklu u jattiraw kemm jista’ jkun nies lejn din iż-żona. X'taħseb dwarha?
Michael: Din hija l-problema ewlenija tal-multithreading: kif tikseb prestazzjoni għolja mingħajr ma tiżdied il-kumplessità tas-sistema.
Алексей: Minħabba li meta jippruvaw jevitaw il-kumplessità, l-algoritmu jsir inqas universali.
Michael: Iċ-ċavetta hawnhekk hija astrazzjonijiet iddisinjati sew. Jidhirli li din hija ġeneralment il-ħaġa ewlenija għas-sistemi tal-kompjuter bħala qasam. Butler Lampson iħobb juża dan it-terminu, u jsejħilna “negozjanti tal-astrazzjonijiet.” Teknoloġiji sempliċi ma jeżistux illum. Il-proċessuri li nużaw għandhom 10 biljun transisters—is-sempliċità hija barra mill-kwistjoni. Fl-istess ħin, l-ISA hija ħafna aktar sempliċi mill-proċessur, peress li ħdimna għal żmien twil ħafna biex nipprovduha prestazzjoni għolja u interface relattivament sempliċi. Iżda lanqas ma kollox huwa bla xkiel magħha. L-istess problema hija bl-aċċeleraturi li issa qed jidhru fis-suq. Jqumu mistoqsijiet - kif tagħmel l-interface t-tajba għall-GPU, mekkaniżmu ta 'kodifikazzjoni, kompressjoni, mekkaniżmu ta' transkodifikazzjoni, mekkaniżmu ta 'alġebra lineari, jew saħansitra FPGA aktar flessibbli. Kif toħloq interface li tagħmel l-għodda faċli biex tużah u taħbi l-kumplessità? Mhux se jeħles minnu, iżda jaħbiha minn sempliċi programmatur.
Алексей: Kif nifhem jien, għad għandna ostaklu biex nifhmu l-astrazzjonijiet. Ejja nieħdu l-mudell tal-memorja fl-istadju tagħna ta 'żvilupp tax-xjenza u t-teknoloġija, din hija waħda mill-astrazzjonijiet ewlenin. Grazzi għaliha, il-programmaturi kollha huma maqsuma f'żewġ gruppi: il-parti l-kbira huma dawk li ma jifhmuhiex, u l-parti iżgħar huma dawk li jifhmu, jew jaħsbu li jifhmu.
Michael: Dik hija mistoqsija tajba - xi ħadd minna verament jifhem il-mudell tal-memorja?
Виталий: Speċjalment f'C++.
Michael: Kellem lil Hans Boehm xi darba. Huwa wieħed mill-aktar nies intelliġenti li naf, espert ewlieni fuq mudelli ta 'memorja. Jgħidlek mill-ewwel li hemm ħafna li ma jifhimx. Imma jekk nerġgħu lura għall-kwistjoni tal-astrazzjonijiet, allura, fl-opinjoni tiegħi, ġiet espressa l-iktar idea importanti fil-qasam tal-mudelli tal-memorja f'dawn l-aħħar 30 sena . (Nota tal-editur: lista kompleta ta' pubblikazzjonijiet hija disponibbli ).
Алексей: Il-mistoqsija tiegħi hija: dan l-ostaklu ġej min-natura stess tal-kunċett?
Michael: Le. Sarita waslet għall-konklużjoni li bl-approċċ it-tajjeb, tista 'taħbi b'suċċess il-kumplessità kollha, tikseb prestazzjoni għolja u tagħti lill-programmatur API sempliċi. U jekk issegwi din l-API, tista 'tikseb konsistenza konsistenti. Naħseb li dan huwa l-mudell it-tajjeb. Ikteb il-kodiċi mingħajr tiġrijiet tad-dejta u ksib konsistenza sekwenzjali. Naturalment, sabiex titnaqqas il-probabbiltà ta 'tlielaq, huma meħtieġa għodod speċjali, iżda din hija kwistjoni oħra.
Vladimir: Kien hemm drabi fil-karriera tiegħek meta problema li dehret solvuta f’daqqa waħda nbidlet f’katastrofi, jew irriżulta li din il-problema ma kinitx solvuta? Pereżempju, fit-teorija tista' tikfattura kwalunkwe numru jew tiddetermina jekk xi numru huwiex prim. Iżda fil-prattika dan jista 'jkun diffiċli biex isir bil-ħardwer attwali huwa diffiċli li jiġu ffatturati n-numri. Ġratlek xi ħaġa simili?
Michael: Ma niftakarx immedjatament xi ħaġa bħal dik. Kien hemm drabi meta deherli li ma kien fadal xejn x’tagħmel f’ċertu qasam, imma mbagħad hemmhekk seħħet xi ħaġa ġdida u interessanti. Pereżempju, ħsibt li ż-żona ta 'kju illimitat kienet diġà laħqet il-maturità. Wara diversi titjib fil-kju MNS, ma ġara xejn aktar. U mbagħad Morrison (Adam Morrison) u Afek (Yehuda Afek) ivvintaw . Deher ċar li kju multi-threaded illimitat kien possibbli, fejn ħafna mill-ħin kien hemm biss istruzzjoni fetch-and-increment fuq il-passaġġ kritiku. U dan għamilha possibbli li tinkiseb prestazzjoni aħjar ta 'ordni ta' kobor. Mhux li ma nafux li fetch-and-increment hija ħaġa utli ħafna. Eric Freudenthal kiteb dwar dan fix-xogħol tiegħu fuq l-Ultracomputer ma 'Allan Gottlieb fl-aħħar tas-snin 1980, iżda kien dwar kjuwijiet limitati. Morrison u Afek setgħu jużaw fetch-and-increment fuq kju bla limitu.
Arkitetturi ġodda. Ir-rebħa tal-memorja transazzjonali hija qrib?
Vladimir: Qed tfittex soluzzjonijiet arkitettoniċi ġodda li jistgħu jkunu utli għall-algoritmi?
Michael: Naturalment, hemm ħafna affarijiet li nixtieq nara implimentati.
Vladimir: X'tip, per eżempju?
Michael: L-ewwelnett, ftit estensjonijiet sempliċi għall-memorja transazzjonali tagħna fil-livell tal-hardware fil-proċessuri Intel u IBM. B'mod partikolari, nixtieq li t-tagħbija u l-maħżen mhux transazzjonali li għadhom kif seħħew ikunu disponibbli immedjatament fi ħdan it-tranżazzjonijiet. Huma immedjatament iwasslu għal loops fis-sekwenza jiġri qabel, sabiex ikunu jistgħu jkunu diffiċli. Imma jekk iżżomm saffi ta 'estrazzjoni, hemm ħafna affarijiet interessanti ħafna li tista' tagħmel barra mit-tranżazzjoni waqt li tkun qed isseħħ. Ma nafx kemm ikun diffiċli li dan jiġi implimentat, iżda jkun utli ħafna.
Ħaġa oħra utli hija t-tagħbija tal-cache mill-memorja remota. Naħseb li llum jew għada dan se jsir. Din it-teknoloġija se tippermetti l-ħolqien ta' sistemi b'memorja diżaggregata. Ikun possibbli li jinżammu, ngħidu aħna, 100 terabytes ta 'memorja mhux volatili f'rack, u s-sistema operattiva nnifisha tiddeċiedi b'mod dinamiku liema sezzjonijiet ta' dik il-memorja għandhom jikkorrispondu għall-ispazju tal-indirizz fiżiku tal-proċessuri. Dan ikun estremament utli għall-cloud computing, peress li jippermetti li jiġu pprovduti ammonti kbar ta 'memorja għall-kompiti li jeħtieġuha. Naħseb li xi ħadd se jagħmel dan.
Виталий: Biex nispiċċa nitkellem dwar il-memorja transazzjonali, għandi mistoqsija oħra dwar dan is-suġġett. Il-memorja transazzjonali eventwalment se tissostitwixxi l-istrutturi standard tad-dejta multi-threaded?
Michael: Le. It-tranżazzjonijiet huma mekkaniżmu spekulattiv. Fil-livell tal-ipprogrammar dawn huma serraturi atomiċi, iżda ġewwa huma spekulazzjonijiet. Tali tbassir jaħdem jekk ħafna mill-suppożizzjonijiet huma korretti. Għalhekk, il-memorja transazzjonali taħdem tajjeb meta l-ħjut ma tantx jinteraġixxu ma 'xulxin, u għandek bżonn biss li tiżgura li ma jkunx hemm interazzjonijiet. Imma jekk jibda messaġġ bejn il-ħjut, it-tranżazzjonijiet ma tantx huma utli. Ħa nispjega, qed nitkellmu dwar il-każ meta t-tranżazzjonijiet huma mgeżwra madwar l-operazzjoni atomika kollha. Xorta jistgħu jintużaw b'suċċess bħala komponenti għal strutturi tad-dejta b'ħafna kamini. Per eżempju, jekk għandek bżonn CAS ta 'tliet kelmiet, u għandek bżonn multithread tliet affarijiet żgħar fin-nofs ta' algoritmu tassew multithreaded li jaħdem b'għoxrin ħajta fl-istess ħin. B'mod ġenerali, it-tranżazzjonijiet jistgħu jkunu utli, iżda mhux se jeliminaw il-ħtieġa li jiġu ddisinjati sew strutturi tad-dejta b'ħafna kamini.
Memorja mhux volatili, Optane DIMM, apparat ultra-veloċi.
Виталий: L-aħħar ħaġa li nixtieq nitkellem dwarha hija s-suġġett tar-riċerka attwali tiegħek: memorja mhux volatili. X'nistgħu nistennew f'dan il-qasam fil-futur qarib? Forsi taf b'xi implimentazzjonijiet effettivi li diġà jeżistu?
Michael: M'iniex espert tal-hardware, naf biss dak li naqra fl-aħbarijiet u dak li jgħiduli l-kollegi tiegħi. Kulħadd diġà sema' li Intel tbigħ , li għandhom madwar 3 darbiet il-latency tal-qari u 10 darbiet il-latency tal-kitba minn RAM dinamika. Dalwaqt se jkunu disponibbli f'verżjonijiet ta' volum kbir ħafna. Huwa umoristiku li taħseb li jista 'jkollok laptop b'diversi terabytes ta' RAM indirizzabbli b'byte. Huwa probabbli li fi żmien 10 snin niddeċiedu li nużaw din it-teknoloġija ġdida, peress li nużaw DRAM - inżidu biss il-volum. Iżda grazzi għall-indipendenza tal-enerġija, jinfetħu għalina opportunitajiet kompletament ġodda. Nistgħu nibdlu fundamentalment il-munzell tal-ħażna sabiex ma jkun hemm l-ebda separazzjoni bejn il-memorja tax-xogħol indirizzabbli b'byte u l-memorja persistenti strutturata b'mod blokk. Għalhekk, aħna mhux se jkollhom bżonn serialize dak kollu li jeħtieġ li jiġi ttrasferit minn programm għal ieħor fil-fajls strutturati blokk. Minn dan nistgħu nidħlu ħafna prinċipji importanti li jaffettwaw is-sistemi operattivi, l-ambjenti tar-runtime, u l-ħwienet tad-dejta distribwita. Din il-qasam huwa interessanti ħafna biex taħdem fiha. Personalment, huwa diffiċli għalija li nbassar għal xiex se jwassal dan kollu, iżda l-problemi hawnhekk huma estremament divertenti. Jista 'jkun hemm bidliet rivoluzzjonarji hawn, u jsegwu b'mod naturali ħafna mix-xogħol fuq multithreading, peress li l-irkupru tal-falliment huwa proċess ta' "multithreading" ħdejn it-tħaddim normali tas-sistema.
It-tieni suġġett ewlieni li qed naħdem fuqu bħalissa huwa l-ġestjoni ta' apparati ultra-veloċi u aċċess sigur għal apparati mill-ispazju tal-utent b'kontroll ta' politika sistemika. F'dawn l-aħħar snin, kien hemm tendenza li l-aċċess għall-apparat jiġi mċaqlaq għall-ispazju tal-utent. Dan isir minħabba li l-munzell tal-kernel TCP-IP ma jistax jiffunzjona fuq interface tan-netwerk li jeħtieġ pakkett ġdid kull 5 mikrosekondi sempliċement mhux se jlaħħaq. Għalhekk, il-manifatturi jipprovdu aċċess dirett għall-apparati. Iżda dan ifisser li s-sistema operattiva titlef il-kontroll tal-proċess u ma tistax tipprovdi aċċess xieraq għall-apparat għal applikazzjonijiet li jikkompetu. It-tim ta’ riċerka tagħna jemmen li dan in-nuqqas jista’ jiġi evitat. Ikollna artiklu dwar dan f'USENIX ATC dan ix-xahar. Hija relatata max-xogħol fuq il-persistenza, peress li l-memorja persistenti indirizzabbli b'byte b'ħajja twila hija, essenzjalment, apparat b'I/O ultra-veloċi li jeħtieġ li jiġi aċċessat fl-ispazju tal-utent. Din ir-riċerka tagħmel possibbli approċċi ġodda għall-mikrokernels, exokernels, u tentattivi tradizzjonali oħra biex tiċċaqlaq b'mod sikur il-funzjonalità mill-kernel tal-OS għall-ispazju tal-utent.
Vladimir: Il-memorja indirizzabbli b'byte hija kbira, iżda hemm limitazzjoni fiżika - il-veloċità tad-dawl. Dan ifisser li inevitabbilment se jkun hemm dewmien meta jinteraġixxu mal-apparat.
Michael: Assolutament id-dritt.
Vladimir: Se jkun hemm biżżejjed kapaċità biex ilaħħqu mat-tagħbijiet il-ġodda?
Michael: Din hija mistoqsija eċċellenti, iżda se jkun diffiċli għalija li nwieġeb. L-idea tal-ipproċessar fil-memorja ilha żmien pjuttost twil, hija interessanti ħafna, iżda wkoll kumplessa ħafna. Jien ma ħdimtx f'dan il-qasam, iżda jkun kbir jekk isiru xi skoperti hemmhekk. Nibża li m'għandix aktar xi nżid.
Vladimir: Hemm problema waħda oħra. Ammonti ġodda, ferm akbar ta 'RAM se jkunu impossibbli li jidħlu fis-CPU. Għalhekk, minħabba limitazzjonijiet fiżiċi, din ir-RAM għandha tkun iżolata.
Michael: Kollox jiddependi min-numru ta 'difetti fil-produzzjoni ta' ċirkwiti integrati. Kieku kien possibbli li jinħolqu wejfers semikondutturi kompletament mingħajr difetti, allura jkun possibbli li jsir mikroċirkwit sħiħ minnu. Imma issa ma nafux kif nagħmlu mikroċirkwiti akbar minn bolol tal-posta.
Vladimir: Imma għadna qed nitkellmu fuq daqsijiet enormi, dwar ċentimetri. Dan inevitabbilment għandu impatt fuq il-latenza.
Michael: Iva. M'hemm xejn li tista 'tagħmel dwar il-veloċità tad-dawl.
Vladimir: Sfortunatament.
It-tendenza kbira li jmiss. Strutturi tad-dejta doppji. Idra.
Виталий: Sa fejn nifhem jien, taqbad xejriet ġodda malajr ħafna. Inti kont wieħed mill-ewwel li ħadmu fil-memorja transazzjonali, u wieħed mill-ewwel li ħadmu fil-memorja mhux volatili. X'taħseb li se tkun it-tendenza kbira li jmiss? Jew forsi huwa sigriet?
Michael: Biex inkun onest, ma nafx. Nisperaw li nkun kapaċi ninnota meta toħroġ xi ħaġa ġdida. Ma kontx xortik tajba li nivvinta xi qasam ġdid waħdi, imma kelli ftit xorti u stajt nibda naħdem pjuttost kmieni f'oqsma ġodda maħluqa minn ħaddieħor. Nispera li nkun kapaċi nagħmel dan fil-futur.
Алексей: L-aħħar mistoqsija f'din l-intervista se tkun dwar il-prestazzjoni tiegħek f'Hydra u l-attivitajiet tiegħek fl-iskola. Jekk nifhem sew, ir-rapport fl-iskola se jkun dwar algoritmi mingħajr imblukkar, u fil-konferenza dwar strutturi ta 'data doppja. Tista' tgħid ftit kliem dwar dawn ir-rapporti?
Michael: Parzjalment, aħna diġà missew dawn is-suġġetti miegħek f'din l-intervista. Huwa dwar ix-xogħol li għamilt mal-istudent tiegħi Bill Scherer. Huwa kiteb teżi fuqha, u Doug Lee kkontribwixxa wkoll għaliha, u eventwalment saret parti mill-kjuwijiet sinkroniċi multi-threaded fil-librerija Java. Ejja nassumu li l-istruttura tad-dejta tinqara u tinkiteb mingħajr imblukkar, jiġifieri, kull operazzjoni għandha numru limitat ta 'struzzjonijiet fuq il-mogħdija kritika. Jekk tipprova tneħħi dejta minn kontenitur vojt, jew tipprova tneħħi ċerta dejta li mhix f'dan il-kontenitur, tkun infurmat immedjatament li dan ma jistax isir. Iżda din l-imġieba tista 'ma tkunx aċċettabbli jekk il-ħajta verament teħtieġ din id-dejta. Imbagħad l-ewwel ħaġa li tiġi f'moħħna hija li toħloq loop li kontinwament jistaqsi jekk id-data meħtieġa dehritx. Imma mbagħad hemm interferenza għal kulħadd. Barra minn hekk, b'dan l-approċċ, tista 'tistenna 10 minuti, u mbagħad tidħol xi ħajt ieħor, u aċċidentalment tirċievi d-dejta meħtieġa l-ewwel. L-istrutturi tad-dejta doppji għad m'għandhomx serraturi, iżda jippermettu li l-ħjut jistennew kif suppost. It-terminu "doppju" ifisser li l-istruttura fiha jew data jew talbiet għal data, ejja nsejħulhom anti-data. Mela jekk tipprova tirkupra xi ħaġa minn kontenitur vojt, minflok titpoġġa talba fil-kontenitur. Issa l-ħajta tista 'tistenna talba mingħajr ma tfixkel lil ħaddieħor. Barra minn hekk, l-istruttura tad-dejta tassenja prijoritajiet lit-talbiet sabiex meta tirċievi, tgħaddihom lill-persuna t-tajba. Ir-riżultat huwa mekkaniżmu li ma jissakkarx li għad għandu speċifikazzjoni formali u prestazzjoni tajba fil-prattika.
Алексей: X'inhuma l-aspettattivi tiegħek minn din l-istruttura tad-dejta? Se jtejjeb il-prestazzjoni fil-każijiet komuni kollha, jew huwa adattat aħjar għal ċerti sitwazzjonijiet?
Michael: Huwa utli jekk, l-ewwelnett, għandek bżonn kontenitur mingħajr qfil, u, it-tieni, għandek bżonn tistenna f'sitwazzjoni fejn għandek bżonn tirkupra data mill-kontenitur li ma jkunx fih. Sa fejn naf jien, il-qafas tagħna jipprovdi l-aħjar imġieba meta dawn iż-żewġ kundizzjonijiet jiġu sodisfatti. Għalhekk, f'dawn il-każijiet nirrakkomanda li tużah. Il-vantaġġ ewlieni tal-istrutturi tad-dejta mingħajr lock huwa li jevitaw problemi ta 'prestazzjoni. U l-istennija hija importanti ħafna f'ħafna algoritmi jekk id-dejta tiġi trasferita minn ħajta għal oħra.
Виталий: Ħa niċċara: se titkellem dwar l-istess ħaġa kemm fl-iskola kif ukoll fil-konferenza?
Michael: L-iskola b'mod ġenerali dwar strutturi tad-dejta b'ħafna kamini, bil-prinċipji bażiċi deskritti fil-bidu tal-lezzjoni. Nassumi li l-udjenza taf x'inhuma l-ħjut u hija familjari mas-serraturi. Ibbażat fuq dan l-għarfien bażiku, se nitkellem dwar strutturi tad-dejta mingħajr lock. Se nagħti ħarsa ġenerali lejn l-aktar problemi importanti f'dan il-qasam, billi tmiss suġġetti bħall-ġestjoni tal-memorja. Ma naħsibx li se jkun hemm xi ħaġa aktar ikkumplikata mill-kju tal-MS.
Алексей: Qed tippjana li tgħallem dwar strutturi ta' data doppja fl-aħħar tal-klassi tiegħek fl-iskola?
Michael: Se nsemmihom, imma mhux se nqatta’ ħafna ħin fuqhom. Ir-rapport Hydra se jkun iddedikat lilhom. Se tkopri l-proġett li eventwalment għamilha f'Java, kif ukoll taħdem ma 'Joe Israelevich biex toħloq varjant doppju tal-kju LCRQ, u toħloq disinn kważi universali għal strutturi ta' data doppja.
Алексей: Allura l-lecture fl-iskola tista 'tiġi rakkomandata għal dawk li jibdew, u l-lecture dwar strutturi ta' data doppja fuq Hydra - għal nies li diġà għandhom xi esperjenza?
Michael: Ikkoreġini jekk inkun żbaljat, iżda l-udjenza f'Hydra se tkun pjuttost diversa, inklużi ħafna esperti Java, u b'mod ġenerali nies li mhumiex speċifikament involuti fl-ipprogrammar multi-threaded.
Виталий: Iva, huwa veru.
Алексей: Mill-inqas nittamaw hekk.
Michael: F’dan il-każ, se niffaċċja l-istess problema li biha bdejna din l-intervista: kif tagħmel rapport kemm għani biżżejjed f’dettalji tekniċi kif ukoll aċċessibbli għas-semmiegħa kollha.
Виталий: Se tagħti rapport bl-istess mod kif tagħti lekċers? Jiġifieri, tkellem lill-udjenza u tadatta għas-sitwazzjoni?
Michael: Nibża li mhux se taħdem hekk, għax ir-rapport ikollu slides. Slajds huma importanti meta s-semmiegħa inizjalment jitkellmu lingwi differenti. Ħafna nies isibuha diffiċli biex jifhmuni bl-Ingliż, speċjalment jekk nitkellem malajr wisq. Għażilt dawn is-suġġetti għax talabni nitkellem dwar strutturi tad-dejta mingħajr lock fl-Iskola SPTDC; u mbagħad kelli bżonn rapport għal konferenza ta 'grupp ta' utenti Java, u ridt nagħżel xi ħaġa li tkun ta 'interess speċifikament għall-programmaturi Java. L-eħfef mod kien li nitkellem dwar dawk l-affarijiet fil-librerija Java li kelli naħa b'xi mod jew ieħor.
Алексей: Nassumu li l-udjenza fuq Hydra diġà taf xi ħaġa dwar l-ipprogrammar mingħajr lock u forsi għandha xi esperjenza f'dan il-qasam. Iżda din hija biss suppożizzjoni li s-sitwazzjoni ssir aktar ċara fil-konferenza nnifisha. Xorta waħda, grazzi għall-ħin tiegħek. Jiena ċert li l-intervista se tkun interessanti ħafna għall-qarrejja tagħna. Grazzi ħafna!
Виталий: Grazzi.
Michael: Inkun kuntent li niltaqa' miegħek f'San Pietruburgu.
Алексей: Aħna wkoll, għandna belt sabiħa. Qatt kont hawn?
Michael: Le, jien qatt ma mort ir-Russja. Imma San Pietruburgu dejjem kien fuq il-lista ta’ postijiet fejn għadni ma kontx, imma fejn irrid immur tassew, għalhekk kont kuntent ħafna bl-istedina.
Алексей: Insomma, ser ikollna programm ta’ eskursjonijiet għall-kelliema. Grazzi ħafna għall-intervista, u ġurnata sabiħa!
Tista 'tkompli l-konversazzjoni tiegħek ma' Michael fil-konferenza Hydra 2019, li se ssir fil-11-12 ta 'Lulju, 2019 f'San Pietruburgu. Se jiġi b'rapport . Biljetti jistgħu jinxtraw .
Sors: www.habr.com