ဤ Leslie Lamport - ဖြန့်ဝေထားသော ကွန်ပြူတာတွင် အခြေခံကျသော လက်ရာများကို ရေးသားသူဖြစ်ပြီး စကားလုံးတွင် La စာလုံးများဖြင့်လည်း သူ့ကို သိနိုင်သည်။ LaTeX - "Lamport TeX"။ 1979 တွင် ပထမဦးဆုံးအကြိမ် အယူအဆကို မိတ်ဆက်ခဲ့သူဖြစ်သည်။ တသမတ်တည်း ညီညွတ်မှုနှင့် သူ့ဆောင်းပါး "Multiprocess ပရိုဂရမ်များကို မှန်ကန်စွာလုပ်ဆောင်နိုင်သော Multiprocessor Computer တစ်ခုဖန်တီးနည်း" Dijkstra Award ကို ရရှိခဲ့သည် (အတိအကျပြောရလျှင် 2000 ခုနှစ်တွင် အဆိုပါဆုကို ရှေးနည်းအတိုင်း ခေါ်ဆိုခဲ့သည်- "PODC Influential Paper Award")။ သူ့အကြောင်းရှိတယ်။ ဝီကီပီးဒီးယား ဆောင်းပါးနောက်ထပ် စိတ်ဝင်စားစရာကောင်းတဲ့ လင့်ခ်တွေကို သင်ရနိုင်တဲ့နေရာမှာ။ သင်ဟာ ပြဿနာတွေကို ဖြေရှင်းဖို့ စိတ်လှုပ်ရှားနေတယ်ဆိုရင် ဖြစ်ပျက်-မဖြစ်ခင် ဒါမှမဟုတ် Byzantine စစ်ဗိုလ်ချုပ်များ၏ပြဿနာများ (BFT)၊ Lamport သည် အရာအားလုံး၏နောက်ကွယ်တွင် ရှိနေကြောင်း နားလည်ရန် လိုအပ်သည်။

ထို့အပြင် မကြာမီတွင် စိန့်ပီတာစဘတ်တွင် ဇူလိုင် ၁၁ ရက်မှ ၁၂ ရက်အထိ ကျင်းပမည့် ဖြန့်ဝေထားသော ကွန်ပြူတာ- Hydra ဆိုင်ရာ ကျွန်ုပ်တို့၏ ကွန်ဖရင့်အသစ်သို့ ရောက်ရှိလာမည်ဖြစ်သည်။ ဘယ်လိုတိရိစ္ဆာန်မျိုးလဲဆိုတာ ကြည့်လိုက်ရအောင်။

ဟိုက်ဒလက်ပြီ

Multithreading ကဲ့သို့သော ခေါင်းစဉ်များသည် ကျွန်ုပ်တို့၏ ကွန်ဖရင့်များတွင် ခေတ်အစားဆုံး အကြောင်းအရာများထဲမှ အချို့ဖြစ်သည်။ ဒီခန်းမထဲမှာပဲ စွန့်ပစ်ခံခဲ့ရပေမယ့် စင်မြင့်ပေါ်မှာ လူတစ်ယောက် ပေါ်လာပြီး မှတ်ဉာဏ်ပုံစံအကြောင်း ပြောနေတာ၊ မဖြစ်ခင် ဒါမှမဟုတ် ကြိုးမျိုးစုံနဲ့ အမှိုက်တွေ စုဆောင်းပြီး boom! - ထိုင်ပြီး ဂရုတစိုက်နားထောင်ရန် လူတစ်ထောင်အောက်ရှိပြီးသား နေရာအားလုံးကို သိမ်းပိုက်ပါ။ ဒီအောင်မြင်မှုရဲ့ အနှစ်သာရက ဘာလဲ။ ကျွန်ုပ်တို့အားလုံးသည် ဖြန့်ဝေထားသော ကွန်ပြူတာကို စုစည်းနိုင်သည့် ဟာ့ဒ်ဝဲလ်တစ်မျိုးမျိုး လက်ထဲတွင် ရှိနေခြင်းဖြစ်နိုင်သည် ။ သို့မဟုတ် ကျွန်ုပ်တို့သည် ၎င်းကို ၎င်း၏စစ်မှန်သောတန်ဖိုးဖြင့် တင်ဆောင်ရန် ကျွန်ုပ်တို့၏ မသိစိတ်မှ နားလည်သဘောပေါက်ခြင်းလော။ စိန့်ပီတာစဘတ် ကွမ်တမ် (ဆိုလိုသည်မှာ၊ ငွေကြေးပမာဏ လေ့လာဆန်းစစ်သူနှင့် တီထွင်သူ) တစ်ဦးတည်း၏ လက်ထဲတွင် ကွန်ပျူတာအစုအဝေးတစ်ခုဖြင့် အဆုံးသတ်ခဲ့သော စိန့်ပီတာစဘတ်ကွမ်တမ် (St. Petersburg quantum) ၏ တကယ့်အဖြစ်အပျက်တစ်ခုရှိသည်။ ပြီးတော့ အခုထက် အဆများစွာ ပိုကြီးတဲ့ အလုပ်တွေကို စွမ်းဆောင်ရည်နဲ့ ထမ်းဆောင်နိုင်ရင် ဘာလုပ်မလဲ။

