Nəzəriyyə odur ki, hər şeyi bilirsən, amma heç nə işləmir.
Təcrübə hər şeyin işlədiyi zamandır, amma heç kim niyə bilmir.
Paylanmış sistemlərdə, nəzəriyyə və təcrübə birləşdirilir:
heç bir şey işləmir və heç kim niyə bilmir.
Epiqrafdakı zarafatın mütləq axmaqlıq olduğunu sübut etmək üçün üçüncü dəfədir ki, SPTDC (paylanmış hesablamanın praktika və nəzəriyyəsi üzrə məktəb) keçiririk. Biz artıq məktəbin tarixini, onun həmtəsisçiləri Pyotr Kuznetsov və Vitali Aksyonovu, həmçinin JUG Ru Group-un SPTDC-nin təşkilində iştirakını müzakirə etdik. deyə danışdı Habré haqqında. Buna görə də bu gün biz 2020-ci ildə məktəb haqqında, mühazirə və mühazirəçilər, eləcə də məktəblə konfrans arasındakı fərqlər haqqında danışırıq.
SPTDC məktəbi 6-ci il iyulun 9-dan iyulun 2020-dək Moskvada keçiriləcək.
Bütün mühazirələr ingilis dilində olacaq. Mühazirələrin əsas mövzuları: davamlı paralel hesablamalar, paylanmış sistemlər üçün kriptoqrafik alətlər, konsensus protokollarının yoxlanılması üçün formal üsullar, irimiqyaslı sistemlərdə ardıcıllıq, paylanmış maşın öyrənməsi.
Şəkildəki personajların hansı hərbi rütbədə olduğunu dərhal təxmin etdinizmi? Mən sənə pərəstiş edirəm.
Mühazirəçilər və mühazirəçilər
Nir Şavit (Nir Şavit) - MIT və Tel-Əviv Universitetinin professoru, böyük kitabın həmmüəllifi Çoxprosessorlu proqramlaşdırma sənəti, sahibi Dijkstra Mükafatları inkişafı və həyata keçirilməsi üçün proqram əməliyyat yaddaşı (STM) və Gödel mükafatı ortaq yaddaş hesablamalarının modelləşdirilməsinə cəbri topologiyanın tətbiqi üzrə işinə görə, şirkətin həmtəsisçisi Sinir sehri, adi CPU-lar üçün sürətli maşın öyrənmə alqoritmləri yaradan və təbii ki, öz Vikipediya səhifələri cəsarətli və qızmar fotoşəkil ilə. Nir artıq 2017-ci ildə məktəbimizdə iştirak etdi və burada bloklama üsulları haqqında geniş məlumat verdi (1 hissəsi, 2 hissəsi). Nir-in bu il nədən danışacağını hələ bilmirik, amma elmin ön sıralarından xəbərlər gözləyirik.
Michael Scott (Michael Scott) - tədqiqatçı Rochester Universiteti, yaradıcısı kimi bütün Java tərtibatçılarına məlumdur bloklanmayan alqoritmlər və sinxron növbələr Java Standart Kitabxanasından. Əlbəttə ki, inkişaf üçün Dijkstra Mükafatı ilə paylaşılan yaddaş hesablamaları üçün sinxronizasiya alqoritmləri və sahibi Vikipediya səhifəsi. Keçən il Maykl məktəbimizdə bloklanmayan məlumat strukturları haqqında mühazirə oxudu (1 hissəsi, 2 hissəsi). Bu il o deyəcəklər istifadə proqramlaşdırma haqqında uçucu olmayan yaddaş (NVM), “adi” təsadüfi giriş yaddaşı (DRAM) ilə müqayisədə proqramın mürəkkəbliyini və yaddaş yükünü azaldır.
Keidar gedir (İdit Keidar) - Technion professoru və sahibi Hirş indeksi üçün təxminən 40 (bu, çox, çox əhəmiyyətlidir). iki yüz elmi məqalə paylanmış hesablama, multithreading və nasazlığa dözümlülük sahəsində. İdit ilk dəfə olduğu məktəbimizdə iştirak edir mühazirə oxuyacaq paylanmış məlumatların saxlanmasının işinin əsas aspektləri haqqında: paylanmış yaddaş emulyasiyası, konsensusun inkişafı və konfiqurasiya dəyişiklikləri.
Rodrigo Rodriguez (Rodrigo Rodrigues) - Técnico-nun professoru, laboratoriyanın üzvü INESC-ID və müəllif tədqiqat işi paylanmış sistemlər sahəsində. Bu il Rodrigo məktəbimizdə deyəcəklər paylanmış məlumat anbarlarında ardıcıllıq və izolyasiya haqqında, həmçinin istifadə edərək təhlil edəcəyik CAP teoremləri ardıcıllıq və izolyasiyanın bir neçə modelinin praktikada fizibilliyi.
Chen Jing (Jing Chen) - Stony Brook-da Nyu York Dövlət Universitetinin professoru, müəllif tədqiqat işi blokçeyn sahəsində və aparıcı alim Alqorand - tamamilə əsaslanan konsensus alqoritmindən istifadə edən bir şirkət və blockchain platforması Səhmlərin sübutu. Bu il məktəbimizdə Çen Algorand blokçeynindən və onun maraqlı xassələrinə nail olmaq yollarından danışacaq: şəbəkə hesablama resurslarına aşağı tələblər, tranzaksiya tarixinin bölünməsinin qeyri-mümkünlüyü və blokçeynə əlavə edildikdən sonra tranzaksiya emalının başa çatdırılmasına zəmanət.
Kristian Keşin (Kristian Cachin) Bern Universitetinin professoru, məlumatların qorunması sahəsində tədqiqat qrupuna rəhbərlik edir, kitabın həmmüəllifidir.Etibarlı və Təhlükəsiz Paylanmış Proqramlaşdırmaya Giriş", blockchain platforması tərtibatçısı Hyperledger Kumaş (hətta onun haqqında söhbət də var idi Habré-də yazın) və müəllif tədqiqat işi paylanmış sistemlərdə kriptoqrafiya və təhlükəsizlik sahəsində. Bu il məktəbimizdə xristian mühazirə oxuyacaq paylanmış hesablamalar üçün kriptoqrafik alətlər üzrə dörd hissəli seriya: simmetrik və asimmetrik kriptoqrafiya, həmçinin paylaşılan açar kriptoqrafiyası, yalançı təsadüfi ədədlər və yoxlanıla bilən təsadüfi ədədlərin yaradılması.
Marko Vukoliç (Marko Vukolic) - IBM Research şirkətinin tədqiqatçısı, müəllif iş blokçeynində və Hyperledger Fabric inkişaf etdiricisində. Markonun bu il məktəbimizdə nə haqqında danışacağını hələ bilmirik, lakin ümid edirik ki, onun blokçeyn sahəsindəki ən yeni inkişafları haqqında öyrənəcəyik: tədqiqat performansın pisləşməsi 100-ə qədər maşından ibarət qruplar üzrə paylanmış konsensus protokolları, yayım Mir protokolu qlobal nizamla və Bizans qüsurlarına dözümlülük və ya bloksuz blokçeyn StreamChain, tranzaksiyaların emal vaxtını minimuma endirmək.
Prasad Jayanti (Prasad Jayanti) Dartmut Kollecinin professoru, elitalardan biridir Ivy League, və müəllif tədqiqat işi çox yivli alqoritmlər sahəsində. Bu il Prasad məktəbimizdə mühazirə oxuyacaq mövzuların sinxronizasiyası və müxtəlif variantların həyata keçirilməsi üçün alqoritmlər haqqında mutex: Qeyri-uçucu yaddaş modellərində kəsmə və ya bərpa funksiyaları, həmçinin ayrıca oxuma və yazma əməliyyatları ilə.
Aleksey Qotsman (Aleksey Qotsman) - IMDEA-nın professoru və müəllif tədqiqat işi alqoritmlərin proqram təminatı sahəsində yoxlanılması. Alekseyin bu il məktəbimizdə nə haqqında mühazirə oxuyacağını hələ bilmirik, lakin proqram təminatının yoxlanılması və paylanmış sistemlərin kəsişməsində bir mövzuya ümid edirik.
Niyə bura konfrans deyil, məktəbdir?
Birincisi, müəllimlər akademik formatda danışırlar və hər bir böyük mühazirə iki cüt tərəfindən verilir: "Bir saat yarım - fasilə - başqa bir saat yarım." Universitetdən illər sonra, bir saatlıq konfrans təqdimatları və 10 dəqiqəlik YouTube videoları vərdişi ilə bu çətin ola bilər. Yaxşı mühazirəçi bütün üç saatı maraqlı edəcək, lakin hər kəs öz beyninin plastikliyinə cavabdehdir.
Faydalı məsləhət: məktəb mühazirələrinin video yazıları üzərində təcrübə 2017 il və 2019 il. Əlvida iş - salam Bizans generalları.
İkincisi, mühazirəçilər elmi araşdırmalara diqqət yetirir və fundamental prinsiplərdən danışırlar paylanmış sistemlər və paralel hesablamalar, eləcə də elmin qabaqcıllarından xəbərlər. Məqsədiniz nəyisə tez bir zamanda proqramlaşdırmaq və məktəbdən sonrakı gün onu istehsalata yerləşdirməkdirsə, bu da çətin ola bilər.
Faydalı ipucu: məktəb müəllimlərinin tədqiqat sənədlərini axtarın Google Scholar и arXiv.org. Elmi məqalələri oxumağı sevirsinizsə, məktəbi də bəyənəcəksiniz.
Üçüncüsü, SPTDC 2020 konfrans deyil, çünki paylanmış sistemlər və paralel hesablamalar üzrə konfrans keçirilir. Hydra2020. Bu yaxınlarda Habré ilə bir yazı var idi onun proqramına ümumi baxış. Keçən il SPTDC və Hydra eyni vaxtda və eyni məkanda baş tutdu. Bu il tarixlərdə üst-üstə düşmürlər, buna görə də vaxtınız və diqqətiniz üçün bir-biri ilə rəqabət aparmırlar.
Faydalı məsləhət: Hydra konfrans proqramını yoxlayın və məktəbdən sonra başqa bir konfransda iştirak etməyi düşünün. Yaxşı həftə olacaq.
Məktəbə necə getmək olar?
- 6 iyul - 9 iyul 2020-ci il tarixlərini təqviminizə yazın (yaxud daha yaxşısı, 11 iyul, buna görə də dərsdən sonra Hydra konfransına gedə bilərsiniz).
- Ürək alın, hazır olun.
- Biletləri seçin və məktəbə get.
Mənbə: www.habr.com