Поведение транзакций между объектами в памяти

Question

Я хочу сделать последовательность операций в памяти атомарной. Я полагаю, что для этого не предусмотрена функциональность, предоставляемая фреймворком, и что мне нужно будет реализовать свою собственную функцию отката с помощью сувенира (или чего-то еще)?

Answer 1

Если это должно быть действительно атомарно, в самом Framework нет такой вещи AFAIK - интересная ссылка, обсуждающая эту проблему .

То, что вы спрашиваете, называется STM (Software Transactional Memory) и является неотъемлемой частью, например, Haskell.

По сути, любая реализация использует какой-то механизм копирования - либо сохраняя старые данные до фиксации транзакции, либо сначала создавая копию, а затем делая все "изменения" в копии и переключая ссылки на коммит ... в любом случае всегда какой-то журнал и / или задействованный механизм копирования ...

Для C # проверьте эти ссылки:

• http://research.microsoft.com/en-us/downloads/6cfc842d-1c16-4739-afaf-edb35f544384/default.aspx
• http://download.microsoft.com/download/9/5/6/9560741A-EEFC-4C02-822C-BB0AFE860E31/STM_User_Guide.pdf
• http://blogs.msdn.com/b/stmteam/

ЕСЛИ F # - опция, тогда проверьте эти ссылки:

• http://cs.hubfs.net/blogs/hell_is_other_languages/archive/2008/01/16/4565.aspx
• http://geekswithblogs.net/Podwysocki/archive/2008/02/07/119387.aspx

Другой вариант может заключаться в использовании «Базы данных в памяти» - есть несколько с поддержкой транзакций, обеспечивающих атомарную работу через БД ... пока БД находится в памяти, она должна выполнять хорошо