Мицхаел Сцотт - већ 34 године као професор рачунарства на Универзитету у Рочестеру, а на свом матичном Универзитету Висконсин-Медисон био је декан пет година. Он истражује и подучава студенте о паралелном и дистрибуираном програмирању и дизајну језика.

Свет познаје Мајкла из уџбеника „Прагматика програмског језика“, шта је са послом „Алгоритми за скалабилну синхронизацију на мултипроцесорима са дељеном меморијом“ добио Дијкстра награду као један од најпознатијих у области дистрибуираног рачунарства. Можда га познајете и као аутора баш тог алгоритма Мицхаел-Сцотт.

Заједно са Дагом Лијем, развио је неблокирајуће алгоритме и синхроне редове који покрећу Јава библиотеке. Имплементација "двоструке структуре података" у ЈаваСЕ 6 побољшао перформансе за 10 пута ThreadPoolExecutor.

Садржај:

• Рана каријера, Универзитет у Рочестеру. Пројецт Цхарлотте, Линк језик;
• ИЕЕЕ скалабилни кохерентни интерфејс, МЦС закључавање;
• Опстанак у свету који се стално мења;
• Да ли ученици постају глупљи? Глобални трендови, интернационализација;
• Ефикасан рад са ученицима;
• Како бити у току са припремом нових курсева и књига;
• Везе између бизниса и академске заједнице;
• Практична имплементација идеја. МЦС, МС, ЦЛХ, ЈСР 166, рад са Дагом Лијем и још много тога;
• Трансакциона меморија;
• Нове архитектуре. Победа трансакционе меморије је близу;
• Неиспарљива меморија, Оптане ДИММ, ултра-брзи уређаји;
• Следећи велики тренд. Двоструке структуре података. Хидра.

Интервју води:

Виталиј Аксенов — тренутно постдоктор на ИСТ Аустриа и члан Одсека за рачунарске технологије Универзитета ИТМО. Спроводи истраживања у области теорије и праксе конкурентских структура података. Пре рада у ИСТ-у, докторирао је на Универзитету Дидро у Паризу и Универзитету ИТМО под менторством професора Петра Кузњецова.

Алексеј Федоров - Продуцент у ЈУГ Ру Гроуп, руској компанији која организује конференције за програмере. Алексеј је учествовао у припреми више од 50 конференција, а његов животопис обухвата све од позиције развојног инжењера у Орацле-у (ЈЦК, Јава Платформ Гроуп) до позиције програмера у Одноклассники.

Владимир Ситников - Инжењер у Нетцрацкер-у. Десет година рада на перформансама и скалабилности НетЦрацкер ОС-а, софтвера који телеком оператери користе за аутоматизацију процеса управљања мрежом и мрежном опремом. Занимају ме проблеми са перформансама Јава и Орацле базе података. Аутор више десетина побољшања перформанси у званичном ПостгреСКЛ ЈДБЦ драјверу.

Рана каријера, Универзитет у Рочестеру. Цхарлотте пројекат, Линк језик.

Алек: За почетак, хтео сам да вам кажем да у Русији сви заиста волимо рачунарство, науку о подацима и алгоритме. То је потпуно непристојно. Прочитали смо све књига Кормена, Лејсерсона и Ривеста. Стога би предстојећа конференција, школа и сам овај интервју требало да буду веома популарни. За овај интервју добили смо много питања од студената, програмера и чланова заједнице, тако да смо веома захвални на овој прилици. Да ли рачунарство добија исту љубав у САД?

Мицхаел: Наша област је толико разнолика, има толико праваца и утиче на друштво на толико различитих начина да ми је тешко дати коначан одговор. Али чињеница је да је довела до огромних промена у пословању, индустрији, уметности и друштву уопште у последњих 30 година.

Виталии: Почнимо од нечег удаљеног. На многим универзитетима постоји нешто попут специјализације у једној одређеној области. За Универзитет Царнегие Меллон ово је паралелно рачунарство, за МИТ је то криптографија, роботи и вишенитност. Постоји ли таква специјализација на Универзитету у Рочестеру?

Мицхаел: Да будем искрен, рекао бих да су ЦМУ и МИТ специјализовани за све области. Наше одељење је увек највише пажње поклањало вештачкој интелигенцији. Половина људи који раде за нас је ангажована у АИ или интеракцији између људи и рачунара – овај удео је већи него у другим одељењима, и тако је увек био. Али када сам био на универзитету, нисам имао курсеве из вештачке интелигенције и никада нисам радио у овој области. Дакле, моје одељење је специјализовано за проблем са којим ја немам никакве везе. Утеха је што је други најважнији проблем нашег одсека паралелно и вишенитно програмирање, односно моја специјализација.

Виталии: Почели сте да радите у рачунарству када се област вишенитног програмирања тек појављивала. Списак ваших публикација показује да су се ваши први радови бавили прилично широким спектром питања: управљање меморијом у вишенитним системима, дистрибуирани систем датотека, оперативни системи. Зашто таква свестраност? Да ли сте покушавали да пронађете своје место у истраживачкој заједници?

Мицхаел: Као студент учествовао сам у Цхарлотте пројекат на Универзитету у Висконсину, где је развијен један од првих дистрибуираних оперативних система. Тамо сам радио заједно са Рафаелом Финкелом (Рапхаел Финкел) и Марвин Соломон (Марвин Соломон). Моја дисертација је била посвећена развоју језика за системски софтвер за дистрибуиране системе - сада су сви заборавили на то, и хвала Богу. Направио сам програмски језик Линк, који је имао за циљ да олакша креирање сервера за слабо повезан дистрибуирани оперативни систем. Пошто сам се тада углавном бавио оперативним системима, претпостављао сам да ће моја каријера бити углавном повезана са њима. Али Рочестер је био веома мали универзитет, и због тога су различите групе тамо веома блиско сарађивале једна са другом. Није било туце других људи са оперативним системима са којима бих могао да разговарам, тако да су сви моји контакти били са људима који су радили у потпуно различитим областима. Заиста сам уживао, то што сам свестрани је велика предност за мене. Ако говоримо конкретно о вишенитним структурама података и алгоритмима синхронизације, онда сам сасвим случајно почео да радим на њима.

ИЕЕЕ скалабилни кохерентни интерфејс, МЦС закључавање.

Виталии: Можете ли ми рећи нешто више о овоме?

