هائيڊرا جي هٿن ۾ ڪريملين ٽاور: ماسڪو ۾ متوازي ۽ ورهايل ڪمپيوٽنگ هائڊرا 2020 تي ڪانفرنس

گذريل سال سينٽ پيٽرسبرگ ۾ هو پهرين هائيڊرا ڪانفرنس, متوازي ۽ ورهايل نظام لاء وقف. انعام ڏيندڙن پيشيون ڪيون Dijkstra انعام и ٽريننگ انعام (ليسلي لامپورٽ, موريس هيرلي и مائيڪل سکاٽ)، مرتب ڪندڙ ۽ پروگرامنگ ٻولين جا ٺاھيندڙ (C++, Go, Java, Kotlin)، ڊولپر ڊولپرز ڊيٽابيس (Cassandra, CosmosDB, Yandex Database)، گڏو گڏ الگورتھم ۽ ڊيٽا جي جوڙجڪ جا ٺاھيندڙ ۽ محقق (CRDT, Paxos, wait) - مفت ڊيٽا جي جوڙجڪ). عام طور تي، هن موقعي تي توهان اڳ ۾ ئي موڪلون وٺي سگهو ٿا، IDE ونڊو کي گھٽ ڪري، يوٽيوب تي هڪ پلے لسٽ کوليو بهترين رپورٽون هائڊرا 2019 - ۽ ٽاسڪ شيڊولر کي ٿورو انتظار ڪرڻ ڏيو.

عام طور تي، اهڙي ڪانفرنس ڪڏهن به نه ٿي آهي، ۽ هاڻي اها ٻيهر ٿيندي. وري انگريزي ۾ رپورٽن سان، ڇاڪاڻ ته متوازي ۽ ورهايل ڪمپيوٽنگ بابت ڳالهائڻ لاءِ ڪا بهتر ٻولي ناهي. ٻيهر اونهاري ۾، جولاء 10th ۽ 11th، ڇاڪاڻ ته ڳالهائيندڙن وٽ تحقيق ۽ سيکارڻ جو وقت آهي، مثال طور، ڪيمبرج، روچسٽر ۽ سينٽ پيٽرسبرگ جي يونيورسٽين ۾، ۽ سال جا ٻيا وقت انهن لاءِ نه آهن.

بهرحال، هن ڀيري هائيڊرا ماسڪو ۾ منعقد ڪئي ويندي، جتي ڪانفرنس جي اڪثر شرڪت ڪندڙ گذريل سال ورهايل اتفاق راءِ ۽ ٽرانزيڪشنل ياداشت تي رپورٽون ٻڌڻ لاءِ آيا. نئين هائڊرا هڪ وڌيڪ پيچيده پروگرام، گذريل سال جي هيروز سان گڏ نوان اسپيڪر، ۽ گڏوگڏ ٽن هالن ۾ شرڪت ڪندڙن جي وچ ۾ ورهايل متوازي هارڊ ڪور جي جوش جو اڳ ۾ ئي واقف احساس ڏيکاري ٿو.

اچو ته فوري طور تي ٽيبل تي ڪارڊن جو هڪ ڊيڪ رکون جنهن سان بازنطيني جنرلن سامهون اچي رهيا آهيون - اسان چاهيون ٿا ته نئين هائڊرا جو پروگرام وڌيڪ تفصيلي ۽ مختلف هجي. پوئين دفعي اسان آڱرين جي ناخن سان ڇنڊڇاڻ ڪئي هئي، هاڻي اچو ته وسيع ۽ اونهي کوٽائي ڪريون. هتي آهن هائڊرا 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


هڪ ڪانفرنس جي پروگرام ۾ هي سڀ ڳالهيون ڪيئن ٿيون؟ اهو يقيني طور تي هڪ چمڪندڙ نئين ورهايل اسٽور تي عملن جي لڪيرائيزيشن کي جانچڻ کان وڌيڪ آسان ناهي جپسن، پر اسان ڪوشش ڪنداسين.

هتي اهو آهي جيڪو اڳ ۾ ئي پروگرام ۾ آهي:

سنڊي سريدھرن (سنڊي سريڌران) - سان فرانسسڪو مان ورهايل سسٽم ڊولپر، هڪ مختصر ڪتاب جو ليکڪ ورهايل نظام مشاهدو (وٺو مفت اليڪٽرانڪ ڪاپي) ۽ مشهور بلاگ پوسٽ، جتي صرف هڪ مضمون آهي "2019 جو بهترين ٽيڪنڪ ڳالهين ۾"توهان کي ڪجهه ڏينهن جي موڪل کان بچائي سگهي ٿو، پر توهان کي خوش ڪري ڇڏيندو. هائڊرا 2020 تي، سنڊي توهان کي ٻڌائيندو ته ڪيئن ٽيسٽ ورهايل سسٽم، جيتوڻيڪ اهي رياست کي محفوظ ڪن ٿا.


