Initial feedback on Minimal Value Types 0.2 for discussion

(This is a resend of an email I sent to valhalla-...@openjdk.java.net on January 23) Review of Minimal Value Types August 2016 Shady Edition (v 0.2) http://cr.openjdk.java.net/~jrose/values/shady-values.html Questions/Comments:

Re: Initial feedback on Minimal Value Types 0.2 for discussion

Shady Values version 0.2 changes and timing. *** will need a Shady Values update *** thanks, Karen > On Mar 15, 2017, at 1:20 AM, Karen Kinnear <karen.kinn...@oracle.com> wrote: > > Summary notes from meeting 2/15/17 - embedded below, starting with #8 > > Meeting 3/16/17

Re: Valhalla Minimal Value Types review invitation

way for MH.arraygetter/arraysetter to pass a DVT. Additional questions welcome. thanks, Karen > On Mar 30, 2017, at 12:35 PM, Karen Kinnear <karen.kinn...@oracle.com> wrote: > > Those interested in the Valhalla Minimal Value Types early adopters proposal > are invited

Cancelled: Valhalla EG meeting Wednesday August 16

Dan Smith and I will both be out of town. I am cancelling the meeting on August 16th. Thank you to everyone for all the hard work to get the MVT JVMS spec in a place for early experimentation. We sent the announcement to the valhalla-dev alias yesterday that the repository has an mvt branch

Re: Valhalla EG minutes 6/21/17

Paul, We are working hard on getting the nest mates requirements clarified. I would like to use that to support the Lookup.defineClass and not do a Quick in advance for MVT . I think we should stick with the reduced restrictions for withfield for early access. I think we should put our energy

Re: class, type, instance, object, value

John, Thank you for writing this up. Couple of questions/comments. - The class of a boxed value is the value class. (Thus each value class derives at least two types.) This one confuses me. I am not sure what you are referring to. 1) source: declaration - declared as a value class 2)

ConstantDynamic JVMS comments

John, Condy JVMS looks really good. Could of small questions/comments: 1. 4.5 fields in 5.4.3.6 you have a much clearer description of the argument types could you either reference that or include the bullets here? (the syntax is not clear from the sentence structure) 2. instructions

Re: MVT change in new opcode numbers?

we'll be able to work with 203-211. > > - Original message - > From: Karen Kinnear <karen.kinn...@oracle.com> > Sent by: "valhalla-spec-experts" > <valhalla-spec-experts-boun...@openjdk.java.net> > To: valhalla-spec-experts@openjdk.java.net > Cc:

Re: Valhalla EG minutes 6/21/17

. Did I misunderstand what you were saying? thanks, Karen > On Jun 26, 2017, at 2:52 PM, Paul Sandoz <paul.san...@oracle.com> wrote: > > >> On 23 Jun 2017, at 13:33, Karen Kinnear <karen.kinn...@oracle.com> wrote: > >> VWithfield - propose for MVT -

Re: Valhalla EG minutes 6/21/17

t/~dlsmith/values.html it appears to allow lazy derivation as well as eager derivation, which I think is what we both want since it allows implementations to optimize. Our current derivation is also eager. thanks, Karen > > > > - Original message - > From: Karen Kinnear <

Re: Valhalla EG minutes 6/21/17

than nest mates. We should re-evaluate adding a nest mate dependency when we get closer to deadlines and see if that works for our partners and our own timing. thanks, Karen > On Jul 5, 2017, at 12:28 PM, Paul Sandoz <paul.san...@oracle.com> wrote: > > >> On 5 Jul 2017, at

MVT April 26th notes

ner, other accessors, even readers to get an error rathern than block or race thanks, Karen > On Apr 26, 2017, at 10:47 AM, Karen Kinnear <karen.kinn...@oracle.com> wrote: > >> Next meeting: Wednesday April 26, 9am PT: >> >> NEW DIAL-IN: https://oracle.zoom.us/j

