ロック（ミューテックス）の再入可能性：柴田 芳樹 (Yoshiki Shibata)：So-netブログ
Go言語で提供されているsync.Mutexは、再入可能（re-entrant）ではありません。それについては、『プログラミング言語Go』（p,306）には次のように書かれています。 Go のミューテックスが再入可能ではないことには正当な理由があります。ミューテックスの目的は、共有された変数のある種の不変式がプログラム実行中の重要な時点で維持されているのを保証することです。不変式の一つは、「共有された変数へアクセスするゴルーチンが存在しない」*2ですが、ミューテックスが保護しているデータ構造に特有の追加の不変式が存在するかもしれません。一つのゴルーチンがミューテックスロックを獲得したときには、そのゴルーチンは不変式が維持されていると想定するでしょう。ロックを保持している間に共有された変数が更新され、一時的に不変式が破られるかもしれません。しかし、ロックを解放するときには、秩序が回復されて不
Lock-free programming for the masses · KC Sivaramakrishnan
Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. In this post, I will introduce reagents, a composable, lock-free concurrency library for expressing fine-grained parallel programs on Multicore OCaml. Reagents offer a high-level DSL for experts to specify efficient concurrency libraries, but also allows the consumers of
1024cores - Non-intrusive MPSC node-based queue
Advantages: + Waitfree and fast producers. One XCHG is maximum what one can get with multi-producer non-distributed queue. + Extremely fast consumer. On fast-path it's atomic-free, XCHG executed per node batch, in order to grab 'last item'. + No need for node order reversion. So pop operation is always O(1). + ABA-free. + No need for PDR. That is, one can use this algorithm out-of-the-box. No need
ParallelとConcurrentについて少し考えてみる - 日々の御伽噺
並列(Parallel)と並行(Concurrent)の違いについて - Togetter 大学院生のころ、やたらとプログラミング言語やその実行環境について色々調べていた頃があって、そのときもこの辺の扱いが曖昧な感じで説明されていたのでもやっとしていたのだが、当時「なるほど」と思った文章がWebに公開されていた。 それがこれ。 Java並列プログラミングTips（オリジナルの文章はすでにないようなので、Internet Archiveから取得） ここから引用すると、ParallelとConcurrentの違いは以下のようであると説明されている。 逐次(sequential)処理：(比較のため用意した．)ある処理の順番が完全に 一次元で表現できるような処理．シングルスレッド／シングルプロセスの処理 とほぼ等価．並行，又は並列の反対語．あくまでプログラムのレベルにおいて 逐次で記述しているだけ
Dissertation • Publications • Sam Elliott • Developer & Researcher
A Concurrency System for Idris & Erlang My Bachelors Dissertation at the University of St Andrews • Supervisor: Dr Edwin Brady Abstract Concurrent programming is notoriously difficult, due to needing to reason not only about the sequential progress of any algorithms, but also about how information moves between concurrent agents. What if programmers were able to reason about their concurrent progr
π-calculus - Wikipedia
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The π-calculus has few terms and is a small, yet expressive language (see § Syntax). Functional prog
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Locks, Mutexes, and Semaphores: Types of Synchronization Objects | Just Software Solutions - Custom Software Development
A Specialized B-Tree for Concurrent Datalog Evaluation | Soufflé • A Datalog Synthesis Tool for Static Analysis
Split-ordered linked list: lock free hash table
STMの設計と進化