SPTDC 2020 - მესამე სკოლა განაწილებული გამოთვლის პრაქტიკისა და თეორიის შესახებ

თეორია არის, როცა ყველაფერი იცი, მაგრამ არაფერი მუშაობს.
პრაქტიკა არის, როცა ყველაფერი მუშაობს, მაგრამ არავინ იცის რატომ.
განაწილებულ სისტემებში, თეორია და პრაქტიკა გაერთიანებულია:
არაფერი მუშაობს და არავინ იცის რატომ.

იმის დასამტკიცებლად, რომ ეპიგრაფში ხუმრობა აბსოლუტური სისულელეა, მესამედ ვატარებთ SPTDC-ს (სკოლა პრაქტიკისა და განაწილებული გამოთვლის თეორიის შესახებ). ჩვენ უკვე განვიხილეთ სკოლის ისტორია, მისი თანადამფუძნებლები პიოტრ კუზნეცოვი და ვიტალი აქსიონოვი, ასევე JUG Ru Group-ის მონაწილეობა SPTDC-ის ორგანიზებაში. განუცხადა ჰაბრეზე. ამიტომ, დღეს ჩვენ ვსაუბრობთ 2020 წლის სკოლაზე, ლექციებზე და ლექტორებზე, ასევე სკოლასა და კონფერენციას შორის განსხვავებაზე.

SPTDC სკოლა ჩატარდება 6 წლის 9 ივლისიდან 2020 ივლისის ჩათვლით მოსკოვში.

ყველა ლექცია ჩატარდება ინგლისურ ენაზე. ლექციების ძირითადი თემები: მუდმივი კონკურენტული გამოთვლები, კრიპტოგრაფიული ხელსაწყოები განაწილებული სისტემებისთვის, კონსენსუსის პროტოკოლების გადამოწმების ფორმალური მეთოდები, თანმიმდევრულობა ფართომასშტაბიან სისტემებში, განაწილებული მანქანათმცოდნეობა.

მაშინვე მიხვდით, რა სამხედრო წოდების არიან სურათზე გამოსახული პერსონაჟები? Გაღმერთებ.

ლექტორები და ლექციები

ნირ შავიტი (ნირ შავიტი) - პროფესორი MIT-სა და თელ-ავივის უნივერსიტეტში, დიდი წიგნის თანაავტორი მრავალპროცესორული პროგრამირების ხელოვნება, მფლობელი დიკსტრას პრიზი განვითარებისა და განხორციელებისთვის პროგრამული ოპერაციული მეხსიერება (STM) და გოდელის პრემია მისი მუშაობისთვის ალგებრული ტოპოლოგიის გამოყენებაზე საზიარო მეხსიერების გამოთვლის მოდელირებაში, კომპანიის თანადამფუძნებელი ნერვული მაგია, რომელიც ქმნის სწრაფ მანქანათმცოდნეობის ალგორითმებს ჩვეულებრივი პროცესორებისთვის და, რა თქმა უნდა, აქვს საკუთარი ვიკიპედიის გვერდები მომაბეზრებელი და საზიზღარი ფოტოსურათით. ნირმა უკვე მიიღო მონაწილეობა ჩვენს სკოლაში 2017 წელს, სადაც მან ყოვლისმომცველი მიმოხილვა მისცა დაბლოკვის ტექნიკის შესახებ (ნაწილი 1, ნაწილი 2). ჩვენ ჯერ არ ვიცით, რაზე ისაუბრებს ნირი წელს, მაგრამ იმედი გვაქვს სიახლეების მეცნიერების წინა პლანზე.


მაიკლ სკოტი (მაიკლ სკოტი) - მკვლევარი როჩესტერის უნივერსიტეტი, რომელიც ცნობილია ჯავის ყველა დეველოპერისთვის, როგორც შემქმნელი არადაბლოკვის ალგორითმები და სინქრონული რიგები ჯავის სტანდარტული ბიბლიოთეკიდან. რა თქმა უნდა, Dijkstra-ს განვითარების პრიზით სინქრონიზაციის ალგორითმები საერთო მეხსიერების გამოთვლისთვის და საკუთარი ვიკიპედიის გვერდი. გასულ წელს მაიკლმა წაიკითხა ლექცია ჩვენს სკოლაში მონაცემთა არაბლოკირების სტრუქტურების შესახებ (ნაწილი 1, ნაწილი 2). წელს ის გეტყვით პროგრამირების გამოყენების შესახებ არასტაბილური მეხსიერება (NVM), რომელიც ამცირებს პროგრამის სირთულეს და მეხსიერების ზედმეტ დატვირთვას "რეგულარულ" შემთხვევითი წვდომის მეხსიერებასთან (DRAM) შედარებით.


