เชนเชพเช‡เชกเซเชฐเชพเชจเชพ เชนเชพเชฅเซ‹เชฎเชพเช‚ เช•เซเชฐเซ‡เชฎเชฒเชฟเชจ เชŸเชพเชตเชฐเซเชธ: เชฎเซ‹เชธเซเช•เซ‹เชฎเชพเช‚ เชธเชฎเชพเช‚เชคเชฐ เช…เชจเซ‡ เชตเชฟเชคเชฐเชฟเชค เช•เชฎเซเชชเซเชฏเซเชŸเชฟเช‚เช— เชนเชพเช‡เชกเซเชฐเชพ 2020 เชชเชฐ เช•เซ‹เชจเซเชซเชฐเชจเซเชธ

เช—เชฏเชพ เชตเชฐเซเชทเซ‡ เชธเซ‡เชจเซเชŸ เชชเซ€เชŸเชฐเซเชธเชฌเชฐเซเช—เชฎเชพเช‚ เชนเชคเซ€ เชชเซเชฐเชฅเชฎ เชนเชพเช‡เชกเซเชฐเชพ เช•เซ‹เชจเซเชซเชฐเชจเซเชธ, เชธเชฎเชพเช‚เชคเชฐ เช…เชจเซ‡ เชตเชฟเชคเชฐเชฟเชค เชธเชฟเชธเซเชŸเชฎเซ‹เชจเซ‡ เชธเชฎเชฐเซเชชเชฟเชค. เชตเชฟเชœเซ‡เชคเชพเช“เช เชฐเชœเซ‚เช†เชคเซ‹ เช•เชฐเซ€ เชนเชคเซ€ เชกเชฟเชœเช•เซเชธเซเชŸเซเชฐเชพ เชชเซเชฐเชพเช‡เช ะธ เชŸเซเชฏเซเชฐเชฟเช‚เช— เชชเซเชฐเชธเซเช•เชพเชฐเซ‹ (เชฒเซ‡เชธเซเชฒเซ€ เชฒเซ‡เชฎเชชเซ‹เชฐเซเชŸ, เชฎเซ‹เชฐเชฟเชธ เชนเซ‡เชฐเชฒเซ€เชนเซ€ ะธ เชฎเชพเชˆเช•เชฒ เชธเซเช•เซ‹เชŸ), เช•เชฎเซเชชเชพเช‡เชฒเชฐเซเชธ เช…เชจเซ‡ เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎเชฟเช‚เช— เชญเชพเชทเชพเช“เชจเชพ เชธเชฐเซเชœเช•เซ‹ (C++, Go, Java, Kotlin), เชตเชฟเชคเชฐเชฟเชค เชกเซ‡เชŸเชพเชฌเซ‡เชธเซ‡เชธเชจเชพ เชตเชฟเช•เชพเชธเช•เชฐเซเชคเชพเช“ (Cassandra, CosmosDB, Yandex Database), เชคเซ‡เชฎเชœ เช…เชฒเซเช—เซ‹เชฐเชฟเชงเชฎเซเชธ เช…เชจเซ‡ เชกเซ‡เชŸเชพ เชธเซเชŸเซเชฐเช•เซเชšเชฐเซเชธเชจเชพ เชธเชฐเซเชœเช•เซ‹ เช…เชจเซ‡ เชธเช‚เชถเซ‹เชงเช•เซ‹ (CRDT, Paxos, wait) เชซเซเชฐเซ€ เชกเซ‡เชŸเชพ เชธเซเชŸเซเชฐเช•เซเชšเชฐเซเชธ). เชธเชพเชฎเชพเชจเซเชฏ เชฐเซ€เชคเซ‡, เช† เชธเชฎเชฏเซ‡ เชคเชฎเซ‡ เชชเชนเซ‡เชฒเซ‡เชฅเซ€ เชœ เชตเซ‡เช•เซ‡เชถเชจ เชฒเชˆ เชถเช•เซ‹ เช›เซ‹, 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 เชชเชฐ เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชฎเชพเชˆเช•เชฒ เชธเซเช•เซ‹เชŸ (เชฎเชพเช‡เช•เชฒ เชธเซเช•เซ‹เชŸ) - เชจเชพ เชธเช‚เชถเซ‹เชงเช• เชฐเซ‹เชšเซ‡เชธเซเชŸเชฐ เชฏเซเชจเชฟเชตเชฐเซเชธเชฟเชŸเซ€, เชฌเชงเชพ Java เชตเชฟเช•เชพเชธเช•เชฐเซเชคเชพเช“ เชฎเชพเชŸเซ‡ เชธเชฐเซเชœเช• เชคเชฐเซ€เช•เซ‡ เชœเชพเชฃเซ€เชคเชพ เช›เซ‡ เชฌเชฟเชจ-เช…เชตเชฐเซ‹เชงเชฟเชค เช…เชฒเซเช—เซ‹เชฐเชฟเชงเชฎเซเชธ เช…เชจเซ‡ เชธเชฟเช‚เช•เซเชฐเชจเชธ เช•เชคเชพเชฐ เชœเชพเชตเชพ เชธเซเชŸเชพเชจเซเชกเชฐเซเชก เชฒเชพเช‡เชฌเซเชฐเซ‡เชฐเซ€เชฎเชพเช‚เชฅเซ€. เช…เชฒเชฌเชคเซเชค, เชกเชฟเชœเช•เซเชธเซเชŸเซเชฐเชพ เชชเซเชฐเชพเช‡เช เชธเชพเชฅเซ‡ โ€œเชถเซ‡เชฐเซเชก-เชฎเซ‡เชฎเชฐเซ€ เชฎเชฒเซเชŸเชฟเชชเซเชฐเซ‹เชธเซ‡เชธเชฐเซเชธ เชชเชฐ เชธเซเช•เซ‡เชฒเซ‡เชฌเชฒ เชธเชฟเช‚เช•เซเชฐเซ‹เชจเชพเช‡เชเซ‡เชถเชจ เชฎเชพเชŸเซ‡ เช…เชฒเซเช—เซ‹เชฐเชฟเชงเชฎเซเชธ"เช…เชจเซ‡ เชชเซ‹เชคเชพเชจเชพ เชตเชฟเช•เชฟเชชเซ€เชกเชฟเชฏเชพ เชชเซƒเชทเซเช . เช—เชฏเชพ เชตเชฐเซเชทเซ‡, เชฎเชพเช‡เช•เชฒเซ‡ เชนเชพเช‡เชกเซเชฐเชพ เชชเชฐ เชถเซเชฐเซ‡เชทเซเช  (เชคเชฎเชพเชฐเชพ เชฎเซเชœเชฌ) เช…เชนเซ‡เชตเชพเชฒ เช†เชชเซเชฏเซ‹ เชนเชคเซ‹ เชกเซเชฏเซเช…เชฒ เชกเซ‡เชŸเชพ เชธเซเชŸเซเชฐเช•เซเชšเชฐเซเชธ, เช…เชจเซ‡ เชนเชตเซ‡ เชคเซ‡ เชตเชฟเชถเซ‡ เชตเชพเชค เช•เชฐเชถเซ‡ เชชเซเชฐเซ‹เชœเซ‡เช•เซเชŸ เชนเซ‹เชกเชฐ ะธ เชตเชนเซ‡เช‚เชšเชพเชฏเซ‡เชฒ เชฎเซ‡เชฎเชฐเซ€ เชธเชพเชฅเซ‡ เชธเชฒเชพเชฎเชค เช•เชพเชฐเซเชฏ, เชธเชฎเชพเช‚เชคเชฐ เชชเซเชฐเช•เซเชฐเชฟเชฏเชพเช“ เชฎเชพเชŸเซ‡ เช‰เชชเชฒเชฌเซเชง.


