เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝ

เด•เดดเดฟเดžเตเดž เดตเตผเดทเด‚ เดธเต†เดจเตเดฑเต เดชเต€เดฑเตเดฑเต‡เดดเตเดธเตเดฌเตผเด—เดฟเตฝ เด‰เดฃเตเดŸเดพเดฏเดฟเดฐเตเดจเตเดจเต เด†เดฆเตเดฏเดคเตเดคเต† เดนเตˆเดกเตเดฐ เดธเดฎเตเดฎเต‡เดณเดจเด‚, เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเดตเตเดฎเดพเดฏ เดธเด‚เดตเดฟเดงเดพเดจเด™เตเด™เตพเด•เตเด•เดพเดฏเดฟ เดธเดฎเตผเดชเตเดชเดฟเดšเตเดšเดฟเดฐเดฟเด•เตเด•เตเดจเตเดจเต. เดœเต‡เดคเดพเด•เตเด•เตพ เด…เดตเดคเดฐเดฃเด‚ เดจเดŸเดคเตเดคเดฟ Dijkstra เดธเดฎเตเดฎเดพเดจเด‚ ะธ เดŸเต‚เดฑเดฟเด‚เด—เต เด…เดตเดพเตผเดกเตเด•เตพ (เดฒเต†เดธเตเดฒเดฟ เดฒเดพเด‚เดชเต‹เตผเดŸเตเดŸเต, เดฎเต—เดฑเต€เดธเต เดนเต†เตผเดฒเดฟเดนเดฟ ะธ เดฎเตˆเด•เตเด•เตฝ เดธเตเด•เต‹เดŸเตเดŸเต), เด•เด‚เดชเตˆเดฒเตผเดฎเดพเดฐเตเดŸเต†เดฏเตเด‚ เดชเตเดฐเต‹เด—เตเดฐเดพเดฎเดฟเด‚เด—เต เดญเดพเดทเด•เดณเตเดŸเต†เดฏเตเด‚ เดธเตเดฐเดทเตโ€ŒเดŸเดพเด•เตเด•เตพ (C++, Go, Java, Kotlin), เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตโ€Œเดค เดกเดพเดฑเตเดฑเดพเดฌเต‡เดธเตเด•เดณเตเดŸเต† เดกเต†เดตเดฒเดชเตเดชเตผเดฎเดพเตผ (Cassandra, CosmosDB, Yandex เดกเดพเดฑเตเดฑเดพเดฌเต‡เดธเต), เด…เดคเตเดชเต‹เดฒเต† เด…เตฝเด—เต‹เดฐเดฟเดคเด™เตเด™เดณเตเดŸเต†เดฏเตเด‚ เดกเดพเดฑเตเดฑเดพ เด˜เดŸเดจเด•เดณเตเดŸเต†เดฏเตเด‚ เดธเตเดฐเดทเตโ€ŒเดŸเดพเด•เตเด•เดณเตเด‚ เด—เดตเต‡เดทเด•เดฐเตเด‚ (CRDT, Paxos, เด•เดพเดคเตเดคเดฟเดฐเดฟเด•เตเด•เตเด•. -เดธเตเดตเดคเดจเตเดคเตเดฐ เดกเดพเดฑเตเดฑ เด˜เดŸเดจเด•เตพ) . เดชเตŠเดคเตเดตเต‡, เดˆ เด˜เดŸเตเดŸเดคเตเดคเดฟเตฝ เดจเดฟเด™เตเด™เตพเด•เตเด•เต เด‡เดคเดฟเดจเด•เด‚ เด’เดฐเต เด…เดตเดงเดฟเด•เตเด•เดพเดฒเด‚ เดŽเดŸเตเด•เตเด•เดพเด‚, IDE เดตเดฟเตปเดกเต‹ เดšเต†เดฑเตเดคเดพเด•เตเด•เตเด•, YouTube-เตฝ เด’เดฐเต เดชเตเดฒเต‡เดฒเดฟเดธเตเดฑเตเดฑเต เดคเตเดฑเด•เตเด•เตเด• เดฎเดฟเด•เดšเตเดš เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเตเด•เตพ เดนเตˆเดกเตเดฐ 2019 - เดŸเดพเดธเตโ€Œเด•เต เดทเต†เดกเตเดฏเต‚เดณเตผ เด…เตฝเดชเตเดชเด‚ เด•เดพเดคเตเดคเดฟเดฐเดฟเด•เตเด•เดŸเตเดŸเต†.

