Hydra ၏လက်ထဲတွင်ရှိသော ကရင်မလင်မျှော်စင်များ- မော်စကိုရှိ Hydra 2020 ကွန်ပျူတာဆိုင်ရာ အပြိုင်နှင့် ဖြန့်ဝေခြင်းဆိုင်ရာ ညီလာခံ

မနှစ်က စိန့်ပီတာစဘတ်မှာ ရှိခဲ့တယ်။ ပထမဆုံး Hydra ညီလာခံအပြိုင်နှင့် ဖြန့်ဝေမှုစနစ်များအတွက် ရည်စူးပါသည်။ ဆုရှင်များ မိတ်ဆက်ပွဲများ ပြုလုပ်ခဲ့သည်။ Dijkstra ဆုများ и Turing ဆုများ (Leslie Lamport, Maurice Herlihy и မိုက်ကယ်စကော့) ၊ compilers နှင့် programming languages ​​များဖန်တီးသူများ (C++၊ Go၊ Java၊ Kotlin)၊ ဖြန့်ဝေထားသော databases များ developer (Cassandra၊ CosmosDB၊ Yandex Database) တို့အပြင် algorithms နှင့် data structures များကို ဖန်တီးသူများနှင့် သုတေသီများ (CRDT၊ Paxos၊ ခဏစောင့်ပါ။ - အခမဲ့ဒေတာဖွဲ့စည်းပုံများ) ။ ယေဘူယျအားဖြင့်၊ ဤအချိန်၌ သင်သည် အားလပ်ရက်ကို ယူပြီးပြီ၊ IDE ဝင်းဒိုးကို လျှော့ချနိုင်သည်၊ YouTube တွင် သီချင်းစာရင်းကို ဖွင့်ပါ အကောင်းဆုံးအစီရင်ခံစာများ Hydra 2019 - အလုပ်ချိန်ဇယားဆွဲသူကို ခဏစောင့်ပါ။

ယေဘူယျအားဖြင့်တော့ ဒီလိုညီလာခံမျိုး ဘယ်တော့မှ မဖြစ်ခဲ့သလို အခုလည်း ထပ်ဖြစ်ဦးမှာပါ။ အင်္ဂလိပ်လို အစီရင်ခံချက်တွေနဲ့ ပြန်တယ်။parallel နှင့် distribution computing အကြောင်းပြောရန် ပိုမိုကောင်းမွန်သောဘာသာစကားမရှိသောကြောင့်ဖြစ်သည်။ ဇူလိုင်လ 10 ရက်နှင့် 11 ရက်များတွင်နွေရာသီ၌တစ်ဖန်ဥပမာအားဖြင့် Cambridge၊ Rochester နှင့် St. Petersburg တက္ကသိုလ်များတွင် သုတေသနနှင့် သင်ကြားရန် အချိန်ရှိသောကြောင့် စပီကာများအနေနှင့် တစ်နှစ်တာ၏ အခြားအချိန်များသည် ၎င်းတို့အတွက် မဟုတ်ပါ။

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

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

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things


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

ဒီအစီအစဉ်မှာ ဘယ်သူတွေ ပါဝင်နေပြီလဲ ၊

Cindy Sridharan (Cindy Sridharan) - ဆန်ဖရန်စစ္စကိုမှ ဖြန့်ဝေသော စနစ်များပြုစုသူ၊ စာအုပ်အတိုကို ရေးသားသူ ဖြန့်ဝေထားသော စနစ်များကို ကြည့်ရှုနိုင်မှု (ယူ အခမဲ့အီလက်ထရောနစ်ကော်ပီ) လူကြိုက်များတယ်။ ဘလော့ဂ်ဆောင်းပါးတစ်ခုပဲရှိတော့၊Tech Talks တွင် 2019 ခုနှစ်၏ အကောင်းဆုံး"မင်းကို အားလပ်ရက်နှစ်ရက်ကနေ ကယ်တင်နိုင်ပေမယ့် မင်းပျော်အောင်ထားလိုက်ပါ။ Hydra 2020 တွင်၊ Cindy က သင့်အား မည်သို့ပြောမည်နည်း။ စမ်းသပ်ဖြန့်ဝေမှုစနစ်များသိုမှီးလျှင်လည်း ပြည်နယ်၊


မိုက်ကယ်စကော့ (Michael Scott) - သုတေသီတို့မှ Rochester တက္ကသိုလ်မှဖန်တီးသူအဖြစ် Java developer များအားလုံး သိကြသည်။ ပိတ်ဆို့ခြင်းမဟုတ်သော algorithms နှင့် synchronous တန်းစီများ Java Standard Library မှ ဟုတ်ပါတယ်၊ Dijkstra Prize နဲ့ "shared-memory များစွာသော ပရိုဆက်ဆာများပေါ်တွင် အရွယ်အစား ချိန်ကိုက်နိုင်သော ထပ်တူပြုခြင်းအတွက် အယ်လဂိုရီသမ်များ"ပြီးတော့ ပိုင်တယ်။ ဝီကီပီးဒီးယား စာမျက်နှာ. ပြီးခဲ့သောနှစ်တွင်၊ မိုက်ကယ်သည် Hydra on နှင့်ပတ်သက်သည့် အကောင်းဆုံးအစီရင်ခံစာကို ပေးခဲ့သည်။ ဒေတာတည်ဆောက်ပုံနှစ်ခု၊ အခု သူအကြောင်းပြောမယ်။ ပရောဂျက် Hodor и မျှဝေထားသောမှတ်ဉာဏ်ဖြင့် လုံခြုံစွာအလုပ်လုပ်ပါ။မျဉ်းပြိုင် လုပ်ငန်းစဉ်များ အတွက် ရရှိနိုင်ပါသည်။