ဤရေပန်းစားမှုကြောင့်၊ စွမ်းဆောင်ရည်နှင့် ထိရောက်သော ကွန်ပြူတာဆိုင်ရာ ခေါင်းစဉ်သည် ကွန်ဖရင့်ပရိုဂရမ်တွင် ပျံ့နှံ့သွားတတ်သည်။ စွမ်းဆောင်ရည်နှင့် ပတ်သက်၍ အစီရင်ခံစာ နှစ်ရက်အတွင်း မည်မျှပြုလုပ်နိုင်သည် - သုံးပုံတစ်ပုံ၊ သုံးပုံနှစ်ပုံ။ အချို့နေရာများတွင် ဤတိုးတက်မှုကို ကန့်သတ်သည့်အတုအယောင် ကန့်သတ်ချက်များ ရှိနေသည်- စွမ်းဆောင်ရည်အပြင်၊ တီထွင်ဖန်တီးမှု သို့မဟုတ် ဗိသုကာဆိုင်ရာ အာကာသယာဉ်မှုဆိုင်ရာ အချို့အတွက် ဝဘ်ဘောင်အသစ်များအတွက် နေရာလွတ်ရှိရပါမည်။ မဟုတ်ဘူး၊ စွမ်းဆောင်ရည်၊ မင်း ငါတို့အားလုံးကို မစားရဘူး။

သို့မဟုတ် သင်သည် ဆန့်ကျင်ဘက်လမ်းကို သွားနိုင်သည်၊ စွန့်စားပြီး ၎င်းတို့နှင့် ပတ်သက်သော ဖြန့်ဝေမှု တွက်ချက်ခြင်းဆိုင်ရာ လုံးလုံးလျားလျား ဖြစ်မည့် ကွန်ဖရင့်တစ်ခုကို ရိုးရိုးသားသား ပြုလုပ်နိုင်သည်။ ဟိုဒရာ၊

ယနေ့ခေတ် ကွန်ပြူတာအားလုံးသည် တစ်နည်းမဟုတ်တစ်နည်း ဖြန့်ဝေကြောင်း ရိုးသားစွာ ဝန်ခံကြပါစို့။ ၎င်းသည် multi-core စက်၊ ကွန်ပျူတာ အစုအဝေး သို့မဟုတ် အကြီးစား ဖြန့်ဝေသည့် ဝန်ဆောင်မှုဖြစ်စေ၊ တစ်ခုနှင့်တစ်ခု တစ်ပြိုင်တည်း ပြိုင်တူလုပ်ဆောင်သည့် သီးခြား တွက်ချက်မှုများကို လုပ်ဆောင်သည့် နေရာတိုင်းတွင် လုပ်ငန်းစဉ်များစွာ ရှိပါသည်။ ၎င်းသည် သီအိုရီတွင် မည်သို့အလုပ်လုပ်ပုံနှင့် လက်တွေ့တွင် မည်သို့အလုပ်လုပ်ပုံသည် ဟိုက်ဒရာ၏ အာရုံဖြစ်သည်။

