相互排除問題，際どい部分，そして並行プログラミング
複数の実行中のプログラム（プロセス）が関わる処理では，必ず排他制御が問題になる． 複数のプロセスがあらかじめ許容された同時アクセス数を越えて共有資源を使おうとすれば， どのプロセスにアクセスを許し，どれに許さないかを，決めなくてはならない． これを mutual exclusion problem 日本語では相互排除問題という． この相互排除問題について，最近岩波書店より 「相互排除問題」（以下「本書」とする） というそのものズバリの本が先月2011年4月に出版された． 著者は土居範久先生．日本におけるこの分野の第一人者である． 本書の参考文献リストを見ると，ほとんどの文献が 1990年以前に書かれている．しかし，内容はいささかも古いものではなく， 現在のマルチコア環境，あるいは分散ネットワーク環境において課題となっている 同期と相互排除に関する問題のほとんどを網羅している． 言い換えれば
The JoCaml system
What's JoCaml? JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming. The new JoCaml is a re-implementation of the now unmaintained JoCaml by Fabrice Le Fessant. With respect to this previous implementation, main changes are: Numerous syntax changes, we believe the new syntax to be cleaner. Disparition of mobility features, sacrifie
Erlang: Impressed with Haskell's concurrency
I have been playing with both Ocaml and Haskell* lately. In Ocaml, I have been rewriting a lot of simple Python scripts I use at work to see how they compare. They tend to be faster and more trustworthy. Ocaml, though, has pretty bad concurrency support. They have some thread library that wraps the OS threads, no real good message passing interface. Even the guys at Jane St have listed that as a c
第11回 クロージャによる超軽量並行プロセスの簡単実装法
最近，ネットの一部で「Erlang」（発音はアーランまたはエアラン）というプログラミング言語が流行している（参考リンク）。Erlangはスウェーデンの通信機器メーカーであるエリクソンにて開発された言語で，エリクソン内部や通信業界はもちろん，Twitter（関連記事）などのオンライン・サービスでも採用されているという。 Erlangの特徴は，複数のプロセスが通信をしながら計算をする「並行プログラミング」を，言語の機能として強力にサポートしていることだ。C言語などの逐次プログラミング言語は，プロセスや通信の機能を内蔵しておらず，こうした機能をオペレーティング・システムに「外注」している。しかし，そのような外付けの仕組みは，メモリー消費量や速度，開発効率などの点でオーバーへッドが大きい。Erlangのような並行プログラミング言語では，プロセスや通信といった機能をプリミティブとして実装することによ
1台のマシンで並列実行するためのMapReduceフレームワークを作ってみた - きしだのHatena
ブックマークのコメントに 1台でもGbyte単位のデータを処理可能なプログラムを簡単に書けるのは十分なメリットだと思う。 とあったので、ついカッとなって作ってみた。 サンプルは前と同じく、クラスがJavaソース中でimportされている回数を数えるもの。 mapreduceメソッドを適当に呼び出せばおっけーです。 こんな感じの結果ファイルが生成されました。 java.io.FileOutputStream 1 java.io.FileReader 1 java.awt.Graphics 1 java.io.Reader 1 java.awt.event.* 3 java.io.BufferedReader 3 書いてみたら動いたというレベルなので、実際に使うにはちゃんと例外処理とかをやってください。 ソースはこんな感じ import java.io.*; import java.lang.
Yariv’s Blog » Blog Archive » Erlang-Style Concurrency in Google Gears
Erlang-Style Concurrency in Google Gears Posted by Yariv on July 23, 2007 I heard about Google Gears when it came out a few weeks ago, but only a couple of days I took it for a short test drive. I was surprised to see that Google Gears uses Erlang-style concurrency (well, sort of). Google Gears supports asynchronous background processing using the WorkerPool module, which lets your Google Gear
Erlangの+Aオプション - みかログ
Erlangでは，+Aオプション付きで起動することで，async thread pool を作成し，ブロックするいくつかのオペレーションを別スレッドで処理することが出来る． デフォルトは0なので，通常は無効． 通常は非smpカーネルなら1つ，smpカーネルならCPUコアと同数のスケジューラスレッドが起動し，このスケジューラスレッドがErlangのコードを実行する． （-smp オプションをつけたときは，+S オプションでスケジューラスレッドの数を変更可能） で，ブロックするシステムコールを呼ぶと，スケジューラスレッドが応答待ちをしてしまうので，効率が悪くなってしまう． +A オプションを使って async thread pool を追加すると，このブロックしてしまう処理をasyncスレッドへ移動でき，スケジューラスレッドは別のErlangコードの実行を続けることが出来る． その結果，I/O
)
Paxos (computer science) - Wikipedia
5.5 Graphic representation of the flow of messages in the basic Paxos
moratorium | SC08 参加記
SC08 参加記 ２週間ほど前になりますが、スーパーコンピューティング系で最高峰の学会であるSCに参加してきました。既にいくつか記事を挙げられている方々がいらっしゃいます。 SC08小柳レポート Cheer! High Performance Computing まず驚いたのは、SCは学会等いうよりはさしずめ展示会という雰囲気だったことです。幕張メッセみたいな会場をイメージして頂けると良いです。そこで各企業が色々な出展をしています。 またSCはTop500が発表される事でも有名です。今回はRoadRunnerというCellを積んだクラスターが１位でした。世界で初めて1ペタフロップスを達成したシステムです。展示フロアではラックが展示されていたので説明を聞いてきました。 RRはブレードサーバー群で構成されており、4ブレードで1ノードというシステムです (図)。合計約6000ノードです。4ブレー
サーバー並行性は現実，クライアント並行性は未来 - Radium Software
Sutter's Mill - Server Concurrency != Client Concurrency Exceptional C++ の著者として有名な Herb Sutter さん。最近はソフトウェアの並行性 (concurrency) に関する啓蒙活動を精力的に行っている。その活動の一部は Dr. Dobb's の記事や氏のブログなどで見ることができる。 ソフトウェアの並行性や，それによって得られるスケーラビリティが，どれだけ重要なことかというのは，例えば Google が提供している様々なサービスなどを見てみれば実感できることで，最近ではそれほど珍しい考えではなくなっていると思う。 でも，それはあくまでもサーバー側の世界で起こっていることの話。 Google が持っているようなサーバーには，気の遠くなるような量のデータが格納されていて，それに対してとんでもない数のリクエス
マルチコアでスケールしないErlang その２ - みかログ
telnet接続で計算問題を出題する (fujishinko 雑記帳) jquery history プラグインアップデート (みかログ) Logicool MX Revolution (RedWing's Blog) Erlang で memcached を作ってみました。 (DSAS開発者の部屋) [erlang]proc_lib で echoserver を書き直した (cooldaemonの備忘録) [security] PHPのセキュリティ続き (Angelic Wing) [Erlang][Programming][Erlday][Comet][Yaws] Erlang for everyday use (3) (ZHlog) [Prog (ひおにっき) [Prog (ひおにっき) ErlangからPerlを使う (404 Blog Not Found) というわけでスケールし
マルチコア危機：ScalaとErlangの対立
ブロゴスフィアでは最近Scala対Erlangの議論がややヒートし続けている。マルチコアの世界(参考記事)が訪れようとしている今、いかにマルチコア危機を解決するかが問題になっている。ScalaとErlangはその解決法たらんとしている言語だが、少し違いがある。それぞれのアプローチの長所短所はなんだろうか？ 問題 ムーアの法則はもう通用しない。かつてのようなクロック周波数の向上(リンク)は見込めず、かわりにコアの数を増やそうとしている。今の時代、あなたのノートPCでさえも2つコアを搭載していることだろう。 2つ以上のコアを有効に使うには、アプリケーションが並列処理を意識してないといけない。もしあなたの顧客が8コアのマシンを買ったとしたら、たとえそれをあるアプリケーションの専用マシンにしたとしても、そのアプリケーションがCPU性能の12%しか使えなくてもおかしくない、とあなたは顧客にどうにかし
8章 Rinda
I like Ruby. (07-05) 借り物人生 (07-05) 通販生活 (07-05) I like iPod (05-24) RWiki (05-14) Download (05-14) ソフトウェア・シンポジウム 2003 (04-28) ruby-amazonでAmazonWebService (04-16) DI ary (04-05) KoyaなTropy (03-29) Rindaは分散処理システムLindaのtuple spaceのRubyによる実装です Lindaではタプルとタプル空間の二つの概念があります。 タスクはタプルをタプル空間へ書き込んだり、 タプル空間からタプルを取り出したりすることで通信を行ないます。 Lindaのモデルはきわめて単純ですが、 複雑なプロセス間通信を容易に記述することができます。 この章ではLindaのRubyによる実装であるRinda
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
乌克兰美女高潮呻吟_国产精品午夜剧场免费观看_5566先锋影音夜色资源站在线观看_亚洲区欧美区小说区在线
Erlang, or Utility-computing vs. Appliance-computing « X marks reality
IBM Developer
Sign in - Google Accounts
IBM Developer
Google Code Archive - Long-term storage for Google Code Project Hosting.
新しいJavaの並行処理機能: Phasers