On 10/31/17 4:07 PM, Peter Levart wrote:
Hi Mandy, Sherman, Roger,
On 10/31/17 00:25, mandy chung wrote:
I played a little with an idea of how such additional Cleaner API
might look like. Here's what I came up with, together with how this
would apply to ZipFile/Inflater/Deflater:
http://cr.openjdk.java.net/~plevart/jdk10-dev/8185582_ZIP.cleaner/webrev.02/
So, what do you think of this new Cleaner API extension?
This serves as a good starting point. I converted the
ClassLoader.NativeLibrary to use it:
http://cr.openjdk.java.net/~mchung/jdk10/webrevs/8164512/webrev-cleanable/
Looks reasonably well and probably some other improvement I could do. I
use createResource rather than createLongResource which is specialized
for an address. We should check out panama how this plays out.
I think it would be useful to iterate on several more use cases and it
would be better to separate this RFE from JDK-8185582 so that we can
explore with its own pace.
Mandy