เดชเตŠเดคเตเดตเต‡, เด…เดคเตเดคเดฐเดฎเตŠเดฐเต เดธเดฎเตเดฎเต‡เดณเดจเด‚ เด’เดฐเดฟเด•เตเด•เดฒเตเด‚ เดจเดŸเดจเตเดจเดฟเดŸเตเดŸเดฟเดฒเตเดฒ, เด‡เดชเตเดชเต‹เตพ เด…เดคเต เดตเต€เดฃเตเดŸเตเด‚ เดธเด‚เดญเดตเดฟเด•เตเด•เตเด‚. เดตเต€เดฃเตเดŸเตเด‚ เด‡เด‚เด—เตเดฒเต€เดทเดฟเตฝ เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเตเด•เดณเตเดฎเดพเดฏเดฟ, เด•เดพเดฐเดฃเด‚ เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเดตเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เดฟเดจเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต เดธเด‚เดธเดพเดฐเดฟเด•เตเด•เดพเตป เด‡เดคเดฟเดฒเตเด‚ เดฎเดฟเด•เดšเตเดš เดญเดพเดทเดฏเดฟเดฒเตเดฒ. เดตเต€เดฃเตเดŸเตเด‚ เดตเต‡เดจเตฝเด•เตเด•เดพเดฒเดคเตเดคเต, เดœเต‚เดฒเตˆ 10, 11 เดคเต€เดฏเดคเดฟเด•เดณเดฟเตฝ, เด•เดพเดฐเดฃเด‚ เดธเตเดชเต€เด•เตเด•เดฑเตเด•เตพเด•เตเด•เต เด—เดตเต‡เดทเดฃเด‚ เดจเดŸเดคเตเดคเดพเดจเตเด‚ เดชเด เดฟเดชเตเดชเดฟเด•เตเด•เดพเดจเตเด‚ เดธเดฎเดฏเดฎเตเดฃเตเดŸเต, เด‰เดฆเดพเดนเดฐเดฃเดคเตเดคเดฟเดจเต, เด•เต‡เด‚เดฌเตเดฐเดฟเดกเตเดœเต, เดฑเต‹เดšเตเดšเดธเตเดฑเตเดฑเตผ, เดธเต†เดจเตเดฑเต เดชเต€เดฑเตเดฑเต‡เดดเตเดธเตเดฌเตผเด—เต เดธเตผเดตเด•เดฒเดพเดถเดพเดฒเด•เดณเดฟเตฝ, เดตเตผเดทเดคเตเดคเดฟเดฒเต† เดฎเดฑเตเดฑเต เดธเดฎเดฏเด™เตเด™เตพ เด…เดตเตผเด•เตเด•เต เดตเต‡เดฃเตเดŸเดฟเดฏเดฒเตเดฒ.

เดŽเดจเตเดจเดฟเดฐเตเดจเตเดจเดพเดฒเตเด‚, เด‡เดคเตเดคเดตเดฃ เดนเตˆเดกเตเดฐ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝ เดจเดŸเด•เตเด•เตเด‚, เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เดธเดฎเดตเดพเดฏเดคเตเดคเต†เดฏเตเด‚ เด‡เดŸเดชเดพเดŸเต เดฎเต†เดฎเตเดฎเดฑเดฟเดฏเต†เดฏเตเด‚ เด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเตเด•เตพ เด•เต‡เตพเด•เตเด•เดพเตป เด•เดดเดฟเดžเตเดž เดตเตผเดทเด‚ เด•เต‹เตบเดซเดฑเตปเดธเดฟเตฝ เดชเด™เตเด•เต†เดŸเตเดคเตเดคเดตเดฐเดฟเตฝ เดญเต‚เดฐเดฟเดญเดพเด—เดตเตเด‚ เดŽเดคเตเดคเดฟเดฏเดฟเดฐเตเดจเตเดจเต. เดชเตเดคเดฟเดฏ เดนเตˆเดกเตเดฐเดฏเดฟเตฝ เด•เต‚เดŸเตเดคเตฝ เดธเด™เตเด•เต€เตผเดฃเตเดฃเดฎเดพเดฏ เดชเตเดฐเต‹เด—เตเดฐเดพเด‚, เด•เดดเดฟเดžเตเดž เดตเตผเดทเดคเตเดคเต† เดจเดพเดฏเด•เดจเตเดฎเดพเตผเด•เตเด•เตŠเดชเตเดชเด‚ เดชเตเดคเดฟเดฏ เดธเตเดชเต€เด•เตเด•เดฑเตเด•เตพ, เด•เต‚เดŸเดพเดคเต† เดฎเต‚เดจเตเดจเต เดนเดพเดณเตเด•เดณเดฟเตฝ เดชเด™เตเด•เต†เดŸเตเด•เตเด•เตเดจเตเดจเดตเตผเด•เตเด•เดฟเดŸเดฏเดฟเตฝ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เดธเดฎเดพเดจเตเดคเดฐ เดนเดพเตผเดกเตโ€Œเด•เต‹เดฑเดฟเดจเตเดฑเต† เด†เดตเต‡เดถเดคเตเดคเดฟเดจเตเดฑเต† เด‡เดคเดฟเดจเด•เด‚ เดชเดฐเดฟเดšเดฟเดคเดฎเดพเดฏ เดตเดฟเด•เดพเดฐเด‚ เดŽเดจเตเดจเดฟเดต เด‰เตพเดชเตเดชเต†เดŸเตเดจเตเดจเต.

เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝ


