ThreadSafe

from Wikipedia, the free encyclopedia
ThreadSafe

ThreadSafe for Eclipse screenshot.png
ThreadSafe for Eclipse
Basic data

developer Contemplate
Current  version 1.3
(March 28, 2014)
operating system platform-independent : Linux , OS X , Windows
programming language Java
category Static code analysis
License Proprietary software
ThreadSafe at contemplateltd.com

ThreadSafe analyzes Java source code to discover the risks and vulnerabilities that result from multithreading bugs. Investment banks and other companies use ThreadSafe to locate and avoid software breakdowns in concurrent applications. Such bugs are the most insidious because they cannot be reliably discovered during testing.

Functions

ThreadSafe detects fatal multithreaded bugs in Java:

  • Race Conditions - which can cause incorrect or unpredictable results that are difficult to reproduce in a debugger.
  • Deadlocks - caused by cyclical waiting situations, with each thread waiting for a resource that is already reserved by another.
  • Unpredictable results - due to incorrect handling of concurrent collections, poor handling of runtime errors or inconsistent synchronization of objects.
  • Performance bottlenecks - due to incorrect API usage, redundant synchronization or unnecessary use of shared mutable objects.

ThreadSafe is tightly integrated with the Eclipse software development environment as well as the SonarQube software quality control platform. Information about detected errors is displayed in the development environment, directly in the source code, to help the software developer to identify and correct concurrency problems. There is also a version of ThreadSafe that can be used from the command line.

Verification of standard compliance

ThreadSafe detects violations of numerous concurrency-related rules in the CERT Oracle Secure Coding Standard for Java.

Jointly distributed products

ThreadSafe is also distributed by GrammaTech as an integrated extension of the CodeSonar source code analysis tool.

Individual evidence

  1. ^ A b Victor Grazi: ThreadSafe Concurrency Static Analysis Tool Announces First Public Release . InfoQ.com. August 28, 2013. Retrieved July 8, 2014.
  2. ↑ a b c d Darryl Taft: Contemplate Delivers ThreadSafe Java Concurrency Static Analysis Tool . DevX.com. September 4, 2013. Retrieved July 8, 2014.
  3. ↑ a b c Robert Atkey: Discover and Diagnose Java Concurrency Problems Using Contemplate's ThreadSafe . InfoQ.com. January 14, 2014. Retrieved July 8, 2014.
  4. ^ A b c Robert Atkey, Donald Sannella: ThreadSafe: Static Analysis for Java Concurrency . In: European Association of Software Science and Technology (Ed.): Electronic Communications of the EASST . 72, 2015. doi : 10.14279 / tuj.eceasst.72.1025.995 .
  5. ↑ Ritobaan Roy: Software Errors: New Technology Briefing For CFOs . CFO Insight. May 1, 2013. Archived from the original on October 14, 2013. Retrieved on July 8, 2014: “It claims to have developed technology [this refers to ThreadSafe as explained in the caption which is missing from the archived version] that can identify errors in software code that don't pop up regularly enough to be detected by conventional tools. "
  6. ^ Paul Rubens: Why Software Testing Can't Save You From IT Disasters . CIO.com. March 12, 2014. Retrieved July 8, 2014.
  7. ↑ Matt Raible: Contemplate ThreadSafe Introduces Deadlock Detection . InfoQ.com. June 26, 2014. Retrieved July 8, 2014.
  8. ↑ SEI CERT Oracle Coding Standard for Java . Software Engineering Institute, Carnegie Mellon University. Retrieved March 18, 2016.
  9. ^ Conquering Complex Java Concurrency Bugs with CodeSonar . GrammaTech white paper. April 2014. Retrieved July 8, 2014.

Web links