เบœเบนเป‰เบเปเปˆเบ•เบฑเป‰เบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบเบขเบนเปˆเปƒเบ™เปเบ‚เบ™เบ‚เบญเบ‡ hydra เป„เบ”เป‰

เบœเบนเป‰เบเปเปˆเบ•เบฑเป‰เบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบเบขเบนเปˆเปƒเบ™เปเบ‚เบ™เบ‚เบญเบ‡ hydra เป„เบ”เป‰เบ™เบตเป‰ Leslie Lamport เป€เบ›เบฑเบ™เบœเบนเป‰เบ‚เบฝเบ™เบ‚เบญเบ‡เบงเบฝเบเบ‡เบฒเบ™ seminal เปƒเบ™เบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เปเบˆเบเบขเบฒเบ, เปเบฅเบฐเบ—เปˆเบฒเบ™เบญเบฒเบ”เบˆเบฐเบฎเบนเป‰เบˆเบฑเบเบฅเบฒเบงเบ”เป‰เบงเบเบ•เบปเบงเบญเบฑเบเบชเบญเบ™ La เปƒเบ™เบ„เปเบฒเบชเบฑเบš LaTeX - "Lamport TeX". เบกเบฑเบ™เปเบกเปˆเบ™เบœเบนเป‰เบ—เบตเปˆเบ—เปเบฒเบญเบดเบ”, เบเบฑเบšเบ„เบทเบ™เป„เบ›เบšเปˆเบญเบ™เปƒเบ™เบ›เบต 1979, เบ™เปเบฒเบชเบฐเป€เบซเบ™เบตเปเบ™เบงเบ„เบงเบฒเบกเบ„เบดเบ” เบ„เบงเบฒเบกเบชเบญเบ”เบ„เปˆเบญเบ‡เบ•เบฒเบกเบฅเปเบฒเบ”เบฑเบš, เปเบฅเบฐเบšเบปเบ”เบ„เบงเบฒเบกเบ‚เบญเบ‡เบฅเบฒเบง "เบงเบดเบ—เบตเบเบฒเบ™เบชเป‰เบฒเบ‡เบ„เบญเบกเบžเบดเบงเป€เบ•เบต Multiprocessor เบ—เบตเปˆเบ›เบฐเบ•เบดเบšเบฑเบ”เป‚เบ„เบ‡เบเบฒเบ™ Multiprocess เป„เบ”เป‰เบขเปˆเบฒเบ‡เบ–เบทเบเบ•เป‰เบญเบ‡" เป„เบ”เป‰เบฎเบฑเบšเบฅเบฒเบ‡เบงเบฑเบ™ Dijkstra (เบ—เบตเปˆเบŠเบฑเบ”เป€เบˆเบ™เบเบงเปˆเบฒเบ™เบฑเป‰เบ™, เปƒเบ™เบ›เบต 2000 เบฅเบฒเบ‡เบงเบฑเบ™เป„เบ”เป‰เบ–เบทเบเป€เบญเบตเป‰เบ™เปƒเบ™เบ—เบฒเบ‡เป€เบเบปเปˆเบฒ: "เบฅเบฒเบ‡เบงเบฑเบ™ PODC Influential Paper Award"). เบกเบตเบเปˆเบฝเบงเบเบฑเบšเบฅเบฒเบง เบšเบปเบ”เบ„เบงเบฒเบกเบงเบดเบเบดเบžเบตเป€เบ”เบ, เบšเปˆเบญเบ™เบ—เบตเปˆเบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เป„เบ”เป‰เบฎเบฑเบšเบเบฒเบ™เป€เบŠเบทเปˆเบญเบกเบ•เปเปˆเบ—เบตเปˆเบซเบ™เป‰เบฒเบชเบปเบ™เปƒเบˆเบซเบผเบฒเบ. เบ–เป‰เบฒโ€‹เบซเบฒเบโ€‹เบงเปˆเบฒโ€‹เบ—เปˆเบฒเบ™โ€‹เบกเบตโ€‹เบ„เบงเบฒเบกโ€‹เบ•เบทเปˆเบ™โ€‹เป€เบ•เบฑเป‰เบ™โ€‹เบเปˆเบฝเบงโ€‹เบเบฑเบšโ€‹เบเบฒเบ™โ€‹เปเบเป‰โ€‹เป„เบ‚โ€‹เบšเบฑเบ™โ€‹เบซเบฒโ€‹เบเปˆเบฝเบงโ€‹เบเบฑเบšโ€‹เบเบฒเบ™โ€‹เป€เบเบตเบ”โ€‹เบ‚เบถเป‰เบ™โ€‹เบเปˆเบญเบ™โ€‹เบซเบผเบท เบšเบฑเบ™เบซเบฒเบ‚เบญเบ‡เบ™เบฒเบเบžเบปเบ™ Byzantine (BFT), เบซเบผเบฑเบ‡เบˆเบฒเบเบ™เบฑเป‰เบ™เบ—เปˆเบฒเบ™เบ•เป‰เบญเบ‡เป€เบ‚เบปเป‰เบฒเปƒเบˆเบงเปˆเบฒ Lamport เปเบกเปˆเบ™เบขเบนเปˆเป€เบšเบทเป‰เบญเบ‡เบซเบผเบฑเบ‡เบ—เบฑเบ‡เบซเบกเบปเบ”เบ™เบตเป‰.

เบฅเบฒเบงเบเบฑเบ‡เบˆเบฐเบกเบฒเปƒเบ™เบเบญเบ‡เบ›เบฐเบŠเบธเบกเปƒเบซเบกเปˆเบ‚เบญเบ‡เบžเบงเบเป€เบฎเบปเบฒเปƒเบ™เป„เบงเป†เบ™เบตเป‰เบเปˆเบฝเบงเบเบฑเบšเบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เปเบˆเบเบขเบฒเบ - Hydra, เป€เบŠเบดเปˆเบ‡เบˆเบฐเบˆเบฑเบ”เบ‚เบถเป‰เบ™เปƒเบ™เบงเบฑเบ™เบ—เบต 11-12 เบเปเบฅเบฐเบเบปเบ”เปƒเบ™ St. เบกเบฒเป€เบšเบดเปˆเบ‡เบเบฑเบ™เป€เบฅเบตเบเบงเปˆเบฒเบ™เบตเป‰เปเบกเปˆเบ™เบชเบฑเบ”เบ›เบฐเป€เบžเบ”เปƒเบ”.

เป„เบฎเป‚เบ”เบฅเบฒ 2019

