Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

En son, 8 - 12 Temmuz tarihleri ​​arasında, aynı anda iki önemli etkinlik düzenlendi - bir konferans hidra ve okul SPTDC. Bu yazıda, konferans sırasında fark ettiğimiz birkaç özelliği vurgulamak istiyorum.

Hydra ve Okulun en büyük gururu konuşmacılarıdır.

  • Üç ödüllü Dijkstra Ödülleri: Leslie Lamport, Maurice Herlihy ve Michael Scott. Üstelik Maurice bunu iki katına kadar aldı. Leslie Lamport da aldı turing ödülü - bilgisayar bilimindeki en prestijli ACM ödülü;
  • Java JIT derleyicisinin yaratıcısı Cliff Click'tir;
  • Korutin geliştiricileri - Roman Elizarov (elizarov) ve Nikita Koval (Nkoval) Kotlin için ve Dmitry Vyukov Go için;
  • Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Veritabanına (Semyon Checherinda ve Vladislav Kuznetsov) katkıda bulunanlar;
  • Ve daha pek çok ünlü insan: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ bellek modeli), Pedro Ramalhete (beklemesiz veri yapıları), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafik analizi).

Ve bu okul:

  • Brown Üniversitesi (Maurice Herlihy),
  • Rochester Üniversitesi (Michael Scott),
  • Waterloo Üniversitesi (Trevor Brown),
  • Nantes Üniversitesi (Achour Mostefaoui),
  • Negev David Ben-Gurion Üniversitesi (Danny Hendler),
  • UCLA (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Araştırması (Leslie Lamport),
  • VMware Araştırması (Ittai Abraham).

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Teori ve pratik, bilim ve üretim

Size SPTDC Okulu'nun bir buçuk yüz kişilik küçük bir etkinlik olduğunu hatırlatmama izin verin, birinci sınıf aydınlar burada bir araya geliyor ve dağıtılmış bilgi işlem alanındaki modern konular hakkında konuşuyor. Hydra, paralel olarak çalışan iki günlük dağıtılmış bir bilgi işlem konferansıdır. Hydra'nın bir mühendislik odağı varken, Okulun bilimsel bir odağı var.

Hydra konferansının amaçlarından biri de bilim ve mühendisliği bir araya getirmektir. Bir yandan bu, programdaki raporların seçilmesiyle sağlanır: Lamport, Herlihy ve Scott'ın yanı sıra Cassandra'ya katkıda bulunan Alex Petrov veya JetBrains'ten Roman Elizarov'un çok daha fazla uygulamalı raporları vardır. Eskiden yeni girişimler kurup satan ve şimdi Cambridge Üniversitesi'nde CRDT okuyan Martin Kleppman var. Ancak en iyi şey, Hydra ve SPTDC'nin yan yana tutulmasıdır - farklı raporları vardır, ancak iletişim için ortak bir yer vardır.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Daldırma

Okulun art arda beş günü çok büyük bir olay ve hem katılımcılar hem de organizatörler için büyük bir yük. Hepsi son günlere gelemedi. Hydra'ya ve Okula aynı anda gidenler vardı ve onlar için son günler en olaylı geçmişti. Bütün bu yaygara, inanılmaz derecede derin daldırma ile telafi edilir. Bu sadece hacimden değil, aynı zamanda malzemenin kalitesinden de kaynaklanmaktadır. Her iki etkinlikte de tüm raporlar ve dersler giriş niteliğinde planlanmamıştı, bu nedenle nereye giderseniz gidin hemen derinlere dalıyorsunuz ve sonuna kadar gitmenize izin vermiyorsunuz.

Tabii ki, çoğu katılımcının ilk hazırlığına bağlıdır. Koridorda iki grup insan bağımsız olarak Heidi Howard'ın raporunu tartışırken komik bir an yaşandı: biri tamamen sıradan görünüyordu, diğeri ise tam tersine hayat hakkında derin derin düşünüyordu. İlginç bir şekilde, program komitelerinin (anonim kalmak isteyen) üyelerine göre, Hydra'nın raporları ve Okul tarafından etkinliklerinde verilen dersler gereğinden fazla nitelikli olabilir. Örneğin, bir PHP öğrencisi, hayatı öğrenmek için bir PHP konferansına geldiyse, onun Zend Engine'in içindekiler hakkında derin bilgiye sahip olduğunu varsaymak biraz umursamazlık olur. Burada konuşmacılar küçükleri kaşıkla beslemedi, ancak hemen belli bir düzeyde bilgi ve anlayış ima etti. Aslında, dağıtılmış sistemleri çalıştıran ve çalışma zamanı çekirdekleri yazan katılımcıların seviyesi çok yüksek, bu mantıklı. Katılımcıların tepkilerine bakılırsa, seviyeye ve konuya göre bir rapor seçmek oldukça kolaydı.

Belirli raporlardan bahsedersek, o zaman hepsi kendi yolunda iyiydi. İnsanların söylediklerine ve geri bildirim formundan görülebilenlere bakılırsa, Okuldaki en havalı raporlardan biri şuydu: "Engellenmeyen veri yapıları" Michael Scott, herkesi kırdı, 4.9 civarında anormal bir reytingi var.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Metakonferans

Hydra ve Okul başlamadan çok önce, Ruslan ARG89 bir tür "meta-konferans" ortaya çıkacağını varsaydı - diğer etkinliklerdeki tüm en iyi katılımcıların otomatik olarak bir kara deliğe çekileceği bir konferanslar konferansı. Ve böylece oldu! Örneğin, Okulun öğrencileri arasında fark edildi. Ruslan Çeremin multithreading konusunda tanınmış bir uzman olan DeutscheBank'tan.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Ve Hydra üyeleri görüldü Vadim Çesko (küba) Ve Andrey Pangin (Apangin) Odnoklassniki'den. (Aynı zamanda Vadim, Martin Kleppman ile iki mükemmel röportaj yapmamıza da yardımcı oldu - biri Habr için, diğeri ise çevrimiçi yayını izleyenler içindir). üyeler vardı program komitesi DotNext, tanınmış konuşmacılar Anatoly Kulakov ve Igor Labutin. Javist'in Dmitry Aleksandrov и Vladimir Ivanov. Genellikle bu insanları tamamen farklı yerlerde görürsünüz - DotNext'te nokta ağları, Joker'de javist vb. Ve işte buradalar, Hydra'nın raporlarında yan yana oturuyorlar ve bof'lardaki sorunları birlikte tartışıyorlar. Programlama dillerine ve teknolojilerine yapılan bu biraz yapay bölünme ortadan kalktığında, konu alanının özellikleri ortaya çıkıyor: dinamik çalışma zamanı uzmanları diğer çalıştırıcılarla iletişim kuruyor, dağıtılmış bilgi işlem teorisindeki araştırmacılar diğer araştırmacılarla hararetli bir şekilde tartışıyor, veritabanı motoru mühendisleri beyaz tahtayı dolduruyor, ve benzeri.

raporda C++ bellek modeline göre OpenJDK geliştiricileri ön planda oturdu (en azından onları görerek tanıyorum, ama pythonistler değil, belki pythonistler de oradaydı). Aslında bu raporda o kadar Shipilevian bir şeyler var ki... Ori tam olarak aynı şeyi söylemiyor ama dikkatli bir bakış paralellikleri ortaya çıkarabilir. En son C++ standartlarında olan onca şeyden sonra bile, yoktan var olan değerler gibi sorunlar çözülmedi ve şimdi böyle bir konuşmaya gidip "barikatın diğer tarafındaki" insanların nasıl olduğunu dinleyebilirsiniz. iddia ettikleri gibi bu sorunları çözmeye çalışırken, bulunan çözüme yönelik yaklaşımlardan etkilenilebilir (Ori, onarım seçeneklerinden birine sahiptir).

Program komitelerinde ve topluluk motorlarında çok sayıda katılımcı vardı. Herkes itiraflar arası sorunlarını çözdü, köprüler kurdu, bağlantılar edindi. Bunu elimden geldiğince kullandım ve örneğin, Alexander Borgardt ile anlaştık. Moskova C++ Kullanıcı Grubu C++'da aktörler ve eşzamansızlık hakkında tam uzunlukta bir makale yazmak için birlikte.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Fotoğrafta: Leonid Talalaev (talal, solda) ve Oleg Anastasiev (akıl, sağ), Odnoklassniki'de önde gelen geliştiriciler

Yangın tartışma alanları ve bofs

Konferanslarda her zaman konuyu konuşmacılarla eşit düzeyde bilen (ve bazen konuşmacılardan bile daha iyi - örneğin, bazı teknolojilerin temel geliştiricisi katılımcılar arasında olduğunda) bilen katılımcılar vardır. Hydra'da bu kadar çok uzman katılımcı vardı. Örneğin, Alex Petrov'un çevresinde bir noktada, Cassandra hakkında, o kadar çok kişi oluşturmuş ki herkese cevap verememiş. Bir noktada, Alex sorunsuz bir şekilde kenara itildi ve sorularla parçalanmaya başladı, ancak düşen bayrak, Rust geliştirici çevrelerinde tanınmış kişiler tarafından alındı. Tyler Neely ve yükü mükemmel şekilde dengeledi. Tyler'dan çevrimiçi görüşme için yardım etmesini istediğimde tek sorduğu "Ne zaman başlıyoruz?" oldu.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Tartışmalı ruh bazen raporlara bile girdi: Nikita Koval, raporu birkaç bölüme ayırarak ani bir Soru-Cevap oturumu ayarladı.

Ve tam tersi, BOF'ta çoklu iş parçacığı açısından geçici olmayan belleği hatırladılar, onu bu bof'a sürüklediler Pedro Ramalhete baş uzman olarak ve herkese her şeyi açıkladı (kısacası, kalıcı hafıza yakın gelecekte bizi tehdit etmiyor). Bu bofun önde gelenlerinden biri, bu arada, Vladimir SitnikovÇılgınca sayıda konferans için program komitelerinde oturan ... şimdi aynı anda beş gibi görünüyor. NVM ayrıca komşu bof'ta "Modern CS in real world" hakkında tartışıldı ve tamamen bağımsız olarak bu noktaya geldi.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Hikayeye doğrudan katılanların bile fark etmemiş olabileceği bir süper bilgiyi paylaşabilirim. Eli Gafni, Okulun ilk gününün akşamı performans sergiledi ve ertesi gün kaldı ve Lamport'u trollemeye başladı ve dışarıdan bunun bir oyun olduğu ve Eli'nin yetersiz kaldığı görüldü. Bunun, Leslie'nin beynini çıkarmak isteyen bir tür trol olduğunu. Aslında gerçek şu ki, neredeyse en iyi arkadaşlar, uzun yıllardır arkadaşlar ve bunlar sadece çok dostça şakalar. Yani, şaka işe yaradı - etraftaki tüm insanlar buna kandı, göründüğü gibi aldı.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Ayrı ayrı, konuşmacıların buna ne kadar sevgi ve çaba sarf ettiklerini not etmek isterim. Birisi tartışma alanında neredeyse saatlerce sonuna kadar durdu. Mola çoktan bitti, rapor başladı, bitti, bir sonraki mola başladı - ve Dmitry Vyukov sorularını yanıtlamaya devam etti. Benim de başıma ilginç bir hikaye geldi - Cliff Klick'i gafil avladığımda, testlerin olmamasıyla ilgili o kışkırtıcı tartışmanın yalnızca net ve makul bir açıklamasını almadım. H2O'daki belirli şeyler üzerindeama aynı zamanda tam bir inceleme var yeni AA dili. Bunu hiç sormadım: Sadece AA hakkında ne okuyabilirsin diye sordum (anladım ki dinleyebiliyorsun) dijital ses dosyası) ve bunun yerine Cliff, dil hakkında konuşarak ve doğru anladığından emin olmak için yarım saat harcadı. Muhteşem. AA ile ilgili bir habrapost yazmak gerekiyor. Alışılmadık bir başka deneyim de Kotlin'de pull request inceleme sürecini izlemektir. Farklı tartışma gruplarına, farklı konuşmacılara gidip yepyeni bir dünyaya dalmak gerçekten büyülü bir duygu. Bu seviyeli bir şey Radiohead'den "Orada, Orada".

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