Re: MVT change in new opcode numbers?

Many thanks for being flexible here. Karen > On Jul 27, 2017, at 4:01 PM, Bjorn B Vardal <bjorn...@ca.ibm.com> wrote: > > Yes, we should be able to work with the lower range. > > - Original message - > From: Karen Kinnear <karen.kinn...@oracle.com&g

Re: What's in a CONSTANT_Class?

Dan, I am really glad we are exploring the longer term picture of how to handle the constant pool. (note: not to be confused with the Minimal Value Types exercise) I would like to add a couple of constraints/questions/concerns please: 1) No change in meaning of any existing constant pool

Re: Meeting today ?

https://oracle.zoom.us/j/251372518 > On Jun 21, 2017, at 11:00 AM, Remi Forax wrote: > > Hi all, > does somebody can send me the correct URL for the meeting today ? > > cheers, > Rémi

Re: minutes Valhalla EG June 07, 2017

userData, > > String name) > > In the spirit of the usual "5 min before the meeting" ritual action item > panic, I'm trying to review the javadoc for this and can't seem to find it. > Can it be sent again? > > Thanks, > --Dan > > - Original

Valhalla EG minutes 6/21/17

attendees: Remi, Bjorn, Dan H, Dan S, John, Maurizio, Frederic, Lois, Karen AIs: All: review Dan Smith’s proposals MVT JVMS: Specification for Value Classes: http://cr.openjdk.java.net/~dlsmith/values.html - initial proposal *** let’s pin this down ASAP so we - Remi for ASM, IBM and Oracle

Minimal Value Types notes May 10, 2017

Notes from Minimal Value Types review May 10, 2017 attendees: Bjorn, John, Maurizio, Frederic, Vladimir, Karen AIs: All - please review Shady 0.4 update from John - http://cr.openjdk.java.net/~jrose/values/shady-values.html John - create JEP for Minimal Value Types, linked to Shady VM

minutes Valhalla EG June 07, 2017

Valhalla EG Minutes June 07, 2017 attendees: Bjorn, Dan H, Dan S, John, Vlad, Frederic, Lois, Brian, Maurizio, Karen AI ALL: Dan Smith sent an initial draft of a JVMS with experimental support for MVT for review. Feedback in email requested - sooner rather than later please. AI ALL:

Re: Draft of spec for Minimal Value Types

>> On Jun 13, 2017, at 3:26 PM, Karen Kinnear <karen.kinn...@oracle.com >> <mailto:karen.kinn...@oracle.com>> wrote: >> >> I wanted to follow up specifically on the load/link/init relationships for >> the Value Capable Class (VCC) and the derived Val

Re: What's in a CONSTANT_Class?

Update from hotspot implementation: We would like to request that for the MVT Early Access we keep the TEMPORARY CONSTANT_Class_info “;Q”. This is far easier for us to implement (we have a prototype in progress) and we believe that it will be easier for bytecode generators to adopt - which

notes from Valhalla meeting 5/24/17

Corrections welcome - I confess I had a fever while taking notes - so particularly at the end, my notes are less coherent. For the meeting Wednesday June 7, we need to discuss short-term MVT constant pool representation for value types - CONSTANT_Class_info with “;QFoo;” vs.

Valhalla EG minutes Sept 27

Next Meeting Wednesday October 11 9am PT/ noon ET/… AI: Dan Smith - update of Condy JVMS changes - without BootstrapCallInfo AI: John - email of what is coming - including constant bits, constantGroup (and why more than BsCI provides) AI: All - nestmate JVMS feedback for Dan S attendees: Remi,

Minutes Valhalla EG Oct 11 2017

AI: David Holmes - Proposal for reflection APIs for nestmates ( thanks David for volunteering) AI: Dan Smith - updated Condy JVMS AI: Karen Kinnear - for nestmates - transitive overriding example email Attendees: Bjorn, David Simms, Dan H, Frederic, Lois, John, Karen I. Nestmates JVMS comments