เบซเบปเบงเบ‚เปเป‰เบ„เป‰เบฒเบเบ„เบท multithreading เปเบกเปˆเบ™เป€เบ›เบฑเบ™เบ—เบตเปˆเบ™เบดเบเบปเบกเบ—เบตเปˆเบชเบธเบ”เปƒเบ™เบเบญเบ‡เบ›เบฐเบŠเบธเบกเบ‚เบญเบ‡เบžเบงเบเป€เบฎเบปเบฒ, เบชเบฐเป€เบซเบกเบต. เบžเบฝเบ‡เปเบ•เปˆเปƒเบ™เบ›เบฑเบ”เบˆเบธเบšเบฑเบ™เบซเป‰เบญเบ‡เบ™เบตเป‰เป„เบ”เป‰เบ–เบทเบเบ›เบฐเบ–เบดเป‰เบกเป„เบงเป‰, เปเบ•เปˆเบซเบผเบฑเบ‡เบˆเบฒเบเบ™เบฑเป‰เบ™เบšเบธเบเบ„เบปเบ™เปƒเบ”เบซเบ™เบถเปˆเบ‡เบ›เบฒเบเบปเบ”เบขเบนเปˆเปƒเบ™เป€เบงเบ—เบตเป€เบงเบปเป‰เบฒเบเปˆเบฝเบงเบเบฑเบšเบฎเบนเบšเปเบšเบšเบ„เบงเบฒเบกเบŠเบปเบ‡เบˆเปเบฒ, เป€เบเบตเบ”เบ‚เบถเป‰เบ™เบเปˆเบญเบ™เบซเบผเบทเบเบฒเบ™เป€เบเบฑเบšเบ‚เบตเป‰เป€เบซเบเบทเป‰เบญเบซเบผเบฒเบเบเบฐเบ—เบนเป‰เปเบฅเบฐ - boom! โ€” เปเบฅเป‰เบงเบ›เบฐเบกเบฒเบ™เบ™เบถเปˆเบ‡เบžเบฑเบ™เบ„เบปเบ™เป„เบ”เป‰เบ„เบญเบšเบ„เบญเบ‡เบžเบทเป‰เบ™เบ—เบตเปˆเบ—เบฑเบ‡เปเบปเบ”เบ—เบตเปˆเบกเบตเปƒเบซเป‰เบ™เบฑเปˆเบ‡เบฅเบปเบ‡ เปเบฅเบฐเบŸเบฑเบ‡เบขเปˆเบฒเบ‡เบฅเบฐเบกเบฑเบ”เบฅเบฐเบงเบฑเบ‡. เบ„เบงเบฒเบกเบชเปเบฒเบ„เบฑเบ™เบ‚เบญเบ‡เบ„เบงเบฒเบกเบชเปเบฒเป€เบฅเบฑเบ”เบ™เบตเป‰เปเบกเปˆเบ™เบซเบเบฑเบ‡? เบšเบฒเบ‡เบ—เบตเบกเบฑเบ™เบญเบฒเบ”เบˆเบฐเป€เบ›เบฑเบ™เบเป‰เบญเบ™เบงเปˆเบฒเบžเบงเบเป€เบฎเบปเบฒเบ—เบธเบเบ„เบปเบ™เบกเบตเบฎเบฒเบ”เปเบงเบšเบฒเบ‡เบŠเบฐเบ™เบดเบ”เบขเบนเปˆเปƒเบ™เบกเบทเบ—เบตเปˆเบชเบฒเบกเบฒเบ”เบˆเบฑเบ”เบเบฒเบ™เบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เปเบˆเบเบขเบฒเบเป„เบ”เป‰เบšเป? เบซเบผเบทเบงเปˆเบฒเบžเบงเบเป€เบฎเบปเบฒเป€เบ‚เบปเป‰เบฒเปƒเบˆเบ„เบงเบฒเบกเบšเปเปˆเบชเบฒเบกเบฒเบ”เบ—เบตเปˆเบˆเบฐเป‚เบซเบฅเบ”เป„เบ”เป‰เบ•เบฒเบกเบ—เบตเปˆเบกเบฑเบ™เบชเบปเบกเบ„เบงเบ™? เบกเบตเป€เบฅเบทเปˆเบญเบ‡เบ—เบตเปˆเปเบ—เป‰เบˆเบดเบ‡เบ‚เบญเบ‡เบ›เบฐเบฅเบดเบกเบฒเบ™เบ—เบตเปˆ St. Petersburg (เบ™เบฑเป‰เบ™เบ„เบท, เบ™เบฑเบเบงเบดเป€เบ„เบฒเบฐเบ”เป‰เบฒเบ™เบ›เบฐเบฅเบดเบกเบฒเบ™เบ—เบฒเบ‡เบ”เป‰เบฒเบ™เบเบฒเบ™เป€เบ‡เบดเบ™เปเบฅเบฐเบœเบนเป‰เบžเบฑเบ”เบ—เบฐเบ™เบฒ), เบœเบนเป‰เบ—เบตเปˆเบžเบปเบšเป€เบซเบฑเบ™เบ•เบปเบ™เป€เบญเบ‡เบขเบนเปˆเปƒเบ™เบ„เบญเบšเบ„เบญเบ‡เบ‚เบญเบ‡เบเบธเปˆเบกเบ„เบญเบกเบžเบดเบงเป€เบ•เบต, เบžเบฐเบฅเบฑเบ‡เบ‡เบฒเบ™เบญเบฑเบ™เป€เบ•เบฑเบกเบ—เบตเปˆเบ‚เบญเบ‡เบžเบฝเบ‡เปเบ•เปˆเป€เบ‚เบปเบฒเบœเบนเป‰เบ”เบฝเบงเบชเบฒเบกเบฒเบ”เปƒเบŠเป‰เป„เบ”เป‰. เป€เบˆเบปเป‰เบฒเบˆเบฐเป€เบฎเบฑเบ”เปเบ™เบงเปƒเบ”เบ–เป‰เบฒเป€เบˆเบปเป‰เบฒเบกเบตเบ„เบงเบฒเบกเบชเบฒเบกเบฒเบ”เบ›เบฐเบ•เบดเบšเบฑเบ”เบงเบฝเบเบ‡เบฒเบ™เบ‚เบญเบ‡เป€เบˆเบปเป‰เบฒเบ—เบตเปˆเปƒเบซเบเปˆเบเบงเปˆเบฒเบ•เบญเบ™เบ™เบตเป‰เบซเบผเบฒเบเป€เบ—เบปเปˆเบฒ?

เป€เบ™เบทเปˆเบญเบ‡เบˆเบฒเบเบ„เบงเบฒเบกเบ™เบดเบเบปเบกเบ”เบฑเปˆเบ‡เบเปˆเบฒเบง, เบซเบปเบงเบ‚เปเป‰เบเบฒเบ™เบœเบฐเบฅเบดเบ”เปเบฅเบฐเบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เบ—เบตเปˆเบกเบตเบ›เบฐเบชเบดเบ”เบ—เบดเบžเบฒเบšเบกเบฑเบเบˆเบฐเปเบœเปˆเบ‚เบฐเบซเบเบฒเบเป„เบ›เบ—เบปเปˆเบงเบเบญเบ‡เบ›เบฐเบŠเบธเบก. เบงเบดเบ—เบตเบเบฒเบ™เบˆเปเบฒเบ™เบงเบ™เบซเบผเบฒเบเบ‚เบญเบ‡เบชเบญเบ‡เบกเบทเป‰เบ‚เบญเบ‡เบšเบปเบ”เบฅเบฒเบเบ‡เบฒเบ™เบชเบฒเบกเบฒเบ”เป€เบฎเบฑเบ”เป„เบ”เป‰เบเปˆเบฝเบงเบเบฑเบšเบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ” - เบชเบฒเบก, เบชเบญเบ‡เบชเปˆเบงเบ™เบชเบฒเบก? เปƒเบ™เบšเบฒเบ‡เบšเปˆเบญเบ™เบกเบตเบ‚เปเป‰เบˆเปเบฒเบเบฑเบ”เบ›เบญเบกเบ—เบตเปˆเบˆเปเบฒเบเบฑเบ”เบเบฒเบ™เบ‚เบฐเบซเบเบฒเบเบ•เบปเบงเบ™เบตเป‰: เบ™เบญเบเป€เบซเบ™เบทเบญเบˆเบฒเบเบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”, เบเบฑเบ‡เบกเบตเบžเบทเป‰เบ™เบ—เบตเปˆเบชเปเบฒเบฅเบฑเบšเบเบญเบšเป€เบงเบฑเบšเปƒเบซเบกเปˆ, เบชเปเบฒเบฅเบฑเบšเบšเบฒเบ‡เบ›เบฐเป€เบžเบ”เบ‚เบญเบ‡ devops เบซเบผเบทเบ™เบฑเบเบญเบฒเบงเบฐเบเบฒเบ”เบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเปเบฒ. เบšเปเปˆ, เบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”, เป€เบˆเบปเป‰เบฒเบˆเบฐเบšเปเปˆเบเบดเบ™เบžเบงเบเป€เบฎเบปเบฒเบ—เบฑเบ‡เบซเบกเบปเบ”!

เบซเบผเบทเบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เป„เบ›เปƒเบ™เบ—เบฒเบ‡เบเบปเบ‡เบเบฑเบ™เบ‚เป‰เบฒเบก, เบเบญเบกเปเบžเป‰เปเบฅเบฐเบ”เป‰เบงเบเบ„เบงเบฒเบกเบŠเบทเปˆเบชเบฑเบ”เป€เบฎเบฑเบ”เปƒเบซเป‰เบเบญเบ‡เบ›เบฐเบŠเบธเบกเบ—เบตเปˆเบˆเบฐเป€เบ›เบฑเบ™เบ—เบฑเบ‡เบซเบกเบปเบ”เบเปˆเบฝเบงเบเบฑเบšเบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เปเบˆเบเบขเบฒเบเปเบฅเบฐเบžเบฝเบ‡เปเบ•เปˆเบเปˆเบฝเบงเบเบฑเบšเบžเบงเบเบกเบฑเบ™. เปเบฅเบฐเบ™เบตเป‰เปเบกเปˆเบ™, Hydra.

เปƒเบซเป‰เบเบญเบกเบฎเบฑเบšเบขเปˆเบฒเบ‡เบˆเบดเบ‡เปƒเบˆเบงเปˆเบฒเปƒเบ™เบกเบทเป‰เบ™เบตเป‰เบเบฒเบ™เบ„เบดเบ”เป„เบฅเปˆเบ—เบฑเบ‡เบซเบกเบปเบ”เป„เบ”เป‰เบ–เบทเบเปเบˆเบเบขเบฒเบเปƒเบ™เบ—เบฒเบ‡เบซเบ™เบถเปˆเบ‡เบซเบผเบทเบญเบทเปˆเบ™. เบšเปเปˆโ€‹เบงเปˆเบฒโ€‹เบˆเบฐโ€‹เป€เบ›เบฑเบ™โ€‹เป€เบ„เบทเปˆเบญเบ‡โ€‹เบˆเบฑเบโ€‹เบซเบผเบฒเบโ€‹เบซเบผเบฑเบโ€‹, เบเบธเปˆเบกโ€‹เบ„เบญเบกโ€‹เบžเบดเบงโ€‹เป€เบ•เบตโ€‹, เบซเบผเบทโ€‹เบเบฒเบ™โ€‹เบšเปโ€‹เบฅเบดโ€‹เบเบฒเบ™โ€‹เปเบˆเบโ€‹เบขเบฒเบโ€‹เบ‚เบฐโ€‹เบซเบ™เบฒเบ”โ€‹เปƒเบซเบเปˆโ€‹, เบกเบตโ€‹เบ‚เบฐโ€‹เบšเบงเบ™โ€‹เบเบฒเบ™โ€‹เบซเบผเบฒเบโ€‹เบขเบนเปˆโ€‹เบ—เบปเปˆเบงโ€‹เบ—เบธเบโ€‹เปเบซเปˆเบ‡โ€‹เบ—เบตเปˆโ€‹เบ”เปเบฒโ€‹เป€เบ™เบตเบ™โ€‹เบเบฒเบ™โ€‹เบ„เบดเบ”โ€‹เป„เบฅเปˆโ€‹เป€เบญโ€‹เบเบฐโ€‹เบฅเบฒเบ”โ€‹เปƒเบ™โ€‹เบ‚เบฐโ€‹เบซเบ™เบฒเบ™โ€‹, synchronizingโ€‹. Hydra เบˆเบฐเบ–เบทเบเบญเบธเบ—เบดเบ”เปƒเบซเป‰เบงเบดเบ—เบตเบเบฒเบ™เบ™เบตเป‰เป€เบฎเบฑเบ”เบงเบฝเบเปƒเบ™เบ—เบฒเบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเปเบฅเบฐเบงเบดเบ—เบตเบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”เปƒเบ™เบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”.

เป‚เบ„เบ‡เบเบฒเบ™เบเบญเบ‡เบ›เบฐเบŠเบธเบก

เบ›เบฐเบˆเบธเบšเบฑเบ™เป‚เบ„เบ‡เบเบฒเบ™เปเบกเปˆเบ™เบขเบนเปˆเปƒเบ™เบ‚เบฑเป‰เบ™เบ•เบญเบ™เบเบฒเบ™เบชเป‰เบฒเบ‡เบ•เบฑเป‰เบ‡เบ‚เบญเบ‡เบ•เบปเบ™. เบกเบฑเบ™เบ„เบงเบ™เบˆเบฐเบ›เบฐเบเบญเบšเบกเบตเบšเบปเบ”เบฅเบฒเบเบ‡เบฒเบ™เบˆเบฒเบเบœเบนเป‰เบเปเปˆเบ•เบฑเป‰เบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบเปเบฅเบฐเบงเบดเบชเบฐเบงเบฐเบเบญเบ™เบ—เบตเปˆเป€เบฎเบฑเบ”เบงเบฝเบเบเบฑเบšเบžเบงเบเป€เบ‚เบปเบฒเปƒเบ™เบเบฒเบ™เบœเบฐเบฅเบดเบ”.

เบ•เบปเบงเบขเปˆเบฒเบ‡, เบเบฒเบ™เป€เบ‚เบปเป‰เบฒเบฎเปˆเบงเบกเบ‚เบญเบ‡ Leslie Lamport เบˆเบฒเบ Microsoft Research เปเบฅเบฐ Maurice Herlihy เบˆเบฒเบเบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Brown เปเบกเปˆเบ™เป€เบ›เบฑเบ™เบ—เบตเปˆเบฎเบนเป‰เบˆเบฑเบเปเบฅเป‰เบง.

