tst005.mal

来自「一个内存数据库的源代码这是服务器端还有客户端」· MAL 代码 · 共 17 行

# test proper exists
	i:= 1;
	j:= 2;
barrier v:=i;
	io.print("entered");
	io.print(v);
	redo v:= v -1;
exit 	v;
	io.print("doubles");
barrier (v,w):=(i,j);
	io.print("entered");
	io.print(v);
	v:= v-1;
	redo (v,w):= (v,w);
exit 	(v,w);
	io.print("finished");