İngilizce

Hydra 2019, ana dilin İngilizce olduğu ilk konferansımızdır. Bu hem faydalarını hem de zorluklarını beraberinde getiriyor. Bariz bir artı, konferansa yalnızca Rusya'dan insanların gelmemesidir, bu nedenle katılımcılar arasında Avrupa'dan mühendisler ve İngiltere'den bilim adamlarıyla tanışabilirsiniz. Konuşmacılar öğrencilerini getiriyor. Genel olarak, önemli konuşmacıların böyle bir konferansa gitmek için çok daha fazla motivasyonları vardır. Tamamen Rusça bir konferansta konuşmacı olduğunuzu hayal edin: raporunuzu bildirdiniz, tartışma alanını savundunuz ve sonra ne oldu? Şehirde dolaşın ve turistik yerleri görün? Aslında, gerçekten popüler konuşmacılar dünyadaki her şeyi yeterince görmüşler, aslanları ve asma köprüleri görmeye gitmek istemiyorlar, sıkılıyorlar. Tüm raporlar İngilizce ise, genel olarak konferansa katılabilir, eğlenebilir, tartışma alanlarına dahil olabilir vb. Atmosfer konuşmacılara karşı oldukça dostça.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Bariz dezavantaj, herkesin İngilizce iletişim kurmakta rahat olmamasıdır. Birçoğu iyi anlıyor ama kötü konuşuyor. Genel olarak, farklı şekillerde çözülen sıradan şeyler. Örneğin, bazı tartışma alanları Rusça olarak başladı, ancak İngilizce konuşan ilk katılımcı göründüğünde anında İngilizce'ye geçti.

