क्रेमलिन टावर्स हाइड्रा इम्ब्रेस में: हाइड्रा 2020 समानांतर और वितरित कम्प्यूटिंग सम्मेलन

समानांतर और वितरित प्रणालियों के लिए समर्पित पहला हाइड्रा सम्मेलन पिछले साल सेंट पीटर्सबर्ग में आयोजित किया गया था । दीजकस्ट्रा पुरस्कार और ट्यूरिंग पुरस्कार विजेताओं ( लेस्ली लामपोर्ट , मौरिस हेरलिची और माइकल स्कॉट ) द्वारा प्रस्तुत किए गए थे , कंपाइलर और प्रोग्रामिंग भाषाओं (सी ++, गो, जावा, कोटलिन ) के रचनाकारों, वितरित डेटाबेस डेवलपर्स (कैसेंड्रा, कॉस्मोसडीबी, यैंडेक्स डेटाबेस), साथ ही साथ। एल्गोरिदम और डेटा संरचनाओं के निर्माता और शोधकर्ता (CRDT, Paxos, प्रतीक्षा-मुक्त डेटा संरचनाएं)। सामान्य तौर पर, आप पहले से ही इस जगह पर छुट्टी ले सकते हैं, आईडीई विंडो को कम कर सकते हैं, सबसे अच्छा हाइड्रा 2019 रिपोर्ट के साथ एक यूट्यूब प्लेलिस्ट खोल सकते हैं - और कार्य अनुसूचक को थोड़ा इंतजार करने दें।

सामान्य तौर पर, ऐसा सम्मेलन कभी नहीं हुआ है, और अब यह फिर से होगा। अंग्रेजी में रिपोर्ट के साथ , क्योंकि समानांतर और वितरित कंप्यूटिंग के बारे में बात करने के लिए कोई बेहतर भाषा नहीं है। फिर से, जुलाई 6-9 में , क्योंकि वक्ताओं के पास अध्ययन और सिखाने का समय है, उदाहरण के लिए, कैम्ब्रिज, रोचेस्टर और सेंट पीटर्सबर्ग के विश्वविद्यालयों में, और वर्ष के अन्य समय उनके लिए नहीं हैं।

नए हाइड्रा में अधिक जटिल कार्यक्रम है, पिछले वर्ष के नायकों के साथ नए वक्ताओं के साथ-साथ तीन कमरों में समानांतर कट्टर से प्रतिभागियों के बीच वितरित किए गए उत्साह की एक परिचित भावना है।




तुरंत मेज पर बीजान्टिन जनरलों की शर्ट के साथ कार्ड का एक डेक बिछाएं - हम चाहते हैं कि नए हाइड्रा का कार्यक्रम अधिक विस्तृत और विविध हो। पिछली बार हमने एक नख से खरोंच की थी, अब हम व्यापक और गहरी खुदाई करेंगे। पिछले साल के अंतर के साथ हाइड्रा 2020 के विषय यहां दिए गए हैं: एक सम्मेलन के कार्यक्रम में इस सब के बारे में कैसे बात करें? यह निश्चित रूप का उपयोग करते हुए एक नया चमकदार वितरित भंडारण में आपरेशन के linearizability परीक्षण की तुलना में आसान नहीं है Jepsen , लेकिन हम कोशिश करेंगे। यहाँ एक पहले से ही कार्यक्रम में है: सिंडी श्रीधरन एक सैन फ्रांसिस्को-आधारित वितरित सिस्टम डेवलपर है, एक छोटी पुस्तक वितरित सिस्टम ऑब्जर्वबिलिटी के लेखक (एक मुफ्त इलेक्ट्रॉनिक कॉपी प्राप्त करें ) और एक लोकप्रिय ब्लॉग

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things






, जहां केवल लेख " टेक वार्ता में 2019 का सर्वश्रेष्ठ " कुछ दिनों की छुट्टी बचा सकता है, लेकिन उन्हें खुश छोड़ दें। हाइड्रा 2020 में, सिंडी के बारे में बात करेंगे कि वितरित सिस्टम का परीक्षण कैसे करें , भले ही वे राज्य को स्टोर करें।

माइकल स्कॉट रोचेस्टर विश्वविद्यालय में एक शोधकर्ता है, जो सभी जावा डेवलपर्स को गैर-अवरुद्ध एल्गोरिदम के निर्माता के रूप में जाना जाता है और मानक जावा पुस्तकालय से तुल्यकालिक कतारों के रूप में जाना जाता है। बेशक, " साझा-मेमोरी मल्टीप्रोसेसर पर स्केलेबल सिंक्रोनाइज़ेशन के लिए एल्गोरिदम " और अपने स्वयं के विकिपीडिया पृष्ठ के लिए डीजकस्ट्रा पुरस्कार के साथ । पिछले साल, माइकल ने हाइड्रा को सबसे अच्छा बनाया (आपके अनुमानों के अनुसार) रिपोर्टदोहरी डेटा संरचनाएं , और अब वह होडोर परियोजना और समानांतर प्रक्रियाओं के लिए उपलब्ध साझा मेमोरी के साथ सुरक्षित कार्य के बारे में बात करेंगे ।