მიდის კეიდარი (იდიტ კეიდარი) - ტექნიონის პროფესორი და მფლობელი ჰირშის ინდექსი დაახლოებით 40 (რაც ძალიან, ძალიან მნიშვნელოვანი) ამისთვის ორასი სამეცნიერო სტატია განაწილებული გამოთვლის, მრავალძაფის და ხარვეზების ტოლერანტობის სფეროში. იდიტი პირველად მონაწილეობს ჩვენს სკოლაში, სადაც ის წაიკითხავს ლექციას მონაცემთა განაწილებული შენახვის ფუნქციონირების ძირითადი ასპექტების შესახებ: განაწილებული მეხსიერების ემულაცია, კონსენსუსის განვითარება და კონფიგურაციის ცვლილებები.


როდრიგო როდრიგესი (როდრიგო როდრიგესი) - პროფესორი Técnico-ში, ლაბორატორიის წევრი INESC-ID და ავტორი კვლევითი სამუშაო განაწილებული სისტემების სფეროში. წელს ჩვენს სკოლაში როდრიგოში გეტყვით თანმიმდევრულობისა და იზოლაციის შესახებ მონაცემთა განაწილებულ მაღაზიებში და ასევე გავაანალიზებთ გამოყენებით CAP თეორემები თანმიმდევრულობისა და იზოლაციის რამდენიმე მოდელის პრაქტიკაში მიზანშეწონილობა.


ჩენ ჯინგი (ჯინ ჩენი) - პროფესორი ნიუ-იორკის სახელმწიფო უნივერსიტეტში სტონი ბრუკში, ავტორი კვლევითი სამუშაო ბლოკჩეინის დარგში და წამყვანი მეცნიერი Algorand - კომპანია და ბლოკჩეინის პლატფორმა, რომელიც იყენებს კონსენსუსის ალგორითმს მთლიანად ეფუძნება ფსონის მტკიცებულება. წელს ჩვენს სკოლაში ჩენი ისაუბრებს ალგორანდის ბლოკჩეინზე და მისი საინტერესო თვისებების მიღწევის გზებზე: ქსელის გამოთვლით რესურსებზე დაბალი მოთხოვნები, ტრანზაქციის ისტორიის გაყოფის შეუძლებლობა და ტრანზაქციის დამუშავების გარანტია ბლოკჩეინში დამატების შემდეგ.


კრისტიან კაშინი (კრისტიან კაჩინი) არის ბერნის უნივერსიტეტის პროფესორი, ხელმძღვანელობს კვლევით ჯგუფს მონაცემთა დაცვის სფეროში, წიგნის თანაავტორი.შესავალი საიმედო და უსაფრთხო განაწილებულ პროგრამირებაში“, ბლოკჩეინის პლატფორმის დეველოპერი ჰიპერლინგერის ქსოვილი (მასზე საუბარიც კი იყო პოსტი Habré-ზე) და ავტორი კვლევითი სამუშაო განაწილებულ სისტემებში კრიპტოგრაფიისა და უსაფრთხოების სფეროში. წელს ჩვენს სკოლაში კრისტიანი წაიკითხავს ლექციას ოთხნაწილიანი სერია განაწილებული გამოთვლის კრიპტოგრაფიული ხელსაწყოების შესახებ: სიმეტრიული და ასიმეტრიული კრიპტოგრაფია, აგრეთვე გაზიარებული გასაღების კრიპტოგრაფია, ფსევდო შემთხვევითი რიცხვები და გადამოწმებადი შემთხვევითი რიცხვების გენერაცია.


მარკო ვუკოლიჩი (მარკო ვუკოლიჩი) - IBM Research-ის მკვლევარი, ავტორი სამუშაო ბლოკჩეინში და Hyperledger Fabric-ის დეველოპერი. ჩვენ ჯერ არ ვიცით, რაზე ისაუბრებს მარკო წელს ჩვენს სკოლაში, მაგრამ ვიმედოვნებთ, რომ გავიგებთ მის უახლეს განვითარებას ბლოკჩეინის სფეროში: კვლევა. შესრულების დეგრადაცია გაავრცელა კონსენსუსის პროტოკოლები 100-მდე აპარატის კლასტერებზე, მაუწყებლობა მირის პროტოკოლი გლობალური წესრიგით და ბიზანტიური ხარვეზების შემწყნარებლობა ან უბლოკო ბლოკჩეინი StreamChainტრანზაქციის დამუშავების დროის მინიმუმამდე შემცირება.


