ہائیڈرا کے بازوؤں میں تقسیم شدہ نظام کے نظریہ کے بانی

ہائیڈرا کے بازوؤں میں تقسیم شدہ نظام کے نظریہ کے بانییہ لیسلی لیمپورٹ تقسیم شدہ کمپیوٹنگ میں بنیادی کاموں کے مصنف ہیں، اور آپ اسے لفظ میں لا کے حروف سے بھی جان سکتے ہیں۔ LaTeX - "Lamport TeX"۔ یہ وہی تھا جس نے سب سے پہلے، 1979 میں، تصور کو متعارف کرایا ترتیب وار مستقل مزاجی، اور اس کا مضمون "ایک ملٹی پروسیسر کمپیوٹر کیسے بنایا جائے جو ملٹی پروسیس پروگراموں کو درست طریقے سے چلاتا ہو" ڈجکسٹرا پرائز حاصل کیا (زیادہ واضح طور پر، 2000 میں ایوارڈ کو اس کے پرانے طریقے سے کہا جاتا تھا: "PODC انفلوشل پیپر ایوارڈ")۔ اس کے بارے میں ہے۔ ویکیپیڈیا مضمون، جہاں آپ کو کچھ اور دلچسپ لنک مل سکتے ہیں۔ اگر آپ مسائل کو حل کرنے کے بارے میں پرجوش ہیں - اس سے پہلے یا بازنطینی جرنیلوں کے مسائل (BFT)، پھر آپ کو سمجھنا چاہیے کہ اس سب کے پیچھے لیمپورٹ کا ہاتھ ہے۔

وہ جلد ہی تقسیم شدہ کمپیوٹنگ - ہائیڈرا پر ہماری نئی کانفرنس میں بھی آئیں گے، جو 11-12 جولائی کو سینٹ پیٹرزبرگ میں منعقد ہوگی۔ آئیے دیکھتے ہیں کہ یہ کس قسم کا جانور ہے۔

ہائیڈرا 2019۔

ملٹی تھریڈنگ جیسے موضوعات ہماری کانفرنسوں میں سب سے زیادہ مقبول ہیں، ہمیشہ رہے ہیں۔ ابھی یہ کمرہ ویران تھا، لیکن پھر ایک شخص اسٹیج پر نمودار ہوتا ہے جو میموری ماڈل کے بارے میں بات کرتا ہے، اس سے پہلے یا ملٹی تھریڈڈ کوڑا اٹھانا اور - بوم! - پہلے ہی تقریباً ایک ہزار لوگ بیٹھنے اور غور سے سننے کے لیے تمام دستیاب جگہ پر قابض ہیں۔ اس کامیابی کا جوہر کیا ہے؟ شاید اس کی وجہ یہ ہے کہ ہم سب کے پاس کسی نہ کسی قسم کا ہارڈ ویئر ہے جو تقسیم شدہ کمپیوٹنگ کو منظم کرسکتا ہے؟ یا یہ کہ ہم لاشعوری طور پر اس کو لوڈ کرنے میں اپنی نااہلی کو سمجھتے ہیں جیسا کہ یہ اس کا مستحق ہے؟ سینٹ پیٹرزبرگ کے ایک کوانٹ (یعنی ایک مالیاتی مقداری تجزیہ کار اور ڈویلپر) کی ایک حقیقی کہانی ہے، جس نے خود کو ایک کمپیوٹنگ کلسٹر کے قبضے میں پایا، جس کی پوری طاقت صرف وہ اکیلا ہی استعمال کر سکتا تھا۔ آپ کیا کریں گے اگر آپ کے پاس اپنے کاموں کو انجام دینے کی صلاحیت ہے جو اس سے کئی گنا زیادہ ہے؟

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

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

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

کانفرنس پروگرام

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

مثال کے طور پر، مائیکروسافٹ ریسرچ سے لیسلی لیمپورٹ اور براؤن یونیورسٹی سے موریس ہرلیہی کی شرکت پہلے ہی معلوم ہے۔

ہائیڈرا کے بازوؤں میں تقسیم شدہ نظام کے نظریہ کے بانی موریس ہرلیہی - کمپیوٹر سائنس کے ایک بہت مشہور اور معزز پروفیسر، ان کے بارے میں بھی معلومات موجود ہیں۔ ویکیپیڈیا صفحہ، جہاں آپ لنکس اور کام کے ذریعے براؤز کر سکتے ہیں۔ وہاں آپ دو Dijkstra ایوارڈز دیکھ سکتے ہیں، پہلے کام کے لیے "انتظار سے پاک مطابقت پذیری"، اور دوسرا، تازہ ترین - "ٹرانزیکشنل میموری: لاک فری ڈیٹا سٹرکچرز کے لیے آرکیٹیکچرل سپورٹ". ویسے تو لنکس SciHub کی طرف بھی نہیں جاتے بلکہ براؤن یونیورسٹی اور ورجینیا ٹیک یونیورسٹی تک تو آپ کھول کر پڑھ سکتے ہیں۔

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

ہائیڈرا کے بازوؤں میں تقسیم شدہ نظام کے نظریہ کے بانیدوسرا کلیدی نوٹ جسے "Dual Data Structures" کہا جاتا ہے پڑھا جائے گا۔ مائیکل سکاٹ روچیسٹر یونیورسٹی سے۔ اور اندازہ لگائیں - اس کا اپنا بھی ہے۔ ویکیپیڈیا صفحہ. وسکونسن میں گھر پر، وہ وسکونسن-میڈیسن یونیورسٹی میں بطور ڈین اپنے کام کے لیے جانا جاتا ہے، اور دنیا میں وہ وہ شخص ہے جس نے ڈوگ لی کے ساتھ مل کر نان بلاکنگ الگورتھم اور ہم وقت ساز قطاریں تیار کیں جن پر جاوا لائبریریاں ہیں۔ کام. ہرلیہی کے تین سال بعد اس نے اپنے کام "مشترکہ میموری کے ملٹی پروسیسرز پر اسکیل ایبل سنکرونائزیشن کے لیے الگورتھم" (جیسا کہ توقع کی گئی، وہ کھلے عام جھوٹ بولتا ہے یونیورسٹی آف روچیسٹر آن لائن لائبریری میں)۔

