Get best of the week

SPTDC 2020 - المدرسة الثالثة للممارسة ونظرية الحوسبة الموزعة

النظرية هي عندما تعرف كل شيء ولكن لا شيء يعمل.
الممارسة هي عندما يعمل كل شيء ولكن لا أحد يعرف لماذا.
في النظم الموزعة ، يتم الجمع بين النظرية والممارسة:
لا شيء يعمل ولا أحد يعرف السبب.

لإثبات أن النكتة في الكتابة هي غباء مطلق ، فهذه هي المرة الثالثة التي أجرينا فيها SPTDC (مدرسة حول الممارسة والنظرية للحوسبة الموزعة).تحدثنابالفعل عن تاريخ المدرسة ، مؤسسيها بترو كوزنتسوف و فيتالي أكسيونوف ، وكذلك عن مشاركة مجموعة JUG Ru في منظمة SPTDCفي حبري. لذلك ، اليوم - حول المدرسة في عام 2020 ، حول المحاضرات والمحاضرين ، وكذلك حول الاختلافات بين المدرسة والمؤتمر.

ستعقد مدرسة SPTDC في الفترة من 6 إلى 9 يوليو 2020 في موسكو.

ستكون جميع المحاضرات باللغة الإنجليزية.مواضيع المحاضرة الرئيسية: الحوسبة المتزامنة المستمرة ، أدوات التشفير للأنظمة الموزعة ، الطرق الرسمية للتحقق من بروتوكولات الإجماع ، الاتساق في الأنظمة واسعة النطاق ، التعلم الآلي الموزع.


خمن على الفور في أي رتبة عسكرية الشخصيات في الصورة؟ أنا أعشقك.


المحاضرين والمحاضرات


نير شافيت هو أستاذ في معهد ماساتشوستس للتكنولوجيا وجامعة تل أبيب ، وشارك في تأليف الكتاب العظيم فن برمجة المعالجات المتعددة ، الحائز على جائزة ديكسترا لتطوير وتنفيذ ذاكرة برمجة المعاملات (STM) ، وجائزة غودل لعمله على تطبيق طوبولوجيا الجبر على النمذجة الحسابية مع الذاكرة المشتركة ، المؤسس المشارك لـ Neural Magic ، وهي شركة تنشئ خوارزميات سريعة لتعلم الآلة لوحدات المعالجة المركزية التقليدية ، وبالطبع ، مالك صفحة ويكيبيديا الخاصة بها مع التصوير الفوتوغرافي المتقطع والتصوير. شارك نير بالفعل في مدرستنا في عام 2017 ، حيث أجرى مراجعة شاملة لتقنيات أخذ الأقفال ( الجزء الأول ،الجزء 2 ). ما سيتحدث عنه نير هذا العام ، لا نعرف حتى الآن ، لكننا نأمل في الحصول على أخبار من أحدث العلوم.

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

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

رودريجو رودريغز - أستاذ في تكنيكو ، عضو مختبر INESC-IDومؤلف البحث عن النظم الموزعة. هذا العام ، في مدرستنا ، سيتحدث رودريجو عن الاتساق والعزلة في مستودعات البيانات الموزعة ، وأيضًا ، باستخدام نظرية CAP ، سيحلل الجدوى في الممارسة العملية للعديد من نماذج الاتساق والعزلة.

Chen Jing (Jing Chen) - أستاذ في جامعة ولاية نيويورك في Stony Brook ، مؤلف أعمال البحث في مجال blokcheyna وعالم بارز في Algorand - شركة blokcheyn والمنصة ، باستخدام خوارزمية إجماع ، تستند بالكامل إلى إثبات الرهان. هذا العام ، في مدرستنا ، سيتحدث تشين عن blockchain Algorand وكيفية تحقيق خصائصه المثيرة للاهتمام: انخفاض الطلب على موارد الحوسبة في الشبكة ، واستحالة تقسيم سجل المعاملات وضمان إتمام معالجة المعاملات بعد إضافتها إلى blockchain.

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

Vukolich Marco (Marko Vukolic) - باحث في IBM Research ، يعمل المؤلف في مجال blokcheyna والمطور Hyperledger Fabric. لا نعرف ما الذي سيتحدث عنه ماركو في مدرستنا هذا العام ، ولكننا نأمل أن نتعرف على آخر تطوراته في مجال blockchain: دراسة عن تدهور أداء بروتوكولات الإجماع الموزعة على مجموعات تصل إلى 100 آلة ، وبروتوكول البث Mirالنظام العالمي والتسامح مع الخطأ البيزنطي أو bezblochnom blokcheyne StreamChain ، يقلل من وقت معالجة المعاملات.

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

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


لماذا هي مدرسة وليست مؤتمر؟


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

نصيحة مفيدة: تدرب على فيديوهات المحاضرات المدرسية في 2017 و 2019 . وداعا ، عمل - مرحبا ، جنرالات بيزنطيين.

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

تلميح مفيد: ابحث عن بحث محاضر مدرسي على Google Scholar و arXiv.org . إذا حصلت على مكانة عالية في أجهزة الاستدعاء العلمي ، فسوف تحب المدرسة أيضًا.

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

تلميح مفيد: انظر إلى برنامج مؤتمر Hydra وفكر في حضور المؤتمر بعد المدرسة. سيكون اسبوع جيد

كيف تصل إلى المدرسة؟


  • اكتب التواريخ من 6 يوليو إلى 9 يوليو 2020 (أو أفضل من 11 يوليو للذهاب إلى مؤتمر Hydra بعد المدرسة).
  • اجمع شجاعتك ، استعد.
  • اختر التذاكر الخاصة بك والذهاب إلى المدرسة.

More articles:


All Articles