LWorld prototype - initial brainstorming goals/prototyping steps

[John Rose]

On Dec 13, 2017, at 6:52 AM, Karen Kinnear <karen.kinnear at oracle.com> wrote:
> 
> This is a very rough draft of goals/requirements/next possible steps for the Lworld prototype for us to
> discuss in our valhalla vm meeting. Corrections/additions welcome. Thanks to Frederic for brainstorming with me. thanks, Karen

Nice summary!  I see you updated it (as I slept this morning) and
sent the update to valhalla-spec-experts.  I'll comment there on
matters that relate to specification (such as terminology or semantics).

Regarding implementation matters (such as specific optimization
strategies that make stuff practical), I'll comment on this list later.

— John

P.S. FTR, as a reminder:  The valhalla-spec-experts list is restricted
to discuss only specification and not concrete implementations.
For example, it would be a foul move to post HotSpot code to
valhalla-spec-experts, but a fair move to define bytecode semantics.
It's also fair to discuss *potential* types of optimizations that would
underly those semantics, since a spec. must be implementable,
not just consistent on paper.

It's also a fair move to discuss semantics on valhalla-dev, but such
discussions will necessarily need to be moved to valhalla-spec-experts
at some point, in order to allow deliberation by members of v-s-e who
are not members of v-dev.

(There's a certain logic to this split between aliases, and also a deep
history, rooted in practical necessities of the JCP, which are still necessary.
And when I say "practical" I mean "legal", and that's all I'm going to say.)