> De: "Brian Goetz"
> À: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 5 Mai 2021 20:20:07
> Objet: Re: Meeting today: IdentityClass
> Here are some idioms I can imagine a use for with IdentityObject:
> // parameter type
> void withLock(IdentityObject monitor, Runnable task)
>
Here are some idioms I can imagine a use for with IdentityObject:
// parameter type
void withLock(IdentityObject monitor, Runnable task)
// type bound
Map map = ... // gonna lock on keys
// dynamic check
if (x instanceof IdentityObject) {
sync (x) { task(); }
There is a 3rd way, uses the TypeRestriction attribute to still be binary
backward compatible.
Let suppose that we have a way to say that javac needs to use TypeRestriction
when generating a specific type in the class file
like
import ...
__restrict__ java.lang.IdentityObject __to__
I've added some comments to the document and thought I'd try something
different. Rather than copy/paste context here, I've opened a github
pull request against the repo so the context of the changes / comments
are directly inline.
https://github.com/openjdk/valhalla-docs/pull/1
Trying this but
- Mail original -
> De: "daniel smith"
> À: "valhalla-spec-experts"
> Envoyé: Mercredi 5 Mai 2021 16:23:08
> Objet: EG meeting, 2021-05-05
> The next EG Zoom meeting is today at 4pm UTC (9am PDT, 12pm EDT).
>
> Topics to discuss:
>
> "consolidated VM notes for primitive classes":
If it's possible, i would like to discuss about IdentityClass again.
As noted in the last draft, adding IdentityClass automatically at runtime is
not a compatible change if tests that uses Class::getInterfaces() are not
written correctly,
and sadly, a lot of tests are written that way. I'm
The next EG Zoom meeting is today at 4pm UTC (9am PDT, 12pm EDT).
Topics to discuss:
"consolidated VM notes for primitive classes": Updated section of State of
Valhalla addressing JVM changes
"Classfile artifacts to support compilation/reflection": Brian listed
properties of primitive classes