InfoQ

InfoQ

News

マイブックマーク

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

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

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

Erlangは並列処理時代の新たなJavaとなるのか?

作者 Niclas Nilsson , 翻訳者 編集部 投稿日 2007年8月24日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
Architecture ,
Java ,
プログラミング
タグ
Concurrency ,
Parallel Programming

コンピューティングの未来は並列処理の時代となるだろう。 今日デスクトップCPUでさえもマルチコアであり、またユーザー達はサーバ用のCPUを次々と購入している時代でありまた彼らの新たな財産を最大限に利用するためアプリケーションが効率よくスケールアウトすることをが期待されているのだ。しかしそれは現在のソフトウェアシステムでは実現しないのだ。 

その問題自体が難しいことなのだが、同言語内の他の抽象性に比べると通常プログラミングに使用されている言語の並列性メカニズムが低いことに関してはなんの助けにもならない。

Ralph Johnson氏はErlang次世代のJavaに成りえることに関してブログを記載している。 Erlangは基本的にインタープロセスコミュニケーションにおいて異なる考え方をするものでありまたRalphはErlangスタイルの並列性は容易に他の言語に追加することができることができても競合の問題が発生する。

近い将来他の言語がErlangに追いつくことはないだろう。 Erlangのような言語機能を追加するのは簡単なことなのだ。 そのような高品質のVMや並列性、信頼性のための熟練したライブラリを構築するのには大変な時間を要するのだ。だからしてErlangには成功する道しか残されていないのだ。 この先数年間でマルチコアアプリケーションを作りたければErlangに目を向けるべきである。

そして他のフリーの機能がもっとあるかもしれない。 Erlangの開発者であるJoe Armstrongはスケーラビリティ、誤作動許容性、そしてランタイムアップグレーダブルシステムへの挑戦は同じ解決策を有していると述べている。  彼はこれらの問題が異なる種のものであっても :

”誤作動許容は簡単にスケーラブルにすることができるし簡単に作られているのでサービス内でアップグレードすることができるのだ。”と述べている。

Armstrong氏は誤作動発見とステーブルストレッジ用の機能をElrangが所有していることを認めている。Erlangはテレコムシステムによって作られたものであるのでこれらの見解は全て重要になってくるのだ。そしてEricssonは99.9999999%のアップタイムでErlangを開発したのだ。 それは1年で31msのダウンタイムという計算になる。

The Erlangはシェアードステートを所有していることによってではなく、主要な言語とはことなる並列性を引き受けている。  プロセスはとても軽量なものでもしも一つのプロセスが他のプロセスとコミュニケートするとすればメッセージングによってそれは行われる。 このアーキテクチャはプロセス、またはスレッド間でシェアードメモリを使用しているシステムと異なる方法でシステムをスケールアウト、また配布することを可能にしている。並列性に関するこの考え方に関してもっと深く掘り下げるにはSlava Akhmechet氏著の入門書を読むと良いだろう。(ただしErlangに関する知識は必要となる。)

もしかすると他の方法で並列性問題にとりかかる時期なのかもしれない。もしかすると新しい言語を学ぶ時期でさえあるのかもしれない。

特集コンテンツ一覧

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 のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。