SPTDC 2020 - वितरित संगणनाच्या सराव आणि सिद्धांतावरील तिसरी शाळा

सिद्धांत म्हणजे जेव्हा आपल्याला सर्वकाही माहित असते परंतु काहीही कार्य करत नाही.
सराव म्हणजे जेव्हा सर्वकाही कार्य करते परंतु कोणालाच का माहित नाही.
वितरित प्रणालींमध्ये, सिद्धांत आणि सराव एकत्र आहेत:
काहीही काम करत नाही आणि का कोणालाच माहित नाही.

एपिग्राफमधील विनोद पूर्ण मूर्खपणा आहे हे सिद्ध करण्यासाठी, आम्ही तिसऱ्यांदा एसपीटीडीसी (सराव आणि वितरित संगणनाचे सिद्धांत) आयोजित करत आहोत. आम्ही शाळेचा इतिहास, त्याचे सह-संस्थापक प्योत्र कुझनेत्सोव्ह आणि विटाली अक्स्योनोव्ह तसेच SPTDC चे आयोजन करण्यामध्ये JUG Ru ग्रुपचा सहभाग याबद्दल आधीच चर्चा केली आहे. सांगितले Habré वर. म्हणूनच, आज आपण 2020 मधील शाळेबद्दल, व्याख्याने आणि व्याख्यातांबद्दल तसेच शाळा आणि परिषद यांच्यातील फरकांबद्दल बोलत आहोत.

SPTDC शाळा 6 जुलै ते 9 जुलै 2020 या कालावधीत मॉस्को येथे होणार आहे.

सर्व व्याख्याने इंग्रजीत असतील. व्याख्यानांचे मुख्य विषय: सक्तीचे समवर्ती संगणन, वितरित प्रणालींसाठी क्रिप्टोग्राफिक साधने, एकमत प्रोटोकॉल सत्यापित करण्यासाठी औपचारिक पद्धती, मोठ्या प्रमाणावरील प्रणालींमध्ये सुसंगतता, वितरित मशीन शिक्षण.

चित्रातील पात्रे कोणती लष्करी रँक आहेत याचा तुम्ही लगेच अंदाज लावला? मी तुझी पूजा करतो.

व्याख्याते आणि व्याख्याने

निर शवित (निर शवित) - एमआयटी आणि तेल अवीव विद्यापीठातील प्राध्यापक, एका उत्तम पुस्तकाचे सह-लेखक मल्टीप्रोसेसर प्रोग्रामिंगची कला, मालक डिजक्स्ट्रा पारितोषिक विकास आणि अंमलबजावणीसाठी सॉफ्टवेअर व्यवहार मेमरी (STM) आणि गोडेल पुरस्कार शेअर्ड मेमरी कंप्युटिंगच्या मॉडेलिंगसाठी बीजगणित टोपोलॉजीच्या अनुप्रयोगावरील कामासाठी, कंपनीचे सह-संस्थापक न्यूरल मॅजिक, जे सामान्य CPU साठी वेगवान मशीन लर्निंग अल्गोरिदम तयार करते आणि अर्थातच, त्याचे स्वतःचे आहे विकिपीडिया पृष्ठे धडधडणाऱ्या आणि गमतीशीर छायाचित्रासह. नीरने 2017 मध्ये आमच्या शाळेत आधीच भाग घेतला होता, जिथे त्याने ब्लॉकिंग तंत्रांचे सर्वसमावेशक विहंगावलोकन दिले (1, 2). नीर या वर्षी काय बोलणार आहे हे आम्हाला अद्याप माहित नाही, परंतु आम्हाला विज्ञानाच्या आघाडीच्या बातम्यांची आशा आहे.


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


केदारला जातो (Idit Keidar) - Technion येथे प्राध्यापक आणि मालक हिर्श इंडेक्स साठी सुमारे 40 (जे खूप, खूप विचार करण्यायोग्य आहे). दोनशे वैज्ञानिक लेख वितरित संगणन, मल्टीथ्रेडिंग आणि फॉल्ट टॉलरन्सच्या क्षेत्रात. इदित प्रथमच आमच्या शाळेत सहभागी होते, जिथे ती व्याख्यान देतील वितरित डेटा स्टोरेजच्या ऑपरेशनच्या मूलभूत पैलूंबद्दल: वितरित मेमरी इम्यूलेशन, एकमत विकास आणि कॉन्फिगरेशन बदल.


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


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


ख्रिश्चन कॅशिन (ख्रिश्चन कॅचिन) बर्न विद्यापीठातील प्राध्यापक आहेत, डेटा संरक्षण क्षेत्रातील संशोधन गटाचे प्रमुख आहेत, पुस्तकाचे सह-लेखक आहेत.विश्वसनीय आणि सुरक्षित वितरित प्रोग्रामिंगचा परिचय", ब्लॉकचेन प्लॅटफॉर्म विकसक हायपरलेजर फॅब्रिक (तिच्याबद्दलही चर्चा झाली Habré वर पोस्ट) आणि लेखक संशोधन कार्य वितरीत प्रणालींमध्ये क्रिप्टोग्राफी आणि सुरक्षा क्षेत्रात. या वर्षी आमच्या शाळेत ख्रिश्चन व्याख्यान देतील वितरित संगणनासाठी क्रिप्टोग्राफिक साधनांवरील चार भागांची मालिका: सममितीय आणि असममित क्रिप्टोग्राफी, तसेच सामायिक की क्रिप्टोग्राफी, छद्म यादृच्छिक संख्या आणि सत्यापित करण्यायोग्य यादृच्छिक संख्या निर्मिती.


