[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re:FYI- JProbe Threadalyzer
The Threadalyzer (difficult to write that 'alyzer thing) seems to
do run-time verification of everything. It needs 64MB, strongly
recommended 96MB of RAM! Typical American approach: test afterwards!
ThreadAlyzer runs your Java programs to look for threading errors
while the program runs. It gathers the information and reports the
threading error by highlighting the error in the source code so you
can easily fix the problems. Threadalyzer helps you debug common
problems with multi-threaded Java programs, including deadlocks,
thread stalls and data races.
1. Will it warn all usage of JCSP/CTJ?
It will warn if any "wait" does not acquire a lock within
a user-defined timeout. Isn't this how standard 100% OK wait
for a channel etc. is done?
2. Will it warn all usage of JCSP/CTJ? (2)
Same thing, but warn if "wait" is called with no timeout
and "notify" isn't there within a user-defined timeout.
3. Data race hunting - is occam clean?
It defines a race condition as "when two threads simultaneously
contend for the same object and, as a result, leave the object
in an undefined state".
Run-time version of occam usage rules?
| Oyvind Teig | oyvind.teig@xxxxxxxxxxxx |
| Navia Maritime AS, division Autronica | oyvind.teig@xxxxxxxxxxxx |
| 7005 Trondhem | http://www.navia.no | Tel:+47 73 58 12 68 |
| Norway |http://www.autronica.no | Fax:+47 73 91 93 20 |