Lamport's bakery algorithm experiment in C ランポートのパン屋のアルゴリズム例をC言語で書いてみる PCDPはもう大体良いといわれたけど、微妙にわかってないので実装してみる。 まずはじめに、沢山のthreadで排他処理せずに、共有メモリをインクリメント…

Chapter 4 Semaphores 4.1 Introduction セマフォについて論議する。 Wait(S) : Sが0以上の場合、Sをデクリメントする。それ以外のとき、waitを実行したプロセスを一時停止する。 Signal(S) : このセマフォによって一時停止させられているプロセスがあった場…

Chapter3 The Mutual Exclusion Problem 3.1 Introduction Mutexの実装方法について議論する 1. Critical_Sections の中の処理は2プロセス以上にinterleavedされてはならない(同時に実行されてはならない） 2. Critical_Sectionは？？(英語が読めない…） 3. …

Chapter2 The Concurrent Programming Abstraction 2.1 Introduction ok 2.2 Interleaving 処理時間が違っても、処理順番が同じであれば同じと考える。 システムの処理速度は時とともに変わってしまうので、それで動かなくなっては困るため。 どのようなInte…

Principles of Concurrent and Distributed Programming (Prentice-Hall International Series in Computer Science)作者: M. Ben-Ari出版社/メーカー: Addison Wesley発売日: 2006/02/24メディア: ペーパーバック クリック: 14回この商品を含むブログ (3件)…

19章「クエリコンパイラ」 19.1 データベース ok 19.2 パターンマッチングクエリ ok 19.3 クエリインタプリタ かなり複雑な再帰だ 19.4 束縛に関する制限 notの挙動が今ひとつわからない。 19.5 クエリコンパイラ やべー鬼難しい。 とりあえず読み飛ばす。後…

18章「分配」 18.1リストに対する分配 ok 18.2他の構造 > (dbind (a b c) #(1 2 3) (list a b c)) (1 2 3) > (dbind (a (b c) d) '( 1 #(2 3) 4) (list a b c d)) (1 2 3 4) > (dbind (a (b . c) &rest d) '(1 "fribble" 2 3 4) (list a b c d)) (1 #\f "rib…

15章 関数を返すマクロ 15.1 関数の構築 引数ひとつだし、あまり強力でない気がする。 mapなどに使うのにはいいかもしれない。 ok 15.2 Cdr部での再帰 (defmacro alrec (rec &optional base) "cltl2 version" (let ((gfn (gensym))) `(lrec #'(lambda (it ,g…

13章「コンパイル時の計算処理」 新しいユーティリティー この例は微妙な気がする。 Bezier曲線 定数値が与えられるなら、コンパイル時に計算を移せる。 普通ならコンパイラがやる機能を人間ができる。 ok 14章「アナフォリックマクロ」 アナフォリックな変…

12章 「汎変数」 概念 ok lispらしくなってきた。 複数回の評価に関わる問題 副作用コードを評価してから渡したいが、評価すると場所を表す式じゃなくなってしまう。 define-modify-macroは3個の引数を取る． 定義したいマクロの名前 （汎変数の後に）取るか…

11章「古典的なマクロ」 コンテキストの生成 when-bind*じゃなくて when-let*でいいんじゃないだろうか。 (defmacro when-let* (binds &body body) (if (null binds) `(progn ,@body) `(let (,(car binds)) (and ,(caar binds) (when-let* ,(cdr binds) ,@bo…

引数の評価の回数 これはかなり重要。 展開形の中で複数回引数を使うなら、letで束縛すべき。 評価の順番 これは重要だ。あまり気にしないことも多いので注意しないと。 マクロ展開関数の副作用 こういうことはしない。 でもinternはaifとかで使う。 ok 再帰…

環境を作る場合は、補足されてはいけない変数はgensymなどで隠す。 packageなども使える場合がある。 ok

ok

突然ですが、On lispを読んでいます。 http://www.komaba.utmc.or.jp/~flatline/onlispjhtml/index.html Web版は↑にあります。 マクロはどのように動作するか マクロ定義とは実質的にLispコードを生成する関数である. Lispのマクロは並外れて強力である． な…