tst400.mal

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

barrier (v1,i):= language.newRange(0);
	io.print("do something");
	redo (v1,i):= language.nextElement(1,2);
exit	(v1,i);
	io.printf("left first loop with %s\n",v1);
	io.print("next iteration");
barrier (v2,i):= language.newRange(0);
	io.print("do something else");
	redo (v2,i):= language.nextElement(2,5);
exit	(v2,i);