وسط جولائی تک ابھی کافی وقت باقی ہے۔ ہم آپ کو بقیہ مقررین اور ان کے موضوعات کے بارے میں بتائیں گے جب ہم پروگرام کو بہتر کریں گے اور جولائی کے قریب پہنچیں گے۔

عام طور پر، سوال پیدا ہوتا ہے - ہم گرمیوں میں ہائیڈرا کیوں کرتے ہیں؟ سب کے بعد، یہ کم موسم ہے، چھٹیاں. مسئلہ یہ ہے کہ مقررین میں یونیورسٹی کے اساتذہ ہیں، اور کوئی دوسرا وقت ان کے لیے مصروف ہے۔ ہم صرف دوسری تاریخوں کا انتخاب نہیں کر سکتے تھے۔

بحث کے علاقے

دوسری کانفرنسوں میں، ایسا ہوتا ہے کہ اسپیکر نے اپنی ضرورت کو پڑھا اور فوراً چلا گیا۔ شرکاء کے پاس اسے تلاش کرنے کا وقت بھی نہیں ہے - آخر کار، اگلی رپورٹ تقریباً وقفہ کے بغیر شروع ہوتی ہے۔ یہ بہت تکلیف دہ ہے، خاص طور پر اگر لیمپورٹ، ہرلیہی اور سکاٹ جیسے اہم لوگ موجود ہوں، اور آپ دراصل ان سے ملنے اور کچھ بات کرنے کے لیے کانفرنس میں جا رہے ہیں۔

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

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

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

کاغذات کے لئے فون

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

اگر آپ لیمپورٹ کے ساتھ مقابلہ کرنا چاہتے ہیں تو یہ مکمل طور پر ممکن ہے۔ اسپیکر بننے کے لیے آپ کی ضرورت ہے۔ لنک پر عمل کریںوہاں ہر چیز کو غور سے پڑھیں اور ہدایات کے مطابق کریں۔

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

تاریخوں کے ساتھ تصویر پر خصوصی توجہ دیں۔ جولائی حصہ لینے والے کے لیے بہت دور کی تاریخ ہے، لیکن اسپیکر کو ابھی کام شروع کرنے کی ضرورت ہے۔

ہائیڈرا کے بازوؤں میں تقسیم شدہ نظام کے نظریہ کے بانی

ایس پی ٹی ڈی سی اسکول

کانفرنس اسی جگہ پر منعقد کی جائے گی جہاں SPTDC اسکول ہے، لہذا ہر اس شخص کے لیے جو اسکول کا ٹکٹ خریدتا ہے، کانفرنس کے ٹکٹ ہوں گے۔ 20٪ رعایت کے ساتھ.

سمر سکول آن پریکٹس اینڈ تھیوری آف ڈسٹری بیوٹڈ کمپیوٹنگ (SPTDC) ایک ایسا اسکول ہے جو تقسیم شدہ نظاموں کے عملی اور نظریاتی پہلوؤں پر کورسز کی ایک وسیع رینج فراہم کرتا ہے، جو متعلقہ شعبے میں تسلیم شدہ ماہرین کے ذریعہ پڑھایا جاتا ہے۔

اسکول کا انعقاد انگریزی میں کیا جائے گا، لہٰذا احاطہ کیے گئے موضوعات کی فہرست اس طرح نظر آتی ہے:

  • سمورتی ڈیٹا ڈھانچے: درستگی اور کارکردگی؛
  • غیر مستحکم میموری کے لیے الگورتھم؛
  • تقسیم شدہ کمپیوٹیبلٹی؛
  • تقسیم شدہ مشین لرننگ؛
  • ریاستی مشین کی نقل اور پاکسوس؛
  • بازنطینی غلطی رواداری؛
  • بلاکچینز کی الگورتھمک بنیادی باتیں۔

درج ذیل مقررین خطاب کریں گے۔

  • لیسلی لیمپورٹ (مائیکروسافٹ)؛
  • موریس ہرلیہی (براؤن یونیورسٹی)؛
  • مائیکل سکاٹ (روچیسٹر یونیورسٹی)؛
  • Dan Alistarh (IST آسٹریا)؛
  • ٹریور براؤن (یونیورسٹی آف واٹر لو)؛
  • ایلی گفنی (UCLA)؛
  • ڈینی ہینڈلر (بین گوریون یونیورسٹی)؛
  • Achour Mostefaoui (یونیورسٹی آف نانٹس)۔

پلئیلسٹ آپ یوٹیوب پر پچھلے اسکول کی رپورٹس آزادانہ طور پر دیکھ سکتے ہیں:

اگلے مراحل

کانفرنس کا پروگرام اب بھی تشکیل پا رہا ہے۔ Habré یا سوشل نیٹ ورک پر خبروں پر عمل کریں (fb, vk, ٹویٹر).

اگر آپ واقعی کانفرنس میں یقین رکھتے ہیں (یا خصوصی داخلہ قیمت سے فائدہ اٹھانا چاہتے ہیں، جسے "Early Bird" کہا جاتا ہے)، تو آپ ویب سائٹ پر جا سکتے ہیں اور ٹکٹیں خریدیں.

Hydra میں ملتے ہیں!

ماخذ: www.habr.com

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