آن لزلی لمپورت - نویسنده آثار اساسی در محاسبات توزیع شده و همچنین می توانید او را با حروف لا در کلمه بشناسید. LaTeX - "Lamport TeX". او بود که برای اولین بار در سال 1979 این مفهوم را معرفی کرد ثبات سازگار، و مقاله او "چگونه یک کامپیوتر چند پردازنده بسازیم که برنامه های چند پردازشی را به درستی اجرا کند" جایزه Dijkstra را دریافت کرد (به طور دقیق تر، در سال 2000 این جایزه به روش قدیمی نامیده می شد: "جایزه مقاله تاثیرگذار PODC"). در مورد او وجود دارد مقاله ویکی پدیا، که در آن می توانید لینک های جالب بیشتری دریافت کنید. اگر در مورد حل مشکلات هیجان زده هستید - قبل از یا مشکلات ژنرال های بیزانسی (BFT)، آنها باید بفهمند که لامپورت پشت همه چیز است.

و او به زودی به کنفرانس جدید ما در مورد محاسبات توزیع شده - Hydra که از 11 تا 12 ژوئیه در سن پترزبورگ برگزار می شود، خواهد آمد. بیایید ببینیم چه نوع حیوانی است.

هیدرا 2019

موضوعاتی مانند multithreading برخی از داغ ترین موضوعات در کنفرانس های ما هستند که همیشه بوده اند. فقط در این سالن خلوت بود، اما پس از آن یک نفر روی صحنه ظاهر می شود، در مورد مدل حافظه، اتفاق می افتد یا چند نخ جمع آوری زباله و - بوم! - در حال حاضر کمتر از هزار نفر تمام فضای موجود را اشغال کرده اند تا بنشینند و با دقت گوش دهند. جوهره این موفقیت چیست؟ شاید این واقعیت که همه ما نوعی سخت افزار در دست داریم که قادر به سازماندهی محاسبات توزیع شده است؟ یا اینکه ما ناخودآگاه ناتوانی خود را در بارگذاری آن به ارزش واقعی خود درک می کنیم؟ یک داستان واقعی از یک کوانتوم سن پترزبورگ (یعنی یک تحلیلگر و توسعه دهنده کمی مالی) وجود دارد که در نهایت با یک خوشه محاسباتی در دستانش قرار گرفت که تمام قدرت آن تنها توسط او قابل استفاده است. و اگر بخواهید وظایف خود را با ظرفیت های چند برابر فعلی انجام دهید، چه می کنید؟

با توجه به این محبوبیت، موضوع عملکرد و محاسبات کارآمد در سراسر برنامه کنفرانس گسترش می یابد. چند مورد از دو روز گزارش را می توان در مورد عملکرد تهیه کرد - یک سوم، دو سوم؟ در برخی مکان‌ها محدودیت‌های مصنوعی وجود دارد که این رشد را محدود می‌کند: علاوه بر عملکرد، هنوز باید فضایی برای چارچوب‌های وب جدید، برای نوعی توسعه‌دهی یا فضانوردی معماری وجود داشته باشد. نه، اجرا، شما همه ما را کامل نمی خورید!

یا می توانید برعکس بروید، تسلیم شوید و صادقانه کنفرانسی برگزار کنید که کاملاً در مورد محاسبات توزیع شده و فقط در مورد آنها باشد. و اینجاست، هایدرا.

بیایید صادقانه بپذیریم که امروزه همه محاسبات به یک شکل توزیع شده اند. خواه یک ماشین چند هسته ای، یک خوشه محاسباتی یا یک سرویس توزیع شده در مقیاس بزرگ باشد، در همه جا فرآیندهای زیادی وجود دارد که محاسبات مستقل را به صورت موازی انجام می دهند و با یکدیگر همگام می شوند. نحوه کارکرد آن در تئوری و نحوه عملکرد آن در عمل مورد توجه Hydra خواهد بود.

برنامه کنفرانس

این برنامه در حال حاضر در حال توسعه است. این باید شامل گزارش‌هایی از بنیان‌گذاران نظریه‌های سیستم‌های توزیع‌شده و مهندسانی باشد که با آنها در تولید کار می‌کنند.

به عنوان مثال، ما قبلاً در مورد مشارکت Leslie Lamport از Microsoft Research و Maurice Herlihy از دانشگاه براون اطلاع داریم.