Мицхаел: Ово је смешна прича коју се не умарам свима да причам. Десило се на конференцији АСПЛОС у Бостону - то је било крајем 80-их или почетком 90-их. Џон Мелор-Крами (Џон Мелор-Крами), дипломац нашег факултета. Познавао сам га, али раније нисмо радили заједничка истраживања. Мери Вернон (Мари Вернон) из Висконсина је говорио о вишепроцесорском систему који су развијали у Висконсину: Висцонсин Мултицубе. Овај Мултицубе је имао механизам за синхронизацију на хардверском нивоу који се зове К он Синц Бит, а касније је преименован у К он Лоцк Бит јер је звучао као Цолби цхеесе, што је била игра речи. Ако сте заинтересовани за вишенитне механизме, вероватно знате да је Цолби на крају постао механизам за синхронизацију за стандард ИЕЕЕ Сцалабле Цохерент Интерфаце. Ово је био механизам за закључавање који је креирао показиваче из једне кеш меморије у другу на нивоу хардвера тако да је сваки држач браве знао на кога је дошао ред. Када смо Џон и ја чули за ово, погледали смо се и рекли: зашто ово радити на хардверском нивоу? Зар се иста ствар не може постићи коришћењем упореди-и-замени? Узели смо једну свеску која је лежала у учионици и жврљали по њој МЦС блокирање, док је Мери наставила свој извештај. Након тога смо то имплементирали, експериментисали, идеја се показала успешном и објавили смо чланак. Тада ми је ова тема деловала само као забавна дистракција, након чега сам планирао да се вратим оперативним системима. Али онда се појавио још један проблем на истој линији, и на крају су синхронизација, вишенитност и структуре података постале моја специјалност. Као што видите, све се ово догодило случајно.

Виталии: Одавно сам упознат са МЦС блокирањем, али до сада нисам знао да је то ваше дело, а нисам ни разумео да је то акроним за ваша презимена.

Како преживети у свету који се стално мења?

Алек: Имам питање на сродну тему. Пре 30 или 40 година било је више слободе у различитим специјалностима. Ако желите да започнете каријеру у вишенитним или дистрибуираним системима, добродошли сте, ако желите да уђете у оперативне системе, нема проблема. У свакој области било је много отворених питања и мало стручњака. Сада су се појавиле уске специјализације: не постоје само стручњаци за оперативне системе уопште, постоје стручњаци за појединачне системе. Исто је и са вишенитним и дистрибуираним системима. Али проблем је у томе што наши животи нису бесконачни, свако може да посвети само неколико деценија истраживању. Како преживети у овом новом свету?

Мицхаел: Ми нисмо посебни у овом погледу. Имао сам среће што сам почео да радим у рачунарству када је ова област била у „тинејџерским“ годинама. Неки темељи су већ били постављени, али је све било још веома незрело. Ова прилика се не појављује често. Електротехника постоји јако дуго, физика још дуже, математика скоро од почетка времена. Али то не значи да више нико не долази до занимљивих открића у математици. Још увек има много отворених проблема, али у исто време треба више да се научи. У праву сте да приметите да сада постоји много више специјализација него што је било раније, али то само значи да смо се нашли у истој ситуацији као и већина других области људске делатности.

Алек: Занима ме практичнији аспект овог питања. Имам математичко образовање, а током студија често сам присуствовао конференцијама и радио на разним научним темама. Открио сам да нико у публици није разумео моје извештаје, а на исти начин су извештаји других људи били разумљиви само њима самима. То није случај у темама на високом нивоу, али чим почнете да се упуштате у нешто, публика више не може да вас прати. Како се носите са овим?

Мицхаел: Није увек успешан. Недавно сам припремио извештај у коме сам превише ушао у техничке детаље. Како је разговор одмицао, постало је јасно да ме већина публике не разуме, па сам морао да се прилагођавам ситуацији у ходу. Слајдови нису могли да се мењају, тако да није испало баш најбоље - тако да, уопштено говорећи, трудим се да не користим слајдове. Све у свему, мој савет је да узмете у обзир своју публику. Морате да знате са ким разговарате, који је њихов ниво знања и шта треба да чују да би ценили ваш рад.

Виталии: Можете ли нам дати наговештај о чему се радило на овом предавању?

Мицхаел: Искрено говорећи, више бих волео да не ширим ову тему како бих дотичне људе оставио анонимним. Поента је у томе да често улазимо сувише дубоко у замршеност проблема на којем радимо, па нам постаје тешко да на почетку говора објаснимо зашто је проблем занимљив и важан и како се односи на питања која публика већ зна. Према мојим запажањима, ученицима је најтеже да уче ову вештину. И ово је такође била слаба тачка мог недавног извештаја. Правилно структуиран извештај треба од самог почетка да пронађе контакт са публиком, објасни јој шта је тачно проблем и како се он односи на теме које су јој већ познате. Колико ће овај увод бити технички зависи од публике. Ако је потпуно шаролик, онда извештај може бити вишестепени. Увод би требало да буде доступан свима, а до краја део можда неће моћи да вас прати, али људи који су релативно упознати са вашим пољем моћи ће то да схвате.

Да ли ученици постају глупљи? Глобални трендови, интернационализација.

Алек: Већ неколико деценија посматрате ученике. Да ли су ученици из деценије у деценију или из године у годину све глупљи или паметнији? У Русији се професори стално жале да су студенти сваке године све глупљи и заиста није јасно шта да се ради о томе.

Мицхаел: Заиста се може чути много негативности од нас старих. Подсвесно, имамо тенденцију да очекујемо да студенти апсорбују свих 30 година искуства које већ имамо. Ако ја имам дубље разумевање него 1985. зашто га студенти немају? Вероватно зато што имају 20 година, шта мислите? Мислим да су најзначајније промене последњих деценија биле у демографском саставу: сада имамо знатно више међународних студената, са изузетком Канађана. Некада је било доста Канађана јер смо веома близу канадске границе и студенти одатле могу да путују кући викендом. Али сада у Канади има много добрих универзитета, а Канађани више воле да студирају овде у САД.

Алек: Мислите ли да је ово локални или глобални тренд?

Мицхаел: Не сећам се тачно ко, али неко је рекао да је свет раван. Наша област је постала много интернационалнија. АЦМ конференције Раније су се одржавали искључиво унутар САД, затим су одлучили да се одржавају једном у 4 године у другим земљама, а сада се одржавају широм света. Ове промене су утицале још више ИЕЕЕ, јер је одувек била више међународна организација него АЦМ. А ту су и програмске столице из Кине, Индије, Русије, Немачке и многих других земаља, јер се сада много тога дешава.

Алек: Али, вероватно, постоје неки негативни аспекти такве интернационализације?

Мицхаел: Рекао бих да се сви негативни аспекти не односе на технологију, већ на политику. Некада је главни проблем била чињеница да су САД крале најпаметније и најталентованије људе из земаља широм света. А сада су главни проблем политичке игре између различитих земаља око виза и имиграције.

Алек: Односно баријере и сличне ствари. То је јасно.

Владимир: Лично ме интересује какав приступ имате у предавању новог предмета ученицима. Постоје различите опције: пре свега можете покушати да их инспиришете да испробају нешто ново, или можете обратити више пажње на детаље о томе како одређена технологија функционише. Шта више волите?

