ααΆαααΈααααΆααα»ααα
St. Petersburg ααΆα ααααα·ααΈα Hydra ααααΌαα§αααα·αααααααααααααααΆαααΆα‘αα αα·αα
ααα
αΆαα α’αααααααααΆαααααΎαααααα αΆα αααααΆαα Dijkstra ΠΈ ααΆααααααΆαα Turing (Leslie Lamport, Maurice Herlihy ΠΈ ααα Michael Scottα’ααααααααΎααααααα·ααΈα
ααααα αα·αααΆααΆααααααααααα·ααΈ (C++, Go, Java, Kotlin) α’ααααααααΎαααΌαααααΆααα·ααααααα
ααα
αΆα (Cassandra, CosmosDB, Yandex Database) ααααΌα
ααΆα’ααααααααΎα αα·αα’αααααααΆαααααΆααααααα½ααααααααΆα αα·ααα
ααΆαααααααααα·αααααα (CRDT, Paxos αααα
αΆα - αα
ααΆαααααααααα·ααααααα₯ααα·ααααα) α ααΆααΌαα
αα
α
ααα»α
ααα α’αααα’αΆα
αααααΆααα·ααααααΆααα½α
α αΎα ααααα½ααααα’α½α
IDE ααΎααααααΈα
αΆαααα
ααΎ YouTube ααΆαα½α αααΆαααΆαααααα’αααα»α Hydra 2019 - α αΎααα»αα±ααα’αααααααααααααΆααα·α
αα
αααα
αΆαααααα·α
α
ααΆααΌαα
ααααα·ααΈααααααααα·ααααααΎαα‘αΎααα α αΎαα₯α‘αΌααααααΆααΉαααΎαα‘αΎααααααααα ααΆααααΈαααααααααΆαα½αααΉααααΆαααΆαααααΆααΆααΆα’ααααααααααααΆααααα·αααΆαααΆααΆααα’ααΆαααΎααααΈαα·ααΆαα’αααΈααΆαααααΆαααΆαααΆα‘αα αα·αα
ααα
αΆαα ααΆααααΈααααααααα
αααΌααααα
ααααααΈ 10 αα·αααΈ 11 ααααααααΆααΈαααααααΆαααα·αααΆαααααααααΆααααααΆαααααΆα αα·ααααααα α§ααΆα ααααα
ααΆαααα·ααααΆαααααααααααΈα αααΌααααααα αα·αααΆααααααΊαααΊα α αΎααααααααΆααααααααααααααΆαααΊαα·αααααααααΆαααα½αααααα
αααααΆαααΆαααΆαααααααΎαααα 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
ααΎααααΎααΌα
ααααα
ααΎααααΈαα·ααΆαα’αααΈααΏαααΆααα’ααααααα
αααα»ααααααα·ααΈααααααα·ααΈααααα½α? ααΆβαα·αβααΆβαα·αβααΆααααβααΆαβααΆαβααΆαβααααβααΆαβααΆβαααααΆααβααβααααα·ααααα·ααΆαβαα
βααΎβα αΆαβα
ααα
αΆαβααααΈβααααΊβααααβαααβααααΎ ααααα·αααα»ααααααΎαααΉαααααΆααΆαα
ααΆαβαααααβαααβααΆβα’αααβαααβααΆαβα
αΌαβαα½αβαααααα·ααΈα
Cindy Sridharan (Cindy Sridharan) - α’ααααααααΎαααααααααα
ααα
αΆαααΈ San Francisco α’ααααα·ααααααααα
ααααΈαα½αα ααΆαααααααααααααααα
ααα
αΆα (αα α
αααΆααα
ααααα’αα‘α·α
ααααΌαα·α
α₯ααα·ααααα) αα·αααααα·αα ααΆααααααΆααααααα ααα»αααααΆααααααΆαααααααααααΆαα’ααααααααα½α "ααα’αααα»αααααααΆα 2019 αα
αααα»α Tech Talks"α’αΆα
αα½αααααααααα’αααααΈααΆααααααΆαααΈαααΈαααα ααα»αααααα»αα±ααα’ααααααααΆαα
α·αααα αα
Hydra 2020 Cindy ααΉαααααΆααα’αααααΈαααα ααΆαααααααααααααα
ααα
αΆααααααΈααΆαα½ααααααααΆαα»ααααααααααα
ααα Michael Scott (Michael Scott) - α’αααααααΆαααααΆαααααΈ ααΆαααα·ααααΆααααααΌααααααΊαααααααΆααα’αααα’αα·αααααα Java ααΆααα’ααααΆααΆα’ααααααααΎα αααα½ααααααααΆααα·ααααααααΆαα αα·ααα½αααααΎααααΆααααα ααΈαααααΆααααααααααΆα Java α ααΆααΆααα·αααΆααααΆαα½αααΉααααααΆαα Dijkstra αααααΆαα "αααα½ααααααααΆααααααΆααααΆαααααΎααααΆααααααααα’αΆα
ααααΎααΆαααααααΆαααΆααα
ααΎα§αααααααααΎαααΆααα α»αααααΌααΈαααααΆαα
ααααααα"αα·αααΆααα
αΆαα ααααααα·ααΈααΈααΆ. ααΆαααΈααααΆααα»α Michael ααΆαααααααααΆαααΆαααααα’αααα»α (ααααα
ααΆαα’ααα) ααΎ Hydra on αα
ααΆαααααααααα·ααααααααΈαα αΎαα₯α‘αΌααααααΆααααΉααα·ααΆαα’αααΈ αααααα Hodor ΠΈ ααΆαααΆααααααααααα»ααααα·ααΆαααΆαα½αααΉαααΆαα
αα
αΆααα½αααΆααααααΆααααααΎαααΆαααααααααΆα
α αααΈ α αΌαααΆα (Heidi Howard) - α’αααααααΆαααααΆα ααΈ ααΆαααα·ααααΆαααααααααα·α
ααααΌαααΆαααααααΆααααΆαααααΆααααΆααααααΎααααα½ααααααααΆαααΆαααααααααααααΆαα
ααα
αΆα Paxos α’αΆα
ααααααααΆααααααΌα
ααΆααΆαααΆαααΎααΆαααααΎα±ααααΆαααΆααααααα Paxos αα·α Paxos ααΏα. ααΆαααΈααααΆααα»α Heidi ααΆαααααΆααααΈαααααααααΆααααΎαααΆα αα·αααααΎαααΆα αααα½ααΆα Paxos αααααα½ααααααααΆα (αααΆαααΆαααααααα’αααα»ααα½α) α αΎαα₯α‘αΌαααααααα»αααΉαααααΆααΆαααΎαααΎααΉαααααααΎααααΆα α’ααααααα‘αΆαα Paxos αα·αα’αααααΆαααα Raft - α αΎαα
ααααααααααααααααααΆααα’αααΈαα·ααΈαααααααΆααα½αααΆααα’ααΆαα
ααα Martin Kleppmann (Martin Kleppmann) αααα ααααΆα’αααααααΆαααααΆαααααααΈααααΆααααααΈααΆαααα·ααααΆααα Cambridge αα·αααΆα’ααΈαα’ααααααααΎααααααααααα·αααααααα αααααΆααααααααααα
α
αααΆααααΆαααα½αα±ααααααΆααααα’αΎα αα·ααααα½ααααααΎααααααααα
ααα
αΆα "ααΆααα
ααΆαααααα·ααΈαααααΉαααα’ααααΎαα·αααααα" αααΆααΈα ααΆαααΈααααΆααα»α α
ααααααααααααα ααααΆαααααΆαααααΆα CRDT αααααα½ααα αα·αα’αααΈαααααΎαααΉαααααΆααα’αααα₯α‘αΌαααα ααΎαααΉααααααΆααα
αααααααα.
Nikita Koval (Nikita Koval) ααΊααΆα’αααα’αα·αααααααααααΆαααα
ααΎαααα»α Kotlin αααααΆααααΌαααααααααααααα·ααααΆααΎαααααα·ααΈαα α»αααααα
ITMO αα·αααΆαααΆαα·αααααααααααΆαα·ααΆααααααα·ααΈααααααα·ααΈα Hydra (ααΆα α’ααααααααααΊα’αααΈ)α ααΆαααΈααααΆααα»α Nikita ααΆααα·ααΆαα’αααΈααΆαααΆααααααα
ααΆαααααααααα·αααααααα α»αααααα
ααΎαααα·ααΆ JVM αααααααΎ ααΈα-αα·αα·αααα αΎααα
Hydra 2020 ααΆαα ααΉαααααΆαα α’αααΈ SegmentQueueSynchronizer - ααΆααααααααααΆαααααααααΎ ααααααααα Iris αααααΆαα ααααα»ααΆα Coq α’ααΌααΈαααααΆααααΆαααααΎααααΆααααααααααα·ααΈαααα
α’αα»ααααααΆαααΆααααααΆαα’ααααΆαααααααΎαα ααΆααα»αααΉαααΆααααΆαααΆααααααα ααααΈααααα
αααα»αααααα·ααΈα ααΎαααΉαααααΆααα’αααα’αααΈαα
ααααααα»ααααααΆααααααα ααΆααΆααα·αααΆαα αα
αααα»αααααα·αα·αααΉαααΆαααααααα·ααΆααααΆ αααααΆα
αΆαααΆα
αααΎααααΈααΆαααααααΆαααα·αααΆαα½αααΉααααα½ααα½α α¬α
αααΎα αα αΌαααΆααααααΆαααΆααααααααααΌαα
αα½αααααΌαααΆαααΆααααα
α αΎαααααα·αααΎα’αααααΆαααααΆα Martin Kleppmann ααΉαα
α»αα αααααααΆααΎααααα
ααααα’αααα
ααΆα αα»αααααα·ααΈα Hydra 2020 αααααΊααααααΈ 6-9 ααααααααΆ ααΉαααΆα SPTDC ααααΆα α’α α’α - ααΆααΆαααΌααααα
ααΈααΈααααΈααΈααααΉααααΈ αα·αααΆαα’αα»ααααααααΆαααααΆα
ααα
αΆαα ααΆααΉααααααα±ααα’αααααΌαα’αΆααααααααααα·ααΆαααα½αααΆααα
αααα»αααααα·ααΈα ααΌα
ααααααΎαααΉααα·ααΆαα’αααΈααΆααΆαα
αααα»αααΆααααααΆαααΆα
ααααα‘αααα½αα
α
α»ααααααα? ααΆααααΌα ααΌαααΆαααΆαααααααΆααα
ααΎ Habre αα·ααα
ααΎαααααΆαααααα (Facebook, ΠΠΊΠΎΠ½ΡΠ°ΠΊΡΠ΅, Twitter).
ααΈααΈα ααααα·αααΎα’αααααΆαα’αΆααααααααΆααΆαααααααααΆααααΆααααα·αα’αΆα
ααααααααΆααααα»αααΆαα
αΌααα½αααααα·ααΈα αα»αααααα ααααα α’αααα’αΆα
αα½α
α αΎα αα·ααααα»ααα.
ααΈααΈ αα»αααααΆαα±ααΆαααΎααααΈααααααΆαα½αααααααααΆαα·ααΆααααααα·ααΈααααα·ααΈα Hydra 2020 αα
αααα»αααα·αααααα αααΆαα·α PC ααΉαααΈαααΆααααα»αααΆααα·ααΆαααΆαα½αα’αααα’αααΈαααααΆαααααααα·ααΈαααΆαααα’ααΆααα
αα½αααααΆαα
Hydra!
ααααα: www.habr.com