เชนเชพเช‡เชกเซเชฐเชพเชจเชพ เชนเชพเชฅเซ‹เชฎเชพเช‚ เช•เซเชฐเซ‡เชฎเชฒเชฟเชจ เชŸเชพเชตเชฐเซเชธ: เชฎเซ‹เชธเซเช•เซ‹เชฎเชพเช‚ เชธเชฎเชพเช‚เชคเชฐ เช…เชจเซ‡ เชตเชฟเชคเชฐเชฟเชค เช•เชฎเซเชชเซเชฏเซเชŸเชฟเช‚เช— เชนเชพเช‡เชกเซเชฐเชพ 2020 เชชเชฐ เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชนเซ‡เช‡เชฆเซ€ เชนเซ‹เชตเชฐเซเชก (เชนเซ‡เช‡เชฆเซ€ เชนเซ‹เชตเชฐเซเชก) - เชธเช‚เชถเซ‹เชงเช• เชฅเซ€ เช•เซ‡เชฎเซเชฌเซเชฐเชฟเชœ เชฏเซเชจเชฟเชตเชฐเซเชธเชฟเชŸเซ€, เชตเชฟเชคเชฐเชฟเชค เชธเชฐเซเชตเชธเช‚เชฎเชคเชฟ เช…เชฒเซเช—เซ‹เชฐเชฟเชงเชฎ เชฌเชจเชพเชตเชตเชพ เชฎเชพเชŸเซ‡ เชœเชพเชฃเซ€เชคเซเช‚ เช›เซ‡ เชฒเชตเชšเซ€เช• Paxos, เชคเซ‡เชฎเชœ เชซเซเชฒเซ‡เช•เซเชธเชฟเชฌเชฒ เชชเซ‹เช•เซเชธเซ‹เชธ เช…เชจเซ‡ เชธเชพเชฎเชพเชจเซเชฏเซ€เช•เชฐเชฃ เชชเชฐ เช•เชพเชฎ เช•เชฐเซ‹ เชเชกเชชเซ€ Paxos. เช—เชฏเชพ เชตเชฐเซเชทเซ‡, เชนเซ‡เชˆเชฆเซ€เช เชœเชฃเชพเชตเซเชฏเซเช‚ เชนเชคเซเช‚ เช•เซ‡ เชคเซ‡ เช•เซ‡เชตเซ€ เชฐเซ€เชคเซ‡ เช•เชพเชฎ เช•เชฐเซ‡ เช›เซ‡ เช…เชจเซ‡ เช•เชพเชฎ เช•เชฐเซ‡ เช›เซ‡ เช…เชฒเซเช—เซ‹เชฐเชฟเชงเชฎเชจเซ‹ Paxos เช•เซเชŸเซเช‚เชฌ (เชถเซเชฐเซ‡เชทเซเช  เช…เชนเซ‡เชตเชพเชฒเซ‹เชฎเชพเช‚เชฅเซ€ เชเช•), เช…เชจเซ‡ เชนเชตเซ‡ เชนเซเช‚ เชตเชšเซเชšเซ‡เชจเชพ เชชเชพเชคเชณเชพ เชฌเชฐเชซ เชชเชฐ เชšเชพเชฒเชตเชพเชจเซ‹ เชชเซเชฐเชฏเชคเซเชจ เช•เชฐเซ€เชถ เชชเซ‹เช•เซเชธเซ‹เชธ เชชเซเชฐเซ‡เชฎเซ€เช“ เช…เชจเซ‡ เชฐเชพเชซเซเชŸ เชธเชฎเชฐเซเชฅเช•เซ‹ โ€” เช…เชจเซ‡ เช•เชฏเซเช‚ เช…เชฒเซเช—เซ‹เชฐเชฟเชงเชฎ เชตเชงเซ เชธเชพเชฐเซเช‚ เช›เซ‡ เชคเซ‡เชจเชพ เชชเชฐ เชคเซ‡เชฎเชจเซ‹ เช…เชญเชฟเชชเซเชฐเชพเชฏ เชถเซ‡เชฐ เช•เชฐเซ‹.


