النظرية هي عندما تعرف كل شيء ولكن لا شيء يعمل.
الممارسة هي عندما ينجح كل شيء ولكن لا أحد يعرف السبب.
في الأنظمة الموزعة يتم الجمع بين النظرية والتطبيق:
لا شيء يعمل ولا أحد يعرف السبب.
لإثبات أن النكتة الواردة في النقوش هي غباء مطلق، فإننا نقيم SPTDC (مدرسة الممارسة ونظرية الحوسبة الموزعة) للمرة الثالثة. لقد ناقشنا بالفعل تاريخ المدرسة ومؤسسيها بيوتر كوزنتسوف وفيتالي أكسيونوف، بالإضافة إلى مشاركة مجموعة JUG Ru في تنظيم SPTDC قال على حبري. ولذلك نتحدث اليوم عن المدرسة في عام 2020، وعن المحاضرات والمحاضرين، وكذلك عن الاختلافات بين المدرسة والمؤتمر.
ستعقد مدرسة SPTDC في الفترة من 6 يوليو إلى 9 يوليو 2020 في موسكو.
جميع المحاضرات ستكون باللغة الإنجليزية. المواضيع الرئيسية للمحاضرات: الحوسبة المتزامنة المستمرة، أدوات التشفير للأنظمة الموزعة، الطرق الرسمية للتحقق من بروتوكولات التوافق، الاتساق في الأنظمة واسعة النطاق، التعلم الآلي الموزع.
هل خمنت على الفور ما هي الرتبة العسكرية للشخصيات الموجودة في الصورة؟ أنا أعشقك.
محاضرين ومحاضرات
نير شافيت (نير شافيت) - أستاذ في معهد ماساتشوستس للتكنولوجيا وجامعة تل أبيب، مؤلف مشارك لكتاب عظيم فن البرمجة متعددة المعالجات، مالك جائزة ديكسترا للتطوير والتنفيذ ذاكرة المعاملات البرمجية (اس تي ام) و جائزة جودل لعمله في تطبيق الطوبولوجيا الجبرية على نمذجة حوسبة الذاكرة المشتركة، وهو أحد مؤسسي الشركة السحر العصبي، والتي تنشئ خوارزميات تعلم آلي سريعة لوحدات المعالجة المركزية العادية، وبالطبع لها خوارزميات خاصة بها صفحات ويكيبيديا مع صورة محطما وقائظ. لقد شارك نير بالفعل في مدرستنا في عام 2017، حيث قدم لمحة شاملة عن تقنيات الحجب (جزء 1, جزء 2). لا نعرف بعد ما الذي سيتحدث عنه نير هذا العام، ولكننا نأمل في الحصول على أخبار من طليعة العلوم.
مايكل سكوت (مايكل سكوت) - باحث في جامعة روتشستر، المعروف لجميع مطوري Java باعتباره منشئًا الخوارزميات غير المحظورة وقوائم الانتظار المتزامنة من مكتبة جافا القياسية. بالطبع مع جائزة ديكسترا للتنمية خوارزميات التزامن لحوسبة الذاكرة المشتركة والخاصة صفحة ويكيبيديا. في العام الماضي، ألقى مايكل محاضرة في مدرستنا حول هياكل البيانات غير المحظورة (جزء 1, جزء 2). هذا العام هو سوف اقول حول البرمجة باستخدام ذاكرة غير متطايرة (NVM)، مما يقلل من تعقيد البرنامج وعبء الذاكرة مقارنةً بذاكرة الوصول العشوائي "العادية" (DRAM).
يذهب كيدار (عيديت كيدار) - أستاذ في التخنيون ومالك مؤشر هيرش حوالي 40 (وهو عدد كبير جدًا جدًا) لـ مائتي مقالة علمية في مجال الحوسبة الموزعة وتعدد الخيوط والتسامح مع الأخطاء. Idit تشارك في مدرستنا لأول مرة حيث هي سوف يلقي محاضرة حول الجوانب الأساسية لتشغيل تخزين البيانات الموزعة: محاكاة الذاكرة الموزعة، وتطوير الإجماع وتغييرات التكوين.
رودريجو رودريجيز (رودريغو رودريغز) - أستاذ في Técnico، عضو المختبر معرف INESC والمؤلف عمل بحثي في مجال النظم الموزعة. هذا العام في مدرستنا رودريغو سوف اقول حول الاتساق والعزلة في مخازن البيانات الموزعة، وسيتم أيضًا تحليل الاستخدام نظريات CAP الجدوى العملية لعدة نماذج من الاتساق والعزلة.
تشن جينغ (جينغ تشن) - أستاذ بجامعة ولاية نيويورك في ستوني بروك، مؤلف عمل بحثي في مجال blockchain وعالم رائد في Algorand - شركة ومنصة blockchain تستخدم خوارزمية إجماع تعتمد بالكامل على دليل على حصة. سيتحدث تشين هذا العام في مدرستنا عن Algorand blockchain وطرق تحقيق خصائصه المثيرة للاهتمام: انخفاض الطلب على موارد حوسبة الشبكة، واستحالة تقسيم سجل المعاملات وضمان إكمال معالجة المعاملات بعد إضافتها إلى blockchain.
كريستيان كاشين (كريستيان كاتشين) أستاذ بجامعة برن، يرأس مجموعة بحثية في مجال حماية البيانات، شارك في تأليف كتاب “مقدمة إلى البرمجة الموزعة الموثوقة والآمنة"، مطور منصة blockchain النسيج هيبيردلجر (كان هناك حتى حديث عنها آخر على حبري) والمؤلف عمل بحثي في مجال التشفير والأمن في الأنظمة الموزعة. هذا العام في مدرستنا المسيحية سوف يلقي محاضرة سلسلة من أربعة أجزاء حول أدوات التشفير للحوسبة الموزعة: التشفير المتماثل وغير المتماثل، بالإضافة إلى تشفير المفتاح المشتركوالأرقام العشوائية الزائفة و توليد أرقام عشوائية يمكن التحقق منها.
ماركو فوكوليتش (ماركو فوكوليتش) - باحث في شركة IBM Research، مؤلف من العمل في blockchain ومطور Hyperledger Fabric. لا نعرف بعد ما الذي سيتحدث عنه ماركو في مدرستنا هذا العام، ولكننا نأمل أن نتعرف على أحدث تطوراته في مجال blockchain: البحث انحطاط الأداء توزيع بروتوكولات الإجماع على مجموعات تصل إلى 100 جهاز، والبث بروتوكول مير مع النظام العالمي و التسامح مع الخطأ البيزنطي أو blockchain بدون كتل StreamChain، تقليل وقت معالجة المعاملات.
براساد جايانتي (براساد جايانتي) أستاذ في كلية دارتموث، وهو من النخبة لبلاب الدوري، والمؤلف عمل بحثي في مجال الخوارزميات متعددة الخيوط. هذا العام في مدرستنا براساد سوف يلقي محاضرة حول مزامنة الخيط والخوارزميات لتنفيذ الخيارات المختلفة كائن المزامنة: مع وظائف المقاطعة أو الاستعادة في نماذج الذاكرة غير المتطايرة، بالإضافة إلى عمليات القراءة والكتابة المنفصلة.
أليكسي جوتسمان (أليكسي جوتسمان) - أستاذ في IMDEA ومؤلف عمل بحثي في مجال التحقق البرمجي من الخوارزميات. لا نعرف بعد ما الذي سيحاضر عنه أليكسي في مدرستنا هذا العام، لكننا نعول على موضوع عند تقاطع التحقق من البرامج والأنظمة الموزعة.
لماذا هذه مدرسة وليس مؤتمر؟
أولاً، يتحدث المحاضرون بشكل أكاديمي وكل محاضرة كبيرة يلقيها ثنائيان: "ساعة ونصف - استراحة - ساعة ونصف أخرى." بعد سنوات عديدة من الجامعة، مع عادة تقديم عروض تقديمية في المؤتمرات لمدة ساعة ومقاطع فيديو على اليوتيوب مدتها 10 دقائق، قد يكون هذا صعبًا. المحاضر الجيد سيجعل الساعات الثلاث بأكملها ممتعة، لكن الجميع مسؤولون عن مرونة دماغهم.
نصيحة مفيدة: التدرب على تسجيلات الفيديو للمحاضرات المدرسية في 2017 العام و 2019 العام. وداعاً للعمل - مرحباً بالجنرالات البيزنطيين.
ثانيا، يركز المحاضرون على البحث العلمي ويتحدثون عن المبادئ الأساسية الأنظمة الموزعة والحوسبة المتوازية، بالإضافة إلى أخبار من أحدث العلوم. إذا كان هدفك هو برمجة شيء ما بسرعة ونشره في الإنتاج في اليوم التالي بعد المدرسة، فقد يكون ذلك صعبًا أيضًا.
نصيحة مفيدة: ابحث عن الأوراق البحثية التي أعدها محاضرو المدارس حول الباحث العلمي من Google и arXiv.org. إذا كنت تستمتع بقراءة الأوراق العلمية، فسوف تحب المدرسة أيضًا.
ثالثًا، SPTDC 2020 ليس مؤتمرًا، لأنه مؤتمر حول الأنظمة الموزعة والحوسبة المتوازية هيدرا 2020. في الآونة الأخيرة كان هناك منشور على حبري مع لمحة عامة عن برنامجها. في العام الماضي، تم عقد SPTDC وHydra في وقت واحد وفي نفس المكان. هذا العام لا يتداخلون في التواريخ، لذلك لا يتنافسون مع بعضهم البعض على وقتك واهتمامك.
نصيحة مفيدة: قم بالاطلاع على برنامج مؤتمر Hydra وفكر في حضور مؤتمر آخر بعد المدرسة. سيكون اسبوعا جيدا.
كيف تصل إلى المدرسة؟
- قم بتدوين التواريخ من 6 يوليو إلى 9 يوليو 2020 في التقويم الخاص بك (أو الأفضل من ذلك، 11 يوليو، حتى تتمكن من الذهاب إلى مؤتمر هيدرا بعد المدرسة).
- خذ قلبك، واستعد.
- اختر التذاكر والذهاب إلى المدرسة.
المصدر: www.habr.com