Çevrimiçi yayının açılış ve kapanış eklerini yalnızca İngilizce olarak kendim yapmak zorunda kaldım ve kayıt uzmanlarıyla birkaç röportaja katıldım. Ve bu benim için yakında unutulmayacak gerçek bir meydan okumaydı. Bir noktada Oleg Anastasiev (akıl) bana görüşme için onlarla oturmamı söyledi ve bunun ne anlama geldiğini anlamakta çok yavaştım.

Öte yandan, raporlardaki kişilerin gümbür gümbür sorular sorması çok sevindirici. Yalnızca anadili İngilizce olanlar değil, genel olarak herkes iyi çalıştı. Diğer konferanslarda, insanların dinleyicilere kırık İngilizce ile soru sormaktan utandıkları ve sadece tartışma alanında kendilerinden bir şeyler koparabildikleri sıklıkla görülür. Burada tamamen farklıydı. Nispeten konuşursak, bazı Cliff Click raporları biraz daha erken bitirdi ve bundan sonra sorular sürekli bir dizi halinde devam etti, konuşma, garip duraklamalar ve aralar olmadan bir tartışma alanına dönüştü. Aynısı Leslie Lamport'un Soru-Cevap oturumu için de geçerli, ev sahibi pratikte kendi sorularını sormak zorunda değildi, katılımcılar her şeyi buldu.

