スレッドセーフ

スレッドセーフ
Eclipse の ThreadSafe
開発者	熟考する
安定版リリース	1.3 / 2014年3月28日 （2014年3月28日）
オペレーティング·システム	クロスプラットフォーム: Linux、OS X、Windows
タイプ	静的コード分析
ライセンス	独自のソフトウェア
Webサイト	www.contemplateltd.com/threadsafe​​​

ThreadSafeは、Javaコードベースにおける並行性に関連するアプリケーションリスクとセキュリティ脆弱性を、プログラム全体のプロシージャ間解析を用いて特定するソースコード解析ツールです。^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} ThreadSafeは、複雑な環境で実行される並行アプリケーションのソフトウェア障害を識別し、回避するために使用されます。^{[ 1 ] [ 2 ] [ 5 ] [ 6 ]}

特徴

ThreadSafeはJavaの並行性欠陥を検出します: ^{[ 2 ] [ 3 ] [ 4 ]}

• 競合状態– デバッガーで再現するのが難しい、誤った動作や予測できない動作につながります。
• デッドロック^{[ 7 ]} – 共有リソースを待機するスレッド間の循環的な待機によって発生します。
• 予期しない結果 - 同時コレクションの不適切な処理、不適切なエラー処理、または混合オブジェクトの同期によって発生します。
• パフォーマンスのボトルネック – 不適切な API の使用、冗長な同期、共有された可変状態の不必要な使用によって発生します。

ThreadSafeは、Eclipseソフトウェア開発環境およびSonarQubeソフトウェア品質管理プラットフォームと統合されています。開発環境内でコンテキスト情報が提供され、開発者はコード内で直接、並行性の問題を調査・解決することができます。^{[ 2 ] [ 3 ] [ 4 ]} Eclipse以外のIDEユーザーやビルドプロセス統合のために、コマンドライン版も提供されています。

基準の遵守を確認する

ThreadSafeは、CERT Oracle Secure Coding Standard for Javaの並行性に関する規則違反を検出します。^{[ 8 ]}

参照

• 静的コード解析ツールの一覧

参考文献

1. Grazi, Victor (2013年8月28日). 「ThreadSafe並行性静的解析ツールが初の一般公開を発表」 . InfoQ.com.
2. Taft, Darryl (2013年9月4日). 「Contemplate、ThreadSafe Java同時実行性静的解析ツールを提供」 . DevX.com.
3. Atkey, Robert (2014年1月14日). 「ContemplateのThreadSafeを使用してJavaの並行性の問題を発見および診断する」 . InfoQ.com.
4. Atkey, Robert; Sannella, Donald (2015). 「ThreadSafe: Javaの並行性のための静的解析」. Electronic Communications of the EASST . 72. doi : 10.14279/tuj.eceasst.72.1025.995 .
5. Roy, ​​Ritobaan (2013年5月1日). 「ソフトウェアエラー：CFO向けの最新テクノロジーブリーフィング」 . CFO Insight. 2013年10月14日時点のオリジナルよりアーカイブ。
6. Rubens, Paul (2014年3月12日). 「ソフトウェアテストではIT災害から逃れられない理由」 . 2ページにThreadSafeへの言及あり. CIO.com. 2014年3月14日時点のオリジナルよりアーカイブ。2014年4月18日閲覧。
7. Raible, Matt (2014年6月26日). 「Contemplate ThreadSafeがデッドロック検出機能を導入」 . InfoQ.com.
8. 「SEI CERT Oracle Coding Standard for Java」。カーネギーメロン大学ソフトウェア工学研究所。 2016年3月18日閲覧。

外部リンク

• 公式サイト