Hydra'nın kollarında dağıtılmış sistemler teorisinin kurucuları

Hydra'nın kollarında dağıtılmış sistemler teorisinin kurucularıO Leslie Lamport - dağıtık bilgi işlemdeki temel çalışmaların yazarı ve onu kelimedeki La harflerinden de tanıyabilirsiniz. LaTeX - "Lamport TeX". 1979'da konsepti ilk kez o tanıttı. tutarlı tutarlılıkve makalesi "Çok İşlemli Programları Doğru Yürüten Çok İşlemcili Bilgisayar Nasıl Yapılır" Dijkstra Ödülü'nü aldı (daha doğrusu, 2000'de ödül eski adıyla "PODC Etkili Bildiri Ödülü") olarak adlandırıldı. onun hakkında var Wikipedia makalesi, daha ilginç bağlantılar alabileceğiniz yer. Sorunları çözme konusunda heyecanlıysanız, daha önce veya Bizans generallerinin sorunları (BFT), hepsinin arkasında Lamport'un olduğunu anlamaları gerekiyor.

Ve yakında 11-12 Temmuz'da St. Petersburg'da yapılacak olan yeni dağıtılmış bilgi işlem konferansımıza - Hydra'ya gelecek. Bakalım ne tür bir hayvanmış.

Hydra 2019

Çoklu okuma gibi konular, konferanslarımızdaki en sıcak konulardan bazılarıdır ve her zaman olmuştur. Bu salon henüz boştu, ama sonra sahnede bir kişi belirerek hafıza modeli, olay öncesi veya çok kanallı çöp toplama hakkında konuşuyor ve - bum! - şimdiden binin altında insan oturup dikkatlice dinlemek için mevcut tüm alanı işgal ediyor. Bu başarının özü nedir? Belki de hepimizin elinde dağıtılmış bilgi işlemi organize edebilen bir tür donanıma sahip olduğumuz gerçeği? Yoksa onu gerçek değerinde yükleyemediğimizi bilinçaltımızda mı anlıyoruz? Elinde tam gücü yalnızca kendisi tarafından kullanılabilen bir bilgi işlem kümesiyle sonuçlanan bir St.Petersburg kuantumunun (yani bir finansal niceliksel analist ve geliştirici) gerçek bir hikayesi var. Görevlerinizi şimdikinden çok daha büyük kapasitelerle yapmanız gerekse ne yapardınız?

Bu popülarite nedeniyle, performans ve verimli bilgi işlem konusu konferans programına yayılma eğilimindedir. Performansla ilgili iki günlük raporların kaç tanesi yapılabilir - üçte biri, üçte ikisi? Bazı yerlerde bu büyümeyi sınırlayan yapay kısıtlamalar var: performansa ek olarak, yeni web çerçeveleri, bir tür devops veya mimari uzay bilimi için hala yer olmalı. Hayır performans, hepimizi bütün olarak yemeyeceksin!

Veya tam tersine gidebilir, pes edebilir ve dürüstçe, tamamen dağıtılmış bilgi işlem ve yalnızca onlar hakkında olacak bir konferans düzenleyebilirsiniz. Ve işte burada, Hidra.

Dürüst olmak gerekirse, bugün tüm bilgi işlemin şu ya da bu şekilde dağıtıldığını kabul edelim. İster çok çekirdekli bir makine, ister bir bilgi işlem kümesi veya büyük ölçekli dağıtılmış bir hizmet olsun, her yerde birbiriyle senkronize, paralel olarak bağımsız hesaplamalar yapan birçok işlem vardır. Teoride nasıl çalıştığı ve pratikte nasıl çalıştığı Hydra'nın odak noktası olacak.

konferans programı

Program şu anda geliştirilme aşamasındadır. Dağıtık sistemler teorilerinin kurucularından ve üretimde onlarla birlikte çalışan mühendislerden gelen raporları içermelidir.

Örneğin, Microsoft Research'ten Leslie Lamport'un ve Brown Üniversitesi'nden Maurice Herlihy'nin katılımını zaten biliyoruz.

