...
| Wiki Markup |
|---|
*initialization safety* : "An object is considered to be completely initialized when its constructor finishes. A thread that can only see a reference to an object after that object has been completely initialized is guaranteed to see the correctly initialized values for that object's final fields." \[[JLS 2005|AA. Bibliography#JLS 05]\]. |
| Anchor |
|---|
| instance variable |
|---|
| instance variable | interruption policy | interruption policy |
|---|
|
| Wiki Markup |
|---|
*interruptioninstance policy:variable* : "An interruptioninstance policyvariable determines howis a threadfield interpretsdeclared anwithin interruptiona requestclass -declaration whatwithout itusing doesthe (if anything) when one is detected, what units of work are considered atomic with respect to interruption, and how quickly it reacts to interruption." \[[Goetz 2006|AA. Bibliography#Goetz 06]\]. |
| Anchor |
|---|
instance variable | instance variable | | Wiki Markup |
|---|
*instance variable* : "An instance variable is a field declared within a class declaration without using the keyword {{static}}. If a class {{T}} has a field a that is an instance variable, then a new instance variable a is created and initialized to a default value as part of each newly created object of class {{T}} or of any class that is a subclass of {{T}}. The instance variable effectively ceases to exist when the object of which it is a field is no longer referenced, after any necessary finalization of the object has been completed." \[[JLS 2005|AA. Bibliography#JLS 05]\]keyword {{static}}. If a class {{T}} has a field a that is an instance variable, then a new instance variable a is created and initialized to a default value as part of each newly created object of class {{T}} or of any class that is a subclass of {{T}}. The instance variable effectively ceases to exist when the object of which it is a field is no longer referenced, after any necessary finalization of the object has been completed." \[[JLS 2005|AA. Bibliography#JLS 05]\]. |
| Anchor |
|---|
| interruption policy |
|---|
| interruption policy |
|---|
|
| Wiki Markup |
|---|
*interruption policy:* "An interruption policy determines how a thread interprets an interruption request - what it does (if anything) when one is detected, what units of work are considered atomic with respect to interruption, and how quickly it reacts to interruption." \[[Goetz 2006|AA. Bibliography#Goetz 06]\]. |
invariant: A property that is assumed to be true at certain points during program execution, but not formally specified. They may be used in assert statements, or informally specified in comments. Invariants are often used to prove program correctness.
liveness : Every operation or method invocation executes to completion without interruptions, even if it goes against safety.
...