เชนเชพเช‡เชกเซเชฐเชพเชจเชพ เชนเชพเชฅเซ‹เชฎเชพเช‚ เช•เซเชฐเซ‡เชฎเชฒเชฟเชจ เชŸเชพเชตเชฐเซเชธ: เชฎเซ‹เชธเซเช•เซ‹เชฎเชพเช‚ เชธเชฎเชพเช‚เชคเชฐ เช…เชจเซ‡ เชตเชฟเชคเชฐเชฟเชค เช•เชฎเซเชชเซเชฏเซเชŸเชฟเช‚เช— เชนเชพเช‡เชกเซเชฐเชพ 2020 เชชเชฐ เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชฎเชพเชฐเซเชŸเชฟเชจ เช•เซเชฒเซ‡เชชเชฎเซ‡เชจ (เชฎเชพเชฐเซเชŸเชฟเชจ เช•เซเชฒเซ‡เชชเชฎเซ‡เชจ) เช•เชฆเชพเชš เชฏเซเชจเชฟเชตเชฐเซเชธเชฟเชŸเซ€ เช“เชซ เช•เซ‡เชฎเซเชฌเซเชฐเชฟเชœเชจเชพ เชตเชงเซ เชชเซเชฐเชธเชฟเชฆเซเชง เชธเช‚เชถเซ‹เชงเช• เช›เซ‡, เช…เชจเซ‡ เชฎเซ‹เชŸเชพ เชกเซ‡เชŸเชพ เชธเชฟเชธเซเชŸเชฎเซเชธเชจเชพ เชญเซ‚เชคเชชเซ‚เชฐเซเชต เชตเชฟเช•เชพเชธเช•เชฐเซเชคเชพ เช›เซ‡, เชœเซ‡เชฎเชฃเซ‡ เชตเชฟเชคเชฐเชฟเชค เชธเชฟเชธเซเชŸเชฎเซเชธ เชชเชฐ เช†เชถเซเชšเชฐเซเชฏเชœเชจเช• เชฐเซ€เชคเซ‡ เชธเซเชชเชทเซเชŸ เช…เชจเซ‡ เชคเซ‡เชฅเซ€ เช…เชจเชจเซเชฏ เชชเซเชธเซเชคเช• เชฒเช–เซเชฏเซเช‚ เช›เซ‡.เชกเซ‡เชŸเชพ-เชธเช˜เชจ เชเชชเซเชฒเชฟเช•เซ‡เชถเชจเซ‹ เชกเชฟเชเชพเช‡เชจ เช•เชฐเชตเซ€" เช—เชฏเชพ เชตเชฐเซเชทเซ‡ เชฎเชพเชฐเซเชŸเชฟเชจ เชชเชฐเชฟเชฃเชพเชฎเซ‹ เชถเซ‡เชฐ เช•เชฐเซเชฏเชพ เชคเซ‡เชฎเชจเชพ CRDT เชธเช‚เชถเซ‹เชงเชจ, เช…เชจเซ‡ เช…เชฎเซ‡ เชคเชฎเชจเซ‡ เชนเชตเซ‡ เชถเซเช‚ เช•เชนเซ€เชถเซเช‚ เช…เชฎเซ‡ เชชเช›เซ€เชฅเซ€ เชœเชพเชนเซ‡เชฐเชพเชค เช•เชฐเซ€เชถเซเช‚.


