د هایډرا په لاسونو کې د ویشل شوي سیسټمونو تیوري بنسټ ایښودونکي

د هایډرا په لاسونو کې د ویشل شوي سیسټمونو تیوري بنسټ ایښودونکيد دې لیسلي لامپورټ - په توزیع شوي کمپیوټر کې د بنسټیزو کارونو لیکوال، او تاسو کولی شئ هغه په ​​کلمه کې د لا حروفو په واسطه وپیژنئ LaTeX - "Lamport TeX". دا هغه و چې د لومړي ځل لپاره، په 1979 کې، مفهوم معرفي کړ دوامداره ثبات، او د هغه مقاله "څنګه یو ملټي پروسیسر کمپیوټر جوړ کړئ چې په سمه توګه ملټي پروسس برنامې اجرا کوي" د Dijkstra جایزه ترلاسه کړه (په دقیق ډول، په 2000 کې دا جایزه په زاړه ډول ویل شوې وه: "PODC د نفوذ کاغذ جایزه"). د هغه په ​​اړه شتون لري د ويکيپېډيا مقاله، چیرې چې تاسو ځینې نور په زړه پوري لینکونه ترلاسه کولی شئ. که تاسو د پیښو په اړه د ستونزو حل کولو په اړه لیواله یاست - مخکې یا د بازنطینی جنرالانو ستونزې (BFT)، دوی باید پوه شي چې لامپورټ د دې ټولو تر شا دی.

او هغه به ډیر ژر د توزیع شوي کمپیوټري - هایډرا په اړه زموږ نوي کنفرانس ته راشي ، کوم چې به د جولای 11-12 په سینټ پیټرزبرګ کې ترسره شي. راځئ وګورو چې دا کوم ډول حیوان دی.

هایدرا 2019

د ملټي ټریډینګ په څیر موضوعات زموږ په کنفرانسونو کې ځینې خورا ګرم موضوعات دي ، تل پاتې دي. دا تالار یوازې ویران و ، مګر بیا یو سړی په سټیج کې څرګندیږي چې د حافظې ماډل په اړه خبرې کوي ، پیښیږي - مخکې یا څو تار لرونکي کثافات راټولول او - بوم! - دمخه د زرو څخه کم خلک د ناست او په دقت سره اوریدلو لپاره ټول موجود ځای نیسي. د دې بریالیتوب جوهر څه دی؟ شاید دا حقیقت چې موږ ټول په خپلو لاسونو کې یو ډول هارډویر لرو چې د توزیع شوي کمپیوټر تنظیم کولو وړتیا لري؟ یا دا چې موږ په شعوري ډول د دې په ریښتیني ارزښت کې د بارولو لپاره زموږ ناتواني پوهیږو؟ دلته د یو سینټ پیټرزبورګ کوانټم ریښتینې کیسه ده (یعنې د مالي کمیت شنونکی او پراختیا کونکی) چې د هغه په ​​​​لاسونو کې د کمپیوټري کلستر سره پای ته رسیدلی ، چې بشپړ ځواک یې یوازې هغه کارولی شي. او که تاسو د اوس په پرتله څو ځله ډیر ظرفیت سره خپلې دندې ترسره کړئ نو څه به وکړئ؟

د دې شهرت له امله ، د فعالیت او مؤثره کمپیوټري موضوع د کنفرانس برنامه کې خپریږي. د فعالیت په اړه د دوه ورځو راپورونو څخه څومره کیدی شي - یو دریم، دوه دریمه برخه؟ په ځینو ځایونو کې مصنوعي محدودیتونه شتون لري چې دا وده محدودوي: د فعالیت سربیره، لاهم باید د نوي ویب چوکاټونو لپاره خونه وي، د ځینو ډولونو یا معمارۍ ستورپوهنې لپاره. نه، فعالیت، تاسو به موږ ټول ونه خورئ!

یا تاسو کولی شئ مخالف لوري ته لاړ شئ، پریږدئ او په صادقانه توګه یو کنفرانس جوړ کړئ چې په بشپړ ډول د ویشل شوي کمپیوټر او یوازې د دوی په اړه وي. او دلته دا ده، Hydra.

راځئ چې په صادقانه توګه ومنو چې نن ورځ ټول کمپیوټرونه یو ډول یا بل ویشل شوي. که دا یو څو کور ماشین وي، د کمپیوټري کلستر، یا په لویه پیمانه ویشل شوی خدمت، هر ځای ډیری پروسې شتون لري چې په موازي توګه خپلواکه محاسبه ترسره کوي، د یو بل سره همغږي کوي. دا څنګه په تیوري کې کار کوي او دا څنګه په عمل کې کار کوي د هایډرا تمرکز به وي.

د کنفرانس پروګرام

دا پروګرام اوس مهال د پراختیا په حال کې دی. پدې کې باید د توزیع شوي سیسټمونو تیوریو بنسټ ایښودونکو او انجینرانو راپورونه شامل وي چې د دوی سره په تولید کې کار کوي.

