In a nutshell, here’s a proposal for value type atomicity:
- Define a contextual keyword “alwaysatomic" (working title “__AlwaysAtomic”).
- It can only occur with “inline” in class declaration.
- All instances of the given inline class are protected against races.
- Protection is “as if” each
[Expanding on and summarizing discussion about abstract superclasses from
today's meeting.]
-
Motivation
There are some strong incentives for us to support inline classes that have
superclasses other than Object. Briefly, these include:
- Identity -> inline migration candidates (notably
- Everyone has questions for Brian regarding the new model
- John:
- wants to talk about atomic inline types
- looking forward at GS, a point about the current signature
processing implementation, note to IBM, how's yours ?
- Remi:
- Q to Brian: Why a `public interface` and