या लेस्ली लॅम्पपोर्ट डिस्ट्रिब्युटेड कंप्युटिंगमधील सेमिनल वर्कचे लेखक आहेत आणि तुम्ही त्यांना ला या अक्षरांनी ओळखू शकता LaTeX - "Lamport TeX". त्यांनीच सर्वप्रथम १९७९ मध्ये ही संकल्पना मांडली सातत्यपूर्ण सुसंगतता, आणि त्याचा लेख "मल्टीप्रोसेसर प्रोग्राम्स योग्यरित्या कार्यान्वित करणारा मल्टीप्रोसेसर संगणक कसा बनवायचा" डिजक्स्ट्रा पारितोषिक मिळाले (अधिक तंतोतंत, 2000 मध्ये हा पुरस्कार त्याच्या जुन्या पद्धतीने म्हटले गेले: "PODC प्रभावशाली पेपर पुरस्कार"). त्याच्याबद्दल आहे विकिपीडिया लेख, जिथे तुम्हाला आणखी काही मनोरंजक लिंक मिळू शकतात. आपण घडलेल्या-पूर्वी किंवा समस्या सोडवण्यास उत्सुक असल्यास बायझँटाईन जनरल्सच्या समस्या (बीएफटी), तर तुम्हाला हे समजले पाहिजे की या सगळ्यामागे लॅम्पपोर्ट आहे.

तो लवकरच सेंट पीटर्सबर्ग येथे 11-12 जुलै रोजी होणाऱ्या डिस्ट्रिब्युटेड कॉम्प्युटिंग - हायड्रावरील आमच्या नवीन कॉन्फरन्समध्ये देखील येईल. हा कोणत्या प्रकारचा प्राणी आहे ते पाहूया.

हायड्रा 2019

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

अशा लोकप्रियतेमुळे, उत्पादकता आणि कार्यक्षम संगणनाचा विषय परिषदेच्या अजेंडामध्ये पसरतो. कामगिरीबद्दल दोन दिवसांच्या अहवालांपैकी किती अहवाल तयार केले जाऊ शकतात - एक तृतीयांश, दोन तृतीयांश? काही ठिकाणी कृत्रिम निर्बंध आहेत जे या वाढीस मर्यादित करतात: कार्यप्रदर्शन व्यतिरिक्त, नवीन वेब फ्रेमवर्कसाठी, काही प्रकारच्या डेव्हॉप्स किंवा आर्किटेक्चरल एस्ट्रोनॉटिक्ससाठी अद्याप जागा असणे आवश्यक आहे. नाही, कार्यप्रदर्शन, आपण आम्हाला सर्व खाणार नाही!

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

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

परिषद कार्यक्रम

हा कार्यक्रम सध्या निर्मितीच्या टप्प्यात आहे. त्यामध्ये वितरण प्रणालीच्या सिद्धांतांच्या संस्थापकांचे अहवाल आणि त्यांच्यासोबत उत्पादनात काम करणाऱ्या अभियंत्यांचा समावेश असावा.

उदाहरणार्थ, मायक्रोसॉफ्ट रिसर्चमधील लेस्ली लॅम्पपोर्ट आणि ब्राउन युनिव्हर्सिटीमधील मॉरिस हेरलिही यांचा सहभाग आधीच ज्ञात आहे.

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

मॉरिस "वितरित संगणन दृष्टीकोनातून ब्लॉकचेन" नावाचे मुख्य भाषण घेणार आहे. तुम्हाला स्वारस्य असल्यास, तुम्ही सेंट पीटर्सबर्ग JUG मधील मॉरिसच्या अहवालाचे रेकॉर्डिंग पाहू शकता. तो विषय किती स्पष्टपणे आणि समजण्यासारखा आहे याचे मूल्यांकन करा.

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

जुलैच्या मध्यापर्यंत अजून बराच वेळ आहे. आम्‍ही तुम्‍हाला उर्वरित वक्‍ते आणि त्‍यांच्‍या विषयांबद्दल सांगू, जसे की आम्‍ही कार्यक्रम परिष्कृत करू आणि जुलै जवळ येऊ.

सर्वसाधारणपणे, प्रश्न उद्भवतो - आपण उन्हाळ्यात हायड्रा का करतो? शेवटी, हा कमी हंगाम, सुट्ट्या आहे. समस्या अशी आहे की स्पीकर्समध्ये विद्यापीठातील शिक्षक आहेत आणि इतर कोणताही वेळ त्यांच्यासाठी व्यस्त आहे. आम्ही फक्त इतर तारखा निवडू शकत नाही.

चर्चा क्षेत्रे

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