เชนเชพเช‡เชกเซเชฐเชพเชจเชพ เชนเชพเชฅเซ‹เชฎเชพเช‚ เช•เซเชฐเซ‡เชฎเชฒเชฟเชจ เชŸเชพเชตเชฐเซเชธ: เชฎเซ‹เชธเซเช•เซ‹เชฎเชพเช‚ เชธเชฎเชพเช‚เชคเชฐ เช…เชจเซ‡ เชตเชฟเชคเชฐเชฟเชค เช•เชฎเซเชชเซเชฏเซเชŸเชฟเช‚เช— เชนเชพเช‡เชกเซเชฐเชพ 2020 เชชเชฐ เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชจเชฟเช•เชฟเชคเชพ เช•เซ‹เชตเชฒ (เชจเชฟเช•เชฟเชคเชพ เช•เซ‹เชตเชฒ) เช•เซ‹เชŸเชฒเชฟเชจ เชŸเซ€เชฎเชฎเชพเช‚ เช•เซ‹เชฐเซ‹เชŸเซ€เชจ เชกเซ‡เชตเชฒเชชเชฐ เช›เซ‡, ITMO เช–เชพเชคเซ‡ เชฎเชฒเซเชŸเซ€-เชฅเซเชฐเซ‡เชกเซ‡เชก เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎเชฟเช‚เช—เชจเชพ เช•เซ‹เชฐเซเชธเชจเชพ เชถเชฟเช•เซเชทเช• เช›เซ‡ เช…เชจเซ‡ Hydra เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชจเซ€ เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎ เช•เชฎเชฟเชŸเซ€เชจเชพ เชธเชญเซเชฏ เช›เซ‡ (เชนเชพ, เช† เชฒเซ‡เช– เชœเซ‡เชจเชพ เชตเชฟเชถเซ‡ เช›เซ‡). เช—เชฏเชพ เชตเชฐเซเชทเซ‡ เชจเชฟเช•เชฟเชคเชพเช JVM เชชเซเชฒเซ‡เชŸเชซเซ‹เชฐเซเชฎเชจเซ‹ เช‰เชชเชฏเซ‹เช— เช•เชฐเซ€เชจเซ‡ เชฎเชฒเซเชŸเชฟ-เชฅเซเชฐเซ‡เชกเซ‡เชก เชกเซ‡เชŸเชพ เชธเซเชŸเซเชฐเช•เซเชšเชฐเซเชธเชจเซเช‚ เชชเชฐเซ€เช•เซเชทเชฃ เช•เชฐเชตเชพ เชตเชฟเชถเซ‡ เชตเชพเชค เช•เชฐเซ€ เชนเชคเซ€ เชฒเชฟเชจ-เชšเซ‡เช•, เช…เชจเซ‡ เชนเชพเช‡เชกเซเชฐเชพ 2020 เชฎเชพเช‚ เชคเซ‡ เช•เชนเซ‡เชถเซ‡ SegmentQueueSynchronizer เชตเชฟเชถเซ‡ - เช‰เชชเชฏเซ‹เช— เช•เชฐเซ€เชจเซ‡ เชšเช•เชพเชธเชพเชฏเซ‡เชฒ เช†เช‡เชฐเชฟเชธ เชซเซเชฐเซ‡เชฎเชตเชฐเซเช• เชฎเชพเชŸเซ‡ prover Coq เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎเชฟเช‚เช— เชธเชฟเช‚เช•เซเชฐเซ‹เชจเชพเช‡เชเซ‡เชถเชจ เชชเซเชฐเชฟเชฎเชฟเชŸเชฟเชตเซเชธ เชฎเชพเชŸเซ‡ เชเชฌเซเชธเซเชŸเซเชฐเซ‡เช•เซเชถเชจ.


