Hidranın qollarında paylanmış sistemlər nəzəriyyəsinin baniləri

Hidranın qollarında paylanmış sistemlər nəzəriyyəsinin baniləriO Leslie Lamport paylanmış hesablamalarda əsas işlərin müəllifidir və siz onu sözdəki La hərflərindən də tanıya bilərsiniz. LaTeX - "Lamport TeX". İlk dəfə 1979-cu ildə konsepsiyanı təqdim edən o idi ardıcıl ardıcıllıq, və onun məqaləsi "Çoxprosesli proqramları düzgün icra edən çoxprosessorlu kompüteri necə etmək olar" Dijkstra Mükafatını aldı (daha doğrusu, 2000-ci ildə mükafat köhnə şəkildə adlandırıldı: "PODC Nüfuzlu Kağız Mükafatı"). Onun haqqında var Vikipediya məqaləsi, burada daha maraqlı bağlantılar əldə edə bilərsiniz. Problemləri həll etmək üçün həyəcanlısınızsa, baş verənlərdən əvvəl və ya Bizans generallarının problemləri (BFT), onda başa düşməlisiniz ki, bütün bunların arxasında Lamport dayanır.

O, həmçinin tezliklə paylanmış hesablamalar üzrə yeni konfransımıza - iyulun 11-12-də Sankt-Peterburqda keçiriləcək Hydra konfransına gələcək. Gəlin görək bu hansı heyvandır.

Hydra2019

Multithreading kimi mövzular bizim konfranslarımızda ən populyarlardandır, həmişə olub. İndi bu otaq boş idi, amma sonra bir şəxs yaddaş modeli haqqında danışan səhnəyə çıxır, baş verir - əvvəllər və ya çox yivli zibil kolleksiyası və - bum! — artıq minə yaxın insan oturub diqqətlə dinləmək üçün bütün mövcud yeri tutur. Bu uğurun mahiyyəti nədir? Bəlkə hamımızın əlimizdə paylanmış hesablamaları təşkil edə bilən bir növ aparatımız olduğuna görədir? Yoxsa onu layiq olduğu kimi yükləyə bilməməyimizi şüuraltı olaraq anlayırıq? Bir Sankt-Peterburq kvantının (yəni, maliyyə kəmiyyət analitiki və tərtibçisi) real hekayəsi var ki, o, özünü yalnız onun tək başına istifadə edə biləcəyi bir hesablama klasterinin sahibinə tapdı. İndikindən qat-qat artıq olan tapşırıqlarınızı yerinə yetirmək qabiliyyətiniz olsaydı, nə edərdiniz?

Belə populyarlıq sayəsində məhsuldarlıq və səmərəli hesablama mövzusu konfransın gündəliyinə yayılmağa meyllidir. Performans haqqında iki günlük hesabatların neçəsi hazırlana bilər - üçdə biri, üçdə ikisi? Bəzi yerlərdə bu artımı məhdudlaşdıran süni məhdudiyyətlər var: performansa əlavə olaraq, yeni veb çərçivələr, bir növ devops və ya memarlıq astronavtikası üçün hələ də yer olmalıdır. Xeyr, performans, hamımızı yeməyəcəksiniz!

Yoxsa əks yolla gedə, imtina edib vicdanla tamamilə paylanmış hesablamalar haqqında və yalnız onlar haqqında olacaq bir konfrans təşkil edə bilərsiniz. Və budur, Hydra.

Səmimi olaraq etiraf edək ki, bu gün bütün hesablamalar bu və ya digər şəkildə paylanır. İstər çoxnüvəli maşın, istər hesablama klasteri, istərsə də geniş miqyaslı paylanmış xidmət olsun, hər yerdə bir-biri ilə sinxronlaşdırılaraq paralel olaraq müstəqil hesablamalar aparan bir çox proseslər mövcuddur. Hydra bunun nəzəri olaraq necə işlədiyinə və praktikada necə işlədiyinə həsr olunacaq.

Konfrans proqramı

Proqram hazırda formalaşma mərhələsindədir. Buraya paylanmış sistemlər nəzəriyyələrinin yaradıcılarının və istehsalatda onlarla işləyən mühəndislərin hesabatları daxil edilməlidir.

Məsələn, Microsoft Research-dən Leslie Lamport və Braun Universitetindən Maurice Herlihy-nin iştirakı artıq məlumdur.

