SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکول

نظریہ وہ ہے جب آپ سب کچھ جانتے ہیں لیکن کچھ بھی کام نہیں کرتا ہے۔
مشق اس وقت ہوتی ہے جب سب کچھ کام کرتا ہے لیکن کوئی نہیں جانتا کیوں۔
تقسیم شدہ نظام، تھیوری اور پریکٹس ایک ساتھ ہیں:
کچھ بھی نہیں کام کرتا ہے اور کوئی نہیں جانتا کیوں.

یہ ثابت کرنے کے لیے کہ ایپی گراف میں جو مذاق کیا گیا ہے وہ بالکل بکواس ہے، ہم تیسری بار SPTDC (اسکول آن پریکٹس اینڈ تھیوری آف ڈسٹری بیوٹڈ کمپیوٹنگ) کا انعقاد کر رہے ہیں۔ اسکول کی تاریخ، اس کے شریک بانیوں پیٹر کزنٹسوف اور وٹالی اکسیونوف کے ساتھ ساتھ SPTDC تنظیم میں JUG Ru گروپ کی شرکت کے بارے میں، ہم پہلے ہی کہا حبر پر لہذا، آج 2020 میں اسکول کے بارے میں، لیکچرز اور لیکچررز کے ساتھ ساتھ اسکول اور کانفرنس کے درمیان فرق کے بارے میں ہے۔

ایس پی ٹی ڈی سی اسکول ماسکو میں 6 سے 9 جولائی 2020 تک منعقد ہوگا۔

تمام لیکچرز انگریزی میں ہوں گے۔ لیکچر کے عنوانات: مستقل کنکرنٹ کمپیوٹنگ، تقسیم شدہ نظاموں کے لیے کرپٹوگرافک ٹولز، متفقہ پروٹوکول کی تصدیق کے رسمی طریقے، بڑے پیمانے پر سسٹمز میں مستقل مزاجی، تقسیم شدہ مشین لرننگ۔

SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکول
کیا آپ نے فوراً اندازہ لگا لیا کہ تصویر کے کردار کس فوجی عہدے پر ہیں؟ آپ قابل ستائش ہیں.

لیکچررز اور لیکچرز

SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولنیر شویت (Nir Shavit) MIT اور تل ابیب یونیورسٹی میں پروفیسر ہیں، ایک عظیم کتاب کے شریک مصنف ملٹی پروسیسر پروگرامنگ کا فن، مالک ڈجکسٹرا انعامات ترقی اور نفاذ کے لیے سافٹ ویئر ٹرانزیکشن میموری (STM) اور گوڈل پرائز کمپنی کے شریک بانی، مشترکہ میموری کمپیوٹنگ کے تخروپن میں الجبری ٹوپولوجی کے اطلاق پر اپنے کام کے لیے اعصابی جادو، جو روایتی CPUs کے لیے تیز مشین لرننگ الگورتھم بناتا ہے، اور یقیناً اس کا اپنا ہے ویکیپیڈیا کے صفحات تیز اور امس بھری فوٹو گرافی کے ساتھ۔ نیر نے پہلے ہی 2017 میں ہمارے اسکول میں حصہ لیا تھا، جہاں اس نے بلاک کرنے کی تکنیکوں کا مکمل جائزہ لیا تھا (. 1, . 2)۔ نیر اس سال کے بارے میں کیا بات کرے گا، ہم ابھی تک نہیں جانتے ہیں، لیکن ہم سائنس کے جدید کنارے سے خبروں کی امید رکھتے ہیں.


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولمائیکل سکاٹ (مائیکل سکاٹ) میں ایک محقق ہے۔ یونیورسٹی آف روچیسٹرکے تخلیق کار کے طور پر جاوا کے تمام ڈویلپرز کو جانا جاتا ہے۔ غیر مسدود الگورتھم اور ہم وقت ساز قطاریں۔ جاوا معیاری لائبریری سے۔ بالکل، Dijkstra کے ڈیزائن ایوارڈ کے ساتھ مشترکہ میموری کمپیوٹنگ کے لیے ہم وقت سازی الگورتھم اور اپنے ویکیپیڈیا صفحہ. پچھلے سال، مائیکل نے ہمارے اسکول میں نان بلاکنگ ڈیٹا ڈھانچے (. 1, . 2)۔ اس سال وہ بتاؤ پروگرامنگ کے استعمال کے بارے میں غیر مستحکم میموری (NVM)، جو پروگرام کی پیچیدگی اور میموری اوور ہیڈ کو "باقاعدہ" بے ترتیب رسائی میموری (DRAM) کے مقابلے میں کم کرتا ہے۔


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولIdit Keidar (Idit Keidar) - ٹیکنین میں پروفیسر اور مالک ہرش انڈیکس تقریباً 40 (جو کہ بہت زیادہ ہے) کے لیے دو سو سائنسی مضامین تقسیم شدہ کمپیوٹنگ، ملٹی تھریڈنگ اور فالٹ ٹولرنس کے میدان میں۔ عیدت پہلی بار ہمارے سکول میں شریک ہوئی، جہاں وہ ایک لیکچر دیں تقسیم شدہ ڈیٹا گوداموں کے کام کے بنیادی پہلوؤں کے بارے میں: تقسیم شدہ میموری ایمولیشن، اتفاق رائے کی ترقی اور ترتیب میں تبدیلیاں۔


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولروڈریگو روڈریگز (Rodrigo Rodrigues) - ٹیکنیکو کے پروفیسر، لیبارٹری کے رکن INESC ID اور مصنف تحقیقی کام تقسیم شدہ نظام کے میدان میں۔ اس سال ہمارے اسکول روڈریگو میں بتاؤ تقسیم شدہ ڈیٹا گوداموں میں مستقل مزاجی اور تنہائی کے بارے میں، اور استعمال کا تجزیہ بھی کریں گے۔ CAP نظریات مستقل مزاجی اور تنہائی کے متعدد ماڈلز کی عملی طور پر فزیبلٹی۔


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولچن چنگ (جینگ چن) اسٹونی بروک کی اسٹیٹ یونیورسٹی آف نیویارک میں پروفیسر ہیں، مصنف تحقیقی کام بلاکچین کے میدان میں اور ایک سرکردہ سائنسدان الورورڈنڈ - ایک کمپنی اور ایک بلاکچین پلیٹ فارم جو متفقہ الگورتھم کا استعمال کرتے ہوئے مکمل طور پر اس پر مبنی ہے۔ اسٹیک کا ثبوت. اس سال ہمارے اسکول میں، چن الگورنڈ بلاکچین اور اس کی دلچسپ خصوصیات کو حاصل کرنے کے طریقوں کے بارے میں بات کرے گا: نیٹ ورک کمپیوٹنگ کے وسائل کے لیے غیر ضروری، لین دین کی تاریخ کو تقسیم کرنے کا ناممکن، اور بلاک چین میں شامل ہونے کے بعد ٹرانزیکشن پروسیسنگ کی تکمیل کی ضمانت۔


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولکرسچن کاشین (کرسچن کیچن) یونیورسٹی آف برن میں پروفیسر ہیں، ڈیٹا پروٹیکشن کے شعبے میں ایک ریسرچ گروپ کے سربراہ، کتاب کے شریک مصنف ہیں۔قابل اعتماد اور محفوظ تقسیم شدہ پروگرامنگ کا تعارف"، بلاکچین پلیٹ فارم ڈویلپر Hyperledger فیبرک (اس کے بارے میں بھی تھا Habré پر پوسٹ) اور مصنف تحقیقی کام تقسیم شدہ نظاموں میں خفیہ نگاری اور سیکیورٹی کے میدان میں۔ اس سال ہمارے اسکول میں عیسائی ایک لیکچر دیں تقسیم شدہ کمپیوٹنگ کے لیے کرپٹوگرافک ٹولز کے بارے میں چار حصوں میں: ہم آہنگ اور غیر متناسب خفیہ نگاری، اور اس کے بارے میں مشترکہ کلیدی خفیہ نگاری، چھدم بے ترتیب نمبر اور قابل تصدیق بے ترتیب نمبر جنریشن.


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولمارکو ووکولچ (مارکو ووکولک) IBM ریسرچ کے ایک محقق، مصنف ہیں۔ کام کرتا ہے بلاکچین اور ہائپرلیجر فیبرک کے ڈویلپر میں۔ ہم ابھی تک نہیں جانتے کہ مارکو اس سال ہمارے اسکول میں کس چیز کے بارے میں بات کرے گا، لیکن ہم بلاکچین کے میدان میں اس کی تازہ ترین پیشرفت کے بارے میں جاننے کی امید کرتے ہیں: تحقیق کارکردگی میں کمی 100 تک مشینوں کے کلسٹرز پر متفقہ پروٹوکول تقسیم کیے، نشریات میر پروٹوکول عالمی ترتیب کے ساتھ اور بازنطینی غلطی رواداری یا بلاک لیس بلاکچین اسٹریم چینٹرانزیکشن پروسیسنگ کے وقت کو کم سے کم کرنا۔


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولپرساد جینتی (پرساد جینتی) ڈارٹ ماؤتھ کالج میں پروفیسر ہیں، جو اشرافیہ کا حصہ ہے۔ آئیوی لیگ، اور مصنف تحقیقی کام ملٹی تھریڈڈ الگورتھم کے میدان میں۔ اس سال ہمارے اسکول میں پرساد ایک لیکچر دیں مختلف اختیارات کو لاگو کرنے کے لیے تھریڈ سنکرونائزیشن اور الگورتھم کے بارے میں mutex: غیر مستحکم میموری ماڈلز میں مداخلت یا بحالی کے افعال کے ساتھ، اور علیحدہ پڑھنے اور لکھنے کے آپریشنز کے ساتھ۔


