ຫໍ Kremlin ຢູ່ໃນແຂນຂອງ Hydra: ກອງປະຊຸມຂະຫນານແລະແຈກຢາຍຄອມພິວເຕີ້ Hydra 2020 ໃນ Moscow

ປີທີ່ຜ່ານມາໃນ St. Petersburg ມີ ກອງປະຊຸມ Hydra ຄັ້ງທໍາອິດ, ອຸທິດຕົນເພື່ອລະບົບຂະຫນານແລະແຈກຢາຍ. ຜູ້ໄດ້ຮັບລາງວັນໄດ້ເຮັດການນໍາສະເຫນີ ລາງວັນ Dijkstra и ລາງວັນ Turing (Leslie Lamport, Maurice Herlihy и Michael Scott), ຜູ້ສ້າງ compilers ແລະ programming languages ​​(C++, Go, Java, Kotlin), ນັກພັດທະນາຖານຂໍ້ມູນແຈກຢາຍ (Cassandra, CosmosDB, Yandex Database), ເຊັ່ນດຽວກັນກັບຜູ້ສ້າງແລະນັກຄົ້ນຄວ້າຂອງ algorithms ແລະໂຄງສ້າງຂໍ້ມູນ (CRDT, Paxos, ລໍຖ້າ. - ໂຄງ​ສ້າງ​ຂໍ້​ມູນ​ຟຣີ​)​. ໂດຍ​ທົ່ວ​ໄປ​ແລ້ວ, ໃນ​ຈຸດ​ນີ້​ທ່ານ​ສາ​ມາດ​ພັກ​ຜ່ອນ, ຫຼຸດ​ຜ່ອນ​ປ່ອງ​ຢ້ຽມ IDE, ເປີດ playlist ໃນ YouTube ກັບ ບົດລາຍງານທີ່ດີທີ່ສຸດ Hydra 2019 - ແລະໃຫ້ຜູ້ຈັດຕາຕະລາງວຽກລໍຖ້າເລັກນ້ອຍ.

ໂດຍທົ່ວໄປ, ກອງປະຊຸມດັ່ງກ່າວບໍ່ເຄີຍເກີດຂຶ້ນ, ແລະໃນປັດຈຸບັນມັນຈະເກີດຂຶ້ນອີກ. ອີກເທື່ອ ໜຶ່ງ ກັບບົດລາຍງານໃນພາສາອັງກິດ, ເນື່ອງຈາກວ່າບໍ່ມີພາສາທີ່ດີກວ່າທີ່ຈະເວົ້າກ່ຽວກັບຄອມພິວເຕີ້ຂະຫນານແລະແຈກຢາຍ. ອີກເທື່ອຫນຶ່ງໃນລະດູຮ້ອນ, ວັນທີ 10 ແລະ 11 ກໍລະກົດ, ເນື່ອງຈາກວ່າລໍາໂພງມີເວລາທີ່ຈະຄົ້ນຄ້ວາແລະສອນ, ສໍາລັບຕົວຢ່າງ, ຢູ່ໃນມະຫາວິທະຍາໄລ Cambridge, Rochester ແລະ St. Petersburg, ແລະເວລາອື່ນໆຂອງປີບໍ່ແມ່ນສໍາລັບພວກເຂົາ.

ຢ່າງໃດກໍຕາມ, ເວລານີ້ Hydra ຈະຈັດຂຶ້ນໃນ Moscow, ບ່ອນທີ່ຜູ້ເຂົ້າຮ່ວມກອງປະຊຸມສ່ວນໃຫຍ່ມາໃນປີກາຍນີ້ເພື່ອຮັບຟັງບົດລາຍງານກ່ຽວກັບການເປັນເອກະສັນກັນແຈກຢາຍແລະຄວາມຊົງຈໍາການເຮັດທຸລະກໍາ. 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) - ຜູ້ພັດທະນາລະບົບແຈກຢາຍຈາກ San Francisco, ຜູ້ຂຽນຫນັງສືສັ້ນ ການສັງເກດລະບົບທີ່ແຈກຢາຍ (ເອົາ ສໍາເນົາເອເລັກໂຕຣນິກຟຣີ) ແລະ​ເປັນ​ທີ່​ນິ​ຍົມ​ blog post, ບ່ອນທີ່ມີພຽງແຕ່ຫນຶ່ງບົດຄວາມ "ດີທີ່ສຸດຂອງປີ 2019 ໃນ Tech Talks"ສາມາດຊ່ວຍປະຢັດເຈົ້າຈາກການພັກຜ່ອນສອງສາມມື້, ແຕ່ປ່ອຍໃຫ້ເຈົ້າມີຄວາມສຸກ. ທີ່ Hydra 2020, Cindy ຈະບອກທ່ານວ່າແນວໃດ ທົດສອບລະບົບແຈກຢາຍ, ເຖິງແມ່ນວ່າພວກເຂົາເກັບຮັກສາລັດ.


