هن ليسلي لامپورٽ ورهايل ڪمپيوٽنگ ۾ بنيادي ڪم جو ليکڪ آهي، ۽ توهان شايد هن کي لفظ ۾ لا اکر جي ذريعي ڄاڻو ٿا. LaTeX - "Lamport TeX". اهو هو جيڪو پهريون ڀيرو، 1979 ۾ واپس، تصور متعارف ڪرايو ، ۽ سندس مضمون Dijkstra انعام حاصل ڪيو (وڌيڪ واضح طور تي، 2000 ۾ انعام ان جي پراڻي طريقي سان سڏيو ويندو هو: "PODC اثر انداز پيپر انعام"). هن جي باري ۾ آهي جتي توهان ڪجهه وڌيڪ دلچسپ لنڪس حاصل ڪري سگهو ٿا. جيڪڏهن توهان مسئلن کي حل ڪرڻ جي باري ۾ پرجوش آهيو - اڳ يا (BFT)، پوء توهان کي سمجهڻ گهرجي ته Lamport هن سڀني جي پويان آهي.
هو جلد ئي اسان جي ورهايل ڪمپيوٽنگ - هائڊرا جي نئين ڪانفرنس ۾ به ايندو، جيڪا 11-12 جولاءِ تي سينٽ پيٽرسبرگ ۾ ٿيندي. اچو ته ڏسون هي ڪهڙي قسم جو جانور آهي.
هائيڊرا 2019
ملٽي ٿريڊنگ جهڙا موضوع اسان جي ڪانفرنسن ۾ تمام گهڻو مشهور آهن، هميشه رهيا آهن. ھاڻي اھو ڪمرو ويران ھو، پر پوءِ اسٽيج تي ھڪڙو ماڻھو نظر اچي ٿو جيڪو يادگيري جي ماڊل جي باري ۾ ڳالھائي رھيو آھي، اڳي يا گھڻن ڌاڙن واري ڪچري کي گڏ ڪرڻ ۽ - بوم! - اڳ ۾ ئي اٽڪل هڪ هزار ماڻهو ويهڻ ۽ غور سان ٻڌڻ لاءِ سموري دستياب جڳهه تي قبضو ڪن ٿا. هن ڪاميابي جو جوهر ڇا آهي؟ ٿي سگهي ٿو اهو ڇو ته اسان سڀني وٽ ڪجهه قسم جو هارڊويئر آهي جيڪو ورهايل ڪمپيوٽنگ کي منظم ڪري سگهي ٿو؟ يا اهو آهي ته اسان لاشعوري طور تي ان کي لوڊ ڪرڻ جي قابليت کي سمجهي رهيا آهيون جيئن اهو مستحق آهي؟ هتي هڪ سينٽ پيٽرسبرگ ڪوانٽ (يعني هڪ مالي مقدار جي تجزيه نگار ۽ ڊولپر) جي هڪ حقيقي ڪهاڻي آهي، جنهن پاڻ کي هڪ ڪمپيوٽنگ ڪلسٽر جي قبضي ۾ محسوس ڪيو، جنهن جي مڪمل طاقت صرف هو اڪيلو استعمال ڪري سگهي ٿو. توهان ڇا ڪندا جيڪڏهن توهان وٽ پنهنجي ڪمن کي انجام ڏيڻ جي صلاحيت هجي جيڪا هن وقت کان ڪيترائي ڀيرا وڌيڪ هئي؟
اهڙي مقبوليت جي ڪري، پيداوار ۽ موثر ڪمپيوٽنگ جو موضوع ڪانفرنس جي ايجنڊا ۾ پکڙيل آهي. ڪارڪردگي بابت ٻن ڏينهن جي رپورٽن مان ڪيترا ٺاهي سگھجن ٿا - ٽيون، ٻه ٽيون؟ ڪجهه هنڌن تي مصنوعي پابنديون آهن جيڪي هن ترقي کي محدود ڪن ٿا: ڪارڪردگي کان علاوه، اتي اڃا به نئين ويب فريم ورڪ لاء ڪمرو هجڻ گهرجي، ڪجهه قسم جي ڊيوپس يا آرڪيٽيڪچرل astronautics لاء. نه، ڪارڪردگي، توهان اسان سڀني کي نه کائيندا!
يا توهان مخالف رستو وٺي سگهو ٿا، ڇڏي ڏيو ۽ ايمانداري سان هڪ ڪانفرنس ٺاهيو جيڪو مڪمل طور تي ورهايل ڪمپيوٽنگ ۽ صرف انهن بابت هوندو. ۽ هتي اهو آهي، هائڊرا.
اچو ته ايمانداري سان تسليم ڪريون ته اڄ سڀ حساب هڪ يا ٻئي طريقي سان ورهايل آهن. چاهي اها ملٽي-ڪور مشين هجي، هڪ ڪمپيوٽنگ ڪلسٽر، يا وڏي پيماني تي ورهايل خدمت، هر جاءِ تي اهڙا ڪيترائي عمل آهن جيڪي هڪ ٻئي سان هم وقت سازي، متوازي طور تي آزاد حساب ڪتاب ڪندا آهن. هائڊرا وقف ڪئي ويندي ته هي ڪيئن نظريي ۾ ڪم ڪري ٿو ۽ ڪيئن اهو عملي طور تي ڪم ڪري ٿو.
ڪانفرنس پروگرام
پروگرام هن وقت پنهنجي ٺهڻ واري مرحلي ۾ آهي. ان ۾ ورهايل نظامن ۽ انجنيئرن جي نظريي جي باني کان رپورٽون شامل ٿيڻ گهرجن جيڪي انهن سان گڏ پيداوار ۾ ڪم ڪري رهيا آهن.
مثال طور، مائيڪروسافٽ ريسرچ مان ليسلي لمپورٽ ۽ براون يونيورسٽي مان موريس هيرلي جي شرڪت اڳ ۾ ئي معلوم ٿي چڪي آهي.
موريس هيرلي - ڪمپيوٽر سائنس جو هڪ تمام مشهور ۽ معزز پروفيسر، سندس باري ۾ پڻ معلومات آهي ، جتي توهان لنڪس ۽ ڪم ذريعي براؤز ڪري سگهو ٿا. اتي توهان ٻه Dijkstra اوارڊ نوٽيس ڪري سگهو ٿا، پهريون ڪم لاءِ ، ۽ ٻيو، وڌيڪ تازو - . رستي جي ذريعي، لنڪس SciHub ڏانهن به نه، پر براون يونيورسٽي ۽ ورجينيا ٽيڪ يونيورسٽي ڏانهن، توهان کوليو ۽ پڙهي سگهو ٿا.
موريس هڪ اهم نوٽ منعقد ڪرڻ وارو آهي جنهن کي سڏيو ويندو آهي "هڪ ورهايل ڪمپيوٽنگ نقطه نظر کان بلاڪچين." جيڪڏهن توهان دلچسپي رکو ٿا، توهان سينٽ پيٽرسبرگ جي يوگ جي موريس جي رپورٽ جي رڪارڊنگ تي هڪ نظر وٺي سگهو ٿا. اندازو لڳايو ته ڪيئن واضح ۽ سمجھڻ سان هو موضوع کي پهچائي ٿو.
ٻيو اهم نوٽ جنهن کي ”ڊبل ڊيٽا اسٽرڪچرز“ سڏيو ويندو آهي مائيڪل سکاٽ روچسٽر يونيورسٽي مان. ۽ اندازو لڳايو - هن کي پڻ پنهنجو آهي . وڪوسنسن ۾ گهر ۾، هو وڪوسنسن-ميڊيسن يونيورسٽي ۾ هڪ ڊين جي حيثيت سان پنهنجي ڪم لاءِ مشهور آهي، ۽ دنيا ۾ هو اهو ماڻهو آهي، جنهن ڊگ لي سان گڏجي، نان بلاڪنگ الگورتھم ۽ هم وقت ساز قطارون ٺاهيا آهن، جن تي جاوا لائبريريون. ڪم هن پنهنجي ڪم لاءِ ”الگورٿمس فار اسڪيبلبل سنڪرونائيزيشن فار اسپيبلبل سنڪرونائيزيشن آن شيئر ميموري ملٽي پروسيسرز“ (جيئن توقع ڪئي وئي، روچسٽر يونيورسٽي ۾ آن لائن لائبريري).
جولاءِ جي وچ تائين اڃا ڪافي وقت آهي. اسان توهان کي باقي ڳالهائيندڙن ۽ انهن جي عنوانن بابت ٻڌائينداسين جيئن اسان پروگرام کي بهتر بڻائينداسين ۽ جولاءِ جي ويجهو پهتاسين.
عام طور تي، سوال پيدا ٿئي ٿو - اسان اونهاري ۾ هائڊرا ڇو ڪندا آهيون؟ آخرڪار، هي گهٽ موسم آهي، موڪلون. مسئلو اهو آهي ته ڳالهائيندڙن ۾ يونيورسٽي جا استاد به آهن ۽ انهن لاءِ ٻيو ڪو وقت مصروف آهي. اسان صرف ٻيون تاريخون چونڊي نه سگهياسين.
بحث جا علائقا
ٻين ڪانفرنسن ۾، اهو ٿئي ٿو ته اسپيڪر پڙهي جيڪو هن کي گهربل هو ۽ فوري طور تي ڇڏي ويو. شرڪت ڪندڙن وٽ ان کي ڳولڻ جو وقت به نه آھي - آخرڪار، ايندڙ رپورٽ لڳ ڀڳ بغير وقفي جي شروع ٿيندي. اهو تمام ڏکوئيندڙ آهي، خاص طور تي جيڪڏهن اهم ماڻهو جهڙوڪ لامپورٽ، هيرلي ۽ سکاٽ موجود آهن، ۽ توهان واقعي ڪانفرنس ۾ وڃي رهيا آهيو صرف انهن سان ملڻ ۽ ڪجهه بحث ڪرڻ لاء.
اسان اهو مسئلو حل ڪيو آهي. فوري طور تي هن جي رپورٽ کان پوء، اسپيڪر هڪ خاص بحث واري علائقي ڏانهن وڃي ٿو، گهٽ ۾ گهٽ هڪ سفيد بورڊ سان مارڪر سان ليس، ۽ توهان وٽ ڪافي وقت آهي. رسمي طور تي، اسپيڪر واعدو ڪري ٿو ته گهٽ ۾ گهٽ پيشين جي وچ ۾ پوري وقفي دوران. حقيقت ۾، اهي بحث جا علائقا ٿي سگهي ٿو آخر تائين ڪلاڪن تائين وڌايو (اسپيڪر جي خواهش ۽ برداشت تي منحصر آهي).
جيئن ته لامپورٽ جي باري ۾، جيڪڏهن مان صحيح سمجهان ٿو، هو چاهي ٿو ته ڪيترن ئي ماڻهن کي قائل ڪرڻ چاهي - هي هڪ سٺي شيء آهي. (). شايد اهو انجنيئرن لاءِ ڪجهه نئون ۽ مفيد سکڻ جو سٺو موقعو هوندو. ليسلي هي اختيار پيش ڪري ٿو - جيڪي دلچسپي وٺندا آهن اهي ڏسي سگهن ٿا سندس ماضي ليڪچر ۽ سوالن سان گڏ. اهو آهي، هڪ اهم نوٽ جي بدران، اتي ٿي سگهي ٿو هڪ خاص سوال ۽ جواب سيشن، ۽ پوء هڪ بحث جو علائقو. مون ڪجهه گوگلنگ ڪيو ۽ هڪ بهترين مليو. (رسمي طور تي ڊبل ) ۽ هڪ ڪلاڪ ڊگهو ليڪچر Microsoft فيڪلٽي سمٽ کان.
جيڪڏهن توهان انهن سڀني ماڻهن کي وڪيپيڊيا ۽ ڪتابن جي احاطي تي گرينائيٽ ۾ اڇلايل نالن طور سمجهيو، اهو وقت آهي انهن سان ذاتي طور تي ملڻ جو! چيٽ ڪريو ۽ سوال پڇو ته سائنسي مضمونن جا صفحا جواب نه ڏيندا، پر انهن جي ليکڪن سان رابطو ڪرڻ ۾ خوش ٿيندو.
خطرن لاء ڪال
اهو ڪو به راز ناهي ته انهن مان ڪيترائي جيڪي هاڻي آرٽيڪل پڙهي رهيا آهن اسان کي ڪجهه دلچسپ ٻڌائڻ جي خلاف نه آهن. هڪ انجنيئرنگ نقطي نظر کان، هڪ سائنسي نقطي نظر کان - ڪنهن به نقطي نظر کان. ورهايل ڪمپيوٽنگ هڪ تمام وسيع ۽ عميق موضوع آهي جتي هر ڪنهن لاءِ گنجائش آهي.
جيڪڏهن توهان لامپورٽ سان گڏ مقابلو ڪرڻ چاهيو ٿا، اهو مڪمل طور تي ممڪن آهي. هڪ اسپيڪر ٿيڻ لاء توهان کي ضرورت آهي اتي هر شي کي احتياط سان پڙهو ۽ هدايتن جي مطابق ڪريو.
باقي يقين ڏياريو، جيترو جلدي توهان عمل ۾ شامل ٿيو، اهي توهان جي مدد ڪندا. پروگرام ڪميٽي وٽ ڪافي صلاحيتون آهن ته هو رپورٽ پاڻ، ان جي جوهر ۽ ڊزائن ۾ مدد ڪن. ڪوآرڊينيٽر توهان جي تنظيمي مسئلن وغيره کي حل ڪرڻ ۾ مدد ڪندو.
تاريخن سان تصوير تي خاص ڌيان ڏيو. جولاءِ حصو وٺندڙ لاءِ هڪ تمام پري جي تاريخ آهي، پر اسپيڪر کي هاڻي ڪم شروع ڪرڻ جي ضرورت آهي.
SPTDC اسڪول
ڪانفرنس ساڳئي سائيٽ تي منعقد ڪئي ويندي جتي SPTDC اسڪول آهي، تنهنڪري هر ڪنهن لاء جيڪو اسڪول ڏانهن ٽڪيٽ خريد ڪري ٿو، ڪانفرنس جي ٽڪيٽ هوندي. 20٪ رعايت سان.
هڪ اسڪول آهي جيڪو ورهايل نظام جي عملي ۽ نظرياتي پهلوئن تي ڪورسز جو هڪ وسيع سلسلو مهيا ڪري ٿو، جيڪي لاڳاپيل فيلڊ ۾ تسليم ٿيل ماهرن پاران سيکاريا ويندا آهن.
اسڪول انگريزيءَ ۾ منعقد ڪيو ويندو، تنهن ڪري هي ڇا آهي مضمونن جي فهرست هن طرح نظر اچي ٿي:
- سمورو ڊيٽا جي جوڙجڪ: درستگي ۽ ڪارڪردگي؛
- غير مستحڪم ياداشت لاء الگورتھم؛
- ورهايل computability؛
- ورهايل مشين سکيا؛
- رياست-مشين جي نقل ۽ Paxos؛
- بازنطيني غلطي رواداري؛
- بلاڪچين جي الگورتھمڪ بنياديات.
هيٺيان ڳالهائيندڙ ڳالهائيندا:
- Leslie Lamport (Microsoft)؛
- موريس هيرلي (برائون يونيورسٽي)؛
- مائيڪل سکاٽ (يونيورسٽي آف روچسٽر)؛
- Dan Alistarh (IST آسٽريا)؛
- ٽرور برائون (يونيورسٽي آف واٽر لو)؛
- ايلي گفني (UCLA)؛
- ڊيني هينڊلر (بين گوريون يونيورسٽي)؛
- Achour Mostefaoui (يونيورسٽي آف نانٽس).
توهان آزاديءَ سان ڏسي سگهو ٿا پوئين اسڪول جون رپورٽون يوٽيوب تي:
ايندڙ قدم
ڪانفرنس جو پروگرام اڃا ٺهي رهيو آهي. خبرن تي عمل ڪريو Habré يا سماجي نيٽ ورڪن تي (, , ).
جيڪڏهن توهان واقعي ڪانفرنس ۾ يقين رکو ٿا (يا خاص داخلا قيمت جو فائدو وٺڻ چاهيو ٿا، جنهن کي "Early Bird" سڏيو ويندو آهي)، توهان ويب سائيٽ ڏانهن وڃو ۽ .
هائڊرا ۾ ملنداسين!
جو ذريعو: www.habr.com