осы Лесли Лэмпорт - үлестірілген есептеулердегі іргелі еңбектердің авторы және оны сөздегі Ла әріптері арқылы да білуге ​​болады. LaTeX - «Lamport TeX». Ол алғаш рет 1979 жылы тұжырымдаманы енгізді тұрақты консистенциясы, және оның мақаласы «Көп процесті бағдарламаларды дұрыс орындайтын мультипроцессорлы компьютерді қалай жасауға болады» Dijkstra сыйлығын алды (дәлірек айтсақ, 2000 жылы сыйлық бұрынғыша аталды: «PODC Influential Paper Award»). Ол туралы бар Википедиядағы мақала, онда сіз бірнеше қызықты сілтемелерді ала аласыз. Егер сіз болып жатқан мәселелерге қатысты мәселелерді шешуге қуанышты болсаңыз - бұрын немесе Византия генералдарының мәселелері (BFT), олар мұның артында Лэмпорт тұрғанын түсінуі керек.

Жақында ол 11-12 шілдеде Санкт-Петерборда өтетін Hydra - таратылған есептеулер бойынша жаңа конференциямызға келеді. Оның қандай жануар екенін көрейік.

Гидра 2019

Көп ағындық сияқты тақырыптар біздің конференциялардағы ең өзекті тақырыптардың бірі болып табылады, әрқашан болды. Бұл зал жай ғана қаңырап бос қалды, бірақ содан кейін сахнаға жад үлгісі туралы әңгімелейтін адам шығады, бұрын немесе көп ағынды қоқыс жинау және - бум! - мыңға жетпеген адам отырып, мұқият тыңдау үшін барлық бос орындарды алып жатыр. Бұл жетістіктің мәні неде? Мүмкін, бәріміздің қолымызда таратылған есептеулерді ұйымдастыруға қабілетті қандай да бір аппараттық құрал бар шығар? Әлде біз оны шынайы құны бойынша жүктей алмайтынымызды санадан тыс түсінеміз бе? Бір Петербург кванты (яғни қаржылық сандық талдаушы және әзірлеуші) туралы нақты оқиға бар, ол қолында есептеу кластерімен аяқталды, оның толық қуатын тек өзі ғана пайдалана алады. Ал егер сіз өз міндеттеріңізді қазіргіден бірнеше есе жоғары мүмкіндіктермен орындасаңыз, не істер едіңіз?

Осы танымалдылыққа байланысты өнімділік және тиімді есептеу тақырыбы конференция бағдарламасына таралады. Орындау туралы екі күндік есептердің нешеуін жасауға болады – үштен бірі, үштен екісі? Кейбір жерлерде бұл өсуді шектейтін жасанды шектеулер бар: өнімділікке қосымша, жаңа веб-фремворктерге, қандай да бір devops немесе архитектуралық астронавтикаға арналған орын әлі де болуы керек. Жоқ, өнімділік, сіз бәрімізді жемейсіз!

Немесе сіз қарама-қарсы жолмен жүре аласыз, бас тарта аласыз және толығымен таратылған есептеулер туралы және тек олар туралы болатын конференцияны адал жасай аласыз. Міне, Гидра.

Шынын айтсақ, бүгінгі күні барлық есептеулер бір жолмен немесе басқа түрде таратылады. Ол көп ядролы машина болсын, есептеу кластері болсын немесе кең ауқымды таратылған қызмет болсын, барлық жерде бір-бірімен синхрондау арқылы параллельді тәуелсіз есептеулерді орындайтын көптеген процестер бар. Оның теорияда қалай жұмыс істейтіні және іс жүзінде қалай жұмыс істейтіні Гидраның басты назарында болады.

Конференция бағдарламасы

Бағдарлама қазір әзірленуде. Ол үлестірілген жүйелер теорияларының негізін қалаушылардың және олармен өндірісте жұмыс істейтін инженерлердің есептерін қамтуы керек.

