Threads preserve class invariants when they are allowed to exit normally. Programmers often attempt to terminate threads abruptly when they believe the task is complete, the request has been canceled, or the program or Java Virtual Machine (JVM) must shut down expeditiously.
Certain thread APIs were introduced to facilitate thread suspension, resumption, and termination but were later deprecated because of inherent design weaknesses. For example, the Thread.stop()
method causes the thread to immediately throw a ThreadDeath
exception, which usually stops the thread. More information about deprecated methods is available in rule MET02-J. Do not use deprecated or obsolete classes or methods.
Invoking Thread.stop()
results in the release of all locks a thread has acquired, potentially exposing the objects protected by those locks when those objects are in an inconsistent state. The thread might catch the ThreadDeath
exception and use a finally
block in an attempt to repair the inconsistent object or objects. However, this doing so requires careful inspection of all synchronized methods and blocks because a ThreadDeath
exception can be thrown at any point during the thread's execution. Furthermore, code must be protected from ThreadDeath
exceptions that might occur while executing catch
or finally
blocks [Sun 1999]. Consequently, programs must not invoke Thread.stop()
.
Removing the java.lang.RuntimePermission stopThread
permission from the security policy file prevents threads from being stopped using the Thread.stop()
method. Although this approach guarantees that the program cannot use the Thread.stop()
method, it is nevertheless strongly discouraged. Existing trusted, custom-developed code that uses the Thread.stop()
method presumably depends on the ability of the system to perform this action. Furthermore, the system might fail to correctly handle the resulting security exception. Additionally, third-party libraries may also depend on use of the Thread.stop()
method.
Refer to rule ERR09-J. Do not allow untrusted code to terminate the JVM for information on preventing data corruption when the JVM is abruptly shut down.
...
Because the Vector
class is thread-safe, operations performed by multiple threads on its shared instance are expected to leave it in a consistent state. For instance, the Vector.size()
method always returns the correct number of elements in the vector, even after concurrent changes to the vector, because the vector instance uses its own intrinsic lock to prevent other threads from accessing it while its state is temporarily inconsistent.
...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
THI05-J | lowLow | probableProbable | mediumMedium | P4 | L3 |
Related Guidelines
POS47-C. Do not use threads that can be canceled asynchronously | |
CWE-705. , Incorrect Control Flow Scoping |
Android Implementation Details
On Android, Thread.stop()
was deprecated in API level 1.
Bibliography
[API 2006] | ||
[Sun 1999] |
| |
Section 24.3, "Stopping a Thread" | ||
Chapter 7, "Cancellation and Shutdown" | ||
Concurrency Utilities, More information: Java Thread Primitive Deprecation | ||
[JPL 2006] | Section 14.12.1, "Don't Stop; " | |
Section 2.4, "Two Approaches to Stopping a Thread" | ||
[ | Goetz 2006Chapter 7, Cancellation and Shutdown |
|
...