หอคอยเครมลินอยู่ในอ้อมแขนของไฮดรา: การประชุมเกี่ยวกับคอมพิวเตอร์แบบขนานและแบบกระจาย Hydra 2020 ในมอสโก

ปีที่แล้วมีในเซนต์ปีเตอร์สเบิร์ก การประชุมไฮดราครั้งแรกทุ่มเทให้กับระบบแบบขนานและแบบกระจาย ผู้ได้รับรางวัลได้นำเสนอผลงาน รางวัล Dijkstra и รางวัลทัวริง (เลสลี่ แลมพอร์ต, มอริส เฮอร์ลิฮี и ไมเคิล สก็อตต์), ผู้สร้างคอมไพเลอร์และภาษาการเขียนโปรแกรม (C++, Go, Java, Kotlin), ผู้พัฒนาฐานข้อมูลแบบกระจาย (Cassandra, CosmosDB, Yandex Database) รวมถึงผู้สร้างและผู้วิจัยอัลกอริทึมและโครงสร้างข้อมูล (CRDT, Paxos, wait โครงสร้างข้อมูลฟรี) โดยทั่วไป ณ จุดนี้ คุณสามารถพักร้อนได้แล้ว ย่อหน้าต่าง IDE เปิดเพลย์ลิสต์บน YouTube ด้วย รายงานที่ดีที่สุด Hydra 2019 - และปล่อยให้ตัวกำหนดเวลางานรอสักครู่

โดยทั่วไปแล้ว การประชุมดังกล่าวไม่เคยเกิดขึ้น และตอนนี้ก็จะเกิดขึ้นอีกครั้ง อีกครั้งพร้อมรายงานเป็นภาษาอังกฤษเนื่องจากไม่มีภาษาใดที่จะดีไปกว่าการพูดเกี่ยวกับการประมวลผลแบบขนานและแบบกระจาย อีกครั้งในช่วงฤดูร้อนวันที่ 10 และ 11 กรกฎาคมเนื่องจากวิทยากรมีเวลาค้นคว้าและสอน เช่น ที่มหาวิทยาลัยเคมบริดจ์ โรเชสเตอร์ และเซนต์ปีเตอร์สเบิร์ก และเวลาอื่นๆ ของปีไม่เหมาะสำหรับพวกเขา

อย่างไรก็ตาม ครั้งนี้ไฮดร้าจะจัดขึ้นที่มอสโกซึ่งผู้เข้าร่วมการประชุมส่วนใหญ่มาเมื่อปีที่แล้วเพื่อฟังรายงานเกี่ยวกับฉันทามติแบบกระจายและหน่วยความจำเชิงธุรกรรม 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


จะพูดคุยเกี่ยวกับทั้งหมดนี้ในโปรแกรมการประชุมครั้งเดียวได้อย่างไร? แน่นอนว่ามันไม่ง่ายไปกว่าการทดสอบความสามารถในการเชิงเส้นตรงของการดำเนินงานกับร้านค้าแบบกระจายแห่งใหม่ที่ใช้ เจ็ปเซ่นแต่เราจะพยายาม

รายชื่อผู้ที่อยู่ในโปรแกรมแล้ว:

ซินดี้ ศรีธารัน (Cindy Sridharan) - ผู้พัฒนาระบบแบบกระจายจากซานฟรานซิสโก ผู้แต่งหนังสือขนาดสั้น ความสามารถในการสังเกตระบบแบบกระจาย (เอา สำเนาอิเล็กทรอนิกส์ฟรี) และเป็นที่นิยม โพสต์บล็อกซึ่งมีบทความเดียวเท่านั้น”สุดยอดแห่งปี 2019 ใน Tech Talks"ช่วยให้คุณประหยัดจากวันหยุดได้สองสามวัน แต่ทำให้คุณมีความสุข ที่ Hydra 2020 ซินดี้จะเล่าให้คุณฟังว่าทำอย่างไร ทดสอบระบบแบบกระจายแม้ว่าพวกเขาจะเก็บสถานะไว้ก็ตาม


ไมเคิล สก็อตต์ (ไมเคิล สก็อตต์) – นักวิจัยจาก มหาวิทยาลัยโรเชสเตอร์เป็นที่รู้จักของนักพัฒนา Java ทุกคนในฐานะผู้สร้าง อัลกอริทึมที่ไม่ปิดกั้นและคิวแบบซิงโครนัส จากไลบรารีมาตรฐาน Java แน่นอนว่าด้วยรางวัล Dijkstra สำหรับ “อัลกอริทึมสำหรับการซิงโครไนซ์ที่ปรับขนาดได้บนมัลติโปรเซสเซอร์หน่วยความจำแบบแบ่งใช้“และเป็นเจ้าของ หน้าวิกิพีเดีย. ปีที่แล้ว ไมเคิลได้รายงานเรื่องไฮดราที่ดีที่สุด (ตามที่คุณบอก) โครงสร้างข้อมูลคู่และตอนนี้เขาจะพูดถึง โครงการโฮดอร์ и ทำงานอย่างปลอดภัยด้วยหน่วยความจำที่ใช้ร่วมกันใช้ได้กับกระบวนการแบบขนาน


