bu Lesli Lemport - taqsimlangan hisoblashda fundamental ishlarning muallifi va siz uni so'zdagi La harflari orqali ham bilishingiz mumkin. LaTeX - "Lamport TeX". Aynan u birinchi marta 1979 yilda kontseptsiyani kiritgan izchil izchillik, va uning maqolasi "Ko'p jarayonli dasturlarni to'g'ri bajaradigan ko'p protsessorli kompyuterni qanday qilish kerak" Dijkstra mukofotiga sazovor bo'ldi (aniqrog'i, 2000 yilda mukofot eskicha nomlandi: "PODC Influential Paper Award"). U haqida bor Vikipediya maqolasi, bu erda siz qiziqarli havolalarni olishingiz mumkin. Agar siz sodir bo'ladigan muammolarni hal qilishdan xursand bo'lsangiz - oldin yoki Vizantiya generallarining muammolari (BFT), ular hammasining ortida Lamport turganini tushunishlari kerak.

Va u tez orada 11-12 iyul kunlari Sankt-Peterburgda bo'lib o'tadigan taqsimlangan hisoblash bo'yicha yangi konferentsiyamiz - Hydraga keladi. Keling, bu qanday hayvon ekanligini ko'rib chiqaylik.

Hydra2019

Multithreading kabi mavzular bizning konferentsiyalarimizdagi eng dolzarb mavzulardan biri bo'lib, har doim bo'lib kelgan. Bu zal hozirgina bo'sh edi, lekin keyin sahnada xotira modeli haqida gapiradigan odam paydo bo'ladi, sodir bo'ladi - oldin yoki ko'p tarmoqli axlat yig'ish va - bum! - mingdan kam odam o'tirib, diqqat bilan tinglash uchun barcha bo'sh joyni egallaydi. Bu muvaffaqiyatning mohiyati nimada? Ehtimol, hammamizning qo'limizda taqsimlangan hisoblashni tashkil etishga qodir bo'lgan qandaydir apparat bordir? Yoki biz ongsiz ravishda uni haqiqiy qiymatida yuklay olmasligimizni tushunamizmi? Bitta Sankt-Peterburg kvantining (ya'ni, moliyaviy miqdoriy tahlilchi va ishlab chiquvchi) haqiqiy hikoyasi bor, u o'z qo'lida hisoblash klasteri bilan tugadi, uning to'liq quvvati faqat u tomonidan ishlatilishi mumkin. Va agar siz o'z vazifalaringizni hozirgidan ko'p marta kattaroq imkoniyatlarga ega bo'lsangiz, nima qilgan bo'lardingiz?

Ushbu mashhurlik tufayli ishlash va samarali hisoblash mavzusi konferentsiya dasturi bo'ylab tarqaladi. Ishlash haqida ikki kunlik hisobotlarning nechtasi - uchdan biri, uchdan ikkisi haqida ma'lumot berish mumkin? Ba'zi joylarda bu o'sishni cheklaydigan sun'iy cheklovlar mavjud: ishlashga qo'shimcha ravishda, yangi veb-ramkalar, qandaydir devoplar yoki arxitektura astronavtikasi uchun joy bo'lishi kerak. Yo'q, ijro, siz hammamizni butunlay yemaysiz!

Yoki siz teskari yo'ldan borishingiz, taslim bo'lishingiz va halollik bilan to'liq taqsimlangan hisoblash haqida va faqat ular haqida bo'ladigan konferentsiya o'tkazishingiz mumkin. Mana, Gidra.

Keling, halol tan olaylik, bugungi kunda barcha kompyuterlar u yoki bu tarzda taqsimlangan. Ko'p yadroli mashina bo'ladimi, hisoblash klasteri yoki keng ko'lamli taqsimlangan xizmat bo'ladimi, hamma joyda bir-biri bilan sinxronlash, parallel ravishda mustaqil hisob-kitoblarni amalga oshiradigan ko'plab jarayonlar mavjud. Nazariy jihatdan qanday ishlaydi va amalda qanday ishlaydi Hydra diqqat markazida bo'ladi.

Konferentsiya dasturi

Hozirda dastur ishlab chiqilmoqda. Unda taqsimlangan tizimlar nazariyasi asoschilari va ishlab chiqarishda ular bilan ishlaydigan muhandislarning hisobotlari bo'lishi kerak.

