tst4820.stable.out

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

stdout of test 'tst4820` in directory 'src/optimizer` itself:


# 23:29:21 >  
# 23:29:21 >  Mtimeout -timeout 60 Mserver "--config=/ufs/mk/monet5/src/mal/Tests/All.conf" --debug=10 --set "monet_mod_path=/ufs/mk/monet5/Linux/lib/MonetDB5:/ufs/mk/opensource/MonetDB/Linux/lib/MonetDB" --set "gdk_dbfarm=/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/log" --set mapi_port=36979 --set sql_port=46143 --set xquery_port=58679 --set monet_prompt= --trace --dbname=mTests_src_optimizer  tst4820.mal < /dev/null
# 23:29:21 >  

# Monet Database Server V4.99.19
# Copyright (c) 1993-2005, CWI. All rights reserved.
# Compiled for x86_64-redhat-linux-gnu/64bit with 32bit OIDs; dynamically linked.
# config:/ufs/mk/monet5/src/mal/Tests/All.conf
# dbfarm:/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_optimizer
# Visit http://monetdb.cwi.nl/ for further information.
##bug from Roberto to check carefull strength reduction
#function f():void;  
#  i:=0;             
#  barrier go:=true; 	
#    # remove from disk
#    a:bat[:void,:dbl] := bbp.bind("P_bat");
#    bat.setPersistent(a,false);
#    transaction.commit();
#    
#    # alter the values
#    a := batcalc.+(a,1.0LL);
#    
#    # store it to disk with the same name
#    bat.setName(a, "P_bat");
#    bat.setPersistent(a,true);
#    transaction.commit();
#    redo go := calc.<(i,2);       
#  exit go;                        
#end f;                            
function user.f():void;	# 0  (f:void)
    i := 0;	# 1  (i:int)<-(_2:int)
barrier go := true;	# 2  (go:bit)<-(_4:bit) jump 14
# remove from disk 	# 3  (_5:str)
    a:bat[:oid,:dbl]  := bbp.bind("P_bat");	# 4 CMDbbpbind (a:bat[:oid,:dbl])<-(_7:str)
    bat.setPersistent(a,false);	# 5 BKCpersists (_8:void)<-(a:bat[:oid,:dbl])(_9:bit)
    transaction.commit();	# 6 TRNglobal_commit (_10:bit)
# alter the values 	# 7  (_11:str)
    a:bat[:oid,:dbl]  := batcalc.+(a,1);	# 8 CMDbatADDcst_dbl_dbl_dbl (a:bat[:oid,:dbl])<-(a:bat[:oid,:dbl])(_12:dbl)
# store it to disk with the same name 	# 9  (_13:str)
    bat.setName(a,"P_bat");	# 10 BKCsetName (_14:void)<-(a:bat[:oid,:dbl])(_7:str)
    bat.setPersistent(a,true);	# 11 BKCpersists (_15:void)<-(a:bat[:oid,:dbl])(_4:bit)
    transaction.commit();	# 12 TRNglobal_commit (_16:bit)
    redo go := calc.<(i,2);	# 13 CALCcompLTintint (go:bit)<-(i:int)(_17:int) jump 3
exit go;	# 14  (go:bit)
end f;	# 15  
#
#
#optimizer.strengthReduction("user", "f");
#mdb.list("user", "f");
#
function user.main():void;	# 0  (main:void)
#bug from Roberto to check carefull strength reduction 	# 1  (_1:str)
    mdb.list("user","f");	# 2 MDBlist3 (_5:void)<-(_3:str)(_4:str)
end main;	# 3  
function user.f():void;
    i := 0;
barrier go := true;
    a:bat[:oid,:dbl]  := bbp.bind("P_bat");
    bat.setPersistent(a,false);
    transaction.commit();
    a:bat[:oid,:dbl]  := batcalc.+(a,1);
# store it to disk with the same name 
    bat.setName(a,"P_bat");
    bat.setPersistent(a,true);
    transaction.commit();
    redo go := calc.<(i,2);
exit go;
end f;

# 23:29:21 >  
# 23:29:21 >  Done.
# 23:29:21 >