test_80.mils

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

setoid(oid(2000000));
#determine cost components of a join
# load("k10_unique1");

var k10_unique1:= bat("k10_unique1");
var b:=k10_unique1.copy();
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");var c:=join(b.reverse(),k10_unique1);
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
var d:=join(b.reverse(),k10_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();