Misol uchun, biz allaqachon Microsoft Research kompaniyasidan Lesli Lemport va Braun universitetidan Maurice Herlihyning ishtiroki haqida bilamiz.

Maurice Herlihy - kompyuter fanining juda mashhur va hurmatli professori, u haqida ham hikoya bor Vikipediya sahifasi, u erda siz havolalar va ishlarni ko'rib chiqishingiz mumkin. U erda siz ikkita Dijkstra mukofotini ko'rishingiz mumkin, ular ustida ishlash uchun birinchi "Kutishsiz sinxronizatsiya", ikkinchisi esa yaqinroq - "Tranzaksiya xotirasi: blokirovkasiz ma'lumotlar tuzilmalari uchun arxitektura yordami". Aytgancha, havolalar hatto SciHub-ga ham olib kelmaydi, balki Braun universiteti va Virjiniya texnologiya universitetiga, siz ochishingiz va o'qishingiz mumkin.

Maurice "Tarqatilgan hisoblash nuqtai nazaridan blokcheynlar" deb nomlangan asosiy ma'ruzani o'tkazmoqchi. Agar qiziqsangiz, Sankt-Peterburg JUG dan Morisning hisoboti yozilgan yozuvni ko'rishingiz mumkin. U mavzuni qanchalik aniq va tushunarli etkazayotganini baholang.

"Dual Data Structures" deb nomlangan ikkinchi asosiy ma'ruza o'qiladi Maykl Skott Rochester universitetidan. Va taxmin qiling - uning ham o'ziga xosligi bor Vikipediya sahifasi. Viskonsindagi uyda u Viskonsin-Madison universitetida dekani sifatida ishi bilan tanilgan va dunyoda u Dug Li bilan birgalikda Java kutubxonalari ishlaydigan bloklanmaydigan algoritmlar va sinxron navbatlarni ishlab chiqqan odamdir. . U Dijkstra mukofotini Herlixidan uch yil o'tib, "Umumiy xotirali multiprotsessorlarda kengaytiriladigan sinxronizatsiya algoritmlari" ishi uchun oldi (kutilganidek, u ochiq yotadi Rochester universitetining onlayn kutubxonasida).

Iyul oyining o'rtalariga qadar hali ko'p vaqt bor. Dasturni takomillashtirish va iyul oyi yaqinlashganda, biz sizga boshqa ma'ruzachilar va ularning mavzulari haqida aytib beramiz.

Umuman olganda, savol tug'iladi - nega biz yozda Hydra qilamiz? Axir, bu dam olish mavsumi, bayramlar. Muammo shundaki, ma’ruzachilar orasida universitet professorlari ham bor va boshqa vaqt ular uchun band. Boshqa sanalarni tanlay olmadik.

Munozara zonalari

Boshqa konferentsiyalarda ma'ruzachi kerakli narsani o'qib chiqdi va darhol chiqib ketdi. Ishtirokchilar buni izlashga ham vaqtlari yo'q - axir, keyingi hisobot deyarli bo'sh joysiz boshlanadi. Ayniqsa, Lamport, Xerlixi va Skott kabi muhim odamlar hozir bo'lsa va siz konferentsiyaga faqat ular bilan uchrashish va biror narsa haqida gaplashish uchun borganingizda, bu juda og'riyapti.

Biz bu muammoni hal qildik. Ma'ruzachi ma'ruza qilgandan so'ng darhol markerli doska bilan jihozlangan maxsus muhokama maydoniga boradi va sizda juda ko'p vaqt bor. Rasmiy ravishda, ma'ruzachi hech bo'lmaganda hisobotlar orasidagi tanaffus paytida u erda bo'lishni va'da qiladi. Aslida, bu munozaralar sohalari mumkin soatlab cho'zish (ma'ruzachining xohishi va chidamliligiga qarab).

Lemportga kelsak, agar men to'g'ri tushunsam, u imkon qadar ko'proq odamlarni bunga ishontirmoqchi TLA+ - bu yaxshi narsa. (Vikipediyadagi TLA+ haqidagi maqola). Ehtimol, bu muhandislar uchun yangi va foydali narsalarni o'rganish uchun yaxshi imkoniyat bo'ladi. Lesli bu variantni taklif qiladi - kim qiziqsa, uning oldingi ma'ruzalarini tomosha qilishi va savollari bilan kelishi mumkin. Ya'ni, asosiy ma'ruza o'rniga, go'yo ixtisoslashgan savol-javob sessiyasi, keyin esa boshqa muhokama zonasi bo'lishi mumkin. Men Google'da biroz qidirdim va ajoyibini topdim TLA+ kursi (rasmiy dublyaj youtubedagi pleylist) va bir soatlik ma'ruza "Koddan yuqori fikrlash" Microsoft fakulteti sammiti bilan.

