STM reduces many locks into one (or several). As I understand, you read and write into log and then try to commit (by acquiring commit lock). Instead of many po

STM reduces many locks into one (or several). As I understand, you read and write into log and then try to commit (by acquiring commit lock). Instead of many points of synchronization you have one. I do not see any reason why message passing cannot be useful here. Speaking of Erlang, I often saw point of view that Mnesia is a STM for Erlang, extended with relational capabilities. So we already have at least one example of STM over message passing.