Ефикасан рад са ученицима

Алек: А како пронаћи проклети баланс између првог и другог?

Мицхаел: Проблем је што часови не иду увек онако како бих желео. Ученицима обично унапред дајем лектиру како би се удубили, разумели најбоље што могу и формулисали питања о оним деловима које нису могли да разумеју. Тада на часу можете да се усредсредите на најтеже тренутке и истражите их заједно. Овако највише волим да држим часове. Али с обзиром на оптерећење које сада лежи на студентима, нисам увек у могућности да се побринем да се унапред припреме. Као резултат тога, општем препричавању материјала морате посветити много више времена него што бисте желели. Упркос томе, трудим се да наши часови буду интерактивни. Иначе, лакше је једном снимити видео који ученици могу да гледају код куће. Поента часова уживо је људска интеракција. На часу више волим да користим креду и таблу него слајдове, осим у одређеним случајевима када је дијаграм превише сложен да би се приказао на табли. Захваљујући томе, не морам да се држим ригидног плана часова. Пошто не постоји стриктан редослед давања материјала, то ми омогућава да га прилагодим публици у зависности од питања која добијам. Генерално, трудим се да часове учиним што интерактивнијим, тако да материјал који износим зависи од питања која ми се постављају.

Владимир: То је супер. По мом искуству, прилично је тешко навести слушаоце да постављају питања. Чак и ако унапред тражите да поставите било каква питања, ма колико глупа или паметна, они и даље ћуте. Како се носите са овим?

Мицхаел: Насмејаћете се, али ако довољно дуго стојите у тишини, свима ће пре или касније постати непријатно и неко ће поставити питање. Или можете поставити једноставно техничко питање са да или не да бисте утврдили да ли људи разумеју оно што је управо речено. На пример, да ли постоји трка података у примеру изнад? Ко тако мисли? Ко мисли да није? Ко уопште не разуме ништа, јер је укупно само половина руку подигла?

Виталии: А ако си погрешно одговорио, избачен си са часа :)

Мицхаел: Ако нисте ништа одговорили, онда би требало да поставите питање. Морам да разумем шта тачно ученик треба да зна да би одговорио на питање које сам управо поставио. Требају ми да ми помогну да им помогнем. Спреман сам да им се прилагодим како би разумели проблем. Али ако не знам шта им се дешава у глави, не могу то да урадим. А ако ученицима не дате мира довољно дуго, понекад на крају поставе права питања, односно она која ми омогућавају да видим шта се тачно дешава у главама ученика. 

Алек: Да ли ова питања понекад доводе до идеја о којима раније нисте размишљали? Да ли су неочекивани? Да ли вам дозвољавају да сагледате проблем у новом светлу?

Мицхаел: Постоје питања која отварају нови начин презентовања материјала. Често постоје питања која доводе до занимљивих проблема о којима нисам планирао да причам. Ученици ми често говоре да имам тенденцију да скренем са теме када се то деси. И, по њима, врло често је ово најзанимљивији део лекције. Веома ретко, само неколико пута, студенти су постављали питања која су подстакла нови правац у истраживању и прерасла у чланак. То се дешава много чешће у разговору са ученицима, а не током наставе, али се повремено дешавало и током наставе. 

Алек: Дакле, ученици су вам постављали питања на основу којих је онда било могуће објавити чланак?

Мицхаел: Да. 

Виталии: Колико често водите ове разговоре са ученицима? Када желе да науче више од онога што је обрађено током лекције?

Мицхаел: Са својим дипломираним студентима - стално. Имам их око 5-6 и стално о нечему разговарамо са њима. А разговори ове врсте са студентима који једноставно похађају моје часове нису баш чести. Иако бих волео да се ово дешава чешће. Претпостављам да се једноставно плаше да дођу на факултет у радно време. Сваког семестра неки студенти успеју да превазиђу ову психолошку баријеру и увек је веома занимљиво разговарати са њима после наставе. Истина, да су сви ђаци храбри, једноставно не бих имао довољно времена. Дакле, можда све функционише како треба. 

Виталии: Како успевате да нађете времена за комуникацију са студентима? Колико ја знам, у САД наставници имају много посла – аплицирање за стипендије и слично. 

Мицхаел: Искрено, рад са студентима је аспект мог посла у којем највише уживам. Тако да имам довољно мотивације за ово. Већину времена које проводим у својој канцеларији проводим на састанцима свих врста. Сада је лето, па ми је распоред мање заузет, али током школске године сваког дана од 9 до 17 имам све спаковано. Истраживачки рад, рецензије, грантови - за све ово постоје само вечери и викенди. 

Како бити у току са припремом нових курсева и књига.

Алек: Да ли тренутно настављате да предајете неке предмете које предајете већ дуже време? Нешто као увод у рачунарство.

Мицхаел: Прво што ми пада на памет је курс програмских језика. 

Алек: Колико се данашња верзија овог курса разликује од онога што је била пре 10, 20, 30 година? Можда оно што је интересантније овде нису детаљи одређеног курса, већ општи трендови.

Мицхаел: Мој курс о програмским језицима је био помало необичан у време када сам га креирао. Почео сам да га читам касних 1980-их, заменивши свог колегу Дага Болдвина (Доуг Балдвин). Тема курса је била само тангенцијално везана за моју специјалност, али када је он отишао, ја сам био најбољи кандидат да предајем курс. Није ми се допао ниједан од уџбеника који су тада постојали, па сам на крају сам написао уџбеник за овај предмет. (Напомена уредника: говоримо о књизи „Прагматика програмског језика“) Сада се користи на више од 200 универзитета широм света. Мој приступ је необичан по томе што намерно меша проблеме дизајна и имплементације језика и поклања велику пажњу интеракцији између ових аспеката у свим могућим областима. Основни приступ је остао непромењен, као и многи основни концепти: апстракције, именски простори, модуларност, типови. Али скуп језика са којима се ови концепти демонстрирају у потпуности се променио. Када је курс први пут креиран, било је много примера у Пасцалу, али данас многи моји студенти нису ни чули за овај језик. Али они знају Свифт, Го, Руст, тако да морам да причам о језицима који су данас у употреби. Такође, студенти су сада добро упућени у скриптне језике, али када сам почео да предајем овај курс, све је било око компајлираних језика. Сада нам је потребно много материјала о Питхон-у, Руби-у, па чак и Перл-у, јер је то оно што се код данас пише, а на овим језицима се дешава много занимљивих ствари, укључујући и област језичког дизајна. 

Виталии: Онда ће моје следеће питање бити повезано са претходним. Како одржати корак у овој области? Претпостављам да ажурирање оваквог курса захтева много посла – морате разумети нове језике, разумети главне идеје. Како то радиш?

