tst022.mal

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

# test blocking nils
	i:=1;
barrier b:= i>0;
	io.printf("ok entered first\n");
exit b;
barrier b:= i<=0;
	io.printf("wrong entered second\n");
exit b;


	j:=nil:int;
barrier b:= j>0;
	io.printf("wrong entered third\n");
exit b;
barrier b:= j<=0;
	io.printf("wrong entered fourth\n");
exit b;