- ҳамчун профессори илмҳои компютерӣ дар Донишгоҳи Рочестер ва дар хонаи худ дар Донишгоҳи Висконсин-Мэдисон панҷ сол декан буд. Вай ба донишҷӯён дар бораи барномасозӣ ва тарҳрезии забонҳои параллелӣ ва тақсимшуда таҳқиқ мекунад ва таълим медиҳад.
Ҷаҳон Майклро аз китоби дарсӣ мешиносад , дар бораи кор чй? Ҷоизаи Dijkstra ҳамчун яке аз маъруфтарин дар соҳаи ҳисоббарории тақсимшуда гирифт. Шумо инчунин метавонед ӯро ҳамчун муаллифи ин алгоритм бидонед .
Якҷоя бо Дуг Ли, ӯ алгоритмҳои блокнашаванда ва навбатҳои синхронӣ таҳия кард, ки китобхонаҳои Java-ро таъмин мекунанд. Амалй дар JavaSE 6 иҷроишро 10 маротиба беҳтар кард ThreadPoolExecutor.
Мундариҷа:
- Аввалин касб, Донишгоҳи Рочестер. Лоиҳаи Шарлотта, забони Lynx;
- Интерфейси миқёспазири IEEE, қулфи MCS;
- Зиндагӣ дар ҷаҳони доимо тағйирёбанда;
- Оё донишҷӯён аҳмақ мешаванд? Тамоюлҳои ҷаҳонӣ, интернационализатсия;
- кори самаранок бо донишҷӯён;
- Чӣ тавр бояд бо омодасозии курсҳо ва китобҳои нав;
- Пайвандҳо байни тиҷорат ва академия;
- Татбики амалии идеяхо. MCS, MS, CLH, JSR 166, кор бо Дуг Ли ва ғайра;
- Хотираи транзаксионӣ;
- Архитектурахои нав. Ғалабаи хотираи транзаксионӣ наздик аст;
- Хотираи ғайридавлатӣ, Optane DIMM, дастгоҳҳои ултра зуд;
- Тамоюли навбатии калон. Сохторҳои дуҷонибаи маълумот. Гидра.
Мусоҳиба аз ҷониби:
Виталий Аксенов — айни замон постдок дар IST Austria ва узви кафедраи технологияҳои компютерии Донишгоҳи ITMO. Дар соҳаи назария ва амалияи сохторҳои рақобатпазири маълумот тадқиқот мегузаронад. Пеш аз кор дар IST, ӯ дар Донишгоҳи Париж Дидро ва Донишгоҳи ITMO таҳти роҳбарии профессор Петр Кузнецов унвони докториро гирифтааст.
Алексей Федоров - Истеҳсолкунандаи JUG Ru Group, як ширкати русӣ, ки конфронсҳоро барои таҳиягарон ташкил мекунад. Алексей дар омодасозии беш аз 50 конфронс ширкат варзидааст ва резюмеи ӯ ҳама чизро аз вазифаи муҳандиси рушд дар Oracle (JCK, Java Platform Group) то вазифаи таҳиягар дар Одноклассники дар бар мегирад.
Владимир Ситников - Муҳандис дар Netcracker. Даҳ соли кор оид ба фаъолият ва миқёспазирии OS NetCracker, нармафзоре, ки операторони телекоммуникатсионӣ барои автоматикунонии равандҳои идоракунии шабака ва таҷҳизоти шабакавӣ истифода мебаранд. Ба масъалаҳои иҷрои Database Java ва Oracle таваҷҷӯҳ доранд. Муаллифи зиёда аз даҳ беҳбуди кор дар драйвери расмии PostgreSQL JDBC.
Аввалин касб, Донишгоҳи Рочестер. Лоиҳаи Шарлотта, забони Lynx.
Алексей: Барои оғоз, ман мехостам ба шумо бигӯям, ки дар Русия ҳамаи мо дар ҳақиқат илмҳои компютерӣ, илмҳои иттилоотӣ ва алгоритмҳоро дӯст медорем. Ин комилан зишт аст. Мо ҳама чизро хондаем . Аз ин ру, конференция, мактаб ва худи хамин мусохибаи дар пешистода бояд хеле оммавй гардад. Мо барои ин мусоҳиба аз донишҷӯён, барномасозон ва аъзоёни ҷомеа саволҳои зиёд гирифтем, аз ин рӯ мо барои ин имконият хеле миннатдорем. Оё илми компютерӣ дар ИМА ҳамон муҳаббатро ба даст меорад?
Майкл: Майдони мо чунон гуногун аст, вай он кадар самтхо дорад ва ба чамъият бо тарзхои гуногун таъсир мерасонад, ки ба шумо чавоби катъй додан барои ман душвор аст. Аммо факт ин аст, ки он дар давоми 30 соли охир дар тиҷорат, саноат, санъат ва умуман ҷомеа дигаргуниҳои бузург ба вуҷуд овард.
Виталий: Биёед аз як чизи дур оғоз кунем. Дар бисёр донишгоҳҳо чизе монанди ихтисос дар як соҳаи мушаххас вуҷуд дорад. Барои Донишгоҳи Карнеги Меллон ин ҳисоббарории параллелӣ аст, барои MIT ин криптография, роботҳо ва мултимедиявӣ мебошад. Оё дар Донишгоҳи Рочестер чунин ихтисос вуҷуд дорад?
Майкл: Ростӣ, ман мегӯям, ки CMU ва MIT дар ҳама соҳаҳо тахассус доранд. Шӯъбаи мо ҳамеша ба зеҳни сунъӣ диққати бештар медод. Нисфи одамоне, ки дар мо кор мекунанд, бо AI ё ҳамкории инсон ва компютер машғуланд - ин ҳиссаи дигар шӯъбаҳо баландтар аст ва ҳамеша чунин буд. Аммо вақте ки ман дар донишгоҳ будам, ягон курси AI надоштам ва ҳеҷ гоҳ дар ин соҳа кор накардаам. Ҳамин тавр, шӯъбаи ман дар як масъалае тахассус дорад, ки ман ба он ҳеҷ коре надорам. Тасаллик дар он аст, ки масъалаи дуюми мухимтарин барои кафедраи мо барномасозии параллелӣ ва бисёрсоҳавӣ, яъне ихтисоси ман аст.
Виталий: Шумо дар илмҳои компютерӣ кор карданро замоне оғоз кардед, ки соҳаи барномасозии бисёрсоҳавӣ нав пайдо мешуд. Рӯйхати нашрияҳои шумо нишон медиҳад, ки корҳои аввалини шумо ба доираи хеле васеъи масъалаҳо бахшида шудаанд: идоракунии хотира дар системаҳои бисёрсоҳавӣ, системаҳои файлии тақсимшуда, системаҳои оператсионӣ. Чаро чунин гуногунҷабҳа? Оё шумо кӯшиш кардаед, ки ҷои худро дар ҷомеаи тадқиқотӣ пайдо кунед?
Майкл: Ҳамчун донишҷӯ ман дар он иштирок доштам дар Донишгоҳи Висконсин, ки дар он ҷо яке аз аввалин системаҳои амалиётии тақсимшуда таҳия шудааст. Дар он ҷо ман бо Рафаэл Финкел кор кардам () ва Марвин Сулаймон (). Рисолаи ман ба таҳияи забони нармафзори системавӣ барои системаҳои тақсимшуда бахшида шуда буд - ҳоло ҳама инро фаромӯш кардаанд ва Худоро шукр. Ман забони барномасозии Lynx-ро офаридаам, ки он барои осон кардани сохтани серверҳо барои системаи оператсионии ба таври васеъ тақсимшуда пешбинӣ шуда буд. Азбаски он вақт ман асосан ба системаҳои оператсионӣ машғул будам, ман гумон мекардам, ки касбам асосан бо онҳо алоқаманд хоҳад буд. Аммо Рочестер як донишгоҳи хеле хурд буд ва аз ин рӯ, гурӯҳҳои мухталифи он ҷо бо ҳамдигар хеле зич ҳамкорӣ мекарданд. Дар он ҷо даҳҳо одамони дигар системаҳои оператсионӣ набуданд, ки бо ман сӯҳбат кунам, аз ин рӯ ҳама тамосҳои ман бо одамоне буданд, ки дар соҳаҳои тамоман дигар кор мекарданд. Ман дар ҳақиқат аз он лаззат бурдам, ҳаматарафа будан барои ман бартарии калон аст. Агар мо махсусан дар бораи сохторҳои чанд риштаи маълумот ва алгоритмҳои синхронизатсия сухан ронем, ман ба таври тасодуфӣ дар болои онҳо кор кардам.
Интерфейси миқёспазири IEEE, қулфи MCS.
Виталий: Метавонед дар ин бора ба ман каме бештар маълумот диҳед?
Майкл: Ин як қиссаи хандаовар аст, ки ман ҳеҷ гоҳ аз гуфтани ҳама хаста намешавам. Ин дар як конфронс рӯй дод дар Бостон - ин дар охири солҳои 80-ум ё аввали солҳои 90-ум буд. Ҷон Меллор-Крамми (), дастпарвари факультети мо. Ман ӯро мешинохтам, вале мо қаблан тадқиқоти муштарак нагузаронидем. Мэри Вернон () аз Висконсин дар бораи як системаи бисёрпросессоре, ки онҳо дар Висконсин таҳия карда буданд, нақл кард: . Ин Multicube як механизми ҳамоҳангсозӣ дар сатҳи сахтафзор дошт, ки Q on Sync Bit номида мешуд ва баъдтар он ба Q on Lock Bit номида шуд, зеро он ба панири Колби монанд буд, ки ин як калима буд. Агар шумо ба механизмҳои гуногунҷабҳа таваҷҷӯҳ дошта бошед, эҳтимол шумо медонед, ки Колби дар ниҳоят муҳаррики синхронизатсия барои стандарти IEEE Scalable Coherent Interface шуд. Ин як механизми қулфкунӣ буд, ки нишондиҳандаҳоро аз як кэш ба дигараш дар сатҳи сахтафзор эҷод мекард, то ҳар як дорандаи қулф донад, ки навбати кист. Вақте ки ман ва Ҷон дар ин бора шунидам, мо ба ҳамдигар нигоҳ кардем ва гуфтем: чаро ин корро дар сатҳи сахтафзор анҷом медиҳад? Оё бо истифода аз муқоиса ва ивазкунӣ ба ҳамон чизе ноил шудан мумкин нест? Мо яке аз дафтархои дар синф хоби-даро гирифта, ба руи он хат-то мекардем , дар ҳоле ки Мэри гузориши худро идома дод. Баъдан, мо онро амалӣ кардем, таҷриба кардем, идея муваффақ шуд ва мо мақоларо нашр кардем. Он вақт, барои ман, ин мавзӯъ танҳо як парешонии шавқовар ба назар мерасид, ки пас аз он ман нақша доштам, ки ба системаҳои оператсионӣ баргардам. Аммо баъдан як мушкили дигар дар ҳамон сатр ба миён омад ва дар ниҳоят синхронизатсия, чанд ришта ва сохторҳои додаҳо ихтисоси ман шуданд. Тавре ки шумо мебинед, ҳамаи ин тасодуфан рӯй дод.
Виталий: Ман бо блоккунии MCS кайҳо боз ошно будам, аммо то ҳол намедонистам, ки ин кори шумост ва нафаҳмидам, ки ин ихтисораи насабҳои шумост.
Чӣ тавр дар ҷаҳони тағйирёбанда зинда мондан мумкин аст?
Алексей: Ман саволе дорам дар мавзӯи алоқаманд. 30-40 сол пеш дар ихтисосҳои гуногун озодӣ бештар буд. Агар шумо хоҳед, ки дар системаҳои бисёрсоҳавӣ ё тақсимшуда касб оғоз кунед, хуш омадед, агар шумо хоҳед, ки ба системаҳои оператсионӣ дохил шавед, ҳеҷ мушкиле нест. Дар ҳар як соҳа саволҳои кушод ва кам мутахассисон буданд. Ҳоло ихтисосҳои танг ба вуҷуд омадаанд: умуман мутахассисон дар системаҳои оператсионӣ нестанд, мутахассисони системаҳои алоҳида вуҷуд доранд. Ин бо системаҳои бисёрсоҳавӣ ва тақсимшуда низ ҳамин тавр аст. Аммо мушкилот дар он аст, ки ҳаёти мо беохир нест, ҳар кас метавонад танҳо якчанд даҳсолаҳоро барои таҳқиқот сарф кунад. Чӣ тавр дар ин дунёи нав зинда мондан мумкин аст?
Майкл: Мо дар ин бобат махсус нестем, як бор дар дигар райондо низ чунин ходиса руй дода буд. Ман хушбахт будам, ки ман дар соҳаи илмҳои компютерӣ, вақте ки ин соҳа дар солҳои "наврасӣ" буд, ба кор шурӯъ кардам. Баъзе таҳкурсӣ аллакай гузошта шуда буд, аммо ҳама чиз ҳанӯз хеле пухта набуд. Ин имконият аксар вақт пайдо намешавад. Муҳандисии электрикӣ муддати хеле тӯлонӣ, физика боз ҳам зиёдтар, математика тақрибан аз ибтидои замон вуҷуд дорад. Аммо ин маънои онро надорад, ки дар математика дигар касе кашфиёти ҷолиб намекунад. Ҳанӯз мушкилоти зиёде мавҷуданд, аммо дар айни замон, бештар бояд омӯхта шаванд. Шумо дуруст кайд мекунед, ки холо ихтисосхо назар ба пештара хеле зиёданд, вале ин танхо чунин маъно дорад, ки мо дар хамон вазъияте дучор меоем, ки дар аксари сохахои дигари фаъолияти инсон.
Алексей: Ман дар ин чо ба чихати амалии масъала марок зохир мекунам. Ман дар риштаи риёзӣ маълумот дорам ва дар давоми таҳсил ман бисёр вақт дар конфронсҳо ширкат мекардам ва дар мавзӯъҳои гуногуни илмӣ кор мекардам. Ман фаҳмидам, ки ҳеҷ кас аз аудитория гузоришҳои маро намефаҳмад ва ҳамин тавр, гузоришҳои одамони дигар танҳо барои худашон фаҳмо буд. Дар мавзӯҳои сатҳи баланд ин тавр нест, аммо ҳамин ки шумо ба чизе ғарқ мешавед, шунавандагон дигар наметавонанд аз шумо огоҳ шаванд. Шумо бо ин чӣ гуна муносибат мекунед?
Майкл: На ҳамеша муваффақ. Ман ба наздикӣ гузорише омода кардам, ки дар он ба ҷузъиёти техникӣ хеле амиқ рафтам. Бо пеш рафтани сухбат маълум шуд, ки аксарияти шунавандагон маро намефахманд, бинобар ин ман мачбур шудам, ки ба вазъият дар парвоз мутобик шавам. Слайдҳоро тағир додан ғайриимкон аст, бинобар ин он чандон хуб набуд - бинобар ин, умуман, ман кӯшиш мекунам, ки слайдҳоро истифода набарам. Умуман, маслиҳати ман ин аст, ки шунавандагони худро ба назар гиред. Шумо бояд бидонед, ки шумо бо кӣ сӯҳбат мекунед, сатҳи дониши онҳо чӣ гуна аст ва барои қадр кардани кори шумо онҳо бояд чиро бишнаванд.
Виталий: Метавонед ба мо маслиҳат диҳед, ки ин лексия дар бораи чӣ буд?
Майкл: Ростӣ, ман афзал медонам, ки ин мавзӯъро тавсеа надиҳам, то афроди мавриди назар беном намонанд. Гап дар сари он аст, ки мо аксар вақт ба нозукиҳои мушкилоте, ки рӯи он кор карда истодаем, хеле амиқтар мешавем, бинобар ин дар оғози сӯҳбат шарҳ додан барои мо душвор мегардад, ки чаро мушкилот ҷолиб ва муҳим аст ва чӣ гуна он бо масъалаҳое, ки тамошобинон аллакай медонанд. Тибқи мушоҳидаҳои ман, донишҷӯён дар омӯхтани ин маҳорат душворӣ мекашанд. Ва ин ҳам як нуктаи заъфи гузориши ахири ман буд. Ҳисоботи дурусти сохторӣ бояд аз аввал бо шунавандагон тамос пайдо кунад, ба онҳо фаҳмонад, ки мушкилот маҳз чист ва чӣ гуна он ба мавзӯъҳои ба он маълум аст. То чӣ андоза техникӣ будани ин муаррифӣ аз шунавандагон вобаста аст. Агар он комилан рангоранг бошад, пас гузориш метавонад бисёрмарҳила бошад. Муқаддима бояд барои ҳама дастрас бошад ва дар охир порча наметавонад бо шумо пайгирӣ кунад, аммо одамоне, ки бо соҳаи шумо нисбатан ошно ҳастанд, қодиранд онро дарк кунанд.
Оё донишҷӯён аҳмақ мешаванд? Тамоюлҳои ҷаҳонӣ, интернационализатсия.
Алексей: Шумо чандин дахсола боз хонандагонро мушохида мекардед. Оё донишҷӯён аз даҳсола то даҳсола ё сол то сол беақл мешаванд ё оқилтар мешаванд? Дар Русия профессорон пайваста шикоят мекунанд, ки донишҷӯён ҳамасола аҳмақ мешаванд ва воқеан маълум нест, ки дар ин бора чӣ кор кунанд.
Майкл: Дар хакикат аз мо, пиронсолон бисьёр гапхои манфй мешунавед. Мо ба таври худшиносӣ майл дорем, ки донишҷӯён тамоми таҷрибаи 30-солаи мо, ки аллакай дорем, аз худ кунанд. Агар ман назар ба соли 1985 чукуртар фахмидам, чаро студентон онро надоранд? Шояд аз он сабаб бошад, ки 20 сол доранд, шумо чӣ фикр доред? Ман фикр мекунам, ки тағйироти назаррас дар даҳсолаҳои охир дар таркиби демографӣ буданд: ҳоло мо донишҷӯёни хориҷӣ ба таври назаррас бештар дорем, ба истиснои Канадаҳо. Пештар канадаҳо зиёд буданд, зеро мо ба сарҳади Канада хеле наздик ҳастем ва донишҷӯёни он ҷо метавонанд рӯзҳои истироҳат ба хонаашон сафар кунанд. Аммо ҳоло дар Канада бисёр донишгоҳҳои хуб мавҷуданд ва канадаҳо дар ин ҷо таҳсил карданро афзалтар медонанд; хеле ками онҳо ба ИМА меоянд.
Алексей: Ба фикри шумо, ин як тамоюли маҳаллӣ аст ё глобалӣ?
Майкл: Ман аниқ дар ёд надорам, ки кист, аммо касе гуфт, ки дунё ҳамвор аст. Майдони мо хеле интернационалй гардид. Пештар, онҳо танҳо дар дохили Иёлоти Муттаҳида баргузор мешуданд, пас онҳо тасмим гирифтанд, ки дар 4 сол як маротиба дар дигар кишварҳо баргузор кунанд ва ҳоло онҳо дар тамоми ҷаҳон баргузор мешаванд. Ин дигаргуниҳо боз ҳам бештар таъсир карданд , зеро он ҳамеша як созмони байналмилалӣ бештар аз ACM буд. Ва курсиҳои барномаҳо аз Чин, Ҳиндустон, Русия, Олмон ва бисёр кишварҳои дигар ҳастанд, зеро ҳоло дар ҳама ҷо корҳо идома доранд.
Алексей: Аммо, эхтимол, баъзе чихатхои манфии ин гуна интернационализация мавчуданд?
Майкл: Ман гуфта метавонам, ки хамаи чихатхои манфй на ба техника, балки ба сиёсат дахл доранд. Як вақтҳо мушкили асосӣ ин буд, ки ИМА одамони оқилтарин ва боистеъдодтаринро аз кишварҳои ҷаҳон дуздид. Ва ҳоло мушкили аслӣ бозиҳои сиёсӣ байни кишварҳои мухталиф дар атрофи раводид ва муҳоҷират аст.
Алексей: Яъне монеахо ва монанди инхо. Он равшан аст.
Владимир: Шахсан ман ба он шавқ дорам, ки шумо ҳангоми таълими фанни нав ба донишҷӯён чӣ гуна муносибат мекунед. Вариантҳои гуногун мавҷуданд: шумо метавонед пеш аз ҳама кӯшиш кунед, ки онҳоро барои кӯшиши чизи нав илҳом бахшед ё шумо метавонед ба ҷузъиёти чӣ гуна кор кардани технологияи муайян диққат диҳед. Шумо чиро афзалтар мешуморед?
Кори самаранок бо донишҷӯён
Алексей: Ва чй тавр мувозинати лаънатй байни якум ва дуюмро пайдо кардан мумкин аст?
Майкл: Мушкилот дар он аст, ки дарсҳо на ҳама вақт тавре ки ман мехоҳам, мегузарад. Ман одатан ба донишҷӯён маводи хонишро пешакӣ медиҳам, то онҳо онро омӯзанд, онро ба қадри имкон дарк кунанд ва дар бораи он қисматҳое, ки онҳо намефаҳманд, саволҳо таҳия кунанд. Он гоҳ дар синф шумо метавонед ба лаҳзаҳои душвортарин диққат диҳед ва онҳоро якҷоя тафтиш кунед. Ин аст, ки ман бештар дарс доданро дӯст медорам. Аммо бо назардошти сарборие, ки ҳоло бар души донишҷӯён аст, ман на ҳама вақт қодирам боварӣ ҳосил кунам, ки онҳо пешакӣ омодагӣ мегиранд. Дар натиҷа, ба шумо лозим меояд, ки барои такрори умумии мавод назар ба он ки мехоҳед, вақти зиёдтар сарф кунед. Бо вуҷуди ин, ман кӯшиш мекунам, ки дарсҳои мо интерактивӣ бошанд. Дар акси ҳол, як бор сабт кардани видео осонтар аст, ки донишҷӯён метавонанд дар хона тамошо кунанд. Нуқтаи дарсҳои зинда ҳамкории одамон аст. Дар синф ман истифода бурдани бор ва тахтаи синфро афзалтар мешуморам, ба истиснои ҳолатҳое, ки диаграмма барои тасвир дар тахта хеле мураккаб аст. Ба шарофати ин, ба ман лозим нест, ки ба нақшаи сахти дарс часпидам. Азбаски ман тартиби қатъии додани мавод вуҷуд надорад, ин ба ман имкон медиҳад, ки вобаста ба саволҳои гирифтаам онро ба шунавандагон мутобиқ созам. Умуман, ман кӯшиш мекунам, ки дарсҳоро то ҳадди имкон интерактивӣ гузаронам, то маводи пешниҳодкардаам аз саволҳои ба ман додашуда вобаста бошад.
Владимир: Ин зӯр аст. Дар таҷрибаи ман, ҷалб кардани шунавандагон ба саволҳо хеле душвор аст. Агар шумо пешакӣ пурсед, ки ягон савол диҳед, новобаста аз он ки чӣ қадар беақл ва оқилона бошад, онҳо ҳанӯз хомӯшанд. Шумо бо ин чӣ гуна муносибат мекунед?
Майкл: Механед, аммо агар ба қадри кофӣ хомӯш истода бошед, дер ё зуд ҳама нороҳат мешаванд ва касе савол медиҳад. Ё шумо метавонед як саволи оддии техникӣ бо ҷавоби ҳа ё не пурсед, то муайян кунед, ки оё одамон гуфтаҳои навро мефаҳманд. Масалан, оё дар мисоли боло мусобиқаи додаҳо вуҷуд дорад? Кӣ чунин мешуморад? Кӣ фикр намекунад? Кй умуман чизеро намефахмад, зеро чамъ танхо нисфи дастхо боло рафтаанд?
Виталий: Ва агар шумо ҷавоби нодуруст додед, шуморо аз дарс хориҷ мекунанд :)
Майкл: Агар шумо ба чизе ҷавоб надиҳед, шумо бояд савол диҳед. Ман бояд бифаҳмам, ки донишҷӯ барои посух додан ба саволе, ки ман додаам, маҳз чиро донад. Ман ба онҳо ниёз дорам, ки ба ман кӯмак кунанд. Ман омодаам ба онҳо мутобиқ шавам, то онҳо мушкилотро фаҳманд. Аммо агар ман намедонам, ки дар сари онҳо чӣ мегузарад, ман ин корро карда наметавонам. Ва агар шумо ба донишҷӯён муддати тӯлонӣ оромӣ надиҳед, баъзан онҳо дар ниҳоят саволҳои дуруст медиҳанд, яъне саволҳоеро медиҳанд, ки ба ман имкон медиҳанд, ки дар сари донишҷӯён чӣ рӯй дода истодааст.
Алексей: Оё ин саволҳо баъзан идеяҳоеро ба вуҷуд меоранд, ки шумо худатон қаблан дар бораи он фикр намекардед? Оё онҳо ғайричашмдоштанд? Оё онҳо ба шумо имкон медиҳанд, ки мушкилотро аз нигоҳи нав бубинед?
Майкл: Саволхое хастанд, ки рохи нави пешниход кардани материалро мекушоянд. Аксар вақт саволҳое ҳастанд, ки боиси мушкилоти ҷолибе мешаванд, ки ман дар бораи он сӯҳбат карданро нахостам. Донишҷӯён аксар вақт ба ман мегӯянд, ки ман майл дорам, ки вақте ки ин рӯй медиҳад, аз мавзӯъ дур шавам. Ва ба гуфтаи онҳо, аксар вақт ин қисми ҷолибтарини дарс аст. Хеле кам, ҳамагӣ чанд маротиба, донишҷӯён саволҳое медоданд, ки самти нави тадқиқотро ба вуҷуд оварда, ба мақола табдил ёфтанд. Ин бештар дар сӯҳбат бо донишҷӯён рух медиҳад, на дар вақти дарс, аммо баъзан дар давоми дарсҳо рӯй медиҳад.
Алексей: Пас, донишљўён ба шумо саволњо доданд, ки дар асоси онњо он замон маќола чоп кардан мумкин буд?
Майкл: Бале.
Виталий: Чанд маротиба шумо бо донишҷӯён чунин сӯҳбатҳо мекунед? Кай онҳо мехоҳанд бештар аз он чизеро, ки дар дарс фаро гирифта шуда буданд, омӯзанд?
Майкл: Бо аспирантхо — хама вакт. Ман тақрибан 5 ё 6 нафари онҳоро дорам ва мо ҳама вақт бо онҳо чизеро муҳокима мекунем. Ва ин гуна сӯҳбатҳо бо донишҷӯёне, ки танҳо дар дарсҳои ман иштирок мекунанд, чандон маъмул нест. Ҳарчанд ман мехостам, ки ин зуд-зуд рух диҳад. Ман гумон мекунам, ки онҳо танҳо метарсанд, ки дар соатҳои корӣ ба факултет оянд. Ҳар семестр баъзе донишҷӯён ин монеаи равониро бартараф мекунанд ва пас аз дарс бо онҳо сӯҳбат кардан ҳамеша хеле ҷолиб аст. Ростӣ, агар ҳамаи донишҷӯён ин қадар ҷасур мебуданд, ман вақти кофӣ надоштам. Пас, шояд ҳама чиз тавре кор кунад, ки бояд бошад.
Виталий: Чӣ тавр шумо барои муошират бо донишҷӯён вақт ёфта метавонед? То ҷое ки ман медонам, дар ИМА омӯзгорон кори зиёд доранд - дархост барои грантҳо ва ғайра.
Майкл: Ростӣ, кор бо донишҷӯён ҷанбаи кори ман аст, ки ман аз ҳама лаззат мебарам. Аз ин рӯ, ман барои ин ангезаи кофӣ дорам. Бештари вақте, ки ман дар дафтари худ мегузаронам, дар ҳама гуна вохӯриҳо сарф мешавад. Ҳоло тобистон аст, аз ин рӯ ҷадвали ман камтар банд аст, аммо дар давоми соли хониш ҳар рӯз аз соати 9 то 17 ман ҳама чизро пур мекунам. Корҳои тадқиқотӣ, баррасиҳо, грантҳо - барои ҳамаи ин танҳо шомҳо ва рӯзҳои истироҳат вуҷуд доранд.
Чӣ тавр бояд бо омодасозии курсҳо ва китобҳои нав.
Алексей: Оё шумо ҳоло таълим додани ягон курсеро, ки муддати тӯлонӣ таълим медодед, идома медиҳед? Чизе ба монанди муқаддима ба илмҳои компютерӣ.
Майкл: Аввалин чизе, ки дар ин ҷо ба хотир меояд, курси забонҳои барномасозӣ аст.
Алексей: Варианти имрӯзаи ин курс аз он чи ки 10, 20, 30 сол пеш буд, чӣ фарқ дорад? Шояд он чизе, ки дар ин ҷо ҷолибтар аст, на тафсилоти курси мушаххас, балки тамоюлҳои умумӣ аст.
Майкл: Курси ман оид ба забонҳои барномасозӣ дар замони эҷоди он то ҳадде ғайриоддӣ буд. Ман онро дар охири солҳои 1980-ум ба ҷои ҳамтои худ Дуг Болдуин хондам.). Мавзӯи курс танҳо ба ихтисоси ман тангенсиалӣ алоқаманд буд, аммо вақте ки ӯ рафт, ман беҳтарин номзад барои таълими ин курс будам. Ба ман ҳеҷ кадоме аз китобҳои дарсие, ки он вақт вуҷуд дошт, маъқул набуд, бинобар ин ман худам китоби дарсии ин курсро навиштам. (Аз редакция: сухан дар бораи китоб меравад)^оло дар зиёда аз 200 университети чахон истифода бурда мешавад. Муносибати ман аз он чихат гайриоддй аст, ки вай проблемахои тар-тиб ва татбики забонро дидаю дониста омехта мекунад ва ба хамкории ин чихатхо дар тамоми сохахои имконпазир диккати калон медихад. Равиши асосӣ мисли бисёр мафҳумҳои асосӣ бетағйир монд: абстраксияҳо, фазои номҳо, модулият, намудҳо. Аммо маҷмӯи забонҳое, ки бо онҳо ин мафҳумҳо нишон дода мешаванд, комилан тағйир ёфтааст. Вақте ки курс бори аввал таъсис дода шуд, дар Паскал мисолҳои зиёде мавҷуданд, аммо имрӯз бисёре аз донишҷӯёни ман ҳатто дар бораи ин забон нашунидаанд. Аммо онҳо Swift, Go, Rust -ро медонанд, бинобар ин ман бояд дар бораи забонҳое, ки имрӯз истифода мешаванд, сӯҳбат кунам. Инчунин, донишҷӯён ҳоло забонҳои скриптро хуб медонанд, аммо вақте ки ман ба таълими ин курс шурӯъ кардам, ҳамааш дар бораи забонҳои тартибдодашуда буд. Ҳоло мо ба маводи зиёде дар бораи Python, Ruby ва ҳатто Perl ниёз дорем, зеро дар ин рӯзҳо ҳамин код навишта мешавад ва дар ин забонҳо, аз ҷумла дар соҳаи тарҳрезии забонҳо бисёр чизҳои ҷолибе рух медиҳанд.
Виталий: Пас саволи навбатии ман ба саволи қаблӣ алоқаманд хоҳад буд. Чӣ тавр дар ин минтақа нигоҳ доштан мумкин аст? Ман гумон мекунам, ки навсозии чунин курс кори зиёдеро талаб мекунад - шумо бояд забонҳои навро фаҳмед, идеяҳои асосиро фаҳмед. Шумо ин корро чӣ тавр мекунед?
Майкл: Ман фахр карда наметавонам, ки ман ҳамеша 100% муваффақ мешавам. Аммо аксар вақт ман он чизеро мекунам, ки дигарон мекунанд - Интернетро хонед. Агар ман хоҳам, ки Rust-ро фаҳмам, ман онро Google-ро меомӯзам, ба саҳифаи Mozilla меравам ва дастури дар он ҷо ҷойгиршударо мутолиа мекунам. Ин як қисми чизҳоест, ки дар рушди тиҷорат рӯй медиҳанд. Агар дар бораи илм сухан ронем, пас дар конферен-цияхои асосй ба маърузахо пайравй кардан лозим меояд.
Пайванди байни тиҷорат ва академия
Виталий: Дар бораи алокаи тичоратй ва тадкикоти илмй сухан ронем. Дар рӯйхати корҳои шумо, ман якчанд мақолаҳоро дар бораи ҳамоҳангии кэш пайдо кардам. Ман мефаҳмам, ки алгоритмҳои мутобиқати кэш дар вақти интишори онҳо ноустувор буданд? Ё ба қадри кофӣ паҳн нашудааст. Идеяҳои шумо дар амал то чӣ андоза маъмул буданд?
Майкл: Ман аниқ намедонам, ки шумо дар бораи кадом нашрияҳо сухан мегӯед. Ман бо шогирдонам Билл Болоский кори зиёде анҷом додам () ва Леонидас Контотанассис () дар аввали солхои 1990-ум оид ба идоракунии хотираи мошинхои Нейман. Дар он вақт бизнес ҳанӯз дарки дуруст сохтани системаи чандпросессорро надошт: оё барои дастрасии хотираи дурдаст дар сатҳи сахтафзор дастгирӣ эҷод кардан меарзад, оё хотираро тақсим кардан лозим аст, оё кэшро аз хотираи дурдаст, ё зарур аст, ки саҳифаҳоро дар ҳуҷраи амалиётӣ интиқол диҳед? Билл ва Леонидас ҳарду дар ин соҳа кор мекарданд ва равишҳоро бидуни боркунии кэш дурдаст омӯхтанд. Ин мустақиман ба ҳамоҳангии кэш алоқаманд набуд, аммо он ҳоло ҳам дар идоракунии хотираи NUMA кор мекард ва баъдан равишҳои муосири ҷойгиркунии саҳифаҳо дар системаҳои оператсионии муосир аз ин рӯ ба рӯ шуданд. Умуман, Билл ва Леонидас корҳои муҳимро анҷом доданд, гарчанде ки дар ин соҳа аз ҳама бонуфуз набуданд - дар он вақт бисёр одамони дигар кор мекарданд. Баъдтар, ман дар мавзӯи марбут ба ҳамоҳангии кэш дар заминаи хотираи транзаксионии сахтафзор кор кардам. Гурӯҳе, ки ман дар ин мушкилот кор мекардам, дар ниҳоят якчанд патент гирифтанд. Дар паси онхо баъзе идеяхои хеле ачоиб хастанд, вале ман фикр намекунам, ки онхо дар амал татбик мешаванд. Бо ин ё он роҳ, барои ман доварӣ кардани даромаднокии онҳо душвор аст.
Алексей: Ба ин муносибат саволи бештар шахей: барои шумо то чй андоза мухим аст, ки идеяхои шумо дар амал татбик карда шаванд? Ё шумо дар ин бора фикр намекунед?
Майкл: Ман ин саволро дар мусоҳиба бо одамони дигар, довталабон ё номзадҳое, ки мехоҳанд ба факултет дохил шаванд, дӯст медорам. Ман фикр намекунам, ки ба ин савол ҷавоби дуруст вуҷуд дорад. Одамоне, ки корҳои олӣ мекунанд, метавонанд ангезаҳои хеле гуногун дошта бошанд. Маро мушкилиҳо ҷалб мекунанд, зеро шахсан ман онҳоро ҷолиб меҳисобам, на аз рӯи манфиатҳои амалии онҳо. Аммо аз тарафи дигар, вақте ки ягон чизи ҷолиб ҳанӯз ҳам барнома пайдо мекунад, ба ман хеле маъқул аст. Пас, дар ин ҷо осон нест. Аммо дар оғози корам маро ҳанӯз на ғояи истифодаи ниҳоӣ дар ҷаҳон, балки ҳамоҳангии ғоя ва хоҳиши омӯхтани он ва дидани он чизе, ки аз он бармеояд, бармеангезад. Агар дар нихояти кор натичахои амалй дихад, бузург аст.
Алексей: Ба шарофати маълумот ва таҷрибаи худ, шумо қодиред, ки арзиши ғояҳои дигаронро аз ҳама беҳтар арзёбӣ кунед. Шумо метавонед онҳоро муқоиса кунед ва муайян кунед, ки кадомаш бо кадомаш беҳтар кор мекунад. Ман боварӣ дорам, ки шумо дар бораи чизҳое, ки ҳоло дар амал аз ҷониби истеҳсолкунандагони калон ба монанди Intel истифода мешаванд, фикр доред. Аз нигоҳи шумо, роҳи ин ширкатҳо то куҷо дуруст аст?
Майкл: Амал ҳамеша дар атрофи он чизест, ки метавонад аз ҷиҳати тиҷорат муваффақ бошад, яъне фоида ба даст орад ва шумо беҳтараш дар ин бора аз каси дигар пурсед. Кори ман асосан дар нашрияҳо натиҷа медиҳад ва дар соҳаи системаҳои амалиётӣ онҳо аз рӯи нишондиҳандаҳои фаъолият арзёбӣ мешаванд: суръат, масрафи энергия, андозаи код. Аммо хамеша ба назари ман чунин менамуд, ки ин натичахои тачрибавй ба маколахо танхо барои он илова карда мешаванд, ки онхо чоп шаванд ва ангезахои хакикии одамон ба мехнат эстетикй бошанд. Тадқиқотчиён ҳаллиҳоро аз нуқтаи назари бадеӣ арзёбӣ мекунанд, онҳо дар бораи шево будани ғояҳо ғамхорӣ мекунанд ва кӯшиш мекунанд, ки аз равишҳои мавҷуда чизи беҳтаре эҷод кунанд. Тадқиқотчиёнро ангезаҳои шахсӣ, субъективӣ, эстетикӣ ба вуҷуд меоранд. Аммо шумо дар ин бора дар худи мақола навишта наметавонед, ин чизҳо барои кумитаи барнома далелҳо нестанд. Хушбахтона, қарорҳои шево аксар вақт зуд ва арзон мебошанд. Ман ва даҳҳо ҳамкасбонам тақрибан 15 сол пеш ин мавзӯъро баррасӣ карда, дар ин бора мақолае ба охир расондем. Ман фикр мекунам, ки шумо ҳоло ҳам метавонед онро пайдо кунед, он ном дорад ё ба ин монанд, зиёда аз даҳ муаллиф дорад. Ин ягона мақолаест, ки ман дар якҷоягӣ муаллифи он ҳастам , Пас, агар шумо номи ӯро дар рӯйхати нашрияҳои ман ҷустуҷӯ кунед, он чизеро, ки ба шумо лозим аст, хоҳед ёфт. Он дар бораи арзёбии тадқиқоти системаҳо ва то чӣ андоза муҳим будани зебоӣ сӯҳбат мекунад.
Алексей: Пас, байни стандарти он чизе, ки дар илм ва тиҷорат хуб ҳисобида мешавад, фарқият вуҷуд дорад. Илм кор, масрафи нерӯ, TDP, осонии татбиқ ва ғайраро арзёбӣ мекунад. Оё шумо имкон доред, ки ин навъи тадқиқотро дар донишгоҳ гузаронед? Оё шумо лабораторияи дорои мошинҳои гуногун ва меъмории гуногун доред, ки дар он шумо метавонед таҷрибаҳо гузаронед?
Майкл: Бале, шуъбаи мо бисьёр машинахои гуногуни шавковар дорад. Аксар вақт онҳо хурд мебошанд, мо кластери хурд ва бисёр системаҳои бисёрпросессор бо суръатбахшии гуногун дорем. Илова бар ин, дар шаҳраки донишҷӯён як маркази бузурги ҳисоббарорӣ мавҷуд аст, ки ба олимон аз даҳҳо фанҳои гуногун хизмат мерасонад. Он тақрибан ҳазор гиреҳ ва бист ҳазор ядро дорад, ки ҳама дар Linux мебошанд. Агар зарурат ба миён ояд, шумо ҳамеша метавонед AWS-ро харед. Ҳамин тавр, мо бо сахтафзор ягон маҳдудияти ҷиддӣ надорем.
Алексей: Сй сол пеш чй гуна буд? Оё он вақт мушкилот вуҷуд доштанд?
Майкл: Он вакт каме дигар буд. Дар миёнаҳои то охири солҳои 1980-ум, илм аз норасоии захираҳои ҳисоббарорӣ ҳисобида мешуд. Барои ислоҳи ин вазъият, Фонди Миллии Илм ) барномаи тадқиқоти ҳамоҳангшудаи таҷрибавӣ (Coordinated Experimental Research, CER) таъсис дод. Ҳадафи ин барнома таъмини инфрасохтори ҳисоббарорӣ барои шӯъбаҳои илмҳои компютерӣ буд ва он тағйироти назаррас ба даст овард. Бо пуле, ки ӯ дода буд, мо дар Донишгоҳи Рочестер соли 1984 як BBN Butterfly-и 128 гиреҳ харидем, ин як сол пеш аз омаданам ба он ҷо буд. Дар он вақт он бузургтарин системаи бисёрпросессории ҷаҳон бо хотираи муштарак буд. Он дорои 128 протсессори, ҳар як дар motherboard алоҳида, ва ишғол чор racks. Ҳар як протсессор як мегабайт хотира дошт, 128 мегабайт хотираи оперативӣ дар он вақт маблағи тасаввурнашаванда буд. Дар ин мошин мо бори аввал қулфи MCS-ро амалӣ кардем.
Алексей: Пас, агар ман шуморо дуруст фаҳмам, пас дар айни замон мушкилии таҷҳизот ҳал шудааст?
Майкл: Умуман, бале. Якчанд огоҳӣ вуҷуд дорад: аввал, агар шумо меъмории компютериро дар сатҳи чип анҷом диҳед, дар муҳити таълимӣ кор кардан душвор аст, зеро барои иҷрои он дар тиҷорат абзорҳои беҳтаре мавҷуданд. Агар ба шумо чизи хурдтар аз 10 нанометр лозим бошад, шумо бояд онро аз каси дигар фармоиш диҳед. Дар ин соҳа тадқиқотчӣ дар Intel будан хеле осонтар аст. Агар шумо дар иртибототи оптикӣ дар микросхемаҳо ё хотираи сахт кор кунед, шумо дар тиҷорат технологияҳое пайдо мекунед, ки ҳанӯз дар илм нестанд, бинобар ин шумо бояд иттифоқҳо эҷод кунед. Масалан, Стивен Свонсон () офарида шудааст барои технологияҳои нави хотира. Ин шакл на ҳамеша кор мекунад, аммо дар баъзе мавридҳо он метавонад хеле муваффақ бошад. Гайр аз ин, дар илм кор карда баромадани системахои пуриктидори хисоббарорй душвортар аст. Лоиҳаҳои бузургтарини суперкомпьютерҳо, ки ҳоло дар ИМА, Ҷопон ва Чин ҳастанд, ҳама ба тиҷорат нигаронида шудаанд.
Татбики амалии идеяхо. MCS, MS, CLH, JSR 166, кор бо Дуг Ли ва ғайра.
Виталий: Шумо аллакай дар бораи он, ки чӣ тавр шумо ба алгоритмҳои синхронизатсия оғоз кардаед, гап задед. Шумо дар бораи ду мақолаи хеле машҳур доред и , ки ба як маъно дар Ява ба амал бароварда шуданд. (Эзди муҳаррир: ҳама нашрияҳоро дидан мумкин аст ). Дар он ҷо ин блоккунӣ бо баъзе тағйирот амалӣ карда шуд ва маълум шуд , ва навбат мувофики максад ба амал бароварда шуд. Аммо аз интишори мақолаҳои шумо ва татбиқи амалии онҳо солҳои зиёд гузашт.
Алексей: Дар мавриди навбат 10 сол ба назар мерасад.
Майкл: Пеш аз он ки ин хусусиятҳо дар китобхонаи стандартии Java пайдо шаванд?
Виталий: Бале. Шумо чӣ кор кардед, ки ин рӯй диҳад? Ё онҳо ҳеҷ коре накарданд?
Майкл: Ман ба шумо гуфта метавонам, ки чӣ тавр MS Queue ба Java 5 дохил шуд. Чанд сол пеш аз пайдоиши он, ман бо гурӯҳи Марк Мойерс дар Sun Microsystems дар лабораторияи худ дар наздикии Бостон кор мекардам. Вай барои одамоне, ки медонист, семинаре ташкил кард, ки бо мушкилоти ҷолиб дар бисёр ришта кор мекарданд, зеро ӯ мехост мавзӯъҳоеро пайдо кунад, ки метавонад ба ширкати онҳо фурӯшад. Дар он ҷо ман бори аввал бо Даг Ли вохӯрдам. Ман ва Даг ва тақрибан 25 нафари дигар аз Sun якҷоя муаррифии Дугро муҳокима мекардем , ки баъдтар java.util.concurrent шуд. Дар роҳ, Даг гуфт, ки ӯ мехоҳад навбати MS-ро истифода барад, аммо барои ин ба ӯ ҳисобкунак барои шумораи унсурҳои навбат барои интерфейс лозим буд. Яъне ин корро бояд бо усули алохида, атомй, дакик ва тез ичро мекард. Ман пешниҳод кардам, ки танҳо ба гиреҳҳо рақамҳои силсилавӣ илова карда, рақами гиреҳи аввал ва охиринро гирифта, якеро аз дигараш тарҳ кунанд. Даг сарашро харошида, "чаро не" гуфт ва дар ниҳоят ҳамин тавр кард. Мо дар бораи татбиқи ин усул дар китобхона сӯҳбат кардем, аммо Даг аксари корҳоро худаш анҷом дод. Дар натиҷа, ӯ тавонист дар Java дастгирии аълои мултимедиявиро таъсис диҳад.
Алексей: Пас, агар ман дуруст дарк кунам, усули .size() бояд як қисми интерфейси навбати стандартӣ бошад ва он бояд мураккабии алгоритмии O(1) дошта бошад?
Майкл: Бале, ба гайр аз ин хисобкунаки алохида талаб карда мешавад.
Алексей: Зеро агар шумо усули .size()-ро дар Java даъват кунед, интизор меравад, ки натиҷа фавран дастрас шавад ва на ба андозаи воқеии коллексия. Мебинам, ташаккур.
Майкл: Пас аз чанд сол ман бо донишҷӯи худ Билл Шерер дар бораи сохторҳои дугонаи додаҳо кор мекардам - дар асл, дар ин бора ман гап мезанам . Дуг ба назди мо омад ва гуфт, ки вай метавонад онҳоро дар чаҳорчӯбаи Java Executor Framework истифода барад. Якҷоя бо Билл, онҳо ду амалияро эҷод карданд, ки ба ном навбатҳои одилона ва беадолатона. Ман ба онҳо дар ин лоиҳа маслиҳат додам, гарчанде ки ман дар навиштани рамзи воқеӣ иштирок накардаам. Дар натича суръати кори ичрокунандагон хеле афзуд.
Владимир: Оё шумо бо татбиқи нодурусти алгоритмҳои худ ё дархостҳо барои илова кардани хусусиятҳои нав дучор шудаед? Умуман, амалия бояд бо назария мувофиқат кунад, аммо аксар вақт онҳо фарқ мекунанд. Фарз мекунем, ки шумо алгоритме навиштед ва дар рӯи коғаз он кор мекунад, аммо одамоне, ки дар татбиқи онҳо иштирок мекунанд, аз шумо хоҳиш карданд, ки хусусиятҳои бештар ё ягон навъ ислоҳи алгоритмро талаб кунанд. Оё шумо ягон бор чунин ҳолатҳо доштед?
Майкл: Ягона мисоле, ки дар он касе назди ман омад ва пурсид, ки "чӣ гуна онро амалӣ кардан лозим аст" саволи Дуг буд, ки ман аллакай дар бораи он сӯҳбат кардам. Аммо якчанд ҳолатҳое буданд, ки ба талаботи амалӣ тағйироти ҷолиб ворид карда шудаанд. Масалан, дастаи K42 дар IBM қулфи MCS-ро табдил дод ва онро ба интерфейси стандартӣ табдил дод, аз ин рӯ лозим набуд, ки гиреҳи навбатро пасу пеш ба реҷаҳои ба даст овардан ва озод гузаронед. Ба шарофати ин интерфейси стандартӣ, идеяе, ки аз ҷиҳати назария зебо буд, дар амал ба кор шурӯъ кард. Тааҷҷубовар аст, ки онҳо ҳеҷ гоҳ дар ин бора мақолае нашр накардаанд ва ҳарчанд патент гирифтаанд, баъдтар аз он даст кашиданд. Идеяи олиҷаноб буд ва ман кӯшиш мекунам, ки то ҳадди имкон дар ин бора сӯҳбат кунам.
Ҳолатҳои дигаре ҳам буданд, ки одамон алгоритмҳои нашркардаамро такмил додаанд. Масалан, навбати MS дорои механизми насби дуқадам аст, ки маънои онро дошт, ки дар роҳи муҳими навбат ду CAS мавҷуд буд. Дар мошинҳои кӯҳна, CAS хеле гарон буд. Intel ва дигар истеҳсолкунандагон онҳоро ба наздикӣ хеле хуб оптимизатсия карданд, аммо як вақтҳо ин дастурҳои 30-даврӣ буданд, аз ин рӯ доштани зиёда аз як дар роҳи муҳим номатлуб буд. Дар натиҷа, як навбати дигар таҳия карда шуд, ки ба навбати MS монанд буд, аммо дар роҳи муҳим танҳо як амалиёти атомӣ дошт. Ин ба туфайли он ба даст оварда шуд, ки дар як муддати муайян амалиёт метавонист вақти О(n)-ро гирад, на О(1). Ин ғайриимкон буд, аммо имконпазир буд. Ин аз он сабаб ба амал омад, ки дар лаҳзаҳои муайян алгоритм навбатро аз аввал то мавқеъи кунунии ин навбат тай намуд. Умуман, алгоритм хеле муваффақ шуд. То ҷое ки ман медонам, он чандон васеъ истифода намешавад, қисман аз он сабаб, ки амалиёти атомӣ нисбат ба пештара захираҳои хеле камро талаб мекунад. Аммо идея бузург буд. Ман инчунин кори Дэйв Дисро аз Oracle хеле дӯст медорам. Хар коре, ки у мекунад, хеле амалист ва оханро хеле мохирона истифода мебарад. Ӯ дар бисёре аз алгоритмҳои синхронизатсияи аз NUMA огоҳ ва сохторҳои маълумотҳои чанд ришта даст дошт.
Владимир: Вақте ки шумо алгоритмҳо менависед ё ба донишҷӯён таълим медиҳед, натиҷаи кори шумо фавран дида намешавад. Ба ҷомеа чанд вақт лозим аст, то бо мақолаи нав шинос шавад. Алгоритми нав дарҳол барнома пайдо намекунад.
Майкл: Дархол маълум нест, ки оё макола ахамияти калон дорад ё не. Ман фикр мекунам, ки омӯзиши мақолаҳое, ки дар конфронсҳо ҷоиза гирифтаанд, ҷолиб мебуд. Яъне ба мақолаҳое нигаред, ки одамон дар кумитаҳои барномавӣ дар як вақт беҳтарин шуморида буданд. Шумо бояд кӯшиш кунед, ки аз рӯи шумораи истинодҳо ва таъсир ба тиҷорат ҳисоб кунед, ки ин мақолаҳо воқеан дар 10, 20, 25 сол таъсирбахшанд. Ман шубҳа дорам, ки байни ин ду робитаи қавӣ вуҷуд дорад. Он сифр нахоҳад буд, аммо ба эҳтимоли зиёд он аз он ки мо мехостем, хеле заифтар хоҳад буд. Бисёр идеяҳо то паҳн шудани онҳо муддати тӯлонӣ бетаъсир мемонанд. Масалан, хотираи транзаксиониро гирем. Зиёда аз 10 сол аз замони нашри мақолаи аслӣ то замоне гузашт, ки одамон воқеан бо он ба сохтани мошинҳо шурӯъ карданд. Ва пеш аз пайдоиши ин хотира дар маҳсулоти тиҷоратӣ - ва ҳама 20. Дар муддати хеле тӯлонӣ касе ба мақола аҳамият надод ва сипас шумораи истинодҳо ба он якбора афзоиш ёфт. Инро пешакй пешгуй кардан душвор мебуд. Аз тарафи дигар, баъзан идеяҳо фавран амалӣ мешаванд. Чанд сол пеш, ман бо Ҷо Израелевиц барои DISC коғаз навишта будам, ки таърифи нави расмии эътибор барои сохторҳои доимии маълумотро пешниҳод кард, ки пас аз садамаи компютере, ки онҳоро идора мекунад, истифода шавад. Мақола аз аввал ба ман писанд омад, аммо маълум шуд, ки он назар ба интизори ман хеле маъмултар буд. Он аз ҷониби якчанд гурӯҳҳои гуногун истифода мешуд ва дар ниҳоят таърифи стандартии сохторҳои устуворӣ гардид. Ки, албатта, хуб аст.
Владимир: Оё ягон усуле ҳаст, ки шумо барои арзёбӣ истифода мебаред? Оё шумо ҳатто кӯшиш мекунед, ки мақолаҳои худ ва донишҷӯёни худро баҳо диҳед? Дар робита ба он, ки оё шахсе, ки шумо таълим додед, дар самти дуруст меравад.
Майкл: Мисли дигарон, ман ба коре, ки дар айни замон машгулам, бештар диккат медихам. Боз, мисли дигарон, ман гоҳ-гоҳ Google Scholar-ро тафтиш мекунам, то бубинам, ки оё ҳуҷҷатҳои гузаштаи ман иқтибос шудаанд, аммо ин бештар аз кунҷковӣ аст. Ман асосан ба он корҳое, ки шогирдонам ҳоло машғуланд, ғарқ шудаам. Вақте ки сухан дар бораи баҳодиҳии кори ҷорӣ меравад, як қисми он мулоҳизаҳои эстетикӣ аст, ки чӣ шево аст ва чӣ не. Ва дар сатҳи ҳамарӯза саволҳои кушод нақши калон мебозанд. Масалан, як донишҷӯ бо графики баъзе натиҷаҳо ба назди ман меояд ва мо кӯшиш мекунем фаҳмем, ки рафтори аҷиби график аз куҷо пайдо шудааст. Умуман, мо дар кори худ доимо кушиш менамоем, ки он чиро, ки хануз нафахмидаем, фахмем.
Хотираи транзаксионӣ
Виталий: Шояд мо метавонем каме дар бораи хотираи транзаксия гап?
Майкл: Ба фикрам, акаллан каме гуфтан бамаврид аст, зеро ман дар ин кор саъю кушиши зиёд кардам. Ин мавзӯъест, ки ман дар он бештар аз ҳама нашрияҳо дорам. Аммо дар айни замон, аҷиб аст, ки ман ҳамеша ба хотираи транзаксия шубҳанок будам. Ба андешаи ман, (М. Херлихи, Ж. Е. Б. Мосс) пеш аз мухлат ба табъ расидаанд. Дар ибтидои солҳои 1990-ум онҳо пешниҳод карданд, ки хотираи транзаксионӣ метавонад ба барномасозони боистеъдод дар кор дар сохторҳои маълумотҳои бисёрсоҳавӣ кӯмак кунад, то ин сохторҳо баъдан ҳамчун китобхона аз ҷониби барномасозони оддӣ истифода шаванд. Яъне, ин барои Дуг Ли кӯмак мекунад, ки JSR 166-и худро иҷро кунад. Аммо хотираи транзаксионӣ барои осон кардани барномасозии чанд ришта пешбинӣ нашуда буд. Аммо маҳз ҳамин тавр он дар аввали солҳои 2000-ум, вақте ки васеъ паҳн шуд, қабул карда шуд. Он ҳамчун роҳи ҳалли мушкилоти барномасозии параллелӣ таблиғ карда шуд. Ин равиш ба назари ман ҳамеша бесамар менамуд. Хотираи транзаксионӣ танҳо навиштани сохторҳои параллели додаҳоро осонтар карда метавонист. Ба назари ман, ин чизест, ки вай ба даст овардааст.
Дар бораи душвории навиштани коди чанд ришта
Алексей: Хеле ҷолиб. Чунин ба назар мерасад, ки байни барномасозони муқаррарӣ ва онҳое, ки метавонанд коди чанд ришта нависад, монеаи муайяне вуҷуд дорад. Соли гузашта ман якчанд маротиба бо одамоне сӯҳбат кардам, ки чаҳорчӯбаи алгоритмиро амалӣ мекарданд. Масалан, бо Мартин Томсон, инчунин бо барномасозоне, ки дар китобхонаҳои бисёрсоҳавӣ кор мекунанд. (Эзоҳ аз муҳаррир: Мартин Томпсон як таҳиягари хеле машҳур аст, навиштааст ӯ и . Ва ӯ низ дорад дар конфронси Joker 2015 мо, сабти видео . Ӯ ҳамон аст ин конференция низ дастрас аст). Мушкилоти асосӣ, ба гуфтаи онҳо, сохтани алгоритмҳо ҳам зуд ва ҳам барои истифода осон аст. Яъне талош доранд, ки ин монеаро паси сар кунанд ва ҳарчи бештари мардумро ба ин минтақа ҷалб кунанд. Шумо дар ин бора чӣ фикр доред?
Майкл: Ин пробле-маи асосии бисьёр риштадо мебошад: чй тавр бе зиёд кардани мураккабии система ба досилнокии баланд ноил шудан мумкин аст.
Алексей: Зеро вақте ки онҳо кӯшиш мекунанд, ки аз мураккабӣ канорагирӣ кунанд, алгоритм камтар универсалӣ мешавад.
Майкл: Калиди ин ҷо абстраксияҳои дуруст тарҳрезӣ шудаанд. Ба назари ман, ин умуман чизи асосӣ барои системаҳои компютерӣ ҳамчун соҳа аст. Батлер Лампсон истифодаи ин истилоҳро дӯст медорад ва ӯ моро "тоҷирони абстраксияҳо" меномад. Технологияҳои оддӣ имрӯз вуҷуд надоранд. Протсессорҳое, ки мо истифода мебарем, 10 миллиард транзистор доранд - соддагии он аз эҳтимол дур нест. Дар айни замон, ISA нисбат ба протсессор хеле соддатар аст, зеро мо муддати тӯлонӣ кор кардем, то онро бо иҷрои баланд ва интерфейси нисбатан содда таъмин кунем. Аммо на ҳама чиз бо ӯ ҳамвор аст. Айнан ҳамин мушкилот бо суръатбахшҳоест, ки ҳоло дар бозор пайдо мешаванд. Саволҳо ба миён меоянд - чӣ гуна бояд интерфейси дурустро барои GPU, механизми рамзгузорӣ, фишурдасозӣ, механизми рамзгузорӣ, механизми алгебраи хатӣ ё ҳатто FPGA чандиртар созад. Чӣ тавр интерфейсеро сохтан мумкин аст, ки истифодаи асбобро осон кунад ва мураккабиро пинҳон кунад? Он аз он халос намешавад, балки онро аз як барномасози оддӣ пинҳон мекунад.
Алексей: Тавре ки ман мефаҳмам, мо дар фаҳмидани абстраксияҳо монеа дорем. Модели хотираро гирем, дар мархалаи тараккиёти илму техника ин яке аз абстракцияхои асосй мебошад. Ба шарофати он, ҳамаи барномасозон ба ду гурӯҳ тақсим мешаванд: қисми бештар онҳое мебошанд, ки онро намефаҳманд ва қисми хурдтарашон онҳое мебошанд, ки мефаҳманд ё фикр мекунанд, ки онҳо мефаҳманд.
Майкл: Ин саволи хуб аст - оё касе аз мо воқеан модели хотираро мефаҳмад?
Виталий: Махсусан дар C++.
Майкл: Баъзан бо Ҳанс Боем сӯҳбат кунед. Вай яке аз одамони донотарин, ки ман медонам, коршиноси пешбари моделҳои хотира аст. Вай дарҳол ба шумо мегӯяд, ки ӯ бисёр чизҳоро намефаҳмад. Аммо агар ба масъалаи абстраксияҳо баргардем, пас, ба назари ман, муҳимтарин идея дар соҳаи моделҳои хотира дар тӯли 30 соли охир баён шудааст. . (Эзди муҳаррир: рӯйхати пурраи нашрияҳо дастрас аст ).
Алексей: Саволи ман ин аст: оё ин монеа аз худи табиати консепсия бармеояд?
Майкл: Не. Сарита ба хулосае омад, ки бо равиши дуруст шумо метавонед тамоми мураккабиро бомуваффақият пинҳон кунед, иҷрои баланд ба даст оред ва ба барномасоз API оддӣ диҳед. Ва агар шумо ин API-ро риоя кунед, шумо метавонед ба мувофиқати пайваста ноил шавед. Ман фикр мекунам, ки ин модели дуруст аст. Рамзро бидуни нажодҳои додаҳо нависед ва мувофиқати пайдарпай ба даст оред. Албатта, барои кам кардани эҳтимолияти пойга асбобҳои махсус лозиманд, аммо ин масъалаи дигар аст.
Владимир: Дар карераи шумо борхо шуда буд, ки масъалае, ки ба назар хал шуда буд, ногахон ба фалокат мубаддал шуд ва ё маълум шуд, ки ин проблема халношудааст? Масалан, дар назария шумо метавонед ягон ададро коэффитсиент кунед ё муайян кунед, ки ягон адад аслӣ аст. Аммо дар амал ин корро кардан душвор буда метавонад; бо сахтафзори мавҷуда омили рақамҳо душвор аст. Оё чизе ба ин монанд бо шумо рӯй дод?
Майкл: Ман дарҳол чунин чизеро дар хотир надорам. Вактхое буданд, ки ба назарам чунин менамуд, ки дар ин ё он мавзеъ ягон коре намондааст, вале баъд дар он чо чизи наву шавковар руй дод. Масалан, ман фикр мекардам, ки майдони навбати номаҳдуд аллакай ба камол расидааст. Пас аз чанд такмилдиҳии навбати MNS, дигар ҳеҷ чизи зиёд рӯй надодааст. Ва он гоҳ Моррисон (Адам Моррисон) ва Афек (Йехуда Афек) ихтироъ карданд . Маълум шуд, ки навбати номаҳдуди бисёрсоҳавӣ имконпазир аст, ки дар он аксар вақт танҳо дастури гирифтан ва афзоиш додан дар роҳи муҳим мавҷуд аст. Ва ин имкон дод, ки ба тартиби миқёси иҷрои беҳтар ноил шавад. Ин на он аст, ки мо намедонем, ки ҷамъоварӣ ва афзоиш як чизи хеле муфид аст. Дар ин бора Эрик Фрейдентал дар кори худ оид ба Ultracomputer бо Аллан Готтлиб дар охири солҳои 1980 навишт, аммо сухан дар бораи навбатҳои маҳдуд буд. Моррисон ва Афек тавонистанд, ки дар навбати номаҳдуд истифода бурдан ва афзоишро истифода баранд.
Архитектурахои нав. Оё ғалабаи хотираи транзаксионӣ наздик аст?
Владимир: Оё шумо қарорҳои нави меъмориро меҷӯед, ки метавонанд барои алгоритмҳо муфид бошанд?
Майкл: Албатта, бисьёр чизхое хастанд, ки ман мехостам ба амал бароварда шаванд.
Владимир: Масалан, чӣ гуна?
Майкл: Пеш аз ҳама, чанд васеъшавии оддии хотираи транзаксионии сатҳи сахтафзори мо дар протсессори Intel ва IBM. Аз ҷумла, ман мехоҳам, ки сарборӣ ва мағозаи ғайритиҷоратӣ, ки ба наздикӣ рух дод, фавран дар дохили транзаксияҳо дастрас бошад. Онҳо фавран ба ҳалқаҳо дар пайдарпаии пеш аз рӯйдодҳо оварда мерасонанд, бинобар ин онҳо душвор буда метавонанд. Аммо агар шумо қабатҳои абстраксияро нигоҳ доред, бисёр чизҳои ҷолибе ҳастанд, ки шумо метавонед берун аз транзаксия ҳангоми анҷом додани он анҷом диҳед. Ман намедонам, ки татбиқи ин чӣ гуна душвор аст, аммо ин хеле муфид хоҳад буд.
Чизи дигари муфид ин боркунии кэш аз хотираи дурдаст мебошад. Ман фикр мекунам, ки дер ё зуд ин кор анҷом хоҳад ёфт. Ин технология имкон медиҳад, ки системаҳои дорои хотираи ҷудошуда эҷод карда шаванд. Метавон гуфт, масалан, 100 терабайт хотираи бетағйирро дар рейк нигоҳ дошт ва худи системаи оператсионӣ ба таври динамикӣ қарор медиҳад, ки кадом қисмҳои ин хотира бояд ба фазои суроғаи физикии протсессорҳо мувофиқат кунанд. Ин барои роёниши абрӣ бениҳоят муфид хоҳад буд, зеро он имкон медиҳад, ки миқдори зиёди хотира ба вазифаҳое, ки ба он ниёз доранд, таъмин карда шаванд. Ман фикр мекунам, ки касе ин корро мекунад.
Виталий: Барои анҷом додани сӯҳбат дар бораи хотираи транзаксионӣ, ман як саволи дигар дар ин мавзӯъ дорам. Оё хотираи транзаксионӣ дар ниҳоят сохторҳои стандартии маълумоти бисёрсоҳаро иваз мекунад?
Майкл: Не. Муомилот як механизми тахминӣ мебошанд. Дар сатҳи барномасозӣ ин қуфлҳои атомӣ ҳастанд, аммо дар дохили онҳо тахминҳо ҳастанд. Чунин пешгӯӣ кор мекунад, агар аксарияти тахминҳо дуруст бошанд. Аз ин рӯ, хотираи транзаксионӣ вақте хуб кор мекунад, ки риштаҳо бо ҳамдигар базӯр мутақобила мекунанд ва шумо танҳо бояд боварӣ ҳосил кунед, ки ҳеҷ гуна ҳамкорӣ вуҷуд надорад. Аммо агар паём дар байни риштаҳо оғоз шавад, транзаксияҳо фоидаи кам доранд. Иҷозат диҳед фаҳмонам, ки мо дар бораи ҳолате гап мезанем, ки транзаксияҳо дар тамоми амалиёти атомӣ печонида мешаванд. Онҳоро то ҳол метавон ҳамчун ҷузъҳои сохторҳои маълумотҳои бисёрсоҳавӣ бомуваффақият истифода бурд. Масалан, агар ба шумо се калимаи CAS лозим бошад ва ба шумо лозим аст, ки се чизи хурдро дар мобайни як алгоритми воқеан чанд ришта, ки дар як вақт бо бист ришта кор мекунад, чанд ришта гузоред. Умуман, транзаксияҳо метавонанд муфид бошанд, аммо онҳо эҳтиёҷоти дурусти тарҳрезии сохторҳои бисёрсоҳаи маълумотро бартараф намекунанд.
Хотираи ғайридавлатӣ, Optane DIMM, дастгоҳҳои ултра-тез.
Виталий: Охирин чизе, ки ман мехостам дар бораи он сӯҳбат кунам, ин мавзӯи тадқиқоти ҳозираи шумост: хотираи ғайримуқаррарӣ. Дар ояндаи наздик мо дар ин соҳа чӣ интизор шудан мумкин аст? Шояд шумо ягон амали муассиреро медонед, ки аллакай вуҷуд дорад?
Майкл: Ман мутахассиси аппаратура нестам, танхо он чиро, ки аз хабархо хондаам ва хамкасбонам ба ман накл мекунанд, медонам. Ҳама аллакай шунидаанд, ки Intel мефурӯшад , ки назар ба RAM динамикӣ тақрибан 3 маротиба таъхири хондан ва 10 маротиба таъхири навиштан доранд. Онҳо ба зудӣ дар версияҳои хеле калон дастрас хоҳанд шуд. Чунин фикр кардан хандаовар аст, ки шумо метавонед як ноутбук бо якчанд терабайт RAM-и суроғавӣ дошта бошед. Эҳтимол аст, ки дар тӯли 10 сол мо тасмим хоҳем гирифт, ки ин технологияи навро истифода барем, зеро мо DRAM-ро истифода мебарем - танҳо ҳаҷми онро зиёд кунед. Аммо ба шарофати истиқлолияти энергетикӣ барои мо имкониятҳои комилан нав кушода мешаванд. Мо метавонем стеки анборро ба таври куллӣ тағир диҳем, то байни хотираи кории суроғашавандаи байт ва хотираи доимии блок-сохторӣ ҳеҷ гуна ҷудоӣ мавҷуд набошад. Ҳамин тариқ, ба мо лозим нест, ки ҳама чизеро, ки бояд аз як барнома ба барномаи дигар ба файлҳои блоки сохторӣ интиқол дода шавад, силсилаи кунем. Аз ин мо метавонем бисёр принсипҳои муҳимеро ба даст орем, ки ба системаҳои амалиётӣ, муҳити корӣ ва мағозаҳои тақсимшудаи додаҳо таъсир мерасонанд. Дар ин минтақа кор кардан хеле ҷолиб аст. Шахсан барои ман пешгӯӣ кардан душвор аст, ки ин ҳама ба чӣ оварда мерасонад, аммо мушкилот дар ин ҷо бениҳоят шавқоваранд. Дар ин ҷо метавонад тағйироти инқилобӣ ба амал ояд ва онҳо ба таври табиӣ аз кори чанд ришта пайравӣ мекунанд, зеро барқарорсозии нокомӣ дар паҳлӯи кори муқаррарии система як раванди "мултитриадинг" аст.
Мавзӯи дуюми асосӣ, ки ман ҳоло дар он кор мекунам, идоракунии дастгоҳҳои ултра-тез ва дастрасии бехатар ба дастгоҳҳо аз фазои корбарон бо назорати системавии сиёсат мебошад. Дар солҳои охир, тамоюли интиқоли дастрасӣ ба дастгоҳ ба фазои корбарон вуҷуд дорад. Ин аз он сабаб анҷом дода мешавад, ки стеки ядрои TCP-IP дар болои интерфейси шабакавӣ кор карда наметавонад, ки ҳар 5 микросония ба бастаи нав ниёз дорад; он танҳо давом намекунад. Аз ин рӯ, истеҳсолкунандагон дастрасии мустақимро ба дастгоҳҳо таъмин мекунанд. Аммо ин маънои онро дорад, ки системаи оператсионӣ назорати равандро аз даст медиҳад ва он наметавонад дастрасии дурустро ба дастгоҳ барои барномаҳои рақобаткунанда таъмин кунад. Гурухи тадкикоти илмии мо чунин мешуморад, ки ба ин камбудй рох додан мумкин аст. Мо дар ин моҳ дар USENIX ATC мақолае хоҳем дошт. Он ба кор оид ба субот алоқаманд аст, зеро хотираи доимии суроғавии байтӣ, аслан як дастгоҳи дорои вуруди / баромади ултра тез аст, ки бояд дар фазои корбарон дастрас карда шавад. Ин тадқиқот усулҳои навро ба микроядроҳо, экзокернелҳо ва дигар кӯшишҳои анъанавӣ барои бехатар интиқол додани функсияҳо аз ядрои ОС ба фазои корбарон имконпазир месозад.
Владимир: Хотираи суроғавии байт бузург аст, аммо маҳдудияти ҷисмонӣ вуҷуд дорад - суръати рӯшноӣ. Ин маънои онро дорад, ки ҳангоми муошират бо дастгоҳ ҳатман таъхир мешавад.
Майкл: Комилан дуруст.
Владимир: Оё барои тоб овардан ба бори нав иктидори кофй мавчуд аст?
Майкл: Ин саволи олиҷаноб аст, аммо ҷавоб додан бароям душвор хоҳад буд. Идеяи коркард дар хотира муддати хеле зиёд буд, он хеле ҷолиб, аммо хеле мураккаб аст. Ман дар ин самт кор накардаам, аммо хуб мешуд, агар дар он ҷо ягон кашфиёт сурат мегирифт. Ман метарсам, ки дигар чизе барои илова кардан надорам.
Владимир: Боз як мушкилие ҳаст. Миқдори нав ва ба таври назаррас калонтари RAM мувофиқат кардан ба CPU имконнопазир хоҳад буд. Аз ин рӯ, бинобар маҳдудиятҳои ҷисмонӣ, ин RAM бояд ҷудо карда шавад.
Майкл: Хамаи ин ба микдори нуксонхои истехсоли схемахои интегралй вобаста аст. Агар пластинкахои нимнокилро комилан бе нуксон сохтан мумкин мебуд, пас аз он микросхемаи том сохтан мумкин мебуд. Аммо ҳоло мо намедонем, ки чӣ тавр микросхемаҳоро аз маркаҳои почта калонтар созем.
Владимир: Аммо мо хануз дар бораи андозахои азим, дар бораи сантиметр сухан меронем. Ин ногузир ба таъхир таъсир мерасонад.
Майкл: Бале. Дар бораи суръати рӯшноӣ ҳеҷ коре карда наметавонед.
Владимир: Мутаассифона.
Тамоюли навбатии калон. Сохторҳои дуҷонибаи маълумот. Гидра.
Виталий: То ҷое ки ман мефаҳмам, шумо тамоюлҳои навро зуд ба даст меоред. Шумо яке аз аввалинҳо шудаед, ки дар хотираи транзаксионӣ кор кардед ва яке аз аввалинҳо шудаед, ки дар хотираи ғайрифаъол кор кард. Ба фикри шумо, тамоюли навбатии калон чӣ хоҳад буд? Ё шояд ин сир аст?
Майкл: Ростӣ, ман намедонам. Умедворам, ки вақте чизи нав пайдо мешавад, ман пайхас хоҳам кард. Хушбахт набуд, ки ягон соҳаи навро мустақилона ихтироъ кунам, аммо ба ман чанде иқбол омад ва тавонистам дар соҳаҳои наве, ки дигарон офаридаанд, хеле барвақт ба кор шурӯъ кунам. Умедворам, ки дар оянда ин корро карда метавонам.
Алексей: Саволи охирин дар ин мусоҳиба дар бораи иҷрои шумо дар Hydra ва фаъолияти шумо дар мактаб хоҳад буд. Агар ман дуруст фаҳмам, гузориш дар мактаб дар бораи алгоритмҳои бебанд ва дар конфронс дар бораи сохторҳои дукаратаи додаҳо хоҳад буд. Метавонед дар бораи ин гузоришҳо чанд сухан бигӯед?
Майкл: Аз љумла, мо дар ин мусоњиба бо шумо аллакай ба ин мавзўъњо дахл кардем. Сухан дар бораи коре меравад, ки ман бо шогирдам Билл Шерер кардам. Вай дар бораи он рисола навишт ва Дуг Ли низ дар он саҳм гузоштааст ва дар ниҳоят он як қисми навбатҳои синхронӣ дар китобхонаи Java шуд. Фарз мекунем, ки сохтори додаҳо бидуни басташавӣ хонда ва навишта мешавад, яъне ҳар як амалиёт дар роҳи критикӣ миқдори маҳдуди дастурҳо дорад. Агар шумо кӯшиш кунед, ки маълумотро аз контейнери холӣ хориҷ кунед ё баъзе маълумотеро, ки дар ин контейнер нест, нест кунед, ба шумо фавран хабар дода мешавад, ки ин кор имконнопазир аст. Аммо ин рафтор метавонад қобили қабул набошад, агар ришта воқеан ба ин маълумот ниёз дошта бошад. Он гоҳ аввалин чизе, ки ба ақл меояд, эҷод кардани ҳалқаест, ки доимо мепурсад, ки оё маълумоти зарурӣ пайдо шудааст. Аммо он гоҳ барои ҳама дигарон дахолат мекунанд. Илова бар ин, бо ин равиш, шумо метавонед 10 дақиқа интизор шавед, ва он гоҳ ягон риштаи дигар меояд ва он тасодуфан аввал маълумоти заруриро мегирад. Сохторҳои дугонаи додаҳо то ҳол қуфл надоранд, аммо онҳо имкон медиҳанд, ки риштаҳо дуруст интизор шаванд. Истилоҳи "дугона" маънои онро дорад, ки сохтор ё маълумот ё дархост барои додаҳоро дар бар мегирад, биёед онҳоро зидди додаҳо меномем. Ҳамин тавр, агар шумо кӯшиш кунед, ки чизеро аз контейнери холӣ гиред, ба ҷои он дархост ба контейнер гузошта мешавад. Акнун ришта метавонад ба ягон каси дигар халал нарасонад, дархостро интизор шавад. Илова бар ин, сохтори додаҳо афзалиятҳоро ба дархостҳо таъин мекунад, то вақте ки онҳо қабул карда шаванд, онҳо ба шахси мувофиқ интиқол дода мешаванд. Дар натиҷа як механизми қулф нест, ки то ҳол мушаххасоти расмӣ ва иҷрои хуб дар амал дорад.
Алексей: Интизории шумо аз ин сохтори додаҳо чист? Оё он самаранокиро дар ҳама ҳолатҳои маъмул беҳтар мекунад ё барои баъзе ҳолатҳо мувофиқтар аст?
Майкл: Ин муфид аст, агар аввал ба шумо контейнер бе қулф лозим бошад ва дуюм, шумо бояд дар вазъияте интизор шавед, ки шумо бояд маълумотро аз контейнере, ки дар он нест, дарёфт кунед. Мувофиқи маълумоти ман, чаҳорчӯбаи мо рафтори оптималиро ҳангоми иҷро шудани ин ду шарт таъмин мекунад. Аз ин рӯ, дар ин ҳолатҳо ман тавсия медиҳам, ки онро истифода баред. Бартарии асосии сохторҳои беқуфл дар он аст, ки онҳо аз мушкилоти иҷроиш канорагирӣ мекунанд. Ва интизорӣ дар бисёр алгоритмҳо хеле муҳим аст, агар маълумот аз як ришта ба риштаи дигар интиқол дода шавад.
Виталий: Ичозат дихед аник кунам: оё шумо хам дар мактаб ва хам дар конференция дар бораи як чиз гап мезанед?
Майкл: Дар мактаб дар маҷмӯъ дар бораи сохторҳои маълумотҳои бисёрсоҳавӣ, бо принсипҳои асосӣ дар оғози дарс. Ман гумон мекунам, ки тамошобинон медонанд, ки риштаҳо чист ва бо қулфҳо ошно ҳастанд. Дар асоси ин дониши асосӣ, ман дар бораи сохторҳои маълумотҳои бе қулф сӯҳбат хоҳам кард. Ман дар бораи мушкилоти муҳимтарини ин соҳа шарҳи мухтасар медиҳам, ки ба мавзӯъҳо, ба монанди идоракунии хотира дахл мекунам. Ман фикр намекунам, ки чизи мураккабтар аз навбати MS вуҷуд надорад.
Алексей: Оё шумо ният доред, ки дар охири синфи худ дар мактаб дар бораи сохторҳои дугонаи додаҳо таълим диҳед?
Майкл: Ман онҳоро ёдовар мешавам, аммо ба онҳо вақти зиёд сарф намекунам. Гузориши Hydra ба онҳо бахшида мешавад. Он лоиҳаеро, ки дар ниҳоят ба Java табдил ёфтааст, инчунин кор бо Ҷо Исраилевич барои эҷоди як варианти дугонаи навбати LCRQ ва эҷоди як тарҳи қариб универсалӣ барои сохторҳои дугонаи додаҳо фаро мегирад.
Алексей: Пас, лексияро дар мактаб барои шурӯъкунандагон тавсия кардан мумкин аст ва лексия дар бораи сохторҳои дукаратаи додаҳо дар Hydra - барои одамоне, ки аллакай таҷриба доранд?
Майкл: Агар хато карда бошам, маро ислоҳ кунед, аммо аудиторияи Hydra хеле гуногун хоҳанд буд, аз ҷумла бисёре аз коршиносони Java ва дар маҷмӯъ одамоне, ки махсусан дар барномасозии бисёрсоҳавӣ иштирок намекунанд.
Виталий: Бале, дуруст аст.
Алексей: Ақаллан мо умедворем.
Майкл: Дар ин сурат, ман бо ҳамон мушкилоте рӯ ба рӯ мешавам, ки мо ин мусоҳибаро бо он оғоз кардем: чӣ гуна гузоришро ҳам аз ҷузъиёти техникӣ ба таври кофӣ бой ва ҳам барои ҳама шунавандагон дастрас кардан мумкин аст.
Виталий: Оё шумо ба мисли лекциядо маъруза медихед? Яъне бо шунавандагон сўњбат карда, ба вазъият мутобиќ шавед?
Майкл: Ман метарсам, ки ин тавр намешавад, зеро гузориш дорои слайдҳо хоҳад буд. Вақте ки шунавандагон дар аввал бо забонҳои гуногун гап мезананд, слайдҳо муҳиманд. Бисёр одамон маро бо забони англисӣ фаҳмидан душвор хоҳанд буд, хусусан агар ман хеле зуд гап занам. Ман ин мавзӯъҳоро интихоб кардам, зеро аз ман хоҳиш кард, ки дар бораи сохторҳои маълумотҳои бе қулф дар Мактаби SPTDC сӯҳбат кунам; ва он гоҳ ба ман гузориш барои конфронси гурӯҳи корбарони Java лозим буд ва ман мехостам чизеро интихоб кунам, ки махсусан барои барномасозони Java ҷолиб бошад. Роҳи осонтарини сӯҳбат дар бораи он чизҳое дар китобхонаи Java буд, ки ман дар ин ё он роҳ даст доштам.
Алексей: Мо тахмин мезанем, ки шунавандагони Hydra аллакай дар бораи барномасозии бидуни қулф чизе медонанд ва шояд дар ин самт таҷриба дошта бошанд. Аммо ин факат тахмин аст, вазъият дар худи конференция равшантар мешавад. Ба ҳар ҳол, ташаккур барои вақтатон. Боварӣ дорам, ки мусоҳиба барои хонандагони мо хеле ҷолиб хоҳад буд. Ташаккур!
Виталий: Сипос.
Майкл: Ман шодам, ки бо шумо дар Санкт-Петербург вохӯрам.
Алексей: Мо хам шахри зебо дорем. Оё шумо ягон бор дар ин ҷо будед?
Майкл: Не, ман умуман дар Русия набудам. Аммо Санкт-Петербург ҳамеша дар феҳрасти ҷойҳое буд, ки ман то ҳол нарафтам, вале воқеан ба он ҷое ки рафтан мехоҳам, аз ин даъват хеле шод шудам.
Алексей: Дар омади гап, мо барои нотикон программам экскурсия хохем дошт. Ташаккури зиёд барои мусоҳиба, ва рӯзи хуш!
Шумо метавонед сӯҳбати худро бо Майкл дар конфронси Hydra 2019, ки рӯзҳои 11-12 июли соли 2019 дар Санкт-Петербург баргузор мешавад, идома диҳед. Вай бо гузориш меояд . Билетхоро харидан мумкин аст .
Манбаъ: will.com