برج های کرملین در آغوش هایدرا: کنفرانس محاسبات موازی و توزیع شده Hydra 2020 در مسکو

سال گذشته در سن پترزبورگ بود اولین کنفرانس هایدرااختصاص داده شده به سیستم های موازی و توزیع شده. برگزیدگان ارائه هایی ارائه کردند جوایز دایکسترا и جوایز تورینگ (لزلی لمپورت, موریس هرلیهی и مایکل اسکات، سازندگان کامپایلرها و زبان های برنامه نویسی (C++، Go، Java، Kotlin)، توسعه دهندگان پایگاه های داده توزیع شده (Cassandra، CosmosDB، Yandex Database)، و همچنین سازندگان و محققان الگوریتم ها و ساختارهای داده (CRDT، Paxos، صبر کنید). -ساختارهای داده رایگان). به طور کلی، در این مرحله می توانید از قبل به تعطیلات بروید، پنجره IDE را به حداقل برسانید، یک لیست پخش در YouTube را با بهترین گزارش ها Hydra 2019 - و اجازه دهید زمان‌بندی کار کمی صبر کند.

در مجموع چنین کنفرانسی هرگز اتفاق نیفتاده است و اکنون نیز تکرار خواهد شد. باز هم با گزارش به زبان انگلیسی، زیرا هیچ زبان بهتری برای صحبت در مورد محاسبات موازی و توزیع شده وجود ندارد. باز هم در تابستان، 10 و 11 جولای، زیرا سخنرانان برای تحقیق و تدریس وقت دارند مثلاً در دانشگاه های کمبریج، روچستر و سن پترزبورگ و دیگر ایام سال برای آنها مناسب نیست.

با این حال، این بار Hydra در مسکو برگزار می شود، جایی که اکثر شرکت کنندگان کنفرانس سال گذشته برای گوش دادن به گزارش های اجماع توزیع شده و حافظه تراکنشی آمده بودند. Hydra جدید دارای یک برنامه پیچیده تر، سخنرانان جدید همراه با قهرمانان سال گذشته، و همچنین احساس آشنای هیجان از هاردکور موازی است که بین شرکت کنندگان در سه سالن توزیع شده است.

بیایید فوراً یک دسته کارت با ژنرال‌های بیزانسی رو به بالا روی میز بگذاریم - ما می‌خواهیم برنامه جدید Hydra دقیق‌تر و متنوع‌تر باشد. آخرین باری که با ناخن خراشیدیم، حالا بیایید بیشتر و عمیق تر حفاری کنیم. در اینجا تم های Hydra 2020 با تفاوت نسبت به سال گذشته آورده شده است:

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things


چگونه در برنامه یک کنفرانس در مورد همه اینها صحبت کنیم؟ مطمئناً ساده‌تر از آزمایش خطی‌پذیری عملیات در یک فروشگاه توزیع‌شده جدید و براق با استفاده از جپسن، اما ما تلاش می کنیم.

در اینجا چه کسی قبلاً در برنامه است:

سیندی سریدهان (Cindy Sridharan) - توسعه دهنده سیستم های توزیع شده از سانفرانسیسکو، نویسنده یک کتاب کوتاه قابلیت مشاهده سیستم های توزیع شده (گرفتن کپی الکترونیکی رایگان) و محبوب است پست وبلاگ، جایی که فقط یک مقاله وجود داردبهترین های 2019 در Tech Talks"می تواند شما را از چند روز تعطیلی نجات دهد، اما شما را خوشحال می کند. در Hydra 2020، سیندی به شما می گوید که چگونه تست سیستم های توزیع شده، حتی اگر حالت را ذخیره کنند.