مائيڪل سکاٽ (مائيڪل سکاٽ) - محقق کان يونيورسٽي جو روچسٽر، جاوا جي سڀني ڊولپرز لاءِ سڃاتل آهن جي خالق جي طور تي غير بلاڪنگ الگورتھم ۽ هم وقت ساز قطارون جاوا معياري لائبريري مان. يقينن، ڊيڪسٽرا انعام سان "شيئر ميموري ملٽي پروسيسرز تي اسپيبلبل هم وقت سازي لاءِ الگورتھم”۽ پنهنجو وڪيپيڊيا صفحو. گذريل سال، مائيڪل هائڊرا تي بهترين (توهان جي مطابق) رپورٽ ڏني ٻٽي ڊيٽا جي جوڙجڪ، ۽ هاڻي هو ڳالهائيندو پروجيڪٽ Hodor и گڏيل ياداشت سان محفوظ ڪم، متوازي عملن لاءِ دستياب.


هيڊي هاورڊ (هيڊي هاورڊ) - محقق کان ڪيمپ آف يونيورسٽي، هڪ تقسيم اتفاق الخوارزمي ٺاهڻ لاءِ سڃاتو وڃي ٿو لچڪدار Paxos، انهي سان گڏ عام ڪرڻ تي ڪم لچڪدار Paxos ۽ فاسٽ پيڪسس. گذريل سال، Heidi ٻڌايو ته اهو ڪيئن ڪم ڪري ٿو ۽ ڪم ڪري ٿو Paxos خاندان جي الگورتھم (هڪ بهترين رپورٽون)، ۽ هاڻي مان ڪوشش ڪندس ته وچ ۾ پتلي برف تي هلڻ جي Paxos عاشق ۽ Raft حامي - ۽ پنهنجي راءِ جو حصيداري ڪريو جنهن تي الورورٿم بهتر آهي.


مارٽن ڪلپمن (مارٽن ڪليپمن) شايد ڪيمبرج يونيورسٽي جو اڃا به وڌيڪ مشهور محقق آهي، ۽ وڏي ڊيٽا سسٽم جو اڳوڻو ڊولپر آهي، جنهن هڪ حيرت انگيز طور تي واضح ۽ ان ڪري ورهايل نظامن تي منفرد ڪتاب لکيو آهي.ڊيزائننگ ڊيٽا-گھڻي ايپليڪيشنون" گذريل سال مارٽن نتيجن کي ورهايو انهن جي CRDT تحقيق جو، ۽ جيڪو اسان توهان کي ٻڌائينداسين اسان بعد ۾ اعلان ڪنداسين.


نکيتا ڪول (Nikita Koval) Kotlin ٽيم تي هڪ ڪوروٽين ڊولپر آهي، ITMO ۾ ملٽي ٿريڊ پروگرامنگ تي هڪ ڪورس جي استاد، ۽ هائڊرا ڪانفرنس جي پروگرام ڪميٽي جي ميمبر آهي (ها، جنهن بابت هي مضمون آهي). گذريل سال نيڪيتا جي وي ايم پليٽ فارم تي استعمال ڪندي گھڻن موضوعن واري ڊيٽا جي جوڙجڪ جي جانچ ڪرڻ بابت ڳالهايو لين - چيڪ، ۽ هائيڊرا 2020 تي هو ٻڌائي سگهان ٿو SegmentQueueSynchronizer بابت - استعمال ڪندي تصديق ٿيل Iris فريم ورڪ لاء prover Coq پروگرامنگ هم وقت سازي جي شروعاتي لاء خلاصو.


اسان جي غير مطابقت واري اعلانن تي عمل ڪريو: مجموعي طور تي ڪانفرنس ۾ اٽڪل ٽي درجن رپورٽون هونديون، اسان توهان کي جلد ئي باقي بابت ٻڌائينداسين. انهي سان گڏ، يقينا، ڪانفرنس ۾ اتي بحث جا علائقا هوندا جتي ڳالهائيندڙن کي هڪ يا ڪيترن ئي موضوعن ۾ سوالن سان جانچڻ لاء ضروري آهي جيستائين عام اتفاق تي پهچي وڃي.

۽ جيڪڏھن توھان خوش قسمت آھيو، مارٽن ڪلپمن توھان جي ڪتاب تي دستخط ڪندو.

ها، هائيڊرا 2020 ڪانفرنس کان اڳ، يعني جولاء 6-9، اتي ٿيندو SPTDC 2020 - ورهايل ڪمپيوٽنگ جي نظريي ۽ مشق تي ٽيون سمر اسڪول. اهو توهان کي احساس ڏيندو جيڪو ڪانفرنس ۾ حاصل ڪرڻ ڏکيو آهي، تنهنڪري اسان هڪ الڳ پوسٽ ۾ اسڪول بابت ڳالهائينداسين.

ھاڻ ڇا؟ پهرين، خبرن تي عمل ڪريو Habré ۽ سماجي نيٽ ورڪن تي (ڪريو, Vkontakte, Twitter).

ٻيو، جيڪڏهن توهان اڳ ۾ ئي محسوس ڪيو ته ڪانفرنس ۾ شرڪت ڪرڻ جي غير معمولي خواهش، ويب سائيٽ جي ڳولا ڪريو، توهان اڳ ۾ ئي ڪري سگهو ٿا ٽڪيٽون خريد ڪريو.

ٽيون، تبصرن ۾ هائڊرا 2020 ڪانفرنس پروگرام ڪميٽي سان چيٽ ڪرڻ جو موقعو نه وڃايو. PC ميمبر توهان سان مستقبل جي ڪانفرنس جي عنوانن بابت ڳالهائڻ ۾ خوش ٿيندا.

هائڊرا ۾ ملنداسين!

جو ذريعو: www.habr.com