Nazariya, siz hamma narsani bilasiz, lekin hech narsa ishlamaydi.
Amaliyot - bu hamma narsa ishlaydi, lekin nima uchun hech kim bilmaydi.
Tarqalgan tizimlarda, nazariya va amaliyot birlashtirilgan:
hech narsa ishlamaydi va nima uchun hech kim bilmaydi.
Epigrafdagi hazil mutlaqo ahmoqlik ekanligini isbotlash uchun biz uchinchi marta SPTDC (tarqatilgan hisoblash amaliyoti va nazariyasi maktabi) o'tkazmoqdamiz. Biz allaqachon maktab tarixi, uning hammuassislari Pyotr Kuznetsov va Vitaliy Aksyonovlar, shuningdek, JUG Ru Groupning SPTDCni tashkil etishdagi ishtiroki haqida gaplashdik. dedi Habré-da. Shuning uchun bugun biz 2020-yildagi maktab haqida, ma'ruzalar va ma'ruzachilar haqida, shuningdek, maktab va konferentsiya o'rtasidagi farqlar haqida gapiramiz.
SPTDC maktabi 6 yil 9 iyuldan 2020 iyulgacha Moskva shahrida bo'lib o'tadi.
Barcha ma'ruzalar ingliz tilida bo'ladi. Ma'ruzalarning asosiy mavzulari: doimiy bir vaqtda hisoblash, taqsimlangan tizimlar uchun kriptografik vositalar, konsensus protokollarini tekshirishning rasmiy usullari, keng ko'lamli tizimlarda izchillik, taqsimlangan mashinalarni o'rganish.
Rasmdagi qahramonlar qanday harbiy unvonga ega ekanligini darhol taxmin qildingizmi? Men sizni sidqidildsan yaxshi ko'raman.
Ma'ruzachilar va ma'ruzalar
Nir Shavit (Nir Shavit) - MIT va Tel-Aviv universiteti professori, ajoyib kitobning hammuallifi Ko'p protsessorli dasturlash san'ati, egasi Dijkstra mukofoti ishlab chiqish va amalga oshirish uchun dasturiy ta'minot tranzaksiya xotirasi (STM) va Gödel mukofoti umumiy xotirali hisoblashni modellashtirishda algebraik topologiyani qo‘llash bo‘yicha qilgan ishlari uchun kompaniya hammuassisi Neyron sehri, bu oddiy protsessorlar uchun tez mashinani o'rganish algoritmlarini yaratadi va, albatta, o'ziga xos xususiyatlarga ega. Vikipediya sahifalari dag'al va dahshatli fotosurat bilan. Nir allaqachon 2017 yilda maktabimizda qatnashgan va u erda blokirovka qilish usullari haqida to'liq ma'lumot bergan (1-qism, 2-qism). Biz Nirning bu yil nima haqida gaplashishini hali bilmaymiz, ammo ilm-fanning birinchi qatoridan yangiliklarga umid qilamiz.
Maykl Skott (Maykl Skott) - tadqiqotchi Rochester universiteti, barcha Java dasturchilariga yaratuvchisi sifatida tanilgan bloklanmaydigan algoritmlar va sinxron navbatlar Java standart kutubxonasidan. Albatta, rivojlanish uchun Dijkstra mukofoti bilan umumiy xotira hisoblash uchun sinxronizatsiya algoritmlari va egasi Vikipediya sahifasi. O'tgan yili Maykl bizning maktabimizda bloklanmaydigan ma'lumotlar tuzilmalari haqida ma'ruza o'qidi (1-qism, 2-qism). Bu yil u aytaman yordamida dasturlash haqida doimiy xotira (NVM), bu "oddiy" tasodifiy kirish xotirasi (DRAM) bilan solishtirganda dasturning murakkabligi va xotira yukini kamaytiradi.
Keidar ketadi (Idit Keydar) - Technion professori va egasi Hirsh indeksi taxminan 40 (bu juda, juda muhim) uchun ikki yuzta ilmiy maqola taqsimlangan hisoblash, multithreading va xatolarga chidamlilik sohasida. Idit bizning maktabimizda birinchi marta qatnashadi, u erda ma’ruza o‘qiydi taqsimlangan ma'lumotlarni saqlash ishining asosiy jihatlari haqida: taqsimlangan xotira emulyatsiyasi, konsensusni ishlab chiqish va konfiguratsiya o'zgarishlari.
Rodrigo Rodriges (Rodrigo Rodrigues) - Técnico professori, laboratoriya a'zosi INESC-ID va muallif tadqiqot ishi taqsimlangan tizimlar sohasida. Bu yil Rodrigo maktabimizda aytaman taqsimlangan ma'lumotlar do'konlarida izchillik va izolyatsiya haqida, shuningdek, foydalanish tahlil qiladi CAP teoremalari izchillik va izolyatsiyaning bir nechta modellarini amaliyotda amalga oshirish imkoniyati.
Chen Jing (Jing Chen) - Stoni Brukdagi Nyu-York shtat universiteti professori, muallif tadqiqot ishi blokcheyn sohasida va yetakchi olim Algorand - butunlay asoslangan konsensus algoritmini ishlatadigan kompaniya va blokcheyn platformasi Miqdori tasdiqlaydi. Bu yil bizning maktabimizda Chen Algorand blokcheyni va uning qiziqarli xususiyatlariga erishish yo'llari haqida gapiradi: tarmoq hisoblash resurslariga past talablar, tranzaktsiyalar tarixini bo'lishning mumkin emasligi va blokcheynga qo'shilgandan so'ng tranzaktsiyalarni qayta ishlashni yakunlash kafolati.
Kristian Keshin (Kristian Cachin) - Bern universiteti professori, ma'lumotlarni himoya qilish sohasidagi tadqiqot guruhini boshqaradi, kitobning hammuallifi.Ishonchli va xavfsiz taqsimlangan dasturlashga kirish", blockchain platformasi ishlab chiqaruvchisi Giperledger mato (hatto u haqida gap bor edi Habré-da nashr) va muallif tadqiqot ishi kriptografiya va taqsimlangan tizimlarda xavfsizlik sohasida. Bu yil bizning maktabimizda xristian ma’ruza o‘qiydi tarqatilgan hisoblash uchun kriptografik vositalar bo'yicha to'rt qismli seriya: simmetrik va assimetrik kriptografiya, shuningdek umumiy kalit kriptografiyasi, psevdor tasodifiy raqamlar va tekshiriladigan tasodifiy sonlarni yaratish.
Marko Vukolich (Marko Vukolic) - IBM Research tadqiqotchisi, muallif asarlari blokcheyn va Hyperledger Fabric ishlab chiqaruvchisi. Biz Marko bu yil maktabimizda nima haqida gaplashishini hali bilmaymiz, ammo umid qilamizki, biz uning blokcheyn sohasidagi eng yangi ishlanmalari haqida bilib olamiz: tadqiqot ishlashning pasayishi 100 tagacha mashinalar klasterlari bo'yicha taqsimlangan konsensus protokollari, translyatsiya Mir protokoli global tartib bilan va Vizantiya xatolariga chidamlilik yoki bloksiz blokcheyn StreamChain, tranzaksiyani qayta ishlash vaqtini minimallashtirish.
Prasad Jayanti (Prasad Jayanti) Dartmut kollejining professori, elitalardan biri Ayvi ligasi, va muallif tadqiqot ishi ko'p bosqichli algoritmlar sohasida. Bu yil Prasad maktabimizda ma’ruza o‘qiydi iplarni sinxronlashtirish va turli xil variantlarni amalga oshirish algoritmlari haqida mutex: O'zgaruvchan xotira modellarida uzilish yoki tiklash funktsiyalari, shuningdek, alohida o'qish va yozish operatsiyalari bilan.
Aleksey Gotsman (Aleksey Gotsman) - IMDEA professori va muallif tadqiqot ishi algoritmlarni dasturiy tekshirish sohasida. Biz Aleksey bu yil maktabimizda nima haqida ma'ruza qilishini hali bilmaymiz, lekin biz dasturiy ta'minotni tekshirish va tarqatilgan tizimlar chorrahasida mavzuga umid qilamiz.
Nega bu konferentsiya emas, maktab?
Birinchidan, o'qituvchilar akademik formatda nutq so'zlashadi va har bir katta ma'ruza ikkita juftlikdan iborat: "Bir yarim soat - tanaffus - yana bir yarim soat." Universitetdan ko'p yillar o'tib, bir soatlik konferentsiya taqdimotlari va 10 daqiqalik YouTube videolari odatiga ko'ra, bu qiyin bo'lishi mumkin. Yaxshi o'qituvchi butun uch soatni qiziqarli qiladi, lekin har bir kishi o'z miyasining plastikligi uchun javobgardir.
Foydali maslahat: maktab ma'ruzalarini video yozuvlar ustida mashq qiling 2017 yil va 2019 yil. Xayr ish - salom Vizantiya generallari.
Ikkinchidan, ma'ruzachilar asosiy e'tiborni ilmiy tadqiqotlarga qaratadilar va fundamental tamoyillar haqida gapiradilar taqsimlangan tizimlar va parallel hisoblashlar, shuningdek, ilm-fanning eng yangi yangiliklari. Agar sizning maqsadingiz tezda biror narsani dasturlash va uni maktabdan keyingi kun ishlab chiqarishga qo'llash bo'lsa, bu ham qiyin bo'lishi mumkin.
Foydali maslahat: maktab o'qituvchilarining ilmiy maqolalarini qidiring Google Scholar и arXiv.org. Agar siz ilmiy maqolalarni o'qishni yoqtirsangiz, sizga maktab ham yoqadi.
Uchinchidan, SPTDC 2020 konferentsiya emas, chunki taqsimlangan tizimlar va parallel hisoblashlar bo'yicha konferentsiya Hydra2020. Yaqinda Habré bilan bir post bor edi uning dasturi haqida umumiy ma'lumot. O'tgan yili SPTDC va Hydra bir vaqtning o'zida va bir joyda bo'lib o'tdi. Bu yil ular sanalarda bir-biriga mos kelmaydi, shuning uchun ular sizning vaqtingiz va e'tiboringiz uchun bir-biri bilan raqobatlashmaydi.
Foydali maslahat: Hydra konferentsiya dasturini ko'rib chiqing va maktabdan keyin boshqa konferentsiyada qatnashishni o'ylab ko'ring. Bu yaxshi hafta bo'ladi.
Maktabga qanday borish mumkin?
- Taqvimingizga 6-yil 9-iyuldan 2020-iyulgacha boʻlgan sanalarni yozing (yaxshisi, 11-iyul, maktabdan keyin Hydra konferentsiyasiga borishingiz mumkin).
- Yurak oling, tayyorlaning.
- Chiptalarni tanlang va maktabga boring.
Manba: www.habr.com