программная транзакционная память (STM)

Программная транзакционная память (software transactional memory, STM) — это механизм управления конкурентностью, аналогичный транзакциям баз данных для управления доступом к общей памяти в программировании с конкурентными процессами. В конечном счёте, язык Verse будет использовать STM, поскольку это также обеспечивает повышение производительности при больших распределённых симуляциях.