Мицхаел: Не могу да се похвалим да увек успевам 100%. Али већину времена само радим оно што сви други раде - читам интернет. Ако желим да разумем Руст, прогуглам га, идем на Мозилла страницу и прочитам упутство које је тамо објављено. Ово је део ствари које се дешавају у комерцијалном развоју. Ако говоримо о науци, онда треба да пратите извештаје на главним конференцијама. 

Веза између бизниса и академије

Виталии: Хајде да разговарамо о повезаности бизниса и научног истраживања. У вашој листи радова нашао сам неколико чланака о кохерентности кеша. Разумем да су алгоритми конзистентности кеша били нестабилни у време када су објављени? Или није довољно распрострањена. Колико су ваше идеје биле уобичајене у пракси?

Мицхаел: Нисам баш сигуран о којим публикацијама говорите. Урадио сам доста посла са својим студентима Биллом Болоскијем (Вилијам Болоски) и Леонидас Контотанасис (Леонидас Контотханассис) почетком 1990-их о управљању меморијом Неуманових машина. У то време, посао још није имао разумевање како правилно направити вишепроцесорски систем: да ли је вредно креирати подршку за приступ удаљеној меморији на хардверском нивоу, да ли је вредно да се меморија дистрибуира, да ли је могуће учитати кеш са удаљену меморију, или је потребно премештати странице у оперативном систему? Бил и Леонидас су радили у овој области и истраживали приступе без даљинског учитавања кеша. Ово није било директно повезано са кохерентношћу кеша, али је и даље био рад на управљању НУМА меморијом, а касније су из тога израсли савремени приступи постављању страница у модерним оперативним системима. Све у свему, Бил и Леонидас су обавили важан посао, иако не најутицајнији у овој области – било је много других људи који су радили на истој ствари у то време. Касније сам радио на теми која се односи на кохерентност кеша у контексту хардверске трансакционе меморије. Група са којом сам радио на овом проблему на крају је добила неколико патената. Иза њих стоје неке прилично занимљиве идеје, али не мислим да ће се на крају спровести у пракси. На овај или онај начин, тешко ми је да проценим њихову профитабилност. 

Алек: С тим у вези, једно личније питање: колико вам је важно да се ваше идеје спроведу у дело? Или не размишљаш о томе?

Мицхаел: Волим да постављам ово питање у интервјуима са другим људима, кандидатима или кандидатима који желе да се придруже факултету. Мислим да не постоји тачан одговор на ово питање. Људи који раде цоол ствари могу имати веома различите мотиве. Привлаче ме проблеми зато што их лично сматрам занимљивим, а не због њихове практичне користи. Али с друге стране, када нека занимљива ствар ипак нађе примену, јако ми се свиђа. Дакле, овде није лако. Али на почетку мог рада и даље ме не води идеја о крајњој употреби у свету, већ хармонија идеје и жеља да је истражим и видим шта ће из ње произаћи. Ако на крају даје практичне резултате, одлично. 

Алек: Због свог образовања и искуства, ви сте способнији од већине да процените вредност идеја других људи. Можете их упоредити и одредити шта са којим боље функционише. Сигуран сам да имате мишљење о стварима које тренутно у пракси користе велики произвођачи попут Интела. Са ваше тачке гледишта, колико је исправан курс који ове компаније иду?

Мицхаел: Пракса се увек врти око тога шта може бити комерцијално успешно, односно створити профит, а о томе боље питајте неког другог. Мој рад углавном резултира публикацијама, а у области оперативних система оне се оцењују на основу индикатора перформанси: брзине, потрошње енергије, величине кода. Али увек ми се чинило да се ови емпиријски резултати додају чланцима само да би се могли објавити, а стварни мотиви људи за рад су естетски. Истраживачи процењују решења из уметничке перспективе, брину о томе колико су идеје елегантне и покушавају да створе нешто боље од постојећих приступа. Истраживаче воде лични, субјективни, естетски мотиви. Али не можете писати о овоме у самом чланку; ове ствари нису аргументи за програмски комитет. На срећу, елегантна решења су често и брза и јефтина. Десетак мојих колега и ја смо разговарали о овој теми пре око 15 година и на крају написали чланак о томе. Мислим да га још увек можете пронаћи, зове се „Како проценити системско истраживање“ или тако нешто, има више десетина аутора. Ово је једини чланак у коме сам ја аутор заједно са Сасха Федорова, па ако претражите њено име у мојој листи публикација, наћи ћете оно што вам треба. Говори о процени система истраживања и колико је важна елеганција. 

Алек: Дакле, постоји разлика између стандарда онога што се сматра добрим у науци и у бизнису. Наука процењује перформансе, потрошњу енергије, ТДП, лакоћу имплементације и још много тога. Да ли имате прилику да ову врсту истраживања спроводите на универзитету? Да ли имате лабораторију са различитим машинама и различитим архитектурама у којој бисте могли да спроводите експерименте?

Мицхаел: Да, наше одељење има много различитих занимљивих машина. Најчешће су мали, имамо мали кластер и много вишепроцесорских система са различитим акцелераторима. Поред тога, кампус има огроман рачунарски центар који служи научницима из неколико десетина различитих дисциплина. Има око хиљаду чворова и двадесет хиљада језгара, све на Линук-у. Ако се укаже потреба, увек можете купити неки АВС. Дакле, немамо значајна ограничења са хардвером. 

Алек: Како је било пре тридесет година? Да ли је тада било проблема?

Мицхаел: Тада је било мало другачије. Средином до касних 1980-их сматрало се да науци недостају рачунарски ресурси. Да поправи ову ситуацију, Национална научна фондација (Национална научна фондација) креирао програм координисаних експерименталних истраживања (Цоординатед Екпериментал Ресеарцх, ЦЕР). Мисија програма је била да обезбеди рачунарску инфраструктуру за одељења за рачунарске науке и постигао је значајну промену. Са новцем који је она обезбедила, ми на Универзитету у Рочестеру купили смо ББН Буттерфли од 1984 чворова 128. године, ово је било годину дана пре него што сам стигао тамо. У то време то је био највећи светски вишепроцесорски систем са заједничком меморијом. Имао је 128 процесора, сваки на засебној матичној плочи, и заузимао је четири сталка. Сваки процесор је имао мегабајт меморије, 128 мегабајта РАМ-а је била незамислива количина у то време. На овој машини смо први пут имплементирали МЦС закључавање. 

Алек: Дакле, ако сам вас добро разумео, онда је тренутно проблем са хардвером решен? 

