Рӯзҳои 11-12 июл дар Санкт-Петербург конфронс баргузор мешавад Hydra, ба инкишофи системахои параллелй ва таксимшуда бахшида шудааст. Ҳиллаи Hydra дар он аст, ки он олимони олиҷаноб (онҳоро одатан танҳо дар конфронсҳои илмии хориҷӣ пайдо кардан мумкин аст) ва муҳандисони машҳури амалкунанда дар як барномаи калон дар чорроҳаи илм ва амалия муттаҳид мекунад.
Hydra яке аз муҳимтарин конфронсҳои мо дар чанд соли охир аст. Пеш аз он тайёрии хеле чиддй, хоста гирифтани маърузачиён ва маърузачиён гузашт. Ҳафтаи гузашта дар ин бора Мусоҳибаи Khabro нашр шуд бо директори JUG.ru Group Алексей Федоров (23дерево).
Мо ҳастем аллакай гуфта шудааст тақрибан се иштирокчии муҳим, асосгузорони назарияи системаҳои тақсимшуда - Лесли Лампорт, Морис Ҳерлихи ва Майкл Скотт. Вакти он расидааст, ки дар бораи тамоми барнома муфассалтар сухан ронем!
Муваффақият
Агар шумо дар барномасозӣ машғул бошед, пас бо ин ё он роҳ шумо бо ҳисоббарории мултимедиявӣ ва тақсимшуда сарукор доред. Мутахассисони соҳаҳои дахлдор бо онҳо мустақиман кор мекунанд, аммо ба таври ғайримустақим, тақсимот аз ҳама ҷо ба мо менигаранд: дар ҳама гуна компютерҳои бисёрқабавӣ ё хидмати тақсимшуда чизе мавҷуд аст, ки дар баробари ҳисоб ҳисобҳоро анҷом медиҳад.
Дар ин бора фикр кунед: мо дар замони аҷибе зиндагӣ мекунем, ки шумо метавонед бо асосгузорони соҳаи илм ва техникае, ки мо меомӯзем, шахсан вохӯред. Физикхо на Ньютон ва на Эйнштейнро вомехуранд — поезд рафт. Аммо дар паҳлӯи мо то ҳол онҳое зиндагӣ мекунанд, ки асосҳои назарияи системаҳои тақсимшударо офаридаанд, забонҳои маъмули барномасозиро ихтироъ кардаанд ва аввалин бор ҳамаи инро дар прототипҳои корӣ таҷассум кардаанд. Ин нафарон дар ними роҳ корашонро тарк накардаанд, ҳоло дар донишгоҳҳо ва ширкатҳои маъруфи ҷаҳонӣ сари масъалаҳои доғи рӯз кор мекунанд ва имрӯз бузургтарин сарчашмаи донишу таҷриба мебошанд.
Аз тарафи дигар, имконияти вохӯрӣ бо онҳо одатан танҳо назариявӣ боқӣ мемонад: ками мо метавонем мунтазам рӯйдодҳои оммавиро дар баъзе Донишгоҳи Рочестер назорат кунем ва сипас ба ИМА шитофтем ва барои лексия бо Майкл Скотт баргардем. Боздид аз ҳама аъзои Hydra як сарвати ночизро талаб мекунад, на ба ҳисоб гирифтани вартаи вақти беҳуда (ҳарчанд ин як ҷустуҷӯи ҷолиб аст).
Аз тарафи дигар, мо бисёр муҳандисони беҳтарин дорем, ки дар айни замон бо мушкилоти ҷиддии системаҳои тақсимшуда кор мекунанд ва онҳо бешубҳа бисёр чизҳои гуфтан доранд. Аммо дар ин чо проблема — онхо кор карда истодаанд, ва вақти онҳо арзишманд аст. Бале, агар шумо корманди Microsoft, Google ё JetBrains бошед, эҳтимолияти вохӯрӣ бо яке аз баромадкунандагон дар як чорабинии дохилӣ якбора меафзояд, аммо дар маҷмӯъ, не, ин ҳар рӯз рух намедиҳад.
Ҳамин тариқ, Конфронси Hydra вазифаи муҳимеро, ки аксарияти мо мустақилона иҷро карда наметавонем, иҷро мекунад - дар як ҷо ва дар як вақт он одамонеро, ки ғояҳо ё муносибатҳои онҳо бо онҳо метавонанд ҳаёти шуморо тағир диҳанд, ҷамъ меорад. Ман эътироф мекунам, ки на ҳама ба системаҳои тақсимшуда ё баъзе чизҳои мураккаби бунёдӣ ниёз доранд. Шумо метавонед CRUD-ро дар PHP то охири умр барномарезӣ кунед ва комилан хушбахт бошед. Аммо ба касе лозим аст, ин имкони шумост.
Тарзи соддатарини татбиқи сохтори параллели додаҳо ин амалисозии пайдарпай (як ришта) мебошад, ки дар он усулҳо бо мутексҳо ҳифз карда мешаванд. Ин барои ҳар моҳи июн дастрас аст, аммо мушкилоти ошкоро бо миқёс ва иҷроиш дорад. Дар айни замон, сохторҳои маълумотҳои бидуни қулф ва бидуни интизорӣ на танҳо бо хатогиҳо беҳтар мубориза мебаранд, балки профили беҳтари иҷроиш доранд - аммо таҳияи онҳо таҷрибаи амиқ ва мутобиқшавӣ ба як барномаи мушаххасро талаб мекунад. Як сатри нодурусти код барои шикастани ҳама чиз кофӣ аст.
Чӣ тавр мо метавонем онро ба даст орем, ки ҳатто як шахси коршинос тавонад чунин сохторҳои додаҳоро тарҳрезӣ ва татбиқ кунад? Маълум аст, ки ҳар як алгоритми пайдарпай метавонад бо истифода аз ин ё он ришта бехатар бошад тарҳи универсалӣ, ё хотираи транзаксионӣ. Барои як чиз, онҳо метавонанд монеаи вуруд ба ҳалли ин мушкилотро коҳиш диҳанд. Аммо, ҳарду ҳалли маъмулан ба татбиқи бесамар оварда мерасонанд. Педро дар бораи он сӯҳбат хоҳад кард, ки чӣ тавр онҳо тавонистанд ин тарҳҳоро самараноктар кунанд ва чӣ гуна шумо онҳоро барои алгоритмҳои худ истифода баред.
Дмитрий як таҳиягар дар Google аст, ки дар санҷиши динамикӣ барои C/C++ ва Go - Address/Memory/ThreadSanitizer ва абзорҳои шабеҳи ядрои Linux кор мекунад. Ба Go як нақшакаши миқёспазири горутинӣ, пурсиши шабакавӣ ва коллектори партовҳои параллелӣ саҳм гузоштааст. Вай коршиноси мултимедиявӣ, муаллифи даҳҳо алгоритмҳои нави блокношуда ва соҳиби Камарбанди сиёҳ Intel
Акнун каме дар бораи худи гузориш. Забони Go дорои дастгирии модарии мултимедиявиро дар шакли горутинҳо (риштаҳои сабук) ва каналҳо (навбатҳои FIFO) дорад. Ин механизмҳо барои корбарон навиштани замимаҳои муосири чанд риштаро хеле осон ва лаззат мебахшанд ва он ба ҷодугарӣ монанд аст. Тавре ки мо мефаҳмем, дар ин ҷо ҷодуе нест. Дар ин сӯҳбат Дмитрий нозукиҳои нақшаи Go-ро меомӯзад ва асрори татбиқи ин «ҷодуро» нишон медиҳад. Аввалан, ӯ дар бораи ҷузъҳои асосии нақшакаш шарҳ медиҳад ва ба шумо мегӯяд, ки он чӣ гуна кор мекунад. Минбаъд, мо ба ҷанбаҳои инфиродӣ, аз қабили стратегияи таваққуф / таваққуфгоҳ ва коркарди зангҳои системаи басташавӣ, бодиққат назар хоҳем кард. Дар ниҳоят, Дмитрий дар бораи беҳбудиҳои эҳтимолӣ ба нақшакаш каме сӯҳбат хоҳад кард.
Дмитрий тақрибан 9 сол дар аутсорсинг кор кард ва робитаро бо донишгоҳ ва ҷомеаи илмӣ қатъ кард. Таҳлили бузурги додаҳо дар Одноклассники барои ӯ як имконияти беназири омезиши омӯзиши назариявӣ ва асосҳои илмӣ бо таҳияи маҳсулоти воқеии серталаб гардид.
Алексей (Залеслав)^оло дар дигар конференцияхо маърузачй ва аъзои комитетхои программавй мебошад. Тренери таҷрибавӣ дар EPAM Systems ва аз соли 2012 бо Hadoop/Spark ва дигар додаҳои калон дӯст аст.
Дар ин сӯҳбат Алексей дар бораи мушкилоти мутобиқсозии алгоритмҳои омӯзиши классикии мошинсозӣ барои иҷро дар реҷаи тақсимшуда дар асоси таҷрибаи кор бо Apache Spark ML, Apache Mahout, Apache Flink ML ва таҷрибаи эҷоди Apache Ignite ML сӯҳбат хоҳад кард. Алексей инчунин дар бораи татбиқи алгоритмҳои тақсимшудаи ML дар ин чаҳорчӯбаҳо сӯҳбат хоҳад кард.
Ва ниҳоят, ду гузориш аз Яндекс дар бораи пойгоҳи додаҳои Yandex.
Пойгоҳи додаҳои Yandex барои дархостҳои OLTP тарҳрезӣ шудааст ва ба талаботи ACID барои системаи транзаксионӣ мувофиқат мекунад. Дар ин гузориш, мо алгоритми банақшагирии транзаксияро баррасӣ хоҳем кард, ки дар асоси системаи транзаксияи YDB қарор дорад. Биёед бубинем, ки кадом субъектҳо дар транзаксияҳо иштирок мекунанд, кӣ ба транзаксияҳо тартиби глобалиро таъин мекунад, чӣ гуна атомӣ, эътимоднокӣ ва сатҳи қатъии ҷудошавӣ ба даст оварда мешавад. Бо истифода аз мушкилоти умумӣ ҳамчун мисол, биёед татбиқи транзаксияҳоро бо истифода аз ӯҳдадориҳои думарҳила ва муомилоти детерминистӣ дида бароем. Биёед фарқиятҳои онҳоро муҳокима кунем.
Чӣ оянда аст?
Программам конференция бо маърузахои нав пур шуда истодааст. Хусусан, мо интизори гузориш аз Никита Коваль (ндковал) аз JetBrains ва Олег Анастасьев (m0nstermind) аз ширкати Одноклассники. Никита дар гурӯҳи Котлин дар алгоритмҳои корутинҳо кор мекунад ва Олег дар платформаи Одноклассники меъморӣ ва ҳалли системаҳои серборишро таҳия мекунад. Гайр аз ин, боз 1 чойи шартан холй мавчуд аст, ки холо комитети барномавй бо номзадхо ба он кор карда истодааст.
Конфронси Hydra рӯзҳои 11-12 июл дар Санкт-Петербург баргузор мешавад. Билетҳо дастрасанд дар вебсайти расмӣ харид кунед. Лутфан ба мавҷудияти чиптаҳои онлайн диққат диҳед - агар бо ягон сабабе, ки шумо дар ин рӯзҳо ба Санкт-Петербург расида наметавонед.