SPTDC 2020 - تقسیم شدہ کمپیوٹنگ کی مشق اور تھیوری پر تیسرا اسکولالیکسی گوٹسمین (Alexey Gotsman) IMDEA میں پروفیسر اور مصنف ہیں۔ تحقیقی کام الگورتھم کے پروگرام کی تصدیق کے میدان میں۔ ہم ابھی تک نہیں جانتے کہ الیکسی اس سال ہمارے اسکول میں کیا لیکچر دے گا، لیکن ہم سافٹ ویئر کی تصدیق اور تقسیم شدہ نظاموں کے چوراہے پر ایک موضوع کے منتظر ہیں۔



یہ سکول کیوں ہے کانفرنس نہیں؟

سب سے پہلے، لیکچررز اکیڈمک فارمیٹ میں بات کرتے ہیں اور ہر بڑے لیکچر کے دو جوڑے پڑھتے ہیں: "ڈیڑھ گھنٹہ - ایک وقفہ - ایک اور ڈیڑھ گھنٹہ۔" کالج سے باہر کئی سال، گھنٹہ طویل کانفرنس گفتگو اور 10 منٹ کی یوٹیوب ویڈیوز کی عادت کے ساتھ، یہ مشکل ہوسکتا ہے۔ ایک اچھا لیکچرر تینوں گھنٹے کو دلچسپ بنا دے گا، لیکن ہر کوئی اپنے دماغ کی پلاسٹکٹی کا ذمہ دار ہے۔

مددگار اشارہ: اسکول میں لیکچرز کی ویڈیو ریکارڈنگ پر مشق کریں۔ 2017 سال اور 2019 سال. الوداع، کام - ہیلو، بازنطینی جرنیلوں.

دوم، لیکچررز سائنسی تحقیق پر توجہ دیتے ہیں اور بنیادی باتوں پر بات کرتے ہیں۔ تقسیم شدہ نظام اور متوازی کمپیوٹنگ کے ساتھ ساتھ سائنس کے جدید ترین خبروں سے۔ اگر آپ کا مقصد کسی چیز کو فوری طور پر کوڈ کرنا ہے اور اسکول کے بعد اگلے دن گرم تعاقب میں اسے پروڈکشن میں لگانا ہے، تو یہ بھی مشکل ہوسکتا ہے۔

مددگار اشارہ: پر اسکول کے لیکچررز کے تحقیقی مقالے تلاش کریں۔ گوگل سکالر и arXiv.org. اگر آپ سائنسی مقالے پڑھ کر لطف اندوز ہوتے ہیں، تو آپ کو اسکول سے بھی مزہ آئے گا۔

تیسرا، SPTDC 2020 اسکول ایک کانفرنس نہیں ہے، کیونکہ تقسیم شدہ نظام اور متوازی کمپیوٹنگ پر کانفرنس ہے ہائیڈرا 2020۔. حال ہی میں Habré پر اس کے ساتھ ایک پوسٹ تھی۔ اس کے پروگرام کا جائزہ. پچھلے سال ایس پی ٹی ڈی سی اور ہائیڈرا بیک وقت اور ایک ہی جگہ پر ہوئے۔ اس سال وہ تاریخوں میں اوورلیپ نہیں ہوتے ہیں، اس لیے وہ آپ کے وقت اور توجہ کے لیے ایک دوسرے سے مقابلہ نہیں کرتے۔

مددگار مشورہ: ہائیڈرا کانفرنس پروگرام دیکھیں اور اسکول کے بعد کانفرنس میں شرکت پر بھی غور کریں۔ یہ ہفتہ اچھا رہے گا۔

سکول کیسے جائیں؟

  • کیلنڈر میں 6 جولائی سے 9 جولائی 2020 تک کی تاریخیں لکھیں (یا بہتر، اسکول کے بعد ہائیڈرا کانفرنس میں جانے کے لیے 11 جولائی تک)۔
  • دل لگاؤ، تیار ہو جاؤ۔
  • ٹکٹوں کا انتخاب کریں۔ اور سکول جاؤ.

ماخذ: www.habr.com

نیا تبصرہ شامل کریں