Valhalla EG minutes Aug 30

Reminder, next meeting Wednesday Sept 13, 9am PT/noon ET/ new dial-in: https://oracle.zoom.us/j/5249803466 AI: All - review feedback on JVMS for nestmates for meeting on September 13th AI: Dan/Bjorn - do some experimentation with condy and give feedback on condy JVMS AI: All - nestmates

Valhalla EG meetings - updated zoom link

The meeting time will continue to be Wednesday, e.g. next week September 13th biweekly at 9am PT/ noon ET / 17 Dublin/ 18 France / 19 St Petersburg The new zoom link is: https://oracle.zoom.us/j/5249803466 Audio Information - Join by phone: +1 646 558 8656 or +1 669 900 6833 US Toll

Valhalla EG meeting Sept 27 - and Sept 13 minutes

Reminder - meeting TODAY, Sept 27 9am PT/noon ET/ dial-in: https://oracle.zoom.us/j/5249803466 AI: Karen send Dan H example in which a BSM can be used for both indy and condy AI: Dan Smith version of Condy JVMS changes (not an appendix AI: nestmates JVMS

Valhalla EG minutes Dec 6 2017

Reminder - we will have our usual meeting Wednesday Dec 20. attendees: Remi, Tobi, Dan H, Mr Simms, Lois, Frederic, Dan S, John, Karen Corrections/clarification welcome I. Condy - targeted for JDK 18.9/jdk 11 for current JVMS version - note: next phase of Condy - with lazy resolution for

nestmates JVMTI spec proposal changes

I believe we are all in agreement that: 1. Redefinition should NOT be allowed to change the NestHost attribute and 2. Redefinition should NOT be allowed to remove NestMembers (equivalent to reducing access controls) The question was - should we allow Redefinition to add NestMembers or not?

Nestmates JVMS Overriding 5.4.5 request

Dan Smith - this is a request for a change to one line of the Nestmates JVMS 5.4.5 Overriding. The rest of the wording for 5.4.5 is an improvement, so thank you. Dan Heidinga, Graham Chapman (IBM) and I met to discuss the JVM implementations of JVMS 5.4.5 Overriding, specifically to discuss the

Re: Valhalla EG minutes October 25, 2017

v 1, 2017, at 9:10 PM, David Holmes <david.hol...@oracle.com> wrote: > > > > On 2/11/2017 1:01 AM, Karen Kinnear wrote: >> IV Nestmates: >> summary of spec issues: >> 1. Reflection APIs - being discussed in an email with David Holmes >> 2. additional

Valhalla EG minutes October 25, 2017

Attendees: Remi, Dan H, John, Mr Simms, Frederic, Lois, Karen AIs: 1. All - review updated ConDy spec 2. Dan H, Dan S - review Karen’s summary of transitive overriding implementation - once we agree on that, we can sanity check if the specification update matches (the intention was not to

Valhalla EG minutes Nov 8 2017

attendees: Remi, Dan H, John, Frederic, Lois, Mr Simms, Karen AI: Dan H/Karen - meet offline to discuss expected behavior today due to JVMS overriding rules AI: all - feedback on Nestmate Reflection API email thread I. Nestmates specifications 1. JVMS overriding rule checking: - Dan H

Re: Final nestmates spec

Dan, Many thanks for the careful updates and working so closely with all of us with each iteration. Couple of minor comments: 1. Since we postponed this, and each release will change the ClassFile Version: - the new attributes will be in ClassFile Version 55 - If we want to use the new

Valhalla EG minutes Nov 22

Attendees: Remi, Tobi, Dan H, Ron, Frederic, John, Karen Welcome Tobi Ajila from IBM! AIs: Nestmates overriding review - Graham and Dan H Reflection API review for nestmates - email thread: http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/2017-November/000411.html

nestmates and transitive overriding

To sanity check the JVMS changes relative to “transitive” overriding in the JVMS update for JEP 181: nestmates: http://cr.openjdk.java.net/~dlsmith/nestmates.html The first goal here is to ensure that we are all in agreement on the intended

Nestmates JVMS changes to selection and behavior implications

David Holmes and I were studying the JVMS changes for nestmates - in particular the selection and preparation changes which are designed to make invoke interface more like invoke virtual (JDK-8024806). I wanted to ensure that the behavior changes were all either error -> success, or error 1 ->

Valhalla EG minutes May 9 and Apr 25 2018

Corrections welcome - apologies for the delay May 9, 2018 Attendees: Remi, Dan H, ]Dan Smith, Frederic, David Simms, Karen JVMLS upcoming talks: Any interest in cohosting: 1) LWorld 2) Nestmates and the Alternate Accessors 3) VT workshop 4) Condy Nestmates: Plan is to get this into JDK 11 JEP

