أبراج الكرملين في احتضان هيدرا: مؤتمر الحوسبة المتوازية والموزعة Hydra 2020

عقد مؤتمر هيدرا الأول المخصص للأنظمة المتوازية والموزعة في سانت بطرسبرغ العام الماضي . وقدمت عروض من قبل جائزة ديكسترا و الحائزين على جائزة تورينج ( ليزلي Lampport ، موريس Herlichi و مايكل سكوت ) والمبدعين من المجمعين ولغات البرمجة (C ++، العودة، جافا، Kotlin)، ومطوري قواعد البيانات الموزعة (كاساندرا، CosmosDB، قاعدة بيانات ياندكس)، وكذلك منشئو وباحثو الخوارزميات وهياكل البيانات (CRDT ، Paxos ، هياكل البيانات بدون انتظار). بشكل عام ، يمكنك بالفعل أخذ إجازة في هذا المكان ، وتقليل نافذة IDE ، وفتح قائمة تشغيل YouTube مع أفضل تقارير Hydra 2019 - والسماح لجدولة المهام بالانتظار قليلاً.

بشكل عام ، لم يكن هناك مثل هذا المؤتمر ، والآن سيحدث مرة أخرى. مرة أخرى مع التقارير باللغة الإنجليزية ، لأنه لا توجد لغة أفضل للحديث عن الحوسبة المتوازية والموزعة. مرة أخرى في الصيف ، 6-9 يوليو ، لأن المتحدثين لديهم الوقت للدراسة والتدريس ، على سبيل المثال ، في جامعات كامبريدج وروتشستر وسانت بطرسبرغ ، وفي أوقات أخرى من العام ليست لهم.

يحتوي Hydra الجديد على برنامج أكثر تعقيدًا ، ومتحدثين جدد إلى جانب أبطال العام الماضي ، بالإضافة إلى شعور مألوف بالحماس الموزع بين المشاركين من المتشددين الموازيين في ثلاث غرف.




ضع على الفور مجموعة من البطاقات مع قمصان الجنرالات البيزنطيين - نريد أن يكون برنامج Hydra الجديد أكثر تفصيلاً وتنوعًا. آخر مرة خدشنا بها أظافر ، سنقوم الآن بحفر أوسع وأعمق. فيما يلي مواضيع Hydra 2020 مع اختلافات عن العام الماضي: كيف نتحدث عن كل هذا في برنامج مؤتمر واحد؟ هذا بالتأكيد ليس أسهل من اختبار إمكانية الخطية للعمليات في مساحة تخزين جديدة لامعة موزعة باستخدام Jepsen ، لكننا سنحاول. إليك ما هو موجود بالفعل في البرنامج: Cindy Sridharan هي مطورة أنظمة موزعة مقرها سان فرانسيسكو ، ومؤلفة كتاب صغير " مراقبة النظم الموزعة" (احصل على نسخة إلكترونية مجانية ) ومدونة شائعة

  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






، حيث يمكن فقط لمقالة " Best of 2019 in Tech Talks " أن تنقذ يومين من الراحة ، ولكن تركهم سعداء. في Hydra 2020 ، ستتحدث Cindy عن كيفية اختبار الأنظمة الموزعة ، حتى لو كانت تخزن الحالة.

مايكل سكوت هو باحث في جامعة روتشستر ، معروف لجميع مطوري جافا بأنه خالق الخوارزميات غير المحظورة وقوائم الانتظار المتزامنة من مكتبة جافا القياسية. بالطبع ، مع جائزة Dijkstra عن " الخوارزميات للمزامنة القابلة للتطوير على المعالجات متعددة الذاكرة المشتركة " وصفحة ويكيبيديا الخاصة بها . في العام الماضي ، قدم مايكل في Hydra أفضل تقرير (وفقًا لتقديراتك)هياكل البيانات المزدوجة ، والآن سوف نتحدث عن المشروع Hodor و العمل الآمن مع الذاكرة المشتركة المتاح لعمليات موازية.

هايدي هوارد هو باحث في جامعة كامبريدج ، والمعروف عن خلق مرنة باكسوس الموزعة توافق خوارزمية ، فضلا عن تعميم مرنة باكسوس و باكسوس سريعة . في العام الماضي ، تحدثت هايدي عن كيفية ترتيب وعمل عائلة خوارزميات Paxos (أحد أفضل التقارير) ، وستحاول الآن السير على الجليد الرقيق بين عشاق Paxos وأنصار Raft - ومشاركة رأيها في أي الخوارزميات أفضل.

ربما يكون Martin Kleppmann باحثًا معروفًا بشكل أفضل في جامعة كامبريدج ، وفي الماضي ، كان معالجًا للبيانات الضخمة كتب كتابًا مفهوما بشكل مدهش وبالتالي فريد من نوعه عن الأنظمة الموزعة التي تسمى Designing Data Intensive Applications . في العام الماضي ، شارك مارتن نتائج بحثه CRDT ، وما سيتحدث عنه الآن - سنعلن لاحقًا .

نيكيتا كوفال(نيكيتا كوفال) هو مطور كوروتين في فريق Kotlin ، ومعلم دورة البرمجة متعددة الخيوط في ITMO ، وعضو لجنة البرنامج في مؤتمر Hydra (نعم ، الذي يتحدث عنه هذا المقال). في العام الماضي، وتحدث نيكيتا حول اختبار هياكل البيانات متعددة الخيوط على منصة JVM باستخدام لين إنهاء إجراءات ، وعلى هيدرا 2020 انه سيتحدث عن SegmentQueueSynchronizer - فكرة مجردة التحقق من إطار ايريس ل المبرهن كوك لبرمجة البدائيون التزامن.

اتبع إعلاناتنا غير المتزامنة: في المجموع سيكون هناك حوالي ستة عشر تقارير في المؤتمر ، سنتحدث قريبًا عن الباقي. ومع ذلك ، بالطبع ، ستكون هناك مناطق نقاش في المؤتمر ، حيث من الضروري اختبار المتحدثين مع الأسئلة في واحد أو أكثر من الجداول حتى يتم التوصل إلى توافق في الآراء.


وإذا كنت محظوظًا ، فسوف يوقع عليك مارتن كليبمان كتابًا.

نعم ، بالتوازي مع مؤتمر Hydra 2020 ، الذي سيعقد في الفترة من 6 إلى 9 يوليو ، SPTDC 2020 ، المدرسة الصيفية الثالثة في نظرية وممارسة الحوسبة الموزعة. ستجد هناك أحاسيس يصعب الحصول عليها في المؤتمر ، لذلك سنتحدث عن المدرسة في منشور منفصل.

ماذا الان؟ أولاً ، تابع الأخبار على حبري والشبكات الاجتماعية ( Facebook و Vkontakte و Twitter)

ثانيًا ، إذا شعرت بالفعل برغبة لا تُقاوم في حضور المؤتمر - قم بدراسة الموقع ، حيث يمكنك بالفعل شراء التذاكر .

ثالثًا ، لا تفوت فرصة الدردشة مع لجنة برنامج مؤتمر Hydra 2020 في التعليقات. سيسعد أعضاء الكمبيوتر بالتحدث معك حول مواضيع المؤتمر القادم.

قابلني في هيدرا!