tst022.mal

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

# 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;