Re: [Nestmates] Minor updates and clarifications to the Reflection API specification

David, The Valhalla EG met today May 23, 2018 and walked through the details of this proposal and how they relate to the JVMS. The EG was ok with these changes. Thank you for sending them for review. thanks, Karen > On May 22, 2018, at 8:08 PM, David Holmes wrote: >

Valhalla EG minutes June 6, 2018

Attendees: Remi, Tobi, Dan H, Dan S, Frederic, Karen Corrections welcome. AIs: 1. Karen: proposal for value types consistency checking 2. Karen: updated proposal for handling statics No nestmate or condy topics. Value types: 1. ValueTypes attribute Remi: need to ensure that constant pool

ValueTypes attribute consistency checking and static fields

Frederic and I have worked on a set of proposals for ValueTypes consistency checking. http://cr.openjdk.java.net/~acorn/value-types-consistency-checking-details.pdf The first part contains the proposal. The second walks through details of the consistency checking in the case of a value type

LW1 and ValueTypes consistency

Details for LW1: Goals of LW1: Support Early Access Binaries ASAP Support immutable, identity-free value types that are subtypes of java.lang.Object Limitations: No support for value classes as type parameters for generics (enforced by javac) No migration of value-based classes In

Re: Static value fields initialization

John, Very much like the direction of your proposal, which I summarize as: 1. preparation: continue no code execution VM determines default value via size information from loaded class (flattened fields are pre-loaded, so we have that information at preparation time) 2. pre-: of the

Re: LW1 and ValueTypes consistency

> On 5/30/2018 1:41 PM, Karen Kinnear wrote: >> Details for LW1: >> >> Goals of LW1: >>Support Early Access Binaries ASAP >>Support immutable, identity-free value types that are subtypes of >> java.lang.Object >> >> Limitations: &

Valhalla EG minutes

attendees: Tobi, Dan S, Simms, Frederic, Karen corrections welcome. 1. JVMLS talks LWorld - Tobi & Simms Condy - Dan H & Paul Sandoz Nestmates - Just a Small Change -> actual impact: Karen LWorld discussion - multiple folks willing to participate if this is wanted Abstracts (were) due May 25.

Valhalla EG meetings resuming Jan 17

Biweekly Valhalla EG meetings resuming Jan 17, 2018 at 9am PT/ noon ET/ 17 Dublin, 18 Grenoble/Stockholm, 20 St Petersburg https://oracle.zoom.us/j/5249803466 audio only: +1 646 558 8656 or +1 669 900 6833 US Toll Please look at the Nestmates JVMS

Re: Final CONSTANT_Dynamic spec

Looks great Dan - much clearer! thanks, Karen > On Jan 18, 2018, at 7:14 PM, Dan Smith wrote: > > A proposed final spec for CONSTANT_Dynamic is here: > > http://cr.openjdk.java.net/~dlsmith/constant-dynamic.html > > There are two significant changes: > > 5.4.3:

Re: JVMS draft for L-world value types with support for nullability

