هذا هو Leslie Lampport - مؤلف العمل الأساسي في الحوسبة الموزعة ، ويمكنك أيضًا معرفته بالحروف La في كلمة La TeX - "Lamport TeX". هذه هي المرة الأولى التي يقدم فيها مفهوم الاتساق الثابت مرة أخرى في عام 1979 ، وفاز مقالته "كيفية صنع كمبيوتر متعدد المعالجات ينفذ بشكل صحيح برامج متعددة المعالجات" بجائزة Dijkstra (وبشكل أكثر دقة ، في عام 2000 ، تم استدعاء الجائزة بالطريقة القديمة: "PODC Influential Paper Award" "). هناك مقال حول ويكيبيديا عنه حيث يمكنك الحصول على بعض الروابط الأكثر إثارة للاهتمام. إذا كنت مسروراً بحل المشكلات التي تحدث قبل أو بمشاكل الجنرالات البيزنطيين (BFT) ، فعليك أن تفهم أن لامبورت وراء كل هذا.

سيحضر أيضًا مؤتمرنا الجديد حول الحوسبة الموزعة - Hydra ، والذي سيعقد يومي 11 و 12 يوليو في سان بطرسبرغ. دعونا نرى أي نوع من الوحش هذا.

هيدرا 2019

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

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

أو يمكنك الذهاب في الاتجاه المعاكس ، والتخلي عن وإجراء مؤتمر بصدق سيكون بالكامل حول الحوسبة الموزعة وعنهم فقط. وهنا هي ، هيدرا.

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

برنامج المؤتمر

البرنامج حاليا في عملية التكوين. يجب أن تتضمن تقارير من مؤسسي نظريات الأنظمة الموزعة والمهندسين الذين يعملون معهم على المنتج.

على سبيل المثال ، أصبح معروفًا الآن بمشاركة ليزلي لامبورت من Microsoft Research وموريس هيرليهي من جامعة براون.

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

موريس على وشك عقد كلمة رئيسية تسمى "Blockchains من منظور الحوسبة الموزعة". إذا كنت مهتمًا ، يمكنك إلقاء نظرة على تسجيل تقرير موريس من St. Petersburg JUG. تقييم مدى وضوح ونقل الموضوع.

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

لا يزال هناك الكثير من الوقت حتى منتصف يوليو. سنتحدث عن بقية المتحدثين ومواضيعهم حيث يتم توضيح البرنامج ويقترب من يوليو.

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

مجالات المناقشة

في مؤتمرات أخرى ، يحدث أن يقرأ المتحدث ما هو مطلوب ويترك على الفور. لا يتوفر للمشاركين الوقت الكافي للبحث عنه - بعد كل شيء ، وبدون وجود فجوة ، يبدأ التقرير التالي. هذا أمر مؤلم للغاية ، خاصة إذا كان هناك أشخاص مهمون مثل Lamport و Herlichi و Scott ، وعادة ما تذهب إلى المؤتمر فقط للقاءهم ومناقشة شيء ما.

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

بالنسبة لـ Lamport ، إذا فهمت بشكل صحيح ، فهو يريد إقناع أكبر عدد ممكن من الناس أن TLA + أمر جيد. ( مقالة ويكيبيديا على TLA + ). ربما ستكون هذه فرصة جيدة للمهندسين لتعلم شيء جديد ومفيد. يقدم ليزلي هذا الخيار - أي شخص مهتم يمكنه أن يرى محاضراته السابقة ويأتي مع الأسئلة. هذا ، بدلاً من الكلمة الرئيسية ، قد تكون هناك جلسة أسئلة وأجوبة متخصصة ، ثم منطقة dicussion. لقد غوغل قليلاً ووجدت دورة TLA + ممتازة (تم تكرارها رسميًا بواسطة قائمة تشغيل على YouTube ) ومحاضرة لمدة ساعة بعنوان "التفكير فوق الشفرة" مع Microsoft Faculty Summit.

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

دعوة للأوراق

ليس سراً أن العديد من الذين يقرؤون المقالة لا يكرهون قول شيء مثير للاهتمام بدرجة كافية. من وجهة نظر هندسية ، من وجهة نظر علمية - من أي وجهة نظر. تعد الحوسبة الموزعة موضوعًا واسعًا وعميقًا جدًا ، حيث يوجد متسع للجميع.

إذا كنت ترغب في الأداء بجانب Lamport ، فهذا ممكن تمامًا. لتصبح متحدثًا ، يجب عليك اتباع الرابط ، وقراءة كل شيء هناك بعناية وتعليمه وفقًا للتعليمات.

كن هادئًا ، بمجرد انضمامك إلى العملية ، سوف يساعدك. تتمتع لجنة البرنامج بالقدرة على المساعدة في إعداد التقرير نفسه وجوهره وتصميمه. سيساعد المنسق في التعامل مع القضايا التنظيمية وما إلى ذلك.

اهتمام خاص بالصورة مع التواريخ. يوليو هو تاريخ بعيد إلى حد ما بالنسبة للمشارك ، ويجب أن يبدأ المتحدث في العمل الآن.

مدرسة SPTDC

سيعقد المؤتمر في نفس الموقع مع مدرسة SPTDC ، لذلك لكل شخص يشتري تذكرة إلى المدرسة ، تذاكر المؤتمر - مع خصم 20 ٪ .

المدرسة الصيفية حول الممارسة ونظرية الحوسبة الموزعة (SPTDC) هي مدرسة تقدم مجموعة واسعة من الدورات التدريبية حول الجوانب العملية والنظرية للأنظمة الموزعة ، والتي يتم تدريسها من قبل متخصصين معترف بهم في المجال ذي الصلة.

سيتم إجراء المدرسة باللغة الإنجليزية ، لذلك تبدو قائمة الموضوعات التي يتم تناولها:

• هياكل البيانات المتزامنة: صحة وكفاءة.
• خوارزميات للذاكرة غير المتطايرة ؛
• الحسابية الموزعة
• التعلم الآلي الموزع ؛
• النسخ المتماثل للدولة الجهاز و Paxos.
• خطأ البيزنطي التسامح.
• أساسيات خوارزمية من blockchains.

سيتكلم المتحدثون التاليون:

• ليزلي لامبورت (Microsoft) ؛
• موريس هيرليهي (جامعة براون) ؛
• مايكل سكوت (جامعة روتشستر) ؛
• دان أليستاره (IST Austria) ؛
• تريفور براون (جامعة واترلو) ؛
• ايلي جافني (UCLA) ؛
• داني هندلر (جامعة بن غوريون) ؛
• عاشور مصطفاوي (جامعة نانت).

يمكنك مشاهدة قائمة تشغيل التقارير المدرسية السابقة بحرية على YouTube:

الخطوات التالية

لا يزال برنامج المؤتمر قيد الإنشاء. تابع الأخبار على Habré أو في الشبكات الاجتماعية ( fb ، vk ، twitter ).

إذا كنت تؤمن حقًا بالمؤتمر (أو تريد استخدام سعر البداية الخاص ، كما يقولون ، "الطيور المبكرة") ، يمكنك الذهاب إلى الموقع وشراء التذاكر .

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