تئوری زمانی است که شما همه چیز را می دانید اما هیچ چیز کار نمی کند.
تمرین زمانی است که همه چیز کار می کند اما هیچ کس دلیل آن را نمی داند.
در سیستم های توزیع شده، تئوری و عمل با هم ترکیب می شوند:
هیچ چیز کار نمی کند و هیچ کس دلیل آن را نمی داند.
برای اثبات اینکه شوخی در اپیگراف حماقت مطلق است، برای سومین بار SPTDC (مدرسه تمرین و تئوری محاسبات توزیع شده) را برگزار می کنیم. ما قبلاً درباره تاریخچه مدرسه، بنیانگذاران آن پیوتر کوزنتسوف و ویتالی آکسیونوف و همچنین مشارکت گروه JUG Ru در سازماندهی SPTDC بحث کرده ایم. گفت: در هابره بنابراین، امروز ما در مورد مدرسه در سال 2020 صحبت می کنیم، در مورد سخنرانی ها و سخنرانان، و همچنین در مورد تفاوت های بین مدرسه و کنفرانس.
مدرسه SPTDC از 6 جولای تا 9 جولای 2020 در مسکو برگزار می شود.
تمامی سخنرانی ها به زبان انگلیسی خواهد بود. موضوعات اصلی سخنرانی ها: محاسبات همزمان مداوم، ابزارهای رمزنگاری برای سیستم های توزیع شده، روش های رسمی برای تأیید پروتکل های اجماع، ثبات در سیستم های مقیاس بزرگ، یادگیری ماشین توزیع شده.
آیا بلافاصله حدس زدید که شخصیت های تصویر دارای رتبه نظامی هستند؟ من تو را می پرستم
سخنرانان و سخنرانان
نیر شاویت (نیر شاویت) - استاد دانشگاه MIT و دانشگاه تل آویو، نویسنده مشترک یک کتاب عالی هنر برنامه نویسی چند پردازنده ای، مالک جوایز دایکسترا برای توسعه و اجرا حافظه تراکنشی نرم افزار (STM) و جایزه گودل برای کار خود در زمینه کاربرد توپولوژی جبری در مدل سازی محاسبات حافظه مشترک، یکی از بنیانگذاران شرکت جادوی عصبیکه الگوریتم های یادگیری ماشینی سریعی را برای CPU های معمولی ایجاد می کند و البته خاص خود را دارد صفحات ویکی پدیا با عکسی شیطون و مهیج نیر قبلاً در سال 2017 در مدرسه ما شرکت کرده بود، جایی که او یک مرور کلی از تکنیک های مسدود کردن ارائه کرد (قسمت 1, قسمت 2). ما هنوز نمی دانیم که نیر امسال در مورد چه چیزی صحبت خواهد کرد، اما امیدواریم اخباری از خط مقدم علم منتشر شود.
مایکل اسکات (مایکل اسکات) - محقق در دانشگاه روچستر، برای همه توسعه دهندگان جاوا به عنوان خالق شناخته شده است الگوریتم های غیر مسدود کننده و صف های همزمان از کتابخانه استاندارد جاوا. البته با جایزه Dijkstra برای توسعه الگوریتم های همگام سازی برای محاسبات حافظه مشترک و صاحب صفحه ویکی پدیا. سال گذشته، مایکل در مدرسه ما در مورد ساختارهای داده غیرمسدود کننده سخنرانی کرد (قسمت 1, قسمت 2). امسال او خواهد گفت در مورد استفاده از برنامه نویسی حافظه غیر فرار (NVM)، که پیچیدگی برنامه و سربار حافظه را در مقایسه با حافظه دسترسی تصادفی "عادی" (DRAM) کاهش می دهد.
می رود کیدر (Idit Keidar) - استاد در Technion و مالک شاخص هیرش حدود 40 (که بسیار بسیار قابل توجه است) برای دویست مقاله علمی در زمینه محاسبات توزیع شده، چند رشته ای و تحمل خطا. ایدیت برای اولین بار در مدرسه ما شرکت می کند، جایی که او سخنرانی خواهد کرد در مورد جنبه های اساسی عملیات ذخیره سازی داده های توزیع شده: شبیه سازی حافظه توزیع شده، توسعه اجماع و تغییرات پیکربندی.
رودریگو رودریگز (رودریگو رودریگز) - استاد Técnico، عضو آزمایشگاه INESC-ID و نویسنده کار تحقیقاتی در زمینه سیستم های توزیع شده امسال در مدرسه ما رودریگو خواهد گفت در مورد سازگاری و جداسازی در انبارهای داده توزیع شده، و همچنین با استفاده از آن تجزیه و تحلیل خواهد شد قضایای CAP امکان سنجی در عمل چندین مدل سازگاری و انزوا.
چن جینگ (جینگ چن) - استاد دانشگاه ایالتی نیویورک در استونی بروک، نویسنده کار تحقیقاتی در زمینه بلاک چین و دانشمند برجسته در الگوراند - یک شرکت و پلت فرم بلاک چین که از یک الگوریتم اجماع مبتنی بر کاملاً استفاده می کند اثبات شرط. امسال در مدرسه ما، چن در مورد بلاکچین Algorand و راه‌های دستیابی به ویژگی‌های جالب آن صحبت خواهد کرد: تقاضای کم در منابع محاسباتی شبکه، عدم امکان تقسیم تاریخچه تراکنش‌ها و تضمین تکمیل پردازش تراکنش پس از افزودن آن به بلاک چین.
کریستین کشین (کریستین کاچین) استاد دانشگاه برن، سرپرست یک گروه تحقیقاتی در زمینه حفاظت از داده ها، نویسنده مشترک کتاب «مقدمه ای بر برنامه نویسی توزیع شده قابل اعتماد و ایمن"، توسعه دهنده پلتفرم بلاک چین پارچه ای هیجان انگیز (حتی در مورد او صحبت شد پست در هابره) و نویسنده کار تحقیقاتی در زمینه رمزنگاری و امنیت در سیستم های توزیع شده. امسال در مدرسه ما مسیحی سخنرانی خواهد کرد مجموعه ای چهار قسمتی در مورد ابزارهای رمزنگاری برای محاسبات توزیع شده: رمزنگاری متقارن و نامتقارن، و همچنین رمزنگاری کلید مشترک، اعداد شبه تصادفی و تولید اعداد تصادفی قابل تایید.
مارکو ووکولیچ (Marko Vukolic) - محقق در IBM Research، نویسنده از آثار در بلاک چین و توسعه دهنده Hyperledger Fabric. ما هنوز نمی دانیم که مارکو امسال در مورد چه چیزی در مدرسه ما صحبت خواهد کرد، اما امیدواریم که در مورد جدیدترین پیشرفت های او در زمینه بلاک چین بیاموزیم: تحقیق. تنزل عملکرد توزیع پروتکل های اجماع بر روی خوشه های حداکثر 100 ماشین، پخش پروتکل میر با نظم جهانی و تحمل گسل بیزانس یا بلاک چین بدون بلوک استریم چین، زمان پردازش تراکنش را به حداقل می رساند.
پراساد جایانتی (پراساد جایانتی) استاد کالج دارتموث، یکی از نخبگان است آیوی لیگ، و نویسنده کار تحقیقاتی در زمینه الگوریتم های چند رشته ای. امسال در مدرسه ما پراساد سخنرانی خواهد کرد در مورد همگام سازی نخ ها و الگوریتم هایی برای پیاده سازی گزینه های مختلف mutex: با عملکردهای وقفه یا بازیابی در مدل های حافظه غیر فرار و همچنین عملیات خواندن و نوشتن جداگانه.
الکسی گوتسمن (الکسی گوتسمن) - استاد IMDEA و نویسنده کار تحقیقاتی در زمینه تایید نرم افزاری الگوریتم ها. ما هنوز نمی دانیم که الکسی امسال در مورد چه چیزی در مدرسه ما سخنرانی خواهد کرد، اما روی موضوعی در تقاطع تأیید نرم افزار و سیستم های توزیع شده حساب می کنیم.
چرا اینجا مدرسه است و کنفرانس نیست؟
اولاً، سخنرانان در قالب آکادمیک صحبت می کنند و هر سخنرانی بزرگ توسط دو جفت ارائه می شود: "یک ساعت و نیم - استراحت - یک ساعت و نیم دیگر." سال‌ها پس از دانشگاه، با عادت به ارائه کنفرانس‌های یک ساعته و ویدیوهای ۱۰ دقیقه‌ای یوتیوب، این می‌تواند دشوار باشد. یک مدرس خوب کل سه ساعت را جالب می کند، اما هر کسی مسئول انعطاف پذیری مغز خود است.
توصیه مفید: تمرین ضبط ویدیویی از سخنرانی های مدرسه در سال 2017 و سال 2019. خداحافظ کار - سلام ژنرال های بیزانسی.
ثانیاً، استادان بر تحقیقات علمی تمرکز می کنند و در مورد اصول اساسی صحبت می کنند سیستم های توزیع شده و محاسبات موازی، و همچنین اخبار از لبه برش علم. اگر هدف شما این است که به سرعت چیزی را برنامه ریزی کنید و روز بعد بعد از مدرسه آن را به تولید بفرستید، این نیز می تواند دشوار باشد.
نکته مفید: به دنبال مقالات پژوهشی توسط اساتید مدرسه باشید گوگل اسکولار и arXiv.org. اگر از خواندن مقالات علمی لذت می برید، مدرسه را نیز دوست خواهید داشت.
ثالثاً، SPTDC 2020 یک کنفرانس نیست، زیرا کنفرانسی در مورد سیستم های توزیع شده و محاسبات موازی هیدرا 2020. اخیراً پستی در Habré با وجود دارد مروری بر برنامه او. سال گذشته، SPTDC و Hydra به طور همزمان و در یک مکان برگزار شد. امسال آنها در تاریخ ها همپوشانی ندارند، بنابراین برای زمان و توجه شما با یکدیگر رقابت نمی کنند.
نکته مفید: برنامه کنفرانس هایدرا را بررسی کنید و بعد از مدرسه در کنفرانس دیگری شرکت کنید. قراره هفته خوبی باشه
چگونه به مدرسه برسیم؟
- تاریخ های 6 ژوئیه تا 9 ژوئیه 2020 را در تقویم خود بنویسید (یا بهتر است بگوییم، 11 جولای، تا بتوانید بعد از مدرسه به کنفرانس Hydra بروید).
- جراتت را جمع کن، آماده شو.
- بلیط ها را انتخاب کنید و رفتن به مدرسه
منبع: www.habr.com