Frederic, Detailed review of the updated JVMS draft - many are just minor typos/edits. A couple are bigger. Many thanks for the latest changes. thanks, Karen 1. 2.4 Reference Types and Values " whose all instances are identity-less and immutable" "whose" -> "for which" 2. 2.11.5 Instance

Re: Valhalla EG minutes Jan 31, 3018

A clarification below: > On Feb 13, 2018, at 6:26 PM, Karen Kinnear <karen.kinn...@oracle.com> wrote: > > attendees: Tobi, Dan Smith, Dan Heidinga, Karen Kinnear > > AIs: > Dan S: Condy SOE circularity issue: > - sent > http://mail.openjdk.java.net/piperm

Re: JVMS draft for L-world value types with support for nullability

Paul, Just to make sure we are in sync for now: I think we are all in agreement that current Enums can not migrate to be value types: 1. enums have identity 2. enums have java.lang.Enum abstract class as super-class, not java.lang.Object 3. there is no clear default value 4. enums have mutable

Re: API Updates: 8191116: [Nestmates] Update core reflection, MethodHandle and varhandle APIs to allow for nestmate access

plicit changes to access checking modified below for private members accessible to nestmates. thanks David! Karen > On Feb 14, 2018, at 8:36 PM, David Holmes <david.hol...@oracle.com> wrote: > > Hi Karen, > > Thanks for looking at this. > > On 15/02/2018 1:16 AM, Kar

Re: LWorld1 initial phase proposal

Many thanks. A couple of points: > > Example: A field of value type either needs an explicit flatten flag, > or a Q-descriptor. The flatten flag (ACC_VALUE) makes an unambiguous > context for the L-descriptor of the field type, so that it means a Q-type > rather than an L-type. Just to

Valhalla EG minutes Dec 20, 2017

Happy New Year! Attendees: Remi, Dan H, Tobi, Dan S, John, Karen AIs: All - review nestmates JVMS invokeinterface selection changes All - review Dan’s proposal for constant pool structural descriptors Remi - proposal for T-Types - simpler approach to generic specialization I. Nestmates 1.

Re: Valhalla EG meeting August 15, 2018

Hearing no offers, cancelling August 15th Valhalla EG meeting Thanks, Karen > On Aug 6, 2018, at 12:59 PM, Karen Kinnear wrote: > > Would anyone be willing to host the meeting August 15 and take minutes? > I will be out of the country. > > thanks, > Karen

Valhalla EG meeting August 15, 2018

Would anyone be willing to host the meeting August 15 and take minutes? I will be out of the country. thanks, Karen

Re: EG help please with getting to LW1 re: Value Types Consistency Checking

ion/recompilation to pass arguments by value for future calls, > > which is a performance cost. > > Typically, a method is run a few times before it is compiled (perhaps I’m > making implementation assumptions?). At this stage, the return/arg types are > either loaded or they a

Re: Valhalla EG Notes June 20, 2018

and we have the same behaviour. Would be > good to get this fixed at the spec level. > > --Dan > > - Original message - > From: Karen Kinnear > Sent by: "valhalla-spec-experts" > > To: valhalla-spec-experts > Cc: > Subject: Valhalla EG Notes June

Re: Valhalla EG Notes June 20, 2018

018, at 6:36 PM, Karen Kinnear wrote: > > NO meeting July 4th, 2018 - US Independence day holiday. Next Meeting July > 18th. > Karen will be on vacation week of July 18th - looking for a volunteer to run > the meeting please. > > AIs: > All: review Nestmates GetNestHost

Cancelling Valhalla EG meeting Wednesday April 11

Apologies, we have an internal conflicting meeting. Our next meeting will be Wednesday April 25th. I will send minutes from our last meeting. thanks, Karen

Valhalla EG meeting notes March 28, 2018

attendees: Frederic, Tobi, Karen, Remi (corrections welcome) AIs: Karen: updated https://bugs.openjdk.java.net/browse/JDK-8171335 with requests from meeting (done) Remi: https://bugs.openjdk.java.net/browse/JDK-8171335 - please add “privileged” annotations you would like in the new

