Given the subtlety here, I'm thinking we should just punt
in JSR-133 about which classloaders are reachable. In other words,
just take "reachable classloaders" as a term defined elsewhere
that we can use in our definitions.
If we had an very formal definition that worked in the single-threaded
case, we could try to nail down the additional issues that come up
in the multithreaded case.
But since these issues aren't entirely nailed down, I think
we should just punt, rather than trying to decide in JSR-133
on things like whether executing a static method of a class
means that the classloader that loaded the class is reachable.
Bill
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:07 EDT