SPTDC 2020 - वितरित कम्प्युटिङको अभ्यास र सिद्धान्तमा तेस्रो विद्यालय

सिद्धान्त भनेको जब तपाइँ सबै कुरा जान्नुहुन्छ तर केहि काम गर्दैन।
अभ्यास हो जब सबै काम गर्दछ तर कसैलाई थाहा छैन किन।
वितरण प्रणालीमा, सिद्धान्त र अभ्यास संयुक्त छन्:
केहि काम गर्दछ र कसैलाई थाहा छैन किन।

एपिग्राफमा गरिएको मजाक पूर्ण मूर्खता हो भनेर प्रमाणित गर्न, हामीले तेस्रो पटक एसपीटीडीसी (स्कूल अन अभ्यास र डिस्ट्रिब्युटेड कम्प्युटिङको सिद्धान्त) आयोजना गर्दैछौं। हामीले विद्यालयको इतिहास, यसका सह-संस्थापक प्योत्र कुज्नेत्सोभ र भिटाली अक्सेनोभका साथै SPTDC को आयोजनामा ​​JUG Ru समूहको सहभागिताबारे छलफल गरिसकेका छौं। भन्यो Habré मा। त्यसकारण, आज हामी 2020 मा स्कूलको बारेमा, व्याख्यान र व्याख्याताहरूको बारेमा, साथै स्कूल र सम्मेलन बीचको भिन्नताहरूको बारेमा कुरा गर्दैछौं।

SPTDC स्कूल मस्को मा जुलाई 6 देखि जुलाई 9, 2020 सम्म आयोजित हुनेछ।

सबै लेक्चरहरू अंग्रेजीमा हुनेछन्। व्याख्यानका मुख्य विषयहरू: निरन्तर समवर्ती कम्प्युटिङ, वितरित प्रणालीहरूका लागि क्रिप्टोग्राफिक उपकरणहरू, सहमति प्रोटोकलहरू प्रमाणीकरणका लागि औपचारिक विधिहरू, ठूला-ठूला प्रणालीहरूमा स्थिरता, वितरित मेसिन लर्निङ।

के तपाईंले तुरुन्तै अनुमान लगाउनुभयो कि चित्रमा क्यारेक्टरहरू के सैन्य श्रेणी हुन्? म तिमीलाई पूजा गर्छु।

व्याख्याता र व्याख्यान

निर शवित (Nir Shavit) - MIT र तेल अवीव विश्वविद्यालयका प्रोफेसर, एक महान पुस्तकका सह-लेखक मल्टिप्रोसेसर प्रोग्रामिंग को कला, मालिक Dijkstra पुरस्कार विकास र कार्यान्वयनको लागि सफ्टवेयर लेनदेन मेमोरी (STM) र Gödel पुरस्कार साझा मेमोरी कम्प्युटिङको मोडलिङमा बीजगणित टोपोलोजीको प्रयोगमा उनको कामको लागि, कम्पनीका सह-संस्थापक तंत्रिका जादू, जसले साधारण CPU हरूका लागि द्रुत मेसिन लर्निङ एल्गोरिदमहरू सिर्जना गर्दछ, र निस्सन्देह, यसको आफ्नै छ। विकिपीडिया पृष्ठहरू एक दमदार र उम्दा फोटो संग। नीरले 2017 मा हाम्रो स्कूलमा पहिले नै भाग लिइसकेका थिए, जहाँ उनले अवरुद्ध गर्ने प्रविधिहरूको विस्तृत सिंहावलोकन दिए (भाग 1, भाग 2)। हामीलाई अझै थाहा छैन कि नीरले यस वर्ष के कुरा गर्नेछन्, तर हामी विज्ञानको अग्रभागबाट समाचारको आशा गर्दछौं।


माइकल स्कट (माइकल स्कट) - शोधकर्ता रोचेस्टर विश्वविद्यालय, सबै जाभा विकासकर्ताहरूलाई को निर्माताको रूपमा चिनिन्छ गैर-ब्लकिङ एल्गोरिदम र सिंक्रोनस लामहरू जाभा मानक पुस्तकालयबाट। अवश्य पनि, विकासको लागि Dijkstra पुरस्कार संग साझा मेमोरी कम्प्युटिङका ​​लागि सिंक्रोनाइजेसन एल्गोरिदमहरू र आफ्नै विकिपीडिया पृष्ठ। गत वर्ष, माइकलले हाम्रो विद्यालयमा गैर-ब्लकिङ डेटा संरचनाहरू (भाग 1, भाग 2)। यो वर्ष उनले भन्नेछौ प्रोग्रामिङ प्रयोग गर्ने बारे गैर-अस्थिर मेमोरी (NVM), जसले "नियमित" अनियमित पहुँच मेमोरी (DRAM) को तुलनामा कार्यक्रम जटिलता र मेमोरी ओभरहेड कम गर्दछ।