Valhalla EG notes March 14, 2018

attendees: David Simms, John, Frederic, Dan S, Tobi, Dan H, Remi, Karen apologies for not noting the meeting time change in US/Canada relative to Europe - should be all set now Corrections as always - welcome AIs: John: Check Nashorn usage of BSM with Object as 1st parameter John: email proposal

No meeting Wednesday October 24

Good luck with your Oracle Code presentations! Thanks, Karen

Cancel Valhalla EG meeting Weds Nov 7, 2018

Apologies for the late notice. We have two sets of conflicts - a language offsite in Dublin and a Burlington site visit from upper management. We will meet on Weds Nov 21. thanks, Karen

No Valhalla EG meeting Wednesday Sept 26

We will NOT be meeting Wednesday Sept 26, our next meeting will be October 10. Many thanks to those who joined us for the offsite in Burlington both physically and via zoom. I will send a summary of the offsite as soon as I can. thanks, Karen

Re: Next Valhalla EG meeting January 16, 2019

It has been long enough I thought I would send a reminder. thanks, Karen > On Jan 2, 2019, at 9:21 AM, Karen Kinnear wrote: > > Happy New Year! > > Correction to my previous email - January 16, 2019 is our next Valhalla EG > meeting > > thanks, > Karen > >

Valhalla EG notes December 5, 2018

Attendees: Frederic, Tobi, Simms, John, Karen corrections welcome Tobi question: JVMS for LW2 is Oct 9 - have there been updates? Frederic: known to be incomplete, could post an update, but this is not the final one for LW2/LW2+ - which is a bit of a moving target 1. Nestmates part 2:

Next Valhalla EG meeting Jan 9 , 2019

Hope you all have a good holiday and Happy New Year! Thanks, Karen

Valhalla EG notes November 21, 2018

Attendees: Remi, Tobi, Dan H, Frederic, John, Karen http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/2018-November/000784.html Thanks to John for the above link to a proposal for dealing with

Valhalla EG reminder for November 21, 2018

Notes from October 10 - corrections welcome - sorry for the delay Attendees: Tobi, Dan H, Remi, Brian, Simms, John, Frederic, Dan S, Karen Background documents for next phase of Value Types: Entering the next phase of Project Valhalla - Brian -

Next Valhalla EG meeting January 16, 2019

Happy New Year! Correction to my previous email - January 16, 2019 is our next Valhalla EG meeting thanks, Karen

Valhalla EG meeting notes Sep 12 2018

Attendees: Remi, Brian, Tobi, Dan H, Dan S, Frederic, Karen AI: Karen - future topic: lazy static field initialization Corrections welcome. Value Type Nullability offsite next week. Agenda: Brian anti-agenda: let’s focus on the near term e.g. not cover primitives or value-based-class

Valhalla EG notes Mar 27 * clock change *

Reminder - the US changed clocks last weekend, Europe did not. Also there will be no EG meeting March 27th. Attendees: Brian, John, Remi, Frederic, Tobi, Karen I. BSM CallInfo and symbolic use of constraints - upcoming doc from John 2. Generic Specialization Requirements - upcoming doc from

Valhalla Meeting Notes Jan 30, 2019

Next meeting Feb 13, 2019 Attendees: John, Brian, Remi, Tobi, Dan H, Frederic, Karen AI: Remi: send GitHub POC experiment outside of vm with bridge forwarding I. Problem: Where do I put privileged, final, value-specific behaviors initial example: Object.wait*/notify*. Is there a clean way to

Valhalla EG notes Jan 16, 2019

Attendees: Remi, Tobi, Dan H, John, Brian, Simms, Fred, Karen Corrections welcome - thank you John for your summary notes AIs: Remi - write up why if we retrofit arrays for Arrays 2.0 specializable interface, do we need covariance? All: find examples where existing code assumes

