[Mlir-commits] [mlir] [MLIR:Python] Fix race on PyOperations. (PR #139721)

[Peter Hawkins]

hawkinsp wrote:

> > Good thing I did, because the PR introduced a deadlock, now fixed.
> 
> Was it due to not doing `operation.getLocked()` (that's the most recent change/patch)? If so, are there now other places where the lock needs to be taken?

The problem was we were retaking the lock when we already held it, hence the addition of some more `Locked` variants.

https://github.com/llvm/llvm-project/pull/139721