Re: B3 ref model

On Apr 26, 2022, at 9:19 AM, fo...@univ-mlv.fr wrote: For me, L-type means: if you do not already know, you will discover later if it's a B1/B2/B3 when the class will be loaded. The preload attribute means: if you do not already know, you should load the class now (at l

Re: B3 ref model

- Original Message - > From: "Brian Goetz" > To: "Remi Forax" > Cc: "daniel smith" , "valhalla-spec-experts" > > Sent: Tuesday, April 26, 2022 4:12:43 PM > Subject: Re: B3 ref model >> so if we have >> >> pr

Re: B3 ref model

> so if we have > > primitive class Prim { > long value; > } > > class Container { > LPrim; prim; > } > > and Prim has been loaded before Container is seen by the VM, the VM can not > decide to flatten LPrim; to a long + a bit for nullability because the VM has > to ensure atomicity even if

Re: B3 ref model

- Original Message - > From: "daniel smith" > To: "Remi Forax" > Cc: "valhalla-spec-experts" > Sent: Tuesday, April 26, 2022 2:15:17 AM > Subject: Re: B3 ref model >> On Apr 25, 2022, at 3:08 PM, Remi Forax wrote: >> >

Re: B3 ref model

> On Apr 25, 2022, at 3:08 PM, Remi Forax wrote: > > Ok, maybe i've not understood correctly how B3 model works, > for me being a B3 is a runtime property, not a type property. > > By example, if there is an Object but the VM knows the only possible type is > a B3 and the value is not null then