tst400f.mal

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

# simple test of a function call 
# performance evaluation, how expensive are 100k calls?

factory simple(z:lng):lng;
barrier	always:=true;
	z:= z+1:lng;  #type cast is error
	yield z;
	redo always;
exit 	always;
end simple;

	k:= 0:lng;
barrier	v:= k<1000000:lng;
	k:= user.simple(k);
	redo v:= k<1000000:lng;
exit	v;
io.print(k);