Java после Loom: альтернативные модели многопоточности

Появление виртуальных потоков вернуло Java-разработчикам удобство написания кода в привычной модели thread-per-task. Но насколько после Loom стали удобнее другие подходы? Разберем разные модели конкурентного программирования: CSP, акторы, STM и другие; обсудим их сильные и слабые стороны. Посмотрим, для каких типов задач каждая из них подходит лучше.