Valhalla EG Jan 31, 2018

[Karen Kinnear]

Reminder: meeting resumes Jan 31
at 9am PT/ noon ET/ 17 Dublin, 18 Grenoble/Stockholm, 20 St Petersburg

https://oracle.zoom.us/j/5249803466 <https://oracle.zoom.us/j/5249803466>

audio only:     +1 646 558 8656 or +1 669 900 6833 US Toll

Initial agenda items:

1. Condy:
JVMS final ConstantDynamic spec: last call for feedback: 
http://cr.openjdk.java.net/~dlsmith/constant-dynamic.html <http://cr.openjdk.java.net/~dlsmith/constant-dynamic.html>

summary of final changes: 
http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/2018-January/000505.html

2. Nestmates:
JVMS changes: http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/2018-January/000500.html

Summary: Changes from: http://cr.openjdk.java.net/~dlsmith/nestmates.html <http://cr.openjdk.java.net/~dlsmith/nestmates.html>
JVMS 6 Invokeinterface:

Run-time Exceptions
> Otherwise, if step 1 or step 2 of the lookup procedure selects a method that is not public, invokeinterface throws an IllegalAccessError.
> This is the line that we believe could be restored, slightly modified to apply to the selection lookup procedure steps in 5.4.5, so that the only non-public selected method would be a private method which is the referenced method as well as the selected method.

Concretely, we would undo this deletion, and instead modify the rule as follows:

"Otherwise, if step 1 or step 2 of the lookup procedure selects a method that is ~~not public~~ **neither public nor private**, invokeinterface throws an IllegalAccessError."

The motivation here is that invokeinterface is uniquely able to i) resolve to a public interface method, and ii) select a protected/package method of a superclass that would otherwise be inaccessible to the caller. The fact that the referenced method is in an interface is important, because anyone with the ability to extend a class can also declare a fresh superinterface that includes any method names+descriptors they're interested in.

3. LWorld Value Types: http://cr.openjdk.java.net/~acorn/LWorldValueTypes.pdf
Updated proposal - walk through 
   key changes: signature handling, nullability

thanks,
Karen





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20180130/98762a52/attachment-0001.html>