د مثال په توګه، موږ دمخه د مایکروسافټ ریسرچ څخه لیسلي لیمپورټ او د براون پوهنتون څخه موریس هیرلي کې د ګډون په اړه پوهیږو.

د هایډرا په لاسونو کې د ویشل شوي سیسټمونو تیوري بنسټ ایښودونکي موریس هیرلي - د کمپیوټر ساینس یو خورا مشهور او درناوي پروفیسور، د هغه په ​​اړه هم یوه کیسه ده د ويکيپېډيا پاڼه، چیرې چې تاسو کولی شئ لینکونو او کارونو ته لاړ شئ. هلته تاسو کولی شئ د ډیجسټرا دوه جایزې وګورئ ، لومړی د کار لپاره "د انتظار څخه پاک همغږي کول"، او دوهم، ډیر وروستي - "د لیږد یادښت: د بند څخه پاک ډیټا جوړښتونو لپاره معماري ملاتړ". په لاره کې، لینکونه حتی SciHub ته نه ځي، مګر د براون پوهنتون او ویرجینیا ټیک پوهنتون ته، تاسو کولی شئ خلاص او ولولئ.

موریس د "توزیع شوي کمپیوټري لید څخه بلاکچینز" په نوم د کلیدي نوټ کوربه توب کوي. که لیوالتیا لرئ، تاسو کولی شئ د سینټ پیټرزبورګ JUG څخه د موریس راپور ثبتولو ته یو نظر وګورئ. ارزونه وکړئ چې هغه څومره په روښانه او پوهه توګه موضوع بیانوي.

د هایډرا په لاسونو کې د ویشل شوي سیسټمونو تیوري بنسټ ایښودونکيدوهم کلیدي نوټ چې د "دوه اړخیز ډیټا جوړښت" په نوم یادیږي لوستل کیږي مایکل سکاټ د روچیسټر پوهنتون څخه. او اټکل وکړئ څه - هغه خپل هم لري د ويکيپېډيا پاڼه. په ویسکانسن کې په کور کې، هغه د ویسکانسن - میډیسن په پوهنتون کې د ډین په توګه د خپل کار لپاره پیژندل شوی، او په نړۍ کې هغه هغه سړی دی چې د ډګ لی سره یوځای یې هغه غیر بلاکونکي الګوریتمونه او همغږي قطارونه رامینځته کړل چې د جاوا کتابتونونه پرمخ ځي. . هغه د خپل کار "د شریک حافظې ملټي پروسیسرونو کې د توزیع وړ ترکیب لپاره الګوریتم" (لکه څنګه چې تمه کیده ، هغه خلاص پروت دی د روچیسټر پوهنتون آنلاین کتابتون کې).

د جولای تر نیمایي پورې لا هم ډیر وخت پاتې دی. موږ به تاسو ته د نورو ویناوالو او د دوی موضوعاتو په اړه ووایو ځکه چې موږ برنامه اصلاح کوو او جولای ته نږدې شو.

په عموم کې، پوښتنه راپورته کیږي - ولې موږ په دوبي کې هایډرا جوړوو؟ په هرصورت، دا د رخصتۍ فصل دی. ستونزه دا ده چې د ویناوالو په منځ کې د پوهنتون استادان هم شته او بل هر وخت د دوی لپاره بوخت وي. موږ نشو کولی نورې نیټې وټاکو.

د بحث زونونه

په نورو کنفرانسونو کې، دا پیښیږي چې سپیکر هغه څه ولولي چې اړین وي او سمدلاسه پریږدي. ګډونوال حتی د دې د لیدلو لپاره وخت نلري - په هرصورت، راتلونکی راپور تقریبا پرته له تشې څخه پیل کیږي. دا ډیر درد کوي، په ځانګړې توګه کله چې مهم خلک لکه لامپورټ، هیرلي او سکاټ هلته وي، او تاسو واقعیا کنفرانس ته لاړ شئ یوازې د دوی سره لیدنه وکړئ او د یو څه په اړه خبرې وکړئ.

موږ دا ستونزه حل کړې ده. د هغه راپور سمدلاسه وروسته ، سپیکر د ځانګړي بحث ساحې ته ځي چې لږترلږه د سپینې تختې سره د مارکر سره مجهز دی ، او تاسو ډیر وخت لرئ. په رسمي ډول، سپیکر ژمنه کوي چې لږترلږه د راپورونو تر مینځ د وقفې په جریان کې شتون ولري. په حقیقت کې، دا د بحث ساحې کیدای شي په پای کې د ساعتونو لپاره وغځوئ (د سپیکر په غوښتنې او برداشت پورې اړه لري).