हाइडी हावर्ड एक है शोधकर्ता पर कैम्ब्रिज विश्वविद्यालय , बनाने के लिए जाना जाता लचीला Paxos वितरित आम सहमति एल्गोरिथ्म , साथ ही लचीले Paxos और सामान्यीकरण फास्ट Paxos । पिछले साल, हेइडी ने इस बात पर चर्चा की कि एल्गोरिदम के पैक्सोस परिवार को कैसे व्यवस्थित किया जाता है और काम करता है (सबसे अच्छी रिपोर्ट में से एक), और अब वह पैक्सोस प्रेमियों और रफ़ समर्थकों के बीच पतली बर्फ पर चलने की कोशिश करेगा - और एल्गोरिदम में से किस पर अपनी राय साझा करना बेहतर है।

मार्टिन क्लेपमैन शायद कैम्ब्रिज विश्वविद्यालय में एक बेहतर ज्ञात शोधकर्ता भी हैं, और अतीत में, एक बड़ा डेटा प्रोसेसर जिसने आश्चर्यजनक रूप से समझ में आने वाली और इसलिए अद्वितीय पुस्तक लिखी, जिसे डिजाइनिंग डेटा-गहन अनुप्रयोग कहा जाता है। पिछले साल, मार्टिन ने अपने सीआरडीटी अनुसंधान के परिणामों को साझा किया , और अब वह किस बारे में बात करेगा - हम बाद में घोषणा करेंगे।

निकिता कोवल(निकिता कोवल) कोटलिन टीम में एक कोरटाइन डेवलपर है, जो आईटीएमओ में मल्टीथ्रेडेड प्रोग्रामिंग कोर्स का शिक्षक है, और हाइड्रा सम्मेलन की कार्यक्रम समिति का सदस्य है (हाँ, जिसके बारे में यह लेख है)। पिछले साल, निकिता का उपयोग कर JVM मंच पर मल्टी-थ्रेडेड डाटा संरचनाओं का परीक्षण के बारे में बात लिन-चेक , और हाइड्रा 2020 में वह बात करेंगे SegmentQueueSynchronizer के बारे में - एक अमूर्त द्वारा सत्यापित आइरिस ढांचे के लिए Coq prover तुल्यकालन पुरातन प्रोग्रामिंग के लिए।

हमारी अतुल्यकालिक घोषणाओं का पालन करें: कुल मिलाकर सम्मेलन में लगभग तीन दर्जन रिपोर्टें होंगी, हम जल्द ही बाकी के बारे में बात करेंगे। फिर भी, निश्चित रूप से, सम्मेलन में चर्चा क्षेत्र होंगे, जहां किसी एक या अधिक धाराओं में प्रश्नों के साथ वक्ताओं का परीक्षण करना आवश्यक है जब तक कि एक आम सहमति नहीं हो जाती।


और यदि आप भाग्यशाली हैं, तो मार्टिन क्लेपमैन आपको एक पुस्तक पर हस्ताक्षर करेंगे।

हां, हाइड्रा 2020 सम्मेलन के समानांतर, 6–9 जुलाई को, SPTDC 2020 , सिद्धांत के तीसरे समर स्कूल और वितरित कंप्यूटिंग के अभ्यास में आयोजित किया जाएगा । इस पर आपको ऐसी संवेदनाएँ मिलेंगी जो सम्मेलन में मिलना मुश्किल है, इसलिए हम एक अलग पोस्ट में स्कूल के बारे में बात करेंगे।

अब क्या? सबसे पहले, हैबे और सामाजिक नेटवर्क ( फेसबुक , Vkontakte , ट्विटर) पर समाचार का पालन करें)

दूसरे, यदि आप सम्मेलन में भाग लेने के लिए पहले से ही एक अथक इच्छा महसूस करते हैं - साइट का अध्ययन करें, वहां आप पहले से ही टिकट खरीद सकते हैं ।

तीसरी बात, टिप्पणियों में हाइड्रा 2020 सम्मेलन कार्यक्रम समिति के साथ बातचीत करने का अवसर न चूकें। पीसी सदस्यों को आगामी सम्मेलन के विषयों के बारे में आपके साथ बात करने में खुशी होगी।

मुझे हाइड्रा पर मिलो!