Agar siz bu odamlarning barchasini Vikipediyadagi granit va kitob muqovalarida yozilgan ismlar deb bilsangiz, ular bilan jonli tanishish vaqti keldi! Ilmiy maqolalar sahifalari javob bermaydigan savollar bilan suhbatlashing, lekin ularning mualliflari aloqa qilishdan xursand bo'lishadi.

Hujjatlarni chaqirish

Hech kimga sir emaski, hozir maqolani o'qiyotganlarning ko'pchiligi qiziqarli narsalarni o'zlari aytishga qarshi emaslar. Muhandislik nuqtai nazaridan, ilmiy nuqtai nazardan, har qanday nuqtai nazardan. Tarqalgan hisoblash juda keng va chuqur mavzu bo'lib, bu erda hamma uchun joy bor.

Agar siz Lamport bilan birga o'ynashni istasangiz, bu butunlay mumkin. Spiker bo'lish uchun sizga kerak havolani kuzatib boring, u erda hamma narsani diqqat bilan o'qing va ko'rsatmalarga muvofiq bajaring.

Tinchlaning, jarayonga ulanishingiz bilanoq sizga yordam berishadi. Dastur qo'mitasi hisobotning o'zi, uning mohiyati va dizayni bilan yordam berish uchun etarli resurslarga ega. Koordinator sizga tashkiliy masalalarni hal qilishda yordam beradi va hokazo.

Xurmo bilan rasmga alohida e'tibor bering. Iyul - ishtirokchi uchun juda uzoq sana va ma'ruzachi hoziroq harakat qilishni boshlashi kerak.

SPTDC maktabi

Konferentsiya SPTDC maktabi bilan bir joyda o'tkaziladi, shuning uchun maktabga chipta sotib olgan har bir kishi uchun konferentsiya chiptalari - 20% chegirma bilan.

Taqsimlangan hisoblash amaliyoti va nazariyasi bo'yicha yozgi maktab (SPTDS) - tegishli sohada taniqli mutaxassislar tomonidan o'qitiladigan taqsimlangan tizimlarning amaliy va nazariy jihatlari bo'yicha keng doiradagi kurslarni ta'minlovchi maktab.

Maktab ingliz tilida o'tkaziladi, shuning uchun bu erda o'tilgan mavzular ro'yxati:

• Bir vaqtning o'zida ma'lumotlar tuzilmalari: to'g'rilik va samaradorlik;
• O'zgaruvchan xotira uchun algoritmlar;
• Taqsimlangan hisoblash qobiliyati;
• taqsimlangan mashinalarni o'rganish;
• Shtat-mashina replikatsiyasi va Paxos;
• Vizantiya xatolariga chidamliligi;
• Blokcheynlarning algoritmik asoslari.

Quyidagi ma’ruzachilar so‘zga chiqadilar:

• Lesli Lamport (Microsoft);
• Maurice Herlihy (Braun universiteti);
• Maykl Skott (Rochester universiteti);
• Dan Alistarh (IST Avstriya);
• Trevor Braun (Voterlo universiteti);
• Eli Gafni (UCLA);
• Denni Xendler (Ben Gurion universiteti);
• Achour Mostefaoui (Nant universiteti).

pleylist oldingi maktab hisobotlari bilan YouTube-da bepul ko'rish mumkin:

Keyingi qadamlar

Konferensiya dasturi hali ham shakllantirilmoqda. Habré yoki ijtimoiy tarmoqlarda yangiliklarni kuzatib boring (fb, vk, twitter).

Agar siz haqiqatan ham konferentsiyaga ishonsangiz (yoki maxsus boshlang'ich narxdan foydalanmoqchi bo'lsangiz, ular aytganidek, "Erta qush") - saytga kirishingiz va chiptalarni sotib olish.

Hydrada ko'rishguncha!

Manba: www.habr.com