Michael Scott (Michael Scott) - ນັກຄົ້ນຄວ້າຈາກ University of Rochester, ຮູ້ຈັກກັບນັກພັດທະນາ Java ທັງຫມົດເປັນຜູ້ສ້າງ ສູດການຄິດໄລ່ທີ່ບໍ່ປິດກັ້ນ ແລະຄິວ synchronous ຈາກ Java Standard Library. ແນ່ນອນ, ດ້ວຍລາງວັນ Dijkstra ສໍາລັບ "ສູດການຄິດໄລ່ສໍາລັບການ synchronization ຂະຫຍາຍໄດ້ໃນ multiprocessors ຫນ່ວຍຄວາມຈໍາທີ່ໃຊ້ຮ່ວມກັນ"ແລະເປັນເຈົ້າຂອງ ໜ້າວິກິພີເດຍ. ປີທີ່ຜ່ານມາ, Michael ໄດ້ໃຫ້ບົດລາຍງານທີ່ດີທີ່ສຸດ (ຕາມທ່ານ) ກ່ຽວກັບ Hydra on ໂຄງສ້າງຂໍ້ມູນຄູ່, ແລະໃນປັດຈຸບັນລາວຈະເວົ້າກ່ຽວກັບ ໂຄງການ Hodor и ເຮັດວຽກທີ່ປອດໄພກັບຄວາມຊົງຈໍາທີ່ໃຊ້ຮ່ວມກັນ, ສາມາດໃຊ້ໄດ້ກັບຂະບວນການຂະຫນານ.


Heidi Howard (Heidi Howard) - ນັກຄົ້ນຄວ້າ ຈາກນັ້ນ University of Cambridge, ເປັນທີ່ຮູ້ຈັກສໍາລັບການສ້າງວິທີການເປັນເອກະສັນກັນແຈກຢາຍ Paxos ປ່ຽນແປງໄດ້, ເຊັ່ນດຽວກັນກັບການເຮັດວຽກກ່ຽວກັບ generalizing Flexible Paxos ແລະ Paxos ໄວ. ປີທີ່ຜ່ານມາ, Heidi ບອກວິທີການເຮັດວຽກແລະການເຮັດວຽກ ຄອບຄົວ Paxos ຂອງສູດການຄິດໄລ່ (ຫນຶ່ງໃນບົດລາຍງານທີ່ດີທີ່ສຸດ), ແລະໃນປັດຈຸບັນຂ້າພະເຈົ້າຈະພະຍາຍາມຍ່າງເທິງກ້ອນບາງໆລະຫວ່າງ ຄົນຮັກ Paxos ແລະຜູ້ສະຫນັບສະຫນູນ Raft — ແລະແບ່ງປັນຄວາມຄິດເຫັນຂອງລາວວ່າວິທີໃດດີກວ່າ.


Martin Kleppmann (Martin Kleppmann) ບາງທີອາດເປັນນັກຄົ້ນຄວ້າທີ່ມີຊື່ສຽງຫຼາຍຈາກມະຫາວິທະຍາໄລ Cambridge, ແລະເປັນອະດີດຜູ້ພັດທະນາລະບົບຂໍ້ມູນໃຫຍ່, ຜູ້ທີ່ຂຽນປື້ມທີ່ຊັດເຈນແລະເປັນເອກະລັກທີ່ຫນ້າປະຫລາດໃຈກ່ຽວກັບລະບົບແຈກຢາຍ "ການອອກແບບແອັບພລິເຄຊັນທີ່ໃຊ້ຂໍ້ມູນຫຼາຍ" ປີທີ່ຜ່ານມາ Martin ແບ່ງປັນຜົນໄດ້ຮັບ ຂອງການຄົ້ນຄວ້າ CRDT ຂອງພວກເຂົາ, ແລະສິ່ງທີ່ພວກເຮົາຈະບອກທ່ານໃນປັດຈຸບັນ ພວກເຮົາຈະປະກາດຕໍ່ມາ.


