tst015.mal

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

# Testing barriers with variables, constants and expressions
	b:= true;
barrier	b;
	io.printf("1 Correctly entered barrier\n");
exit	b;
	b:= false;
barrier b;
	io.printf("1 Incorrectly entered barrier\n");
exit	b;

	i:= 1;
barrier	c:= i==1;
	io.printf("2 Correctly entered barrier\n");
exit	c;
barrier c:= i==0;
	io.printf("2 Incorrectly entered barrier\n");
exit	c;