Even the last proposal, which I think has to do with fine grained locking, is still a strategy to avoid issues with mutable shared state.