Мысалы, біз Microsoft Research компаниясынан Лесли Лэмпорт пен Браун университетінен Морис Херлихидің қатысуы туралы білеміз.

Морис Херлихи - өте танымал және құрметті информатика профессоры, ол туралы әңгіме де бар Википедия парағы, онда сілтемелер мен жұмыстар арқылы өтуге болады. Онда сіз жұмыс үшін бірінші болып екі Dijkstra марапатын байқай аласыз «Күтусіз синхрондау», ал екіншісі, соңғысы - «Транзакциялық жад: құлыпсыз деректер құрылымдарын архитектуралық қолдау». Айтпақшы, сілтемелер тіпті SciHub-қа апармайды, бірақ Браун университеті мен Вирджиния Технологиялық университетіне, сіз ашып оқи аласыз.

Морис «Блокчейндер таратылған есептеулер тұрғысынан» атты негізгі баяндаманы өткізбекші. Қызығушылық танытса, Мористің Санкт-Петербордағы ДЖЖ-дан жасаған баяндамасының жазбасын қарауға болады. Тақырыпты қаншалықты анық және түсінікті жеткізгенін бағалаңыз.

«Қос деректер құрылымдары» деп аталатын екінші негізгі баяндама оқылады Майкл Скотт Рочестер университетінен. Оның да өзi бар Википедия беті. Висконсиндегі үйде ол Висконсин-Мэдисон университетінде декан ретіндегі жұмысымен танымал және әлемде ол Дуг Лимен бірге Java кітапханалары жұмыс істейтін блоктамайтын алгоритмдер мен синхронды кезектерді жасаған адам. . Ол өзінің Дийкстра сыйлығын Херлихиден үш жылдан кейін «Ортақ жадты мультипроцессорларда масштабталатын синхрондау алгоритмдері» жұмысы үшін алды (күткендей, ол ашық жатыр Рочестер университетінің онлайн кітапханасында).

Шілденің ортасына дейін әлі көп уақыт бар. Басқа спикерлер мен олардың тақырыптары туралы бағдарлама нақтыланып, шілде айына жақындаған сайын айтамыз.

Жалпы, сұрақ туындайды - неге біз Гидраны жазда жасаймыз? Өйткені, бұл демалыс маусымы, мерекелер. Мәселе мынада, спикерлердің арасында университет оқытушылары бар, олар үшін басқа уақыт бос емес. Басқа күндерді таңдай алмадық.

Талқылау аймақтары

Басқа конференцияларда баяндамашы қажет нәрсені оқып, бірден кетіп қалады. Қатысушылар оны іздеуге де уақыттары жоқ - ақыр соңында, келесі есеп үзіліссіз басталады. Бұл қатты ауырады, әсіресе Лэмпорт, Херлихи және Скотт сияқты маңызды адамдар болған кезде және сіз конференцияға олармен кездесіп, бір нәрсе туралы сөйлесу үшін барасыз.

Біз бұл мәселені шештік. Баяндама аяқталғаннан кейін спикер кем дегенде маркері бар тақтамен жабдықталған арнайы талқылау аймағына барады және сізде көп уақыт бар. Ресми түрде спикер ең болмағанда баяндамалар арасындағы үзіліс кезінде сонда болуға уәде береді. Іс жүзінде бұл талқылау аймақтары мүмкін бірнеше сағат бойы созылу (сөйлеушінің қалауы мен төзімділігіне байланысты).

Лэмпортқа келетін болсақ, егер мен дұрыс түсінсем, ол мүмкіндігінше көп адамды сендіргісі келеді TLA+ - бұл жақсы нәрсе. (Википедиядағы TLA+ туралы мақала). Мүмкін бұл инженерлер үшін жаңа және пайдалы нәрсені үйренуге жақсы мүмкіндік болар. Лесли бұл опцияны ұсынады - кім қызығушылық танытса, оның өткен дәрістерін қарап, сұрақтарымен келе алады. Яғни, негізгі баяндаманың орнына мамандандырылған сұрақ-жауап сессиясы, содан кейін басқа талқылау аймағы болуы мүмкін. Мен Google-ді біраз іздедім және керемет таптым TLA+ курсы (ресми дубляж youtube сайтындағы ойнату тізімі) және сағаттық лекция «Коднан жоғары ойлау» Microsoft Faculty Summitімен.