Heidi Howard (Heidi Howard) - သုတေသီ မှ ကင်းဘရစ်တက္ကသိုလ်ဖြန့်ဝေထားသော အများဆန္ဒ အယ်လဂိုရီသမ်ကို ဖန်တီးခြင်းကြောင့် လူသိများသည်။ ပြောင်းလွယ်ပြင်လွယ် Paxosအပြင် Flexible Paxos နှင့် ယေဘူယျအားဖြင့် လုပ်ဆောင်ပါ။ အမြန် Paxos. မနှစ်တုန်းက Heidi က ဘယ်လိုအလုပ်လုပ်တယ်၊ ဘယ်လိုအလုပ်လုပ်တယ်ဆိုတာကို ပြောပြတယ်။ Paxos မိသားစု algorithms (အကောင်းဆုံးအစီရင်ခံစာများထဲမှတစ်ခု) နှင့်ယခုကျွန်ုပ်သည်ပါးလွှာသောရေခဲကြားတွင်လမ်းလျှောက်ရန်ကြိုးစားလိမ့်မည်။ Paxos ချစ်သူများနှင့် Raft ထောက်ခံသူများ — နှင့် မည်သည့် algorithm ပိုကောင်းသည်ကို သူ၏ထင်မြင်ချက်ကို မျှဝေပါ။


Martin Kleppmann (Martin Kleppmann) သည် ကိန်းဘရစ်ချ်တက္ကသိုလ်မှ ထင်ရှားကျော်ကြားသော သုတေသီတစ်ဦးဖြစ်ကောင်းဖြစ်နိုင်သလို ကြီးမားသောဒေတာစနစ်များကို တီထွင်သူလည်းဖြစ်၊ အံ့သြစရာကောင်းလောက်အောင် ရှင်းရှင်းလင်းလင်းနှင့် ထူးခြားဆန်းသစ်သော ဖြန့်ဝေစနစ်ဆိုင်ရာ စာအုပ်တစ်အုပ်ကို ရေးသားခဲ့သူ၊Data-Intensive Application များကို ဒီဇိုင်းဆွဲခြင်း။“ မနှစ်က မာတင် ရလဒ်များကိုမျှဝေခဲ့သည်။ ၎င်းတို့၏ CRDT သုတေသနနှင့် ယခု ကျွန်ုပ်တို့ ပြောပြမည့်အရာ နောက်မှကြေငြာပါမည်။.


Nikita Koval (Nikita Koval) သည် Kotlin အဖွဲ့တွင် ပုံမှန် developer တစ်ဦးဖြစ်ပြီး ITMO တွင် multi-threaded programming သင်တန်းမှ ဆရာတစ်ဦးဖြစ်ပြီး Hydra ကွန်ဖရင့်၏ ပရိုဂရမ်ကော်မတီအဖွဲ့ဝင် (ဟုတ်ပါတယ်၊ ဤဆောင်းပါးသည် အကြောင်းဖြစ်သည်)။ ပြီးခဲ့သည့်နှစ်က Nikita သည် JVM ပလပ်ဖောင်းပေါ်တွင် Multi-threaded ဒေတာတည်ဆောက်ပုံများကိုစမ်းသပ်ခြင်းအကြောင်းပြောခဲ့သည်။ Lin-Checkနှင့် Hydra 2020 တွင် သူ ပွောဆို SegmentQueueSynchronizer အကြောင်း - အသုံးပြု၍ စစ်ဆေးအတည်ပြုပါသည်။ မျက်ဝန်းဘောင် အတွက် Prover Coq ပရိုဂရမ်းမင်း၏ ထပ်တူပြုမှုဆိုင်ရာ နိမိတ်ပုံများအတွက် စိတ်ကူးယဉ်။


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

သင်ကံကောင်းပါက Martin Kleppmann သည် သင့်စာအုပ်ကို လက်မှတ်ရေးထိုးမည်ဖြစ်သည်။

ဟုတ်ကဲ့၊ ဇူလိုင်လ 2020-6 ရက်၊ Hydra 9 ကွန်ဖရင့်မတိုင်ခင်မှာ ရှိပါလိမ့်မယ်။ SPTDC 2020 - ဖြန့်ဝေတွက်ချက်မှုဆိုင်ရာသီအိုရီနှင့်အလေ့အကျင့်ဆိုင်ရာတတိယနွေရာသီကျောင်း။ ကွန်ဖရင့်မှာ ရခဲတဲ့ ခံစားချက်တွေကို ပေးစွမ်းနိုင်တာမို့ သီးခြားပို့စ်တစ်ခုမှာ ကျောင်းအကြောင်း ပြောပြပါမယ်။

အခု ဘာလဲ? ပထမဦးစွာ Habré နှင့်လူမှုရေးကွန်ရက်များပေါ်တွင်သတင်းကိုလိုက်နာပါ (Facebook က, VKontakte, တွစ်တာ).

ဒုတိယအနေနဲ့ ညီလာခံကို တက်ရောက်လိုတဲ့ဆန္ဒကို မခံမရပ်နိုင်ဖြစ်နေပြီဆိုရင်တော့ ဝဘ်ဆိုဒ်ကို စူးစမ်းလေ့လာနိုင်ပါတယ်။ လက်မှတ်များဝယ်ယူပါ။.

တတိယ၊ မှတ်ချက်များတွင် Hydra 2020 ညီလာခံအစီအစဉ်ကော်မတီနှင့် စကားပြောရန်အခွင့်အရေးကို လက်လွတ်မခံပါနှင့်။ PC အဖွဲ့ဝင်များသည် အနာဂတ် ကွန်ဖရင့် ခေါင်းစဉ်များအကြောင်း သင်နှင့် စကားပြောရန် ပျော်ရွှင်ပါမည်။

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

source: www.habr.com