เช…เชฎเชพเชฐเซ€ เช…เชธเซเชฎเซ‡เชณ เช˜เซ‹เชทเชฃเชพเช“ เช…เชจเซเชธเชฐเซ‹: เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชฎเชพเช‚ เช•เซเชฒ เชฎเชณเซ€เชจเซ‡ เชฒเช—เชญเช— เชคเซเชฐเชฃ เชกเชเชจ เชฐเชฟเชชเซ‹เชฐเซเชŸเซเชธ เชนเชถเซ‡, เช…เชฎเซ‡ เชคเชฎเชจเซ‡ เชฌเชพเช•เซ€เชจเชพ เชตเชฟเชถเซ‡ เชŸเซ‚เช‚เช• เชธเชฎเชฏเชฎเชพเช‚ เชœเชฃเชพเชตเซ€เชถเซเช‚. เช‰เชชเชฐเชพเช‚เชค, เช…เชฒเชฌเชคเซเชค, เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชฎเชพเช‚ เชคเซเชฏเชพเช‚ เชšเชฐเซเชšเชพ เชเซ‹เชจ เชนเชถเซ‡ เชœเซเชฏเชพเช‚ เชธเชพเชฎเชพเชจเซเชฏ เชธเชฐเซเชตเชธเช‚เชฎเชคเชฟ เชธเซเชงเซ€ เชชเชนเซ‹เช‚เชšเชตเชพเชฎเชพเช‚ เชจ เช†เชตเซ‡ เชคเซเชฏเชพเช‚ เชธเซเชงเซ€ เชเช• เช…เชฅเชตเชพ เช…เชจเซ‡เช• เชฅเซเชฐเซ‡เชกเซ‹เชฎเชพเช‚ เชชเซเชฐเชถเซเชจเซ‹ เชธเชพเชฅเซ‡ เชตเช•เซเชคเชพเช“เชจเซเช‚ เชชเชฐเซ€เช•เซเชทเชฃ เช•เชฐเชตเซเช‚ เชœเชฐเซ‚เชฐเซ€ เช›เซ‡.

เชนเชพเช‡เชกเซเชฐเชพเชจเชพ เชนเชพเชฅเซ‹เชฎเชพเช‚ เช•เซเชฐเซ‡เชฎเชฒเชฟเชจ เชŸเชพเชตเชฐเซเชธ: เชฎเซ‹เชธเซเช•เซ‹เชฎเชพเช‚ เชธเชฎเชพเช‚เชคเชฐ เช…เชจเซ‡ เชตเชฟเชคเชฐเชฟเชค เช•เชฎเซเชชเซเชฏเซเชŸเชฟเช‚เช— เชนเชพเช‡เชกเซเชฐเชพ 2020 เชชเชฐ เช•เซ‹เชจเซเชซเชฐเชจเซเชธ
เช…เชจเซ‡ เชœเซ‹ เชคเชฎเซ‡ เชจเชธเซ€เชฌเชฆเชพเชฐ เช›เซ‹, เชคเซ‹ เชฎเชพเชฐเซเชŸเชฟเชจ เช•เซเชฒเซ‡เชชเชฎเซ‡เชจ เชคเชฎเชพเชฐเชพ เชชเซเชธเซเชคเช• เชชเชฐ เชธเชนเซ€ เช•เชฐเชถเซ‡.