मार्को वुकोलिच (मार्को वुकोलिक) - आयबीएम रिसर्चचे संशोधक, लेखक कार्य करते ब्लॉकचेनमध्ये आणि हायपरलेजर फॅब्रिकचे विकसक. मार्को या वर्षी आमच्या शाळेत काय बोलणार हे आम्हाला अद्याप माहित नाही, परंतु आम्हाला आशा आहे की आम्ही ब्लॉकचेनच्या क्षेत्रात त्याच्या नवीन घडामोडी जाणून घेऊ: संशोधन कामगिरी र्‍हास 100 पर्यंत मशीन्सच्या क्लस्टरवर एकमत प्रोटोकॉल वितरित केले, प्रसारण मीर प्रोटोकॉल जागतिक ऑर्डरसह आणि बायझँटाईन दोष सहिष्णुता किंवा ब्लॉकलेस ब्लॉकचेन स्ट्रीमचेन, व्यवहार प्रक्रिया वेळ कमी करणे.


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


अॅलेक्सी गॉट्समन (Alexey Gotsman) - IMDEA मधील प्राध्यापक आणि लेखक संशोधन कार्य अल्गोरिदमच्या सॉफ्टवेअर सत्यापनाच्या क्षेत्रात. यावर्षी आमच्या शाळेत अॅलेक्सी काय व्याख्यान देईल हे आम्हाला अद्याप माहित नाही, परंतु आम्ही सॉफ्टवेअर पडताळणी आणि वितरित प्रणालीच्या छेदनबिंदूवर एका विषयावर अवलंबून आहोत.

ही परिषद का नाही तर शाळा का आहे?

प्रथम, व्याख्याते शैक्षणिक स्वरूपात बोलतात आणि प्रत्येक मोठे व्याख्यान दोन जोड्यांद्वारे दिले जाते: "दीड तास - ब्रेक - आणखी दीड तास." विद्यापीठाच्या अनेक वर्षानंतर, तासभर कॉन्फरन्स प्रेझेंटेशन आणि 10-मिनिटांच्या YouTube व्हिडिओंच्या सवयीसह, हे कठीण होऊ शकते. एक चांगला व्याख्याता संपूर्ण तीन तास मनोरंजक बनवेल, परंतु प्रत्येकजण स्वतःच्या मेंदूच्या प्लास्टिकपणासाठी जबाबदार आहे.

उपयुक्त सल्ला: शाळेतील व्याख्यानांच्या व्हिडिओ रेकॉर्डिंगचा सराव करा 2017 वर्ष आणि मध्ये 2019 वर्ष. गुडबाय वर्क - हॅलो बायझँटाईन जनरल.

दुसरे म्हणजे, व्याख्याते वैज्ञानिक संशोधनावर लक्ष केंद्रित करतात आणि मूलभूत तत्त्वांबद्दल बोलतात वितरित प्रणाली आणि समांतर संगणन, तसेच विज्ञानाच्या अत्याधुनिक बातम्या. जर तुमचे उद्दिष्ट त्वरीत काहीतरी प्रोग्राम करणे आणि शाळेनंतर दुसऱ्या दिवशी उत्पादनात उपयोजित करणे हे असेल तर हे देखील कठीण होऊ शकते.

उपयुक्त टीप: शालेय व्याख्यात्यांद्वारे शोधनिबंध पहा Google बुद्धीमान и arXiv.org. जर तुम्हाला वैज्ञानिक पेपर वाचायला आवडत असेल तर तुम्हाला शाळा देखील आवडेल.

तिसरे म्हणजे, एसपीटीडीसी 2020 ही परिषद नाही, कारण वितरित प्रणाली आणि समांतर संगणनावरील परिषद आहे. हायड्रा 2020. अलीकडे Habré वर एक पोस्ट आली होती तिच्या कार्यक्रमाचा आढावा. गेल्या वर्षी, एसपीटीडीसी आणि हायड्रा एकाच वेळी आणि एकाच ठिकाणी झाले होते. या वर्षी ते तारखांमध्ये ओव्हरलॅप होत नाहीत, म्हणून ते आपला वेळ आणि लक्ष देण्यासाठी एकमेकांशी स्पर्धा करत नाहीत.

उपयुक्त टीप: हायड्रा कॉन्फरन्स प्रोग्राम पहा आणि शाळेनंतर दुसर्‍या कॉन्फरन्समध्ये जाण्याचा विचार करा. हा आठवडा चांगला जाणार आहे.

शाळेत कसे जायचे?

• तुमच्या कॅलेंडरवर 6 जुलै ते 9 जुलै 2020 या तारखा लिहा (किंवा अजून चांगले म्हणजे 11 जुलै, जेणेकरून तुम्ही शाळेनंतर हायड्रा कॉन्फरन्सला जाऊ शकता).
• मन लावून घ्या, तयार व्हा.
• तिकिटे निवडा आणि शाळेत जा.

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