Hydra'nın kollarında dağıtılmış sistemler teorisinin kurucuları Maurice Herlihy - çok ünlü ve saygın bir Bilgisayar Bilimleri profesörü, onun hakkında da bir hikaye var. Vikipedi sayfası, linklerin ve eserlerin üzerinden gidebileceğiniz yer. Orada, üzerinde çalışmak için ilk olan iki Dijkstra ödülünü görebilirsiniz. "Beklemeden Senkronizasyon"ve ikincisi, daha yeni - "İşlemsel Bellek: Kilitsiz Veri Yapıları için Mimari Destek". Bu arada, bağlantılar SciHub'a bile gitmiyor, ancak Brown University ve Virginia Tech University'ye açıp okuyabilirsiniz.

Maurice, "Dağıtılmış bilgi işlem perspektifinden blok zincirler" adlı bir açılış konuşmasına ev sahipliği yapacak. İlgileniyorsanız, Maurice'in St. Petersburg JUG raporunun kaydına göz atabilirsiniz. Konuyu ne kadar net ve anlaşılır bir şekilde aktardığını değerlendirin.

Hydra'nın kollarında dağıtılmış sistemler teorisinin kurucuları"Çift Veri Yapıları" adlı ikinci açılış konuşması okuyacak Michael Scott Rochester Üniversitesi'nden. Ve tahmin et ne oldu - onun da kendine ait Vikipedi sayfası. Wisconsin'deki evinde, Wisconsin-Madison Üniversitesi'nde dekan olarak yaptığı çalışmayla tanınır ve dünyada Doug Lea ile birlikte Java kitaplıklarının üzerinde çalıştığı o engellemeyen algoritmaları ve eşzamanlı kuyrukları geliştiren adamdır. . Dijkstra Ödülü'nü Herlihy'den üç yıl sonra, "Paylaşılan bellek çoklu işlemcilerinde Algoritmalar için ölçeklenebilir senkronizasyon" adlı çalışmasıyla aldı (beklendiği gibi, açık bırakır Rochester Üniversitesi'nin çevrimiçi kütüphanesinde).

Temmuz ortasına kadar daha çok zaman var. Programı geliştirip Temmuz ayına yaklaşırken size diğer konuşmacılar ve konuları hakkında bilgi vereceğiz.

Genel olarak şu soru ortaya çıkıyor - neden Hydra'yı yazın yapıyoruz? Sonuçta, bu sezon dışı, tatiller. Sorun şu ki, konuşmacılar arasında üniversite hocaları da var ve diğer vakitleri meşgul. Başka tarihler seçemedik.

Tartışma bölgeleri

Diğer konferanslarda, konuşmacı gerekli olanı okuyup hemen ayrılır. Katılımcıların onu arayacak zamanları bile yok - sonuçta, bir sonraki rapor neredeyse hiç boşluk olmadan başlıyor. Özellikle Lamport, Herlihy ve Scott gibi önemli kişiler oradayken ve aslında konferansa onlarla tanışmak ve bir şeyler hakkında konuşmak için gittiğinizde çok acı veriyor.

Bu sorunu çözdük. Konuşmacı raporundan hemen sonra, en azından üzerinde keçeli kalem olan bir beyaz tahta bulunan özel bir tartışma alanına gider ve oldukça fazla zamanınız olur. Resmi olarak, konuşmacı en azından raporlar arasındaki mola sırasında orada olacağına söz verir. Gerçekte, bu tartışma alanları kutu saatlerce uzatın (konuşmacının isteğine ve dayanıklılığına bağlı olarak).

Lamport'a gelince, eğer doğru anladıysam, mümkün olduğu kadar çok insanı buna ikna etmek istiyor. TLA+ - bu iyi birşey. (Wikipedia'da TLA+ hakkında makale). Belki de bu, mühendislerin yeni ve yararlı bir şeyler öğrenmeleri için iyi bir şans olacaktır. Leslie bu seçeneği sunuyor - ilgilenen herkes geçmiş derslerini izleyebilir ve sorularla gelebilir. Yani, bir açılış konuşması yerine, olduğu gibi, özel bir Soru-Cevap oturumu ve ardından başka bir tartışma alanı olabilir. Biraz googledim ve harika bir tane buldum TLA+ kursu (resmen dublajlı youtube'da çalma listesi) ve bir saatlik ders "Kodun Üstünde Düşünmek" Microsoft Fakülte Zirvesi ile.

Tüm bu insanları Vikipedi'den ve kitap kapaklarından granite dökülmüş isimler olarak düşündüyseniz, onlarla canlı tanışmanın zamanı geldi! Bilimsel makalelerin sayfalarının cevaplayamayacağı, ancak yazarlarının iletişim kurmaktan mutluluk duyacağı sorular sorun ve sohbet edin.

Bildiri Çağrısı

Şu anda makaleyi okuyanların birçoğunun yeterince ilginç bir şey anlatmaktan çekinmediği bir sır değil. Mühendislik açısından, bilimsel açıdan, herhangi bir açıdan. Dağıtılmış bilgi işlem, herkese yer olan çok geniş ve derin bir konudur.

Lamport ile birlikte oynamak istiyorsanız, bu tamamen mümkün. Konuşmacı olmak için ihtiyacınız olan linki izle, oradaki her şeyi dikkatlice okuyun ve talimatlara göre yapın.

Sakin olun, sürece bağlanır bağlanmaz size yardımcı olunacaktır. Program komitesi, raporun kendisine, özüne ve tasarımına yardımcı olacak yeterli kaynağa sahiptir. Koordinatör, örgütsel sorunlarla başa çıkmanıza yardımcı olacaktır.

Tarihlerin olduğu resme özellikle dikkat edin. Temmuz, katılımcı için oldukça uzak bir tarih ve konuşmacının artık harekete geçmesi gerekiyor.

Hydra'nın kollarında dağıtılmış sistemler teorisinin kurucuları

SPTDC okulu

Konferans, SPTDC okulu ile aynı sitede yapılacaktır, bu nedenle okul için bilet alan herkes için, konferans biletleri - 20% indirimle.

Dağıtık Hesaplama Uygulaması ve Teorisi Yaz Okulu (SPTDС) - ilgili alanda tanınmış uzmanlar tarafından verilen, dağıtılmış sistemlerin pratik ve teorik yönleri hakkında çok çeşitli kurslar sunan bir okul.

Okul İngilizce olarak düzenlenecektir, bu nedenle işlenen konuların listesi aşağıdadır:

  • Eşzamanlı veri yapıları: doğruluk ve verimlilik;
  • Geçici olmayan bellek için algoritmalar;
  • Dağıtılmış Hesaplanabilirlik;
  • dağıtılmış makine öğrenimi;
  • Durum makinesi çoğaltması ve Paxos;
  • Bizans hata toleransı;
  • Blok zincirlerinin algoritmik temelleri.

Aşağıdaki konuşmacılar konuşacak:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Brown Üniversitesi);
  • Michael Scott (Rochester Üniversitesi);
  • Dan Alistarh (IST Avusturya);
  • Trevor Brown (Waterloo Üniversitesi);
  • Eli Gafni (UCLA);
  • Danny Hendler (Ben Gurion Üniversitesi);
  • Achour Mostefaoui (Nantes Üniversitesi).

çalma listesi önceki okulun raporları ile YouTube'da ücretsiz olarak izlenebilir:

Takibin Shui

Konferans programı halen oluşturulmaktadır. Haberleri Habré'de veya sosyal ağlarda takip edin (fb, vk, twitter ).

Konferansa gerçekten inanıyorsanız (veya "Early Bird" dedikleri gibi özel başlangıç ​​fiyatından yararlanmak istiyorsanız) - siteye gidebilir ve bilet satın al.

Hydra'da görüşmek üzere!

Kaynak: habr.com

Yorum ekle