เดฌเตˆเดธเดจเตเดฑเตˆเตป เดœเดจเดฑเตฝเดฎเดพเตผ เด…เดญเดฟเดฎเตเด–เต€เด•เดฐเดฟเด•เตเด•เตเดจเตเดจ เด’เดฐเต เดกเต†เด•เตเด•เต เด•เดพเตผเดกเตเด•เตพ เด‰เดŸเตป เดฎเต‡เดถเดชเตเดชเตเดฑเดคเตเดคเต เดตเดฏเตเด•เตเด•เดพเด‚ - เดชเตเดคเดฟเดฏ เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เดชเตเดฐเต‹เด—เตเดฐเดพเด‚ เด•เต‚เดŸเตเดคเตฝ เดตเดฟเดถเดฆเดตเตเด‚ เดตเตˆเดตเดฟเดงเตเดฏเดชเต‚เตผเดฃเตเดฃเดตเตเดฎเดพเด•เดฃเดฎเต†เดจเตเดจเต เดžเด™เตเด™เตพ เด†เด—เตเดฐเดนเดฟเด•เตเด•เตเดจเตเดจเต. เด•เดดเดฟเดžเตเดž เดคเดตเดฃ เดžเด™เตเด™เตพ เด’เดฐเต เดจเด–เด‚ เด•เตŠเดฃเตเดŸเต เดฎเดพเดจเตเดคเดฟเด•เตเดดเดฟเดฏเตเดฃเตเดŸเดพเด•เตเด•เดฟ, เด‡เดชเตเดชเต‹เตพ เดจเดฎเตเด•เตเด•เต เดตเต€เดคเดฟเดฏเตเด‚ เด†เดดเดตเตเด‚ เด•เตเดดเดฟเด•เตเด•เดพเด‚. เด•เดดเดฟเดžเตเดž เดตเตผเดทเดคเตเดคเต† เด…เดชเต‡เด•เตเดทเดฟเดšเตเดšเต เดตเตเดฏเดคเตเดฏเดพเดธเดฎเตเดณเตเดณ เดนเตˆเดกเตเดฐ 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

เด’เดฐเต เด•เต‹เตบเดซเดฑเตปเดธเดฟเดจเตเดฑเต† เดชเตเดฐเต‹เด—เตเดฐเดพเดฎเดฟเตฝ เด‡เดคเต†เดฒเตเดฒเดพเด‚ เดŽเด™เตเด™เดจเต† เดธเด‚เดธเดพเดฐเดฟเด•เตเด•เตเด‚? เด‰เดชเดฏเต‹เด—เดฟเดšเตเดšเต เดคเดฟเดณเด™เตเด™เตเดจเตเดจ เดชเตเดคเดฟเดฏ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เดธเตเดฑเตเดฑเต‹เดฑเดฟเตฝ เดชเตเดฐเดตเตผเดคเตเดคเดจเด™เตเด™เดณเตเดŸเต† เดฐเต‡เด–เต€เดฏเดตเตฝเด•เตเด•เดฐเดฃเด‚ เดชเดฐเดฟเดถเต‹เดงเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเต‡เด•เตเด•เดพเตพ เด‡เดคเต เดคเต€เตผเดšเตเดšเดฏเดพเดฏเตเด‚ เดฒเดณเดฟเดคเดฎเดฒเตเดฒ. เดœเต†เดชเตเดธเต†เตป, เดŽเดจเตเดจเดพเตฝ เดžเด™เตเด™เตพ เดถเตเดฐเดฎเดฟเด•เตเด•เดพเด‚.

เดชเตเดฐเต‹เด—เตเดฐเดพเดฎเดฟเตฝ เด‡เดคเดฟเดจเด•เด‚ เด‰เดณเตเดณเดตเตผ เด‡เดคเดพ:

เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝเดธเดฟเดจเดฟ เดถเตเดฐเต€เดงเดฐเตป (เดธเดฟเดจเดฟ เดถเตเดฐเต€เดงเดฐเตป) - เดธเดพเตป เดซเตเดฐเดพเตปเดธเดฟเดธเตเด•เต‹เดฏเดฟเตฝ เดจเดฟเดจเตเดจเตเดณเตเดณ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เดธเดฟเดธเตเดฑเตเดฑเด‚ เดกเต†เดตเดฒเดชเตเดชเตผ, เด’เดฐเต เดšเต†เดฑเดฟเดฏ เดชเตเดธเตเดคเด•เดคเตเดคเดฟเดจเตเดฑเต† เดฐเดšเดฏเดฟเดคเดพเดตเต เดตเดฟเดคเดฐเดฃ เดธเด‚เดตเดฟเดงเดพเดจเด™เตเด™เดณเตเดŸเต† เดจเดฟเดฐเต€เด•เตเดทเดฃเด•เตเดทเดฎเดค (เดŽเดŸเตเด•เตเด•เตเด• เดธเต—เดœเดจเตเดฏ เด‡เดฒเด•เตเดŸเตเดฐเต‹เดฃเดฟเด•เต เด•เต‹เดชเตเดชเดฟ) เด•เต‚เดŸเดพเดคเต† เดœเดจเดชเตเดฐเดฟเดฏเดตเตเด‚ เดฌเตเดฒเต‹เด—เต เดชเต‹เดธเตเดฑเตเดฑเต, เด’เดฐเต เดฒเต‡เด–เดจเด‚ เดฎเดพเดคเตเดฐเดฎเตเดณเตเดณเดฟเดŸเดคเตเดคเต "เดŸเต†เด•เต เดŸเต‹เด•เตเด•เตเด•เดณเดฟเตฝ 2019-เดฒเต† เดเดฑเตเดฑเดตเตเด‚ เดฎเดฟเด•เดšเตเดšเดคเต"เดฐเดฃเตเดŸเต เดฆเดฟเดตเดธเดคเตเดคเต† เด…เดตเดงเดฟเดฏเดฟเตฝ เดจเดฟเดจเตเดจเต เดจเดฟเด™เตเด™เดณเต† เดฐเด•เตเดทเดฟเด•เตเด•เดพเตป เด•เดดเดฟเดฏเตเด‚, เดชเด•เตเดทเต‡ เดจเดฟเด™เตเด™เดณเต† เดธเดจเตเดคเต‹เดทเดฟเดชเตเดชเดฟเด•เตเด•เตเด‚. เดนเตˆเดฆเตเดฐ 2020-เตฝ, เดŽเด™เตเด™เดจเต†เดฏเต†เดจเตเดจเต เดธเดฟเดจเดฟ เดจเดฟเด™เตเด™เดณเต‹เดŸเต เดชเดฑเดฏเตเด‚ เดŸเต†เดธเตเดฑเตเดฑเต เดกเดฟเดธเตเดŸเตเดฐเดฟเดฌเตเดฏเต‚เดทเตป เดธเดฟเดธเตเดฑเตเดฑเด™เตเด™เตพ, เด…เดตเตผ เดธเด‚เดธเตเดฅเดพเดจเด‚ เดธเด‚เดญเดฐเดฟเดšเตเดšเดพเดฒเตเด‚.


เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝเดฎเตˆเด•เตเด•เตฝ เดธเตเด•เต‹เดŸเตเดŸเต (เดฎเตˆเด•เตเด•เตฝ เดธเตเด•เต‹เดŸเตเดŸเต) - เดจเดฟเดจเตเดจเตเดณเตเดณ เด—เดตเต‡เดทเด•เตป เดฑเต‹เดšเตเดšเดธเตเดฑเตเดฑเตผ เดฏเต‚เดฃเดฟเดตเต‡เดดเตเดธเดฟเดฑเตเดฑเดฟ, เดธเตเดฐเดทเตเดŸเดพเดตเดพเดฏเดฟ เดŽเดฒเตเดฒเดพ เดœเดพเดต เดกเต†เดตเดฒเดชเตเดชเตผเดฎเดพเตผเด•เตเด•เตเด‚ เด…เดฑเดฟเดฏเดพเด‚ เดจเต‹เตบ-เดฌเตเดฒเต‹เด•เตเด•เดฟเด‚เด—เต เด…เตฝเด—เต‹เดฐเดฟเดคเด™เตเด™เดณเตเด‚ เดธเดฟเตปเด•เตเดฐเดฃเดธเต เด•เตเดฏเต‚เด•เดณเตเด‚ เดœเดพเดต เดธเตเดฑเตเดฑเดพเตปเดกเต‡เตผเดกเต เดฒเตˆเดฌเตเดฐเดฑเดฟเดฏเดฟเตฝ เดจเดฟเดจเตเดจเต. เดคเต€เตผเดšเตเดšเดฏเดพเดฏเตเด‚, " เดŽเดจเตเดจเดคเดฟเดจเตเดณเตเดณ Dijkstra เดธเดฎเตเดฎเดพเดจเดคเตเดคเต‹เดŸเตŠเดชเตเดชเด‚เดชเด™เตเด•เดฟเดŸเตเดŸ เดฎเต†เดฎเตเดฎเดฑเดฟ เดฎเตพเดŸเตเดŸเดฟเดชเตเดฐเต‹เดธเดธเดฑเตเด•เดณเดฟเตฝ เดธเตเด•เต‡เดฒเดฌเดฟเตพ เดธเดฟเตปเด•เตเดฐเตŠเดฃเตˆเดธเต‡เดทเดจเตเดณเตเดณ เด…เตฝเด—เต‹เดฐเดฟเดคเด™เตเด™เตพ"เดธเตเดตเดจเตเดคเด‚ เดตเดฟเด•เตเด•เดฟเดชเต€เดกเดฟเดฏ เดชเต‡เดœเต. เด•เดดเดฟเดžเตเดž เดตเตผเดทเด‚, เดฎเตˆเด•เตเด•เตฝ เดนเตˆเดกเตเดฐเดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดเดฑเตเดฑเดตเตเด‚ เดฎเดฟเด•เดšเตเดš (เดจเดฟเด™เตเด™เดณเตเดŸเต† เด…เดญเดฟเดชเตเดฐเดพเดฏเดคเตเดคเดฟเตฝ) เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเต เดจเตฝเด•เดฟ เด‡เดฐเดŸเตเดŸ เดกเดพเดฑเตเดฑ เด˜เดŸเดจเด•เตพ, เด‡เดชเตเดชเต‹เตพ เด…เดตเตป เดธเด‚เดธเดพเดฐเดฟเด•เตเด•เตเด‚ เดชเตเดฐเต‹เดœเด•เตเดฑเตเดฑเต เดนเต‹เดกเต‹เตผ ะธ เดชเด™เตเด•เดฟเดŸเตเดŸ เดฎเต†เดฎเตเดฎเดฑเดฟ เด‰เดชเดฏเต‹เด—เดฟเดšเตเดšเต เดธเตเดฐเด•เตเดทเดฟเดคเดฎเดพเดฏ เดœเต‹เดฒเดฟ, เดธเดฎเดพเดจเตเดคเดฐ เดชเตเดฐเด•เตเดฐเดฟเดฏเด•เตพเด•เตเด•เต เดฒเดญเตเดฏเดฎเดพเดฃเต.


เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝเดนเต†เดฏเตเดกเดฟ เดนเต‹เดตเดพเตผเดกเต (เดนเต†เดฏเตเดกเดฟ เดนเต‹เดตเดพเตผเดกเต) - เด—เดตเต‡เดทเด•เตป เดจเดฟเดจเตเดจเต เด•เต‡เด‚เดฌเตเดฐเดฟเดกเตเดœเต เดธเตผเดตเด•เดฒเดพเดถเดพเดฒ, เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เดธเดฎเดตเดพเดฏ เด…เตฝเด—เต‹เดฐเดฟเดคเด‚ เดธเตƒเดทเตเดŸเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเต เดชเต‡เดฐเตเด•เต‡เดŸเตเดŸเดคเดพเดฃเต เดซเตเดฒเต†เด•เตเดธเดฟเดฌเดฟเตพ เดชเดพเด•เตเดธเต‹เดธเต, เด…เดคเตเดชเต‹เดฒเต† เดซเตเดฒเต†เด•เตเดธเดฟเดฌเดฟเตพ เดชเดพเด•เตเดธเต‹เดธเดฟเดจเต† เดธเดพเดฎเดพเดจเตเดฏเดตเตฝเด•เตเด•เดฐเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดฒเตเด‚ เดชเตเดฐเดตเตผเดคเตเดคเดฟเด•เตเด•เตเด• เดซเดพเดธเตเดฑเตเดฑเต เดชเดพเด•เตเดธเต‹เดธเต. เด•เดดเดฟเดžเตเดž เดตเตผเดทเด‚, เด‡เดคเต เดŽเด™เตเด™เดจเต† เดชเตเดฐเดตเตผเดคเตเดคเดฟเด•เตเด•เตเดจเตเดจเตเดตเต†เดจเตเดจเตเด‚ เดชเตเดฐเดตเตผเดคเตเดคเดฟเด•เตเด•เตเดจเตเดจเตเดตเต†เดจเตเดจเตเด‚ เดนเต†เดฏเตเดกเดฟ เดชเดฑเดžเตเดžเต เด…เตฝเด—เต‹เดฐเดฟเดคเด™เตเด™เดณเตเดŸเต† เดชเดพเด•เตเดธเต‹เดธเต เด•เตเดŸเตเด‚เดฌเด‚ (เดฎเดฟเด•เดšเตเดš เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเตเด•เดณเดฟเดฒเตŠเดจเตเดจเต), เด‡เดชเตเดชเต‹เตพ เดžเดพเตป เด…เดคเดฟเดจเดฟเดŸเดฏเดฟเตฝ เดจเต‡เตผเดคเตเดค เดเดธเดฟเตฝ เดจเดŸเด•เตเด•เดพเตป เดถเตเดฐเดฎเดฟเด•เตเด•เตเด‚ Paxos เดชเตเดฐเต‡เดฎเดฟเด•เดณเตเด‚ เดฑเดพเดซเตเดฑเตเดฑเต เดชเดฟเดจเตเดคเตเดฃเด•เตเด•เดพเดฐเตเด‚ โ€” เด•เต‚เดŸเดพเดคเต† เดเดคเต เด…เตฝเด—เต‹เดฐเดฟเดคเด‚ เดฎเดฟเด•เดšเตเดšเดคเดพเดฃเต†เดจเตเดจเต เด…เดฆเตเดฆเต‡เดนเดคเตเดคเดฟเดจเตเดฑเต† เด…เดญเดฟเดชเตเดฐเดพเดฏเด‚ เดชเด™เตเด•เดฟเดŸเตเด•.


เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝเดฎเดพเตผเดŸเตเดŸเดฟเตป เด•เตเดฒเต†เดชเตเดชเตเดฎเดพเตป (เดฎเดพเตผเดŸเตเดŸเดฟเตป เด•เตเดฒเต†เดชเตเดชเตเดฎเดพเตป) เด’เดฐเตเดชเด•เตเดทเต‡ เด•เต‡เด‚เดฌเตเดฐเดฟเดกเตเดœเต เดธเตผเดตเด•เดฒเดพเดถเดพเดฒเดฏเดฟเตฝ เดจเดฟเดจเตเดจเตเดณเตเดณ เด•เต‚เดŸเตเดคเตฝ เดชเตเดฐเดถเดธเตเดคเดจเดพเดฏ เด—เดตเต‡เดทเด•เดจเตเด‚ เดตเดฒเดฟเดฏ เดกเดพเดฑเตเดฑเดพ เดธเดฟเดธเตเดฑเตเดฑเด™เตเด™เดณเตเดŸเต† เดฎเตเตป เดกเต†เดตเดฒเดชเตเดชเดฑเตเดฎเดพเดฃเต, เด…เดฆเตเดฆเต‡เดนเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เดธเดฟเดธเตเดฑเตเดฑเด™เตเด™เดณเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต เด…เดคเดฟเดถเดฏเด•เดฐเดฎเดพเด‚เดตเดฟเดงเด‚ เดตเตเดฏเด•เตเดคเดตเตเด‚ เด…เดคเตเดฒเตเดฏเดตเตเดฎเดพเดฏ เด’เดฐเต เดชเตเดธเตเดคเด•เด‚ เดŽเดดเตเดคเดฟเดฏเดฟเดŸเตเดŸเตเดฃเตเดŸเต.เดกเดพเดฑเตเดฑ-เด‡เดจเตเดฑเตปเดธเต€เดตเต เด†เดชเตเดฒเดฟเด•เตเด•เต‡เดทเดจเตเด•เตพ เดฐเต‚เดชเด•เตฝเดชเตเดชเดจ เดšเต†เดฏเตเดฏเตเดจเตเดจเต" เด•เดดเดฟเดžเตเดž เดตเตผเดทเด‚ เดฎเดพเตผเดŸเตเดŸเดฟเตป เดซเดฒเด™เตเด™เตพ เดชเด™เตเด•เดฟเดŸเตเดŸเต เด…เดตเดฐเตเดŸเต† CRDT เด—เดตเต‡เดทเดฃเด‚, เดžเด™เตเด™เตพ เด‡เดชเตเดชเต‹เตพ เดจเดฟเด™เตเด™เดณเต‹เดŸเต เดŽเดจเตเดคเดพเดฃเต เดชเดฑเดฏเตเดจเตเดจเดคเต เดžเด™เตเด™เตพ เดชเดฟเดจเตเดจเต€เดŸเต เดชเตเดฐเด–เตเดฏเดพเดชเดฟเด•เตเด•เตเด‚.


เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝเดจเดฟเด•เดฟเดค เด•เต‹เดตเตฝ (เดจเดฟเด•เดฟเดค เด•เต‹เดตเตฝ) เด•เต‹เดŸเตโ€Œเดฒเดฟเตป เดŸเต€เดฎเดฟเดฒเต† เด’เดฐเต เด•เตŠเดฑเต—เดŸเตเดŸเดฟเตป เดกเต†เดตเดฒเดชเตเดชเตผ, ITMO-เดฏเดฟเดฒเต† เดฎเตพเดŸเตเดŸเดฟ-เดคเตเดฐเต†เดกเต เดชเตเดฐเต‹เด—เตเดฐเดพเดฎเดฟเด‚เด—เดฟเดจเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เด’เดฐเต เด•เต‹เดดเตโ€Œเดธเดฟเดจเตเดฑเต† เด…เดฆเตเดงเตเดฏเดพเดชเด•เตป, เดนเตˆเดกเตเดฐ เด•เต‹เตบเดซเดฑเตปเดธเดฟเดจเตเดฑเต† เดชเตเดฐเต‹เด—เตเดฐเดพเด‚ เด•เดฎเตเดฎเดฟเดฑเตเดฑเดฟ เด…เด‚เด—เด‚ (เด…เดคเต†, เดˆ เดฒเต‡เด–เดจเดคเตเดคเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเดพเดฃเต). JVM เดชเตเดฒเดพเดฑเตเดฑเตโ€Œเดซเต‹เดฎเดฟเตฝ เดฎเตพเดŸเตเดŸเดฟ-เดคเตเดฐเต†เดกเต เดกเดพเดฑเตเดฑ เด˜เดŸเดจเด•เตพ เดชเดฐเต€เด•เตเดทเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต เด•เดดเดฟเดžเตเดž เดตเตผเดทเด‚ เดจเดฟเด•เดฟเดค เดธเด‚เดธเดพเดฐเดฟเดšเตเดšเต เดฒเดฟเตป-เดšเต†เด•เตเด•เต, เด•เต‚เดŸเดพเดคเต† เดนเตˆเดกเตเดฐ 2020 เตฝ เด…เดฆเตเดฆเต‡เดนเด‚ เดชเดฑเดฏเตเด‚ SegmentQueueSynchronizer-เดจเต† เด•เตเดฑเดฟเดšเตเดšเต - เด‰เดชเดฏเต‹เด—เดฟเดšเตเดšเต เดชเดฐเดฟเดถเต‹เดงเดฟเดšเตเดšเต เดเดฑเดฟเดธเต เดšเดŸเตเดŸเด•เตเด•เต‚เดŸเต เดตเต‡เดฃเตเดŸเดฟ prover Coq เดชเตเดฐเต‹เด—เตเดฐเดพเดฎเดฟเด‚เด—เต เดธเดฟเตปเด•เตเดฐเตŠเดฃเตˆเดธเต‡เดทเตป เดชเตเดฐเดฟเดฎเดฟเดฑเตเดฑเต€เดตเตเด•เตพเด•เตเด•เตเดณเตเดณ เดธเด‚เด—เตเดฐเดนเด‚.