เบœเบนเป‰เบเปเปˆเบ•เบฑเป‰เบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบเบขเบนเปˆเปƒเบ™เปเบ‚เบ™เบ‚เบญเบ‡ hydra เป„เบ”เป‰ Maurice Herlihy - เป€เบ›เบฑเบ™เบญเบฒเบˆเบฒเบ™เบ—เบตเปˆเบกเบตเบŠเบทเปˆเบชเบฝเบ‡ เปเบฅเบฐเป€เบ›เบฑเบ™เบเบฝเบ”เบซเบผเบฒเบเบ‚เบญเบ‡เบงเบดเบ—เบฐเบเบฒเบชเบฒเบ”เบ„เบญเบกเบžเบดเบงเป€เบ•เบต, เบเบฑเบ‡เบกเบตเบ‚เปเป‰เบกเบนเบ™เบเปˆเบฝเบงเบเบฑเบšเบฅเบฒเบง เปœเป‰เบฒเบงเบดเบเบดเบžเบตเป€เบ”เบ, เบšเปˆเบญเบ™เบ—เบตเปˆเบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เบ—เปˆเบญเบ‡เบœเปˆเบฒเบ™เบเบฒเบ™เป€เบŠเบทเปˆเบญเบกเบ•เปเปˆเปเบฅเบฐเป€เบฎเบฑเบ”เบงเบฝเบ. เบขเบนเปˆเบ—เบตเปˆเบ™เบฑเป‰เบ™เบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เบชเบฑเบ‡เป€เบเบ”เป€เบซเบฑเบ™เบชเบญเบ‡เบฅเบฒเบ‡เบงเบฑเบ™ Dijkstra, เบฅเบฒเบ‡เบงเบฑเบ™เบ—เปเบฒเบญเบดเบ”เบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เป€เบฎเบฑเบ”เบงเบฝเบ "เบเบฒเบ™เบŠเบดเป‰เบ‡เบ‚เปเป‰เบกเบนเบ™เบฅเปเบ–เป‰เบฒเบŸเบฃเบต", เปเบฅเบฐเบญเบฑเบ™เบ—เบตเบชเบญเบ‡, เบšเปเปˆเบ”เบปเบ™เบกเบฒเบ™เบตเป‰ - "เบซเบ™เปˆเบงเบเบ„เบงเบฒเบกเบˆเปเบฒเบเบฒเบ™เป€เบฎเบฑเบ”เบ—เบธเบฅเบฐเบเปเบฒ: เบเบฒเบ™เบชเบฐเบซเบ™เบฑเบšเบชเบฐเบซเบ™เบนเบ™เบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเปเบฒเบชเปเบฒเบฅเบฑเบšเป‚เบ„เบ‡เบชเป‰เบฒเบ‡เบ‚เปเป‰เบกเบนเบ™เบ—เบตเปˆเบšเปเปˆเบกเบตเบเบฒเบ™เบฅเบฑเบญเบ". เป‚เบ”เบเบงเบดเบ—เบตเบ—เบฒเบ‡เบเบฒเบ™, เบเบฒเบ™เป€เบŠเบทเปˆเบญเบกเบ•เปเปˆเบšเปเปˆเป„เบ”เป‰เบ™เปเบฒเป„เบ›เบชเบนเปˆ SciHub, เปเบ•เปˆเบเบฑเบšเบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Brown เปเบฅเบฐเบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Virginia Tech, เบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เป€เบ›เบตเบ”เปเบฅเบฐเบญเปˆเบฒเบ™เป„เบ”เป‰.

Maurice เบˆเบฐเบ–เบทเบšเบปเบ”เบšเบฑเบ™เบ—เบถเบเบชเปเบฒเบ„เบฑเบ™เบ—เบตเปˆเป€เบญเบตเป‰เบ™เบงเปˆเบฒ "Blockchains เบˆเบฒเบเบ—เบฑเบ”เบชเบฐเบ™เบฐเบ‚เบญเบ‡เบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เบ—เบตเปˆเปเบˆเบเบขเบฒเบ." เบ–เป‰เบฒโ€‹เบซเบฒเบโ€‹เบงเปˆเบฒโ€‹เบ—เปˆเบฒเบ™โ€‹เบกเบตโ€‹เบ„เบงเบฒเบกโ€‹เบชเบปเบ™โ€‹เปƒเบˆโ€‹, เบ—เปˆเบฒเบ™โ€‹เบชเบฒโ€‹เบกเบฒเบ”โ€‹เป€เบšเบดเปˆเบ‡โ€‹เบเบฒเบ™โ€‹เบšเบฑเบ™โ€‹เบ—เบถเบโ€‹เบเบฒเบ™โ€‹เบฅเบฒเบโ€‹เบ‡เบฒเบ™โ€‹เบ‚เบญเบ‡ Maurice เบˆเบฒเบ St. Petersburg JUG เป„เบ”เป‰โ€‹. เบ›เบฐเป€เบกเบตเบ™เบงเปˆเบฒเบฅเบฒเบงเบ–เปˆเบฒเบเบ—เบญเบ”เบซเบปเบงเบ‚เปเป‰เบขเปˆเบฒเบ‡เบˆเบฐเปเบˆเป‰เบ‡ เปเบฅเบฐเป€เบ‚เบปเป‰เบฒเปƒเบˆเป„เบ”เป‰เบซเบผเบฒเบเบ›เบฒเบ™เปƒเบ”.

เบœเบนเป‰เบเปเปˆเบ•เบฑเป‰เบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบเบขเบนเปˆเปƒเบ™เปเบ‚เบ™เบ‚เบญเบ‡ hydra เป„เบ”เป‰เบซเบปเบงเบ‚เปเป‰เบชเปเบฒเบ„เบฑเบ™เบ—เบตเบชเบญเบ‡เป€เบญเบตเป‰เบ™เบงเปˆเบฒ "เป‚เบ„เบ‡เบชเป‰เบฒเบ‡เบ‚เปเป‰เบกเบนเบ™เบ„เบนเปˆ" เบˆเบฐเบญเปˆเบฒเบ™ Michael Scott เบˆเบฒเบเบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Rochester. เปเบฅเบฐเป€เบ”เบปเบฒเบชเบดเปˆเบ‡เบ—เบตเปˆ - เบฅเบฒเบงเบเบฑเบ‡เบกเบตเบ‚เบญเบ‡เบ•เบปเบ™เป€เบญเบ‡ เปœเป‰เบฒเบงเบดเบเบดเบžเบตเป€เบ”เบ. เบขเบนเปˆเป€เบฎเบทเบญเบ™เปƒเบ™ Wisconsin, เบฅเบฒเบงเป€เบ›เบฑเบ™เบ—เบตเปˆเบฎเบนเป‰เบˆเบฑเบเบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เป€เบฎเบฑเบ”เบงเบฝเบเบ‚เบญเบ‡เบฅเบฒเบงเป€เบ›เบฑเบ™เบ„เบฐเบ™เบฐเบšเปเบ”เบตเบขเบนเปˆเบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Wisconsin-Madison, เปเบฅเบฐเปƒเบ™เป‚เบฅเบเบฅเบฒเบงเปเบกเปˆเบ™เบœเบนเป‰เบŠเบฒเบเบ—เบตเปˆ, เบฎเปˆเบงเบกเบเบฑเบš Doug Lea, เบžเบฑเบ”เบ—เบฐเบ™เบฒเบชเบนเบ”เบเบฒเบ™เบ„เบดเบ”เป„เบฅเปˆเบ—เบตเปˆเบšเปเปˆเบชเบฐเบเบฑเบ”เบเบฑเป‰เบ™เปเบฅเบฐเปเบ–เบง synchronous เบ—เบตเปˆเบซเป‰เบญเบ‡เบชเบฐเบซเบกเบธเบ” Java. เป€เบฎเบฑเบ”เบงเบฝเบ. เบฅเบฒเบงเป„เบ”เป‰เบฎเบฑเบšเบฅเบฒเบ‡เบงเบฑเบ™ Dijkstra เบ‚เบญเบ‡เบฅเบฒเบงเบชเบฒเบกเบ›เบตเบซเบผเบฑเบ‡เบˆเบฒเบ Herlihy, เบชเปเบฒเบฅเบฑเบšเบงเบฝเบเบ‡เบฒเบ™เบ‚เบญเบ‡เบฅเบฒเบง "Algorithms เบชเปเบฒเบฅเบฑเบš synchronization เบ—เบตเปˆเบชเบฒเบกเบฒเบ”เบ‚เบฐเบซเบเบฒเบเป„เบ”เป‰เปƒเบ™ multiprocessors เบซเบ™เปˆเบงเบเบ„เบงเบฒเบกเบˆเปเบฒเบ—เบตเปˆเปƒเบŠเป‰เบฎเปˆเบงเบกเบเบฑเบ™" (เบ•เบฒเบกเบ—เบตเปˆเบ„เบฒเบ”เป„เบงเป‰, เบ™เบฒเบ‡เบ™เบญเบ™เบขเปˆเบฒเบ‡เป€เบ›เบตเบ”เป€เบœเบตเบ เปƒเบ™เบซเป‰เบญเบ‡เบชเบฐเบซเบกเบธเบ”เบญเบญเบ™เป„เบฅเบ™เปŒเบ‚เบญเบ‡เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Rochester).

