हायड्राच्या बाहूमध्ये क्रेमलिन टॉवर्स: मॉस्कोमध्ये समांतर आणि वितरित कॉम्प्युटिंग हायड्रा 2020 वर परिषद

गेल्या वर्षी सेंट पीटर्सबर्ग मध्ये होते पहिली हायड्रा परिषद, समांतर आणि वितरित प्रणालींना समर्पित. विजेत्यांनी सादरीकरण केले डिजक्स्ट्रा पारितोषिक и ट्युरिंग पुरस्कार (लेस्ली लॅम्पपोर्ट, मॉरिस हेरलिही и मायकेल स्कॉट), कंपाइलर आणि प्रोग्रामिंग भाषांचे निर्माते (C++, Go, Java, Kotlin), वितरित डेटाबेसचे विकसक (Cassandra, CosmosDB, Yandex Database), तसेच अल्गोरिदम आणि डेटा संरचनांचे निर्माते आणि संशोधक (CRDT, Paxos, wait). -फ्री डेटा स्ट्रक्चर्स). सर्वसाधारणपणे, या टप्प्यावर तुम्ही आधीच सुट्टी घेऊ शकता, IDE विंडो लहान करू शकता, YouTube वर प्लेलिस्ट उघडू शकता सर्वोत्तम अहवाल Hydra 2019 - आणि टास्क शेड्युलरला थोडी प्रतीक्षा करू द्या.

सर्वसाधारणपणे, अशी परिषद कधीच झाली नाही आणि आता पुन्हा होईल. पुन्हा इंग्रजीत अहवाल, कारण समांतर आणि वितरित संगणनाबद्दल बोलण्यासाठी कोणतीही चांगली भाषा नाही. पुन्हा उन्हाळ्यात, 10 आणि 11 जुलै, कारण स्पीकर्सकडे संशोधन आणि शिकवण्यासाठी वेळ आहे, उदाहरणार्थ, केंब्रिज, रोचेस्टर आणि सेंट पीटर्सबर्गच्या विद्यापीठांमध्ये आणि वर्षातील इतर वेळा त्यांच्यासाठी नाहीत.

तथापि, यावेळी हायड्रा मॉस्को येथे होणार आहे, जेथे कॉन्फरन्समधील बहुतेक सहभागी गेल्या वर्षी वितरित एकमत आणि व्यवहार मेमरीवरील अहवाल ऐकण्यासाठी आले होते. नवीन हायड्रामध्ये अधिक क्लिष्ट कार्यक्रम, गेल्या वर्षीच्या नायकांसह नवीन स्पीकर, तसेच तीन हॉलमध्ये सहभागींमध्ये वितरीत केलेल्या समांतर हार्डकोरच्या उत्साहाची आधीच परिचित भावना आहे.

बायझँटाईन जनरल समोरासमोर ठेवून ताबडतोब टेबलवर कार्ड्सचा डेक ठेवू - आम्हाला नवीन हायड्राचा प्रोग्राम अधिक तपशीलवार आणि वैविध्यपूर्ण हवा आहे. मागच्या वेळी आपण नखाने स्क्रॅच केले होते, आता आपण आणखी विस्तृत आणि खोल खोदू या. या हायड्रा २०२० थीम गेल्या वर्षीच्या तुलनेत वेगळ्या आहेत:

  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 मध्ये, सिंडी तुम्हाला कसे सांगेल चाचणी वितरित प्रणाली, जरी ते स्टेट संचयित करतात.


मायकेल स्कॉट (मायकेल स्कॉट) - येथील संशोधक रोचेस्टर विद्यापीठ, सर्व Java विकासकांना निर्माता म्हणून ओळखले जाते नॉन-ब्लॉकिंग अल्गोरिदम आणि सिंक्रोनस रांग जावा स्टँडर्ड लायब्ररीमधून. अर्थात, डिजक्स्ट्रा पुरस्कारासह “सामायिक-मेमरी मल्टीप्रोसेसरवर स्केलेबल सिंक्रोनाइझेशनसाठी अल्गोरिदम"आणि स्वतःचे विकिपीडिया पृष्ठ. मागच्या वर्षी, मायकेलने हायड्रा ऑनचा सर्वोत्तम (तुमच्या मते) अहवाल दिला दुहेरी डेटा संरचना, आणि आता तो याबद्दल बोलेल प्रकल्प Hodor и सामायिक मेमरीसह सुरक्षित कार्य, समांतर प्रक्रियांसाठी उपलब्ध.