ညီလာခံအစီအစဉ်

ပရိုဂရမ်ကို လက်ရှိတွင် ဖော်ဆောင်လျက်ရှိသည်။ ဖြန့်ဝေမှုစနစ်သီအိုရီများ၏ တည်ထောင်သူများနှင့် ထုတ်လုပ်မှုတွင် ၎င်းတို့နှင့်အတူ လုပ်ဆောင်နေသော အင်ဂျင်နီယာများထံမှ အစီရင်ခံစာများ ပါဝင်သင့်သည်။

ဥပမာအားဖြင့်၊ Microsoft Research မှ Leslie Lamport နှင့် Brown University မှ Maurice Herlihy တို့ ပါဝင်ခြင်းအကြောင်းကို ကျွန်ုပ်တို့ သိထားပြီးဖြစ်သည်။

Maurice Herlihy - အလွန်နာမည်ကြီးပြီး လေးစားရတဲ့ ကွန်ပျူတာသိပ္ပံ ပါမောက္ခတစ်ယောက်လည်း သူ့အကြောင်း ပုံပြင်တစ်ပုဒ်ရှိပါတယ်။ ဝီကီပီးဒီးယား စာမျက်နှာလင့်ခ်များကိုကျော်၍ အလုပ်လုပ်နိုင်သောနေရာ၊ အလုပ်အတွက် ပထမဆုံး Dijkstra ဆု နှစ်ခုလောက်ကို သတိထားမိနိုင်ပါတယ်။ "စောင့်ဆိုင်း-အခမဲ့ ထပ်တူပြုခြင်း"ဒုတိယ၊ မကြာသေးမီက- "ငွေကြေးလွှဲပြောင်းမှုမှတ်ဉာဏ်- သော့ခတ်-အခမဲ့ ဒေတာဖွဲ့စည်းပုံများအတွက် ဗိသုကာဆိုင်ရာ ပံ့ပိုးမှု". စကားမစပ်၊ လင့်ခ်များသည် SciHub သို့ပင်မပို့ဆောင်နိုင်သော်လည်း Brown University နှင့် Virginia Tech University သို့ သင်ဖွင့်ဖတ်နိုင်သည်။

Maurice သည်ဖြန့်ဝေထားသောတွက်ချက်မှုရှုထောင့်မှ "Blockchains" ဟုခေါ်သောအဓိကအချက်ကိုလက်ခံကျင်းပမည်ဖြစ်သည်။ စိတ်ပါဝင်စားပါက၊ စိန့်ပီတာစဘတ် JUG မှ Maurice ၏ မှတ်တမ်းကို ကြည့်ရှုနိုင်ပါသည်။ သူသည် ခေါင်းစဉ်ကို မည်မျှရှင်းလင်းနားလည်သဘောပေါက်ကြောင်း အကဲဖြတ်ပါ။

"Dual Data Structures" ဟုခေါ်သော ဒုတိယအဓိကအချက်ကို ဖတ်ပါမည်။ မိုက်ကယ်စကော့ Rochester တက္ကသိုလ်မှ။ အဘယျသို့မှန်းဆ - သူ့မှာလည်းသူ့ကိုယ်ပိုင်ရှိပါတယ်။ ဝီကီပီးဒီးယား စာမျက်နှာ. Wisconsin ရှိ အိမ်တွင်သူသည် University of Wisconsin-Madison တွင် ဌာနမှူးအဖြစ် လူသိများပြီး ကမ္ဘာပေါ်တွင် သူသည် Doug Lea နှင့်အတူ အဆိုပါ ပိတ်ဆို့ခြင်းမဟုတ်သော အယ်လဂိုရီသမ်များနှင့် Java စာကြည့်တိုက်များလည်ပတ်သည့် synchronous တန်းစီခြင်းကို တီထွင်ခဲ့သူဖြစ်သည်။ . Herlihy ပြီးနောက် သုံးနှစ်အကြာတွင် ၎င်း၏ Dijkstra Prize ကို ရရှိခဲ့ပြီး၊ သူ၏ "မျှဝေထားသော Memory Multiprocessors များပေါ်တွင် အရွယ်အစားအလိုက် ချိန်ညှိနိုင်သော အယ်လ်ဂိုရီသမ်များ" (မျှော်လင့်ထားသည့်အတိုင်း၊ ပွင့်ပွင့်လင်းလင်း University of Rochester ၏ အွန်လိုင်းစာကြည့်တိုက်တွင်)။

