tst107.mal

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

# analyse the basic interpreter loop

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