Мицхаел: Генерално, да. Постоји неколико упозорења: прво, ако се бавите архитектуром рачунара на нивоу чипа, то је тешко учинити у академском окружењу јер постоје много бољи алати за то у послу. Ако вам треба нешто мање од 10 нанометара, мораћете да га наручите од неког другог. У овој области је много лакше бити истраживач у Интелу. Ако радите на оптичким комуникацијама на чиповима или на чврстој меморији, наћи ћете у послу технологије које још нису у науци, тако да морате да стварате савезе. На пример, Стивен Свонсон (Стевен Свансон) креиран такво партнерство за нове меморијске технологије. Овај облик не функционише увек, али у неким случајевима може бити прилично успешан. Поред тога, у науци је развој најмоћнијих рачунарских система тежи. Највећи суперкомпјутерски пројекти тренутно у САД, Јапану и Кини фокусирани су на пословање. 

Практична имплементација идеја. МЦС, МС, ЦЛХ, ЈСР 166, рад са Дагом Лијем и још много тога.

Виталии: Већ сте причали о томе како сте почели да радите на алгоритмима за синхронизацију. Имате два веома позната чланка о МЦС блокирање и Мицхаел-Сцотт ред (МС), који су у извесном смислу имплементирани у Јави. (Напомена уредника: све публикације се могу погледати по ссылке). Тамо је ово блокирање спроведено уз неке измене и испоставило се ЦЛХ брава, а ред је имплементиран како је замишљено. Али прошло је много година од објављивања ваших чланака до њихове практичне примене. 

Алек: Чини се око 10 година у случају реда.

Мицхаел: Пре него што су се ове функције појавиле у Јава стандардној библиотеци?

Виталии: Да. Шта сте урадили да се ово деси? Или нису ништа урадили?

Мицхаел: Могу вам рећи како је МС Куеуе ушао у Јаву 5. Неколико година пре него што је изашао, радио сам са групом Марка Мојерса у компанији Сун Мицросистемс у њиховој лабораторији близу Бостона. Организовао је радионицу за људе које је познавао и који су радили на интересантним проблемима у мултитхреадинг-у јер је желео да пронађе теме које би могао да прода њиховој компанији. Тамо сам први пут срео Дага Леа. Даг и ја и још око 25 људи из Сун-а заједно смо разговарали о Даговој презентацији ЈСР 166, који је касније постао јава.утил.цонцуррент. Успут, Даг је рекао да би волео да користи МС ред, али му је за ово потребан бројач за број елемената у реду за интерфејс. То јест, ово је требало да се уради посебном методом, атомском, тачном и брзом. Предложио сам једноставно додавање серијских бројева чворовима, узимајући број првог и последњег чвора и одузимајући један од другог. Даг се почешао по глави, рекао „зашто не“, и на крају је урадио управо то. Разговарали смо о примени овог приступа у библиотеци, али Даг је већину посла урадио сам. Као резултат тога, успео је да успостави одличну подршку за више нити у Јави. 

Алек: Дакле, ако сам добро разумео, метода .сизе() је требало да буде део стандардног интерфејса реда и требало је да има алгоритамску сложеност од О(1)?

Мицхаел: Да, и поред овога, потребан је посебан бројач.

Алек: Јер ако позовете методу .сизе() у Јави, очекује се да ће резултат бити доступан одмах, а не заснован на стварној величини колекције. Видим, хвала.

Мицхаел: Неколико година касније радио сам на дуалним структурама података са својим студентом Биллом Сцхерером - у ствари, ово је оно о чему ћу говорити извештај о Хидри. Доуг је дошао код нас и рекао да може да их користи у Јава Екецутор Фрамеворк-у. Заједно са Биллом креирали су две имплементације, такозване фер и неправедне редове. Саветовао сам их о овом пројекту, иако нисам учествовао у писању самог кода. Као резултат тога, брзина извршилаца је значајно повећана. 

Владимир: Да ли сте наишли на нетачне имплементације ваших алгоритама или захтеве за додавањем нових функција? Генерално, пракса би требало да се поклапа са теоријом, али се често разликују. Претпоставимо да сте написали алгоритам и на папиру он функционише, али људи који су укључени у имплементацију почели су да траже од вас више функција или неку врсту подешавања алгоритма. Да ли сте икада имали такве ситуације?

Мицхаел: Једини пример у коме је неко дошао код мене и питао „како да то применим“ било је Дагово питање о коме сам већ говорио. Али било је неколико случајева где су направљене занимљиве промене како би се задовољиле практичне потребе. На пример, К42 тим у ИБМ-у је конвертовао МЦС закључавање и направио га стандардним интерфејсом тако да није било потребе за прослеђивањем чвора реда напред-назад у рутине преузимања и ослобађања. Захваљујући овом стандардном интерфејсу, идеја која је била лепа у теорији почела је да функционише у пракси. Изненађујуће је да никада нису објавили чланак о томе, а иако су добили патент, касније су га напустили. Идеја је била дивна и трудим се да причам о томе кад год је то могуће. 

Било је и других случајева у којима су људи побољшали алгоритме које сам објавио. На пример, МС ред има инсталацијски механизам у два корака, што је значило да постоје два ЦАС-а на критичној путањи реда. На старијим аутомобилима, ЦАС су били прилично скупи. Интел и други произвођачи су их недавно прилично добро оптимизовали, али некада су то биле инструкције од 30 циклуса, тако да је више од једног на критичном путу било непожељно. Као резултат, развијен је посебан ред који је био сличан МС реду, али који је имао само једну атомску операцију на критичном путу. Ово је постигнуто због чињенице да је током одређеног временског периода операција могла да траје О(н) времена, а не О(1). Било је мало вероватно, али могуће. Ово се десило због чињенице да је у одређеним тренуцима алгоритам прелазио ред од почетка до тренутне позиције у овом реду. Генерално, алгоритам се показао веома успешним. Колико ја знам, није много у употреби, делом зато што атомске операције захтевају знатно мање ресурса него раније. Али идеја је била одлична. Такође ми се јако свиђа рад Давеа Дицеа из Орацле-а. Све што ради је веома практично и веома паметно користи гвожђе. Учествовао је у већини алгоритама за синхронизацију који су свесни НУМА и структурама података са више нити. 

Владимир: Када пишете алгоритме или подучавате ученике, резултат вашег рада није одмах видљив. Заједници је потребно неко време да се упозна са, рецимо, новим чланком. Нови алгоритам не налази одмах примену. 

Мицхаел: Далеко од тога да је одмах јасно да ли ће чланак бити значајан или не. Мислим да би било занимљиво направити студију радова који су награђивани на конференцијама. Односно, погледајте чланке које су људи у програмским одборима својевремено сматрали најбољима. Треба да покушате да израчунате по броју линкова и утицају на пословање колико су ови чланци заиста били утицајни за 10, 20, 25 година. Сумњам да би постојала јака корелација између то двоје. Неће бити нула, али ће највероватније бити много слабије него што бисмо желели. Многе идеје остају незатражене дуго времена пре него што постану широко распрострањене. На пример, узмимо трансакциону меморију. Прошло је више од 10 година од објављивања оригиналног чланка до тренутка када су људи заправо почели да праве машине са њим. И пре појављивања ове меморије у комерцијалним производима - и свих 20. Веома дуго нико није обраћао пажњу на чланак, а онда је број линкова на њега нагло порастао. То би било тешко предвидети унапред. С друге стране, понекад идеје одмах нађу имплементацију. Пре неколико година, написао сам рад са Џоом Израелевицом за ДИСЦ који је предложио нову формалну дефиницију валидности за трајне структуре података које би могле да се користе након што се рачунар који их покреће сруши. Свидео ми се чланак од самог почетка, али се испоставило да је много популарнији него што сам очекивао. Користило ју је неколико различитих група и на крају је постала стандардна дефиниција перзистентних структура. Што је, наравно, лепо.