ဇူလိုင်လလယ်အထိ အချိန်အများကြီးရှိပါသေးတယ်။ အစီအစဉ်ကို ပြန်လည်ပြင်ဆင်ပြီး ဇူလိုင်လ နီးကပ်လာသောအခါတွင် အခြားသော စပီကာများနှင့် ၎င်းတို့၏ အကြောင်းအရာများကို သင့်အား ပြောပြပါမည်။

ယေဘူယျအားဖြင့် မေးစရာရှိလာသည် - အဘယ်ကြောင့်ကျွန်ုပ်တို့သည် နွေရာသီတွင် Hydra ကိုပြုလုပ်သနည်း။ နောက်ဆုံးတော့ ဒီဟာက အားလပ်ရက်၊ အားလပ်ရက်တွေပါ။ ပြဿနာမှာ ဟောပြောသူများကြားတွင် တက္ကသိုလ်ပါမောက္ခများ ရှိနေပြီး အခြားအချိန်များတွင် ၎င်းတို့အတွက် အလုပ်များနေခြင်းဖြစ်သည်။ ကျွန်ုပ်တို့သည် အခြားရက်များကို ရွေးချယ်၍မရပါ။

ဆွေးနွေးရန်နေရာများ

အခြားအစည်းအဝေးများတွင်၊ ဟောပြောသူက လိုအပ်သည်များကို ဖတ်ပြီး ချက်ချင်းထွက်သွားသည်။ ပါဝင်သူများသည် ၎င်းကိုရှာဖွေရန် အချိန်ပင်မရှိပါ - နောက်ဆုံးတွင်၊ နောက်အစီရင်ခံစာသည် ကွာဟမှုမရှိဘဲ စတင်သည်။ အထူးသဖြင့် Lamport၊ Herlihy နဲ့ Scott တို့လို အရေးကြီးတဲ့ လူတွေရှိတဲ့အခါ အရမ်းနာကျင်ရပြီး သူတို့နဲ့တွေ့ပြီး တစ်ခုခုပြောဖို့ ကွန်ဖရင့်ကို သင်တကယ်သွားပါ။

ဒီပြဿနာကို ကျွန်တော်တို့ ဖြေရှင်းပြီးပါပြီ။ သူ့သတင်းပို့ပြီးပြီးချင်းမှာပဲ၊ ဟောပြောသူက အနည်းဆုံး အမှတ်အသားပါတဲ့ whiteboard တပ်ဆင်ထားတဲ့ အထူးဆွေးနွေးခန်းဆီသွားပြီး၊ မင်းမှာ အချိန်အများကြီးရှိတယ်။ တရားဝင်အားဖြင့်၊ အစီရင်ခံစာများကြားကာလတွင် ဟောပြောသူသည် အနည်းဆုံး ထိုနေရာတွင် ရှိနေမည်ဟု ကတိပြုပါသည်။ လက်တွေ့မှာ ဒီလို ဆွေးနွေးမှုတွေ ရှိတယ်။ နိုင် အဆုံးတွင် နာရီပေါင်းများစွာ ဆန့်တန်း (စကားပြောသူ၏ ဆန္ဒနှင့် ခံနိုင်ရည်ပေါ် မူတည်၍)။