لکه څنګه چې د لامپورټ لپاره، که زه په سمه توګه پوهیږم، هغه غواړي د امکان تر حده ډیری خلک قانع کړي TLA+ - دا ښه خبره ده. ((په ويکيپېډيا کې د TLA+ په اړه مقاله). شاید دا به د انجینرانو لپاره یو ښه چانس وي چې یو څه نوي او ګټور زده کړي. لیسلي دا اختیار وړاندیز کوي - څوک چې لیوالتیا لري کولی شي خپل تیر لیکچر وګوري او د پوښتنو سره راشي. دا، د کلیدي نوټ پر ځای، کیدای شي د پوښتنې او ځواب ځانګړې ناسته وي، او بیا د بحث بله ساحه. ما یو څه ګوګل وکړ او یو عالي وموند د TLA+ کورس (په رسمي ډول ډوب شوی په یوټیوب کې پلی لیست) او یو ساعت لیکچر "د کوډ پورته فکر کول" د مایکروسافټ پوهنځي غونډې سره.

که تاسو د دې ټولو خلکو په اړه فکر کوئ چې نومونه یې د ویکیپیډیا څخه په ګرانایټ کې او د کتاب په پوښونو کې اچول شوي، دا د دوی وخت دی چې په ژوندۍ توګه ورسره ووینئ! خبرې وکړئ او پوښتنې وپوښتئ چې د ساینسي مقالو پا pagesې به ځواب نه ورکوي ، مګر د دوی لیکوالان به د تماس کولو لپاره خوښ وي.

د کاغذونو غوښتنه

دا هیڅ پټه نه ده چې ډیری هغه کسان چې اوس مقاله لولي د ځان لپاره په زړه پوري یو څه ویلو سره مخالف ندي. د انجینرۍ له نظره، د ساینسي نقطې څخه، له هر نظره. ویشل شوي کمپیوټري خورا پراخه او ژوره موضوع ده، چیرې چې د هرچا لپاره ځای شتون لري.

که تاسو غواړئ د لامپورټ سره لوبې وکړئ، دا په بشپړه توګه ممکنه ده. د سپیکر کیدو لپاره، تاسو اړتیا لرئ لینک تعقیب کړئهلته هرڅه په دقت سره ولولئ او د لارښوونو سره سم یې ترسره کړئ.

آرام اوسئ، هرڅومره ژر چې تاسو پروسې سره وصل شئ ، تاسو سره به مرسته وشي. د پروګرام کمېټه کافي منابع لري چې د راپور سره مرسته وکړي، د هغې ماهیت او ډیزاین. همغږي کوونکی به تاسو سره د سازماني مسلو په حل کولو کې مرسته وکړي او داسې نور.

د تاریخ سره انځور ته ځانګړې پاملرنه وکړئ. جولای د ګډون کونکي لپاره خورا لیرې نیټه ده، او سپیکر باید اوس عمل پیل کړي.

د هایډرا په لاسونو کې د ویشل شوي سیسټمونو تیوري بنسټ ایښودونکي

د SPTDC ښوونځی

کنفرانس به په ورته سایټ کې د SPTDC ښوونځي سره ترسره شي، نو د هر چا لپاره چې د ښوونځي لپاره ټکټ اخلي، د کنفرانس ټکټونه - د 20 discount تخفیف سره.

د توزیع شوي کمپیوټري تمرین او تیوري په اړه سمر ښوونځی (SPTDС) - یو ښوونځی چې د ویشل شوي سیسټمونو د عملي او نظري اړخونو پراخه کورسونه وړاندې کوي، کوم چې په اړونده ساحه کې د پیژندل شوي متخصصینو لخوا تدریس کیږي.

ښوونځی به په انګلیسي ژبه ترسره شي، نو دلته د پوښښ شویو موضوعاتو لیست دی:

  • د معلوماتو همغږي جوړښتونه: سموالی او موثریت؛
  • د بې ثباته حافظې لپاره الګوریتم؛
  • توزیع شوي کمپیوټري وړتیا؛
  • ویشل شوی ماشین زده کړه؛
  • د دولتي ماشین نقل او Paxos؛
  • د بازنطینی عیب زغم؛
  • د بلاکچین الګوریتمیک اساسات.

لاندې ویناوال به خبرې وکړي:

  • Leslie Lamport (Microsoft)؛
  • موریس هیرلي (براون پوهنتون)؛
  • مایکل سکاټ (د روچیسټر پوهنتون)؛
  • ډان الیسټار (IST اتریش)؛
  • ټریور براون (د واټرلو پوهنتون)؛
  • ایلی ګفنی (UCLA)؛
  • ډیني هینډلر (بین ګوریون پوهنتون)؛
  • آچور مصطفوي (د نانټس پوهنتون).

پلی لیست د تیرو ښوونځیو راپورونو سره په وړیا توګه په یوټیوب کې لیدل کیدی شي:

راتلونکی ګامونه

د کنفرانس پروګرام لا هم جوړیږي. خبرونه په Habré یا په ټولنیزو شبکو کې تعقیب کړئ (fb, vk, twitter).

که تاسو واقعیا په کنفرانس باور لرئ (یا غواړئ د ځانګړي پیل شوي نرخ څخه ګټه پورته کړئ ، لکه څنګه چې دوی وايي ، "لومړني الوتونکي") - تاسو کولی شئ سایټ ته لاړ شئ او ټکټونه اخیستل.

په هایډرا کې به ګورو!

سرچینه: www.habr.com

Add a comment