RFR: 8209437: Mechanism for decoupling consumers and providers of behaviours

Erik Österlund erik.osterlund at oracle.com
Fri Sep 7 11:30:16 UTC 2018


Ping!

Since nobody has looked at this yet, I snuck in a new cache in that I 
feel happier about than the previous one. It's a cuckoo hash. Now 
looking up behaviours will be blazingly fast and memory efficient. Yay!

Webrev:
http://cr.openjdk.java.net/~eosterlund/8209437/webrev.01/

Thanks,
/Erik

On 2018-08-13 19:05, Erik Österlund wrote:
> Hi,
>
> Sometimes we find ourselves passing around context information about 
> how to perform a certain operation (e.g. check if an oop is alive, 
> logging or tracing, etc). Sometimes such behaviours are provided 
> globally by a GC, and sometimes only in local scopes known by the GC. 
> Sometimes it is even accessed from mutators.
>
> It would be great to have a general mechanism for decoupling how 
> behaviours are provided, from the code that uses them.
>
> In particular, I will need this mechanism to build a new nmethod 
> unloading mechanism for concurrent class unloading. Today we have a 
> single threaded and a parallel nmethod unloading mechanism. Rather 
> than introducing a third concurrent way of doing this, I would like to 
> unify these mechanism into one mechanism that can be used in all three 
> contexts. In order to get there, I need these utilities in order to 
> not make a mess. I have a bunch of other use cases down the road as well.
>
> The ideas behind this mechanism are pretty straight forward. 
> Behaviours are provided in different ways by "behaviour providers". 
> The providers may be global and local, but come in a strict layering 
> (each provider has a parent). So from a given callsite, there is a 
> chain of responsibility with behaviour providers. You can use 
> BehaviourMark to provide a behaviour locally in a certain scope. There 
> are also global behaviours to which a GC at bootstrapping time can add 
> behaviours. If no local behaviour was found, the global behaviours are 
> checked as plan B. In order to speed up the walk, the scoped behaviour 
> providers also come with a lazily populated behaviour provider cache 
> that will take you straight to a given provider, effectively skipping 
> through the search through the chain of responsibility.
>
> Bug:
> https://bugs.openjdk.java.net/browse/JDK-8209437
>
> Webrev:
> http://cr.openjdk.java.net/~eosterlund/8209437/webrev.00/
>
> Thanks,
> /Erik



More information about the hotspot-runtime-dev mailing list