เบเบฑเบ‡เบกเบตเป€เบงเบฅเบฒเบซเบผเบฒเบเบˆเบปเบ™เป€เบ–เบดเบ‡เบเบฒเบ‡เป€เบ”เบทเบญเบ™เบเปเบฅเบฐเบเบปเบ”. เบžเบงเบเป€เบฎเบปเบฒเบˆเบฐเบšเบญเบเบ—เปˆเบฒเบ™เบเปˆเบฝเบงเบเบฑเบšเบฅเปเบฒเป‚เบžเบ‡เบ—เบตเปˆเบเบฑเบ‡เป€เบซเบผเบทเบญเปเบฅเบฐเบซเบปเบงเบ‚เปเป‰เบ‚เบญเบ‡เบžเบงเบเป€เบ‚เบปเบฒเบเป‰เบญเบ™เบงเปˆเบฒเบžเบงเบเป€เบฎเบปเบฒเบ›เบฑเบšเบ›เบธเบ‡เป‚เบ„เบ‡เบเบฒเบ™เปเบฅเบฐเปƒเบเป‰เบŠเบดเบ”เบเบฑเบšเป€เบ”เบทเบญเบ™เบเปเบฅเบฐเบเบปเบ”.

เป‚เบ”เบเบ—เบปเปˆเบงเป„เบ›, เบ„เปเบฒเบ–เบฒเบกเบ—เบตเปˆเป€เบเบตเบ”เบ‚เบทเป‰เบ™ - เป€เบ›เบฑเบ™เบซเบเบฑเบ‡เบžเบงเบเป€เบฎเบปเบฒเป€เบฎเบฑเบ” Hydra เปƒเบ™เบฅเบฐเบ”เบนเบฎเป‰เบญเบ™? เบซเบผเบฑเบ‡เบˆเบฒเบเบ—เบตเปˆเบ—เบฑเบ‡เบซเบกเบปเบ”, เบ™เบตเป‰เปเบกเปˆเบ™เบฅเบฐเบ”เบนเบเบฒเบ™เบ•เปˆเปเบฒ, เบงเบฑเบ™เบžเบฑเบ. เบšเบฑเบ™เบซเบฒเปเบกเปˆเบ™เบงเปˆเบฒเปƒเบ™เบšเบฑเบ™เบ”เบฒเบฅเปเบฒเป‚เบžเบ‡เบกเบตเบ„เบนเบชเบญเบ™เบ‚เบญเบ‡เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ, เปเบฅเบฐเป€เบงเบฅเบฒเบญเบทเปˆเบ™เปเบกเปˆเบ™เบ—เบธเบฅเบฐเบเบดเบ”เบชเปเบฒเบฅเบฑเบšเบžเบงเบเป€เบ‚เบปเบฒ. เบžเบงเบเป€เบฎเบปเบฒเบšเปเปˆเบชเบฒเบกเบฒเบ”เป€เบฅเบทเบญเบเบงเบฑเบ™เบญเบทเปˆเบ™เป„เบ”เป‰.

เบžเบทเป‰เบ™เบ—เบตเปˆเบชเบปเบ™เบ—เบฐเบ™เบฒ

เปƒเบ™เบเบญเบ‡เบ›เบฐเบŠเบธเบกเบญเบทเปˆเบ™เป†, เบกเบฑเบ™เป€เบเบตเบ”เบ‚เบทเป‰เบ™เบงเปˆเบฒเบœเบนเป‰เป€เบงเบปเป‰เบฒเป„เบ”เป‰เบญเปˆเบฒเบ™เบชเบดเปˆเบ‡เบ—เบตเปˆเบฅเบฒเบงเบ•เป‰เบญเบ‡เบเบฒเบ™เปเบฅเบฐเบญเบญเบเบˆเบฒเบเบ—เบฑเบ™เบ—เบต. เบœเบนเป‰เป€เบ‚เบปเป‰เบฒเบฎเปˆเบงเบกเบšเปเปˆเบกเบตเป€เบงเบฅเบฒเบŠเบญเบเบซเบฒเบกเบฑเบ™ - เบซเบผเบฑเบ‡เบˆเบฒเบเบ—เบตเปˆเบ—เบฑเบ‡เบซเบกเบปเบ”, เบšเบปเบ”เบฅเบฒเบเบ‡เบฒเบ™เบ•เปเปˆเป„เบ›เป€เบฅเบตเปˆเบกเบ•เบปเป‰เบ™เป€เบเบทเบญเบšเบšเปเปˆเบกเบตเป„เบฅเบเบฐเบซเปˆเบฒเบ‡. เบ™เบตเป‰เปเบกเปˆเบ™เบ„เบงเบฒเบกเป€เบˆเบฑเบšเบ›เบงเบ”เบซเบผเบฒเบ, เป‚เบ”เบเบชเบฐเป€เบžเบฒเบฐเบ–เป‰เบฒเบ„เบปเบ™เบชเปเบฒเบ„เบฑเบ™เป€เบŠเบฑเปˆเบ™ Lamport, Herlihy เปเบฅเบฐ Scott เบขเบนเปˆ, เปเบฅเบฐเบ•เบปเบงเบˆเบดเบ‡เปเบฅเป‰เบงเป€เบˆเบปเป‰เบฒเบˆเบฐเป„เบ›เบ›เบฐเบŠเบธเบกเป€เบžเบทเปˆเบญเบ•เบญเบšเบชเบฐเบซเบ™เบญเบ‡เบžเบงเบเป€เบ‚เบปเบฒเปเบฅเบฐเบ›เบถเบเบชเบฒเบซเบฒเบฅเบทเบšเบฒเบ‡เบขเปˆเบฒเบ‡.

เบžเบงเบเป€เบฎเบปเบฒเป„เบ”เป‰เปเบเป‰เป„เบ‚เบšเบฑเบ™เบซเบฒเบ™เบตเป‰. เบ—เบฑเบ™เบ—เบตเบซเบผเบฑเบ‡เบˆเบฒเบเบเบฒเบ™เบฅเบฒเบเบ‡เบฒเบ™เบ‚เบญเบ‡เบฅเบฒเบง, เบฅเปเบฒเป‚เบžเบ‡เป„เบ›เบซเบฒเบžเบทเป‰เบ™เบ—เบตเปˆเบชเบปเบ™เบ—เบฐเบ™เบฒเบžเบดเป€เบชเบ”, เบกเบตเบขเปˆเบฒเบ‡เบซเบ™เป‰เบญเบเบเบฐเบ”เบฒเบ™เบ‚เบฒเบงเบ—เบตเปˆเบกเบตเป€เบ„เบทเปˆเบญเบ‡เบซเบกเบฒเบ, เปเบฅเบฐเบ—เปˆเบฒเบ™เบกเบตเป€เบงเบฅเบฒเบซเบผเบฒเบ. เบขเปˆเบฒเบ‡เป€เบ›เบฑเบ™เบ—เบฒเบ‡เบเบฒเบ™, เบœเบนเป‰เป€เบงเบปเป‰เบฒเบชเบฑเบ™เบเบฒเบงเปˆเบฒเบˆเบฐเบขเบนเปˆเบ—เบตเปˆเบ™เบฑเป‰เบ™เบขเปˆเบฒเบ‡เบซเบ™เป‰เบญเบเปƒเบ™เบฅเบฐเบซเบงเปˆเบฒเบ‡เบเบฒเบ™เบžเบฑเบเบœเปˆเบญเบ™เบฅเบฐเบซเบงเปˆเบฒเบ‡เบเบฒเบ™เบ™เปเบฒเบชเบฐเป€เบซเบ™เบต. เปƒเบ™เบ„เบงเบฒเบกเป€เบ›เบฑเบ™เบˆเบดเบ‡, เบžเบทเป‰เบ™เบ—เบตเปˆเบชเบปเบ™เบ—เบฐเบ™เบฒเป€เบซเบผเบปเปˆเบฒเบ™เบตเป‰ เบญเบฒเบ”เบˆเบฐ stretch เบชเปเบฒเบฅเบฑเบšเบŠเบปเปˆเบงเป‚เบกเบ‡เบชเบธเบ”เบ—เป‰เบฒเบ (เบ‚เบถเป‰เบ™เบเบฑเบšเบ„เบงเบฒเบกเบ›เบฒเบ–เบฐเบซเบ™เบฒเปเบฅเบฐเบ„เบงเบฒเบกเบญเบปเบ”เบ—เบปเบ™เบ‚เบญเบ‡เบœเบนเป‰เป€เบงเบปเป‰เบฒ).