موریس هرلیهی - استاد بسیار معروف و محترم علوم کامپیوتر، داستانی نیز در مورد او وجود دارد صفحه ویکی پدیا، جایی که می توانید پیوندها و آثار را مرور کنید. در آنجا می توانید به دو جایزه Dijkstra توجه کنید، اولین جایزه برای کار روی "همگام سازی بدون انتظار"و دومی جدیدتر - "حافظه تراکنشی: پشتیبانی معماری برای ساختارهای داده بدون قفل". به هر حال، لینک ها حتی به SciHub منتهی نمی شوند، اما به دانشگاه براون و دانشگاه فناوری ویرجینیا می توانید باز کنید و بخوانید.

موریس قرار است یک سخنرانی کلیدی به نام "بلاک چین از دیدگاه محاسبات توزیع شده" برگزار کند. در صورت علاقه می توانید نگاهی به ضبط گزارش موریس از JUG سنت پترزبورگ بیندازید. ارزیابی کنید که او چقدر واضح و قابل درک موضوع را منتقل می کند.

دومین سخنرانی با نام «ساختارهای داده دوگانه» خوانده خواهد شد مایکل اسکات از دانشگاه روچستر و حدس بزنید - او نیز مال خود را دارد صفحه ویکی پدیا. در خانه در ویسکانسین، او به دلیل کارش به عنوان رئیس دانشگاه ویسکانسین-مدیسون شناخته شده است، و در جهان او مردی است که همراه با داگ لی، الگوریتم‌های غیر مسدودکننده و صف‌های همزمانی را که کتابخانه‌های جاوا بر روی آنها اجرا می‌شوند، توسعه دادند. . او جایزه Dijkstra خود را سه سال پس از هرلیهی، برای کارش «الگوریتم‌هایی برای همگام‌سازی مقیاس‌پذیر در چند پردازنده‌های حافظه مشترک» دریافت کرد (همانطور که انتظار می‌رفت، او باز دراز می کشد در کتابخانه آنلاین دانشگاه روچستر).

هنوز تا اواسط تیرماه زمان زیادی باقی مانده است. با اصلاح برنامه و نزدیک شدن به جولای، در مورد سایر سخنرانان و موضوعات آنها به شما خواهیم گفت.

به طور کلی، این سوال مطرح می شود - چرا هیدرا را در تابستان می سازیم؟ از این گذشته، این فصل تعطیلات است. مشکل اینجاست که اساتید دانشگاه در بین سخنرانان حضور دارند و هر زمان دیگری برایشان شلوغ است. ما فقط نمی توانستیم تاریخ های دیگری را انتخاب کنیم.

مناطق بحث و گفتگو

در کنفرانس های دیگر، این اتفاق می افتد که سخنران آنچه لازم است را می خواند و بلافاصله ترک می کند. شرکت کنندگان حتی زمانی برای جستجوی آن ندارند - از این گذشته ، گزارش بعدی تقریباً بدون شکاف شروع می شود. خیلی دردناک است، به خصوص وقتی افراد مهمی مانند لمپورت، هرلیهی و اسکات آنجا هستند، و شما در واقع به کنفرانس می روید تا آنها را ملاقات کنید و در مورد چیزی صحبت کنید.

ما این مشکل را حل کرده ایم. بلافاصله پس از گزارش خود، گوینده به یک منطقه گفتگوی ویژه مجهز به حداقل یک تخته سفید با نشانگر می رود و شما زمان زیادی دارید. به طور رسمی، گوینده قول می دهد که حداقل در زمان استراحت بین گزارش ها آنجا باشد. در واقع، این حوزه های بحث قوطی ساعت ها متوالی کشش دهید (بسته به میل و استقامت گوینده).

