यो लेस्ली लामपोर्ट वितरित कम्प्युटिङमा सेमिनल कार्यहरूको लेखक हो, र तपाईंले उहाँलाई शब्दमा ला अक्षरहरूद्वारा पनि चिन्न सक्नुहुन्छ। LaTeX - "Lamport TeX"। उनले नै पहिलो पटक सन् १९७९ मा यो अवधारणा ल्याएका थिए क्रमिक स्थिरता, र उनको लेख "कसरी मल्टिप्रोसेसर कम्प्युटर बनाउने जसले मल्टिप्रोसेस प्रोग्रामहरू सही रूपमा कार्यान्वयन गर्दछ" Dijkstra पुरस्कार प्राप्त भयो (अधिक सटीक रूपमा, 2000 मा पुरस्कार पुरानो तरिकामा बोलाइएको थियो: "PODC प्रभावशाली पेपर पुरस्कार")। उनको बारेमा छ विकिपीडिया लेख, जहाँ तपाइँ केहि थप रोचक लिङ्कहरू प्राप्त गर्न सक्नुहुन्छ। यदि तपाइँ समस्याहरू समाधान गर्न उत्साहित हुनुहुन्छ भने - पहिले वा बाइजान्टिन जनरलहरूको समस्या (BFT), त्यसोभए तपाईंले बुझ्नु पर्छ कि यो सबैको पछाडि Lamport छ।

उहाँ चाँडै नै वितरित कम्प्युटिङ - हाइड्रामा हाम्रो नयाँ सम्मेलनमा पनि आउनुहुनेछ, जुन 11-12 जुलाईमा सेन्ट पिटर्सबर्गमा हुनेछ। हेरौं यो कस्तो जनावर हो।

हाइड्रा 2019

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

यस्तो लोकप्रियताको कारण, उत्पादकता र कुशल कम्प्युटिङको विषय सम्मेलन एजेन्डामा फैलिएको छ। कार्यसम्पादनको बारेमा दुई दिनको रिपोर्टमध्ये कति दिन बनाउन सकिन्छ - एक तिहाइ, दुई तिहाई? केही स्थानहरूमा त्यहाँ कृत्रिम प्रतिबन्धहरू छन् जसले यो वृद्धिलाई सीमित गर्दछ: प्रदर्शनको अतिरिक्त, त्यहाँ अझै पनि नयाँ वेब फ्रेमवर्कहरूको लागि ठाउँ हुनुपर्दछ, केहि प्रकारको डेभप्स वा वास्तुकला एस्ट्रोनॉटिक्सको लागि। होइन, प्रदर्शन, तपाईंले हामीलाई सबै खानुहुने छैन!

वा तपाईं विपरित बाटो जान सक्नुहुन्छ, छोड्नुहोस् र इमानदारीपूर्वक एक सम्मेलन बनाउन सक्नुहुन्छ जुन पूर्ण रूपमा वितरित कम्प्युटिङ र तिनीहरूको बारेमा मात्र हुनेछ। र यहाँ छ, हाइड्रा।

इमानदारीपूर्वक स्वीकार गरौं कि आज सबै गणनाहरू एक वा अर्को तरिकामा वितरित छन्। बहु-कोर मेसिन होस्, कम्प्युटिङ क्लस्टर होस्, वा ठूलो मात्रामा वितरित सेवा होस्, त्यहाँ जताततै धेरै प्रक्रियाहरू छन् जसले समानान्तर रूपमा स्वतन्त्र गणनाहरू गर्दछ, एकअर्कासँग सिंक्रोनाइज गर्दछ। Hydra यसले सिद्धान्तमा कसरी काम गर्छ र व्यवहारमा कसरी काम गर्छ भन्ने कुरामा समर्पित हुनेछ।

सम्मेलन कार्यक्रम

कार्यक्रम अहिले गठन चरणमा छ। यसले वितरण प्रणालीहरूको सिद्धान्तका संस्थापकहरू र तिनीहरूसँग उत्पादनमा काम गर्ने इन्जिनियरहरूबाट रिपोर्टहरू समावेश गर्नुपर्छ।

उदाहरणका लागि, माइक्रोसफ्ट रिसर्चबाट लेस्ली ल्याम्पोर्ट र ब्राउन युनिभर्सिटीबाट मौरिस हर्लिहीको सहभागिता पहिले नै ज्ञात छ।

