tst108.mal

一个内存数据库的源代码这是服务器端还有客户端

# analyse the basic interpreter loop

	i:=0;
barrier	v:=1;
	leave v;
	i:= 1;
barrier t:= i<3;
exit	v;
	i:=i+1;
	redo t;
exit	t;
	i:= 0;