ไฮดี้ ฮาวเวิร์ด (ไฮดี้ ฮาวเวิร์ด)- นักวิจัย ของ มหาวิทยาลัยเคมบริดจ์ซึ่งเป็นที่รู้จักในการสร้างอัลกอริธึมฉันทามติแบบกระจาย Paxos ที่ยืดหยุ่นตลอดจนงานเกี่ยวกับการสรุป Paxos แบบยืดหยุ่นและ ปาซอสเร็ว.. เมื่อปีที่แล้วไฮดี้เล่าว่ามันทำงานอย่างไร อัลกอริธึมตระกูล Paxos (หนึ่งในรายงานที่ดีที่สุด) และตอนนี้ฉันจะพยายามเดินบนน้ำแข็งบาง ๆ ระหว่างนั้น คนรัก Paxos และผู้สนับสนุน Raft — และแบ่งปันความคิดเห็นของเขาว่าอัลกอริทึมใดดีกว่า


มาร์ติน เคลปป์มันน์ (Martin Kleppmann) อาจเป็นนักวิจัยที่มีชื่อเสียงจากมหาวิทยาลัยเคมบริดจ์และเป็นอดีตผู้พัฒนาระบบข้อมูลขนาดใหญ่ซึ่งเขียนหนังสือเกี่ยวกับระบบแบบกระจายที่ชัดเจนอย่างน่าประหลาดใจและมีเอกลักษณ์เฉพาะตัว "การออกแบบแอปพลิเคชันที่ใช้ข้อมูลจำนวนมาก" ปีที่แล้วมาร์ติน แบ่งปันผลลัพธ์ ของการวิจัย CRDT ของพวกเขา และสิ่งที่เราจะบอกคุณตอนนี้ เราจะประกาศในภายหลัง.


นิกิต้า โควาล (Nikita Koval) เป็นนักพัฒนา Coroutine ในทีม Kotlin เป็นอาจารย์ของหลักสูตรเกี่ยวกับการเขียนโปรแกรมแบบมัลติเธรดที่ ITMO และเป็นสมาชิกของคณะกรรมการโปรแกรมของการประชุม Hydra (ใช่แล้ว บทความเกี่ยวกับบทความนี้) ปีที่แล้ว Nikita พูดคุยเกี่ยวกับการทดสอบโครงสร้างข้อมูลแบบมัลติเธรดบนแพลตฟอร์ม JVM โดยใช้ Lin-ตรวจสอบและที่ Hydra 2020 เขา จะบอก เกี่ยวกับ SegmentQueueSynchronizer - ตรวจสอบแล้วโดยใช้ กรอบม่านตา สำหรับ สุภาษิต Coq นามธรรมสำหรับการเขียนโปรแกรมซิงโครไนซ์เบื้องต้น


ติดตามประกาศแบบอะซิงโครนัสของเรา: โดยรวมแล้วจะมีรายงานประมาณสามโหลในการประชุม เราจะแจ้งให้คุณทราบเกี่ยวกับส่วนที่เหลือเร็วๆ นี้ นอกจากนี้ แน่นอนว่าในการประชุมจะมีโซนอภิปรายซึ่งจำเป็นต้องทดสอบวิทยากรด้วยคำถามในหัวข้อเดียวหรือหลายหัวข้อจนกว่าจะได้ความเห็นพ้องต้องกันโดยทั่วไป

และถ้าคุณโชคดี Martin Kleppmann จะเซ็นหนังสือของคุณ

ใช่แล้ว ก่อนการประชุม Hydra 2020 คือวันที่ 6-9 กรกฎาคม จะมี สปทดีซี 2020 — โรงเรียนภาคฤดูร้อนแห่งที่สามเกี่ยวกับทฤษฎีและการปฏิบัติของการคำนวณแบบกระจาย มันจะให้ความรู้สึกที่ยากจะเข้าร่วมการประชุม ดังนั้นเราจะพูดถึงโรงเรียนในโพสต์แยกต่างหาก

อะไรตอนนี้? อันดับแรกติดตามข่าวสารทางHabréและบนโซเชียลเน็ตเวิร์ก (Facebook, vkontakte, Twitter).

ประการที่สอง หากคุณรู้สึกมีความปรารถนาอย่างแรงกล้าที่จะเข้าร่วมการประชุม ลองสำรวจเว็บไซต์ คุณก็สามารถทำได้แล้ว ซื้อตั๋ว.

ประการที่สาม อย่าพลาดโอกาสพูดคุยกับคณะกรรมการโปรแกรมการประชุม Hydra 2020 ในความคิดเห็น สมาชิกพีซียินดีที่จะพูดคุยกับคุณเกี่ยวกับหัวข้อการประชุมในอนาคต

เจอกันที่ไฮดรา!

ที่มา: will.com