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

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

هيدرا 2019

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

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

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

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

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

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

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

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

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

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

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

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

مناطق المناقشة

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

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

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

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

دعوة للمشاركة

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

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

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

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

مدرسة SPTDC

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

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

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

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

سيتحدث المتحدثون التالية أسماؤهم:

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

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

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

برنامج المؤتمر لا يزال قيد التشكيل. تابع الأخبار على حبري أو في شبكات التواصل الاجتماعي (fb, vk, أو تويتر ).

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

نراكم في Hydra!

المصدر: www.habr.com