เดžเด™เตเด™เดณเตเดŸเต† เด…เดธเดฎเดจเตเดตเดฟเดค เดชเตเดฐเด–เตเดฏเดพเดชเดจเด™เตเด™เตพ เดชเดฟเดจเตเดคเตเดŸเดฐเตเด•: เด•เต‹เตบเดซเดฑเตปเดธเดฟเตฝ เดฎเตŠเดคเตเดคเดคเตเดคเดฟเตฝ เดเด•เดฆเต‡เดถเด‚ เดฎเต‚เดจเตเดจเต เดกเดธเตป เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเตเด•เตพ เด‰เดฃเตเดŸเดพเด•เตเด‚, เดฌเดพเด•เตเด•เดฟเดฏเตเดณเตเดณเดตเดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต เดžเด™เตเด™เตพ เด‰เดŸเตป เดจเดฟเด™เตเด™เดณเต‹เดŸเต เดชเดฑเดฏเตเด‚. เด•เต‚เดŸเดพเดคเต†, เดคเต€เตผเดšเตเดšเดฏเดพเดฏเตเด‚, เด•เต‹เตบเดซเดฑเตปเดธเดฟเตฝ เดšเตผเดšเตเดšเดพ เดฎเต‡เด–เดฒเด•เตพ เด‰เดฃเตเดŸเดพเด•เตเด‚, เด…เดตเดฟเดŸเต† เด’เดฐเต เดชเตŠเดคเต เดธเดฎเดตเดพเดฏเดคเตเดคเดฟเดฒเต†เดคเตเดคเตเดจเตเดจเดคเตเดตเดฐเต† เด’เดจเตเดจเต‹ เด…เดคเดฟเดฒเดงเดฟเด•เดฎเต‹ เดคเตเดฐเต†เดกเตเด•เดณเดฟเดฒเต† เดšเต‹เดฆเตเดฏเด™เตเด™เตพ เด‰เดชเดฏเต‹เด—เดฟเดšเตเดšเต เดธเตเดชเต€เด•เตเด•เดฑเตเด•เตพ เดชเดฐเดฟเดถเต‹เดงเดฟเด•เตเด•เต‡เดฃเตเดŸเดคเต เด†เดตเดถเตเดฏเดฎเดพเดฃเต.

เดนเตˆเดกเตเดฐเดฏเตเดŸเต† เด•เตˆเด•เดณเดฟเดฒเต† เด•เตเดฐเต†เด‚เดฒเดฟเตป เดŸเดตเดฑเตเด•เตพ: เดธเดฎเดพเดจเตเดคเดฐเดตเตเด‚ เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดคเดคเตเดฎเดพเดฏ เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เต เดนเตˆเดกเตเดฐ 2020 เดฏเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดธเดฎเตเดฎเต‡เดณเดจเด‚ เดฎเต‹เดธเตเด•เต‹เดฏเดฟเตฝ
เดจเดฟเด™เตเด™เตพ เดญเดพเด—เตเดฏเดตเดพเดจเดพเดฃเต†เด™เตเด•เดฟเตฝ, เดฎเดพเตผเดŸเตเดŸเดฟเตป เด•เตเดฒเต†เดชเตเดชเตเดฎเดพเตป เดจเดฟเด™เตเด™เดณเตเดŸเต† เดชเตเดธเตเดคเด•เดคเตเดคเดฟเตฝ เด’เดชเตเดชเดฟเดŸเตเด‚.

