test_20.mils

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

setoid(oid(2000000));
# analyse selection using indexing
var k10_unique1 := bat("k10_unique1");
print(count(k10_unique1));
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
var t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); memory().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); io().print(); printf("#~EndVariableOutput~#\n");

#Index first to speed-up selection
accbuild(k10_unique1,"index");
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
t:=fragment(k10_unique1,0,10,int(nil),int(nil));
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); memory().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); io().print(); printf("#~EndVariableOutput~#\n");
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); memory().print(); printf("#~EndVariableOutput~#\n");
printf("#~BeginVariableOutput~#\n"); io().print(); printf("#~EndVariableOutput~#\n");

#index the tail
accbuild(reverse(k10_unique1),"index");
printf("#~BeginVariableOutput~#\n"); cpu().print(); printf("#~EndVariableOutput~#\n");
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
t:=fragment(k10_unique1,int(nil),int(nil),0,10);
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();