मौरिस हेरलिही - कम्प्यूटर साइन्स को एक धेरै प्रसिद्ध र सम्मानित प्रोफेसर, उनको बारेमा जानकारी पनि छ विकिपीडिया पृष्ठ, जहाँ तपाइँ लिङ्कहरू र कार्यहरू मार्फत ब्राउज गर्न सक्नुहुन्छ। त्यहाँ तपाईंले दुई Dijkstra पुरस्कारहरू देख्न सक्नुहुन्छ, पहिलो कामको लागि "प्रतीक्षा-मुक्त सिंक्रोनाइजेसन", र दोस्रो, हालसालै - "ट्रान्जेक्शनल मेमोरी: लक-मुक्त डाटा संरचनाहरूको लागि वास्तु समर्थन"। वैसे, लिङ्कहरूले SciHub लाई पनि नेतृत्व गर्दैन, तर ब्राउन विश्वविद्यालय र भर्जिनिया टेक विश्वविद्यालयमा, तपाइँ खोल्न र पढ्न सक्नुहुन्छ।

मौरिसले "वितरित कम्प्युटिङ परिप्रेक्ष्यबाट ब्लकचेन" नामक मुख्य भाषण राख्ने छ। यदि तपाइँ इच्छुक हुनुहुन्छ भने, तपाइँ सेन्ट पीटर्सबर्ग JUG बाट मौरिसको रिपोर्टको रेकर्डिङ हेर्न सक्नुहुन्छ। उसले विषयलाई कत्तिको स्पष्ट र बुझ्ने तरिकाले बुझाउँछ भनेर मूल्याङ्कन गर्नुहोस्।

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

असार मसान्त आउन अझै धेरै समय छ । हामीले कार्यक्रमलाई परिष्कृत गर्ने र जुलाईको नजिक पुग्दा हामी तपाईंलाई बाँकी वक्ताहरू र तिनीहरूका विषयहरूको बारेमा बताउनेछौं।

सामान्यतया, प्रश्न उठ्छ - हामी गर्मीमा हाइड्रा किन गर्छौं? आखिर, यो कम सिजन, बिदा हो। समस्या यो हो कि वक्ताहरू मध्ये विश्वविद्यालयका शिक्षकहरू छन्, र अन्य कुनै पनि समय तिनीहरूको लागि व्यस्त छ। हामीले अन्य मितिहरू छनौट गर्न सकेनौं।

छलफल क्षेत्रहरू

अन्य सम्मेलनहरूमा, यो हुन्छ कि वक्ताले उसलाई के चाहिन्छ पढ्छ र तुरुन्तै छोड्छ। सहभागीहरूसँग यो खोज्ने समय पनि छैन - आखिर, अर्को रिपोर्ट लगभग बिना अन्तराल सुरु हुन्छ। यो धेरै पीडादायी छ, विशेष गरी यदि Lamport, Herlihy र Scott जस्ता महत्त्वपूर्ण व्यक्तिहरू उपस्थित छन्, र तपाईं वास्तवमा उनीहरूलाई भेट्न र केहि छलफल गर्न सम्मेलनमा जाँदै हुनुहुन्छ।

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

ल्याम्पोर्टको हकमा, यदि मैले सही रूपमा बुझें भने, उसले सकेसम्म धेरै मानिसहरूलाई विश्वास दिलाउन चाहन्छ TLA+ - यो राम्रो कुरा हो। (विकिपिडियामा TLA+ को बारेमा लेख)। सायद यो इन्जिनियरहरु को लागी केहि नयाँ र उपयोगी सिक्ने को लागी एक राम्रो मौका हुनेछ। लेस्लीले यो विकल्प प्रदान गर्दछ - रुचि राख्नेहरूले उनको विगतका व्याख्यानहरू हेर्न र प्रश्नहरू लिएर आउन सक्छन्। त्यो हो, किनोटको सट्टा, त्यहाँ एक विशेष प्रश्नोत्तर सत्र, र त्यसपछि छलफल क्षेत्र पनि हुन सक्छ। मैले केही गुगलिङ गरें र एउटा उत्कृष्ट फेला पारेँ। TLA+ पाठ्यक्रम (आधिकारिक रूपमा डब YouTube मा प्लेलिस्ट) र एक घण्टा लामो व्याख्यान "संहिता माथि सोच" माइक्रोसफ्ट संकाय शिखर सम्मेलनबाट।

