tst012.mal

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

# simple loop with controlled redo

	i:=0;
barrier j:=i<3;
	io.print(i);
	i:=i+1;
	redo j:= i<3;
exit	j;
	io.print("first loop done");
	i:=0;
barrier j:=i<3;
	io.print(i);
	i:=i+1;
	redo j:= i<3;
exit	j;
	io.print("second loop done");