Re: Valhalla EG notes April 10, 2019

2019-04-18 Thread forax
- Mail original - > De: "John Rose" > À: "Remi Forax" > Cc: "Brian Goetz" , "valhalla-spec-experts" > > Envoyé: Vendredi 19 Avril 2019 02:42:45 > Objet: Re: Valhalla EG notes April 10, 2019 > On Apr 18, 2019, at 5:09

Re: Valhalla EG notes April 10, 2019

2019-04-18 Thread John Rose
On Apr 18, 2019, at 5:09 PM, fo...@univ-mlv.fr wrote: > > I'm not sure we need a 'G' because NV is a property of the container too. The flattened layout is not a visible property of the container, if the container is typed using the legacy L-descxriptor. If the container is flattened, you need an

Re: Valhalla EG notes April 10, 2019

2019-04-18 Thread forax
- Mail original - > De: "John Rose" > À: "Remi Forax" > Cc: "Brian Goetz" , "valhalla-spec-experts" > > Envoyé: Vendredi 19 Avril 2019 01:30:44 > Objet: Re: Valhalla EG notes April 10, 2019 > On Apr 18, 2019, at 3:33 PM, Rem

Re: Valhalla EG notes April 10, 2019

2019-04-18 Thread John Rose
On Apr 18, 2019, at 3:33 PM, Remi Forax wrote: > > - it should be vectorized in registers if on stack, i.e. V? should still be a > mark for the JIT that the value doesn't escape because it can always be > reconstructed when necessary. > - acmp, System.identityHashCode(), etc, have the same mean

Re: Valhalla EG notes April 10, 2019

2019-04-18 Thread Remi Forax
- Mail original - > De: "John Rose" > À: "Brian Goetz" > Cc: "valhalla-spec-experts" > Envoyé: Jeudi 18 Avril 2019 23:43:55 > Objet: Re: Valhalla EG notes April 10, 2019 > On Apr 11, 2019, at 1:44 PM, Brian Goetz wrote: >> >

Re: Valhalla EG notes April 10, 2019

2019-04-18 Thread John Rose
On Apr 11, 2019, at 1:44 PM, Brian Goetz wrote: > > To me, getting fancy here sounds like borrowing trouble; it seems much > simpler -- and perfectly reasonable -- to reject cycles at both compile and > runtime, and let users use `V?` in the place they want to break their cycles. > (Assuming

Re: Valhalla EG notes April 10, 2019

2019-04-11 Thread Brian Goetz
To me, getting fancy here sounds like borrowing trouble; it seems much simpler -- and perfectly reasonable -- to reject cycles at both compile and runtime, and let users use `V?` in the place they want to break their cycles.  (Assuming we're comfortable with `V?` means not flattened, which is t

Re: Valhalla EG notes April 10, 2019

2019-04-11 Thread Frederic Parain
> On Apr 11, 2019, at 15:20, Karen Kinnear wrote: > > 2. circularity handling for value type fields - proposed experiment with vm > detection > Remi: if VM determines where to “stop” flattening the results will be random > locations - which will change performance > Karen: Frederic prototyping

Valhalla EG notes April 10, 2019

2019-04-11 Thread Karen Kinnear
Attendees: Remi, Tobi, Dan H, John, Brian, Simms, Frederic, Karen AIs: 1. Remi - list of P3 bugs for condy rfes 2. Remi - Amber combinator suggestion 3. Karen - forwarder example for which we will need a reverser 4. editor note - I asked Frederic to forward an example of random flattening/perform