نظريو اهو آهي جڏهن توهان سڀ ڪجهه ڄاڻو ٿا پر ڪجھ به ڪم نٿو ڪري.
مشق آهي جڏهن سڀ ڪجهه ڪم ڪري ٿو پر ڪنهن کي خبر ناهي ڇو.
ورهايل نظام، نظريو ۽ عمل گڏيل آهن:
ڪجھ به ڪم نٿو ڪري ۽ ڪو به نٿو ڄاڻي ته ڇو.
اهو ثابت ڪرڻ لاءِ ته ايپيگراف ۾ ڪيل مذاق بلڪل بي معنيٰ آهي، اسان ٽيون ڀيرو ايس پي ٽي ڊي سي (اسڪول آن پريڪٽس اينڊ ٿيوري آف ڊسٽريبيوٽڊ ڪمپيوٽنگ) منعقد ڪري رهيا آهيون. اسڪول جي تاريخ بابت، ان جي گڏيل باني پيٽر ڪزنٽسوف ۽ ويٽالي اکسيونوف، گڏوگڏ SPTDC تنظيم ۾ JUG Ru گروپ جي شموليت، اسان اڳ ۾ ئي ٻڌايو حبر تي. تنهن ڪري، اڄ 2020 ۾ اسڪول جي باري ۾ آهي، ليڪچر ۽ ليڪچررز بابت، انهي سان گڏ اسڪول ۽ ڪانفرنس جي وچ ۾ فرق بابت.
SPTDC اسڪول ماسڪو ۾ 6 کان 9 جولاءِ 2020 تائين منعقد ڪيو ويندو.
سڀ ليڪچر انگريزيءَ ۾ ٿيندا. ليڪچر جا موضوع: لڳاتار سمورو ڪمپيوٽنگ، ورهايل نظامن لاءِ ڪرپٽوگرافڪ اوزار، اتفاق پروٽوڪول جي تصديق لاءِ رسمي طريقا، وڏي پيماني تي سسٽم ۾ تسلسل، ورهايل مشين سکيا.
ڇا توهان فوري طور تي اندازو لڳايو ته تصوير ۾ ڪردارن جو فوجي درجو ڇا آهي؟ مان توهان کي پيار ڪريان ٿو.
ليڪچر ۽ ليڪچر
نير شيويت (Nir Shavit) MIT ۽ Tel Aviv يونيورسٽي ۾ پروفيسر آهي، هڪ عظيم ڪتاب جو گڏيل ليکڪ ملٽي پروسيسر پروگرامنگ جو فن، مالڪ Dijkstra انعام ترقي ۽ عمل درآمد لاء سافٽ ويئر ٽرانزيڪشنل ياداشت (STM) ۽ گڊيل انعام هن جي ڪم لاءِ الجبريڪ ٽوپولوجي جي ايپليڪيشن تي شيئرڊ ميموري ڪمپيوٽنگ جي تخليق تي، ڪمپني جو ڪو باني اعصابي جادو، جيڪو روايتي سي پي يوز لاءِ تيز مشين لرننگ الگورتھم ٺاهي ٿو، ۽ يقيناً، ان جو پنهنجو آهي وڪيپيڊيا صفحا شاندار ۽ نفيس فوٽوگرافي سان. نير اڳ ۾ ئي 2017 ۾ اسان جي اسڪول ۾ شرڪت ڪئي، جتي هن بلاڪنگ ٽيڪنالاجي جو هڪ مڪمل جائزو ڏنو (حصو 1, حصو 2). نير هن سال بابت ڇا ڳالهائيندو، اسان کي اڃا تائين خبر ناهي، پر اسان کي سائنس جي ڪنڊ کان خبرن جي اميد آهي.
مائيڪل سکاٽ (مائيڪل سکاٽ) ۾ هڪ محقق آهي روچسٽر يونيورسٽي، جاوا جي سڀني ڊولپرز لاءِ سڃاتل آهن جي خالق جي طور تي غير بلاڪنگ الگورتھم ۽ هم وقت ساز قطارون جاوا معياري لائبريري مان. يقينا، Dijkstra جي ڊيزائن اوارڊ سان گڏيل ميموري ڪمپيوٽنگ لاءِ هم وقت سازي الگورتھم ۽ پنهنجو وڪيپيڊيا صفحو. گذريل سال، مائيڪل اسان جي اسڪول ۾ غير بلاڪ ڪرڻ واري ڊيٽا جي جوڙجڪ تي هڪ ليڪچر ڏنو (حصو 1, حصو 2). هن سال هن ٻڌائي سگهان ٿو پروگرامنگ استعمال ڪرڻ بابت غير مستحڪم ياداشت (NVM)، جيڪو پروگرام جي پيچيدگي کي گھٽائي ٿو ۽ "باقاعده" بي ترتيب رسائي ميموري (DRAM) جي مقابلي ۾ ميموري اوور هيڊ.
آئيڊيٽ ڪيڊر (Idit Keidar) - ٽيڪنيشن ۾ پروفيسر ۽ مالڪ Hirsch انڊيڪس اٽڪل 40 (جيڪو تمام گهڻو، تمام گهڻو) لاء ٻه سئو سائنسي مضمون ورهايل ڪمپيوٽنگ، ملٽي ٿريڊنگ ۽ غلطي رواداري جي ميدان ۾. عيد پهريون ڀيرو اسان جي اسڪول ۾ شرڪت ڪئي، جتي هوءَ هڪ ليڪچر ڏيو ورهايل ڊيٽا گودامن جي ڪم جي بنيادي حصن بابت: ورهايل ميموري ايموليشن، اتفاق جي ترقي ۽ ترتيب جي تبديلين.
روڊريگو روڊريگيز (Rodrigo Rodrigues) - ٽيڪنيڪو ۾ پروفيسر، ليبارٽري جو ميمبر INESC ID ۽ ليکڪ تحقيقي ڪم ورهايل نظام جي ميدان ۾. هن سال اسان جي اسڪول Rodrigo تي ٻڌائي سگهان ٿو ورهايل ڊيٽا گودامن ۾ استحڪام ۽ اڪيلائي بابت، ۽ پڻ استعمال ڪندي تجزيو ڪندو CAP نظريا استحڪام ۽ اڪيلائي جي ڪيترن ئي ماڊل جي عملي ۾ ممڪن آهي.
چن چنگ (جينگ چن) اسٽيٽ يونيورسٽي آف نيو يارڪ ۾ اسٽوني بروڪ ۾ پروفيسر آهي، ليکڪ تحقيقي ڪم blockchain جي ميدان ۾ ۽ هڪ معروف سائنسدان ۾ Algorand - هڪ ڪمپني ۽ هڪ بلاڪچين پليٽ فارم استعمال ڪندي هڪ اتفاق الورورٿم مڪمل طور تي ٻڌل آهي اسٽيڪ جو ثبوت. هن سال اسان جي اسڪول ۾، چن Algorand blockchain بابت ڳالهائيندو ۽ ان جي دلچسپ ملڪيتن کي حاصل ڪرڻ جا طريقا: نيٽ ورڪ ڪمپيوٽنگ وسيلن کي اڻ گهربل، ٽرانزيڪشن جي تاريخ کي ورهائڻ جو ناممڪن، ۽ بلاڪچين ۾ شامل ٿيڻ کانپوءِ ٽرانزيڪشن پروسيسنگ جي خاتمي جي ضمانت.
مسيحي ڪشين (مسيحي ڪيچين) برن يونيورسٽي ۾ پروفيسر آهي، ڊيٽا جي تحفظ جي شعبي ۾ هڪ تحقيقي گروپ جو سربراهه، ڪتاب جو گڏيل ليکڪ آهي.قابل اعتماد ۽ محفوظ ورهايل پروگرامنگ جو تعارف”، blockchain پليٽ فارم ڊولپر ھائپرليجر ڪپڙي (هن جي باري ۾ به هو Habré تي پوسٽ ڪريو) ۽ ليکڪ تحقيقي ڪم ورهايل نظام ۾ cryptography ۽ سيڪيورٽي جي ميدان ۾. هن سال اسان جي اسڪول ۾ عيسائي هڪ ليڪچر ڏيو ورهايل ڪمپيوٽنگ لاءِ ڪرپٽوگرافڪ ٽولز بابت چار حصن ۾: سميٽري ۽ اسيميٽرڪ ڪرپٽوگرافي، ۽ پڻ شيئر ڪيل اهم ڪرپٽگرافي, pseudo-random numbers ۽ تصديق ٿيل بي ترتيب نمبر نسل.
مارڪو ووڪوليچ (مارڪو ووڪولڪ) IBM ريسرچ ۾ هڪ محقق آهي، ليکڪ ڪميونٽي بلاڪچين ۾ ۽ هائپرليجر فيبرڪ جي ڊولپر. اسان اڃا تائين نه ٿا ڄاڻون ته مارڪو هن سال اسان جي اسڪول ۾ ڇا ڳالهائيندو، پر اسان کي اميد آهي ته هن جي تازي ترقي بابت ڄاڻڻ جي باري ۾ بلاڪچين جي ميدان ۾: تحقيق ڪارڪردگي جي خرابي 100 تائين مشينن جي ڪلسٽرن تي اتفاق راءِ پروٽوڪول ورهايو، نشر ڪيو مير پروٽوڪول عالمي حڪم سان ۽ بازنطيني غلطي رواداري يا بغير بلاڪ بلاڪ اسٽريم چينٽرانزيڪشن پروسيسنگ وقت کي گھٽائڻ.
پرساد جينتي (پرساد جينتي) ڊارٽموت ڪاليج ۾ پروفيسر آهي، اشرافيه جو حصو آئيوي ليگ، ۽ ليکڪ تحقيقي ڪم multithreaded algorithms جي ميدان ۾. هن سال اسان جي اسڪول ۾ پرساد هڪ ليڪچر ڏيو موضوع جي هم وقت سازي جي باري ۾ ۽ مختلف اختيارن کي لاڳو ڪرڻ لاء الگورتھم ميوٽڪس: غير مستحڪم ميموري ماڊل ۾ مداخلت يا بحال ڪرڻ سان، ۽ الڳ الڳ پڙهڻ ۽ لکڻ جي عملن سان.
Alexey Gotsman (Alexey Gotsman) IMDEA ۾ پروفيسر ۽ ليکڪ آهي تحقيقي ڪم پروگرام جي ميدان ۾ algorithms جي تصديق. اسان اڃا تائين نه ٿا ڄاڻون ته Alexey هن سال اسان جي اسڪول ۾ ليڪچر ڏيندو، پر اسان سافٽ ويئر جي تصديق ۽ ورهايل سسٽم جي چونڪ تي هڪ موضوع جي منتظر آهيون.
هي اسڪول ڇو آهي ڪانفرنس نه؟
پهرين، ليڪچرار هڪ علمي شڪل ۾ ڳالهائيندا آهن ۽ هر وڏي ليڪچر جا ٻه جوڙا پڙهندا آهن: "هڪ ڪلاڪ ۽ اڌ - هڪ وقفو - ٻيو ڪلاڪ ۽ اڌ." ڪاليج کان ٻاهر ڪيترائي سال، ڪلاڪ ڊگهي ڪانفرنس جي ڳالهين ۽ 10 منٽ يوٽيوب وڊيوز جي عادت سان، اهو مشڪل ٿي سگهي ٿو. هڪ سٺو ليڪچرر سڀني ٽن ڪلاڪن کي دلچسپ بڻائيندو، پر هرڪو پنهنجي دماغ جي پلاسٽڪٽي لاء ذميوار آهي.
مددگار اشارو: اسڪول ۾ ليڪچرن جي وڊيو رڪارڊنگ تي مشق 2017 سال ۽ اندر 2019 سال. الوداع، ڪم - هيلو، بازنطيني جنرلن.
ٻيو، ليڪچررز سائنسي تحقيق تي ڌيان ڏين ٿا ۽ بنيادي ڳالهين بابت تقسيم سسٽم ۽ متوازي ڪمپيوٽنگ، انهي سان گڏ سائنس جي جديد ترين کان خبرون. جيڪڏهن توهان جو مقصد آهي تڪڙو ڪوڊ ڪوڊ ڪرڻ ۽ ان کي تيار ڪرڻ لاءِ ٻئي ڏينهن اسڪول کان پوءِ گرم تعاقب ۾، اهو پڻ ڏکيو ٿي سگهي ٿو.
مددگار اشارو: اسڪول جي ليڪچررن جا تحقيقي مقالا ڏسو گوگل عالم и arxiv.org. جيڪڏهن توهان کي سائنسي مقالا پڙهڻ ۾ مزو ايندو، ته توهان کي اسڪول ۾ پڻ مزو ايندو.
ٽيون، SPTDC 2020 اسڪول ڪا ڪانفرنس نه آهي، ڇاڪاڻ ته ورهايل نظام ۽ متوازي ڪمپيوٽنگ تي ڪانفرنس آهي. هائيڊرا 2020. تازو هبري تي هڪ پوسٽ هئي ان جي پروگرام جو جائزو. گذريل سال، SPTDC ۽ Hydra هڪ ئي وقت ۽ ساڳئي سائيٽ تي ٿي ويا. هن سال اهي تاريخن ۾ اوورلوپ نٿا ڪن، تنهنڪري اهي توهان جي وقت ۽ توجه لاءِ هڪ ٻئي سان مقابلو نٿا ڪن.
مددگار ٽپ: چيڪ ڪريو هائڊرا ڪانفرنس پروگرام ۽ غور ڪريو ڪانفرنس ۾ شرڪت ڪرڻ بعد اسڪول کان پوءِ. هي هڪ سٺو هفتي ٿيندو.
اسڪول ڪيئن حاصل ڪجي؟
- ڪئلينڊر ۾ 6 جولاءِ کان 9 جولاءِ 2020 تائين جون تاريخون لکو (يا بهتر، 11 جولاءِ تائين اسڪول کان پوءِ هائڊرا ڪانفرنس ۾ وڃڻ لاءِ).
- دل وٺڻ ، تيار ٿيڻ.
- ٽڪيٽون چونڊيو ۽ اسڪول وڃڻ.
جو ذريعو: www.habr.com