Coupling in ExtentLocal

[Andrew Haley]

On 7/29/22 21:37, Ron Pressler wrote:
> Yes, we are thinking about a "strong” TwR, but we’re busy with so many things so it might take a while. Until then, we might introduce a weaker, or less trustworthy version of ExtentLocals that uses the existing TwR and wouldn’t be used for critical things, but we think that it’s best to start incubation with just the lambda API and then see what problems are most common/annoying and how we can best address them.

One of the worst problems with using "weak" TWR for extent locals is that
ensuring the invariants with respect to structured concurrency is hard.
You end up with complex consistency checks that must be checked at runtime,
and are hard to test.

-- 
Andrew Haley  (he/him)
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
https://keybase.io/andrewhaley
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671