იგი ლესლი ლამპორტი - განაწილებული გამოთვლების ფუნდამენტური ნაშრომების ავტორი და ასევე შეგიძლიათ იცნობდეთ სიტყვაში ლა ასოებით. LaTeX - "Lamport TeX". სწორედ მან პირველად შემოიტანა კონცეფცია ჯერ კიდევ 1979 წელს თანმიმდევრული თანმიმდევრულობადა მისი სტატია "როგორ შევქმნათ მრავალპროცესორული კომპიუტერი, რომელიც სწორად ახორციელებს მრავალპროცესიან პროგრამებს" მიიღო Dijkstra Award (უფრო ზუსტად, 2000 წელს ჯილდოს ძველად ეწოდა: "PODC Influential Paper Award"). არის მის შესახებ ვიკიპედიის სტატია, სადაც შეგიძლიათ მიიღოთ კიდევ რამდენიმე საინტერესო ბმული. თუ თქვენ ხართ აღელვებული პრობლემების გადაჭრაზე ხდება-ადრე ან ბიზანტიელი გენერლების პრობლემები (BFT), მათ უნდა გააცნობიერონ, რომ ამ ყველაფრის უკან ლამპორტი დგას.

და ის მალე მოვა ჩვენს ახალ კონფერენციაზე განაწილებული გამოთვლების შესახებ - Hydra, რომელიც გაიმართება 11-12 ივლისს სანკტ-პეტერბურგში. ვნახოთ, როგორი ცხოველია.

ჰიდრა 2019

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

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

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

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

კონფერენციის პროგრამა

პროგრამა ამჟამად დამუშავების პროცესშია. იგი უნდა შეიცავდეს მოხსენებებს განაწილებული სისტემების თეორიების დამფუძნებლებისა და მათთან წარმოებაში მომუშავე ინჟინრებისგან.

მაგალითად, ჩვენ უკვე ვიცით ლესლი ლამპორტის მონაწილეობის შესახებ Microsoft Research-იდან და მორის ჰერლიჰის ბრაუნის უნივერსიტეტიდან.

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

მორისი აპირებს უმასპინძლოს კონფერენციას სახელწოდებით „ბლოკჩეინები განაწილებული გამოთვლითი პერსპექტივიდან“. დაინტერესების შემთხვევაში შეგიძლიათ გადახედოთ მორისის მოხსენების ჩანაწერს სანკტ-პეტერბურგის იუგ-დან. შეაფასეთ რამდენად ნათლად და გასაგებად გადმოსცემს ის თემას.

წაიკითხება მეორე კონფერენცია, სახელწოდებით "Dual Data Structures". მაიკლ სკოტი როჩესტერის უნივერსიტეტიდან. და გამოიცანით - მასაც თავისი აქვს ვიკიპედიის გვერდი. სახლში, ვისკონსინში, ის ცნობილია ვისკონსინ-მედისონის უნივერსიტეტის დეკანის მუშაობით და მსოფლიოში ის არის ადამიანი, რომელმაც დუგ ლეასთან ერთად შეიმუშავა ის არადაბლოკვის ალგორითმები და სინქრონული რიგები, რომლებზეც მუშაობს Java ბიბლიოთეკები. . მან მიიღო Dijkstra პრიზი Herlihy-დან სამი წლის შემდეგ, ნაშრომისთვის "ალგორითმები მასშტაბური სინქრონიზაციისთვის საერთო მეხსიერების მულტიპროცესორებზე" (როგორც მოსალოდნელი იყო, ის ღიად წევს როჩესტერის უნივერსიტეტის ონლაინ ბიბლიოთეკაში).

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

ზოგადად, ჩნდება კითხვა - რატომ ვაკეთებთ ჰიდრას ზაფხულში? ყოველივე ამის შემდეგ, ეს არის სეზონი, არდადეგები. პრობლემა ის არის, რომ გამომსვლელებს შორის არიან უნივერსიტეტის პროფესორები და სხვა დრო მათთვის დატვირთულია. უბრალოდ სხვა თარიღები ვერ ავირჩიეთ.

სადისკუსიო ზონები

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

ჩვენ მოვაგვარეთ ეს პრობლემა. მოხსენებისთანავე მომხსენებელი მიდის სპეციალურ სადისკუსიო ზონაში, რომელიც აღჭურვილია მინიმუმ დაფით მარკერით და თქვენ საკმაოდ ბევრი დრო გაქვთ. ფორმალურად, მომხსენებელი გვპირდება, რომ იქ იქნება მინიმუმ მოხსენებებს შორის შესვენების დროს. სინამდვილეში ეს სადისკუსიო სფეროებია შეუძლია გაჭიმეთ საათობით (მოსაუბრეს სურვილისა და გამძლეობის მიხედვით).

რაც შეეხება ლამპორტს, თუ სწორად გავიგე, მას სურს რაც შეიძლება მეტი ადამიანი დაარწმუნოს ამაში TLA+ - ეს კარგი რამეა. (სტატია TLA+-ის შესახებ ვიკიპედიაში). შესაძლოა, ეს ინჟინრებისთვის კარგი შანსი იქნება ისწავლონ რაიმე ახალი და სასარგებლო. ლესლი ამ ვარიანტს გვთავაზობს – ვისაც აინტერესებს შეუძლია უყუროს მის წარსულ ლექციებს და მოვიდეს კითხვებით. ანუ ძირითადი ნოტის ნაცვლად შეიძლება იყოს, როგორც ეს იყო, სპეციალიზებული კითხვა-პასუხის სესია, შემდეგ კი სხვა სადისკუსიო ზონა. ცოტა დავგუგლე და მშვენიერი ვიპოვე TLA+ კურსი (ოფიციალურად გახმოვანებული დასაკრავი სია youtube-ზე) და ერთსაათიანი ლექცია "ფიქრი კოდექსზე მაღლა" Microsoft-ის ფაკულტეტის სამიტთან ერთად.

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

კონკურსი

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

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

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

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

SPTDC სკოლა

კონფერენცია გაიმართება SPTDC სკოლასთან იმავე საიტზე, ამიტომ ყველასთვის, ვინც ყიდულობს სკოლის ბილეთს, კონფერენციის ბილეთები - 20% ფასდაკლებით.

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

სკოლა ჩატარდება ინგლისურ ენაზე, ამიტომ აქ მოცემულია თემების ჩამონათვალი:

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

ისაუბრებენ შემდეგი მომხსენებლები:

• ლესლი ლამპორტი (Microsoft);
• მორის ჰერლიჰი (ბრაუნის უნივერსიტეტი);
• მაიკლ სკოტი (როჩესტერის უნივერსიტეტი);
• დენ ალისტარი (IST ავსტრია);
• ტრევორ ბრაუნი (ვატერლოოს უნივერსიტეტი);
• ელი გაფნი (UCLA);
• დენი ჰენდლერი (ბენ გურიონის უნივერსიტეტი);
• Achour Mostefaoui (ნანტის უნივერსიტეტი).

პლეილისტ წინა სკოლის რეპორტაჟებით თავისუფლად შეგიძლიათ ნახოთ YouTube-ზე:

შემდეგი ნაბიჯები

კონფერენციის პროგრამა ჯერ კიდევ ფორმირების პროცესშია. მიჰყევით სიახლეებს ჰაბრეზე ან სოციალურ ქსელებში (fb, vk, twitter).

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

შევხვდებით ჰიდრაში!

წყარო: www.habr.com