आम्ही ही समस्या सोडवली आहे. त्याच्या अहवालानंतर ताबडतोब, स्पीकर एका विशेष चर्चा क्षेत्राकडे जातो, मार्करसह कमीतकमी व्हाईटबोर्डसह सुसज्ज असतो आणि आपल्याकडे बराच वेळ असतो. औपचारिकपणे, स्पीकर किमान सादरीकरणांमधील संपूर्ण विश्रांती दरम्यान तेथे उपस्थित राहण्याचे वचन देतो. प्रत्यक्षात ही चर्चा क्षेत्रे मेगूत शेवटपर्यंत तास ताणणे (स्पीकरची इच्छा आणि सहनशक्ती यावर अवलंबून).

लॅम्पोर्टबद्दल, जर मला बरोबर समजले असेल तर, त्याला शक्य तितक्या लोकांना ते पटवून द्यायचे आहे TLA+ - ही चांगली गोष्ट आहे. (विकिपीडियावर TLA+ बद्दल लेख). कदाचित अभियंत्यांना काहीतरी नवीन आणि उपयुक्त शिकण्याची ही चांगली संधी असेल. लेस्ली हा पर्याय ऑफर करते - ज्यांना स्वारस्य आहे ते त्याचे मागील व्याख्यान पाहू शकतात आणि प्रश्नांसह येऊ शकतात. म्हणजेच, मुख्य भाषणाऐवजी, एक विशेष प्रश्नोत्तर सत्र आणि नंतर चर्चा क्षेत्र देखील असू शकते. मी काही गुगलिंग केले आणि एक छान सापडले. TLA+ कोर्स (अधिकृतपणे डब केलेले YouTube वर प्लेलिस्ट) आणि एक तासाचे व्याख्यान "संहितेच्या वर विचार करणे" मायक्रोसॉफ्ट फॅकल्टी समिट पासून.

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

कागदपत्र मागवा

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

तुम्हाला Lamport सोबत स्पर्धा करायची असल्यास, ते पूर्णपणे शक्य आहे. स्पीकर बनण्यासाठी तुम्हाला आवश्यक आहे दुव्याचे अनुसरण करा, तेथे सर्वकाही काळजीपूर्वक वाचा आणि सूचनांनुसार करा.

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

तारखांसह चित्राकडे विशेष लक्ष द्या. जुलै ही सहभागीसाठी खूप दूरची तारीख आहे, परंतु स्पीकरने आता अभिनय करणे आवश्यक आहे.

SPTDC शाळा

एसपीटीडीसी शाळेच्या जागेवर परिषद आयोजित केली जाईल, त्यामुळे शाळेचे तिकीट खरेदी करणाऱ्या प्रत्येकासाठी परिषदेची तिकिटे असतील. 20% सूट सह.

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

शाळा इंग्रजीमध्ये आयोजित केली जाईल, म्हणून कव्हर केलेल्या विषयांची यादी अशी दिसते:

• समवर्ती डेटा संरचना: शुद्धता आणि कार्यक्षमता;
• नॉन-अस्थिर मेमरीसाठी अल्गोरिदम;
• वितरित संगणनक्षमता;
• वितरित मशीन शिक्षण;
• राज्य-मशीन प्रतिकृती आणि पॉक्सोस;
• बीजान्टिन दोष-सहिष्णुता;
• ब्लॉकचेनच्या अल्गोरिदमिक मूलभूत गोष्टी.

खालील वक्ते बोलतील:

• लेस्ली लॅम्पपोर्ट (मायक्रोसॉफ्ट);
• मॉरिस हेरलिही (ब्राऊन युनिव्हर्सिटी);
• मायकेल स्कॉट (रॉचेस्टर विद्यापीठ);
• डॅन अलिस्टरह (IST ऑस्ट्रिया);
• ट्रेव्हर ब्राउन (वॉटरलू विद्यापीठ);
• एली गॅफनी (यूसीएलए);
• डॅनी हेंडलर (बेन गुरियन विद्यापीठ);
• अचौर मोस्तेफौई (नॅन्टेस विद्यापीठ).

प्लेलिस्ट तुम्ही YouTube वर मागील शाळेचे अहवाल मुक्तपणे पाहू शकता:

पुढील पायऱ्या

परिषदेचा कार्यक्रम अजूनही तयार होत आहे. Habré किंवा सोशल नेटवर्कवरील बातम्यांचे अनुसरण करा (fb, vk, ट्विटर).

तुमचा कॉन्फरन्सवर खरोखर विश्वास असल्यास (किंवा "अर्ली बर्ड" म्हणून ओळखल्या जाणार्‍या विशेष एंट्री किमतीचा फायदा घ्यायचा असल्यास), तुम्ही वेबसाइटवर जाऊ शकता आणि तिकीट खरेदी कर.

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

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