केदार जान्छ (Idit Keidar) - प्राविधिक र मालिक मा प्रोफेसर Hirsch सूचकांक लगभग 40 (जुन धेरै, धेरै विचारणीय छ) को लागी दुई सय वैज्ञानिक लेख वितरित कम्प्युटिङ, मल्टिथ्रेडिङ र दोष सहिष्णुता को क्षेत्रमा। इदित पहिलो पटक हाम्रो स्कूलमा भाग लिन्छिन्, जहाँ उनी व्याख्यान दिनेछन् वितरित डाटा भण्डारणको सञ्चालनको आधारभूत पक्षहरूको बारेमा: वितरित मेमोरी इमुलेशन, सहमति विकास र कन्फिगरेसन परिवर्तनहरू।


रोड्रिगो रोड्रिगेज (रोड्रिगो रोड्रिग्स) - टेक्निकोमा प्रोफेसर, प्रयोगशालाको सदस्य INESC-ID र लेखक अनुसन्धान कार्य वितरण प्रणाली को क्षेत्र मा। यो वर्ष हाम्रो स्कूल रोड्रिगोमा भन्नेछौ वितरित डाटा स्टोरहरूमा स्थिरता र अलगावको बारेमा, र प्रयोग गरेर विश्लेषण पनि गर्नेछ CAP प्रमेय स्थिरता र अलगावका धेरै मोडेलहरूको अभ्यासमा सम्भाव्यता।


चेन जिङ (जिंग चेन) - स्टोनी ब्रुकको स्टेट युनिभर्सिटी अफ न्यूयोर्कका प्रोफेसर, लेखक अनुसन्धान कार्य ब्लकचेनको क्षेत्रमा र एक अग्रणी वैज्ञानिक एल्गोरान्ड - एक कम्पनी र ब्लकचेन प्लेटफर्म जसले पूर्ण रूपमा आधारित सहमति एल्गोरिथ्म प्रयोग गर्दछ स्टेक को प्रमाण। यस वर्ष हाम्रो स्कूलमा, चेनले एल्गोरन्ड ब्लकचेन र यसको रोचक गुणहरू प्राप्त गर्ने तरिकाहरू बारे कुरा गर्नेछन्: नेटवर्क कम्प्युटिङ स्रोतहरूमा कम माग, लेनदेन इतिहास विभाजन गर्न असम्भव र ब्लकचेनमा थपिएपछि लेनदेन प्रक्रिया पूरा हुने ग्यारेन्टी।


क्रिश्चियन क्यासिन (क्रिश्चियन काचिन) बर्न विश्वविद्यालयका प्रोफेसर हुन्, डेटा संरक्षणको क्षेत्रमा अनुसन्धान समूहको नेतृत्व गर्दै, पुस्तकका सह-लेखक "भरपर्दो र सुरक्षित वितरित प्रोग्रामिंगको परिचय", blockchain प्लेटफर्म विकासकर्ता Hyperledger फैब्रिक (उनको बारेमा पनि कुराकानी भयो Habré मा पोस्ट) र लेखक अनुसन्धान कार्य वितरण प्रणालीहरूमा क्रिप्टोग्राफी र सुरक्षाको क्षेत्रमा। हाम्रो स्कूल क्रिश्चियन मा यो वर्ष व्याख्यान दिनेछन् वितरित कम्प्युटिङका ​​लागि क्रिप्टोग्राफिक उपकरणहरूमा चार-भाग श्रृंखला: सममित र असममित क्रिप्टोग्राफी, साथै साझा कुञ्जी क्रिप्टोग्राफी, छद्म यादृच्छिक संख्या र प्रमाणित अनियमित संख्या उत्पादन.


मार्को भुकोलिच (मार्को Vukolic) - IBM अनुसन्धान मा शोधकर्ता, लेखक काम गर्दछ ब्लकचेनमा र हाइपरलेजर कपडाको विकासकर्ता। हामीलाई अझै थाहा छैन मार्कोले यस वर्ष हाम्रो स्कूलमा के कुरा गर्नेछन्, तर हामी आशा गर्छौं कि हामीले ब्लकचेनको क्षेत्रमा उनको नयाँ विकासहरू बारे जान्न पाउनेछौं: अनुसन्धान प्रदर्शन गिरावट 100 सम्म मेशिन को क्लस्टर मा साझा प्रोटोकल वितरित, प्रसारण मीर प्रोटोकल विश्वव्यापी व्यवस्था संग र बाइजान्टिन गल्ती सहिष्णुता वा ब्लकलेस ब्लकचेन स्ट्रिमचेन, लेनदेन प्रशोधन समय कम गर्दै।


