Теория - сіз бәрін білесіз, бірақ ештеңе жұмыс істемейді.
Тәжірибе - бұл бәрі жұмыс істейді, бірақ неге ешкім білмейді.
бөлінген жүйелер, теория мен практика біріктіріледі:
ештеңе жұмыс істемейді және неге екенін ешкім білмейді.
Эпиграфтағы әзіл абсолютті нонсенс екенін дәлелдеу үшін біз SPTDC (үлестірілген есептеулердің практикасы мен теориясы мектебі) үшінші рет өткізіп отырмыз. Мектептің тарихы, оның құрылтайшылары Петр Кузнецов пен Виталий Аксенов, сондай-ақ JUG Ru Group компаниясының SPTDC ұйымына қатысуы туралы біз қазірдің өзінде деді Хабрда. Сондықтан бүгін 2020 жылғы мектеп туралы, лекциялар мен лекторлар туралы, сонымен қатар мектеп пен конференцияның айырмашылығы туралы.
SPTDC мектебі 6 жылдың 9-2020 шілдесі аралығында Мәскеуде өтеді.
Барлық дәрістер ағылшын тілінде болады. Дәріс тақырыптары: тұрақты бір мезгілде есептеу, бөлінген жүйелерге арналған криптографиялық құралдар, консенсус хаттамаларын тексерудің формальды әдістері, ауқымды жүйелердегі жүйелілік, бөлінген машиналық оқыту.
Суреттегі кейіпкерлердің қандай әскери шенді екенін бірден болжай алдыңыз ба? Мен сізді ұнатамын.
Лекторлар мен лекциялар
Нир Шавит (Нир Шавит) - MIT және Тель-Авив университетінің профессоры, тамаша кітаптың бірлескен авторы Көппроцессорлық бағдарламалау өнері, иесі Dijkstra жүлделері әзірлеу және енгізу үшін бағдарламалық жасақтаманың транзакциялық жады (STM) және Годель сыйлығы Алгебралық топологияны ортақ жадты есептеулерді модельдеуге қолдану бойынша жұмысы үшін, компанияның тең құрылтайшысы Нейрондық сиқыр, ол кәдімгі процессорлар үшін жылдам машиналық оқыту алгоритмдерін жасайды және, әрине, өзіндік бар. Википедия беттері жарқыраған және керемет фотосуреттермен. Нир 2017 жылы мектебімізге қатысып, блоктау әдістеріне толық шолу жасады (1 бөлігі, 2 бөлігі). Нирдің биылғы жылы не айтатынын біз әлі білмейміз, бірақ ғылымның алдыңғы қатарлы жаңалықтарынан үміттенеміз.
Майкл Скотт (Майкл Скотт) – зерттеуші Рочестер университеті, жасаушысы ретінде барлық Java әзірлеушілеріне белгілі блокталмаған алгоритмдер және синхронды кезектер Java стандартты кітапханасынан. Әрине, Дийкстраның Дизайн сыйлығымен ортақ жадты есептеуге арналған синхрондау алгоритмдері және меншік Википедия беті. Өткен жылы Майкл біздің мектепте блокталмаған деректер құрылымдары туралы дәріс оқыды (1 бөлігі, 2 бөлігі). Биыл ол дейді қолдану арқылы бағдарламалау туралы тұрақты емес жады (NVM), бұл «тұрақты» кездейсоқ қол жеткізу жадымен (DRAM) салыстырғанда бағдарламаның күрделілігін және жадтың үстеме шығынын азайтады.
Кейдар барады (Идит Кейдар) - Technion профессоры және иесі Хирш индексі шамамен 40 (бұл өте, өте көп) үшін екі жүз ғылыми мақала үлестірілген есептеулер, көп ағынды және ақауларға төзімділік саласында. Эйдит мектебімізге алғаш рет қатысып отыр лекция оқу таратылған деректер қоймалары жұмысының негізгі аспектілері туралы: бөлінген жад эмуляциясы, консенсусты әзірлеу және конфигурация өзгерістері.
Родриго Родригес (Родриго Родригес) - Técnico профессоры, зертхана мүшесі INESC идентификаторы және автор зерттеу жұмысы бөлінген жүйелер саласында. Биылғы жылы біздің мектепте Родриго дейді таратылған деректер қоймаларындағы жүйелілік және оқшаулау туралы, сондай-ақ пайдалануды талдайды CAP теоремалары консистенциясы мен оқшаулануының бірнеше үлгілерінің тәжірибедегі орындылығы.
Чен Чинг (Цзин Чен) - Стони Бруктағы Нью-Йорк мемлекеттік университетінің профессоры, автор зерттеу жұмысы блокчейн саласында және жетекші ғалым Algorand — толығымен негізделген консенсус алгоритмін пайдаланатын компания және блокчейн платформасы Күмәні дәлелдеу. Биылғы жылы біздің мектепте Чен Algorand блокчейні және оның қызықты қасиеттеріне қол жеткізу жолдары туралы әңгімелейді: желілік есептеу ресурстарына талап етілмеуі, транзакциялар тарихын бөлудің мүмкін еместігі және блокчейнге қосылғаннан кейін транзакцияларды өңдеудің аяқталуына кепілдік беру.
Кристиан Кашин (Кристиан Качин) - Берн университетінің профессоры, деректерді қорғау саласындағы зерттеу тобының жетекшісі, кітаптың бірлескен авторы «Сенімді және қауіпсіз таратылған бағдарламалауға кіріспе”, блокчейн платформасының әзірлеушісі Гиперделдер мата (ол туралы тіпті болды Хабреге жариялау) және автор зерттеу жұмысы криптография және таратылған жүйелердегі қауіпсіздік саласында. Биылғы жылы мектебімізде христиан лекция оқу төрт бөлікте таратылған есептеулерге арналған криптографиялық құралдар туралы: симметриялық және асимметриялық криптография, сондай-ақ туралы ортақ кілт криптографиясы, псевдокездейсоқ сандар және тексерілетін кездейсоқ сандарды генерациялау.
Марко Вуколич (Марко Вуколич) - IBM Research зерттеушісі, автор жұмыс блокчейнде және Hyperledger Fabric әзірлеушісі. Біз Марконың осы жылы мектебімізде не туралы сөйлесетінін әлі білмейміз, бірақ оның блокчейн саласындағы соңғы жаңалықтары туралы білгіміз келеді: зерттеу өнімділіктің төмендеуі 100-ге дейінгі машиналар кластерлері бойынша таратылған консенсус хаттамалары, хабар тарату Мир хаттамасы жаһандық тәртіппен және Византиялық ақауларға төзімділік немесе блоксыз блокчейн StreamChainтранзакцияны өңдеу уақытын азайту.
Прасад Джаянти (Прасад Джаянти) - Дартмут колледжінің профессоры, элитаның бөлігі шырмауық лигасы, және автор зерттеу жұмысы көп ағынды алгоритмдер саласында. Биылғы жылы Прасад мектебімізде лекция оқу ағынды синхрондау және әртүрлі опцияларды іске асыру алгоритмдері туралы мутекс: тұрақты жад үлгілеріндегі үзу немесе қалпына келтіру функцияларымен және бөлек оқу және жазу операцияларымен.
Алексей Гоцман (Алексей Гоцман) - IMDEA профессоры және автор зерттеу жұмысы алгоритмдерді программалық тексеру саласында. Біз Алексей биылғы жылы мектебімізде қандай дәріс оқитынын әлі білмейміз, бірақ біз бағдарламалық жасақтаманы тексеру мен таратылған жүйелердің қиылысындағы тақырыпты асыға күтеміз.
Неліктен бұл конференция емес, мектеп?
Біріншіден, лекторлар академиялық форматта сөйлейді және әрбір үлкен дәрістің екі жұбын оқиды: «бір жарым сағат – үзіліс – тағы бір жарым сағат». Колледжді бітіргеннен кейін бір сағаттық конференциялар мен 10 минуттық YouTube бейнелерін әдетке айналдырғандықтан, бұл қиын болуы мүмкін. Жақсы лектор үш сағатты да қызықты етеді, бірақ әркім өз миының пластикасына жауапты.
Пайдалы кеңес: Мектептегі лекцияларды бейнежазбаға түсіруге машықтаныңыз 2017 жыл мен 2019 жыл. Қош бол, жұмыс – сәлем, Византия генералдары.
Екіншіден, лекторлар ғылыми зерттеулерге назар аударып, іргелі мәселелерге тоқталады бөлінген жүйелер мен параллельді есептеулер, сондай-ақ ғылымның алдыңғы қатарлы жаңалықтары. Егер сіздің мақсатыңыз бір нәрсені жылдам кодтау және оны мектептен кейінгі келесі күні қызу ізденіспен өндіріске енгізу болса, бұл да қиын болуы мүмкін.
Пайдалы кеңес: Мектеп оқытушыларының зерттеу жұмыстарын мына жерден іздеңіз Google Scholar и arXiv.org. Ғылыми еңбектерді оқығанды ұнататын болсаңыз, мектепті де ұнатасыз.
Үшіншіден, SPTDC 2020 мектебі конференция емес, өйткені таратылған жүйелер және параллельді есептеулер конференциясы Гидра 2020. Жақында Хабреде бір жазба болды бағдарламасына шолу жасау. Өткен жылы SPTDC және Hydra бір уақытта және бір сайтта өтті. Биылғы жылы олар күндер бойынша бір-біріне сәйкес келмейді, сондықтан олар сіздің уақытыңыз бен назарыңыз үшін бір-бірімен бәсекелеспейді.
Пайдалы кеңес: Hydra конференциясының бағдарламасын қарап шығыңыз және мектептен кейін конференцияға қатысуды қарастырыңыз. Бұл жақсы апта болады.
Мектепке қалай жетуге болады?
- Күнтізбеге 6 жылғы 9 шілдеден 2020 шілдеге дейінгі күндерді жазыңыз (немесе жақсырақ, мектептен кейін Гидра конференциясына бару үшін 11 шілдеге дейін).
- Жүрек жинаңыз, дайындалыңыз.
- Билеттерді таңдаңыз және мектепке барыңыз.
Ақпарат көзі: www.habr.com