āĻāĻ¤ āĻŦāĻāĻ° āĻ¸ā§āĻ¨ā§āĻ āĻĒāĻŋāĻāĻžāĻ°ā§āĻ¸āĻŦāĻžāĻ°ā§āĻā§ āĻĒā§āĻ°āĻĨāĻŽ āĻšāĻžāĻāĻĄā§āĻ°āĻž āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨āĻ¸āĻŽāĻžāĻ¨ā§āĻ¤āĻ°āĻžāĻ˛ āĻāĻŦāĻ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻ¸āĻŋāĻ¸ā§āĻā§āĻŽā§āĻ° āĻāĻ¨ā§āĻ¯ āĻ¨āĻŋāĻŦā§āĻĻāĻŋāĻ¤āĨ¤ āĻŦāĻŋāĻāĻ¯āĻŧā§āĻ°āĻž āĻāĻĒāĻ¸ā§āĻĨāĻžāĻĒāĻ¨āĻž āĻāĻ°ā§āĻ¨ Dijkstra āĻĒā§āĻ°āĻ¸ā§āĻāĻžāĻ° и āĻā§āĻ°āĻŋāĻ āĻĒā§āĻ°āĻ¸ā§āĻāĻžāĻ° (āĻ˛ā§āĻ¸āĻ˛āĻŋ āĻ˛ā§āĻ¯āĻžāĻŽāĻĒā§āĻ°ā§āĻ, āĻŽāĻ°āĻŋāĻ¸ āĻšāĻžāĻ°āĻ˛āĻŋāĻšāĻŋ и āĻŽāĻžāĻāĻā§āĻ˛ āĻ¸ā§āĻāĻ), āĻāĻŽā§āĻĒāĻžāĻāĻ˛āĻžāĻ° āĻāĻŦāĻ āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽāĻŋāĻ āĻāĻžāĻˇāĻžāĻ° āĻ¸ā§āĻ°āĻˇā§āĻāĻž (C++, Go, Java, Kotlin), āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻĄā§āĻāĻžāĻŦā§āĻ¸āĻā§āĻ˛āĻŋāĻ° āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§ (Cassandra, CosmosDB, Yandex Database), āĻĒāĻžāĻļāĻžāĻĒāĻžāĻļāĻŋ āĻ
ā§āĻ¯āĻžāĻ˛āĻāĻ°āĻŋāĻĻāĻŽ āĻāĻŦāĻ āĻĄā§āĻāĻž āĻ¸ā§āĻā§āĻ°āĻžāĻāĻāĻžāĻ°ā§āĻ° āĻ¨āĻŋāĻ°ā§āĻŽāĻžāĻ¤āĻž āĻāĻŦāĻ āĻāĻŦā§āĻˇāĻāĻ°āĻž (CRDT, Paxos, wait) - āĻŦāĻŋāĻ¨āĻžāĻŽā§āĻ˛ā§āĻ¯ā§ āĻĄā§āĻāĻž āĻ¸ā§āĻā§āĻ°āĻžāĻāĻāĻžāĻ°)āĨ¤ āĻ¸āĻžāĻ§āĻžāĻ°āĻŖāĻāĻžāĻŦā§, āĻāĻ āĻŽā§āĻšā§āĻ°ā§āĻ¤ā§ āĻāĻĒāĻ¨āĻŋ āĻāĻ¤āĻŋāĻŽāĻ§ā§āĻ¯ā§āĻ āĻā§āĻāĻŋ āĻ¨āĻŋāĻ¤ā§ āĻĒāĻžāĻ°ā§āĻ¨, IDE āĻāĻāĻ¨ā§āĻĄā§āĻāĻŋ āĻā§āĻ āĻāĻ°āĻ¤ā§ āĻĒāĻžāĻ°ā§āĻ¨, āĻāĻ° āĻ¸āĻžāĻĨā§ āĻāĻāĻāĻŋ YouTube āĻĒā§āĻ˛ā§āĻ˛āĻŋāĻ¸ā§āĻ āĻā§āĻ˛āĻ¤ā§ āĻĒāĻžāĻ°ā§āĻ¨ āĻ¸ā§āĻ°āĻž āĻ°āĻŋāĻĒā§āĻ°ā§āĻ āĻšāĻžāĻāĻĄā§āĻ°āĻž 2019 - āĻāĻŦāĻ āĻāĻžāĻ¸ā§āĻ āĻļāĻŋāĻĄāĻŋāĻāĻ˛āĻžāĻ°āĻā§ āĻāĻāĻā§ āĻ
āĻĒā§āĻā§āĻˇāĻž āĻāĻ°āĻ¤ā§ āĻĻāĻŋāĻ¨āĨ¤
āĻ¸āĻžāĻ§āĻžāĻ°āĻŖāĻāĻžāĻŦā§, āĻāĻŽāĻ¨ āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ āĻāĻāĻ¨āĻ āĻšāĻ¯āĻŧāĻ¨āĻŋ, āĻāĻŦāĻ āĻāĻāĻ¨ āĻāĻŦāĻžāĻ° āĻšāĻŦā§āĨ¤ āĻāĻŦāĻžāĻ° āĻāĻāĻ°ā§āĻāĻŋāĻ¤ā§ āĻ°āĻŋāĻĒā§āĻ°ā§āĻ āĻ¸āĻš, āĻāĻžāĻ°āĻŖ āĻ¸āĻŽāĻžāĻ¨ā§āĻ¤āĻ°āĻžāĻ˛ āĻāĻŦāĻ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻāĻŽā§āĻĒāĻŋāĻāĻāĻŋāĻ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ āĻāĻĨāĻž āĻŦāĻ˛āĻžāĻ° āĻāĻ¨ā§āĻ¯ āĻā§āĻ¨ āĻāĻžāĻ˛ āĻāĻžāĻˇāĻž āĻ¨ā§āĻāĨ¤ āĻāĻŦāĻžāĻ° āĻā§āĻ°ā§āĻˇā§āĻŽā§, 10 āĻāĻŦāĻ 11 āĻā§āĻ˛āĻžāĻ, āĻāĻžāĻ°āĻŖ āĻ¸ā§āĻĒāĻŋāĻāĻžāĻ°āĻĻā§āĻ° āĻāĻŦā§āĻˇāĻŖāĻž āĻāĻŦāĻ āĻļā§āĻāĻžāĻ¨ā§āĻ° āĻ¸āĻŽāĻ¯āĻŧ āĻāĻā§, āĻāĻĻāĻžāĻšāĻ°āĻŖāĻ¸ā§āĻŦāĻ°ā§āĻĒ, āĻā§āĻŽāĻŦā§āĻ°āĻŋāĻ, āĻ°āĻā§āĻ¸ā§āĻāĻžāĻ° āĻāĻŦāĻ āĻ¸ā§āĻ¨ā§āĻ āĻĒāĻŋāĻāĻžāĻ°ā§āĻ¸āĻŦāĻžāĻ°ā§āĻā§āĻ° āĻŦāĻŋāĻļā§āĻŦāĻŦāĻŋāĻĻā§āĻ¯āĻžāĻ˛āĻ¯āĻŧā§ āĻāĻŦāĻ āĻŦāĻāĻ°ā§āĻ° āĻ
āĻ¨ā§āĻ¯āĻžāĻ¨ā§āĻ¯ āĻ¸āĻŽāĻ¯āĻŧ āĻ¤āĻžāĻĻā§āĻ° āĻāĻ¨ā§āĻ¯ āĻ¨āĻ¯āĻŧāĨ¤
āĻ¤āĻŦā§ āĻāĻŦāĻžāĻ° āĻšāĻžāĻāĻĄā§āĻ°āĻž āĻ
āĻ¨ā§āĻˇā§āĻ āĻŋāĻ¤ āĻšāĻŦā§ āĻŽāĻ¸ā§āĻā§āĻ¤ā§, āĻ¯ā§āĻāĻžāĻ¨ā§ āĻŦā§āĻļāĻŋāĻ°āĻāĻžāĻ āĻāĻ¨āĻĢāĻžāĻ°ā§āĻ¨ā§āĻ¸ āĻ
āĻāĻļāĻā§āĻ°āĻšāĻŖāĻāĻžāĻ°ā§āĻ°āĻž āĻāĻ¤ āĻŦāĻāĻ° āĻĨā§āĻā§ āĻāĻ¸ā§āĻāĻŋāĻ˛ā§āĻ¨ āĻŦāĻŋāĻ¤āĻ°āĻŖāĻā§āĻ¤ āĻāĻā§āĻ¯āĻŽāĻ¤ā§āĻ¯ āĻāĻŦāĻ āĻ˛ā§āĻ¨āĻĻā§āĻ¨ āĻ¸āĻāĻā§āĻ°āĻžāĻ¨ā§āĻ¤ āĻŽā§āĻŽāĻ°āĻŋāĻ° āĻĒā§āĻ°āĻ¤āĻŋāĻŦā§āĻĻāĻ¨ āĻļā§āĻ¨āĻ¤ā§āĨ¤ āĻ¨āĻ¤ā§āĻ¨ āĻšāĻžāĻāĻĄā§āĻ°āĻžāĻ¯āĻŧ āĻāĻāĻāĻŋ āĻāĻ°āĻ āĻāĻāĻŋāĻ˛ āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽ āĻ°āĻ¯āĻŧā§āĻā§, āĻāĻ¤ āĻŦāĻāĻ°ā§āĻ° āĻ¨āĻžāĻ¯āĻŧāĻāĻĻā§āĻ° āĻ¸āĻžāĻĨā§ āĻ¨āĻ¤ā§āĻ¨ āĻ¸ā§āĻĒāĻŋāĻāĻžāĻ°, āĻĒāĻžāĻļāĻžāĻĒāĻžāĻļāĻŋ āĻ¤āĻŋāĻ¨āĻāĻŋ āĻšāĻ˛ā§āĻ° āĻ¸āĻŽāĻžāĻ¨ā§āĻ¤āĻ°āĻžāĻ˛ āĻšāĻžāĻ°ā§āĻĄāĻā§āĻ° āĻĨā§āĻā§ āĻ
āĻāĻļāĻā§āĻ°āĻšāĻŖāĻāĻžāĻ°ā§āĻĻā§āĻ° āĻŽāĻ§ā§āĻ¯ā§ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻāĻ¨āĻ¨ā§āĻĻā§āĻ° āĻāĻ¤āĻŋāĻŽāĻ§ā§āĻ¯ā§ āĻĒāĻ°āĻŋāĻāĻŋāĻ¤ āĻ
āĻ¨ā§āĻā§āĻ¤āĻŋāĨ¤
āĻāĻ¸ā§āĻ¨ āĻ
āĻŦāĻŋāĻ˛āĻŽā§āĻŦā§ āĻŦāĻžāĻāĻā§āĻ¨ā§āĻāĻžāĻāĻ¨ āĻā§āĻ¨āĻžāĻ°ā§āĻ˛āĻĻā§āĻ° āĻļāĻžāĻ°ā§āĻā§āĻ° āĻ¸āĻžāĻĨā§ āĻā§āĻŦāĻŋāĻ˛ā§ āĻāĻžāĻ°ā§āĻĄā§āĻ° āĻāĻāĻāĻŋ āĻĄā§āĻ āĻ°āĻžāĻāĻŋ - āĻāĻŽāĻ°āĻž āĻāĻžāĻ āĻ¨āĻ¤ā§āĻ¨ āĻšāĻžāĻāĻĄā§āĻ°āĻžāĻ° āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽāĻāĻŋ āĻāĻ°āĻ āĻŦāĻŋāĻļāĻĻ āĻāĻŦāĻ āĻŦā§āĻāĻŋāĻ¤ā§āĻ°ā§āĻ¯āĻŽāĻ¯āĻŧ āĻšā§āĻāĨ¤ āĻāĻ¤āĻŦāĻžāĻ° āĻāĻŽāĻ°āĻž āĻāĻā§āĻ˛ā§āĻ° āĻ¨āĻ āĻĻāĻŋāĻ¯āĻŧā§ āĻ¸ā§āĻā§āĻ°ā§āĻ¯āĻžāĻ āĻāĻ°ā§āĻāĻŋ, āĻāĻāĻ¨ āĻāĻŽāĻ°āĻž āĻāĻ°āĻ āĻĒā§āĻ°āĻļāĻ¸ā§āĻ¤ āĻāĻŦāĻ āĻāĻā§āĻ° āĻāĻ¨āĻ¨ āĻāĻ°āĻŦāĨ¤ āĻāĻāĻžāĻ¨ā§ āĻšāĻžāĻāĻĄā§āĻ°āĻž 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
āĻāĻ āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§āĻ° āĻāĻ°ā§āĻŽāĻ¸ā§āĻāĻŋāĻ¤ā§ āĻāĻ¸āĻŦ āĻāĻĨāĻž āĻā§āĻāĻžāĻŦā§ āĻŦāĻ˛āĻŦ? āĻāĻāĻŋ āĻāĻāĻāĻŋ āĻāĻāĻāĻā§ āĻ¨āĻ¤ā§āĻ¨ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻ¸ā§āĻā§āĻ°ā§ āĻ
āĻĒāĻžāĻ°ā§āĻļāĻ¨āĻā§āĻ˛āĻŋāĻ° āĻ°ā§āĻāĻŋāĻāĻ¤āĻž āĻĒāĻ°ā§āĻā§āĻˇāĻž āĻāĻ°āĻžāĻ° āĻā§āĻ¯āĻŧā§ āĻ
āĻŦāĻļā§āĻ¯āĻ āĻ¸āĻšāĻ āĻ¨āĻ¯āĻŧ āĻā§āĻĒāĻ¸ā§āĻ¨āĻāĻŋāĻ¨ā§āĻ¤ā§ āĻāĻŽāĻ°āĻž āĻā§āĻˇā§āĻāĻž āĻāĻ°āĻŦāĨ¤
āĻāĻāĻžāĻ¨ā§ āĻ¯āĻžāĻ°āĻž āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽā§ āĻāĻā§āĻ¨:
āĻ¸āĻŋāĻ¨ā§āĻĄāĻŋ āĻļā§āĻ°ā§āĻ§āĻ°āĻ¨ (āĻ¸āĻŋāĻ¨ā§āĻĄāĻŋ āĻļā§āĻ°ā§āĻ§āĻ°āĻ¨) āĻ¸āĻžāĻ¨ āĻĢā§āĻ°āĻžāĻ¨ā§āĻ¸āĻŋāĻ¸āĻā§ āĻĨā§āĻā§ āĻāĻāĻāĻŋ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻ¸āĻŋāĻ¸ā§āĻā§āĻŽ āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§, āĻāĻāĻāĻŋ āĻā§āĻ āĻŦāĻāĻ¯āĻŧā§āĻ° āĻ˛ā§āĻāĻ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻ¸āĻŋāĻ¸ā§āĻā§āĻŽ āĻĒāĻ°ā§āĻ¯āĻŦā§āĻā§āĻˇāĻŖāĻ¯ā§āĻā§āĻ¯āĻ¤āĻž (āĻā§āĻ°āĻšāĻŖ āĻāĻ°āĻž āĻŦāĻŋāĻ¨āĻžāĻŽā§āĻ˛ā§āĻ¯ā§ āĻāĻ˛ā§āĻāĻā§āĻ°āĻ¨āĻŋāĻ āĻāĻĒāĻŋ) āĻāĻŦāĻ āĻāĻ¨āĻĒā§āĻ°āĻŋāĻ¯āĻŧ āĻŦā§āĻ˛āĻ āĻĒā§āĻ¸ā§āĻāĻ¯ā§āĻāĻžāĻ¨ā§ āĻļā§āĻ§ā§āĻŽāĻžāĻ¤ā§āĻ° āĻāĻāĻāĻŋ āĻ¨āĻŋāĻŦāĻ¨ā§āĻ§ "āĻā§āĻ āĻāĻāĻ¸ā§ 2019 āĻ¸āĻžāĻ˛ā§āĻ° āĻ¸ā§āĻ°āĻž"āĻĻā§āĻ āĻĻāĻŋāĻ¨ā§āĻ° āĻā§āĻāĻŋ āĻĨā§āĻā§ āĻŽā§āĻā§āĻ¤āĻŋ āĻĒā§āĻ¤ā§ āĻ¸āĻā§āĻˇāĻŽ, āĻ¤āĻŦā§ āĻā§āĻļāĻŋ āĻā§āĻĄāĻŧā§ āĻĻāĻŋāĻ¨āĨ¤ āĻšāĻžāĻāĻĄā§āĻ°āĻž 2020 āĻ, āĻ¸āĻŋāĻ¨ā§āĻĄāĻŋ āĻāĻĒāĻ¨āĻžāĻā§ āĻā§āĻāĻžāĻŦā§ āĻĻā§āĻāĻžāĻŦā§ āĻĒāĻ°ā§āĻā§āĻˇāĻž āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻ¸āĻŋāĻ¸ā§āĻā§āĻŽ, āĻ¯āĻĻāĻŋāĻ āĻ¤āĻžāĻ°āĻž āĻ¸ā§āĻā§āĻ āĻ¸āĻā§āĻāĻ¯āĻŧ āĻāĻ°ā§āĨ¤
āĻŽāĻžāĻāĻā§āĻ˛ āĻ¸ā§āĻāĻ (āĻŽāĻžāĻāĻā§āĻ˛ āĻ¸ā§āĻāĻ) - āĻĨā§āĻā§ āĻāĻŦā§āĻˇāĻ āĻ°āĻā§āĻ¸ā§āĻāĻžāĻ° āĻŦāĻŋāĻļā§āĻŦāĻŦāĻŋāĻĻā§āĻ¯āĻžāĻ˛āĻ¯āĻŧ, āĻāĻ° āĻ¸ā§āĻ°āĻˇā§āĻāĻž āĻšāĻŋāĻ¸āĻžāĻŦā§ āĻ¸āĻŽāĻ¸ā§āĻ¤ āĻāĻžāĻāĻž āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§āĻĻā§āĻ° āĻāĻžāĻā§ āĻĒāĻ°āĻŋāĻāĻŋāĻ¤ā§ˇ āĻ¨āĻ¨-āĻŦā§āĻ˛āĻāĻŋāĻ āĻ
ā§āĻ¯āĻžāĻ˛āĻāĻ°āĻŋāĻĻāĻŽ āĻāĻŦāĻ āĻ¸āĻŋāĻā§āĻā§āĻ°ā§āĻ¨āĻžāĻ¸ āĻ¸āĻžāĻ°āĻŋ āĻāĻžāĻāĻž āĻ¸ā§āĻā§āĻ¯āĻžāĻ¨ā§āĻĄāĻžāĻ°ā§āĻĄ āĻ˛āĻžāĻāĻŦā§āĻ°ā§āĻ°āĻŋ āĻĨā§āĻā§āĨ¤ āĻ
āĻŦāĻļā§āĻ¯āĻ, āĻĄāĻŋāĻāĻāĻ¸ā§āĻā§āĻ°āĻž āĻĒā§āĻ°āĻ¸ā§āĻāĻžāĻ°ā§āĻ° āĻāĻ¨ā§āĻ¯ "āĻļā§āĻ¯āĻŧāĻžāĻ°ā§āĻĄ-āĻŽā§āĻŽāĻ°āĻŋ āĻŽāĻžāĻ˛ā§āĻāĻŋāĻĒā§āĻ°āĻ¸ā§āĻ¸āĻ°ā§ āĻ¸ā§āĻā§āĻ˛ā§āĻŦāĻ˛ āĻ¸āĻŋāĻā§āĻā§āĻ°ā§āĻ¨āĻžāĻāĻā§āĻļāĻ¨ā§āĻ° āĻāĻ¨ā§āĻ¯ āĻ
ā§āĻ¯āĻžāĻ˛āĻāĻ°āĻŋāĻĻāĻŽÂģ āĻāĻŦāĻ āĻ¨āĻŋāĻāĻ¸ā§āĻŦ āĻāĻāĻāĻŋāĻĒāĻŋāĻĄāĻŋāĻ¯āĻŧāĻž āĻĒāĻžāĻ¤āĻž. āĻāĻ¤ āĻŦāĻāĻ°, āĻŽāĻžāĻāĻā§āĻ˛ āĻšāĻžāĻāĻĄā§āĻ°āĻžāĻā§ āĻ¸ā§āĻ°āĻž (āĻāĻĒāĻ¨āĻžāĻ° āĻŽāĻ¤ā§) āĻ°āĻŋāĻĒā§āĻ°ā§āĻ āĻĻāĻŋāĻ¯āĻŧā§āĻā§ āĻĻā§āĻŦā§āĻ¤ āĻ¤āĻĨā§āĻ¯ āĻāĻžāĻ āĻžāĻŽā§āĻāĻŦāĻ āĻāĻāĻ¨ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ āĻāĻĨāĻž āĻŦāĻ˛ā§āĻ¨ Hodor āĻĒā§āĻ°āĻāĻ˛ā§āĻĒ и āĻāĻžāĻ āĻāĻ°āĻž āĻŽā§āĻŽāĻ°āĻŋāĻ° āĻ¸āĻžāĻĨā§ āĻ¨āĻŋāĻ°āĻžāĻĒāĻĻ āĻāĻžāĻāĻ¸āĻŽāĻžāĻ¨ā§āĻ¤āĻ°āĻžāĻ˛ āĻĒā§āĻ°āĻā§āĻ°āĻŋāĻ¯āĻŧāĻžāĻ° āĻāĻ¨ā§āĻ¯ āĻāĻĒāĻ˛āĻŦā§āĻ§āĨ¤
āĻšā§āĻāĻĄāĻŋ āĻšāĻžāĻāĻ¯āĻŧāĻžāĻ°ā§āĻĄ (āĻšā§āĻāĻĄāĻŋ āĻšāĻžāĻāĻ¯āĻŧāĻžāĻ°ā§āĻĄ) āĻāĻŦā§āĻˇāĻ āĻĨā§āĻā§ āĻā§āĻŽāĻŦā§āĻ°āĻŋāĻ āĻŦāĻŋāĻļā§āĻŦāĻŦāĻŋāĻĻā§āĻ¯āĻžāĻ˛āĻ¯āĻŧ, āĻāĻāĻāĻŋ āĻĄāĻŋāĻ¸ā§āĻā§āĻ°āĻŋāĻŦāĻŋāĻāĻā§āĻĄ āĻāĻ¨āĻ¸ā§āĻ¨āĻ¸āĻžāĻ¸ āĻ
ā§āĻ¯āĻžāĻ˛āĻāĻ°āĻŋāĻĻāĻŽ āĻ¤ā§āĻ°āĻŋāĻ° āĻāĻ¨ā§āĻ¯ āĻĒāĻ°āĻŋāĻāĻŋāĻ¤ āĻ¨āĻŽāĻ¨ā§āĻ¯āĻŧ āĻĒā§āĻ¯āĻžāĻā§āĻ¸ā§āĻ¸, āĻ¸ā§āĻāĻ¸āĻžāĻĨā§ āĻ¨āĻŽāĻ¨ā§āĻ¯āĻŧ āĻĒā§āĻ¯āĻžāĻā§āĻ¸ā§āĻ¸ āĻāĻŦāĻ āĻāĻ° āĻ¸āĻžāĻ§āĻžāĻ°āĻŖā§āĻāĻ°āĻŖā§āĻ° āĻāĻžāĻ āĻĻā§āĻ°ā§āĻ¤ āĻĒā§āĻ¯āĻžāĻā§āĻ¸ā§āĻ¸. āĻāĻ¤ āĻŦāĻāĻ°, āĻšā§āĻāĻĄāĻŋ āĻŦāĻ˛ā§āĻāĻŋāĻ˛ā§āĻ¨ āĻāĻāĻŋ āĻā§āĻāĻžāĻŦā§ āĻāĻŦāĻ āĻā§āĻāĻžāĻŦā§ āĻāĻžāĻ āĻāĻ°ā§ āĻ
ā§āĻ¯āĻžāĻ˛āĻāĻ°āĻŋāĻĻāĻŽā§āĻ° āĻĒā§āĻ¯āĻžāĻā§āĻ¸ā§āĻ¸ āĻĒāĻ°āĻŋāĻŦāĻžāĻ° (āĻāĻāĻāĻŋ āĻ¸ā§āĻ°āĻž āĻĒā§āĻ°āĻ¤āĻŋāĻŦā§āĻĻāĻ¨), āĻāĻŦāĻ āĻāĻāĻ¨ āĻ¤āĻŋāĻ¨āĻŋ āĻĒāĻžāĻ¤āĻ˛āĻž āĻŦāĻ°āĻĢā§āĻ° āĻŽāĻ§ā§āĻ¯ā§ āĻšāĻžāĻāĻāĻžāĻ° āĻā§āĻˇā§āĻāĻž āĻāĻ°āĻŦā§āĻ¨ āĻĒāĻā§āĻ¸ā§āĻ¸ āĻĒā§āĻ°ā§āĻŽāĻŋāĻ āĻāĻŦāĻ āĻ°āĻžāĻĢā§āĻ āĻ¸āĻŽāĻ°ā§āĻĨāĻ â āĻāĻŦāĻ āĻā§āĻ¨ āĻ
ā§āĻ¯āĻžāĻ˛āĻāĻ°āĻŋāĻĻāĻŽ āĻāĻžāĻ˛ā§ āĻ¸ā§ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ āĻāĻĒāĻ¨āĻžāĻ° āĻŽāĻ¤āĻžāĻŽāĻ¤ āĻļā§āĻ¯āĻŧāĻžāĻ° āĻāĻ°ā§āĻ¨āĨ¤
āĻŽāĻžāĻ°ā§āĻāĻŋāĻ¨ āĻā§āĻ˛ā§āĻĒāĻŽā§āĻ¯āĻžāĻ¨ (āĻŽāĻžāĻ°ā§āĻāĻŋāĻ¨ āĻā§āĻ˛ā§āĻĒāĻŽā§āĻ¯āĻžāĻ¨) āĻ¸āĻŽā§āĻāĻŦāĻ¤ āĻā§āĻ¯āĻžāĻŽāĻŦā§āĻ°āĻŋāĻ āĻŦāĻŋāĻļā§āĻŦāĻŦāĻŋāĻĻā§āĻ¯āĻžāĻ˛āĻ¯āĻŧā§āĻ° āĻ¸āĻŦāĻā§āĻ¯āĻŧā§ āĻĒāĻ°āĻŋāĻāĻŋāĻ¤ āĻāĻŦā§āĻˇāĻ āĻāĻŦāĻ āĻāĻāĻāĻ¨ āĻĒā§āĻ°āĻžāĻā§āĻ¤āĻ¨ āĻŦāĻĄāĻŧ āĻĄā§āĻāĻž āĻ¸āĻŋāĻ¸ā§āĻā§āĻŽ āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§, āĻ¯āĻŋāĻ¨āĻŋ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻ¸āĻŋāĻ¸ā§āĻā§āĻŽāĻā§āĻ˛āĻŋāĻ° āĻāĻĒāĻ° āĻāĻāĻāĻŋ āĻāĻļā§āĻāĻ°ā§āĻ¯āĻāĻ¨āĻāĻāĻžāĻŦā§ āĻĒāĻ°āĻŋāĻˇā§āĻāĻžāĻ° āĻāĻŦāĻ āĻ¤āĻžāĻ āĻ
āĻ¨āĻ¨ā§āĻ¯ āĻŦāĻ āĻ˛āĻŋāĻā§āĻā§āĻ¨ "āĻĄā§āĻāĻž-āĻāĻ¨āĻā§āĻ¨āĻ¸āĻŋāĻ āĻ
ā§āĻ¯āĻžāĻĒā§āĻ˛āĻŋāĻā§āĻļāĻ¨ āĻĄāĻŋāĻāĻžāĻāĻ¨ āĻāĻ°āĻž" āĻŽāĻžāĻ°ā§āĻāĻŋāĻ¨ āĻāĻ¤ āĻŦāĻāĻ° āĻĢāĻ˛āĻžāĻĢāĻ˛ āĻļā§āĻ¯āĻŧāĻžāĻ° āĻāĻ°ā§āĻā§āĻ¨ āĻ¤āĻžāĻĻā§āĻ° āĻāĻŦā§āĻˇāĻŖāĻžāĻ° āĻ¸āĻŋāĻāĻ°āĻĄāĻŋāĻāĻŋ, āĻāĻŦāĻ āĻāĻāĻ¨ āĻā§ āĻŦāĻ˛āĻŦ- āĻāĻŽāĻ°āĻž āĻĒāĻ°ā§ āĻā§āĻˇāĻŖāĻž āĻāĻ°āĻž āĻšāĻŦā§.
āĻ¨āĻŋāĻāĻŋāĻ¤āĻž āĻā§āĻāĻžāĻ˛ (āĻ¨āĻŋāĻāĻŋāĻ¤āĻž āĻā§āĻāĻžāĻ˛) āĻā§āĻāĻ˛āĻŋāĻ¨ āĻĻāĻ˛ā§āĻ° āĻāĻāĻāĻ¨ āĻā§āĻ°ā§āĻāĻŋāĻ¨ā§āĻ° āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§, āĻāĻāĻāĻŋāĻāĻŽāĻ-āĻ¤ā§ āĻŽāĻžāĻ˛ā§āĻāĻŋāĻĨā§āĻ°ā§āĻĄā§āĻĄ āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽāĻŋāĻāĻ¯āĻŧā§āĻ° āĻāĻāĻāĻŋ āĻā§āĻ°ā§āĻ¸ā§āĻ° āĻāĻāĻāĻ¨ āĻ˛ā§āĻāĻāĻžāĻ°āĻžāĻ° āĻāĻŦāĻ āĻšāĻžāĻāĻĄā§āĻ°āĻž āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§āĻ° āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽ āĻāĻŽāĻŋāĻāĻŋāĻ° āĻ¸āĻĻāĻ¸ā§āĻ¯ (āĻšā§āĻ¯āĻžāĻ, āĻāĻ āĻ¨āĻŋāĻŦāĻ¨ā§āĻ§āĻāĻŋ āĻ¯āĻžāĻ° āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§)āĨ¤ āĻāĻ¤ āĻŦāĻāĻ°, āĻ¨āĻŋāĻāĻŋāĻ¤āĻž JVM āĻĒā§āĻ˛ā§āĻ¯āĻžāĻāĻĢāĻ°ā§āĻŽ āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§ āĻŽāĻžāĻ˛ā§āĻāĻŋ-āĻĨā§āĻ°ā§āĻĄā§āĻĄ āĻĄā§āĻāĻž āĻ¸ā§āĻā§āĻ°āĻžāĻāĻāĻžāĻ° āĻĒāĻ°ā§āĻā§āĻˇāĻž āĻāĻ°āĻžāĻ° āĻŦāĻŋāĻˇāĻ¯āĻŧā§ āĻāĻĨāĻž āĻŦāĻ˛ā§āĻāĻŋāĻ˛ lin-āĻā§āĻ, āĻāĻŦāĻ āĻšāĻžāĻāĻĄā§āĻ°āĻž 2020-āĻ āĻāĻāĻŋ āĻŦāĻ˛āĻ¤ā§ āĻšāĻŦā§ SegmentQueueSynchronizer āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ - āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§ āĻ¯āĻžāĻāĻžāĻ āĻāĻ°āĻž āĻšāĻ¯āĻŧā§āĻā§ āĻāĻāĻ°āĻŋāĻ¸ āĻĢā§āĻ°ā§āĻŽāĻāĻ¯āĻŧāĻžāĻ°ā§āĻ āĻĨā§āĻā§ Prover Coq āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽāĻŋāĻ āĻ¸āĻŋāĻā§āĻā§āĻ°ā§āĻ¨āĻžāĻāĻā§āĻļāĻ¨ āĻāĻĻāĻŋāĻŽ āĻāĻ¨ā§āĻ¯ āĻŦāĻŋāĻŽā§āĻ°ā§āĻ¤āĻ¤āĻž.
āĻāĻŽāĻžāĻĻā§āĻ° āĻ
ā§āĻ¯āĻžāĻ¸āĻŋāĻā§āĻā§āĻ°ā§āĻ¨āĻžāĻ¸ āĻā§āĻˇāĻŖāĻžāĻā§āĻ˛āĻŋ āĻ
āĻ¨ā§āĻ¸āĻ°āĻŖ āĻāĻ°ā§āĻ¨: āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§ āĻĒā§āĻ°āĻžāĻ¯āĻŧ āĻ¤āĻŋāĻ¨ āĻĄāĻāĻ¨ āĻĒā§āĻ°āĻ¤āĻŋāĻŦā§āĻĻāĻ¨ āĻĨāĻžāĻāĻŦā§, āĻāĻŽāĻ°āĻž āĻļā§āĻā§āĻ°āĻ āĻŦāĻžāĻāĻŋāĻā§āĻ˛āĻŋ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ āĻāĻĒāĻ¨āĻžāĻā§ āĻŦāĻ˛āĻŦā§ˇ āĻāĻāĻžāĻĄāĻŧāĻžāĻ, āĻ
āĻŦāĻļā§āĻ¯āĻ, āĻāĻ¨āĻĢāĻžāĻ°ā§āĻ¨ā§āĻ¸ā§ āĻāĻ˛ā§āĻāĻ¨āĻžāĻ° āĻ
āĻā§āĻāĻ˛ āĻĨāĻžāĻāĻŦā§, āĻ¯ā§āĻāĻžāĻ¨ā§ āĻāĻāĻāĻŋ āĻ¸āĻžāĻ§āĻžāĻ°āĻŖ āĻāĻā§āĻ¯āĻŽāĻ¤ āĻ¨āĻž āĻĒā§āĻāĻāĻžāĻ¨ā§ āĻĒāĻ°ā§āĻ¯āĻ¨ā§āĻ¤ āĻāĻĒāĻ¨āĻžāĻā§ āĻāĻ āĻŦāĻž āĻāĻāĻžāĻ§āĻŋāĻ āĻ¸ā§āĻā§āĻ°ā§āĻŽā§ āĻĒā§āĻ°āĻļā§āĻ¨ āĻ¸āĻš āĻ¸ā§āĻĒāĻŋāĻāĻžāĻ°āĻĻā§āĻ° āĻĒāĻ°ā§āĻā§āĻˇāĻž āĻāĻ°āĻ¤ā§ āĻšāĻŦā§āĨ¤
āĻāĻŦāĻ āĻ¯āĻĻāĻŋ āĻāĻĒāĻ¨āĻŋ āĻāĻžāĻā§āĻ¯āĻŦāĻžāĻ¨ āĻšāĻ¨, āĻŽāĻžāĻ°ā§āĻāĻŋāĻ¨ āĻā§āĻ˛ā§āĻĒāĻŽā§āĻ¯āĻžāĻ¨ āĻāĻĒāĻ¨āĻžāĻ° āĻāĻ¨ā§āĻ¯ āĻāĻāĻāĻŋ āĻŦāĻāĻ¤ā§ āĻ¸ā§āĻŦāĻžāĻā§āĻˇāĻ° āĻāĻ°āĻŦā§āĻ¨āĨ¤
āĻšā§āĻ¯āĻžāĻ, āĻšāĻžāĻāĻĄā§āĻ°āĻž 2020 āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§āĻ° āĻāĻā§, āĻ¯āĻĨāĻž 6-9 āĻā§āĻ˛āĻžāĻ, SPTDC 2020 â āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻāĻŽā§āĻĒāĻŋāĻāĻāĻŋāĻāĻ¯āĻŧā§āĻ° āĻ¤āĻ¤ā§āĻ¤ā§āĻŦ āĻāĻŦāĻ āĻ
āĻ¨ā§āĻļā§āĻ˛āĻ¨ā§āĻ° āĻ¤ā§āĻ¤ā§āĻ¯āĻŧ āĻā§āĻ°ā§āĻˇā§āĻŽāĻāĻžāĻ˛ā§āĻ¨ āĻ¸ā§āĻā§āĻ˛āĨ¤ āĻ¸ā§āĻāĻžāĻ¨ā§ āĻāĻĒāĻ¨āĻŋ āĻ¸āĻāĻŦā§āĻĻāĻ¨āĻā§āĻ˛āĻŋ āĻĒāĻžāĻŦā§āĻ¨ āĻ¯āĻž āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§ āĻĒāĻžāĻāĻ¯āĻŧāĻž āĻāĻ āĻŋāĻ¨, āĻ¤āĻžāĻ āĻāĻŽāĻ°āĻž āĻāĻāĻāĻŋ āĻĒā§āĻĨāĻ āĻĒā§āĻ¸ā§āĻā§ āĻ¸ā§āĻā§āĻ˛ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ āĻāĻĨāĻž āĻŦāĻ˛āĻŦāĨ¤
āĻāĻāĻ¨ āĻāĻŋ? āĻĒā§āĻ°āĻĨāĻŽā§, āĻšā§āĻ¯āĻžāĻŦā§āĻ°ā§ āĻāĻŦāĻ āĻ¸āĻžāĻŽāĻžāĻāĻŋāĻ āĻ¨ā§āĻāĻāĻ¯āĻŧāĻžāĻ°ā§āĻāĻā§āĻ˛āĻŋāĻ¤ā§ āĻāĻŦāĻ°āĻā§āĻ˛āĻŋ āĻ
āĻ¨ā§āĻ¸āĻ°āĻŖ āĻāĻ°ā§āĻ¨ (āĻĢā§āĻ¸āĻŦā§āĻ, ĐĐēĐžĐŊŅĐ°ĐēŅĐĩ, Twitter).
āĻĻā§āĻŦāĻŋāĻ¤ā§āĻ¯āĻŧāĻ¤, āĻāĻĒāĻ¨āĻŋ āĻ¯āĻĻāĻŋ āĻāĻ¤āĻŋāĻŽāĻ§ā§āĻ¯ā§ āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§ āĻ¯ā§āĻāĻĻāĻžāĻ¨ā§āĻ° āĻ
āĻĒā§āĻ°āĻ¤āĻŋāĻ°ā§āĻ§ā§āĻ¯ āĻāĻā§āĻāĻž āĻ
āĻ¨ā§āĻāĻŦ āĻāĻ°ā§āĻ¨, āĻ¸āĻžāĻāĻāĻāĻŋ āĻ
āĻ§ā§āĻ¯āĻ¯āĻŧāĻ¨ āĻāĻ°ā§āĻ¨, āĻ¸ā§āĻāĻžāĻ¨ā§ āĻāĻĒāĻ¨āĻŋ āĻāĻ¤āĻŋāĻŽāĻ§ā§āĻ¯ā§āĻ āĻāĻŋāĻāĻŋāĻ āĻā§āĻ¨āĻž.
āĻ¤ā§āĻ¤ā§āĻ¯āĻŧāĻ¤, āĻŽāĻ¨ā§āĻ¤āĻŦā§āĻ¯ā§ āĻšāĻžāĻāĻĄā§āĻ°āĻž 2020 āĻāĻ¨āĻĢāĻžāĻ°ā§āĻ¨ā§āĻ¸ āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽ āĻāĻŽāĻŋāĻāĻŋāĻ° āĻ¸āĻžāĻĨā§ āĻā§āĻ¯āĻžāĻ āĻāĻ°āĻžāĻ° āĻ¸ā§āĻ¯ā§āĻāĻāĻŋ āĻŽāĻŋāĻ¸ āĻāĻ°āĻŦā§āĻ¨ āĻ¨āĻžāĨ¤ āĻĒāĻŋāĻ¸āĻŋāĻ° āĻ¸āĻĻāĻ¸ā§āĻ¯āĻ°āĻž āĻāĻ¸āĻ¨ā§āĻ¨ āĻ¸āĻŽā§āĻŽā§āĻ˛āĻ¨ā§āĻ° āĻŦāĻŋāĻˇāĻ¯āĻŧāĻā§āĻ˛āĻŋ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻā§ āĻāĻĒāĻ¨āĻžāĻ° āĻ¸āĻžāĻĨā§ āĻāĻĨāĻž āĻŦāĻ˛āĻ¤ā§ āĻĒā§āĻ°ā§ āĻā§āĻļāĻŋ āĻšāĻŦā§āĻ¨āĨ¤
āĻšāĻžāĻāĻĄā§āĻ°āĻžāĻ¯āĻŧ āĻĻā§āĻāĻž āĻšāĻŦā§!
āĻāĻ¤ā§āĻ¸: www.habr.com