Егер сіз осы адамдардың барлығын Уикипедиядағы және кітап мұқабасындағы гранитке құйылған есімдер деп ойласаңыз, олармен тікелей эфирде кездесетін уақыт келді! Сөйлесіңіз және ғылыми мақалалардың беттері жауап бермейтін сұрақтар қойыңыз, бірақ олардың авторлары хабарласуға қуанышты болады.

Қағаздарды шақыру

Жасыратыны жоқ, қазір мақаланы оқып жатқандардың көпшілігі қызықты нәрселерді өздері айтудан бас тартпайды. Инженерлік тұрғыдан, ғылыми тұрғыдан, кез келген көзқараспен. Бөлінген есептеулер өте кең және терең тақырып, мұнда әркім үшін орын бар.

Егер сіз Лэмпортпен бірге ойнағыңыз келсе, бұл мүлдем мүмкін. Спикер болу үшін сізге қажет сілтемені орындаңыз, онда барлығын мұқият оқып шығыңыз және нұсқауларға сәйкес орындаңыз.

Сабырлы болыңыз, процеске қосыла салысымен сізге көмек көрсетіледі. Бағдарлама комитетінде есептің өзіне, оның мәні мен дизайнына көмектесу үшін жеткілікті ресурстар бар. Үйлестіруші сізге ұйымдастыру мәселелерін шешуге көмектеседі және т.б.

Күндері бар суретке ерекше назар аударыңыз. Шілде - қатысушы үшін өте алыс күн, сондықтан спикер қазір әрекет етуді бастауы керек.

SPTDC мектебі

Конференция SPTDC мектебімен бір сайтта өтеді, сондықтан мектепке билетті, конференция билеттерін сатып алған әрбір адам үшін - 20% жеңілдікпен.

Таратылған есептеулердің тәжірибесі мен теориясы бойынша жазғы мектеп (SPTDС) - бөлінген жүйелердің практикалық және теориялық аспектілері бойынша кең ауқымды курстарды ұсынатын мектеп, оларды тиісті саладағы танымал сарапшылар оқытады.

Мектеп ағылшын тілінде өтеді, сондықтан қарастырылатын тақырыптардың тізімі:

• Бір мезгілде деректер құрылымдары: дұрыстығы мен тиімділігі;
• Тұрақты жадының алгоритмдері;
• Бөлінген есептеу мүмкіндігі;
• бөлінген машиналық оқыту;
• Күй-машиналық репликация және Paxos;
• Византиялық ақауларға төзімділік;
• Блокчейндердің алгоритмдік негіздері.

Келесі спикерлер сөз сөйлейді:

• Лесли Лэмпорт (Microsoft);
• Морис Херлихи (Браун университеті);
• Майкл Скотт (Рочестер университеті);
• Дан Алистарх (IST Австрия);
• Тревор Браун (Ватерлоо университеті);
• Эли Гафни (UCLA);
• Дэнни Хендлер (Бен Гурион университеті);
• Acour Mostefaoui (Нант университеті).

Ойнату тізімі алдыңғы мектептің есептерімен YouTube сайтында еркін көруге болады:

Келесі қадамдар

Конференция бағдарламасы әлі де қалыптасуда. Хабреде немесе әлеуметтік желілерде жаңалықтарды бақылаңыз (fb, vk, Twitter).

Егер сіз конференцияға шынымен сенсеңіз (немесе арнайы бастапқы бағаны пайдаланғыңыз келсе, олар айтқандай, «Ерте құс») - сайтқа кіріп, билеттерді сатып алу.

Гидрада кездескенше!

Ақпарат көзі: www.habr.com