Dear Andrew, Do you have a pointer to a discussion about the changes to the JMM you propose?
Carsten On Mon, Dec 12, 2016 at 8:59 AM, Andrew Haley <a...@redhat.com> wrote: > This is JDK-4724038. It is possible to unmap a MappedByteBuffer > safely with little effect on efficiency: my basic idea is to add an > indirection which all callers (even those using derived buffers) have > to use to access the memory, and then removing most uses of this > indirection with a little compiler magic. A few will still remain, but > these will be the minimum required to guarantee security and won't > affect the speed of most operations. > > I have a plan to implement this, but it requires changes to the Java > Memory Model and to the compilers. I didn't get it done in time for > JDK 9 because of being distracted by a ton of other things, but I hope > I'll get it done by JDK 10. >