პრასად ჯაიანტი (პრასად ჯაიანტი) არის დარტმუთის კოლეჯის პროფესორი, ერთ-ერთი ელიტა აივი ლიგადა ავტორი კვლევითი სამუშაო მრავალძაფიანი ალგორითმების სფეროში. წელს ჩვენს სკოლაში Prasad წაიკითხავს ლექციას ძაფების სინქრონიზაციისა და სხვადასხვა ვარიანტების განხორციელების ალგორითმების შესახებ მუტექსი: შეწყვეტის ან აღდგენის ფუნქციებით არასტაბილური მეხსიერების მოდელებში, ასევე ცალკე წაკითხვისა და ჩაწერის ოპერაციებით.


ალექსეი გოცმანი (ალექსეი გოცმანი) - IMDEA-ს პროფესორი და ავტორი კვლევითი სამუშაო ალგორითმების პროგრამული გადამოწმების სფეროში. ჩვენ ჯერ არ ვიცით, რაზე წაიკითხავს ალექსი ჩვენს სკოლაში წელს, მაგრამ ჩვენ ვიმედოვნებთ თემის პროგრამული გადამოწმებისა და განაწილებული სისტემების კვეთაზე.

რატომ არის ეს სკოლა და არა კონფერენცია?

პირველ რიგში, ლექტორები საუბრობენ აკადემიურ ფორმატში და თითოეულ დიდ ლექციას ატარებს ორი წყვილი: "საათნახევარი - შესვენება - კიდევ საათნახევარი." უნივერსიტეტიდან მრავალი წლის შემდეგ, ერთსაათიანი კონფერენციის პრეზენტაციებისა და 10 წუთიანი YouTube ვიდეოების ჩვევით, ეს შეიძლება რთული იყოს. კარგი ლექტორი მთელ სამ საათს საინტერესოს გახდის, მაგრამ ყველა პასუხისმგებელია საკუთარი ტვინის პლასტიურობაზე.

სასარგებლო რჩევა: ივარჯიშეთ სკოლის ლექციების ვიდეო ჩანაწერებზე 2017 წელი და 2019 წელი. მშვიდობით მუშაობა - გამარჯობა ბიზანტიელ გენერლებს.

მეორეც, ლექტორები ყურადღებას ამახვილებენ სამეცნიერო კვლევებზე და საუბრობენ ფუნდამენტურ პრინციპებზე განაწილებული სისტემები და პარალელური გამოთვლები, ასევე სიახლეები მეცნიერების უახლესი კუთხიდან. თუ თქვენი მიზანია რაიმეს სწრაფად დაპროგრამება და მისი წარმოება მეორე დღეს სკოლის დამთავრების შემდეგ, ეს ასევე შეიძლება რთული იყოს.

სასარგებლო რჩევა: მოძებნეთ სკოლის ლექტორების კვლევითი ნაშრომები Google სტიპენდიანტი и arXiv.org. თუ გიყვართ სამეცნიერო ნაშრომების კითხვა, სკოლაც მოგეწონებათ.

მესამე, SPTDC 2020 არ არის კონფერენცია, რადგან კონფერენცია განაწილებული სისტემებისა და პარალელური გამოთვლების შესახებ არის ჰიდრა 2020. ცოტა ხნის წინ იყო პოსტი Habré with-ზე მისი პროგრამის მიმოხილვა. გასულ წელს, SPTDC და Hydra ჩატარდა ერთდროულად და იმავე ადგილზე. წელს ისინი ერთმანეთს არ ემთხვევა პაემნებში, ამიტომ არ ეჯიბრებიან ერთმანეთს თქვენი დროისა და ყურადღებისთვის.

სასარგებლო რჩევა: შეამოწმეთ ჰიდრას კონფერენციის პროგრამა და იფიქრეთ სკოლის შემდეგ სხვა კონფერენციაზე დასწრებაზე. კარგი კვირა იქნება.

როგორ მივიდეთ სკოლაში?

• ჩაწერეთ თარიღები 6 წლის 9 ივლისიდან 2020 ივლისამდე თქვენს კალენდარში (ან კიდევ უკეთესი, 11 ივლისი, ასე რომ თქვენ შეგიძლიათ წახვიდეთ ჰიდრას კონფერენციაზე სკოლის შემდეგ).
• მოემზადე გული.
• აირჩიეთ ბილეთები და სკოლაში წასვლა.

წყარო: www.habr.com