BT

新しい あなたは、アーリーアダプター?それともイノベーター?そんな皆様に、InfoQの新機能をご案内しています。詳細はこちら

Contemplate ThreadSafeがデッドロック検出機能を導入

| 作者: Matt Raible フォローする 1 人のフォロワー , 翻訳者 吉田 英人 フォローする 0 人のフォロワー 投稿日 2014年7月6日. 推定読書時間: 1分未満 |

原文(投稿日:2014/06/26)へのリンク

1.3.1 Deadlock Detailsデッドロック検出ルールを新たに備えた,ContemplateのThreadSafeバージョン1.3.1が公開された。ロックを獲得する順序が原因で,デッドロックする可能性のあるコードを検出する機能を備える。デッドロックを検出すると,どのロック獲得が原因となっているかを報告する。右に示すのは,この検出を同社のEclipseプラグインを使用して実行した場合の例だ。

InfoQでは,ThreadSafeの最初の公開リリースを2013年8月にレポートした際に,すべての状況をキャッチできていないことを指摘した。

InfoQで潜在的な"死の抱擁(deadly-embrace)"デッドロックをコードベースに挿入したところ,ThreadSafeではそれを検出することができなかった。

1.3.1リリースではこの問題が修正され,ロックの循環的な依存から発するデッドロックを検出できるようになった。

リリースでは,ルールの予測精度が改善された他,Eclipseプラグインとコマンドラインインターフェースが細かな部分で数多く改良され,6つの新ルールが導入されている。

ThreadSafeについてさらに知るためにInfoQは,Contemplateの創業者でCEOであるDon Sannella氏に話を聞いた。

InfoQ: ThreadSafeが初めてリリースされたのは,2013年8月でしたね。採用の状況はどうでしょうか?

実際に利用が始まったのは11月に,2週間のフリートライアルを開始してからです。それ以降はさまざまな分野で,高品質なコードのメンテナンスを意識している個人開発者やチームに採用されています。

InfoQ:1.3.1ではデッドロック検出機能が追加されましたが,次のリリースには何が予定されているのでしょう?

ThreadSafe 1.3.2は大規模なプロジェクトでも使用可能なようにより高速でメモリ効率のよいものになると共に,古いJavaバージョンのサポートも改善されます。

InfoQ: Eclipse, Sonar, コマンドラインの中で,もっとも広く利用されている使用パターンはどれですか?

今のところ,EclipseとSonarが多いですね。コマンドライン版は1.3で新たに加えられました。デスクトップでもビルドサーバ上でも使用できるので,これから関心が高まるのではないかと思います。

InfoQ: IntelliJ用のプラグインをリリースする予定はありますか? NetBeanについてはどうでしょう?

IntelliJのプラグインは用意したいと思っていますが,現時点ではEclipse, Sonar, コマンドライン用の製品に注力しています。その他のIDEのユーザには,同じ機能を持ったコマンドライン版を提供しています。

InfoQ:オープンソースプロジェクトに対して,ThreadSafeのフリーライセンスを提供する計画はありますか?

すでにオープンソースプロジェクトやユーザ教育用の要求に対して,フリーライセンスを提供しています。同じようなリクエストは歓迎です。

InfoQ: その他の製品も開発しているのでしょうか,あるいはThreadSafeに集中する予定なのでしょうか?

現在のところはThreadSafeに重点を置いています。カバレッジや正確性の改善,Androidに関するナレッジの追加などを行う予定でいます。

ThreadSafeに関する詳細な情報は,ContemplateのシニアエンジニアであるRobert Atkey氏がInfoQに寄せた記事 " Discover and Diagnose Java Concurrency Problems Using Contemplate's ThreadSafe"を参考にしてほしい。ThreadSafeを紹介したYouTubeビデオ "Introducing Contemplate ThreadSafe"でも,製品の概要が手短に紹介されている。

ThreadSafe 1.3.2は次週内にリリースされる予定だ。

この記事に星をつける

おすすめ度
スタイル

こんにちは

コメントするには InfoQアカウントの登録 または が必要です。InfoQ に登録するとさまざまなことができます。

アカウント登録をしてInfoQをお楽しみください。

あなたの意見をお聞かせください。

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

このスレッドのメッセージについてEmailでリプライする
コミュニティコメント

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

このスレッドのメッセージについてEmailでリプライする

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

このスレッドのメッセージについてEmailでリプライする

ディスカッション

InfoQにログインし新機能を利用する


パスワードを忘れた方はこちらへ

Follow

お気に入りのトピックや著者をフォローする

業界やサイト内で一番重要な見出しを閲覧する

Like

より多いシグナル、より少ないノイズ

お気に入りのトピックと著者を選択して自分のフィードを作る

Notifications

最新情報をすぐ手に入れるようにしよう

通知設定をして、お気に入りコンテンツを見逃さないようにしよう!

BT