प्रसाद जयन्ती (प्रसाद जयन्ती) डार्टमाउथ कलेजका प्रोफेसर हुन्, जो उच्च वर्गमध्येको एक हो आइभी लीग, र लेखक अनुसन्धान कार्य बहु-थ्रेडेड एल्गोरिदमको क्षेत्रमा। यो वर्ष हाम्रो विद्यालयमा प्रसाद व्याख्यान दिनेछन् थ्रेड सिङ्क्रोनाइजेसन र विभिन्न विकल्पहरू लागू गर्न एल्गोरिदमहरू बारे mutex: गैर-अस्थिर मेमोरी मोडेलहरूमा अवरोध वा पुनर्स्थापना कार्यहरू, साथै छुट्टै पढ्ने र लेख्ने कार्यहरू।


एलेक्सी गोट्सम्यान (Alexey Gotsman) - IMDEA मा प्रोफेसर र लेखक अनुसन्धान कार्य एल्गोरिदमको सफ्टवेयर प्रमाणिकरणको क्षेत्रमा। हामीलाई अझै थाहा छैन कि एलेक्सीले यस वर्ष हाम्रो स्कूलमा के व्याख्यान दिनेछन्, तर हामी सफ्टवेयर प्रमाणिकरण र वितरण प्रणालीको चौराहेमा एउटा विषयमा गणना गर्दैछौं।

यो विद्यालय किन सम्मेलन होइन ?

सर्वप्रथम, व्याख्याताहरूले शैक्षिक ढाँचामा बोल्छन् र प्रत्येक ठूलो व्याख्यान दुई जोडीहरूद्वारा दिइन्छ: "डेढ घण्टा - ब्रेक - अर्को एक घण्टा र आधा।" विश्वविद्यालयको धेरै वर्ष पछि, सम्मेलनहरूमा घण्टा लामो प्रस्तुतीकरण र YouTube मा 10-मिनेट भिडियोहरूको बानीको साथ, यो गाह्रो हुन सक्छ। एक राम्रो लेक्चररले सम्पूर्ण तीन घण्टा रोचक बनाउँछ, तर सबैजना आफ्नै दिमागको प्लास्टिकको लागि जिम्मेवार छन्।

उपयोगी सल्लाह: स्कूल लेक्चरहरूको भिडियो रेकर्डिङहरूमा अभ्यास गर्नुहोस् 2017 वर्ष र भित्र 2019 वर्ष। अलविदा काम - नमस्ते Byzantine जनरल।

दोस्रो, व्याख्याताहरूले वैज्ञानिक अनुसन्धानमा ध्यान केन्द्रित गर्छन् र आधारभूत सिद्धान्तहरूको बारेमा कुरा गर्छन् वितरण प्रणाली र समानान्तर कम्प्युटिङ, साथै विज्ञान को अत्याधुनिक धारबाट समाचार। यदि तपाइँको लक्ष्य छिट्टै केहि प्रोग्राम गर्नु हो र यसलाई स्कूल पछि अर्को दिन उत्पादनमा प्रयोग गर्नु हो भने, यो पनि गाह्रो हुन सक्छ।

उपयोगी टिप: मा स्कूल लेक्चररहरू द्वारा अनुसन्धान पेपरहरू हेर्नुहोस् Google विद्वान и arXiv.org। यदि तपाइँ वैज्ञानिक पेपरहरू पढ्न रमाइलो गर्नुहुन्छ भने, तपाइँलाई विद्यालय पनि मनपर्नेछ।

तेस्रो, SPTDC 2020 सम्मेलन होइन, किनभने वितरण प्रणाली र समानान्तर कम्प्युटिङको सम्मेलन हो। हाइड्रा 2020. भर्खरै साथ Habré मा एक पोस्ट थियो उनको कार्यक्रम को एक सिंहावलोकन। गत वर्ष एसपीटीडीसी र हाइड्रा एकैपटक र एउटै स्थानमा भएको थियो । यस वर्ष तिनीहरू मितिहरूमा ओभरल्याप गर्दैनन्, त्यसैले तिनीहरू तपाईंको समय र ध्यानको लागि एकअर्कासँग प्रतिस्पर्धा गर्दैनन्।

उपयोगी टिप: हाइड्रा सम्मेलन कार्यक्रम हेर्नुहोस् र स्कूल पछि अर्को सम्मेलनमा भाग लिने विचार गर्नुहोस्। साता राम्रो रहनेछ।

विद्यालय कसरी पुग्ने ?

• तपाईंको पात्रोमा जुलाई 6 देखि जुलाई 9, 2020 सम्मका मितिहरू लेख्नुहोस् (वा अझ राम्रो, जुलाई 11, ताकि तपाईं स्कूल पछि हाइड्रा सम्मेलनमा जान सक्नुहुन्छ)।
• मन लगाउनुहोस्, तयार हुनुहोस्।
• टिकटहरू छान्नुहोस् र स्कूल जानुहोस्।

स्रोत: www.habr.com