Hidranın qollarında paylanmış sistemlər nəzəriyyəsinin baniləri Maurice Herlihy - Kompüter Elmləri üzrə çox məşhur və hörmətli professor, onun haqqında da məlumatlar var Vikipediya səhifəsi, burada linklər və əsərlər arasında göz gəzdirə bilərsiniz. Orada iş üçün birinci olan iki Dijkstra mükafatını görə bilərsiniz "Gözləməsiz Sinxronizasiya", ikincisi, daha yeni - "Tranzaksiya yaddaşı: Kilidsiz məlumat strukturları üçün arxitektura dəstəyi". Yeri gəlmişkən, bağlantılar hətta SciHub-a deyil, Brown Universitetinə və Virciniya Texnologiya Universitetinə aparır, siz açıb oxuya bilərsiniz.

Maurice “Paylanılmış hesablama perspektivindən blokçeynlər” adlı əsas məruzə ilə çıxış edəcək. Əgər maraqlanırsınızsa, Sankt-Peterburq JUG-dən Morisin məruzəsinin qeydinə baxa bilərsiniz. Mövzunu nə qədər aydın və başa düşülən şəkildə çatdırdığını qiymətləndirin.

Hidranın qollarında paylanmış sistemlər nəzəriyyəsinin baniləri“İkili Məlumat Strukturları” adlı ikinci əsas məruzə oxunacaq Michael Scott Rochester Universitetindən. Və təxmin edin - onun da öz var Vikipediya səhifəsi. Viskonsin ştatındakı evdə o, Viskonsin-Madison Universitetində dekan kimi işi ilə tanınır və dünyada o, Duq Li ilə birlikdə Java kitabxanalarının bloklanmayan alqoritmləri və sinxron növbələrini inkişaf etdirən adamdır. iş. O, Dijkstra mükafatını Herlihydən üç il sonra “Paylaşılan yaddaşlı multiprosessorlarda miqyaslana bilən sinxronizasiya üçün alqoritmlər” əsərinə görə aldı (gözlənildiyi kimi, açıqca yalan danışır Rochester Universitetinin onlayn kitabxanasında).

İyulun ortalarına hələ çox vaxt var. Proqramı təkmilləşdirdikcə və iyul ayına yaxınlaşdıqca sizə qalan məruzəçilər və onların mövzuları haqqında məlumat verəcəyik.

Ümumiyyətlə, sual yaranır - niyə biz yayda Hydra edirik? Axı bu, aşağı mövsümdür, bayramlardır. Məsələ burasındadır ki, çıxış edənlər arasında universitet müəllimləri var və başqa vaxt onlar üçün məşğuldur. Sadəcə olaraq başqa tarixləri seçə bilmədik.

Müzakirə sahələri

Digər konfranslarda belə olur ki, natiq ona lazım olanı oxuyub dərhal çıxıb gedir. İştirakçıların onu axtarmağa belə vaxtı yoxdur - axırda növbəti hesabat demək olar ki, fasiləsiz başlayır. Bu, çox ağrılıdır, xüsusən də Lamport, Herlihy və Scott kimi mühüm insanlar iştirak edirsə və siz əslində onlarla görüşmək və nəyisə müzakirə etmək üçün konfransa gedirsiniz.

Biz bu problemi həll etdik. Məruzəsindən dərhal sonra spiker ən azı markerli lövhə ilə təchiz olunmuş xüsusi müzakirə sahəsinə gedir və sizin kifayət qədər vaxtınız var. Formal olaraq, məruzəçi ən azı təqdimatlar arasındakı bütün fasilə zamanı orada olacağını vəd edir. Əslində bu müzakirə sahələri bilərsiniz saatlarla uzanmaq (natiqin istəyi və dözümlülüyündən asılı olaraq).

Lamporta gəlincə, əgər mən düzgün başa düşdümsə, o, mümkün qədər çox insanı buna inandırmaq istəyir TLA+ - bu yaxşı haldır. (Vikipediyada TLA+ haqqında məqalə). Bəlkə də bu, mühəndislər üçün yeni və faydalı bir şey öyrənmək üçün yaxşı bir şans olacaq. Leslie bu variantı təklif edir - maraqlananlar onun keçmiş mühazirələrinə baxa və suallarla gələ bilərlər. Yəni, əsas çıxış əvəzinə ixtisaslaşdırılmış sual-cavab sessiyası, daha sonra isə müzakirə zonası ola bilər. Bir az googling etdim və əla birini tapdım. TLA+ kursu (rəsmi dublyaj YouTube-da pleylist) və bir saatlıq mühazirə "Kodeksdən yuxarı düşünmək" Microsoft Fakültəsi Sammitindən.

