From what I gather, STM in .Net heavily relies on the static program analysis. You may see it as a proof of your point, but I see it as a counterexample - a te

From what I gather, STM in .Net heavily relies on the static program analysis. You may see it as a proof of your point, but I see it as a counterexample - a team of smart people was not able make speculative parallelism efficient even with static analysis. JIT will be even less efficient as it has to keep and account for tracing information and for speculation logs. These two interact in interesting way, I guess.