Teori, her şeyi bildiğin ama hiçbir şeyin işe yaramadığı zamandır.
Pratik, her şeyin işe yaradığı ama kimsenin nedenini bilmediği zamandır.
dağıtılmış sistemler, teori ve pratik birleştirilir:
hiçbir şey işe yaramıyor ve kimse nedenini bilmiyor.
Epigraftaki şakanın tamamen saçmalık olduğunu kanıtlamak için, üçüncü kez SPTDC'yi (uygulama ve dağıtılmış hesaplama teorisi okulu) düzenliyoruz. Okulun tarihi, kurucu ortakları Petr Kuznetsov ve Vitaly Aksyonov ile JUG Ru Group'un SPTDC organizasyonuna katılımı hakkında zaten bilgi sahibi olduk. söyledi Habr'da. Bu nedenle, bugün 2020'deki okul, dersler ve öğretim görevlileri ve ayrıca okul ile konferans arasındaki farklar hakkında.
SPTDC okulu 6 - 9 Temmuz 2020 tarihleri arasında Moskova'da yapılacaktır.
Tüm dersler İngilizce olacaktır. Ders konuları: kalıcı eşzamanlı bilgi işlem, dağıtılmış sistemler için kriptografik araçlar, fikir birliği protokollerini doğrulamak için resmi yöntemler, büyük ölçekli sistemlerde tutarlılık, dağıtılmış makine öğrenimi.
Resimdeki karakterlerin hangi askeri rütbeye sahip olduğunu hemen tahmin ettiniz mi? Sana bayılıyorum.
Öğretim görevlileri ve dersler
Nir Şavit (Nir Shavit) MIT ve Tel Aviv Üniversitesi'nde profesör, harika bir kitabın ortak yazarı Çok İşlemcili Programlama Sanatı, mal sahibi Dijkstra Ödülleri geliştirme ve uygulama için yazılım işlem belleği (STM) ve Gödel Ödülü Cebirsel topolojinin paylaşılan bellek hesaplama simülasyonuna uygulanması konusundaki çalışmaları için, şirketin kurucu ortağı Sinirsel Büyügeleneksel CPU'lar için hızlı makine öğrenimi algoritmaları oluşturan ve elbette kendi Wikipedia sayfaları atılgan ve boğucu fotoğrafçılık ile. Nir, 2017'de okulumuza katılmıştı ve burada engelleme tekniklerinin kapsamlı bir incelemesini yapıyordu (Bölüm 1, Bölüm 2). Nir'in bu yıl hakkında ne konuşacağını henüz bilmiyoruz, ancak bilimin en ileri noktasından haberler almayı umuyoruz.
Michael Scott (Michael Scott) bir araştırmacıdır. Rochester Üniversitesi, tüm Java geliştiricileri tarafından yaratıcısı olarak bilinir. engellemeyen algoritmalar ve senkronize kuyruklar Java standart kitaplığından. Tabii ki, Dijkstra'nın Tasarım Ödülü ile paylaşılan bellek bilgi işlemi için senkronizasyon algoritmaları ve kendi Vikipedi sayfası. Geçen yıl, Michael okulumuzda engellenmeyen veri yapıları hakkında bir konferans verdi (Bölüm 1, Bölüm 2). bu yıl o söyleyecek kullanarak programlama hakkında uçucu olmayan bellek "normal" rasgele erişim belleğine (DRAM) kıyasla program karmaşıklığını ve bellek ek yükünü azaltan (NVM).
İdil Keidar (Idit Keidar) - Technion'da Profesör ve sahibi Hirsch indeksi yaklaşık 40 (ki bu çok, çok fazla) için iki yüz bilimsel makale dağıtılmış bilgi işlem, çoklu iş parçacığı ve hata toleransı alanında. Eidit ilk kez okulumuza katılıyor ve burada ders vermek dağıtılmış veri ambarlarının çalışmasının temel yönleri hakkında: dağıtılmış bellek öykünmesi, fikir birliği geliştirme ve yapılandırma değişiklikleri.
Rodrigo Rodriguez (Rodrigo Rodrigues) - Técnico'da profesör, laboratuvar üyesi INESC Kimliği ve yazar Araştırma çalışması dağıtılmış sistemler alanında. Bu yıl okulumuzda Rodrigo söyleyecek dağıtılmış veri ambarlarında tutarlılık ve izolasyon hakkında ve ayrıca kullanarak analiz edecek CAP teoremleri çeşitli tutarlılık ve izolasyon modellerinin pratikte uygulanabilirliği.
Chen Çing (Jing Chen) Stony Brook'taki New York Eyalet Üniversitesi'nde profesör, yazar Araştırma çalışması blockchain alanında ve önde gelen bir bilim insanı Algorand — tamamen dayalı bir konsensüs algoritması kullanan bir şirket ve bir blockchain platformu Bahis kuponu. Bu yıl okulumuzda Chen, Algorand blok zincirinden ve onun ilginç özelliklerini elde etmenin yollarından bahsedecek: ağ bilgi işlem kaynaklarına iddiasız, işlem geçmişini bölmenin imkansızlığı ve blok zincirine eklendikten sonra işlem işlemenin sonunu garanti etme.
Hıristiyan Kashin (Christian Cachin) Bern Üniversitesi'nde bir profesör, veri koruma alanında bir araştırma grubunun başkanı, kitabın ortak yazarı "Güvenilir ve Güvenli Dağıtılmış Programlamaya Giriş”, blockchain platformu geliştiricisi Hyperledger Fabric (onun hakkında bile Habré'de yayınlanmak) ve yazar Araştırma çalışması dağıtılmış sistemlerde kriptografi ve güvenlik alanında. Bu yıl okulumuzda Hristiyan ders vermek dağıtılmış bilgi işlem için kriptografik araçlar hakkında dört bölümde: simetrik ve asimetrik kriptografi ve ayrıca hakkında paylaşılan anahtar kriptografisi, sözde rasgele sayılar ve doğrulanabilir rasgele sayı üretimi.
Marko Vukolich (Marko Vukolic) IBM Research'te araştırmacı, yazar işler Blockchain'de ve Hyperledger Fabric'in geliştiricisinde. Marco'nun bu yıl okulumuzda ne hakkında konuşacağını henüz bilmiyoruz, ancak onun blockchain alanındaki son gelişmelerini öğrenmeyi umuyoruz: araştırma performans düşüşü 100 adede kadar makineden oluşan kümelerde dağıtılmış mutabakat protokolleri, yayın mir protokolü küresel düzen ve Bizans hata toleransı veya bloksuz blok zinciri Akış Zinciriişlem işleme süresini en aza indirir.
Prasad Jayanti (Prasad Jayanti), seçkinlerin bir parçası olan Dartmouth College'da bir profesördür. sarmaşık birliğive yazar Araştırma çalışması çok iş parçacıklı algoritmalar alanında. Bu yıl okulumuzda Prasad ders vermek çeşitli seçenekleri uygulamak için iş parçacığı senkronizasyonu ve algoritmalar hakkında muteks: geçici olmayan bellek modellerinde kesme veya geri yükleme işlevleriyle ve ayrı okuma ve yazma işlemleriyle.
Alexey Gotsman (Alexey Gotsman) IMDEA'da profesör ve yazar Araştırma çalışması algoritmaların program doğrulaması alanında. Alexey'in bu yıl okulumuzda ne ders vereceğini henüz bilmiyoruz, ancak yazılım doğrulama ve dağıtık sistemlerin kesiştiği bir konuyu sabırsızlıkla bekliyoruz.
Neden bu bir okul da konferans değil?
İlk olarak, öğretim üyeleri akademik bir formatta konuşur ve her büyük dersten iki çift okur: "bir buçuk saat - mola - bir buçuk saat daha." Kolej dışında geçen yıllar, saatlerce süren konferans görüşmeleri ve 10 dakikalık YouTube videoları alışkanlığı ile bu zor olabilir. İyi bir öğretim görevlisi üç saati de ilgi çekici hale getirir, ancak herkes kendi beyninin esnekliğinden sorumludur.
Faydalı İpucu: Okul derslerinin video kayıtları üzerinde pratik yapın. 2017 yıl ve 2019 yıl. Güle güle iş - merhaba Bizans generalleri.
İkincisi, öğretim üyeleri bilimsel araştırmaya odaklanır ve temeller hakkında konuşur. dağıtılmış sistemler ve paralel hesaplamanın yanı sıra bilimin en ileri noktasından haberler. Amacınız bir şeyi hızlı bir şekilde kodlamak ve ertesi gün okuldan sonra sıcak takipte üretime yerleştirmekse, bu da zor olabilir.
Faydalı İpucu: Okulun öğretim görevlilerinin araştırma makalelerini şu adreste arayın: Google Scholar и arXiv.org. Bilimsel makaleleri okumayı seviyorsanız, okulu da seveceksiniz.
Üçüncüsü, SPTDC 2020 okulu bir konferans değildir, çünkü dağıtılmış sistemler ve paralel bilgi işlem konferansı Hydra 2020. Geçenlerde Habré'de şöyle bir gönderi vardı: programının gözden geçirilmesi. Geçen yıl SPTDC ve Hydra aynı anda ve aynı yerde gerçekleşti. Bu yıl tarih olarak çakışmıyorlar, bu nedenle zamanınız ve ilginiz için birbirleriyle rekabet etmiyorlar.
Faydalı İpucu: Hydra konferans programına göz atın ve konferansa okuldan sonra da katılmayı düşünün. Bu iyi bir hafta olacak.
Okula nasıl gidilir?
- 6 Temmuz - 9 Temmuz 2020 tarihlerini takvime yazın (veya daha iyisi, okuldan sonra Hydra konferansına gitmek için 11 Temmuz'a kadar).
- Cesaret et, hazırlan.
- Bilet seçin ve okula git.
Kaynak: habr.com