InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

新しいJavaの並行処理機能: Phasers

作者 R.J. Lorimer , 翻訳者 佐野 徹郎 投稿日 2008年7月24日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
Java ,
JCP Standards ,
パフォーマンス&スケーラビリティ
タグ
Concurrency ,
JCP

先日、JSR 166(リンク)(並行処理ユーティリティ)の仕様リードであるDoug Leaは、JSR-166yに導入されるPhasersという新しい機能について、166yのConcurrency-interest(リンク)メーリングリストに投稿した。

これまで、ForkJoinTasksに限定されていた、forkjoin.TaskBarrierクラスの柔軟なバリア機能は、あらゆる種類のタスクに適用される、(j.u.c.forkjoinではなく、j.u.cの対象となる)Phaserクラスとして作り直されます。

「Phaser」のコンセプトと名称は、ライス大学のチームによる、このホワイトペーパーの中で(PDF・英語)作られた。この名称は、フェーズの順序付け(Phase ordering)とデッドロックの回避(Deadlock avoidance)という特性の構築に由来する。このホワイトペーパーでは、Phaserのいくつかの詳細について説明している。Phasersと既存のJavaの機能を比較するときに、(Java 5で導入された)CyclicBarrierクラス(リンク)と同様の機能をサポートすると説明されることがあるが、本質的にPhasersはより柔軟だ。

java.util.concurrent.CyclicBarrierクラスは、スレッドの集合に対する同期化の、定期的なバリアをサポートします。しかし、CyclicBarrierはPhasersと異なり、スレッドの動的な追加や削除をサポートせず、一方向の同期化や分割フェーズの操作もサポートしません。

さらなるバリアの実装を検討する、主な動機の一つは、バリアの同期化コンセプトの柔軟性を向上させるだけでなく、パフォーマンスとスケーラビリティも向上させることだ。

3つの異なるSMPプラットフォームでの、ポータブルなPhasersの実装から得られたパフォーマンス結果は、それらが一般的かつ安全な特性による、生産性のメリットに加えて、既存のバリアの実装よりも、優れたパフォーマンスを提供できることを証明しました。

Doug Leaが述べたように、JSR-166yのためのPhaserの実装は、既存のfork/joinフレームワークの実装をもとに、作り直されている。fork/joinフレームワークについては、これまでにもInfoQで繰り返し取り上げたように(参考記事1・英語) (参考記事2)、来たるべきJSR-166yの中心的な機能の一つで、フレームワークの目的と用法を説明する、Doug Leaのホワイトペーパーの主題でもある (PDF・英語) 。上記のTaskBarrierクラスは、さまざまなタスク間の境界を管理し、それらの結果をマージするために、つまり、タスクをジョインするために、fork/joinフレームワークによって利用される。


JSR-166yにおけるPhaserクラスの、ドラフトJavadocも(リンク)見ることができる。Leaは、Concurrency-interestメーリングリストへのメールで、これはまだドラフトであると明言している。

コメントや提案は、いつでも大歓迎です。このAPIは、さらなる利用を検討するため、そしてまた、できれば、もっと良いメソッド名にするため、少し変更するかもしれません。

現在のところJSR-166yは、Java 7の一部として含まれることが、予定されている。

原文はこちらです:http://www.infoq.com/news/2008/07/phasers

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。