Lamport နဲ့ ပတ်သက်ပြီးတော့ ကျွန်တော် မှန်ကန်စွာ နားလည်ရင် သူက လူတွေကို တတ်နိုင်သမျှ စည်းရုံးစေချင်ပါတယ်။ TLA+ - ဒါက ကောင်းတဲ့အရာပါ။ (Wikipedia ရှိ TLA+ အကြောင်း ဆောင်းပါး) ဤသည်မှာ အင်ဂျင်နီယာများအတွက် အသစ်အဆန်းနှင့် အသုံးဝင်သော အရာများကို လေ့လာရန် အခွင့်အလမ်းကောင်း ဖြစ်ကောင်းဖြစ်နိုင်သည်။ Leslie သည် ဤရွေးချယ်ခွင့်ကို ပေးသည် - စိတ်ဝင်စားသူမည်သူမဆို ၎င်း၏ အတိတ်က ဟောပြောပွဲများကို ကြည့်ရှုနိုင်ပြီး မေးခွန်းများ မေးမြန်းနိုင်ပါသည်။ ဆိုလိုသည်မှာ အဓိကအချက်အစား၊ အထူးပြု အမေးအဖြေကဏ္ဍ၊ ထို့နောက် အခြားဆွေးနွေးမှုဇုန်တစ်ခု ရှိသကဲ့သို့ ဖြစ်နိုင်ပါသည်။ ကျွန်တော် နည်းနည်း google ကြည့်လိုက်တော့ အရမ်းကောင်းတာတွေ့တယ်။ TLA+ သင်တန်း (တရားဝင်အမည်ပေးထားသည်။ youtube တွင် playlist) နှင့် တစ်နာရီ ဟောပြောပွဲ "ကုဒ်ထက်ကို တွေးနေတာ" Microsoft Faculty Summit နှင့်

ဤလူအားလုံးကို Wikipedia မှ ကျောက်တုံးကြီးဖြင့် ရေးထားသော အမည်များနှင့် စာအုပ်အဖုံးများပေါ်တွင် သင်ထင်မြင်ယူဆပါက၊ ၎င်းတို့နှင့် တိုက်ရိုက်တွေ့ဆုံရမည့်အချိန်ဖြစ်သည်။ သိပ္ပံဆိုင်ရာ ဆောင်းပါးများ၏ စာမျက်နှာများတွင် အဖြေမဟုတ်သော မေးခွန်းများကို ချက်တင်မေးပါ၊ သို့သော် ၎င်းတို့၏ စာရေးဆရာများသည် ဆက်သွယ်ရန် ပျော်ရွှင်ပါလိမ့်မည်။

သတင်းစာများကများအတွက် Call

ယခုဆောင်းပါးကိုဖတ်နေသူအများစုသည် သူတို့ကိုယ်သူတို့ စိတ်ဝင်စားစရာကောင်းလောက်အောင် တစ်ခုခုပြောရန် မနှစ်သက်ကြသည်မှာ လျှို့ဝှက်ချက်မဟုတ်ပါ။ အင်ဂျင်နီယာရှုထောင့်မှ၊ သိပ္ပံပညာရှုထောင့်မှ၊ မည်သည့်ရှုထောင့်မှမဆို။ Distributed computing သည် အလွန်ကျယ်ပြန့်ပြီး နက်နဲသောအကြောင်းအရာဖြစ်ပြီး လူတိုင်းအတွက် နေရာတစ်ခုဖြစ်သည်။

Lamport နဲ့တွဲကစားချင်တယ်ဆိုရင်တော့ လုံးဝဖြစ်နိုင်ပါတယ်။ Speaker တစ်ယောက်ဖြစ်ဖို့ လိုအပ်တယ်။ link ကိုလိုက်နာပါအဲဒီမှာ အားလုံးကို သေချာဖတ်ပြီး ညွှန်ကြားချက်အတိုင်း လုပ်ပါ။

စိတ်အေးအေးထားပါ၊ လုပ်ငန်းစဉ်ကို သင်ချိတ်ဆက်ပြီးသည်နှင့် သင်သည် အကူအညီရလိမ့်မည်။ ပရိုဂရမ်ကော်မတီတွင် အစီရင်ခံစာကိုယ်တိုင်၊ ၎င်း၏အနှစ်သာရနှင့် ဒီဇိုင်းကို ကူညီရန် လုံလောက်သောအရင်းအမြစ်များရှိသည်။ ညှိနှိုင်းရေးမှူးသည် သင့်အား အဖွဲ့အစည်းဆိုင်ရာ ပြဿနာများနှင့် အခြားအရာများကို ကူညီဖြေရှင်းပေးလိမ့်မည်။