Əgər siz bütün bu insanları Vikipediyadan və kitab üzlüklərindəki qranitdə yazılmış adlar kimi qəbul edirsinizsə, onlarla şəxsən görüşməyin vaxtıdır! Söhbət edin və elmi məqalələrin səhifələrinin cavab verməyəcəyi suallar verin, lakin onların müəllifləri əlaqə qurmaqdan məmnun olacaqlar.

Kağız üçün zəng

Heç kimə sirr deyil ki, indi məqaləni oxuyanların çoxu bizə olduqca maraqlı bir şey söyləməkdən çəkinmir. Mühəndislik baxımından, elmi baxımdan - istənilən nöqteyi-nəzərdən. Paylanmış hesablama hər kəs üçün yer olan çox geniş və dərin bir mövzudur.

Lamportla yanaşı yarışmaq istəyirsinizsə, bu, tamamilə mümkündür. Natiq olmaq üçün sizə lazımdır linki izləyin, orada hər şeyi diqqətlə oxuyun və təlimatlara uyğun olaraq edin.

Əmin olun, prosesə qoşulan kimi onlar sizə kömək edəcəklər. Proqram Komitəsinin hesabatın özünə, onun mahiyyətinə və dizaynına kömək etmək üçün kifayət qədər imkanları var. Koordinator sizə təşkilati məsələləri həll etməyə kömək edəcək və s.

Tarixləri olan şəklə xüsusi diqqət yetirin. İyul ayı iştirakçı üçün kifayət qədər uzaq bir tarixdir, lakin spiker indi fəaliyyətə başlamalıdır.

Hidranın qollarında paylanmış sistemlər nəzəriyyəsinin baniləri

SPTDC Məktəbi

Konfrans SPTDC məktəbi ilə eyni saytda keçiriləcək, buna görə də məktəbə bilet alan hər kəs üçün konfransa biletlər olacaq. 20% endirimlə.

Paylanmış Hesablama Təcrübəsi və Nəzəriyyəsi üzrə Yay Məktəbi (SPTDC) paylanmış sistemlərin praktiki və nəzəri aspektləri üzrə geniş kurslar təqdim edən, müvafiq sahədə tanınmış ekspertlər tərəfindən tədris olunan məktəbdir.

Məktəb ingilis dilində keçiriləcək, ona görə də əhatə olunan mövzuların siyahısı belə görünür:

  • Paralel məlumat strukturları: düzgünlük və səmərəlilik;
  • Qeyri-sabit yaddaş üçün alqoritmlər;
  • Paylanmış hesablama qabiliyyəti;
  • Paylanmış maşın öyrənməsi;
  • Dövlət-maşın replikasiyası və Paxos;
  • Bizans qüsurlarına dözümlülük;
  • Blokçeynin alqoritmik əsasları.

Aşağıdakı məruzəçilər çıxış edəcəklər:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Braun Universiteti);
  • Michael Scott (Rochester Universiteti);
  • Dan Alistarh (IST Avstriya);
  • Trevor Braun (Waterloo Universiteti);
  • Eli Gafni (UCLA);
  • Denni Hendler (Ben Qurion Universiteti);
  • Acour Mostefaoui (Nant Universiteti).

Pleylist YouTube-da əvvəlki məktəbin hesabatlarına sərbəst baxa bilərsiniz:

Sonrakı addımlar

Konfransın proqramı hələ də formalaşmaqdadır. Xəbərləri Habré və ya sosial şəbəkələrdə izləyin (fb, vk, cuqquldamaq).

Əgər siz həqiqətən də konfransa inanırsınızsa (və ya “Erkən Quş” adlanan xüsusi giriş qiymətindən yararlanmaq istəyirsinizsə), vebsayta daxil ola və bilet almaq.

Hydra-da görüşənədək!

Mənbə: www.habr.com

Добавить комментарий