مایکل اسکات (مایکل اسکات) - محقق از دانشگاه روچستر، برای همه توسعه دهندگان جاوا به عنوان خالق شناخته شده است الگوریتم های غیر مسدود کننده و صف های همزمان از کتابخانه استاندارد جاوا. البته با جایزه Dijkstra برای "الگوریتم‌هایی برای همگام‌سازی مقیاس‌پذیر در چند پردازنده‌های حافظه مشترک"و صاحب صفحه ویکی پدیا. سال گذشته، مایکل بهترین گزارش (به گفته شما) در مورد Hydra را ارائه کرد ساختارهای داده دوگانه، و اکنون او در مورد آن صحبت خواهد کرد پروژه هودور и کار ایمن با حافظه مشترک، در دسترس فرآیندهای موازی است.


هایدی هاوارد (هایدی هاوارد) - محقق از دانشگاه کمبریج، به دلیل ایجاد یک الگوریتم اجماع توزیع شده شناخته شده است Paxos انعطاف پذیر، و همچنین کار بر روی تعمیم Paxos انعطاف پذیر و Paxos سریع. سال گذشته، هایدی به نحوه کار و عملکرد آن گفت الگوریتم های خانواده Paxos (یکی از بهترین گزارش ها)، و اکنون سعی خواهم کرد روی یخ نازک بین آنها راه بروم دوستداران Paxos و طرفداران Raft - و نظر خود را در مورد اینکه کدام الگوریتم بهتر است به اشتراک بگذارد.


مارتین کلپمن (مارتین کلپمن) شاید حتی یک محقق مشهورتر از دانشگاه کمبریج و یک توسعه دهنده سابق سیستم های کلان داده باشد که کتابی به طرز شگفت انگیزی واضح و در نتیجه منحصر به فرد در مورد سیستم های توزیع شده نوشته است.طراحی برنامه های کاربردی داده فشرده" مارتین پارسال نتایج را به اشتراک گذاشت از تحقیقات CRDT آنها و آنچه اکنون به شما خواهیم گفت بعدا اعلام خواهیم کرد.


نیکیتا کووال (Nikita Koval) یک برنامه‌نویس برنامه‌نویسی در تیم Kotlin، مدرس دوره برنامه‌نویسی چند رشته‌ای در ITMO، و عضو کمیته برنامه کنفرانس Hydra (بله، همان چیزی است که این مقاله درباره آن است). سال گذشته نیکیتا در مورد آزمایش ساختارهای داده چند رشته ای بر روی پلتفرم JVM با استفاده از آن صحبت کرد لین چک، و در Hydra 2020 او خواهد گفت درباره SegmentQueueSynchronizer - تأیید شده با استفاده از چارچوب عنبیه برای اثبات کننده Coq انتزاع برای همگام سازی برنامه نویسی اولیه


اعلامیه های ناهمزمان ما را دنبال کنید: در مجموع حدود سه ده گزارش در کنفرانس وجود خواهد داشت، بقیه را به زودی به شما خواهیم گفت. همچنین، البته، در کنفرانس مناطق بحث وجود دارد که لازم است سخنرانان را با سؤالات در یک یا چند موضوع مورد آزمایش قرار داد تا به اجماع عمومی برسد.

و اگر خوش شانس باشید، مارتین کلپمن کتاب شما را امضا خواهد کرد.

بله، قبل از کنفرانس Hydra 2020، یعنی 6 تا 9 جولای، برگزار خواهد شد SPTDC 2020 - سومین مدرسه تابستانی تئوری و عملی محاسبات توزیع شده. این به شما احساساتی می دهد که به سختی در یک کنفرانس به دست می آیند، بنابراین ما در یک پست جداگانه در مورد مدرسه صحبت خواهیم کرد.

حالا چی؟ ابتدا اخبار را در هابره و شبکه های اجتماعی دنبال کنید (فیس بوک, Vkontakte, توییتر).

ثانیاً، اگر از قبل تمایل غیر قابل مقاومتی برای شرکت در کنفرانس احساس می‌کنید، وب‌سایت را بررسی کنید، می‌توانید از قبل خرید بلیط.

سوم، فرصت گفتگو با کمیته برنامه کنفرانس Hydra 2020 را در نظرات از دست ندهید. اعضای PC خوشحال خواهند شد که در مورد موضوعات کنفرانس آینده با شما صحبت کنند.

شما را در Hydra می بینیم!

منبع: www.habr.com