ရက်စွဲများနှင့်အတူ ပုံများကို အထူးဂရုပြုပါ။ ဇူလိုင်လသည် ပါဝင်သူအတွက် ဝေးကွာသောရက်စွဲဖြစ်ပြီး ဟောပြောသူက ယခုမှ စတင်သရုပ်ဆောင်ရန် လိုအပ်ပါသည်။

SPTDC ကျောင်း

ဆွေးနွေးပွဲကို SPTDC ကျောင်းနှင့် တူညီသောနေရာ၌ ကျင်းပမည်ဖြစ်သောကြောင့် ကျောင်းလက်မှတ်ဝယ်ယူသူတိုင်းအတွက် ညီလာခံလက်မှတ်များ - 20% လျှော့စျေးနှင့်အတူ.

လက်တွေ့နှင့် ဖြန့်ဝေထားသော ကွန်ပျူတာသီအိုရီ (SPTDС) ဆိုင်ရာ နွေရာသီကျောင်း - သက်ဆိုင်ရာနယ်ပယ်မှ အသိအမှတ်ပြု ပညာရှင်များမှ သင်ကြားပို့ချပေးသော ဖြန့်ဝေမှုစနစ်၏ လက်တွေ့နှင့် သီအိုရီဆိုင်ရာ ကျယ်ပြန့်သော သင်တန်းများကို ပံ့ပိုးပေးသော ကျောင်း။

ကျောင်းတွင် အင်္ဂလိပ်ဘာသာဖြင့် ကျင်းပမည်ဖြစ်သဖြင့် အောက်ပါအကြောင်းအရာများစာရင်းကို ဖော်ပြပေးလိုက်ပါတယ်။

• တစ်ပြိုင်တည်း ဒေတာဖွဲ့စည်းပုံများ- မှန်ကန်မှုနှင့် ထိရောက်မှု၊
• မတည်ငြိမ်သောမှတ်ဉာဏ်အတွက် အယ်လဂိုရီသမ်များ
• ဖြန့်ဝေထားသော တွက်ချက်နိုင်စွမ်း၊
• ဖြန့်ဝေစက်သင်ယူမှု;
• ပြည်နယ်-စက်ပုံတူပွားနှင့် Paxos;
• Byzantine အမှား-သည်းခံမှု;
• blockchains ၏ အယ်လဂိုရီသမ်အခြေခံများ။

အောက်ဖော်ပြပါ ဟောပြောသူများသည် ဟောပြောမည်ဖြစ်ပါသည်။

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown တက္ကသိုလ်);
• Michael Scott (Rochester တက္ကသိုလ်);
• Dan Alistarh (IST Austria);
• Trevor Brown (Waterloo တက္ကသိုလ်);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion တက္ကသိုလ်);
• Achour Mostefaoui (Nantes တက္ကသိုလ်)။

အစီအစဉ် ယခင်ကျောင်း၏ အစီရင်ခံစာများကို YouTube တွင် လွတ်လပ်စွာကြည့်ရှုနိုင်သည်-

နောက်အဆင့်များ

ညီလာခံအစီအစဉ်ကို ဆက်လက်ဖွဲ့စည်းနေဆဲဖြစ်သည်။ Habré တွင် သို့မဟုတ် လူမှုကွန်ရက်များတွင် သတင်းကို လိုက်နာပါ (fb, vk, twitter).

အကယ်၍ သင်သည် ကွန်ဖရင့်ကို အမှန်တကယ် ယုံကြည်ပါက (သို့မဟုတ် "Early Bird" ဟု ဆိုကြသည့် အထူးအစဈေး၏ အခွင့်ကောင်းကို ရယူလိုပါက) - သင် ဆိုက်ကို သွားပြီး၊ လက်မှတ်များဝယ်ယူပါ။.

Hydra မှာတွေ့မယ်။

source: www.habr.com