در مورد لمپورت، اگر درست متوجه شده باشم، او می خواهد تا آنجا که ممکن است افراد بیشتری را متقاعد کند TLA+ - این چیز خوبیه. (مقاله ای در مورد TLA+ در ویکی پدیا). شاید این فرصت خوبی برای مهندسان باشد تا چیزهای جدید و مفید بیاموزند. لزلی این گزینه را ارائه می دهد - هر کسی که علاقه مند است می تواند سخنرانی های گذشته خود را تماشا کند و با سؤالات بیاید. یعنی به جای یک سخنرانی اصلی، می‌توان گفت، یک جلسه پرسش و پاسخ تخصصی و سپس منطقه بحث دیگری وجود داشت. کمی در گوگل سرچ کردم و یک مورد عالی پیدا کردم دوره TLA+ (دوبله رسمی لیست پخش در یوتیوب) و یک ساعت سخنرانی "تفکر فراتر از رمز" با اجلاس هیئت علمی مایکروسافت.

اگر همه این افراد را به‌عنوان نام‌هایی از ویکی‌پدیا و روی جلد کتاب‌ها در گرانیت می‌دانید، وقت آن است که با آنها به صورت زنده آشنا شوید! چت کنید و سوالاتی بپرسید که صفحات مقالات علمی به آنها پاسخ نمی دهند، اما نویسندگان آنها خوشحال می شوند با آنها تماس بگیرند.

ارسال مقاله

بر کسی پوشیده نیست که بسیاری از کسانی که اکنون مقاله را می خوانند، از گفتن چیزهای جالب به اندازه کافی خود مخالف نیستند. از نظر مهندسی، از نظر علمی، از هر نظر. محاسبات توزیع شده یک موضوع بسیار گسترده و عمیق است که جایی برای همه وجود دارد.

اگر می خواهید در کنار لامپورت بازی کنید، این کاملا امکان پذیر است. برای تبدیل شدن به یک سخنران، شما نیاز دارید لینک را دنبال کنید، همه چیز را با دقت بخوانید و طبق دستورالعمل انجام دهید.

آرام باشید، به محض اتصال به فرآیند، به شما کمک می شود. کمیته برنامه منابع کافی برای کمک به خود گزارش، ماهیت و طراحی آن دارد. هماهنگ کننده به شما کمک می کند تا با مسائل سازمانی و غیره مقابله کنید.

به عکس با تاریخ توجه ویژه ای داشته باشید. جولای تاریخ نسبتاً دوری برای شرکت کننده است و گوینده باید از هم اکنون شروع به فعالیت کند.

مدرسه SPTDC

کنفرانس در همان سایت با مدرسه SPTDC برگزار می شود، بنابراین برای همه کسانی که بلیط مدرسه را خریداری می کنند، بلیط کنفرانس - با 20 درصد تخفیف.

مدرسه تابستانی در عمل و تئوری محاسبات توزیع شده (SPTDС) - مدرسه ای که طیف وسیعی از دوره ها را در مورد جنبه های عملی و نظری سیستم های توزیع شده ارائه می دهد که توسط کارشناسان شناخته شده در زمینه مربوطه تدریس می شود.

این مدرسه به زبان انگلیسی برگزار خواهد شد، بنابراین لیست موضوعات تحت پوشش در اینجا آمده است:

• ساختارهای داده همزمان: صحت و کارایی.
• الگوریتم های حافظه غیر فرار.
• محاسبه پذیری توزیع شده
• یادگیری ماشینی توزیع شده؛
• تکثیر ماشین دولتی و Paxos.
• تحمل خطای بیزانس؛
• اصول الگوریتمی بلاک چین

سخنرانان زیر سخنرانی خواهند کرد:

• لزلی لامپورت (مایکروسافت)؛
• موریس هرلیهی (دانشگاه براون)؛
• مایکل اسکات (دانشگاه روچستر)؛
• دان آلیستار (IST اتریش)؛
• تروور براون (دانشگاه واترلو)؛
• الی گافنی (UCLA);
• دنی هندلر (دانشگاه بن گوریون)؛
• آچور مصطفایی (دانشگاه نانت).

لیست پخش با گزارش های مدرسه قبلی می توان آزادانه در یوتیوب مشاهده کرد:

مراحل بعدی

برنامه کنفرانس همچنان در حال شکل گیری است. اخبار را در هابره یا در شبکه های اجتماعی دنبال کنید (fb, vk, توییتر).

اگر واقعاً به کنفرانس اعتقاد دارید (یا می خواهید از قیمت اولیه ویژه، همانطور که می گویند "Early Bird" استفاده کنید) - می توانید به سایت بروید و خرید بلیط.

شما را در Hydra می بینیم!

منبع: www.habr.com