Concurrency

• The Free Lunch is Over - http://www.gotw.ca/publications/concurrency-ddj.htm

• http://joeduffyblog.com/2016/11/30/15-years-of-concurrency/

• https://www.youtube.com/watch?v=PRIqyaDo09s

• Линеаризуемость

• https://nikgrozev.com/2015/07/14/overview-of-modern-concurrency-and-parallelism-concepts/

• https://habr.com/ru/company/jugru/blog/446562/ - Асинхронность в программировании Ограничить мутабельность очень узкими и предсказуемыми инструментами.

CRDT - Covergent/Comutative Data Types

Общий замысел CRDT - использование частичного порядка вместо лианеризации. Операции могут проходить параллельно на многих репликах, и некоторые операции конкуррентны -- т.е. произошли на разных репликах, ни одна из них не первая, ни последняя. И на разных репликах они прикладываются в разных порядках. https://habrahabr.ru/post/272987/ https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type http://www.duct-tape-architect.ru/?p=982