เด…เดคเต†, เดนเตˆเดกเตเดฐ 2020 เดธเดฎเตเดฎเต‡เดณเดจเดคเตเดคเดฟเดจเต เดฎเตเดฎเตเดชเต, เด…เดคเดพเดฏเดคเต เดœเต‚เดฒเตˆ 6-9 เดตเดฐเต†, เด‰เดฃเตเดŸเดพเด•เตเด‚ SPTDC 2020 - เดตเดฟเดคเดฐเดฃเด‚ เดšเต†เดฏเตเดค เด•เดฎเตเดชเตเดฏเต‚เดŸเตเดŸเดฟเด‚เด—เดฟเดจเตเดฑเต† เดธเดฟเดฆเตเดงเดพเดจเตเดคเดคเตเดคเต†เดฏเตเด‚ เดชเตเดฐเดฏเต‹เด—เดคเตเดคเต†เดฏเตเด‚ เด•เตเดฑเดฟเดšเตเดšเตเดณเตเดณ เดฎเต‚เดจเตเดจเดพเดฎเดคเตเดคเต† เดธเดฎเตเดฎเตผ เดธเตเด•เต‚เตพ. เด’เดฐเต เด•เต‹เตบเดซเดฑเตปเดธเดฟเตฝ เดฒเดญเดฟเด•เตเด•เดพเตป เดฌเตเดฆเตเดงเดฟเดฎเตเดŸเตเดŸเตเดณเตเดณ เดธเด‚เดตเต‡เดฆเดจเด™เตเด™เตพ เด‡เดคเต เดจเดฟเด™เตเด™เตพเด•เตเด•เต เดจเตฝเด•เตเด‚, เด…เดคเดฟเดจเดพเตฝ เดžเด™เตเด™เตพ เดธเตเด•เต‚เดณเดฟเดจเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต เด’เดฐเต เดชเตเดฐเดคเตเดฏเต‡เด• เดชเต‹เดธเตเดฑเตเดฑเดฟเตฝ เดธเด‚เดธเดพเดฐเดฟเด•เตเด•เตเด‚.

เด‡เดจเดฟเดฏเต†เดจเตเดคเดพ? เด†เดฆเตเดฏเด‚, เดนเดฌเตเดฐเต†เดฏเดฟเดฒเต†เดฏเตเด‚ เดธเต‹เดทเตเดฏเตฝ เดจเต†เดฑเตเดฑเตโ€Œเดตเตผเด•เตเด•เตเด•เดณเดฟเดฒเต†เดฏเตเด‚ เดตเดพเตผเดคเตเดคเด•เตพ เดชเดฟเดจเตเดคเตเดŸเดฐเตเด• (เดซเต‡เดธเตเดฌเตเด•เตเด•เต, Vkontakte, เดŸเตเดตเดฟเดฑเตเดฑเตผ).

เดฐเดฃเตเดŸเดพเดฎเดคเดพเดฏเดฟ, เด•เต‹เตบเดซเดฑเตปเดธเดฟเตฝ เดชเด™เตเด•เต†เดŸเตเด•เตเด•เดพเตป เดจเดฟเด™เตเด™เตพเด•เตเด•เต เด‡เดคเดฟเดจเด•เด‚ เดคเดจเตเดจเต† เด…เดชเตเดฐเดคเดฟเดฐเต‹เดงเตเดฏเดฎเดพเดฏ เด†เด—เตเดฐเดนเด‚ เดคเต‹เดจเตเดจเตเดจเตเดจเตเดตเต†เด™เตเด•เดฟเตฝ, เดตเต†เดฌเตเดธเตˆเดฑเตเดฑเต เดชเดฐเตเดฏเดตเต‡เด•เตเดทเดฃเด‚ เดšเต†เดฏเตเดฏเตเด•, เดจเดฟเด™เตเด™เตพเด•เตเด•เต เด‡เดคเดฟเดจเด•เด‚ เด•เดดเดฟเดฏเตเด‚ เดŸเดฟเด•เตเด•เดฑเตเดฑเตเด•เตพ เดตเดพเด™เตเด™เตเด•.

เดฎเต‚เดจเตเดจเดพเดฎเดคเดพเดฏเดฟ, เด…เดญเดฟเดชเตเดฐเดพเดฏเด™เตเด™เดณเดฟเตฝ Hydra 2020 เด•เต‹เตบเดซเดฑเตปเดธเต เดชเตเดฐเต‹เด—เตเดฐเดพเด‚ เด•เดฎเตเดฎเดฟเดฑเตเดฑเดฟเดฏเตเดฎเดพเดฏเดฟ เดšเดพเดฑเตเดฑเต เดšเต†เดฏเตเดฏเดพเดจเตเดณเตเดณ เด…เดตเดธเดฐเด‚ เดจเดทเตเดŸเดชเตเดชเต†เดŸเตเดคเตเดคเดฐเตเดคเต. เดญเดพเดตเดฟ เด•เต‹เตบเดซเดฑเตปเดธเต เดตเดฟเดทเดฏเด™เตเด™เดณเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต เดจเดฟเด™เตเด™เดณเต‹เดŸเต เดธเด‚เดธเดพเดฐเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเตฝ เดชเดฟเดธเดฟ เด…เด‚เด—เด™เตเด™เตพ เดธเดจเตเดคเต‹เดทเดฟเด•เตเด•เตเด‚.

เดนเตˆเดกเตเดฐเดฏเดฟเตฝ เด•เดพเดฃเดพเด‚!

เด…เดตเดฒเด‚เดฌเด‚: www.habr.com

เด’เดฐเต เด…เดญเดฟเดชเตเดฐเดพเดฏเด‚ เดšเต‡เตผเด•เตเด•เตเด•