It is also stated why doing that automatically is unfeasible.

The only issue stated about that is the possibility of deadlocks when done in an automatic way.

However, I claim that you can also do it in an automatic way and avoid deadlocks at the same time.

In order to avoid dead locks you need to be aware of the language semantics, which you are not if you automatically transform the interpreter.

What I mean is that even without knowing that, you can still do it in an automatic way.

E.g., like this: https://github.com/albertz/automatic_object_locking/blob/mas...

You are assuming that all the objects that will be accessed are known up front, before any one of them is accessed. Is that what happens in Python?