Re: Valhalla EG notes Jan 16, 2019

lasses of ValObject thanks, Karen > On Jan 30, 2019, at 10:21 AM, fo...@univ-mlv.fr wrote: > > > > De: "John Rose" > À: "Remi Forax" > Cc: "Karen Kinnear" , "valhalla-spec-experts" > > Envoyé: Mercredi 30 Janvier 2019 00:29:01 &

Re: An example of substituability test that is recursive

Actually - I was unclear - apologies. K > On Jan 31, 2019, at 3:54 PM, fo...@univ-mlv.fr wrote: > > > > De: "Karen Kinnear" > À: "Remi Forax" > Cc: "John Rose" , "valhalla-spec-experts" > > Envoyé: Jeudi 31 Ja

Re: An example of substituability test that is recursive

.fr wrote: > > > > De: "John Rose" > À: "Remi Forax" > Cc: "Karen Kinnear" , "valhalla-spec-experts" > > Envoyé: Jeudi 31 Janvier 2019 19:05:33 > Objet: Re: An example of substituability test that is recursive > On Jan 31

Re: An example of substituability test that is recursive

Remi, Thank you. So there were two kinds of “recurse to its death” we talked about 1) expected behavior 2) surprise This strikes me as the expected behavior - where we can set expectations. If we were to always return false - how would you make this kind of example work? thanks, Karen > On

Re: Updated VM-bridges document

I need to do many more additional examples offline. I appreciate your trying to make overriding of forwarders simpler for the jvm. I would like to continue to explore the option having the jvm do the calculation of overriding both direct and indirect forwarders until we’ve worked more examples.

Re: Updated VM-bridges document

> On Apr 10, 2019, at 5:22 PM, Brian Goetz wrote: > > OK, so in the old world, D has m(Date). > > > Now, D has m(LDT), with a forwarder from m(Date) -> m(LDT), with some sort of > metadata stapled somewhere to effect the Date <--> LDT conversions. > >> class E extends D { m(Date); }

Valhalla EG minutes May 22, 2019

Attendees: Remi, Tobi, Dan H, John, David Simms, Frederic, Karen I. Remi: the new static ()this needs to work with indy, but today you can’t use “<>” in the name. John: the MethodHandle is legit Dan H: name in a BSM does not have to relate to the underling method Remi: BSM has to change so

Re: Draft LW2 spec

Dan, Many thanks for putting out a draft JVMS for LW2. Folks - if you could be explicit in review comments whether they are relevant to LW2 or to post-LW2, e.g. design discussions, that would help. LW2 comments: 1. Versioning Thank you for asking. For LW10, we plan to use preview versioning.

Valhalla EG minutes June 05, 2019

Attendees: Remi, Tobi, Dan H, Karen AI: Remi - a request for a specific use case for indy with expression mode BSM if you could I. Valhalla Generics Remi: Are there any intermediate steps between LW10 Erased Generics and LW100 Specialized Generics? e.g Can we get reification without

No Valhalla EG meeting Weds May 8

Next meeting Weds May 22nd thanks, Karen

No Valhalla EG meeting July 3rd, minutes from June 19th

we agree on the goals and the high order bit is performance John: Also concerned about size in memory Remi: Perhaps ok if not supported by erased generics Dan S: Comments please in email on JVMS draft for LW2 John: email - and identify issues to discuss verbally thanks, Karen p.s. corrections welcom

Valhalla EG minutes March 13, 2019

Attendees: Dan H, Tobi, Remi, Brian, Simms, Frederic, Karen corrections welcome (apologies for delay) I. Value Types user model Brian: Value types user model: V, V? (V? value set including null) replace .val and .box Don’t need all degrees of freedom. This is a simpler story, will capture in a

Valhalla EG meeting Weds 24th - short

Folks, The Oracle folks have an all-hands we need to attend, so we need to leave the meeting after 25 minutes. Apologies for the short notice. thanks, Karen