यदि तपाईंले यी सबै व्यक्तिहरूलाई विकिपिडिया र पुस्तक कभरहरूमा ग्रेनाइटमा राखिएको नामको रूपमा बुझ्नुभयो भने, उनीहरूलाई व्यक्तिगत रूपमा भेट्ने समय हो! च्याट गर्नुहोस् र प्रश्नहरू सोध्नुहोस् जुन वैज्ञानिक लेखहरूको पृष्ठहरूले जवाफ दिनेछैन, तर तिनीहरूका लेखकहरू सम्पर्क गर्न पाउँदा खुसी हुनेछन्।

पेपर्स लागि कल

यो कुनै गोप्य कुरा होइन कि अहिले लेख पढिरहेका धेरैले हामीलाई केही रोचक कुरा बताउन विपरित छैनन्। ईन्जिनियरिङ्को दृष्टिकोणबाट, वैज्ञानिक दृष्टिकोणबाट - कुनै पनि दृष्टिकोणबाट। वितरित कम्प्युटिङ एक धेरै फराकिलो र गहिरो विषय हो जहाँ सबैको लागि ठाउँ छ।

यदि तपाईं Lamport सँग प्रतिस्पर्धा गर्न चाहनुहुन्छ भने, यो पूर्ण रूपमा सम्भव छ। तपाईलाई वक्ता बन्न आवश्यक छ लिंक अनुसरण गर्नुहोस्त्यहाँ सबै कुरा ध्यानपूर्वक पढ्नुहोस् र निर्देशनहरू अनुसार गर्नुहोस्।

ढुक्क हुनुहोस्, तपाईं प्रक्रियामा सामेल हुने बित्तिकै, तिनीहरूले तपाईंलाई मद्दत गर्नेछन्। कार्यक्रम समितिसँग प्रतिवेदन आफैं, यसको सार र डिजाइनमा मद्दत गर्न पर्याप्त क्षमताहरू छन्। संयोजकले तपाईंलाई संगठनात्मक समस्याहरू र यस्तै अन्य कुराहरू समाधान गर्न मद्दत गर्नेछ।

मितिहरूसँग चित्रमा विशेष ध्यान दिनुहोस्। जुलाई सहभागीको लागि धेरै टाढाको मिति हो, तर वक्ताले अब अभिनय सुरु गर्न आवश्यक छ।

SPTDC स्कूल

सम्मेलन एसपीटीडीसी स्कूलको रूपमा एउटै साइटमा आयोजित हुनेछ, त्यसैले स्कूलको टिकट किन्ने सबैको लागि सम्मेलनको लागि टिकटहरू हुनेछन्। 20% छुट संग.

वितरण कम्प्युटिङको अभ्यास र सिद्धान्तमा समर स्कूल (SPTDC) एक विद्यालय हो जसले वितरण प्रणालीको व्यावहारिक र सैद्धान्तिक पक्षहरूमा पाठ्यक्रमहरूको एक विस्तृत श्रृंखला प्रदान गर्दछ, सम्बन्धित क्षेत्रमा मान्यता प्राप्त विशेषज्ञहरूद्वारा सिकाइन्छ।

विद्यालय अङ्ग्रेजीमा सञ्चालन हुनेछ, त्यसैले कभर गरिएका विषयहरूको सूची यस्तो देखिन्छ:

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

निम्न वक्ताहरूले बोल्नेछन्:

• Leslie Lamport (Microsoft);
• मौरिस हेरलिही (ब्राउन विश्वविद्यालय);
• माइकल स्कट (रोचेस्टर विश्वविद्यालय);
• दान एलिस्टरह (आईएसटी अस्ट्रिया);
• ट्रेवर ब्राउन (युनिभर्सिटी अफ वाटरलू);
• एली गफनी (UCLA);
• ड्यानी हेन्डलर (बेन गुरियन विश्वविद्यालय);
• Achour Mostefaoui (Nantes को विश्वविद्यालय)।

प्लेलिस्ट तपाईंले YouTube मा अघिल्लो विद्यालयका रिपोर्टहरू स्वतन्त्र रूपमा हेर्न सक्नुहुन्छ:

अर्को चरणहरू

सम्मेलनको कार्यक्रम अझै बनिरहेको छ । Habré वा सामाजिक सञ्जालहरूमा समाचारहरू पछ्याउनुहोस् (fb, vk, Twitter).

यदि तपाइँ साँच्चै सम्मेलनमा विश्वास गर्नुहुन्छ (वा विशेष प्रविष्टि मूल्यको फाइदा लिन चाहनुहुन्छ, जसलाई "प्रारम्भिक बर्ड" भनिन्छ), तपाइँ वेबसाइटमा जान सक्नुहुन्छ र टिकट खरिद गर्नुहोस्.

Hydra मा भेटौंला!

स्रोत: www.habr.com