test_90.mils

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

setoid(oid(2000000));
#determine cost components of a join
# load("k100_unique1");
var k100_unique1 := bat("k100_unique1");

var b:=k100_unique1.copy();
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");var c:=join(b.reverse(),k100_unique1);
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
var d:=join(b.reverse(),k100_unique1);
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
commit();
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); memory().print(); printf("#~EndVariableOutput~#\n");printf("#~BeginVariableOutput~#\n"); io.print(); printf("#~EndVariableOutput~#\n");
quit();