เบชเปเบฒเบฅเบฑเบš Lamport, เบ–เป‰เบฒเบ‚เป‰เบญเบเป€เบ‚เบปเป‰เบฒเปƒเบˆเบ–เบทเบเบ•เป‰เบญเบ‡, เบฅเบฒเบงเบ•เป‰เบญเบ‡เบเบฒเบ™เบŠเบฑเบเบŠเบงเบ™เบ›เบฐเบŠเบฒเบŠเบปเบ™เปƒเบซเป‰เบซเบผเบฒเบเป€เบ—เบปเปˆเบฒเบ—เบตเปˆเป€เบ›เบฑเบ™เป„เบ›เป„เบ”เป‰ TLA+ - เบ™เบตเป‰เปเบกเปˆเบ™เบชเบดเปˆเบ‡เบ—เบตเปˆเบ”เบต. (เบšเบปเบ”เบ„เบงเบฒเบกเบเปˆเบฝเบงเบเบฑเบš TLA+ เปƒเบ™ Wikipedia). เบšเบฒเบ‡เบ—เบตเบ™เบตเป‰เบญเบฒเบ”เบˆเบฐเป€เบ›เบฑเบ™เป‚เบญเบเบฒเบ”เบ—เบตเปˆเบ”เบตเบชเปเบฒเบฅเบฑเบšเบงเบดเบชเบฐเบงเบฐเบเบญเบ™เบ—เบตเปˆเบˆเบฐเบฎเบฝเบ™เบฎเบนเป‰เบชเบดเปˆเบ‡เปƒเบซเบกเปˆเปเบฅเบฐเป€เบ›เบฑเบ™เบ›เบฐเป‚เบซเบเบ”. Leslie เบชเบฐเป€เบซเบ™เบตเบ—เบฒเบ‡เป€เบฅเบทเบญเบเบ™เบตเป‰ - เบœเบนเป‰เบ—เบตเปˆเบกเบตเบ„เบงเบฒเบกเบชเบปเบ™เปƒเบˆเบชเบฒเบกเบฒเบ”เป€เบšเบดเปˆเบ‡เบเบฒเบ™เบšเบฑเบ™เบเบฒเบเบ‚เบญเบ‡เบฅเบฒเบงเบ—เบตเปˆเบœเปˆเบฒเบ™เบกเบฒเปเบฅเบฐเบกเบฒเบžเป‰เบญเบกเบเบฑเบšเบ„เปเบฒเบ–เบฒเบก. เบ™เบฑเป‰เบ™เปเบกเปˆเบ™, เปเบ—เบ™เบ—เบตเปˆเบˆเบฐเป€เบ›เบฑเบ™เบšเบปเบ”เบชเบฐเบซเบผเบธเบš, เบญเบฒเบ”เบˆเบฐเบกเบตเบเบญเบ‡เบ›เบฐเบŠเบธเบก Q&A เบžเบดเป€เบชเบ”, เปเบฅเบฐเบซเบผเบฑเบ‡เบˆเบฒเบเบ™เบฑเป‰เบ™เบเบฑเบ‡เบกเบตเป€เบ‚เบ”เบชเบปเบ™เบ—เบฐเบ™เบฒ. เบ‚เป‰เบญเบเป„เบ”เป‰เป€เบฎเบฑเบ” Google เบšเบฒเบ‡เบขเปˆเบฒเบ‡ เปเบฅเบฐเบžเบปเบšเบญเบฑเบ™เบ”เบต. เบซเบผเบฑเบเบชเบนเบ” TLA+ (เบŠเบทเปˆโ€‹เป€เบ›เบฑเบ™โ€‹เบ—เบฒเบ‡โ€‹เบเบฒเบ™โ€‹ เบฅเบฒเบเบเบฒเบ™เบซเบผเบดเป‰เบ™เปƒเบ™ YouTube) เปเบฅเบฐโ€‹เบเบฒเบ™โ€‹เบšเบฑเบ™โ€‹เบเบฒเบโ€‹เบเบฒเบงโ€‹เบซเบ™เบถเปˆเบ‡โ€‹เบŠเบปเปˆเบงโ€‹เป‚เบกเบ‡โ€‹ "เบ„เบดเบ”เป€เปœเบทเบญเบฅเบฐเบซเบฑเบ”" เบˆเบฒเบเบเบญเบ‡เบ›เบฐเบŠเบธเบกเบชเบธเบ”เบเบญเบ”เบ„เบฐเบ™เบฐเบงเบดเบŠเบฒ Microsoft.

เบ–เป‰เบฒเป€เบˆเบปเป‰เบฒเบฎเบฑเบšเบฎเบนเป‰เบ„เบปเบ™เป€เบซเบผเบปเปˆเบฒเบ™เบตเป‰เป€เบ›เบฑเบ™เบŠเบทเปˆเบ—เบตเปˆเป‚เบเบ™เบขเบนเปˆเปƒเบ™เบซเบตเบ™เบˆเบฒเบเบงเบดเบเบดเบžเบตเป€เบ”เบ เปเบฅเบฐเปƒเบ™เปœเป‰เบฒเบ›เบปเบเบ›เบถเป‰เบก, เบกเบฑเบ™เป€เบ–เบดเบ‡เป€เบงเบฅเบฒเปเบฅเป‰เบงเบ—เบตเปˆเบˆเบฐเบžเบปเบšเป€เบ‚เบปเบฒเป€เบˆเบปเป‰เบฒเบ”เป‰เบงเบเบ•เบปเบ™เป€เบญเบ‡! เบชเบปเบ™เบ—เบฐเบ™เบฒเปเบฅเบฐเบ–เบฒเบกเบ„เปเบฒเบ–เบฒเบกเบ—เบตเปˆเบซเบ™เป‰เบฒเป€เบงเบฑเบšเบ‚เบญเบ‡เบšเบปเบ”เบ„เบงเบฒเบกเบงเบดเบ—เบฐเบเบฒเบชเบฒเบ”เบˆเบฐเบšเปเปˆเบ•เบญเบš, เปเบ•เปˆเบœเบนเป‰เบ‚เบฝเบ™เบ‚เบญเบ‡เบžเบงเบเป€เบ‚เบปเบฒเบˆเบฐเบเบดเบ™เบ”เบตเบ—เบตเปˆเบˆเบฐเบ•เบดเบ”เบ•เปเปˆ.

Call for Papers