Владимир: Постоје ли неке технике које користите за процену? Да ли уопште покушавате да процените своје чланке и своје ученике? У смислу да ли особа коју сте подучавали иде у правом смеру.

Мицхаел: Као и сви, више обраћам пажњу на оно што тренутно радим. Опет, као и сви други, повремено проверавам Гоогле Сцхолар да видим да ли се моји ранији радови цитирају, али то је више из радозналости. Углавном сам заокупљен оним што моји ученици сада раде. Када је у питању оцењивање тренутног рада, део тога су и естетска разматрања, шта је елегантно, а шта није. И на свакодневном нивоу, отворена питања играју велику улогу. На пример, дође ми студент са графиком неких резултата, а ми покушавамо да схватимо откуд неко чудно понашање графа. Уопште, у нашем раду стално покушавамо да разумемо ствари које још не разумемо. 

Трансакциона меморија

Виталии: Можда можемо мало да причамо о трансакционој меморији?

Мицхаел: Мислим да вреди рећи бар мало јер сам уложио много труда у то. Ово је тема о којој имам више публикација од било које друге. Али у исто време, колико је чудно, увек сам био веома скептичан у вези са трансакционом меморијом. По мом мишљењу, чланак Херлихи и Мосс (М. Херлихи, Ј. Е. Б. Мосс) објављен је испред свог времена. Почетком 1990-их, сугерисали су да би трансакциона меморија могла да помогне талентованим програмерима да раде на вишенитним структурама података, тако да би те структуре тада могле да се користе као библиотеке од стране обичних програмера. Односно, то би било од помоћи Дагу Лију који ради свој ЈСР 166. Али трансакциона меморија није била намењена да олакша вишенитно програмирање. Али управо је тако почео да се доживљава почетком 2000-их, када је постао широко распрострањен. Рекламиран је као начин да се реши проблем паралелног програмирања. Овакав приступ ми је увек изгледао безнадежан. Трансакциона меморија је могла само да олакша писање паралелних структура података. То је, чини ми се, постигла. 

О тешкоћама писања вишенитног кода

Алек: Веома занимљиво. Чини се да постоји одређена баријера између обичних програмера и оних који могу да пишу вишенитни код. Прошле године сам неколико пута разговарао са људима који су имплементирали неки алгоритамски оквир. На пример, са Мартином Томсоном, као и са програмерима који раде на библиотекама са више нити. (Напомена уредника: Мартин Томпсон је веома познат програмер, написао је Дисруптор и Аерон. И он такође има извештај на нашој конференцији Јокер 2015, видео снимак доступно на ИоуТубе-у. Он је исти отворен ову конференцију главни запис такође доступно). Главни изазов, кажу, је да алгоритме буду брзи и лаки за употребу. Односно, покушавају да превазиђу ову баријеру и привуку што више људи на ово подручје. Шта мислите о томе?

Мицхаел: Ово је главни проблем вишенитног рада: како постићи високе перформансе без повећања сложености система. 

Алек: Јер када покушавају да избегну сложеност, алгоритам постаје мање универзалан.

Мицхаел: Кључ овде су правилно дизајниране апстракције. Чини ми се да је то генерално главна ствар за рачунарске системе као област. Батлер Лампсон воли да користи овај израз и назива нас „трговцима апстракција“. Једноставне технологије данас не постоје. Процесори које користимо имају 10 милијарди транзистора — једноставност не долази у обзир. У исто време, ИСА је много једноставнији од процесора, пошто смо радили веома дуго да бисмо му обезбедили високе перформансе и релативно једноставан интерфејс. Али ни са њом није све глатко. Исти проблем је и са акцелераторима који се сада појављују на тржишту. Постављају се питања – како направити прави интерфејс за ГПУ, механизам за шифровање, компресију, механизам за транскодирање, механизам линеарне алгебре, или чак флексибилнији ФПГА. Како направити интерфејс који чини алат лаким за коришћење и сакрива сложеност? Неће га се отарасити, већ га сакрити од једноставног програмера. 

Алек: Колико ја разумем, још увек имамо баријеру у разумевању апстракција. Узмимо модел памћења у нашој фази развоја науке и технологије, ово је једна од главних апстракција. Захваљујући њему, сви програмери су подељени у две групе: већи део су они који то не разумеју, а мањи део су они који разумеју, или мисле да разумеју. 

Мицхаел: То је добро питање - да ли неко од нас заиста разуме модел меморије?

Виталии: Посебно у Ц++.

Мицхаел: Разговарајте са Хансом Боехмом понекад. Он је један од најпаметнијих људи које познајем, водећи стручњак за меморијске моделе. Одмах ће вам рећи да много тога не разуме. Али ако се вратимо на питање апстракција, онда је, по мом мишљењу, изражена најважнија идеја у области меморијских модела у последњих 30 година. у дисертацији Сарите Адве. (Напомена уредника: доступна је комплетна листа публикација по ссылке).

Алек: Моје питање је: да ли ова препрека долази из саме природе концепта? 

Мицхаел: Не. Сарита је дошла до закључка да са правим приступом можете успешно сакрити сву сложеност, добити високе перформансе и дати програмеру једноставан АПИ. А ако пратите овај АПИ, можете постићи доследност. Мислим да је ово прави модел. Пишите код без трка података и добијте секвенцијалну доследност. Наравно, да би се смањила вероватноћа тркања, потребни су посебни алати, али то је друга ствар. 

Владимир: Да ли је било тренутака у Вашој каријери када се проблем који се чинило решен одједном претворио у катастрофу или се испоставило да је овај проблем нерешив? На пример, у теорији можете чинити било који број или одредити да ли је било који број прост. Али у пракси то може бити тешко изводљиво са тренутним хардвером, тешко је факторисати бројеве. Да ли се и вама десило нешто слично?

