harmony:generators [ES Wiki]
This proposal has progressed to the Draft ECMAScript 6 Specification, which is available for review here: specification_drafts. Any new issues relating to them should be filed as bugs at http://bugs.ecmascript.org Overview First-class coroutines, represented as objects encapsulating suspended execution contexts (i.e., function activations). Prior art: Python, Icon, Lua, Scheme, Smalltalk. The “inf
Google Chromeに入ったジェネレータとPromiseで非同期処理に革命が起きた - 素人がプログラミングを勉強していたブログ
Google Chrome Canary（正確にはV8）に、ついにGenerators（yield）が入った。これを上手に使うと、エラー処理を含む非同期コードを同期的に書くことができるようになり、見通しが極めて良くなるので、ここで紹介する。 ここで紹介するものはいずれNode.jsでも使用できるようになるので、Webとの互換性を気にする必要のないNode.jsでは近いうちに活用できるようになると思う。 下のコードを動かすためには、最新のGoogle Chrome Canaryで、chrome://flagsからexperimental javascriptを有効にしておく必要がある。 ES6 HarmonyのGenerator構文について functionではなくfunction*というキーワードを使うと、yieldキーワードが使えるようになる。 function* range(begin
AMD Fusion Developer Summit 2011 Session Catalog
Products Processors Accelerators Graphics Adaptive SoCs, FPGAs, & SOMs Software, Tools, & Apps
Haskell — ありえるえりあ
概要 HaskellのスレッドシステムとSTMについて調べたので、ここにまとめます。 Haskellのスレッドシステムは、予想よりも複雑でした。 Haskellの世界で閉じた処理ならば、比較的簡単なのですが、 FFI(Foreign Function Interface: 外部のCの関数を呼び出す仕組み)を使うと、 とたんに複雑になってしまいます。 一度に書くと、量が多いため、数回に分けて書こうと思っています。
第53回 repaを使って行列演算を並列化する
これまで並行処理のためのデータ型として，第12回ではTVar型やMVar型，第14回ではChan型やTChan型などを取り上げてきました。一方，並列処理のためのデータ型はあまり説明してきませんでした。取り上げたのは，第10回や第24回のコラムで説明したデータ並列Haskellの並列配列くらいです。 たしかに，並列HaskellやParモナドを利用すれば，並列処理のための特別なデータ型を使わなくても並列処理は可能です。しかし，目的とする処理の並列化に特化したデータ型が用意されているのであれば，それを利用したほうが簡単かつ効率的に処理を行えます。 そこで今回は，並列処理用のデータ型の一つとして提供されている「repa（REgular PArallel arrays）」の並列配列の基本を説明します。repaはデータ並列Haskellプロジェクトの一環として開発が進められているライブラリです。デー
条件変数とダンス(Two-Step Dance)を - yohhoyの日記
条件変数(condition variable)同期プリミティブに対する待機／通知で発生する現象と回避策のメモ。 条件変数とミューテックスを使ったコードにおいて次のような現象が生じる。 スレッドAが条件変数cvに対して通知を行う。 条件変数cvに対してブロックされていたスレッドBのブロックが解除される。ただし、ミューテックスmtxはスレッドAにロック保持されたままのため、再びスレッドBはミューテックスmtxに対してブロックされる*1。 スレッドAがミューテックスmtxのロックを解放する。 ミューテックスmtxに対してブロックされていたスレッドBがブロック解除され、同ミューテックスのロック獲得に成功する。 #include <pthread.h> int data = 0; // 待機条件: 非0になるまで待機 pthread_mutex_t mtx; pthread_cond_t cv;
WebCL Working Draft
November 7, 2013 This version: https://cvs.khronos.org/svn/repos/registry/trunk/public/webcl/spec/latest/index.html WebIDL: https://cvs.khronos.org/svn/repos/registry/trunk/public/webcl/spec/latest/webcl.idl Latest version: https://cvs.khronos.org/svn/repos/registry/trunk/public/webcl/spec/latest/index.html WebIDL: https://cvs.khronos.org/svn/repos/registry/trunk/public/webcl/spec/latest/webcl.idl
mutexの制約とバイナリセマフォ - yohhoyの日記
C++11標準ライブラリのstd::mutexオブジェクトでは、ロック取得／解放を同一スレッド*1から行わなければならない。（N3337 30.2.5.2/p3） m.unlock() Requires: The current execution agent shall hold a lock on m. この制約条件のため、下記コードのmutexオブジェクト利用は未定義動作(undefined behavior)を引き起こす。 #include <thread> #include <mutex> std::mutex mtx; // mutexオブジェクト int resource; // 保護対象のリソース void proc() { // resourceを使う処理B mtx.unlock(); // (2) NG：別スレッドでロック解放...したい //... } int mai
Haskellで並行処理 - napthats’
forkIOでスレッドを起動できる。forkIOは(IOモナドに包まれた)スレッドIDを返すので、取っておいて後でkillThreadするとThreadKilled例外を投げて終了できる。 import Control.Concurrent main :: IO () main = do id <- forkIO $ subThread 0 threadDelay 5000000 killThread id subThread :: Int -> IO () subThread num = do putStrLn $ "loop " ++ (show num) threadDelay 1000000 subThread $ num + 1 スレッド間でメッセージを送受信したい場合は、MVarを使う。MVarは容量1のメッセージボックスで、既にメッセージが入ってる時に更に書き込もうとするとブ
C#次世代非同期処理概観 - Task vs Reactive Extensions
1. C#次世代非同期処理概観 Task vs Reactive Extensions 2012/3/10 #riaarch Yoshifumi Kawai @neuecc 2. Profile Name => Yoshifumi Kawai 仕事は近頃はASP.NETで、あまりRIAじゃなかったり まあ、HTML5もRIAですし！ Twitter => @neuecc HN => neuecc 読むときは“のいえ”と読ませてます サイトのドメイン（特に意味はない）を繋いだだけ で、識別子になればそれだけでいいと思って発音考 えてなかったので割とアレ Microsoft MVP for Visual C#(2011/4-)
TBBとPPL/ConcRTとブロッキング操作 - yohhoyの日記
Intel TBB(Threading Building Blocks)およびMicrosoft PPL(Parallel Pattern Library)と、タスク内からのブロッキングAPI呼び出しに関するメモ。 まとめ： TBBのスケジューラは協調的マルチタスクを行うため、タスク内から長期間ブロックする処理を呼び出すべきでない。（他タスクをスケジュールすることができず、CPUリソースの利用効率が悪化する。） PPL/ConcRT*1ではユーザモードスケジューラ(UMS; User-Mode Scheduler)スレッドが利用でき、タスク内からブロッキングAPI呼び出しを行ってもCPU利用効率が低下しない。（ConcRTでは協調ブロッキング機能を提供するため、ブロック中は他タスクがスケジューリングされる。）ただし、UMSはWindows Server 2008 R2 または Window
VISUAL C++ 2010 と Parallel Pattern Library
このブラウザーはサポートされなくなりました。 Microsoft Edge にアップグレードすると、最新の機能、セキュリティ更新プログラム、およびテクニカル サポートを利用できます。 VISUAL C++ 2010 と Parallel Pattern Library Kenny Kerr このコラムは、Visual Studio 2010 のプレリリース バージョンに基づいています。記載されているすべての情報は、変更される場合があります。 目次 言語拡張 並列アルゴリズム タスクとタスク グループ Visual C++ は、Visual Studio 2010 のリリースで大幅にアップグレードされます。言語やライブラリの新しい機能の多くは、開発者の要望をより簡単に、より自然にコードで表現できるようにすることだけを考えて設計されています。しかし、これまでと同様、これらの機能を組み合わせるこ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
threadの利用と例外安全（その1） - yohhoyの日記
C++11標準ライブラリとBoost.Threadライブラリ（Boost 1.48.0）に含まれる、threadオブジェクトのデストラクタの振る舞いと例外安全に関するメモ。 2020-12-02追記：C++2a(C++20)標準ライブラリでは、デストラクタで自動的にjoinを呼び出すstd::jthreadが追加される。std::thread動作はC++11時点と同一。 2013-02-05追記：Boost.Thread 1.50.0〜1.56.0では記事内容に関する破壊的変更が行われる。id:yohhoy:20120206 も参照のこと。 std::threadとboost::threadのデストラクタは、それぞれ下記の動作を行う。C++0xドラフト段階ではstd::threadもboost::threadと同じ動作仕様だったが、N2802の指摘をうけてC++11標準ライブラリの仕様に変
Asynchronous Fork/Join using Asio
As most Asio users will no doubt be aware, multiple threads can call io_service::run() to set up a pool of threads from which the completion handlers will be executed. This can be used in conjunction with io_service::post() to execute arbitrary tasks in the thread pool. In some rare spare moments I have used this facility to dabble in parallel algorithms (mainly to do with sorting large data sets)
アクターモデル - Wikipedia
アクターモデル（英: actor model）とは、1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した並行計算の数学的モデルの一種[1]。アクターモデルでは、並行デジタル計算の汎用的基本要素として「アクター」という概念を導入している。アクターモデルは並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用されてきた。 アクターモデルはそれ以前の計算モデルとは異なり、物理法則を発想の基本としている。他にも、LISP言語、Simula言語、ケーパビリティ・システム、パケット通信、初期のSmalltalkなどの影響を受けている。アクターモデルは「数百・数千のマイクロプロセッサから構成され、個々にローカルメモリを持ち、高性能通信ネットワークで通信を行う並列コンピュータが近い将来登場するとの予測」から開発され
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Concurrent Haskell - Wikipedia
Difference between TVar and TMVar
方法: Windows Phone Marketplace 用のスクリーンショットを作成する
Threaded OpenGL in 4.8