ProgramDB transaction isolation guarantees

[smpeela1]

Hi,

Is there any interest in a patch set to add isolation guarantees to ProgramDB transactions? I can mostly get by without it, but it would make multi-agent scenarios with Ghidra a whole lot easier to reason about if there were some kind of "exclusive" path for transactions -- at least to make a transaction exclusive to a set of threads at least. Do the Ghidra developers have any thoughts on this topic? I understand this touches on a lot of different places including auto-analysis, scripts running, asynchronous things happening at the project level, etc. In headless mode, I have code that works around everything enough that I do practically have isolation, but in headed mode it's best-effort currently.

Thanks!