Takeru Ohta sile

第三部動くサンプル

ある程度大きな規模の実際に動くサンプルを呈示する

開発が「快適である」状態を維持するために、テストコードに求める質について述べる。

相互排除は、マルチプロセッサプログラミングで最も普及している調整手段
この章は、共有メモリを用いた古典的な相互排除アルゴリズムを取り扱う
- 現実では使われていない。しかし、
  - 相互排除アルゴリズムや正確性問題、同期について考える際の入り口としては理想的
- 不可能性の証明も導入する
  - 共有メモリを用いた相互排除では何が実現できないか、を教えてくれる
アルゴリズムの証明を行っているまれな章でもある

物理プランの生成および最適化がテーマ。

物理プラン:

	%% http://erlang.org/pipermail/erlang-questions/2006-January/018812.html
	-module(abst_to_src).
	-export([transform/2]).

	transform(BeamFName, ErlFName) ->
	case beam_lib:chunks(BeamFName, [abstract_code]) of
	{ok, {_, [{abstract_code, {raw_abstract_v1,Forms}}]}} ->
	Src =
	erl_prettypr:format(erl_syntax:form_list(tl(Forms))),
	{ok, Fd} = file:open(ErlFName, [write]),

	;; paper: http://www.isi.edu/natural-language/people/ravichan/papers/clustering.pdf

	(defun cos-sim (u v &key product length)
	(/ (funcall product u v)
	(* (funcall length u) (funcall length v))))

	(defun h.r (r u)
	(if (>= (funcall r u) 0)
	1
	0))

	http://mochiweb.googlecode.com/svn/trunk/src/reloader.erl

	$ erl
	1> reloader:start_link().