เชนเชพ, เชนเชพเชˆเชกเซเชฐเชพ 2020 เช•เซ‹เชจเซเชซเชฐเชจเซเชธ เชชเชนเซ‡เชฒเชพ, เชเชŸเชฒเซ‡ เช•เซ‡ เชœเซเชฒเชพเชˆ 6-9, เชคเซเชฏเชพเช‚ เชนเชถเซ‡ เชเชธเชชเซ€เชŸเซ€เชกเซ€เชธเซ€ 2020 - เชตเชฟเชคเชฐเชฟเชค เช•เชฎเซเชชเซเชฏเซเชŸเชฟเช‚เช—เชจเชพ เชธเชฟเชฆเซเชงเชพเช‚เชค เช…เชจเซ‡ เชชเซเชฐเซ‡เช•เซเชŸเชฟเชธ เชชเชฐเชจเซ€ เชคเซเชฐเซ€เชœเซ€ เชธเชฎเชฐ เชธเซเช•เซ‚เชฒ. เชคเซ‡ เชคเชฎเชจเซ‡ เชธเช‚เชตเซ‡เชฆเชจเชพเช“ เช†เชชเชถเซ‡ เชœเซ‡ เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชฎเชพเช‚ เชฎเซ‡เชณเชตเชตเซ€ เชฎเซเชถเซเช•เซ‡เชฒ เช›เซ‡, เชคเซ‡เชฅเซ€ เช…เชฎเซ‡ เชเช• เช…เชฒเช— เชชเซ‹เชธเซเชŸเชฎเชพเช‚ เชถเชพเชณเชพ เชตเชฟเชถเซ‡ เชตเชพเชค เช•เชฐเซ€เชถเซเช‚.

เชนเชตเซ‡ เชถเซเช‚? เชธเซŒ เชชเซเชฐเชฅเชฎ, เชนเซ‡เชฌเซเชฐเซ‡ เช…เชจเซ‡ เชธเซ‹เชถเชฟเชฏเชฒ เชจเซ‡เชŸเชตเชฐเซเช• เชชเชฐเชจเชพ เชธเชฎเชพเชšเชพเชฐเชจเซ‡ เช…เชจเซเชธเชฐเซ‹ (เชซเซ‡เชธเชฌเซเช•, ะ’ะบะพะฝั‚ะฐะบั‚ะต, Twitter).

เชฌเซ€เชœเซเช‚, เชœเซ‹ เชคเชฎเซ‡ เช•เซ‹เชจเซเชซเชฐเชจเซเชธเชฎเชพเช‚ เชนเชพเชœเชฐเซ€ เช†เชชเชตเชพเชจเซ€ เช…เชจเชฟเชตเชพเชฐเซเชฏ เช‡เชšเซเช›เชพ เช…เชจเซเชญเชตเซ‹ เช›เซ‹, เชคเซ‹ เชตเซ‡เชฌเชธเชพเช‡เชŸเชจเซเช‚ เช…เชจเซเชตเซ‡เชทเชฃ เช•เชฐเซ‹, เชคเชฎเซ‡ เชชเชนเซ‡เชฒเซ‡เชฅเซ€ เชœ เชŸเซ€เช•เซ€เชŸ เช–เชฐเซ€เชฆเซ‹.

เชคเซเชฐเซ€เชœเซเช‚, เชŸเชฟเชชเซเชชเชฃเซ€เช“เชฎเชพเช‚ เชนเชพเช‡เชกเซเชฐเชพ 2020 เช•เซ‹เชจเซเชซเชฐเชจเซเชธ เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎ เช•เชฎเชฟเชŸเซ€ เชธเชพเชฅเซ‡ เชšเซ‡เชŸ เช•เชฐเชตเชพเชจเซ€ เชคเช• เช—เซเชฎเชพเชตเชถเซ‹ เชจเชนเซ€เช‚. PC เชธเชญเซเชฏเซ‹ เชคเชฎเชพเชฐเซ€ เชธเชพเชฅเซ‡ เชญเชพเชตเชฟ เช•เซ‹เชจเซเชซเชฐเชจเซเชธ เชตเชฟเชทเชฏเซ‹ เชตเชฟเชถเซ‡ เชตเชพเชค เช•เชฐเชตเชพเชฎเชพเช‚ เช–เซเชถ เชฅเชถเซ‡.

เชนเชพเช‡เชกเซเชฐเชพ เชชเชฐ เชฎเชณเซ€เชถเซเช‚!

เชธเซ‹เชฐเซเชธ: www.habr.com

เชเช• เชŸเชฟเชชเซเชชเชฃเซ€ เช‰เชฎเซ‡เชฐเซ‹