हेडी हॉवर्ड (हेडी हॉवर्ड) - संशोधक पासून केंब्रिज विद्यापीठ, वितरित एकमत अल्गोरिदम तयार करण्यासाठी ओळखले जाते लवचिक पॉक्सोस, तसेच लवचिक पॉक्सोसचे सामान्यीकरण करण्यावर काम करा आणि जलद पॉक्सोस. गेल्या वर्षी हेडीने सांगितले की ते कसे कार्य करते आणि कार्य करते अल्गोरिदमचे पॅक्सोस कुटुंब (सर्वोत्तम अहवालांपैकी एक), आणि आता मी या दरम्यान पातळ बर्फावर चालण्याचा प्रयत्न करेन पॉक्सोस प्रेमी आणि राफ्ट समर्थक — आणि कोणते अल्गोरिदम चांगले आहे यावर त्याचे मत सामायिक करा.


मार्टिन क्लेपमन (मार्टिन क्लेपमन) कदाचित केंब्रिज विद्यापीठातील आणखी एक प्रसिद्ध संशोधक आणि बिग डेटा सिस्टीमचे माजी विकासक आहेत, ज्यांनी वितरीत प्रणालींवर आश्चर्यकारकपणे स्पष्ट आणि म्हणूनच अद्वितीय पुस्तक लिहिले आहे.डेटा-केंद्रित अनुप्रयोगांची रचना करणे" गेल्या वर्षी मार्टिन परिणाम सामायिक केले त्यांच्या CRDT संशोधनाविषयी, आणि आम्ही तुम्हाला आता काय सांगू आम्ही नंतर जाहीर करू.


निकिता कोवल (निकिता कोवल) ही कोटलिन टीममधील कॉरोटीन डेव्हलपर आहे, ITMO मधील मल्टी-थ्रेडेड प्रोग्रामिंगच्या कोर्सची शिक्षिका आहे आणि Hydra कॉन्फरन्सच्या प्रोग्राम कमिटीची सदस्य आहे (होय, हा लेख ज्याबद्दल आहे). गेल्या वर्षी निकिताने JVM प्लॅटफॉर्मवर मल्टी-थ्रेडेड डेटा स्ट्रक्चर्सची चाचणी करण्याबद्दल बोलले होते लिन-चेक, आणि हायड्रा 2020 मध्ये तो सांगेन SegmentQueueSynchronizer बद्दल - वापरून सत्यापित आयरीस फ्रेमवर्क ते prover Coq प्रोग्रॅमिंग सिंक्रोनाइझेशन प्रिमिटिव्ससाठी अमूर्तता.


आमच्या असिंक्रोनस घोषणांचे अनुसरण करा: परिषदेत एकूण सुमारे तीन डझन अहवाल असतील, आम्ही तुम्हाला लवकरच उर्वरित बद्दल सांगू. तसेच, अर्थातच, कॉन्फरन्समध्ये चर्चा झोन असतील जिथे सामान्य सहमती होईपर्यंत स्पीकर्सची एक किंवा अनेक थ्रेडमधील प्रश्नांसह चाचणी करणे आवश्यक आहे.

आणि जर तुम्ही भाग्यवान असाल तर मार्टिन क्लेपमन तुमच्या पुस्तकावर स्वाक्षरी करेल.

होय, हायड्रा 2020 परिषदेपूर्वी, म्हणजे जुलै 6-9, तेथे असेल SPTDC 2020 — वितरित संगणनाच्या सिद्धांत आणि सरावावरील तिसरी उन्हाळी शाळा. हे तुम्हाला अशा संवेदना देईल जे कॉन्फरन्समध्ये मिळणे कठीण आहे, म्हणून आम्ही एका वेगळ्या पोस्टमध्ये शाळेबद्दल बोलू.

आता काय? प्रथम, Habré आणि सामाजिक नेटवर्कवरील बातम्यांचे अनुसरण करा (फेसबुक, Вконтакте, Twitter).

दुसरे म्हणजे, जर तुम्हाला परिषदेला उपस्थित राहण्याची अप्रतिम इच्छा वाटत असेल तर, वेबसाइट एक्सप्लोर करा, तुम्ही आधीच तिकीट खरेदी कर.

तिसरे, टिप्पण्यांमध्ये Hydra 2020 कॉन्फरन्स प्रोग्राम कमिटीशी गप्पा मारण्याची संधी गमावू नका. PC सदस्यांना तुमच्याशी भविष्यातील कॉन्फरन्स विषयांबद्दल बोलण्यात आनंद होईल.

हायड्रा येथे भेटू!

स्त्रोत: www.habr.com