เบกเบฑเบ™เบšเปเปˆเป€เบ›เบฑเบ™เบ„เบงเบฒเบกเบฅเบฑเบšเบ—เบตเปˆเบซเบผเบฒเบเบ„เบปเบ™เบ—เบตเปˆเบเปเบฒเบฅเบฑเบ‡เบญเปˆเบฒเบ™เบšเบปเบ”เบ„เบงเบฒเบกเปƒเบ™เบ›เบฑเบ”เบˆเบธเบšเบฑเบ™เบšเปเปˆเบฅเบฑเบ‡เบเบฝเบ”เบ—เบตเปˆเบˆเบฐเบšเบญเบเบžเบงเบเป€เบฎเบปเบฒเบšเบฒเบ‡เบชเบดเปˆเบ‡เบšเบฒเบ‡เบขเปˆเบฒเบ‡เบ—เบตเปˆเบซเบ™เป‰เบฒเบชเบปเบ™เปƒเบˆ. เบˆเบฒเบเบ—เบฑเบ”เบชเบฐเบ™เบฐเบ”เป‰เบฒเบ™เบงเบดเบชเบฐเบงเบฐเบเปเบฒ, เบˆเบฒเบเบ—เบฑเบ”เบชเบฐเบ™เบฐเบงเบดเบ—เบฐเบเบฒเบชเบฒเบ” - เบˆเบฒเบเบ—เบฑเบ”เบชเบฐเบ™เบฐเปƒเบ”เบเปเปˆเบ•เบฒเบก. เบ„เบญเบกเบžเบตเบงเป€เบ•เบตเปเบšเบšเปเบˆเบเบขเบฒเบเป€เบ›เบฑเบ™เบซเบปเบงเบ‚เปเป‰เบ—เบตเปˆเบเบงเป‰เบฒเบ‡เปเบฅเบฐเป€เบฅเบดเบเบซเบผเบฒเบเบšเปˆเบญเบ™เบ—เบตเปˆเบกเบตเบšเปˆเบญเบ™เบซเบงเปˆเบฒเบ‡เบชเปเบฒเบฅเบฑเบšเบ—เบธเบเบ„เบปเบ™.

เบ–เป‰เบฒเบ—เปˆเบฒเบ™เบ•เป‰เบญเบ‡เบเบฒเบ™เบ—เบตเปˆเบˆเบฐเปเบ‚เปˆเบ‡เบ‚เบฑเบ™เบเบฑเบš Lamport, เบกเบฑเบ™เป€เบ›เบฑเบ™เป„เบ›เป„เบ”เป‰เบ—เบฑเบ‡เบซเบกเบปเบ”. เป€เบžเบทเปˆเบญเบเบฒเบเป€เบ›เบฑเบ™เบœเบนเป‰เป€เบงเบปเป‰เบฒเบ—เบตเปˆเบ—เปˆเบฒเบ™เบ•เป‰เบญเบ‡เบเบฒเบ™ เบ›เบฐเบ•เบดเบšเบฑเบ”เบ•เบฒเบกเบเบฒเบ™เป€เบŠเบทเปˆเบญเบกเบ•เปเปˆ, เบญเปˆเบฒเบ™เบ—เบธเบเบชเบดเปˆเบ‡เบ—เบธเบเบขเปˆเบฒเบ‡เบขเบนเปˆเบ—เบตเปˆเบ™เบฑเป‰เบ™เบขเปˆเบฒเบ‡เบฅเบฐเบกเบฑเบ”เบฅเบฐเบงเบฑเบ‡เปเบฅเบฐเป€เบฎเบฑเบ”เบ•เบฒเบกเบ„เปเบฒเปเบ™เบฐเบ™เปเบฒ.

เปเบฑเป‰เบ™เปƒเบˆเป„เบ”เป‰, เบ—เบฑเบ™เบ—เบตเบ—เบตเปˆเป€เบˆเบปเป‰เบฒเป€เบ‚เบปเป‰เบฒเบฎเปˆเบงเบกเบ‚เบฐเบšเบงเบ™เบเบฒเบ™, เป€เบ‚เบปเบฒเป€เบˆเบปเป‰เบฒเบˆเบฐเบŠเปˆเบงเบเป€เบˆเบปเป‰เบฒเป„เบ”เป‰. เบ„เบฐเบ™เบฐเบเปเบฒเบกเบฐเบเบฒเบ™เป‚เบ„เบ‡เบเบฒเบ™เบกเบตเบ„เบงเบฒเบกเบชเบฒเบกเบฒเบ”เบžเบฝเบ‡เบžเปเบ—เบตเปˆเบˆเบฐเบŠเปˆเบงเบเปƒเบ™เบšเบปเบ”เบฅเบฒเบเบ‡เบฒเบ™เบ•เบปเบงเบกเบฑเบ™เป€เบญเบ‡, เป‚เบ”เบเป€เบ™เบทเป‰เบญเปเบ—เป‰เปเบฅเป‰เบงเปเบฅเบฐเบเบฒเบ™เบญเบญเบเปเบšเบš. เบœเบนเป‰เบ›เบฐเบชเบฒเบ™เบ‡เบฒเบ™เบˆเบฐเบŠเปˆเบงเบเปƒเบซเป‰เบ—เปˆเบฒเบ™เปเบเป‰เป„เบ‚เบšเบฑเบ™เบซเบฒเบญเบปเบ‡เบเบฒเบ™เบˆเบฑเบ”เบ•เบฑเป‰เบ‡เปเบฅเบฐเบญเบทเปˆเบ™เป†.

เป€เบญเบปเบฒเปƒเบˆเปƒเบชเปˆเป€เบ›เบฑเบ™เบžเบดเป€เบชเบ”เบ•เปเปˆเบฎเบนเบšเบžเบฒเบšเบ—เบตเปˆเบกเบตเบงเบฑเบ™เบ—เบต. เป€เบ”เบทเบญเบ™เบเปเบฅเบฐเบเบปเบ”เป€เบ›เบฑเบ™เบงเบฑเบ™เบ—เบตเปˆเบ‚เป‰เบญเบ™เบ‚เป‰เบฒเบ‡เบซเปˆเบฒเบ‡เป„เบเบชเปเบฒเบฅเบฑเบšเบœเบนเป‰เป€เบ‚เบปเป‰เบฒเบฎเปˆเบงเบก, เปเบ•เปˆเบœเบนเป‰เป€เบงเบปเป‰เบฒเบˆเปเบฒเป€เบ›เบฑเบ™เบ•เป‰เบญเบ‡เป„เบ”เป‰เป€เบฅเบตเปˆเบกเบชเบฐเปเบ”เบ‡เปƒเบ™เบ›เบฑเบ”เบˆเบธเบšเบฑเบ™.

เบœเบนเป‰เบเปเปˆเบ•เบฑเป‰เบ‡เบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบเบขเบนเปˆเปƒเบ™เปเบ‚เบ™เบ‚เบญเบ‡ hydra เป„เบ”เป‰

เป‚เบฎเบ‡เบฎเบฝเบ™ SPTDC

เบเบญเบ‡เบ›เบฐเบŠเบธเบกเบˆเบฐเบˆเบฑเบ”เบ‚เบถเป‰เบ™เบขเบนเปˆเบšเปˆเบญเบ™เบ”เบฝเบงเบเบฑเบ™เบเบฑเบšเป‚เบฎเบ‡เบฎเบฝเบ™ SPTDC เบ”เบฑเปˆเบ‡เบ™เบฑเป‰เบ™, เบชเปเบฒเบฅเบฑเบšเบ—เบธเบเบ„เบปเบ™เบ—เบตเปˆเบŠเบทเป‰เบ›เบตเป‰เป€เบ‚เบปเป‰เบฒเป‚เบฎเบ‡เบฎเบฝเบ™, เบ›เบตเป‰เป€เบ‚เบปเป‰เบฒเบเบญเบ‡เบ›เบฐเบŠเบธเบกเบˆเบฐเปเบกเปˆเบ™. เบ”เป‰เบงเบเบชเปˆเบงเบ™เบซเบผเบธเบ” 20%..

