- соҳиби ду. Якум барои кор аст (Донишгоҳи Браун) ва дуюм, навтарин, - (Донишгоҳи техникии Вирҷиния). Ҷоизаи Dijkstra барои корҳое дода мешавад, ки аҳамият ва таъсири онҳо ҳадди аққал даҳ сол намоён буд ва Морис бешубҳа яке аз мутахассисони машҳури ин соҳа аст. Ҳоло ӯ ба ҳайси профессор дар Донишгоҳи Браун кор мекунад ва дастовардҳои зиёде дорад, ки як параграф дароз аст. Ҳоло ӯ blockchain-ро дар заминаи ҳисоббарории классикии тақсимшуда таҳқиқ мекунад.
Пештар, Морис аллакай барои SPTCC ба Русия омада буд () ва вохӯрии олиҷаноби ҷомеаи таҳиягарони Java JUG.ru дар Санкт-Петербург ().
Ин habrapost мусоҳибаи олӣ бо Морис Ҳерлиҳи аст. Он мавзӯъҳои зеринро баррасӣ мекунад:
- Ҳамкории байни академия ва саноат;
- Бунёди Тадқиқоти Blockchain;
- Идеяҳои пешрафта аз куҷо пайдо мешаванд? Таъсири маъруфият;
- PhD таҳти роҳбарии Барбара Лисков;
- Ҷаҳон интизори бисёр ядроӣ аст;
- Ҷаҳони нав мушкилоти нав меорад. NVM, NUMA ва ҳакерии меъморӣ;
- Компиляторҳо бар зидди протсессорҳо, RISC против CISC, хотираи муштарак ва интиқоли паём;
- Санъати навиштани рамзи бисёр риштаҳои нозук;
- Чӣ тавр ба донишҷӯён навиштани коди мураккаби чанд риштаро таълим додан мумкин аст;
- Нашри нави китоби «Санъати барномасозии бисёрпросессорӣ»;
- Чӣ тавр хотираи транзаксионӣ ихтироъ карда шуд;
- Чаро дар соҳаи ҳисоббарории тақсимшуда тадқиқот гузаронидан лозим аст;
- Оё таҳияи алгоритмҳо қатъ, ва чӣ тавр ба ҳаракат;
- Кор дар Донишгоҳи Браун;
- Фарқи байни тадқиқот дар донишгоҳ ва дохили корпоратсия;
- Hydra ва SPTDC.
Мусоҳиба аз ҷониби:
Виталий Аксенов — айни замон, докторантураи IST Австрия ва корманди кафедраи технологияҳои компютерии Донишгоҳи ITMO. Дар соҳаи назария ва амалияи сохторҳои рақобатпазири маълумот тадқиқот мегузаронад. Пеш аз кор дар IST, ӯ дар Донишгоҳи Париж Дидро ва Донишгоҳи ITMO таҳти роҳбарии профессор Петр Кузнецов унвони докториро гирифтааст.
Алексей Федоров - Истеҳсолкунандаи JUG Ru Group, як ширкати русӣ, ки конфронсҳоро барои таҳиягарон ташкил мекунад. Алексей дар омодасозии беш аз 50 конфронс ширкат варзидааст ва резюмеи ӯ ҳама чизро аз вазифаи муҳандиси рушд дар Oracle (JCK, Java Platform Group) то вазифаи таҳиягар дар Одноклассники дар бар мегирад.
Владимир Ситников - Муҳандис дар Netcracker. Даҳ соли кор оид ба фаъолият ва миқёспазирии OS NetCracker, нармафзоре, ки операторони телекоммуникатсионӣ барои автоматикунонии равандҳои идоракунии шабака ва таҷҳизоти шабакавӣ истифода мебаранд. Ба масъалаҳои иҷрои Database Java ва Oracle таваҷҷӯҳ доранд. Муаллифи зиёда аз даҳ беҳбуди кор дар драйвери расмии PostgreSQL JDBC.
Муносибати байни академия ва саноат
Алексей: Морис, шумо муддати хеле тӯлонӣ дар муҳити академӣ кор кардаед ва саволи аввал ҳамкории байни соҳаҳои таълимӣ ва саноатӣ мебошад. Метавонед дар бораи он сӯҳбат кунед, ки муносибатҳои байни онҳо дар вақтҳои охир чӣ гуна тағйир ёфтааст? 20—30 сол пеш чй руй дод ва холо чй мешавад?
Морис: Ман ҳамеша кӯшиш мекардам, ки бо ширкатҳои тиҷоратӣ зич ҳамкорӣ кунам, зеро онҳо мушкилоти ҷолиб доранд. Онҳо, чун қоида, на ба нашри натиҷаҳои худ ва на ба шарҳи муфассали мушкилоти худ ба ҷомеаи ҷаҳонӣ таваҷҷӯҳи зиёд надоранд. Онхо факат ба халли ин проблемахо манфиатдор мебошанд. Чанд муддат дар чунин ширкатҳо кор кардам. Ман панҷ солро дар лабораторияи тадқиқотии Digital Equipment Corporation кор кардам, ки қаблан як ширкати бузурги компютерӣ буд. Ман як рӯз дар як ҳафта дар Sun, дар Microsoft, дар Oracle кор мекардам ва дар Facebook каме кор мекардам. Ҳоло ман ба рухсатии истироҳатӣ меравам (ба профессори донишгоҳи Амрико иҷозат дода мешавад, ки тақрибан дар шаш сол як маротиба чунин рухсатӣ гирад) ва дар , ин як ширкати cryptocurrency дар Бостон аст. Ҳамкории зич бо ширкатҳо ҳамеша лаззатбахш буд, зеро ҳамин тавр шумо дар бораи чизҳои нав ва ҷолиб меомӯзед. Шумо ҳатто шояд аввалин ё дуюм бошед, ки мақоларо дар мавзӯи интихобшуда интишор кунед, ба ҷои кор кардан дар роҳи такмил додани ҳалли мушкилоте, ки ҳама аллакай дар болои онҳо кор мекунанд.
Алексей: Метавонед ба мо муфассалтар бигӯед, ки ин чӣ гуна мешавад?
Морис: Албатта. Шумо медонед, вақте ки ман дар Корпоратсияи Digital Equipment кор мекардам, ман ва Эллиот Мосс, мо хотираи транзаксиониро ихтироъ кардем. Ин як давраи хеле пурсамар буд, ки ҳама ба технологияҳои иттилоотӣ таваҷҷӯҳ зоҳир карданд. Параллелизм, аз он ҷумла, гарчанде ки системаҳои бисёрсоҳавӣ ҳанӯз вуҷуд надоштанд. Дар рӯзҳои офтоб ва Oracle, ман дар сохторҳои параллели додаҳо бисёр кор кардам. Дар Фейсбук ман дар лоиҳаи blockchain онҳо кор кардам, ки дар бораи он гап зада наметавонам, аммо умедворам, ки он ба зудӣ оммавӣ мешавад. Соли оянда, дар Алгоранд, ман дар як гурӯҳи тадқиқотӣ кор хоҳам кард, ки шартномаҳои оқилонаро меомӯзанд.
Алексей: Блокчейн дар чанд соли охир ба мавзӯи хеле маъмул табдил ёфтааст. Оё ин ба тадқиқоти шумо кӯмак мекунад? Шояд он гирифтани грантҳоро осонтар кунад ё дастрасиро ба захираҳои ширкатҳое, ки дар ин соҳа фаъолият мекунанд, осонтар кунад?
Морис: Ман аллакай аз Бунёди Ethereum гранти хурд гирифтам. Маъруфияти blockchain барои илҳом додани донишҷӯён ба кор дар ин соҳа хеле муфид аст. Онҳо ба он таваҷҷӯҳи зиёд доранд ва барои ҷалб шудан ба ҳаяҷон меоянд, аммо баъзан онҳо дарк намекунанд, ки тадқиқоте, ки аз берун шавқовар ба назар мерасад, кори воқеан душворро дар бар мегирад. Бо вуҷуди ин, ман дар ҳақиқат хеле ҳаяҷон дорам, ки ҳамаи ин мистикаро дар атрофи blockchain барои ҷалби донишҷӯён истифода барам.
Аммо ин ҳама нест. Ман дар Шӯрои машваратии якчанд стартапҳои blockchain ҳастам. Шояд баъзеи онҳо муваффақ шаванд, баъзеҳо не, аммо дидани андешаҳои онҳо, омӯхтани онҳо ва ба мардум маслиҳат додан ҳамеша хеле ҷолиб аст. Аз ҳама ҳаяҷоновар он аст, ки шумо одамонро огоҳ мекунед, ки коре накунед. Бисёр чизҳо дар аввал як идеяи хуб ба назар мерасанд, аммо онҳо дар ҳақиқат ҳастанд?
Бунёди Тадқиқоти Blockchain
Виталий: Баъзе одамон фикр мекунанд, ки оянда дар блокчейн ва алгоритмҳои он аст. Ва дигарон мегӯянд, ки ин як ҳубобчаи дигар аст. Метавонед назари худро дар ин бора баён кунед?
Морис: Бисёр чизҳое, ки дар ҷаҳони blockchain рӯй медиҳанд, нодурустанд, баъзеҳо танҳо қаллобӣ мебошанд, бисёр чизҳо аз ҳад зиёд арзёбӣ мешаванд. Бо вуҷуди ин, ман фикр мекунам, ки барои ин таҳқиқот заминаи устувори илмӣ вуҷуд дорад. Далели он, ки ҷаҳони blockchain пур аз фарқиятҳои идеологӣ аст, сатҳи ҳаяҷон ва фидокорӣ нишон медиҳад. Аз тарафи дигар, ин барои тадқиқоти илмӣ махсусан фоиданок нест. Ҳоло, агар шумо мақолае нашр кунед, ки дар бораи камбудиҳои як алгоритми мушаххас сӯҳбат мекунад, аксуламали натиҷавӣ на ҳамеша комилан илмӣ аст. Аксар вақт одамон эҳсосоти худро тарк мекунанд. Фикр мекунам, ки ин гуна ҳаяҷон дар ин самт барои баъзеҳо ҷолиб ба назар мерасад, аммо дар ниҳояти кор, масъалаҳои воқеии илмӣ ва муҳандисӣ ҳастанд, ки бояд ҳал шаванд. Дар ин ҷо илмҳои компютерӣ зиёданд.
Виталий: Пас шумо кӯшиш мекунед, ки барои таҳқиқоти blockchain замина гузоред, дуруст?
Морис: Ман кӯшиш мекунам, ки барои як интизоми устувор, аз ҷиҳати илмӣ ва математикӣ асос гузорам. Ва як қисми мушкилот дар он аст, ки баъзан шумо бояд бо баъзе мавқеъҳои аз ҳад сахтгиронаи одамони дигар мухолифат кунед ва онҳоро нодида гиред. Баъзан мепурсанд, ки чаро ман дар минтақае кор мекунам, ки танҳо террористон ва қочоқчиёни маводи мухаддир таваҷҷуҳ доранд. Чунин вокуниш ба мисли рафтори пайравон, ки суханони шуморо кур-курона такрор мекунанд, бемаънӣ аст. Ман фикр мекунам, ки ҳақиқат дар ҷое дар миёна аст. Блокчейн ба ҷомеа ва иқтисоди ҷаҳонӣ таъсири амиқ хоҳад дошт. Аммо ин эҳтимол ба шарофати технологияи муосир рӯй нахоҳад дод. Технологияҳои муосир инкишоф меёбанд ва он чизе, ки дар оянда blockchain номида мешавад, хеле муҳим хоҳад шуд. Он ҳатто метавонад ба блокчейнҳои муосир монанд набошад, ин саволи кушод аст.
Агар одамон технологияҳои навро ихтироъ кунанд, онҳо минбаъд онро blockchain меноманд. Дар назар дорам, ҳамон тавре ки Фортрани имрӯза ба забони Фортран аз солҳои 1960 ҳеҷ иртиботе надорад, аммо ҳама онро Фортран меноманд. Айнан барои UNIX. Он чизе ки "блокчейн" номида мешавад, то ҳол инқилоби худро хоҳад кард. Аммо ман шубҳа дорам, ки ин blockchain нав чизе монанди он хоҳад буд, ки имрӯз ҳама аз он баҳра мебаранд.
Идеяҳои пешрафта аз куҷо пайдо мешаванд? Таъсири маъруфият
Алексей: Оё маъруфияти blockchain аз нуқтаи назари илмӣ ба натиҷаҳои нав оварда расонд? Муносибати бештар, донишҷӯёни бештар, ширкатҳои бештар дар минтақа. Оё аз ин афзоиши маъруфият аллакай ягон натиҷа вуҷуд дорад?
Морис: Вақте ки касе ба ман варақаи расмии ширкатеро, ки навакак пули зиёде ҷамъ кардааст, дод, ман ба ин таваҷҷӯҳ кардам. Дар бораи он навишта буд , ки ман бештар аз он шиносам. Он чи ки дар варака навишта шуда буд, аз чихати техникй нодуруст буд. Одамоне, ки ин ҳамаро навиштанд, аслан модели паси мушкилотро нафаҳмиданд... ва аммо ин ширкат пули зиёд ҷамъ овард. Баъдан, ширкат оромона ин варақаро бо нусхаи дурусттар иваз кард - ва ман намегӯям, ки ин ширкат чӣ буд. Онҳо ҳоло ҳам ҳастанд ва хеле хуб кор мекунанд. Ин ҳодиса маро бовар кунонд, ки, аввалан, blockchain танҳо як шакли ҳисоббарории тақсимшуда аст. Сониян, остонаи дохилшавӣ (ҳадди ақал он вақт, чор сол пеш) хеле паст буд. Одамоне, ки дар ин соха кор мекарданд, хеле сергайрат ва бофаро-мад буданд, вале асархои илмй намехонданд. Онҳо кӯшиш карданд, ки чизҳои маълумро дубора ихтироъ кунанд ва хато карданд. Имруз драматургия кам шудааст.
Алексей: Ин хеле ҷолиб аст, зеро чанд сол пеш мо тамоюли дигар доштем. Ин каме ба рушди пешрафта монанд аст, вақте ки таҳиягарони пешрафтаи браузер асосёфта тамоми технологияҳоеро, ки аллакай дар қафо маъмул буданд, аз нав ихтироъ карданд: системаҳои сохтани системаҳо, ҳамгироии пайваста ва монанди инҳо.
Морис: Ман розӣ. Аммо ин тааҷҷубовар нест, зеро ғояҳои воқеан пешрафт ҳамеша аз берун аз ҷомеаи муқарраршуда меоянд. Тадқиқотчиёни собит, бахусус академикҳои муқарраршуда, гумон аст, ки кори воқеан бунёдкорро анҷом диҳанд. Барои конференсияи навбатӣ мақола навиштан осон аст, ки чӣ гуна шумо натиҷаҳои кори гузаштаи худро каме беҳтар кардед. Ба конфронс равед, бо дӯстон ҷамъ шавед, дар бораи ҳамон чизҳо сӯҳбат кунед. Ва одамоне, ки бо ғояҳои пешқадам ворид мешаванд, қариб ҳамеша аз берун меоянд. Онҳо қоидаҳоро намедонанд, забонро намедонанд, аммо ба ҳар ҳол... Агар шумо дар дохили ҷомеаи муқарраршуда бошед, ман ба шумо маслиҳат медиҳам, ки ба чизҳои нав, ба чизе, ки ба тасвири умумӣ мувофиқат намекунад, диққат диҳед. Ба маъное, кӯшиш кардан мумкин аст, ки таҳаввулоти беруна ва моеъро бо усулҳое, ки мо аллакай дарк мекунем, муттаҳид созад. Ҳамчун қадами аввал кӯшиш кунед, ки заминаи илмӣ таъсис диҳед ва баъд онро тағир диҳед, то он метавонад ба ғояҳои нави пешрафт татбиқ карда шавад. Ман фикр мекунам, ки blockchain барои идеяи тару тоза ва вайронкунанда бузург аст.
Алексей: Ба фикри ту, чаро ин тавр мешавад? Зеро мардум "берун" ягон монеаи хоси хоси ҷомеа надоранд?
Морис: Дар ин ҷо як намуна вуҷуд дорад. Агар шумо таърихи импрессионистҳоро дар рассомӣ ва умуман санъат хонед, пас дар як вақт рассомони машҳур импрессионизмро рад мекарданд. Онҳо гуфтанд, ки ин як навъ кӯдакӣ аст. Пас аз як насл, ин шакли санъати қаблан радшуда стандарт гардид. Он чизе ки ман дар соҳаи худ мебинам: ихтироъкорони blockchain ба қудрат, афзоиши нашрҳо ва индекси иқтибосҳо таваҷҷӯҳ надоштанд, онҳо танҳо мехостанд кори хубе кунанд. Ва ҳамин тавр онҳо нишастанд ва ба кор шурӯъ карданд. Онҳо миқдори муайяни умқи техникӣ надоштанд, аммо ин ислоҳшаванда аст. Пешниход кардани идеяхои нави эчодй назар ба ислох ва мустахкам намудани идеяхои ба кадри кифоя пухтанашуда хеле душвортар аст. Ба шарофати ин ихтироъкорон, ман ҳоло коре дорам!
Алексей: Ин ба фарқияти байни стартапҳо ва лоиҳаҳои меросӣ монанд аст. Мо бисёр маҳдудиятҳои тафаккур, монеаҳо, талаботи махсус ва ғайраро мерос мегирем.
Морис: Аналогияи хуб компютерҳои тақсимшуда аст. Дар бораи blockchain фикр кунед, ки гӯё он як стартап ва компютерҳои тақсимшуда ҳамчун як ширкати бузург ва муқарраршуда бошад. Компютерҳои тақсимшуда дар раванди ба даст овардан ва якҷоя шудан бо blockchain қарор доранд.
PhD таҳти роҳбарии Барбара Лисков
Виталий: Мо ҳоло ҳам саволҳои зиёде дорем! Мо ба заминаҳои шумо назар мекардем ва дар бораи докторантураи шумо як далели ҷолиб пайдо кардем. Бале, ин хеле пеш буд, аммо ба назар чунин мерасад, ки ин як мавзӯи муҳим аст. Шумо доктори илмро таҳти роҳбарии худ гирифтаед ! Барбара дар ҷомеаи забонҳои барномасозӣ хеле маъруф аст ва дар маҷмӯъ як шахси хеле маъруф аст. Мантиқист, ки тадқиқоти шумо дар соҳаи забонҳои барномасозӣ буд. Чӣ тавр шумо ба ҳисоббарории параллелӣ гузаштед? Чаро шумо тасмим гирифтед, ки мавзӯъро тағир диҳед?
Морис: Дар он вақт, Барбара ва гурӯҳи ӯ танҳо ба компютерҳои тақсимшуда назар мекарданд, ки ин як идеяи хеле нав буд. Онҳое низ буданд, ки компютерҳои тақсимшуда сафсатаанд ва муоширати компютерҳо бо ҳамдигар бемаънӣ аст. Яке аз масъалаҳое, ки дар ҳисоббарории тақсимшуда, ки онро аз ҳисоббарории мутамарказ фарқ мекунад, таҳаммулпазирии хатогиҳо мебошад. Пас аз таҳқиқоти зиёд, мо қарор додем, ки забони барномасозии компютерии тақсимшуда бояд чизе ба монанди транзаксияҳои атомӣ дошта бошад, зеро шумо ҳеҷ гоҳ боварӣ ҳосил карда наметавонед, ки занги дурдаст муваффақ хоҳад шуд. Пас аз он ки шумо транзаксия доред, мушкилоти идоракунии ҳамзамон ба миён меояд. Пас аз он кори зиёде барои ба даст овардани сохторҳои транзаксионии хеле параллелӣ буд. Баъд, вақте ки ман донишгоҳро хатм кардам, рафтам ва ба чустучуи мавзуи кор шуруъ кард. Ба сарам омад, ки компютерҳо аз компютерҳои алоҳида ба шабакаҳои компютерҳо гузаштаанд. Мултипротсессорҳо идомаи табиии пешрафт хоҳанд буд - калимаи "мулти-аслӣ" ҳанӯз вуҷуд надошт. Ман фикр кардам: муодили транзакцияхои атомй барои системаи бисьёр-ядрой чист? Бешубҳа амалиёти муқаррарӣ нест, зеро онҳо хеле калон ва вазнинанд. Ва ҳамин тавр ман идеяро пайдо кардам ва ҳамин тавр ман тамоми синхронизатсияи бидуни интизориро пайдо кардам. Ин кӯшиши ҷавоб додан ба саволи он буд, ки аналоги транзаксияҳои атомӣ барои системаи бисёрпросессорӣ бо хотираи муштарак чӣ гуна аст. Ин асар дар назари аввал тамоман дигар ба назар мерасад, аммо дар асл он идомаи ҳамон мавзӯъ аст.
Ҷаҳон интизори бисёр ядроӣ аст
Виталий: Шумо қайд кардед, ки дар он вақт компютерҳои бисёр ядроӣ хеле кам буданд, дуруст?
Морис: Онҳо танҳо дар он ҷо набуданд. Якчанд просессорҳои ба истилоҳ симметрӣ вуҷуд доштанд, ки асосан ба як автобус пайваст буданд. Ин чандон хуб кор накард, зеро ҳар дафъае, ки як ширкати нав чизи шабеҳро эҷод мекард, Intel як протсессори ягонаеро мебарорад, ки аз мултипросессор бартарӣ дошт.
Алексей: Оё ин маънои онро надорад, ки дар он замонҳои қадим он бештар омӯзиши назариявӣ буд?
Морис: Ин як таҳқиқоти назариявӣ набуд, балки як таҳқиқоти тахминӣ буд. Хамаи ин дар бораи кор кардан бо теоремахои зиёд набуд, балки мо дар бораи меъморие, ки дар он вакт вучуд надошт, фарзияхоеро ба миён гузоштем. Ин аст он чизе ки тадқиқот барои! Ҳеҷ як ширкат чунин коре намекард; ҳамааш аз ояндаи дур буд. Дар асл, ин ҳолат то соли 2004 буд, вақте ки протсессори воқеии бисёр ядроӣ пайдо шуд. Азбаски протсессорҳо аз ҳад зиёд гарм мешаванд, шумо метавонед протсессорро ҳатто хурдтар кунед, аммо шумо онро тезтар карда наметавонед. Аз ин сабаб, гузариш ба меъмории бисёраслӣ ба амал омад. Ва он гоҳ ин маънои онро дошт, ки ногаҳон барои ҳама консепсияҳое, ки мо дар гузашта таҳия карда будем, истифода шуд.
Алексей: Чаро шумо фикр мекунед, ки протсессори чандаслӣ танҳо дар солҳои XNUMX пайдо шуд? Пас чаро ин қадар дер шудааст?
Морис: Ин ба маҳдудиятҳои сахтафзор вобаста аст. Intel, AMD ва дигар ширкатҳо дар баланд бардоштани суръати протсессор хеле хубанд. Вақте ки дар баъзе лаҳзаҳо коркардкунандагон ба қадри кофӣ хурд шуданд, ки онҳо дигар суръати соатро зиёд карда наметавонанд, зеро протсессорҳо сӯхтани худро оғоз мекунанд. Шумо метавонед онҳоро хурдтар кунед, аммо на тезтар. Он чизе, ки дар ихтиёри онҳост - ба ҷои як протсессори хеле хурд, онҳо метавонанд ҳашт, шонздаҳ ё сию ду протсессори худро ба як ҳаҷми корпус, ки қаблан танҳо як нафар ҷойгир карда метавонист, ҷойгир кунад. Ҳоло шумо дар байни онҳо иртиботи бисёрсоҳавӣ ва зуд доред, зеро онҳо кэшҳоро мубодила мекунанд. Аммо шумо онҳоро маҷбур карда наметавонед, ки тезтар даванд - маҳдудияти хеле мушаххаси суръат вуҷуд дорад. Онҳо оҳиста-оҳиста такмил меёбанд, аммо на он қадар зиёд. Қонунҳои физика садди роҳи такмил буданд.
Ҷаҳони нав мушкилоти нав меорад. NUMA, NVM ва меъморӣ ҳакерӣ
Алексей: Хеле оқилона садо медиҳад. Бо протсессори нави бисёрсоҳавӣ мушкилоти нав пайдо шуданд. Оё шумо ва ҳамкорони шумо ин мушкилотро интизор будед? Шояд шумо онҳоро пешакӣ омӯхтаед? Дар таҳқиқоти назариявӣ пешгӯии чунин чизҳо аксар вақт осон нест. Вақте ки мушкилот ба миён омаданд, онҳо чӣ гуна ба интизориҳои шумо ва ҳамкорони шумо мувофиқат карданд? Ё онҳо комилан нав буданд ва ба шумо ва ҳамкорони шумо лозим омад, ки барои ҳалли мушкилот ҳангоми пайдо шудани онҳо вақти зиёд сарф кунед?
Виталий: Ман ба саволи Алексей илова мекунам: оё шумо ҳангоми омӯзиши назария меъмории протсессорро дуруст пешгӯӣ кардаед?
Морис: Не 100%. Аммо ман фикр мекунам, ки ман ва ҳамкасбони ман кори хуберо пешгӯӣ кардаем, ки чанд ядрои дорои хотираи муштарак доранд. Ман фикр мекунам, ки мо мушкилотро дар таҳияи сохторҳои параллелӣ, ки бидуни қулф кор мекунанд, дуруст пешгӯӣ кардем. Чунин сохторҳои додаҳо барои бисёр барномаҳо муҳим буданд, гарчанде ки на ҳама, аммо аксар вақт он чизе, ки ба шумо дар ҳақиқат лозим аст, сохтори додаҳои қулфнашаванда аст. Вақте ки мо онҳоро ихтироъ кардем, бисёриҳо баҳс мекарданд, ки ин сафсата аст ва ҳама чиз бо қулфҳо хуб кор мекунад. Мо хеле хуб пешгӯӣ карда будем, ки барои бисёр мушкилоти барномасозӣ ва мушкилоти сохтори додаҳо роҳҳои омодашуда мавҷуданд. Проблемахои мураккабтаре низ буданд, монанди - дастрасии нобаробар ба хотира. Дар асл, онҳо ҳатто то ихтироъ нашудани протсессори бисёраслӣ баррасӣ карда нашуданд, зеро онҳо хеле мушаххас буданд. Ҷамъияти тадқиқотӣ дар рӯи саволҳое кор мекард, ки умуман пешгӯинашаванда буданд. Баъзе мушкилоти сахтафзор, ки бо меъмории мушаххас алоқаманд буданд, бояд дар болҳо интизор шаванд - дар асл, пайдоиши ин меъморӣ. Масалан, ҳеҷ кас воқеан дар сохторҳои махсуси GPU кор намекард, зеро он замон GPUҳо вуҷуд надоштанд. Хол он ки дар ин бобат кори бисьёре анчом дода шудааст , ин алгоритмҳо баробари дастрас шудани таҷҳизоти мувофиқ барои истифода омода буданд. Бо вуҷуди ин, ҳама чизро пешгӯӣ кардан ғайриимкон аст.
Алексей: Агар ман дуруст дарк кунам, NUMA як навъ созиш байни арзиш, иҷроиш ва баъзе чизҳои дигар аст. Ягон фикре доред, ки чаро NUMA ин қадар дер баромад?
Морис: Ман фикр мекунам, ки NUMA аз сабаби мушкилот бо сахтафзоре, ки барои тавлиди хотира истифода мешавад, вуҷуд дорад: ҷузъҳо ҳар қадар дур бошанд, дастрасӣ ба онҳо сусттар мешавад. Аз тарафи дигар, арзиши дуюми ин абстраксия якрангии хотира аст. Ҳамин тавр, яке аз хусусиятҳои ҳисоббарории параллелӣ дар он аст, ки ҳама абстраксияҳо каме шикастаанд. Агар дастрасӣ комилан яксон мебуд, тамоми хотираҳо яксон мебуданд, аммо ин аз ҷиҳати иқтисодӣ ва шояд ҳатто аз ҷиҳати ҷисмонӣ ғайриимкон аст. Аз ин рӯ, ин ихтилоф ба миён меояд. Агар шумо барномаи худро тавре нависед, ки хотира якхела бошад, он гоҳ эҳтимолан дуруст хоҳад буд. Ба он маъно, ки он ҷавобҳои нодуруст намедиҳад. Аммо иҷрои ӯ ситораҳоро аз осмон ҳам намегирад. Ҳамин тавр, агар шумо нависед Бе фаҳмидани иерархияи кэш, худи блоккунӣ дуруст хоҳад буд, аммо шумо метавонед дар бораи иҷроиш фаромӯш кунед. Ба як маъно, шумо бояд барномаҳоеро нависед, ки дар болои абстраксияи хеле содда зиндагӣ мекунанд, аммо шумо бояд аз одамоне, ки ба шумо ин абстраксияро дода буданд, мағлуб кунед: шумо бояд бидонед, ки дар зери абстраксия як иерархияи хотира вуҷуд дорад, ки вуҷуд дорад. автобус байни шумо ва ин хотира, ва ғайра. Ба хамин тарик, дар байни абстракцияхои ба таври индивидуалии фоиданок баъзе конфликт ба амал меояд, ки моро ба проблемахои хеле конкретй ва прагматикй мебарад.
Виталий: Дар бораи оянда чӣ гуфтан мумкин аст? Оё шумо пешгӯӣ карда метавонед, ки протсессорҳо дар оянда чӣ гуна инкишоф меёбанд? Чунин ақида вуҷуд дорад, ки яке аз ҷавобҳо хотираи транзаксионӣ аст. Эҳтимол шумо чизи дигаре доред.
Морис: Якчанд мушкилоти асосӣ дар пешанд. Яке аз он аст, ки хотираи ҳамоҳангшуда абстраксияи аҷиб аст, аммо он дар ҳолатҳои махсус вайрон мешавад. Ҳамин тавр, масалан, NUMA намунаи зиндаи чизест, ки дар он шумо метавонед вонамуд карданро давом диҳед, ки хотираи ягона вуҷуд дорад. Дар асл не, маҳсулнокӣ туро гиря мекунад. Дар баъзе мавридҳо, меъморон маҷбур мешаванд, ки идеяи як меъмории хотираро тарк кунанд; шумо наметавонед ҳамеша вонамуд кунед. Моделҳои нави барномасозӣ лозим хоҳанд шуд, ки барои истифода ба қадри кофӣ осон ва тавоноанд, то сахтафзори асосиро муассир кунанд. Ин як созиши хеле душвор аст, зеро агар шумо ба барномасозон меъмории воқеан дар сахтафзор истифодашударо нишон диҳед, онҳо девона мешаванд. Ин хеле мураккаб ва сайёр нест. Агар шумо интерфейсеро пешниҳод кунед, ки хеле содда аст, иҷроиш паст хоҳад буд. Ҳамин тариқ, барои пешниҳоди моделҳои муфиди барномасозӣ, ки ба протсессорҳои воқеан азими бисёраслӣ татбиқ мешаванд, бисёр муомилоти хеле душвор бояд анҷом дода шаванд. Ман боварӣ надорам, ки касе ғайр аз мутахассис қодир аст дар компютери 2000-аслӣ барномарезӣ кунад. Ва агар шумо бо ҳисоббарории хеле махсус ё илмӣ ё криптография ё чизе ба он монанд машғул нашавед - ҳоло ҳам маълум нест, ки чӣ гуна онро дуруст анҷом диҳед.
Соҳаи дигари ба ин монанд меъмории махсусгардонидашуда мебошад. Суръатдиҳандаҳои графикӣ муддати тӯлонӣ вуҷуд доранд, аммо онҳо як намунаи классикии он гардиданд, ки чӣ гуна шумо метавонед як намуди махсуси ҳисоббарориро гирифта, онро дар чипи махсус идора кунед. Ин мушкилоти худро илова мекунад: чӣ гуна шумо бо чунин дастгоҳ муошират мекунед, чӣ гуна онро барномарезӣ мекунед. Ман ба наздикӣ бо мушкилоти минтақа кор кардам . Шумо протсессори хурдро гирифта, онро ба як қисми бузурги хотира часпонед, то хотира бо суръати кэши L1 кор кунад ва сипас бо дастгоҳе ба монанди - протсессор бо бор кардани вазифаҳои нав ба ядрои хотираи шумо банд аст. Тарҳрезии сохторҳои додаҳо ва протоколҳои иртиботӣ барои ин гуна чизҳо боз як мисоли ҷолиб аст. Ҳамин тавр, протсессорҳо ва сахтафзорҳои фармоишӣ барои муддати тӯлонӣ беҳбудиҳо мебинанд.
Алексей: Дар бораи хотираи идоранашаванда чӣ гуфтан мумкин аст ()?
Морис: Оҳ, ин боз як мисоли олӣ аст! NVM тарзи нигоҳи мо ба чизҳое ба монанди сохторҳои додаҳоро хеле тағир медиҳад. Хотираи идоранашаванда, ба як маъно, ваъда медиҳад, ки воқеан корҳоро суръат мебахшад. Аммо он ҳаётро осон нахоҳад кард, зеро аксари протсессорҳо, кэшҳо ва регистрҳо то ҳол ноустуворанд. Вақте ки шумо пас аз садама оғоз мекунед, ҳолати шумо ва ҳолати хотираи шумо ҳамон тавре ки пеш аз садама нахоҳад буд. Ман аз одамоне, ки дар NVM кор мекунанд, хеле миннатдорам - барои муҳаққиқон дар муддати тӯлонӣ барои муайян кардани шароити дурустӣ корҳои зиёде хоҳанд буд. Ҳисобкунӣ дуруст аст, агар онҳо аз садамае, ки мундариҷаи кэшҳо ва регистрҳо гум мешаванд, наҷот диҳанд, аммо хотираи асосӣ бетағйир боқӣ мемонад.
Компиляторҳо протсессори протсессорҳо, RISC против CISC, хотираи муштарак ва интиқоли паём
Владимир: Шумо дар бораи дилеммаи "компиляторҳо ва протсессорҳо" аз нуқтаи назари маҷмӯи дастурҳо чӣ фикр доред? Иҷозат диҳед барои онҳое, ки огоҳ нестанд, фаҳмонам: агар мо ба хотираи каҷ ё чизи шабеҳ равем, мо метавонем маҷмӯи хеле оддии фармонҳоро истифода барем ва аз компилятор хоҳиш кунем, ки коди мураккаберо тавлид кунад, ки аз бартариҳои нав истифода барад. Ё мо метавонем бо роҳи дигар равем: дастурҳои мураккабро иҷро кунед ва аз протсессор хоҳиш кунед, ки дастурҳоро аз нав тартиб диҳад ва бо онҳо дигар амалҳоро анҷом диҳад. Шумо дар ин бора чӣ фикр доред?
Морис: Ман аслан ба ин савол ҷавоб надорам. Ин баҳс чаҳор даҳсола боз идома дорад. Замоне буд, ки байни маҷмӯи фармонҳо ва чангхои гражданй бо мачмуи фармонхо мебурданд. Муддате одамони RISC ғолиб омаданд, аммо баъд Intel муҳаррикҳои худро аз нав сохтанд, то маҷмӯи ками дастурҳо дар дохили он истифода шавад ва маҷмӯи пурра ба берун содир карда шавад. Эҳтимол ин мавзӯъест, ки дар он ҳар насли нав бояд созишҳои худро пайдо кунад ва тасмими худро бигирад. Пешгӯӣ кардан хеле душвор аст, ки кадоме аз ин чизҳо беҳтар хоҳад буд. Ҳамин тавр, ҳар як пешгӯии ман барои як муддати муайян дуруст хоҳад буд, ва сипас барои муддате дубора дурӯғ ва боз дуруст хоҳад буд.
Алексей: Барои ин соҳа то чӣ андоза маъмул аст, ки баъзе идеяҳо дар тӯли якчанд даҳсолаҳо ғолиб меоянд ва дар оянда аз даст медиҳанд? Оё мисолҳои дигари чунин тағйироти даврӣ вуҷуд доранд?
Морис: Дар мавзӯи компютерҳои тақсимшуда, одамоне ҳастанд, ки ба онҳо бовар мекунанд ва одамоне, ки ба он бовар мекунанд . Дар аввал, дар ҳисоббарории тақсимшуда, ҳисобкунии параллелӣ маънои интиқоли паёмро дорад. Он гоҳ касе фаҳмид, ки барномасозӣ бо хотираи муштарак хеле осонтар аст. Ҷониби муқобил гуфт, ки хотираи муштарак хеле мураккаб аст, зеро он қуфлҳо ва монанди инҳоро талаб мекунад, аз ин рӯ ба забонҳое гузаштан меарзад, ки дар он ҷо ҷуз интиқоли паём чизе вуҷуд надорад. Касе ба он чизе, ки аз ин ба миён омад, нигоҳ кард ва гуфт: "Вой, ин татбиқи паёмнависӣ ба хотираи муштарак монанд аст, зеро шумо бисёр ва бисёре аз ин модулҳои хурдро эҷод мекунед, онҳо ба ҳамдигар паём мефиристанд ва ҳама онҳо "Биёед махзани хотираи беҳтари муштарак созем!" Хамаи ин борхо такрор мешавад ва гуфтан мумкин нест, ки яке аз тарафхо хатман дуруст аст. Яке аз тарафҳо ҳамеша бартарӣ хоҳад дошт, зеро вақте ки яке аз онҳо қариб ғалаба мекунад, одамон боз ва боз роҳҳои беҳтар кардани тарафи дигарро ихтироъ мекунанд.
Санъати Навиштани Кодекси бисёрсоҳавӣ
Алексей: Ин хеле ҷолиб аст. Масалан, вақте ки мо код менависем, новобаста аз забони барномасозӣ, мо одатан бояд абстраксияҳоеро ба мисли ҳуҷайраҳое созем, ки хондан ва навиштан мумкин аст. Аммо дар асл, дар баъзе сатҳи ҷисмонӣ, ин метавонад ба фиристодани паём тавассути автобуси сахтафзор байни компютерҳои гуногун ва дигар дастгоҳҳо монанд бошад. Маълум мешавад, ки кор дар ду сатхи абстракция якбора ба амал меояд.
Морис: Ин комилан дуруст аст, ки хотираи муштарак бар интиқоли паёмҳо сохта мешавад - автобусҳо, кэшҳо ва ғайра. Аммо навиштани барномаҳо бо истифода аз интиқоли паёмҳо душвор аст, бинобар ин сахтафзор дидаву дониста дурӯғ гуфта, вонамуд мекунанд, ки шумо ягон намуди хотираи якхела доред. Ин барои шумо навиштани барномаҳои оддӣ ва дурустро пеш аз бад шудани кор осонтар мекунад. Он гоҳ шумо мегӯед: чунин ба назар мерасад, ки вақти он расидааст, ки бо кэш дӯстӣ кунед. Ва он гоҳ шумо дар бораи ҷойгиршавии кэш хавотир мешавед ва аз он ҷо меравад. Ба як маъно, шумо абстраксияро вайрон карда истодаед: шумо медонед, ки ин танҳо хотираи ҳамвор ва якхела нест ва шумо ин донишро барои навиштани барномаҳои ба кэш мувофиқ истифода хоҳед кард. Ин аст он чизе ки шумо бояд дар мушкилоти воқеӣ кор кунед. Ин зиддият байни абстраксияи ширин, оддӣ ва зебое, ки ба шумо дода шудааст ва татбиқи бениҳоят мураккаби сахтафзори аслӣ дар он аст, ки ҳама созиши худро мекунанд. Ман китобе дар бораи мултипроцессорҳо ва синхронизатсия дорам ва дар як вақт ман мехостам боб дар бораи сохторҳои додаҳо дар java.util.concurrent. Агар шумо ба онҳо назар кунед, чизҳое мисли Инҳо асарҳои аҷиби санъат мебошанд. (Эзди муҳаррир: Онҳое, ки бо забони Java шиносанд, бояд ҳадди аққал ба татбиқи он назар андозанд ConcurrentSkipListMap, шумо метавонед ба истинодҳо нигаред и ). Аммо аз нуқтаи назари ман, ба донишҷӯён нишон додани онҳо бемасъулиятӣ мебуд, зеро чунин сохтори додаҳо ба як бача дар цирк аст, ки дар болои чоҳи хирс бо ресмони танг медаванд. Агар шумо ҳатто як ҷузъи хурдро тағир диҳед, тамоми сохтор вайрон мешавад. Ин рамз хеле зуд ва шево аст, зеро он ба таври комил навишта шудааст, аммо каме тағирот боиси нокомии комил мегардад. Агар ман ин кодро ба донишҷӯён мисол орам, онҳо дарҳол мегӯянд: Ман ҳам ин корро карда метавонам! Ва он гоҳ ягон ҳавопаймо суқут мекунад ё реактори ҳастаӣ метарконад ва ман гунаҳкор мешавам, ки дар вақти нодуруст ба онҳо маълумоти аз ҳад зиёд додам.
Алексей: Вақте ки ман каме ҷавон будам, ман борҳо кӯшиш кардам, ки рамзи сарчашмаи Дуг Лиро омӯзам, масалан, java.util.concurrent, зеро он манбаи кушода аст, онро ёфтан хеле осон аст ва кӯшиш кунед, ки дар он ҷо чӣ рӯй дода истодааст. Ин чандон хуб набуд: аксар вақт комилан норавшан аст, ки чаро Дуг тасмим гирифт, ки ин корро кунад, вақте ки ҳама ба таври дигар ин корро мекунанд. Шумо ин чизҳоро ба донишҷӯёни худ чӣ гуна шарҳ медиҳед? Оё роҳи дурусти тавсифи ҷузъиёти мушаххаси алгоритми хардкор вуҷуд дорад, масалан? Шумо ин корро чӣ тавр мекунед?
Морис: Муаллимони рассомӣ як клише доранд, ки аввал дар хотир доранд: агар шумо хоҳед, ки мисли Пикассо тасвир кунед, аввал шумо бояд чӣ гуна кашидани расмҳои оддии воқеӣро ёд гиред ва танҳо вақте ки шумо қоидаҳоро медонед, шумо метавонед онҳоро вайрон кунед. Агар шумо фавран бо вайрон кардани қоидаҳо оғоз кунед, шумо ба бесарусомонӣ дучор мешавед. Аввалан, ман ба донишҷӯён чӣ гуна навиштани коди оддӣ ва дурустро бе ташвиш дар бораи иҷроиш таълим медиҳам. Он чизе ки ман мегӯям, ин аст, ки дар ин ҷо мушкилоти мураккаби вақт вуҷуд доранд, аз ин рӯ дар бораи кэшҳо хавотир нашавед, дар бораи моделҳои хотира хавотир нашавед, танҳо боварӣ ҳосил кунед, ки ҳама чиз дуруст кор мекунад. Ин аллакай кофӣ душвор аст: барномасозии муосир худ аз худ осон нест, махсусан барои донишҷӯёни нав. Ва ҳангоме ки онҳо дар бораи чӣ гуна навиштани барномаҳои дуруст тасаввурот доранд, ман мегӯям: ба ин ду амалисозии spinlock нигаред: яке хеле суст аст, ва дуюм низ на он қадар, балки беҳтар аст. Аммо, аз ҷиҳати математикӣ ин ду алгоритм якхелаанд. Дар асл, яке аз онҳо макони кэшро истифода мебарад. Яке аз онҳо аз рӯи маълумотҳои ба таври маҳаллӣ кэшшуда кор мекунад ва дигаре дар автобус такроран амалиётҳоро иҷро мекунад. Шумо наметавонед рамзи муассирро нависед, агар шумо намефаҳмед, ки он чӣ аст ва намедонед, ки чӣ гуна абстраксияро вайрон кунед ва сохтори асосиро бубинед. Аммо шумо наметавонед фавран ба ин кор шурӯъ кунед. Одамоне ҳастанд, ки дарҳол ин корро оғоз мекунанд ва ба нобиғаи худ бовар мекунанд, одатан ин кори бад анҷом меёбад, зеро онҳо принсипҳоро намефаҳманд. Ҳеҷ кас мисли Пикассо расмкашӣ намекунад ё барномаҳое мисли Дуг Ли дар ҳафтаи аввали худ аз коллеҷ наменависад. Барои расидан ба ин дараҷаи дониш солҳо лозим аст.
Алексей: Маълум мешавад, ки шумо масъаларо ба ду қисм тақсим мекунед: якум дурустӣ, дуюмаш иҷроиш?
Морис: Айнан. Ва, маҳз дар ҳамин тартиб. Қисми мушкилот дар он аст, ки донишҷӯёни нав намефаҳманд, ки ба дурустӣ ноил шудан душвор аст. Дар назари аввал мегуянд: ин аз афташ дуруст аст, факат тезондани суръати кор мемонад. Аз ин рӯ, ман баъзан ба онҳо дар бораи алгоритми дар аввал нодуруст нақл мекунам, ки гӯё он дуруст бошад.
Чӣ тавр ба донишҷӯён навиштани коди мураккаби чандсабҳаро таълим додан мумкин аст
Алексей: Фақат барои дидани он ки онҳо сайдро ҳис карда метавонанд?
Морис: Ман ҳамеша пешакӣ огоҳ мекунам, ки баъзан ман алгоритмҳои нодурустро пешниҳод мекунам. Шумо набояд мардумро фиреб диҳед. Ман тавсия медиҳам, ки онҳо маълумотро бо як дона намак гиранд. Агар ман чизе гӯям ва гӯям: "бинед, ин баръало дуруст аст" - ин сигналест, ки дар ҷое шуморо фиреб доданӣ мешаванд ва шумо бояд ба саволҳо шурӯъ кунед. Баъдан, ман кӯшиш мекунам, ки донишҷӯёнро ташвиқ кунам, ки саволҳои худро идома диҳанд ва баъд ман пешниҳод мекунам: "Агар мо чизҳоро ҳамон тавр гузорем, чӣ мешавад?" Ва онҳо дарҳол хаторо мебинанд. Аммо итминон додани донишҷӯён, ки онҳо бояд дар бораи дурустӣ ғамхорӣ кунанд, назар ба он ки дар назари аввал ба назар мерасад, хеле душвортар аст. Аксари ин донишҷӯён дар мактаби миёна таҷрибаи барномасозӣ доранд, баъзеҳо дар он ҷо кор гирифтаанд ва барномасозиро анҷом додаанд ва ҳамаашон аз боварӣ пуранд. Ин чизе монанди артиш аст: шумо аввал бояд кайфияти онҳоро тағир диҳед, то онҳоро бовар кунонед, ки ба ҳалли мушкилоте, ки ба миён меоянд, босаброна муносибат кунанд. Ё шояд ин ба роҳибони буддоӣ монанд аст: аввал онҳо дар бораи дурустӣ мулоҳиза карданро ёд мегиранд ва вақте ки онҳо роҳҳои мулоҳизаро дар бораи дурустӣ мефаҳманд, ба онҳо иҷозат дода мешавад, ки ба сатҳи дигар гузаранд ва дар бораи иҷроиш нигаронӣ кунанд.
Алексей: Ин аст, ки баъзан шумо ба донишҷӯён мисолҳои ғайрикорӣ нишон медиҳед, ки ба шарофати онҳо шумо фикру мулоҳизаҳо мегиред, ки оё онҳо моҳияти масъаларо мефаҳманд, оё онҳо рамзи нодуруст ва натиҷаи нодурустро ёфта метавонанд. Пас, оё донишҷӯён одатан шуморо шод мекунанд ё ғамгин мекунанд?
Морис: Донишҷӯён қариб ҳамеша хатогиро дар ниҳоят пайдо мекунанд. Агар онҳо хеле суст ҷустуҷӯ кунанд, ман саволҳои пешбарро медиҳам ва дар ин ҷо муҳим аст, ки агар шумо онҳоро фиреб надиҳед, онҳо суханони шуморо ҳамчун ҳақиқати ниҳоӣ қабул мекунанд. Он гоҳ онҳо дилгир мешаванд ва ҳангоми хондани Facebook дар ноутбуки худ ҳангоми дарс ба хоб мераванд. Аммо вакте ки пешакй ба онхо гуед, ки фиреб хоханд шуд ва агар ягон найрангро хис накунанд, беакл ба назар мерасанд, хеле хушьёртар мешаванд. Ин бо роҳҳои гуногун хуб аст. Ман мехостам, ки донишҷӯён на танҳо фаҳмиши ин масъаларо зери шубҳа гузоранд, балки ба нуфузи муаллим низ шубҳа кунанд. Идеяи он аст, ки донишҷӯ ҳар вақт метавонад даст боло барад ва бигӯяд: Ба фикрам он чизе, ки шумо гуфтед, нодуруст аст. Ин воситаи муҳими омӯзиш аст. Ман намехоҳам, ки ҳеҷ як аз донишҷӯён нишаста, хомӯшона ба худ андеша кунанд: ин ҳама бемаънӣ ба назар мерасад, аммо даст боло кардан хеле даҳшатнок аст ва ба ҳар ҳол, ӯ профессор аст, бинобар ин ҳар чизе ки ӯ мегӯяд, ҳақиқат аст. Аз ин рӯ, агар онҳоро пешакӣ огоҳ кунанд, ки на ҳама гуфтаҳо ҳатман дурустанд, онҳо барои таваҷҷӯҳи бештар ба мавод ҳавасманд мешаванд. Ман возеҳ мегӯям, ки даст бардошта савол додан ҷоиз аст. Саволи шумо метавонад аблаҳӣ ё соддалавҳона садо диҳад, аммо аксар вақт саволҳои беҳтарин ҳамин тавр ба миён меоянд.
Алексей: Хеле ҷолиб. Одатан одамон як навъ монеаи равонӣ доранд, ки ба онҳо имкон намедиҳад, ки ба профессор савол диҳанд. Хусусан, агар дар ҳуҷра одамон зиёд бошанд ва ҳама метарсанд, ки муҳокимаи саволи аблаҳии шумо тамоми вақти ин мардумро мегирад. Оё ягон ҳила барои мубориза бо ин вуҷуд дорад?
Морис: Ман аксар вақт бозистодам ва саволҳои классикӣ медиҳам. Новобаста аз он ки изҳорот дуруст хоҳад буд ё онҳо мушкилоти мавриди баррасӣро чӣ гуна ҳал мекарданд. Ин як амали асосӣ аст, махсусан дар оғози дарс, вақте ки одамон аз гуфтани ҳатто хурдтарин чизе шарм мекунанд. Шумо ба донишҷӯён савол медиҳед ва дигар чизе намегӯед. Хомушй хукмфармост, хама каме таш-виш меёбад, шиддат меафзояд, баъд ногахон касе тоб наоварда, вайрон мешавад ва чавоб мегуяд. Ин аст, ки шумо вазъиятро тағир медиҳед: идома додани хомӯшӣ аз ҷавоб додан душвортар ва нороҳаттар мешавад! Ин як ҳиллаи стандартии педагогӣ аст. Ҳар як омӯзгор дар ҷаҳон бояд ин корро донад.
Алексей: Ҳоло мо барои ин мусоҳиба унвони олиҷаноб дорем: "Ҷавоб додан аз хомӯш мондан осонтар аст."
Виталий: Иҷозат диҳед боз пурсам. Шумо дар болои далелҳои топологӣ кор карда истодаед. Чӣ тавр шумо ҳатто ба ин ҷалб шудед, зеро компютерҳои тақсимшуда ва топология чизҳои тамоман дигаранд!
Морис: Дар он ҷо як робитаи пинҳонӣ вуҷуд дорад. Вақте ки ман донишҷӯ будам, ки дар математика таҳсил мекардам, ман математикаи тозаро омӯхтам. То он даме, ки таҳсилам ба охир нарасид, ман ба компютер таваҷҷӯҳи воқеӣ надоштам ва ман бо эҳтиёҷоти ҷиддии ҷустуҷӯи кор рӯбарӯ шудам. Ҳамчун донишҷӯ ман топологияи алгебравиро омӯхтам. Пас аз чандин сол, ҳангоми кор дар як масъала даъват , Ман графикҳоро барои моделсозии мушкилот истифода кардам ва чунон ки дар он вақт ба назар мерасид, ман роҳи ҳалли худро ёфтам. Ба шумо лозим буд, ки нишаста, ҳисобро давр занед. Кӯшиш кунед, ки дар ин график ҷавоби мувофиқ пайдо кунед. Аммо алгоритми ман кор накард: маълум шуд, ки ӯ то абад дар давраҳо давида мешавад. Мутаассифона, ҳамаи инро бо забони расмии назарияи графикӣ шарҳ додан мумкин нест - он чизе, ки ҳама компютершиносон медонанд. Ва он гоҳ ман ба ёд овардам, ки солҳои зиёд пеш, дар дарсҳои топология, мо консепсияро истифода мебурдем , ки умумии графикҳо ба андозаҳои баландтар аст. Баъд ман ба худ савол додам: агар мо масъаларо аз рУи комплексхои оддй аз нав тартиб дихем, чй мешавад? Ин лаҳзаи асосӣ гардид. Бо истифода аз формализми тавонотар масъала якбора осонтар мешавад. Одамон ба мукобили он муддати дароз бо истифода аз график мубориза бурданд, вале аз ухдаи кор баромада наметавонис-танд. Ва ҳатто ҳоло онҳо наметавонанд - ҷавоби дуруст на алгоритм, балки далели имконнопазирии ҳалли мушкилот буд. Яъне, чунин алгоритм танҳо вуҷуд надорад. Аммо ё ба комплексхои содда ва ё ба чизхое, ки одамон вонамуд мекарданд, ки комплексхои соддаро ба назар намегиранд. Танхо аз он сабаб, ки шумо чизеро номи нав мегуед, он мохияти худро гум намекунад.
Виталий: Маълум мешавад, ки шумо танҳо хушбахт будед?
Морис: Ба ғайр аз бахт, он ҳам омодагӣ. Ин маънои онро дорад, ки шумо набояд чизҳои «бефоида»-ро, ки қаблан омӯхтаед, фаромӯш накунед. Чӣ қадаре ки шумо чизҳои бефоидаро меомӯзед, ҳамон қадар идеяҳоеро, ки шумо бо мушкилоти нав рӯ ба рӯ мешавед, ба даст оварда метавонед. Ин гуна мувофиқати намунаи интуитивӣ муҳим аст, зеро... Биёед ин корро кунем, ин занҷир аст: дар аввал ман фаҳмидам, ки графикҳо тамоман кор намекунанд ё тамоман кор намекунанд, ин ба ман чизеро аз рӯйдодҳои ҳаштсола ба хотир овард. солхо пеш ва солхои студентии ман, ки мо хамаи ин комплексхои оддиро меомухтем. Ин дар навбати худ ба ман имкон дод, ки китоби дарсии кӯҳнаи топологияамро пайдо кунам ва онро дубора ба сарам бор кунам. Аммо агар он дониши кӯҳна намебуд, ман ҳеҷ гоҳ дар ҳалли масъалаи аслӣ пешрафт намекардам.
Нашри нави китоби "Санъати барномасозии бисёрпросессорӣ"
Алексей: Шумо дар бораи китобатон чанд сухан гуфтед. Эҳтимол ин бадтарин сирри он нест, ки шумо машҳуртарин китоби ҷаҳонро дар бораи чанд ришта навиштаед, . Он аллакай тақрибан 11 сол дорад ва аз он вақт инҷониб танҳо озод карда шудааст . Оё нашри дуюм хоҳад буд?
Морис: Хуб аст, ки шумо пурсидед! Ин хеле ба наздикӣ, баъд аз се моҳ ва ё бештар аз он хоҳад буд. Ду муаллифи дигар ҳастанд, мо маводи бештаре илова кардем, қисмати параллелизмро такмил додем, дар MapReduce бахш навишт, бисёр чизҳои нав илова намудем ва чизҳои нолозимро хориҷ кардем - чизе, ки дар вақти навиштан хеле ҷолиб буд нашри аввал, вале имрӯз вуҷуд надорад. Дар натиҷа як китоби хеле ҷиддӣ аз нав дида баромада шуд.
Алексей: Ҳама чиз аллакай анҷом дода шудааст, танҳо озод кардани он аст?
Морис: Якчанд боб ҳоло ҳам каме кор лозим аст. Ношири мо (ки ман фикр мекунам, ки аллакай аз мо нафрат дорад) ҳоло ҳам кӯшиш мекунад, ки паёмро дар бораи он ки мо бояд зудтар кор кунем. Мо аз график хеле кафо мондаем. Аз ҷиҳати назариявӣ, мо метавонистем ин китобро якчанд сол пештар иҷро кунем.
Алексей: Ягон имкони гирифтани нусхаи нави китоб пеш аз Мавлуди Исо?
Морис: Ин ҳадафи мост! Аммо ман борҳо пирӯзиро пешгӯӣ кардаам, ки дигар ба ман касе бовар намекунад. Эҳтимол шумо дар ин масъала низ набояд ба ман аз ҳад зиёд бовар кунед.
Алексей: Дар ҳар сурат, ин хабари афсонавӣ аст. Нашри якуми китоб ба ман хеле писанд омад. Шумо метавонед бигӯед, ки ман мухлис ҳастам.
Морис: Умедворам, ки нашри нав сазовори шавқу ҳаваси шумо хоҳад буд, ташаккур!
Чӣ тавр хотираи транзаксионӣ ихтироъ карда шуд
Виталий: Саволи навбатӣ дар бораи хотираи транзаксионӣ аст. То ҷое, ки ман фаҳмидам, шумо дар ин соҳа пешрав ҳастед, дар замоне ихтироъ кардаед, ки касе дар бораи ин чизҳо фикр намекард. Чаро шумо тасмим гирифтед, ки ба ин соҳа гузаред? Чаро транзаксияҳо барои шумо муҳим менамуданд? Оё шумо фикр мекардед, ки рӯзе онҳо дар сахтафзор татбиқ карда мешаванд?
Морис: Ман дар бораи муомилот аз рӯзҳои тадқиқоти баъдидипломӣ огоҳ будам.
Виталий: Бале, аммо ин муомилоти гуногунанд!
Морис: Ман бо Эллиот Мосс дар ҷамъоварии партовҳои бебанд кор кардам. Мушкилоти мо дар он буд, ки мо мехостем, ки чанд калимаро дар хотира ба таври атомӣ иваз кунем ва он гоҳ алгоритмҳо хеле содда мешаванд ва ҳадди аққал баъзеи онҳо самараноктар мешаванд. Истифодаи барои Аз ҷониби меъмории параллелӣ таъмин карда мешавад, кореро кардан мумкин аст, аммо он хеле бесамар ва зишт аст, зеро шумо бояд бо қабатҳои бавосита мубориза баред. Ман мехоҳам калимаҳои хотираро тағир диҳам ва ман бояд иваз кунам, зеро ман метавонам танҳо як нишондиҳандаро тағир диҳам, бинобар ин онҳо бояд ба ягон сохтори ба директория монанд ишора кунанд. Мо дар бораи он сӯҳбат кардем, ки чӣ қадар хуб мебуд, агар мо сахтафзорро тағир диҳем, то он метавонад сабти ҳамзамон анҷом диҳад. Чунин ба назар мерасад, ки Эллиотт инро пайхас кардааст: агар шумо ба протоколҳои ҳамоҳангии кэш нигаред, онҳо аллакай аксари функсияҳои заруриро таъмин мекунанд. Дар амалиёти оптимистӣ, протоколи ҳамоҳангии кэш мушоҳида мекунад, ки ихтилофи вақт вуҷуд дорад ва кэш мешавад . Чӣ мешавад, агар шумо ба таври тахминӣ транзаксияро дар кэши худ иҷро кунед ва механизмҳои протоколи ҳамоҳангиро барои ошкор кардани ихтилофот истифода баред? Тарҳрезии меъмории сахтафзори спекулятивӣ осон буд. Ҳамин тавр, мо онро навиштем дар бораи хотираи транзаксионӣ. Дар айни замон, ширкате, ки ман дар он кор мекардам, Digital Equipment Corporation протсессори нави 64-битро бо номи Алфа эҷод мекард. Ҳамин тавр, ман рафтам ва ба гурӯҳи таҳияи Алфа дар бораи хотираи аҷиби транзаксионии мо муаррифӣ кардам ва онҳо пурсиданд: Агар мо ҳамаи инро мустақиман ба протсессор илова кунем, ширкати мо чӣ қадар даромади иловагӣ ба даст меорад? Ва ман ба ин комилан ҷавоб надоштам, зеро ман технолог ҳастам, ман мутахассиси маркетинг нестам. Ман дар ҳақиқат чизе барои ҷавоб додан надоштам. Онҳо хеле мутаассир набуданд, ки ман чизе намедонам.
Виталий: Миллиардҳо! Фақат миллиардҳо бигӯед!
Морис: Бале, ман бояд ҳаминро мегуфтам. Ҳоло, дар асри стартапҳо ва ҳама чиз, ман медонам, ки чӣ гуна нақшаи бизнес нависед. Ки шумо метавонед каме дар бораи андозаи фоидаи эҳтимолии худ дурӯғ гӯед. Аммо дар он рӯзҳо соддалавҳона ба назар мерасид, бинобар ин ман танҳо гуфтам: "Намедонам". Агар шумо ба таърихи нашри хотираи транзаксионӣ назар андозед, мебинед, ки пас аз як сол ба он чанд истинод оварда шудааст ва баъдан тақрибан даҳ сол ба ин мақола умуман касе истинод накардааст. Иқтибосҳо тақрибан дар соли 2004 пайдо шуданд, вақте ки бисёр ядроҳои ҳақиқӣ пайдо шуданд. Вақте ки одамон фаҳмиданд, ки навиштани рамзи параллелӣ метавонад пул кор кунад, тадқиқоти нав оғоз ёфт. Рави Раҷвар , ки бо ягон роҳ мафҳуми хотираи транзаксиониро ба ҷараёни асосӣ ворид кард. (Эзди муҳаррир: Варианти дуюми ин мақола мавҷуд аст, ки соли 2010 нашр шудааст ва ба таври ройгон дастрас аст ). Ногаҳон одамон аниқ фаҳмиданд, ки чӣ гуна ин ҳамаро истифода бурдан мумкин аст, чӣ гуна алгоритмҳои анъанавӣ бо қулфҳоро суръат бахшидан мумкин аст. Намунаи хуби чизе, ки дар гузашта танҳо як масъалаи ҷолиби таълимӣ ба назар мерасид. Ва ҳа, агар шумо дар он вақт аз ман мепурсидед, ки оё ман фикр мекардам, ки ин ҳама дар оянда муҳим хоҳад буд, ман мегуфтам: албатта, аммо кай дақиқ нест. Шояд пас аз 50 сол? Дар амал ин хамагй дахсола шуд. Ин хеле хуб аст, вақте ки шумо чизе мекунед ва пас аз даҳ сол одамон онро пай мебаранд.
Чаро дар соҳаи ҳисоббарории тақсимшуда тадқиқот гузаронидан лозим аст
Виталий: Агар мо дар бораи тадқиқоти нав сухан ронем, шумо ба хонандагон чӣ маслиҳат медиҳед - компютерҳои тақсимшуда ё бисёр ядроӣ ва чаро?
Морис: Дар ин рӯзҳо ба даст овардани протсессори чандаслӣ осон аст, аммо таъсис додани системаи воқеии тақсимшуда мушкилтар аст. Ман дар болои онҳо кор карданро сар кардам, зеро мехостам аз рисолаи номзадии худ чизи дигареро иҷро кунам. Ин маслиҳатест, ки ман ҳамеша ба донишҷӯёни нав медиҳам: идомаи рисолаи худро нанависед - кӯшиш кунед, ки ба самти нав биравед. Ва инчунин, чанд ришта осон аст. Ман метавонам бо винти худам, ки дар ноутбукам кор мекунад, бе аз бистар бархоста, озмоиш кунам. Аммо агар ман ногаҳон мехостам системаи воқеии тақсимшуда эҷод кунам, ман бояд кори зиёдеро анҷом диҳам, донишҷӯёнро ҷалб кунам ва ғайра. Ман як шахси танбал ҳастам ва беҳтараш дар бисёр ядроӣ кор кунам. Таҷриба дар системаҳои бисёраслӣ нисбат ба гузаронидани таҷрибаҳо дар системаҳои тақсимшуда низ осонтар аст, зеро ҳатто дар системаи тақсимшудаи аблаҳон омилҳои аз ҳад зиёд мавҷуданд, ки онҳоро назорат кардан лозим аст.
Виталий: Ҳоло шумо чӣ кор карда истодаед, блокчейнро таҳқиқ мекунед? Аввалан ба кадом мақолаҳо диққат додан лозим аст?
Морис: Ба наздикӣ пайдо шуд , ки ман бо шогирдам Викрам Сараф, махсусан барои сухбат дар он навиштам се хафта пеш дар Париж. Ин мақола дар бораи системаҳои тақсимшудаи амалӣ мебошад, ки дар он мо пешниҳод мекунем, ки Ethereum бисёрсоҳавӣ шавад. Дар айни замон, шартномаҳои интеллектуалӣ (коде, ки дар blockchain кор мекунад) пайдарпай иҷро карда мешаванд. Мо қаблан мақолае навиштем, ки дар бораи роҳи истифодаи муомилоти тахминӣ барои суръат бахшидан ба раванд сӯҳбат мекард. Мо аз хотираи транзаксионии нармафзор ғояҳои зиёде гирифтем ва гуфтем, ки агар шумо ин ғояҳоро як қисми мошини виртуалии Etherium созед, ҳама чиз тезтар кор мекунад. Аммо барои ин зарур аст, ки дар шартномаҳо ихтилофи маълумот мавҷуд набошад. Ва он гоҳ мо тахмин кардем, ки дар ҳаёти воқеӣ чунин ихтилофҳо вуҷуд надоранд. Аммо мо имкон надоштем, ки фаҳмем. Пас аз он ба мо чунин омад, ки мо тақрибан даҳсолаи таърихи воқеии шартнома дорем, бинобар ин мо блокчейни Ethereum-ро партофта, аз худ пурсидем: агар ин сабтҳои таърихӣ мувозӣ иҷро карда шаванд, чӣ мешавад? Мо афзоиши назарраси суръатро дарёфтем. Дар рӯзҳои аввали Ethereum, суръат хеле зиёд шуд, аммо имрӯз ҳама чиз то андозае мураккабтар аст, зеро шартномаҳо камтаранд ва эҳтимолияти ихтилофҳо аз рӯи маълумоте, ки сериализатсияро талаб мекунад, баландтар шудааст. Аммо хамаи ин кори тачрибавй бо маълумоти вокеии таърихй мебошад. Чизи хуби блокчейн дар он аст, ки он ҳама чизро то абад дар хотир дорад, аз ин рӯ мо метавонем ба замон баргардем ва омӯзем, ки агар мо алгоритмҳои гуногунро барои иҷро кардани код истифода мебурдем, чӣ рӯй медод. Чӣ тавр одамон дар гузашта идеяи нави моро дӯст медоштанд? Ичрои ин гуна тадкикот хеле осонтар ва хурсандиовартар аст, зеро чизе вучуд дорад, ки хама чизро назорат мекунад ва хама чизро кайд мекунад. Ин аллакай ба ҷомеашиносӣ бештар шабоҳат дорад, на ба таҳияи алгоритмҳо.
Оё таҳияи алгоритмҳо қатъ шудааст ва чӣ гуна бояд идома ёбад?
Виталий: Вақти охирин саволи назариявӣ! Оё чунин ба назар мерасад, ки пешрафт дар сохторҳои рақобатпазири додаҳо ҳамасола коҳиш меёбад? Ба фикри шумо, оё мо дар фаҳмиши сохторҳои додаҳо ба сатҳи баланд расидем ё ягон беҳбудии ҷиддӣ ба амал меояд? Шояд баъзе идеяҳои доно ҳастанд, ки метавонанд ҳама чизро комилан тағир диҳанд?
Морис: Мо шояд дар сохторҳои додаҳо барои меъмории анъанавӣ ба плато расидаем. Аммо сохторҳои додаҳо барои меъмории нав ҳоло ҳам як минтақаи хеле ояндадор мебошанд. Агар шумо хоҳед, ки сохторҳои додаҳо барои, масалан, суръатбахшии сахтафзор эҷод кунед, пас сохторҳои додаҳо барои GPU аз сохторҳои додаҳо барои CPU хеле фарқ мекунанд. Вақте ки шумо сохторҳои додаҳоро барои blockchain таҳия мекунед, шумо бояд қисмҳои маълумотро ҳаш кунед ва сипас онҳоро ба чизе монанд кунед , барои пешгирии қалбакӣ. Вақтҳои охир дар ин самт фаъолиятҳо афзоиш ёфта, бисёриҳо кори хеле хуб мекунанд. Аммо ман фикр мекунам, ки чӣ рӯй хоҳад дод, ки меъморӣ ва барномаҳои нав ба сохторҳои нави додаҳо оварда мерасонанд. Замимаҳои кӯҳна ва меъмории анъанавӣ - шояд дигар ҷой барои иктишоф вуҷуд надошта бошад. Аммо агар шумо аз роҳи лату кӯб берун равед ва ба паси канорҳо назар андозед, шумо чизҳои девонаеро хоҳед дид, ки ҷараёнҳои асосӣ ҷиддӣ қабул намекунанд - дар ин ҷо ҳама чизҳои ҷолиб воқеан рӯй медиҳанд.
Виталий: Аз ин рӯ, барои як муҳаққиқи машҳур шудан ман маҷбур будам, ки меъмории худро ихтироъ кунам :)
Морис: Шумо метавонед меъмории нави каси дигарро "дуздӣ кунед" - ин хеле осонтар ба назар мерасад!
Дар Донишгоҳи Браун кор мекунад
Виталий: Метавонед ба мо бештар дар бораи он нақл кунед ту дар куҷо кор мекунӣ? Дар заминаи технологияҳои иттилоотӣ дар бораи ӯ маълумоти зиёд вуҷуд надорад. Масалан, камтар аз MIT.
Морис: Донишгоҳи Браун яке аз қадимтарин донишгоҳҳои Иёлоти Муттаҳида мебошад. Ман фикр мекунам, ки танҳо Ҳарвард каме калонтар аст. Браун як қисми ба ном аст , ки мачмуаи хашт университети кухнатарин мебошад. Ҳарвард, Браун, Корнелл, Йел, Колумбия, Дартмут, Пенсилвания, Принстон. Ин як донишгоҳи кӯҳна, хурд ва каме аристократӣ аст. Таваҷҷуҳи асосӣ ба таълими санъати гуманитарӣ нигаронида шудааст. Он кӯшиш намекунад, ки мисли MIT бошад, MIT хеле махсус ва техникӣ аст. Браун ҷои хубест барои омӯзиши адабиёти рус ё юнонии классикӣ ва албатта, илмҳои компютерӣ. Он ба таълими ҳамаҷониба диққат медиҳад. Аксари донишҷӯёни мо ба Facebook, Apple, Google мераванд - бинобар ин, ман фикр мекунам, ки донишҷӯёни мо дар ҷустуҷӯи кор дар ин соҳа мушкилот надоранд. Ман ба Браун рафтам, зеро ман қаблан дар Корпоратсияи Digital Equipment дар Бостон кор карда будам. Ин ширкате буд, ки бисёр чизҳои ҷолибро ихтироъ мекард, аммо аҳамияти компютерҳои фардиро инкор мекард. Корхонае, ки сарнавишти душвор дорад, ки асосгузоронаш як вактхо революционерони чавон буданд, онхо чизе наомухтанд ва хеч чизро фаромуш накарданд ва бинобар ин дар давоми кариб дах сол аз революционер ба реакционер табдил ёфтанд. Онҳо шӯхӣ карданро дӯст медоштанд, ки компютерҳои фардӣ ба гараж тааллуқ доранд — албатта гаражи партофташуда. Маълум аст, ки онҳо аз ҷониби ширкатҳои чандиртар нобуд карда шуданд. Вақте маълум шуд, ки ширкат дар мушкилӣ қарор дорад, ман ба як дӯсти худ дар Браун занг задам, ки тақрибан як соат берун аз Бостон ҷойгир аст. Он вақт ман намехостам, ки Бостонро тарк кунам, зеро дар донишгоҳҳои дигар ифтитоҳҳо зиёд набуданд. Ин замоне буд, ки дар илмҳои компютерӣ мисли ҳозир ҷойҳои корӣ зиёд набуд. Ва Браун ифтитоҳ дошт, ба ман лозим набуд, ки хонаамро кӯч диҳам, оилаамро кӯчонида натавонам ва ман зиндагӣ дар Бостонро дар ҳақиқат дӯст медорам! Ҳамин тавр ман қарор додам, ки ба Браун равам. Ин ба ман маъқул аст. Донишҷӯён олиҷаноб ҳастанд, аз ин рӯ ман ҳатто кӯшиш накардаам, ки ба ҷои дигар равам. Дар давоми истироҳат ман як сол дар Microsoft кор кардам, як сол ба Технион дар Ҳайфа рафтам ва ҳоло дар Алгоранд хоҳам буд. Ман дар ҳама ҷо ҳамкасбони зиёд дорам ва аз ин рӯ ҷойгиршавии физикии синфхонаҳои мо он қадар муҳим нест. Аммо аз ҳама муҳим донишҷӯён аст, онҳо беҳтарин дар ин ҷо ҳастанд. Ман ҳеҷ гоҳ кӯшиш накардаам, ки ба ҷои дигар равам, зеро ман дар ин ҷо хеле хушбахтам.
Бо вуҷуди шӯҳрати Браун дар Иёлоти Муттаҳида, вай дар хориҷи кишвар тааҷҷубовар нест. Чи тавре ки мебинед, ман холо тамоми кори аз дасташ меомадагиро карда истодаам, ки ин вазъиятро ислох кунам.
Тафовут байни тадқиқот дар донишгоҳ ва дохили корпоратсия
Виталий: Хуб, саволи навбатӣ дар бораи Таҷҳизоти рақамӣ аст. Шумо дар он ҷо ҳамчун муҳаққиқ будед. Фарқи байни кор дар шӯъбаи R&D як ширкати бузург ва кор дар донишгоҳ чӣ гуна аст? Афзалиятҳо ва нуқсонҳо кадомҳоянд?
Морис: Бист сол ман дар Microsoft кор кардам, бо кормандони Sun Microsystems, Oracle, Facebook ва ҳоло Algorand ҳамкории зич доштам. Дар асоси хамаи ин гуфтаниам, ки чи дар корхонахо ва чи дар донишкадахои олй тадкикоти дарачаи якум гузарондан мумкин аст. Тафовути муҳим дар он аст, ки дар ширкат шумо бо ҳамкорон кор мекунед. Агар ман ногаҳон идеяи лоиҳае пайдо кунам, ки ҳанӯз вуҷуд надорад, ман бояд ҳамсолони худро бовар кунонам, ки ин як идеяи хуб аст. Агар ман дар Браун бошам, пас ман метавонам ба шогирдони худ бигӯям: биёед дар болои антигравитация кор кунем! Онҳо ё ба ягон каси дигар мераванд ё лоиҳаеро ба ӯҳда мегиранд. Бале, ман бояд маблағ пайдо кунам, ман бояд дархости грантӣ нависам ва ғайра. Дар ҳар сурат, ҳамеша донишҷӯёни зиёд хоҳанд буд ва шумо метавонед яктарафа қарор қабул кунед. Аммо дар донишгоҳ шумо эҳтимолан бо одамони сатҳи худ кор нахоҳед кард. Дар ҷаҳони тадқиқоти саноатӣ, шумо аввал бояд ҳамаро бовар кунонед, ки лоиҳаи шумо арзанда аст. Ман наметавонам ба касе чизе фармоиш диҳам. Ва ҳардуи ин усулҳои кор арзишманданд, зеро агар шумо дар як чизи воқеан девонавор кор карда истода бошед ва ҳамкасбони шуморо бовар кунондан душвор аст, аспирантонро бовар кунондан осонтар аст, хусусан агар шумо ба онҳо пул пардохт кунед. Агар шумо дар рӯи коре кор карда истода бошед, ки таҷрибаи зиёд ва таҷрибаи амиқро талаб мекунад, пас ба шумо ҳамкорон лозиманд, ки бигӯянд, ки «не, ҳамин тавр мешавад, ки ман дар ин соҳа мефаҳмам ва фикри шумо бад аст, кор намекунад». Ин аз чихати бехуда сарф кардани вакт хеле фоиданок аст. Инчунин, агар шумо дар лабораторияҳои саноатӣ барои навиштани ҳисобот вақти зиёд сарф кунед, пас дар донишгоҳ шумо ин вақтро барои дарёфти пул сарф мекунед. Агар ман мехоҳам, ки донишҷӯён ба ҷое бираванд, ман бояд барои он дар ҷои дигар пул пайдо кунам. Ва чӣ қадаре ки мавқеи шумо дар донишгоҳ муҳимтар бошад, ҳамон қадар вақти бештарро барои ҷамъоварии пул сарф мекунед. Пас акнун шумо медонед, ки ман барои чӣ кор мекунам - гадои касбӣ! Мисли яке аз он роҳибон, ки бо табақи ҳадия дар гирду атроф давр мезанад. Умуман, ин ду фаъолият якдигарро пурра мекунанд. Барои хамин хам кушиш менамоям, ки дар хар ду дуньё зиндагй кунам ва пои худро бар замин нигарам.
Виталий: Чунин ба назар мерасад, ки бовар кунондани як ширкат назар ба бовар кунондани олимони дигар мушкилтар аст.
Морис: Мушкилтар ва бештар. Гузашта аз ин, дар соҳаҳои гуногун он гуногун аст: баъзеҳо тадқиқоти мукаммал мегузаронанд, дар ҳоле ки дигарон ба мавзӯи худ диққат медиҳанд. Агар ман ба Майкрософт ё Фейсбук рафта гуфтам: биёед зидди гравитация кунем, онҳо базӯр қадр мекунанд. Аммо агар ман ба аспирантҳоям айнан ҳамин чизро гуфта бошам, онҳо эҳтимол ба зудӣ ба кор медароянд, гарчанде ки ҳоло ман мушкилот дорам - дар ниҳоят, ман бояд барои ин пул пайдо кунам. Аммо то он даме, ки шумо мехоҳед кореро анҷом диҳед, ки ба ҳадафҳои ширкат мувофиқат кунад, он ширкат метавонад ҷои хеле хуб барои таҳқиқот бошад.
Hydra ва SPTDC
Виталий: Саволҳои ман ба охир расида истодаанд, биёед каме дар бораи сафари дарпешистода ба Русия сӯҳбат кунем.
Морис: Бале, ман бесаброна интизорам, ки ба Санкт-Петербург баргардам.
Алексей: Ман ифтихор дорам, ки шумо имсол бо мо бошед. Ин бори дуюм аст, ки шумо дар Санкт-Петербург меравед, дуруст?
Морис: Аллакай сеюм!
Алексей: Мефаҳмам, аммо - бешубҳа дуюм. Дафъаи гузашта ба мактаб занг зада буданд , мо ҳоло як ҳарфро (C ба D, Ҳамзамон ба Тақсимшуда) иваз кардем, то таъкид кунем, ки дар соли ҷорӣ соҳаҳои бештари махсусан ба компютерҳои тақсимшуда алоқаманданд. Оё шумо метавонед дар бораи гузоришҳои худ дар Мактаб ва ?
Морис: Дар мактаб ман мехоҳам дар бораи асосҳои blockchain сӯҳбат кунам ва шумо бо он чӣ кор карда метавонед. Ман мехостам нишон диҳам, ки блокчейнҳо ба барномасозии бисёрсоҳавӣ, ки мо бо онҳо шинос ҳастем, хеле монанданд, аммо бо нозукиҳои худ ва фаҳмидани ин фарқиятҳо муҳиманд. Агар шумо дар як веб-барномаи муқаррарӣ хато кунед, ин танҳо хашмгин аст. Агар шумо дар барномаи молиявӣ рамзи хато нависед, касе бешубҳа тамоми пулҳои шуморо медуздад. Инҳо сатҳҳои масъулият ва оқибатҳои тамоман гуногунанд. Ман каме дар бораи исботи кор, дар бораи шартномаҳои интеллектуалӣ, дар бораи транзаксияҳо байни блокчейнҳои гуногун сӯҳбат мекунам.
Дар паҳлӯи ман дигар баромадкунандагон кор хоҳанд кард, ки онҳо низ дар бораи blockchain чизе мегӯянд ва мо розӣ шудем, ки бо ҳам мувофиқат кунем, то ҳикояҳои мо ба ҳам мувофиқат кунанд. Аммо барои гузориши муҳандисӣ, ман мехоҳам ба шунавандагони васеъ шарҳ диҳам, ки чаро шумо набояд ба ҳама чизе, ки дар бораи blockchain мешунавед, бовар накунед, чаро blockchain як соҳаи бузург аст, чӣ гуна он бо дигар ғояҳои маълум мувофиқ аст ва чаро мо бояд далерона назар кунем. ба оянда.
Алексей: Илова бар ин, мехоҳам бигӯям, ки ин дар формати вохӯрӣ ё гурӯҳи корбарон сурат нахоҳад гирифт, чунон ки ду сол пеш буд. Мо карор додем, ки дар назди мактаб конференцияи хурде гузаронем. Сабаб дар он аст, ки баъди муошират бо Петр Кузнецов фахмидем, ки мактаб танхо бо сад, шояд 120 нафар махдуд аст. Дар баробари ин, бисёр муҳандисоне ҳастанд, ки мехоҳанд бо шумо муошират кунанд, дар презентатсияҳо иштирок кунанд ва умуман ба мавзӯъ таваҷҷӯҳ доранд. Аз ин сабаб мо конфронси нав таъсис додем . Дар омади гап, ягон идеяе, ки чаро Hydra?
Морис: Барои он ки ҳафт баромадкунанда хоҳад буд? Ва сари онҳоро буридан мумкин аст ва дар ҷои онҳо сухангӯҳои нав мерӯянд?
Алексей: Идеяи олӣ барои парвариши сухангӯёни нав. Аммо дар асл, дар ин ҷо як ҳикоя вуҷуд дорад. Қиссаи Одиссейро ба ёд оред, ки дар он ҷо ӯ бояд дар байни онҳо шино мекард ? Гидра чизе монанди Чарибдис аст. Ҳикоя дар он аст, ки боре ман дар як конфронс суханронӣ карда, дар бораи multithreading сӯҳбат кардам. Дар ин конфронс ҳамагӣ ду трек вуҷуд дошт. Дар аввали маъруза ба хозирон дар зал гуфтам, ки онхо акнун байни Сцилла ва Чарибдисро интихоб мекунанд. Ҳайвони рӯҳии ман Чарибдис аст, зеро Чарибдис сарҳои зиёд дорад ва мавзӯи ман бисёр ришта аст. Номхои конференцияхо хамин тавр пайдо мешаванд.
Ба ҳар ҳол, мо аз саволу вақт тамом шудем. Пас, ташаккур, дӯстон, барои мусоҳибаи олӣ ва бо дидани шумо дар Мактаби SPTDC ва Hydra 2019!
Шумо метавонед сӯҳбати худро бо Морис дар конфронси Hydra 2019, ки рӯзҳои 11-12 июли соли 2019 дар Санкт-Петербург баргузор мешавад, идома диҳед. Вай бо гузориш меояд . Билетхоро харидан мумкин аст .
Манбаъ: will.com