Nikita Koval (Nikita Koval) ເປັນຜູ້ພັດທະນາ coroutine ໃນທີມງານ Kotlin, ເປັນຄູສອນຂອງຫຼັກສູດກ່ຽວກັບການຂຽນໂປລແກລມຫຼາຍກະທູ້ຢູ່ ITMO, ແລະເປັນສະມາຊິກຂອງຄະນະກໍາມະການໂຄງການຂອງກອງປະຊຸມ Hydra (ແມ່ນແລ້ວ, ບົດຄວາມນີ້ແມ່ນກ່ຽວກັບ). ປີທີ່ຜ່ານມາ Nikita ເວົ້າກ່ຽວກັບການທົດສອບໂຄງສ້າງຂໍ້ມູນຫຼາຍກະທູ້ໃນເວທີ JVM ໂດຍໃຊ້ Lin-ກວດ, ແລະຢູ່ທີ່ Hydra 2020 ລາວ ຈະບອກ ກ່ຽວກັບ SegmentQueueSynchronizer - ຢັ້ງຢືນໂດຍໃຊ້ ໂຄງຮ່າງການ iris ການ ຜູ້ພິສູດ Coq abstraction ສໍາລັບ programming synchronization primitives.


ປະຕິບັດຕາມການປະກາດ asynchronous ຂອງພວກເຮົາ: ໃນຈໍານວນທັງຫມົດຈະມີປະມານສາມສິບບົດລາຍງານຢູ່ໃນກອງປະຊຸມ, ພວກເຮົາຈະບອກທ່ານກ່ຽວກັບສ່ວນທີ່ເຫຼືອໃນໄວໆນີ້. ນອກຈາກນັ້ນ, ແນ່ນອນ, ໃນກອງປະຊຸມຈະມີເຂດສົນທະນາທີ່ມັນຈໍາເປັນຕ້ອງໄດ້ທົດສອບລໍາໂພງດ້ວຍຄໍາຖາມໃນຫນຶ່ງຫຼືຫຼາຍຫົວຂໍ້ຈົນກ່ວາການຕົກລົງທົ່ວໄປຈະບັນລຸໄດ້.

ແລະຖ້າທ່ານໂຊກດີ, Martin Kleppmann ຈະລົງນາມໃນປື້ມຂອງທ່ານ.

ແມ່ນແລ້ວ, ກ່ອນກອງປະຊຸມ Hydra 2020, ຄືວັນທີ 6-9 ກໍລະກົດ, ຈະມີ SPTDC 2020 — ໂຮງ​ຮຽນ summer ຄັ້ງ​ທີ​ສາມ​ກ່ຽວ​ກັບ​ທິດ​ສະ​ດີ​ແລະ​ການ​ປະ​ຕິ​ບັດ​ຂອງ​ຄອມ​ພິວ​ເຕີ​ແຈກ​ຢາຍ​. ມັນຈະໃຫ້ຄວາມຮູ້ສຶກທີ່ຍາກທີ່ຈະໄດ້ຮັບໃນກອງປະຊຸມ, ດັ່ງນັ້ນພວກເຮົາຈະສົນທະນາກ່ຽວກັບໂຮງຮຽນໃນການຕອບແຍກຕ່າງຫາກ.

ແມ່ນ​ຫຍັງ​ຕໍ່? ກ່ອນອື່ນ ໝົດ, ຕິດຕາມຂ່າວໃນ Habre ແລະໃນເຄືອຂ່າຍສັງຄົມ (ເຟສບຸກ, Вконтакте, Twitter).

ອັນທີສອງ, ຖ້າທ່ານຮູ້ສຶກເຖິງຄວາມປາຖະຫນາທີ່ບໍ່ສາມາດຕ້ານທານໄດ້ທີ່ຈະເຂົ້າຮ່ວມກອງປະຊຸມ, ຂຸດຄົ້ນເວັບໄຊທ໌, ທ່ານສາມາດເຮັດໄດ້ແລ້ວ ຊື້ປີ້.

ອັນທີສາມ, ຢ່າພາດໂອກາດທີ່ຈະສົນທະນາກັບຄະນະກໍາມະການໂຄງການກອງປະຊຸມ Hydra 2020 ໃນຄໍາເຫັນ. ສະມາຊິກ PC ຈະຍິນດີທີ່ຈະສົນທະນາກັບທ່ານກ່ຽວກັບຫົວຂໍ້ກອງປະຊຸມໃນອະນາຄົດ.

ແລ້ວພົບກັນທີ່ Hydra!

ແຫຼ່ງຂໍ້ມູນ: www.habr.com