| 157 |
|
|
| 158 |
|
<li>An unlock (<tt>synchronized</tt> block or method exit) on a |
| 159 |
|
monitor happens before every subsequent lock (<tt>synchronized</tt> |
| 160 |
< |
block or method entry) that same monitor. |
| 160 |
> |
block or method entry) of that same monitor. |
| 161 |
|
|
| 162 |
|
<li>A write to a <tt>volatile</tt> field happens before every |
| 163 |
|
subsequent read of that same field. |
| 164 |
|
|
| 165 |
< |
<li>A call to <tt>start</tt> on a thread happens before any actions in the |
| 165 |
> |
<li>A call to <tt>start</tt> on a thread happens before any action in the |
| 166 |
|
started thread. |
| 167 |
|
|
| 168 |
|
<li>All actions in a thread happen before any other thread |