Мицхаел: Не сећам се одмах тако нечег. Било је тренутака када ми се чинило да на одређеном подручју нема шта да се ради, али онда се ту десило нешто ново и занимљиво. На пример, мислио сам да је област неограниченог чекања већ достигла зрелост. Након неколико побољшања МНС реда, ништа се више није догодило. А онда су Морисон (Адам Морисон) и Афек (Јехуда Афек) измислили ЛЦРК ред. Постало је јасно да је могућ неограничен вишенитни ред, где је већину времена постојала само инструкција преузимања и повећања на критичном путу. И то је омогућило постизање за ред величине боље перформансе. Није да не знамо да је преузимање и повећање веома корисна ствар. Ерик Фројдентал је о томе писао у свом раду на Ултракомпјутеру са Аланом Готлибом крајем 1980-их, али се радило о ограниченим редовима. Морисон и Афек су били у могућности да користе дохват и повећање на неограниченом реду чекања.

Нове архитектуре. Да ли је победа трансакционе меморије близу?

Владимир: Да ли тражите нова архитектонска решења која би могла бити корисна за алгоритме? 

Мицхаел: Наравно, има много ствари које бих волео да се имплементирају. 

Владимир: Какву, на пример?

Мицхаел: Пре свега, неколико једноставних проширења наше трансакционе меморије на нивоу хардвера у Интел и ИБМ процесорима. Конкретно, желео бих да нетрансакционо оптерећење и складиште који су се управо појавили буду одмах доступни у оквиру трансакција. Они одмах доводе до петљи у редоследу догађаја-пре, тако да могу бити тешки. Али ако одржавате слојеве апстракције, постоји много веома занимљивих ствари које можете да урадите ван трансакције док се она дешава. Не знам колико би ово било тешко спровести, али би било веома корисно. 

Још једна корисна ствар је учитавање кеша из удаљене меморије. Мислим да ће то пре или касније бити учињено. Ова технологија ће омогућити стварање система са дезагрегираном меморијом. Било би могуће задржати, рецимо, 100 терабајта непромјењиве меморије у рацк-у, а сам оперативни систем би динамички одлучивао који дијелови те меморије треба да одговарају физичком адресном простору процесора. Ово би било изузетно корисно за рачунарство у облаку, јер би омогућило да се велике количине меморије обезбеде задацима којима је то потребно. Мислим да ће неко то урадити.

Виталии: Да завршим разговор о трансакционој меморији, имам још једно питање на ову тему. Да ли ће трансакциона меморија на крају заменити стандардне вишенитне структуре података?

Мицхаел: Не. Трансакције су спекулативни механизам. На нивоу програмирања то су атомске браве, али изнутра су спекулације. Такво предвиђање функционише ако је већина нагађања тачна. Према томе, трансакциона меморија добро функционише када нити ретко комуницирају једна са другом, и само треба да се уверите да нема интеракција. Али ако порука почиње између нити, трансакције су од мале користи. Дозволите ми да објасним, говоримо о случају када су трансакције омотане око целе атомске операције. Они се и даље могу успешно користити као компоненте за вишенитне структуре података. На пример, ако вам је потребан ЦАС од три речи, и морате да унесете три мале ствари у више нити усред истински вишенитног алгоритма који ради са двадесет нити истовремено. Уопштено говорећи, трансакције могу бити корисне, али неће елиминисати потребу за правилним дизајнирањем вишенитних структура података. 

Неиспарљива меморија, Оптане ДИММ, ултра-брзи уређаји.

Виталии: Последња ствар о којој бих желео да говорим је тема вашег тренутног истраживања: непроменљива меморија. Шта можемо очекивати у овој области у блиској будућности? Можда знате за неке ефикасне имплементације које већ постоје? 

Мицхаел: Нисам стручњак за хардвер, знам само оно што читам у вестима и шта ми колеге кажу. Сви су већ чули да Интел продаје Оптане ДИММ, који имају око 3 пута веће кашњење читања и 10 пута веће кашњење у писању од динамичке РАМ меморије. Ускоро ће бити доступни у веома великим верзијама. Смешно је помислити да можете имати лаптоп са неколико терабајта РАМ-а који се може адресирати у бајтовима. Вероватно ћемо за 10 година одлучити да користимо ову нову технологију, пошто користимо ДРАМ - само повећајте јачину звука. Али захваљујући енергетској независности, отварају нам се потпуно нове могућности. Можемо фундаментално да променимо складишни стек тако да не постоји раздвајање између радне меморије која се адресира у бајтовима и трајне меморије са блок структуром. Дакле, нећемо морати да серијализујемо све што треба да се пренесе из једног покретања програма у други у блок-структуриране датотеке. Из овога можемо извући многе важне принципе који утичу на оперативне системе, окружења за извршавање и дистрибуирана складишта података. Ова област је веома интересантна за рад. Лично, тешко ми је да предвидим до чега ће све ово довести, али проблеми су овде изузетно забавни. Овде може доћи до револуционарних промена, које следе веома природно из рада на вишенитности, пошто је опоравак од квара „вишенитни“ процес поред нормалног рада система. 

Друга главна тема на којој тренутно радим је управљање ултра брзим уређајима и сигуран приступ уређајима из корисничког простора са системском контролом политика. Последњих година постоји тренд да се приступ уређају премести у кориснички простор. Ово је учињено зато што ТЦП-ИП стек кернела не може да функционише на врху мрежног интерфејса коме је потребан нови пакет сваких 5 микросекунди, он једноставно неће пратити. Због тога произвођачи обезбеђују директан приступ уређајима. Али то значи да оперативни систем губи контролу над процесом и не може да обезбеди правилан приступ уређају за конкурентне апликације. Наш истраживачки тим верује да се овај недостатак може избећи. Имаћемо чланак о овоме на УСЕНИКС АТЦ-у овог месеца. Повезан је са радом на постојаности, пошто је дуговечна перзистентна меморија која се може адресирати у бајтовима, у суштини, уређај са ултра брзим И/О коме треба приступити у корисничком простору. Ово истраживање омогућава нове приступе микројезгрима, егзокернелима и другим традиционалним покушајима да се безбедно премести функционалност из језгра ОС-а у кориснички простор. 

Владимир: Меморија са бајтовима је одлична, али постоји физичко ограничење - брзина светлости. То значи да ће неизбежно доћи до кашњења у интеракцији са уређајем. 

Мицхаел: Апсолутно у праву.

Владимир: Да ли ће бити довољно капацитета да се носи са новим оптерећењем?

Мицхаел: Ово је одлично питање, али ће ми бити тешко да одговорим. Идеја обраде у меморији постоји већ неко време, веома је занимљива, али и веома сложена. Нисам радио у овој области, али било би сјајно када би се тамо дошло до неких открића. Бојим се да немам више шта да додам. 

Владимир: Постоји још један проблем. Нове, знатно веће количине РАМ-а биће немогуће уклопити у ЦПУ. Због тога, због физичких ограничења, ова РАМ меморија мора бити изолована. 

Мицхаел: Све зависи од броја кварова у производњи интегрисаних кола. Када би било могуће направити полупроводничке плочице у потпуности без дефеката, онда би било могуће направити читаво микроколо од њих. Али сада не знамо како да направимо микрокола веће од поштанских марака. 