Çok az insanın fark ettiği bir sürü küçük şey vardı, ama öyleler. Konferansın İngilizce olması nedeniyle, el ilanı ve harita gibi şeylerin tasarımı daha hafif ve daha özlüdür. Dilleri çoğaltmaya ve tasarımı karıştırmaya gerek yok.

Sponsorlar ve Sergi

Sponsorlarımız konferansın oluşturulmasında çok yardımcı oldular. Onlar sayesinde teneffüslerde hep yapacak bir şeyler oluyordu.

Stantta Deutsche Bank Teknik Merkezi çok iş parçacıklı sistemlerin mühendisleriyle iletişim kurmak, bulmacalarını "kafadan" çözmek, unutulmaz ödüller kazanmak ve sadece iyi vakit geçirmek mümkündü.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Stantta kontur hem açık hem de açık kaynaklı kendi sistemlerinden bahsetmek mümkündü: dağıtılmış bir bellek içi veritabanı, dağıtılmış bir ikili günlük, bir mikro hizmetler orkestrasyon sistemi, telemetri için evrensel bir taşıma vb. Ve tabii ki bulmacalar ve yarışmalar, ikili kedi ve Acı Çeken Orta Çağ'ı içeren çıkartmalar, Martin Kleppman'ın kitabı ve LEGO figürleri gibi hediyeler.

Lütfen Kontur problemlerinin analizinin halihazırda Habré'de yayınlandı. Analiz güzel, bakmaya değer.

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Dileyenler her türlü kitabı alabilir, meslektaşları ile tartışabilir. İmza günü için büyük bir kalabalık vardı!

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

sonuçlar

Hydra konferansı ve SPTDC okulu, ev sahibi şirket olarak bizim ve tüm topluluk için çok önemli etkinliklerdir. Bu, geleceğimize bakmak, çağdaş sorunları tartışmak için birleşik bir kavramsal aygıt geliştirmek, ilginç alanlara bakmak için bir şans. Çoklu iş parçacığı çok uzun bir süredir ortalıkta dolaşıyor, ancak ilk gerçekten çok çekirdekli işlemci ortaya çıktıktan sonra, fenomenin ana akım haline gelmesi tam on yıl aldı. Bu hafta raporlarda duyduklarımız gelip geçici haberler değil, önümüzdeki yıllarda izleyeceğimiz daha parlak bir geleceğe giden yoldur. Bu yazıda bir sonraki Hydra için spoiler olmayacak, ancak en iyisini umabilirsiniz. Bu tür konularla ilgileniyorsanız, sert konferans görüşmeleri gibi diğer etkinliklerimize göz atmak isteyebilirsiniz. Joker 2019 veya DotNext 2019 Moskova. Bir sonraki konferanslarda görüşmek üzere!

Dijkstra Ödülü'nün üç kazananı: Hydra 2019 ve SPTDC 2019 nasıl geçti?

Kaynak: habr.com

Yorum ekle