- ба ҳайси профессори илмҳои компютерӣ дар Донишгоҳи Рочестер ва панҷ сол ҳамчун декан дар алмаматери худ, Донишгоҳи Висконсин-Мэдисон кор кардааст. Ӯ дар баробари барномасозӣ ва тарҳрезии забонҳои мувозӣ ва тақсимшуда пажӯҳиш мебарад ва ин фанҳоро ба донишҷӯён таълим медиҳад.
Ҷаҳон Майклро аз китоби дарсӣ мешиносад , дар бораи кор чй? Ҷоизаи 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 ё ҳамкории инсон ва компютер кор мекунанд - ин нисбат ба дигар шӯъбаҳо баландтар аст ва ҳамеша ҳамин тавр буд. Аммо вақте ки ман дар CMU будам, ман ягон курси AI надоштам ва ҳеҷ гоҳ дар он кор накардаам. Ҳамин тавр, шӯъбаи ман ба мушкилоте тахассус дорад, ки ман бо он робита надорам. Хабари хуш ин аст, ки мушкилоти дуввуми муҳим дар шӯъбаи мо ин барномасозии ҳамзамон ва бисёрҷабҳа аст, ки соҳаи тахассуси ман аст.
ВиталийШумо дар илмҳои компютерӣ кор карданро замоне оғоз кардед, ки соҳаи барномасозии мултимедиявӣ нав пайдо мешуд. Мувофиқи рӯйхати нашрияҳои шумо, кори аввалини шумо доираи хеле васеи мавзӯъҳоро дар бар мегирифт: идоракунии хотира дар системаҳои бисёрсоҳавӣ, системаҳои файлии тақсимшуда ва системаҳои оператсионӣ. Чаро чунин гуногунҷабҳа? Оё шумо кӯшиш мекардед, ки ҷои худро дар ҷомеаи тадқиқотӣ пайдо кунед?
Майкл: Ҳамчун донишҷӯ ман дар он иштирок доштам дар Донишгоҳи Висконсин, ки дар он ҷо яке аз аввалин системаҳои амалиётии тақсимшуда таҳия шудааст. Дар он ҷо ман бо Рафаэл Финкел кор кардам () ва Марвин Сулаймон (). Рисолаи ман дар бораи таҳияи забони нармафзори системавӣ барои системаҳои тақсимшуда буд - ҳоло он хеле фаромӯш шудааст, шукр. Ман забони барномасозии Lynx-ро офаридаам, ки он барои содда кардани эҷоди серверҳо барои системаи оператсионии ба таври васеъ тақсимшуда пешбинӣ шуда буд. Азбаски ман дар он вақт асосан дар системаҳои оператсионӣ кор мекардам, ман гумон мекардам, ки касбам низ ба онҳо тамаркуз хоҳад кард. Аммо Донишгоҳи Рочестер хеле хурд буд ва аз ин рӯ, гурӯҳҳои мухталифи он ҷо бо ҳамдигар хеле зич ҳамкорӣ мекарданд. Даҳҳо мутахассисони дигари системаҳои оператсионӣ набуданд, ки ман бо онҳо муошират карда метавонам, аз ин рӯ ҳама тамосҳои ман бо одамоне буданд, ки дар соҳаҳои тамоман дигар кор мекунанд. Ман дар ҳақиқат аз ин лаззат бурдам; генералист будан барои ман бартарии калон буд. Дар мавриди сохторҳои маълумотҳои гуногунҷабҳа ва алгоритмҳои ҳамоҳангсозӣ, ман ба таври тасодуфӣ дар болои онҳо кор кардам.
Интерфейси миқёспазири IEEE, қулфи MCS.
Виталий: Оё шумо метавонед дар ин бора каме бештар маълумот диҳед?
Майкл: Ин як қиссаи хандаовар аст, ки ман ҳеҷ гоҳ аз гуфтани ҳама хаста намешавам. Ин дар як конфронс рӯй дод. дар Бостон - он дар охири солҳои 80-ум ё аввали солҳои 90-ум буд. Ҷон Меллор-Крамми дар конфронс ҳузур дошт (), хатмкардаи кафедраи мо. Ман ӯро медонистам, аммо мо қаблан тадқиқоти муштарак нагузаронидем. Мэри Вернон () аз Висконсин дар бораи системаи бисёрпросессоре, ки онҳо дар Висконсин таҳия карда буданд, муаррифӣ карданд: Ин Multicube дорои механизми ҳамоҳангсозии сахтафзор бо номи Q on Sync Bit буд, ки баъдтар Q on Lock Bit номида шуд, зеро он ба панири Колби монанд буд, бинобар ин он як калима буд. Агар шумо ба чанд ришта машғул бошед, эҳтимол шумо медонед, ки Колби дар ниҳоят механизми ҳамоҳангсозии стандарти IEEE Scalable Coherent Interface шуд. Ин як механизми қулфкунӣ буд, ки нишондиҳандаҳоро аз як кэш ба дигараш дар сатҳи сахтафзор эҷод мекард, то ҳар як дорандаи қулф донад, ки навбати кӣ аст. Вақте ки ман ва Ҷон дар ин бора шунидам, мо ба ҳамдигар нигоҳ кардем ва гуфтем, ки чаро ин корро дар сатҳи сахтафзор анҷом медиҳад? Оё мо бо мукоиса ва иваз кардан ба як чиз ноил шуда наметавонем? Мо яке аз дафтарҳои дар синф хобидаро гирифта, нақшаи онро кашида гирифтем. дар ҳоле ки Мэри муаррифии худро идома дод. Мо баъдтар онро амалӣ кардем, таҷриба кардем, идея муваффақ шуд ва мо коғазро нашр кардем. Дар он вақт, ин мавзӯъ барои ман танҳо як парешонии фароғатӣ ба назар мерасид, ки пас аз он ман ният доштам, ки ба системаҳои оператсионӣ баргардам. Аммо баъдан дар ҳамин самт мушкили дигаре ба миён омад ва дар ниҳоят синхронизатсия, чанд ришта ва сохторҳои додаҳо ихтисоси асосии ман шуданд. Тавре ки шумо мебинед, ҳамааш тасодуфан рух додааст.
Виталий: Ман бо блоккунии MCS кайҳо боз ошно будам, аммо то ҳол намедонистам, ки ин кори шумост ва нафаҳмидам, ки ин ихтисори насабҳои шумост.
Чӣ тавр дар ҷаҳони тағйирёбанда зинда мондан мумкин аст?
АлексейМан як саволи марбут дорам. Сӣ ё чиҳил сол пеш, дар ихтисосҳои гуногун озодии бештар вуҷуд дошт. Агар шумо хоҳед, ки касбро дар системаҳои мултимедиявӣ ё тақсимшуда оғоз кунед, пеш равед; агар шумо хоҳед, ки дар системаҳои оператсионӣ кор кунед, мушкиле нест. Ҳар як соҳа саволҳои кушод ва ками коршиносон дошт. Ҳоло, ихтисосҳои танг ба вуҷуд омадаанд: на танҳо мутахассисони системаи амалиётии умумӣ, балки мутахассисони системаҳои мушаххас вуҷуд доранд. Айнан ҳамин чиз ба системаҳои бисёрсоҳавӣ ва тақсимшуда дахл дорад. Аммо масъала дар он аст, ки ҳаёти мо маҳдуд аст; хар як одам метавонад факат якчанд дахсоларо ба тадкикот сарф кунад. Чӣ тавр мо дар ин дунёи нав зинда мемонем?
МайклМо дар ин бобат махсус нестем; як вактхо дар дигар сохахо низ хамин ходиса руй дод. Ман хушбахт будам, ки ба кор дар информатика, вақте ки ин соҳа дар ибтидо буд, оғоз кардам. Баъзе тахкурсихо аллакай гузошта шуда буданд, вале хама чиз хануз хеле пухта нарасидааст. Чунин имкониятҳо аксар вақт ба амал намеоянд. Муҳандисии электрикӣ муддати хеле тӯлонӣ, физика боз ҳам зиёдтар ва математика аз ибтидои замон вуҷуд дорад. Аммо ин маънои онро надорад, ки дигар касе дар математика кашфиёти ҷолиб намекунад. Ҳанӯз мушкилоти зиёде мавҷуданд, аммо дар айни замон мо бояд бештар омӯзем. Шумо дуруст мегӯед, ки ҳоло ихтисосҳо нисбат ба пештара хеле зиёданд, аммо ин танҳо маънои онро дорад, ки мо дар ҳамон вазъияте ҳастем, ки аксари дигар соҳаҳои фаъолияти инсонӣ ҳастем.
АлексейМан дар ин ҷо ба ҷанбаи амалии бештари савол таваҷҷӯҳ дорам. Ман дар соҳаи математика маълумот дорам ва дар давоми таҳсил ман зуд-зуд дар конфронсҳо ширкат мекардам ва дар мавзӯъҳои гуногуни илмӣ кор мекардам. Ман фаҳмидам, ки ҳеҷ кас аз ҳозирон сӯҳбатҳои маро намефаҳмад ва ҳамин тавр, сӯҳбатҳои дигаронро танҳо барои худашон фаҳмо буд. Ин барои мавзӯҳои сатҳи баланд чандон дуруст нест, аммо ҳамин ки шумо ба чизе омӯзед, шунавандагон наметавонанд ба онҳо пайравӣ кунанд. Чӣ тавр шумо инро паси сар мекунед?
Майкл: На хамеша бомуваффакият. Ман ба наздикӣ як суханронӣ омода кардам, ки дар он ман ба ҷузъиёти техникӣ хеле амиқтар омӯхтам. Бо пешравии сухбат маълум шуд, ки аксари шунавандагон маро нафахмидаанд, бинобар ин ман мачбур шудам, ки дар парвоз мутобик шавам. Слайдҳоро тағир додан ғайриимкон буд, бинобар ин он чандон муваффақ набуд — бинобар ин, умуман, ман кӯшиш мекунам, ки слайдҳоро истифода набарам. Умуман, маслиҳати ман ин аст, ки шунавандагони худро ба назар гиред. Шумо бояд донед, ки шумо ба кӣ муроҷиат карда истодаед, сатҳи дониши онҳо ва барои қадр кардани кори шумо он чизеро шунидан лозим аст.
Виталий: Метавонед ба ман маслиҳат диҳед, ки ин лексия дар бораи чӣ буд?
МайклРости гап, ман намехоҳам, ки ин мавзӯъро тафсилот надиҳам, то ифшои афроди марбут ба ин мавзӯъро ҳифз накунам. Гап дар сари он аст, ки мо аксар вакт ба нозукихои проблемае, ки дар болои он кор карда истодаем, хеле чукуртар машгул мешавем ва дар аввали сухбат фахмон-данро душвор мегардонем, ки чаро проблема шавковар ва мухим аст ва он бо масъалахое, ки ба шунавандагон аллакай маълум аст, чй гуна алока дорад. Дар таҷрибаи ман, ин маҳоратест, ки донишҷӯён бештар бо он мубориза мебаранд. Ва ин як заъфи суханронии ахири ман буд. Гуфтугӯи хуб тарҳрезишуда бояд аз аввал бо шунавандагон пайваст шуда, маҳз фаҳмонад, ки мушкилот чист ва он бо мавзӯъҳое, ки онҳо аллакай медонанд, чӣ гуна алоқаманд аст. То чӣ андоза техникӣ будани ин муаррифӣ аз шунавандагон вобаста аст. Агар он хеле гуногун бошад, гуфтугӯ метавонад чанд марҳила бошад. Муқаддима бояд барои ҳама дастрас бошад ва дар ниҳоят, он метавонад хеле душвор бошад, аммо одамоне, ки бо соҳаи шумо нисбатан ошно ҳастанд, ҳама чизро фаҳмида метавонанд.
Оё донишҷӯён беақл мешаванд? Тамоюлҳои ҷаҳонӣ, интернационализатсия.
АлексейШумо якчанд даҳсолаҳост, ки донишҷӯёнро мушоҳида мекунед. Оё донишҷӯён аз даҳсола то даҳсола ё сол то сол беақл мешаванд ё оқилтар мешаванд? Дар Русия профессорон пайваста шикоят мекунанд, ки донишҷӯён ҳар сол аҳмақ мешаванд ва дар ин маврид чӣ кор кардан комилан маълум нест.
Майкл: Шумо дар хакикат аз мо, кухансолон суханхои манфии зиёде мешунавед. Ба таври возеҳ, мо майл дорем, ки донишҷӯён тамоми таҷрибаи 30-солаи моро аз худ кунанд. Агар ман нисбат ба соли 1985 фахми-ши амиктар дошта бошам, пас чаро студентон онро надоранд? Шояд аз он сабаб бошад, ки онҳо 20 сол доранд, чӣ тавр? Ман фикр мекунам, ки тағироти назаррас дар даҳсолаҳои охир ба таркиби демографӣ дахл дорад: ҳоло мо ба истиснои канадаҳо, донишҷӯёни хориҷӣ ба таври назаррас бештар дорем. Пештар канадаҳо зиёд буданд, зеро мо ба сарҳади Канада хеле наздик ҳастем ва донишҷӯёни он ҷо метавонистанд рӯзҳои истироҳат ба хона раванд. Аммо ҳоло Канада бисёр донишгоҳҳои хуб дорад ва канадаҳо таҳсилро дар хона бартарӣ медиҳанд; онҳо ба ИМА хеле камтар сафар мекунанд.
Алексей: Ба фикри шумо, ин як тамоюли маҳаллӣ аст ё глобалӣ?
МайклМан аниқ дар ёд надорам, ки кист, аммо касе гуфт, ки дунё ҳамвор аст. Майдони мо хеле интернационалй гардид. Пештар, онҳо танҳо дар дохили Иёлоти Муттаҳида баргузор мешуданд, пас онҳо тасмим гирифтанд, ки онҳоро дар ҳар чор сол дар дигар кишварҳо баргузор кунанд ва ҳоло онҳо дар тамоми ҷаҳон баргузор мешаванд. Ин дигаргунихо боз хам бештар таъсир расонданд , зеро он хамеша ташкилоти байналхалкии бештар аз ACM буд. Ва курсиҳои барномаҳо аз Чин, Ҳиндустон, Русия, Олмон ва бисёр кишварҳои дигар ҳастанд, зеро ҳоло дар ҳама ҷо хеле зиёд аст.
Алексей: Аммо дар ин интернацио-нализация шояд баъзе чихатхои манфй мавчуд бошад?
МайклМан гуфта метавонам, ки ҳама ҷанбаҳои манфӣ сиёсӣ ҳастанд, на технологӣ. Як вақтҳо мушкили асосӣ ин буд, ки ИМА одамони оқилтарин ва боистеъдодтаринро аз кишварҳои ҷаҳон дуздид. Ҳоло мушкили аслӣ бозиҳои сиёсӣ байни кишварҳои мухталиф бар сари раводид ва муҳоҷират аст.
Алексей: Яъне монеахо ва монанди инхо. Фаҳмид.
ВладимирШахсан ман ба муносибати шумо хангоми таълими фанни нав ба хонандагон шавк дорам. Равишҳои гуногун вуҷуд доранд: шумо метавонед диққати худро ба илҳом додани онҳо барои кӯшиши чизи нав равона кунед ё шумо метавонед бештар ба ҷузъиёти кор кардани технологияи мушаххас таваҷҷӯҳ кунед. Шумо кадомашро афзалтар мешуморед?
Кори самаранок бо донишҷӯён
Алексей: Ва чӣ тавр шумо мувозинати лаънатӣ байни якум ва дуюмро пайдо мекунед?
МайклМушкилот дар он аст, ки дарсҳо на ҳама вақт тавре ки ман мехоҳам, мегузарад. Ман одатан ба донишҷӯён маводи хонишро пешакӣ медиҳам, то онҳо тавонанд онро аз худ кунанд, онро то ҳадди имкон дарк кунанд ва дар бораи ҳама чизҳое, ки нафаҳмидаанд, саволҳо таҳия кунанд. Сипас, дар синф мо метавонем ба нуктаҳои душвортарин диққат диҳем ва онҳоро якҷоя таҳқиқ кунем. Ин аст, ки ман таълим доданро дӯст медорам. Аммо бо назардошти сарбории кор, ман на ҳамеша имкон дорам, ки онҳо пешакӣ омода карда шаванд. Дар натиҷа, ман барои ҷамъбасти умумӣ назар ба он ки мехостам, хеле бештар вақт сарф мекунам. Бо вуҷуди ин, ман кӯшиш мекунам, ки дарсҳои мо интерактивӣ бошанд. Дар акси ҳол, як бор сабт кардани видео осонтар аст, ки донишҷӯён метавонанд дар хона тамошо кунанд. Нуқтаи дарсҳои зинда ҳамкории одамон аст. Дар дарс ман истифода бурдани бор ва тахтаро бартарӣ медиҳам, ба истиснои ҳолатҳои нодире, ки диаграмма барои намоиш дар тахта хеле мураккаб аст. Ин маро аз риоя кардани нақшаи қатъии дарс озод мекунад. Азбаски тартиби муқарраршудаи пешниҳоди мавод вуҷуд надорад, ин ба ман имкон медиҳад, ки дар асоси саволҳои гирифтаам ба аудитория мутобиқ шавам. Умуман, ман кӯшиш мекунам, ки дарсҳоро то ҳадди имкон интерактивӣ гузаронам, то маводи пешниҳодкардаи ман аз саволҳои ба ман додашуда вобаста бошад.
ВладимирАҳсан. Дар таҷрибаи ман, гирифтани саволҳо аз шунавандагон хеле душвор аст. Ҳатто агар шумо пешакӣ ба онҳо ягон савол диҳед, новобаста аз он ки чӣ қадар беақл ва оқилона бошад ҳам, онҳо хомӯшанд. Шумо бо ин чӣ гуна муносибат мекунед?
МайклШумо хандед, аммо агар дар он ҷо ба қадри кофӣ хомӯш истода бошед, дер ё зуд ҳама нороҳат мешаванд ва касе савол медиҳад. Ё шумо метавонед як саволи оддии техникии ҳа/не пурсед, то муайян кунед, ки оё одамон гуфтаҳои навро мефаҳманд. Масалан, оё дар мисоли овардашуда мусобиқаи маълумот вуҷуд дорад? Кӣ чунин мешуморад? Кӣ фикр намекунад? Кй умуман чизеро намефахмад, зеро танхо нисфи дастонаш боло рафтааст?
ВиталийВа агар шумо ҷавоби нодуруст диҳед, шумо аз синф ронда мешавед :)
МайклАгар шумо ба чизе ҷавоб надиҳед, ман бояд як савол диҳам. Ман бояд бифаҳмам, ки донишҷӯ бояд чиро донад, то ба саволи додаам ҷавоб диҳад. Онҳо бояд ба ман кӯмак кунанд, ки ба онҳо кӯмак кунанд. Ман омодаам ба онҳо мутобиқ шавам, то онҳо мушкилотро ҳал кунанд. Аммо агар ман намедонам, ки дар сари онҳо чӣ мегузарад, ман ин корро карда наметавонам. Ва агар ман донишҷӯёнро ба қадри кофӣ дароз нигоҳ дорам, баъзан онҳо саволҳои дуруст медиҳанд - саволҳое, ки ба ман имкон медиҳанд, ки дар сари онҳо чӣ рӯй дода истодааст, бубинам.
АлексейОё ин саволҳо баъзан ба идеяҳое оварда мерасонанд, ки шумо қаблан дар бораи он фикр накардаед? Оё онҳо ғайричашмдоштанд? Оё онҳо ба шумо имкон медиҳанд, ки мушкилотро аз нигоҳи нав бубинед?
МайклСаволҳое ҳастанд, ки роҳи нави пешниҳоди маводро мекушоянд. Аксар вақт саволҳо ба мушкилоти ҷолибе оварда мерасонанд, ки ман муҳокима карданро нақша надоштам. Донишҷӯён аксар вақт ба ман мегӯянд, ки вақте ки ин ҳодиса рӯй медиҳад, ман одатан аз мавзӯи дарс дур мешавам. Ва ба гуфтаи онҳо, ин аксар вақт ҷолибтарин қисми дарс аст. Хеле кам, ҳамагӣ чанд маротиба донишҷӯён саволҳое доданд, ки ба самти нави тадқиқот оварда расонида, ба мақола табдил ёфтанд. Ин дар сӯҳбат бо донишҷӯён назар ба дарс бештар рух медиҳад, аммо баъзан дар давоми дарс рӯй медиҳад.
Алексей: Пас, донишҷӯён ба шумо саволҳое доданд, ки баъдтар метавонанд ҳамчун асос барои мақола истифода шаванд?
Майкл: Бале.
ВиталийШумо чанд маротиба бо донишҷӯён ин гуна сӯҳбатҳо доред? Кай онҳо мехоҳанд бештар аз он чизе, ки дар синф фаро гирифта шудаанд, омӯзанд?
Майкл: Бо аспирантхои худ — хама вакт. Ман тақрибан панҷ ё шаш нафари онҳоро дорам ва мо ҳамеша дар бораи чизҳое сӯҳбат мекунем. Чунин сӯҳбатҳо бо донишҷӯёне, ки танҳо дар дарсҳои ман иштирок мекунанд, чандон зиёд нестанд. Гарчанде ки ман мехоҳам, ки ин зуд-зуд рух диҳад. Ман гумон мекунам, ки онҳо танҳо метарсанд, ки дар соатҳои корӣ ба идораи факултет оянд. Ҳар семестр баъзе донишҷӯён ин монеаи равониро бартараф мекунанд ва пас аз дарс бо онҳо сӯҳбат кардан ҳамеша хеле ҷолиб аст. Аммо, агар ҳамаи донишҷӯён ин қадар ҷасур мебуданд, ман вақт наметавонистам. Пас, шояд ҳама чиз тавре кор кунад, ки бояд бошад.
ВиталийЧӣ тавр шумо барои муошират бо донишҷӯён вақт пайдо мекунед? То ҷое ки ман медонам, дар ИМА профессорҳо хеле серкоранд - дархостҳои грантӣ ва ғайра.
МайклРостӣ, кор бо донишҷӯён ҷанбаи кори ман аст, ки ман аз ҳама лаззат мебарам. Ҳамин тавр, ман хеле ҳавасманд ҳастам. Бештари вақте, ки ман дар дафтари худ мегузаронам, ба вохӯриҳои гуногун мегузарад. Ҳоло тобистон аст, аз ин рӯ ҷадвали ман камтар серкор аст, аммо дар давоми соли хониш ман ҳар рӯз аз соати 9 то 17 пурра фармоиш медиҳам. Таҳқиқот, баррасиҳо, грантҳо - ман барои ҳамаи ин танҳо шомҳо ва рӯзҳои истироҳат дорам.
Чӣ гуна бояд аз пешрафтҳои навтарин дар омода кардани курсҳо ва китобҳои нав огоҳ шавед.
АлексейОё шумо то ҳол ягон курсҳоеро, ки муддати тӯлонӣ таълим додаед, таълим медиҳед? Чизе ба монанди Муқаддима ба илмҳои компютерӣ.
Майкл: Аввалин чизе, ки дар ин ҷо ба хотир меояд, курси забонҳои барномасозӣ аст.
АлексейВарианти имрӯзаи ин курс аз 10, 20 ё 30 сол пеш чӣ фарқ дорад? Шояд тамоюли умумӣ аз тафсилоти курси мушаххас ҷолибтар бошад.
Майкл: Курси ман оид ба забонҳои барномасозӣ дар замони эҷоди он то ҳадде ғайриоддӣ буд. Ман онро дар охири солҳои 1980-ум ба ҷои ҳамтои худ Дуг Болдуин таълим додам.). Мавзӯи курс танҳо ба ихтисоси ман тангенсиалӣ алоқаманд буд, аммо вақте ки ӯ рафт, ман худамро беҳтарин номзад барои таълими он ёфтам. Ба ман ҳеҷ кадоме аз китобҳои дарсии мавҷуда писанд набуд, бинобар ин ман худам китоби дарсиро барои курс навиштам. (Эзоҳ аз муҳаррир: Ин дар бораи китоб аст) Ҳоло он дар зиёда аз 200 донишгоҳҳои ҷаҳон истифода мешавад. Муносибати ман аз он сабаб ғайриоддӣ аст, ки он дидаю дониста нигарониҳои тарҳрезии забон ва татбиқро омехта карда, ба таъсири мутақобилаи ин ҷанбаҳо дар ҳама доменҳои имконпазир тамаркуз мекунад. Равиши асосӣ, мисли бисёре аз мафҳумҳои асосӣ, бетағйир монд: абстраксияҳо, фазои номҳо, модулият, намудҳо. Бо вуҷуди ин, маҷмӯи забонҳое, ки барои нишон додани ин мафҳумҳо истифода мешуданд, комилан тағир ёфтааст. Вақте ки курс бори аввал таъсис дода шуд, он намунаҳои зиёдеро бо забони Паскал дар бар мегирифт, аммо имрӯз бисёре аз донишҷӯёни ман ҳеҷ гоҳ дар бораи ин забон нашунидаанд. Аммо онҳо Swift, Go ва Rust -ро медонанд, бинобар ин ман бояд дар бораи забонҳое, ки имрӯз истифода мешаванд, сӯҳбат кунам. Инчунин, донишҷӯён ҳоло забонҳои скриптро хуб медонанд, дар ҳоле ки вақте ман ба таълими ин курс шурӯъ кардам, он пурра ба забонҳои тартибдодашуда бахшида шуда буд. Аммо ҳоло, мо ба маводи зиёде дар бораи Python, Ruby ва ҳатто Perl ниёз дорем, зеро ин аст он чизе ки одамон дар ин рӯзҳо код менависанд ва дар ин забонҳо, аз ҷумла дар соҳаи тарҳрезии забон бисёр чизҳои ҷолиб рӯй медиҳанд.
Виталий: Пас саволи навбатии ман ба саволи пештара вобаста аст. Чӣ тавр шумо дар ин минтақа нигоҳ доред? Ман гумон мекунам, ки навсозии чунин курс кори зиёдеро талаб мекунад - шумо бояд забонҳои навро фаҳмед ва мафҳумҳои асосиро дарк кунед. Шумо инро чӣ гуна идора мекунед?
МайклМан гуфта наметавонам, ки ман ҳамеша дар ин 100% муваффақ мешавам. Аммо аксар вақт ман он чизеро мекунам, ки дигарон мекунанд - интернет мехонед. Агар ман хоҳам, ки Rust-ро фаҳмам, ман онро дар Google ҷустуҷӯ мекунам, ба вебсайти Mozilla равам ва дастурро дар он ҷо хонед. Ин барои он чизест, ки дар рушди тиҷорат рӯй медиҳад. Дар мавриди академикҳо бошад, ман бояд гуфтугӯҳоро дар конфронсҳои калон пайгирӣ кунам.
Алоқа байни тиҷорат ва академия
ВиталийБиёед дар бораи робитаи байни тиҷорат ва тадқиқоти илмӣ сӯҳбат кунем. Ман дар рӯйхати кории шумо якчанд мақолаҳо дар бораи ҳамоҳангии кэш пайдо кардам. То ҷое ки ман фаҳмидам, дар замони интишори онҳо алгоритмҳои ҳамоҳангсозии кэш ноустувор буданд? Ё ба таври васеъ истифода намешаванд. Идеяҳои шумо дар амал то куҷо пазируфта шуданд?
Майкл: Ман аниқ намедонам, ки шумо дар бораи кадом нашрияҳо сухан мегӯед. Ман бо шогирдонам Билл Болоский кори зиёде анҷом додаам () ва Леонидас Контотанассис () дар аввали солҳои 1990, дар идоракунии хотира барои мошинҳои Neumann кор мекард. Он вақт бизнес ҳанӯз намефаҳмид, ки чӣ тавр дуруст сохтани системаи чандпросессорӣ: оё сохтани дастгирии дастрасии дурдасти хотира дар сатҳи сахтафзор, ё тақсим кардани хотира, бор кардани кэш аз хотираи дурдаст ё интиқол додани саҳифаҳо дар системаи оператсионӣ. Билл ва Леонидас ҳарду дар ин минтақа кор мекарданд ва равишҳоеро меомӯхтанд, ки боркунии кэшро дар бар намегиранд. Ин мустақиман бо ҳамоҳангии кэш алоқаманд набуд, аммо он ҳоло ҳам дар идоракунии хотираи NUMA кор мекард ва баъдтар он барои равишҳои муосири ҷойгиркунии саҳифа дар системаҳои оператсионии муосир асос гардид. Умуман, Билл ва Леонидас кори муҳимро иҷро карданд, гарчанде ки дар ин соҳа аз ҳама бонуфуз набуданд - дар он вақт бисёр одамони дигар дар ҳамон кор кор мекарданд. Баъдтар, ман дар заминаи ҳамоҳангии кэш дар заминаи хотираи транзаксионии сахтафзор кор кардам. Гурӯҳе, ки ман дар ин мушкилот кор мекардам, дар ниҳоят якчанд патент гирифтанд. Дар паси онҳо баъзе идеяҳои ҷолиб ҳастанд, аммо ман фикр намекунам, ки онҳо дар ниҳоят амалӣ хоҳанд шуд. Дар ҳар сурат, барои ман баҳо додан дар бораи даромаднокии онҳо душвор аст.
Алексей: Дар ин бобат саволи бештар шахей: дидани идеяхои дар амал татбик шудани шумо барои шумо то чй андоза мухим аст? Ё шумо дар ин бора фикр намекунед?
МайклМан дӯст медорам, ки ин саволро ҳангоми мусоҳиба бо одамони дигар, хоҳ онҳо довталаб бошанд ё шахсони ба кор дар шӯъба манфиатдор бошанд. Ман фикр намекунам, ки ҷавоби дуруст вуҷуд дорад. Одамоне, ки корҳои олӣ мекунанд, метавонанд ангезаҳои хеле гуногун дошта бошанд. Ман мушкилотро ҷалб мекунам, зеро шахсан ман онҳоро ҷолиб меҳисобам, на аз сабаби истифодаи амалии онҳо. Аммо аз тарафи дигар, вақте ки чизи ҷолиб истифода мешавад, ман аз он лаззат мебарам. Пас, он қадар оддӣ нест. Аммо дар оғози лоиҳа, маро на ғояи истифодаи ниҳоии он дар ҷаҳон, балки мувофиқати идея ва хоҳиши омӯхтани он ва бубинад, ки аз он чӣ бармеояд. Агар он дар ниҳоят фоидаи амалӣ диҳад, бузург аст.
АлексейБа шарофати таҳсил ва таҷрибаи худ, шумо дар муқоиса бо бисёриҳо мавқеи беҳтаре доред, ки арзиши ғояҳои дигаронро арзёбӣ кунед. Шумо метавонед онҳоро муқоиса кунед ва муайян кунед, ки кадоме аз онҳо беҳтар кор мекунад. Ман боварӣ дорам, ки шумо дар бораи технологияҳое, ки ҳоло дар амал аз ҷониби истеҳсолкунандагони бузург ба монанди Intel истифода мешаванд, фикр доред. Ба назари шумо, оё роҳе, ки ин ширкатҳо роҳи дурустро пеш гирифтаанд?
Майкл: Амал ҳамеша дар атрофи он чизе, ки метавонад аз ҷиҳати тиҷорат муваффақ бошад, яъне фоида ба даст меорад ва шумо беҳтар аст, ки дар ин бора аз каси дигар пурсед. Кори ман асосан дар нашрияҳо натиҷа медиҳад ва дар соҳаи системаҳои амалиётӣ, онҳо аз рӯи ченакҳои фаъолият арзёбӣ мешаванд: суръат, масрафи нерӯ, андозаи код. Аммо ба назари ман ҳамеша чунин менамуд, ки ин натиҷаҳои таҷрибавӣ танҳо барои он илова карда мешаванд, ки онҳо чоп шаванд, дар ҳоле ки ангезаҳои аслии одамон барои кор эстетикӣ мебошанд. Муҳаққиқон ҳаллиҳоро аз нуқтаи назари бадеӣ арзёбӣ мекунанд; дар бораи назокати идеяхои худ гамхорй мекунанд ва кушиш мекунанд, ки нисбат ба равишхои мавчуда чизи бехтаре ба вучуд оваранд. Тадқиқотчиёнро ангезаҳои шахсӣ, субъективӣ, эстетикӣ ба вуҷуд меоранд. Аммо дар ин бора дар худи газета навиштан мумкин нест; ин чизхо барои комитети барномавй далелхо нестанд. Хушбахтона, қарорҳои шево аксар вақт зуд ва арзон мебошанд. Ман ва тақрибан даҳ ҳамкасбони ман тақрибан 15 сол пеш ин мавзӯъро муҳокима кардем ва дар ин бора як мақола навиштем. Ман фикр мекунам, ки онро ҳоло ҳам ёфтан мумкин аст; номида мешавад ё ба ин монанд, зиёда аз даҳ муаллиф дорад. Ин ягона мақолаест, ки ман дар баробари он муаллиф ҳастам , Пас, агар шумо номи ӯро дар рӯйхати нашрияҳои ман ҷустуҷӯ кунед, он чизеро, ки меҷӯед, хоҳед ёфт. Он дар бораи арзёбии таҳқиқоти системаҳо ва аҳамияти зебоӣ сӯҳбат мекунад.
АлексейҲамин тавр, байни стандартҳо барои натиҷаи хуб дар илм ва тиҷорат фарқият вуҷуд дорад. Дар илм, иҷроиш, истеъмоли қувваи барқ, TDP, осонии татбиқ ва бисёр чизҳо баҳо дода мешаванд. Оё шумо имкон доред, ки дар донишгоҳ ин гуна тадқиқот гузаронед? Оё шумо лабораторияи дорои мошинҳои гуногун ва меъмории гуногун доред, ки дар он таҷрибаҳо гузаронида мешаванд?
МайклОре, шуъбаи мо бисьёр дастгоххои шавковар дорад. Онҳо одатан хурд мебошанд; мо як кластери хурд ва бисёр системаҳои бисёрпросессорӣ бо суръатдиҳандаҳои гуногун дорем. Мо инчунин дар кампус як маркази бузурги ҳисоббарор дорем, ки ба тадқиқотчиён аз даҳҳо фанҳои гуногун хизмат мерасонад. Он тақрибан ҳазор гиреҳ ва бист ҳазор ядро дорад, ки ҳамаашон Linux кор мекунанд. Агар зарурат ба миён ояд, мо ҳамеша метавонем AWS-ро харем. Ҳамин тавр, мо ягон маҳдудияти сахтафзор надорем.
Алексей: Вазъият сӣ сол пеш чӣ гуна буд? Оё он вақт ягон мушкилот вуҷуд дошт?
Майкл: Он вакт вазъият каме дигар буд. Дар миёнаҳои то охири солҳои 1980-ум, боварӣ дошт, ки илм захираҳои компютерӣ намерасад. Барои ислоҳи ин вазъият, Фонди Миллии Илм ) барномаи тадқиқоти ҳамоҳангшудаи таҷрибавӣ (CER) -ро таъсис дод. Ҳадафи он таъмини инфрасохтори ҳисоббарорӣ барои шӯъбаҳои илмҳои компютерӣ буд ва он фарқияти назаррас ба вуҷуд овард. Бо пуле, ки он дода буд, мо соли 1984, як сол пеш аз омаданам, дар Донишгоҳи Рочестер як BBN Butterfly-и 128 гиреҳ харидем. Дар он вақт, он бузургтарин системаи бисёрпросессории хотираи муштарак дар ҷаҳон буд. Он дорои 128 протсессори, ҳар як дар motherboard алоҳида, ишғол чор racks. Ҳар як протсессор як мегабайт хотира дошт; 128 мегабайт хотираи оперативӣ дар он вақт маблағи тасаввурнашаванда буд. Мо дар ин мошин аввал қулфи MCS-ро амалӣ кардем.
Алексей: Пас, агар ман шуморо дуруст фаҳмам, мушкилоти сахтафзор ҳоло ҳал шудааст?
Майкл: Умуман, бале. Якчанд огоҳӣ вуҷуд дорад: аввал, агар шумо дар меъмории компютерии сатҳи чип кор карда истода бошед, дар академия ин корро кардан душвор аст, зеро дар тиҷорат абзорҳои хеле мураккабтар барои ин кор мавҷуданд. Агар ба шумо чизи хурдтар аз 10 нанометр лозим бошад, шумо бояд онро берун аз он таъмин кунед. Муҳаққиқ дар Intel дар ин соҳа будан хеле осонтар аст. Агар шумо дар иртибототи оптикӣ дар микросхемаҳо ё хотираи сахт кор кунед, шумо технологияҳоеро дар тиҷорат пайдо мекунед, ки ҳанӯз дар академия дастрас нестанд, аз ин рӯ шумо бояд иттифоқҳо ташкил кунед. Масалан, Стивен Свонсон () офарида шудааст барои технологияҳои нави хотира. Ин равиш на ҳамеша кор мекунад, аммо дар баъзе мавридҳо он метавонад хеле муваффақ бошад. Ғайр аз он, дар илм таҳияи системаҳои пуриқтидортарин ҳисоббарорӣ мушкилтар аст. Лоиҳаҳои бузургтарини суперкомпьютерҳо, ки ҳоло дар ИМА, Ҷопон ва Чин амалӣ мешаванд, ҳама дар тиҷорат мутамарказ шудаанд.
Дар амал татбиқ намудани ғояҳо. MCS, MS, CLH, JSR 166, кор бо Дуг Ли ва ғайра.
ВиталийШумо аллакай дар бораи он ки чӣ тавр шумо ба алгоритмҳои ҳамоҳангсозӣ оғоз кардаед, сӯҳбат кардаед. Шумо ду ҳуҷҷати хеле маъруф доред и , ки ба маънои муайян дар Ява ба амал бароварда шуданд. (Эзди муҳаррир: ҳама нашрияҳоро дидан мумкин аст ). Дар он ҷо ин блоккунӣ бо баъзе тағйирот амалӣ карда шуд ва маълум шуд , ва навбат мувофики план ичро гардид. Аммо аз интишори мақолаҳои шумо ва татбиқи амалии онҳо солҳои зиёд гузашт.
Алексей: Чунин ба назар мерасад, ки тақрибан 10 сол дар мавриди навбат.
Майкл: Пеш аз он ки ин хусусиятҳо дар китобхонаи стандартии Java пайдо шаванд?
Виталий: Бале. Шумо чӣ кор кардед, ки ин рӯй диҳад? Ё шумо ҳеҷ коре накардаед?
Майкл: Ман ба шумо гуфта метавонам, ки чӣ тавр навбати MS ба 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 монанд буд, аммо он дар роҳи муҳим танҳо як амалиёти атомӣ дошт. Ин тавассути имкон додани амалиёт ба ҷои О(1) вақти О(n) дар фосилаи муайян ба даст омад. Ин аз эҳтимол дур буд, аммо имконпазир буд. Ин аз он сабаб рӯй дод, ки дар баъзе нуқтаҳо алгоритми навбат аз аввал то мавқеъи кунунии навбат тай намуд. Дар маҷмӯъ, алгоритм хеле муваффақ шуд. То ҷое ки ман медонам, он чандон васеъ истифода намешавад, қисман аз он сабаб, ки амалиёти атомӣ нисбат ба пештара захираҳои хеле камтарро талаб мекунад. Аммо идея бузург буд. Ман инчунин кори Дэйв Дисро дар 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 фурӯхта мешавад , ки тақрибан 3 маротиба таъхири хондан ва 10 маротиба таъхири навиштани хотираи динамикӣ доранд. Онҳо ба наздикӣ дар иқтидорҳои хеле калон дастрас хоҳанд шуд. Чунин фикр кардан хандаовар аст, ки шумо метавонед як ноутбук бо якчанд терабайт RAM-и суроғавӣ дошта бошед. Ин комилан имконпазир аст, ки дар тӯли 10 сол, мо тасмим хоҳем гирифт, ки ин технологияи навро ҳамон тавре ки DRAM истифода мебарем, истифода барем - танҳо илова кардани иқтидори бештарро идома диҳем. Аммо ноустуворӣ имкониятҳои комилан навро мекушояд. Мо метавонем стеки нигаҳдории худро ба таври куллӣ тағир диҳем, то байни хотираи кории суроғашавандаи байт ва хотираи доимии блок-сохторӣ ҳеҷ гуна ҷудоӣ набошад. Ин маънои онро дорад, ки ба мо лозим нест, ки ҳама чизеро, ки ба мо лозим аст, ба файлҳои блок-сохтордор сериализатсия кунем - онро аз як барнома ба барномаи дигар интиқол диҳед. Ин барои системаҳои оператсионӣ, муҳитҳои вақти корӣ ва нигаҳдории додаҳои тақсимшуда аҳамияти зиёде дорад. Ин як минтақаи хеле ҷолиб барои кор аст. Шахсан барои ман пешгӯӣ кардан душвор аст, ки ҳамаи ин ба чӣ оварда мерасонад, аммо мушкилот дар ин ҷо бениҳоят ҷолибанд. Дар ин ҷо шояд тағйироти инқилобӣ ба амал ояд ва онҳо ба таври табиӣ аз кори чанд ришта пайравӣ мекунанд, зеро барқарорсозии садама дар баробари кори муқаррарии система як раванди "бисёр ришта" мебошад.
Мавзӯи дуюми асосӣ, ки ман ҳоло дар болои он кор мекунам, идоракунии дастгоҳҳои ултра тез ва дастрасии бехатар ба онҳо аз фазои корбар бо назорати сиёсати сатҳи система мебошад. Дар солҳои охир, тамоюли интиқоли дастрасии дастгоҳ ба фазои корбар вуҷуд дорад. Сабаб дар он аст, ки стеки TCP-IP ядро дар болои интерфейси шабакавӣ кор карда наметавонад, ки ҳар 5 микросония бастаи навро талаб мекунад; он танҳо давом намекунад. Аз ин рӯ, фурӯшандагон дастрасии мустақимро ба дастгоҳҳо таъмин мекунанд. Бо вуҷуди ин, ин маънои онро дорад, ки системаи пардозанда назорат аз болои равандро аз даст медиҳад ва дастрасии дурусти дастгоҳро барои барномаҳои рақобаткунанда таъмин карда наметавонад. Гурӯҳи тадқиқотии мо боварӣ дорад, ки ин камбудиро метавон пешгирӣ кард. Мо дар ин моҳ дар USENIX ATC коғаз пешниҳод хоҳем кард. Он ба кор оид ба субот алоқаманд аст, зеро хотираи доимии суроғашавандаи байтӣ аслан як дастгоҳи дорои I/O-и ултра-тез аст, ки бояд дар фазои корбар дастрас шавад. Ин тадқиқотҳо равишҳои навро ба микроядроҳо, экзокерелҳо ва дигар кӯшишҳои анъанавӣ барои бехатар интиқол додани функсияҳо аз ядрои ОС ба фазои корбар имкон медиҳанд.
ВладимирХотираи суроғавии байт бузург аст, аммо маҳдудияти физикӣ вуҷуд дорад - суръати рӯшноӣ. Ин маънои онро дорад, ки ҳангоми муошират бо дастгоҳ ногузир таъхир мешавад.
Майкл: Комилан дуруст.
ВладимирОё иқтидори кофӣ барои мубориза бо бори нав вуҷуд дорад?
МайклИн саволи олӣ аст, аммо ҷавоб додан барои ман душвор аст. Идеяи коркарди хотира дар муддати тӯлонӣ вуҷуд дорад; хеле ҷолиб аст, вале хеле мураккаб аст. Ман дар он минтақа кор накардаам, аммо хеле хуб мешуд, агар баъзе кашфиётҳо пайдо шаванд. Ман метарсам, ки дигар чизе барои илова кардан надорам.
ВладимирМушкилоти дигаре ҳаст. Миқдори нав ва ба таври назаррас калонтари 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