Владимир: Али још увек говоримо о огромним величинама, о центиметрима. Ово неизбежно утиче на кашњење. 

Мицхаел: Да. Не можете ништа да урадите у вези са брзином светлости. 

Владимир: Нажалост. 

Следећи велики тренд. Двоструке структуре података. Хидра.

Виталии: Колико сам разумео, врло брзо хватате нове трендове. Били сте међу првима који су радили у трансакционој меморији и међу првима који су радили у непроменљивој меморији. Шта мислите да ће бити следећи велики тренд? Или је то можда тајна?

Мицхаел: Да будем искрен, не знам. Надам се да ћу моћи да приметим када се појави нешто ново. Нисам имао среће да сам измислим било које ново поље, али сам имао мало среће и могао сам прилично рано да почнем да радим у новим областима које су креирали други. Надам се да ћу то моћи да радим у будућности.

Алек: Последње питање у овом интервјуу биће о вашем учинку у Хидри и вашим активностима у школи. Ако сам добро разумео, извештај у школи ће бити о алгоритмима без блокирања, а на конференцији о двоструким структурама података. Можете ли рећи неколико речи о овим извештајима?

Мицхаел: Делимично смо се ових тема са вама већ дотакли у овом интервјуу. Ради се о послу који сам радио са својим учеником Биллом Сцхерером. Написао је тезу о томе, а Даг Ли је такође допринео томе, и на крају је постао део вишенитних синхроних редова у Јава библиотеци. Претпоставимо да се структура података чита и уписује без блокирања, односно свака операција има ограничен број инструкција на критичном путу. Ако покушате да уклоните податке из празног контејнера, или покушате да уклоните одређене податке који се не налазе у овом контејнеру, одмах ћете бити обавештени да то не можете учинити. Али ово понашање можда неће бити прихватљиво ако су нити заиста потребни ови подаци. Тада прво што вам пада на памет је да направите петљу која ће стално питати да ли су се појавили потребни подаци. Али онда постоји мешање за све остале. Поред тога, са овим приступом, можете сачекати 10 минута, а онда ће доћи нека друга нит, која ће случајно прва примити потребне податке. Двоструке структуре података још увек немају закључавања, али омогућавају нитима да исправно чекају. Термин „двоструко“ значи да структура садржи или податке или захтеве за подацима, назовимо их анти-подаци. Дакле, ако покушате да преузмете нешто из празног контејнера, захтев ће бити стављен у контејнер. Сада нит може да сачека захтев без ометања било кога другог. Поред тога, структура података додељује приоритете захтевима тако да их, када их прими, прослеђује правој особи. Резултат је механизам без закључавања који и даље има формалну спецификацију и добре перформансе у пракси. 

Алек: Каква су ваша очекивања од ове структуре података? Да ли ће побољшати перформансе у свим уобичајеним случајевима или је боље за одређене ситуације? 

Мицхаел: Корисно је ако вам је, прво, потребан контејнер без закључавања, и, друго, морате да сачекате у ситуацији када треба да преузмете податке из контејнера који није у њему. Колико ја знам, наш оквир пружа оптимално понашање када су испуњена ова два услова. Стога, у овим случајевима препоручујем да га користите. Главна предност структура података без закључавања је да избегавају проблеме са перформансама. А чекање је веома важно у многим алгоритмима ако се подаци преносе из једне нити у другу.

Виталии: Да појасним: хоћете ли о истој ствари причати и у школи и на конференцији?

Мицхаел: У школи Ја ћу говорити уопштено о вишенитним структурама података, са основним принципима наведеним на почетку лекције. Претпостављам да публика зна шта су нити и упозната је са бравама. На основу ових основних знања говорићу о структурама података без закључавања. Даћу преглед најважнијих проблема у овој области, дотичући се тема као што је управљање меморијом. Мислим да неће бити ништа компликованије од МС реда.

Алек: Да ли планирате да предајете о дуалним структурама података на крају вашег часа у школи?

Мицхаел: Поменућу их, али нећу трошити много времена на њих. Извештај Хидре биће посвећен њима. Покриваће пројекат који је на крају доспео у Јаву, као и рад са Џоом Израелевичем на креирању двоструке варијанте ЛЦРК реда и креирање скоро универзалног дизајна за дуалне структуре података.

Алек: Дакле, предавање у школи се може препоручити почетницима, а предавање о двоструким структурама података о Хидри - за људе који већ имају искуства?

Мицхаел: Исправите ме ако грешим, али публика у Хидри ће бити прилично разнолика, укључујући многе стручњаке за Јава, и уопште људе који нису посебно укључени у вишенитно програмирање. 

Виталии: Да истина је.

Алек: Бар се надамо.

Мицхаел: У овом случају, суочићу се са истим проблемом са којим смо започели овај интервју: како направити извештај који је довољно богат техничким детаљима и доступан свим слушаоцима.

Виталии: Хоћете ли давати извештај на исти начин на који држите предавања? Односно, разговарати са публиком и прилагођавати се ситуацији?

Мицхаел: Бојим се да тако неће ићи, јер ће извештај имати слајдове. Слајдови су важни када слушаоци у почетку говоре различите језике. Многима ће бити тешко да ме разумеју на енглеском, посебно ако говорим пребрзо. Изабрао сам ове теме јер Пиотр Кузнетсов замолио ме да причам о структурама података без закључавања у СПТДЦ школи; а онда ми је био потребан извештај за конференцију групе Јава корисника, и желео сам да изаберем нешто што би било од интереса посебно за Јава програмере. Најлакши начин је био да причам о оним стварима у Јава библиотеци у које сам на овај или онај начин имао руку. 

Алек: Претпостављамо да публика на Хидри већ зна нешто о програмирању без закључавања и да можда има искуства у овој области. Али ово је само претпоставка, ситуација ће постати јаснија на самој конференцији. У сваком случају, хвала на вашем времену. Сигуран сам да ће интервју бити веома занимљив за наше читаоце. Хвала пуно!

Виталии: Хвала. 

Мицхаел: Биће ми драго да се сретнемо у Санкт Петербургу. 

Алек: И ми имамо леп град. Да ли сте икада били овде?

Мицхаел: Не, никада нисам био у Русији. Али Санкт Петербург је одувек био на листи места где још нисам био, али где заиста желим да идем, тако да сам био веома срећан због позива. 

Алек: Иначе, имаћемо програм екскурзија за говорнике. Хвала вам пуно на интервјуу и пријатан дан!

Разговор са Мајклом можете наставити на конференцији Хидра 2019, која ће се одржати од 11. до 12. јула 2019. године у Санкт Петербургу. Доћи ће са извештајем „Двоструке структуре података“. Улазнице се могу купити на званичној веб страници.

Извор: ввв.хабр.цом