เป‚เบฎเบ‡เบฎเบฝเบ™เบžเบฒเบเบฎเบฝเบ™ spring เบเปˆเบฝเบงเบเบฑเบšเบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”เปเบฅเบฐเบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบ„เบญเบกเบžเบดเบงเป€เบ•เบตเป‰เปเบˆเบเบขเบฒเบ (SPTDC) เป€เบ›เบฑเบ™เป‚เบฎเบ‡เบฎเบฝเบ™เบ—เบตเปˆเบชเบฐเบซเบ™เบญเบ‡เบซเบผเบฑเบเบชเบนเบ”เบ—เบตเปˆเบเบงเป‰เบฒเบ‡เบ‚เบงเบฒเบ‡เบเปˆเบฝเบงเบเบฑเบšเบžเบฒเบเบ›เบฐเบ•เบดเบšเบฑเบ”เปเบฅเบฐเบ—เบดเบ”เบชเบฐเบ”เบตเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบˆเบเบขเบฒเบ, เบชเบญเบ™เป‚เบ”เบเบœเบนเป‰เบŠเปˆเบฝเบงเบŠเบฒเบ™เบ—เบตเปˆเป„เบ”เป‰เบฎเบฑเบšเบเบฒเบ™เบเบญเบกเบฎเบฑเบšเปƒเบ™เบชเบฒเบ‚เบฒเบ—เบตเปˆเบเปˆเบฝเบงเบ‚เป‰เบญเบ‡.

เป‚เบฎเบ‡เบฎเบฝเบ™เบˆเบฐเบˆเบฑเบ”เบ‚เบถเป‰เบ™เปƒเบ™เบžเบฒเบชเบฒเบญเบฑเบ‡เบเบดเบ”, เบ”เบฑเปˆเบ‡เบ™เบฑเป‰เบ™เบšเบฑเบ™เบŠเบตเบฅเบฒเบเบŠเบทเปˆเบ‚เบญเบ‡เบซเบปเบงเบ‚เปเป‰เบ—เบตเปˆเบเบงเบกเป€เบญเบปเบฒเป€เบšเบดเปˆเบ‡เบ„เบทเบงเปˆเบฒ:

  • เป‚เบ„เบ‡เบชเป‰เบฒเบ‡เบ‚เปเป‰เบกเบนเบ™เบžเป‰เบญเบกเป†เบเบฑเบ™: เบ„เบงเบฒเบกเบ–เบทเบเบ•เป‰เบญเบ‡เปเบฅเบฐเบ›เบฐเบชเบดเบ”เบ—เบดเบžเบฒเบš;
  • เบชเบนเบ”เบเบฒเบ™เบ„เบดเบ”เป„เบฅเปˆเบชเปเบฒเบฅเบฑเบšเบซเบ™เปˆเบงเบเบ„เบงเบฒเบกเบˆเปเบฒเบ—เบตเปˆเบšเปเปˆเบกเบตเบเบฒเบ™เบฅเบฐเป€เบซเบตเบ;
  • เบ„เบงเบฒเบกเบชเบฒเบกเบฒเบ”เปƒเบ™เบเบฒเบ™เบ„เบดเบ”เป„เบฅเปˆเบ—เบตเปˆเปเบˆเบเบขเบฒเบ;
  • เบเบฒเบ™เบฎเบฝเบ™เบฎเบนเป‰เป€เบ„เบทเปˆเบญเบ‡เบˆเบฑเบเปเบˆเบเบขเบฒเบ;
  • เบฅเบฑเบ”-เป€เบ„เบทเปˆเบญเบ‡เบˆเบฑเบ replication เปเบฅเบฐ Paxos;
  • Byzantine fault-tolerance;
  • เบžเบทเป‰เบ™เบ–เบฒเบ™เบชเบนเบ”เบเบฒเบ™เบ„เบดเบ”เป„เบฅเปˆเบ‚เบญเบ‡ blockchains.

เบฅเปเบฒเป‚เบžเบ‡เบ•เปเปˆเป„เบ›เบ™เบตเป‰เบˆเบฐเป€เบงเบปเป‰เบฒ:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Brown);
  • Michael Scott (เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Rochester);
  • Dan Alistarh (IST Austria);
  • Trevor Brown (เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Ben Gurion);
  • Achour Mostefaoui (เบกเบฐเบซเบฒเบงเบดเบ—เบฐเบเบฒเป„เบฅ Nantes).

เบฅเบฒเบเบเบฒเบ™เบซเบผเบดเป‰เบ™ เบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เป€เบšเบดเปˆเบ‡เบšเบปเบ”เบฅเบฒเบเบ‡เบฒเบ™เบ‚เบญเบ‡เป‚เบฎเบ‡เบฎเบฝเบ™เบ—เบตเปˆเบœเปˆเบฒเบ™เบกเบฒเป„เบ”เป‰เบขเปˆเบฒเบ‡เป€เบชเบฅเบตเปƒเบ™ YouTube:

เบ‚เบฑเป‰เบ™โ€‹เบ•เบญเบ™โ€‹เบ•เปเปˆโ€‹เป„เบ›

เป‚เบ„เบ‡เบเบฒเบ™เบเบญเบ‡เบ›เบฐเบŠเบธเบกเปเบกเปˆเบ™เบเบฑเบ‡เบ–เบทเบเบชเป‰เบฒเบ‡เบ•เบฑเป‰เบ‡เบ‚เบถเป‰เบ™. เบ›เบฐโ€‹เบ•เบดโ€‹เบšเบฑเบ”โ€‹เบ•เบฒเบกโ€‹เบ‚เปˆเบฒเบงโ€‹เบเปˆเบฝเบงโ€‹เบเบฑเบš Habre เบซเบผเบทโ€‹เปƒเบ™โ€‹เป€เบ„เบทเบญโ€‹เบ‚เปˆเบฒเบโ€‹เบชเบฑเบ‡โ€‹เบ„เบปเบก (fb, vk, twitter).

เบ–เป‰เบฒเบ—เปˆเบฒเบ™เป€เบŠเบทเปˆเบญเปเบ—เป‰เป†เปƒเบ™เบเบญเบ‡เบ›เบฐเบŠเบธเบก (เบซเบผเบทเบ•เป‰เบญเบ‡เบเบฒเบ™เปƒเบŠเป‰เบ›เบฐเป‚เบซเบเบ”เบˆเบฒเบเบฅเบฒเบ„เบฒเบžเบดเป€เบชเบ”, เป€เบŠเบดเปˆเบ‡เป€เบญเบตเป‰เบ™เบงเปˆเบฒ "Early Bird"), เบ—เปˆเบฒเบ™เบชเบฒเบกเบฒเบ”เป€เบ‚เบปเป‰เบฒเป„เบ›เบ—เบตเปˆเป€เบงเบฑเบšเป„เบŠเบ—เปŒเปเบฅเบฐ เบŠเบทเป‰เบ›เบตเป‰.

เปเบฅเป‰เบงเบžเบปเบšเบเบฑเบ™เบ—เบตเปˆ Hydra!

เปเบซเบผเปˆเบ‡เบ‚เปเป‰เบกเบนเบ™: www.habr.com

เป€เบžเบตเปˆเบกเบ„เบงเบฒเบกเบ„เบดเบ”เป€เบซเบฑเบ™