[Xsb-commits] CVS: mttests/benches/synth_benches anc.P, 1.12, 1.13 bench.P, 1.2, 1.3 chain.P, 1.2, 1.3

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/mttests/benches/synth_benches
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv21636

Modified Files:
	anc.P bench.P chain.P 
Log Message:

Adding routines to bench call subsumption using private tables.  Using right-recursion for now, until double-recursion gets fixed.


Index: anc.P
===================================================================
RCS file: /cvsroot/xsb/mttests/benches/synth_benches/anc.P,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- anc.P	31 Jul 2008 23:13:29 -0000	1.12
+++ anc.P	1 Aug 2008 16:54:31 -0000	1.13
@@ -83,8 +83,8 @@
 
 :- table sranc/2.
 :- use_subsumptive_tabling sranc/2.
-sranc(X,Y):- move2k(X,Y).
-sranc(X,Y):- move2k(X,Z),sranc(Z,Y).
+sranc(X,Y):- move4k(X,Y).
+sranc(X,Y):- move4k(X,Z),sranc(Z,Y).
 
 
 :- import member/2 from basics.

Index: bench.P
===================================================================
RCS file: /cvsroot/xsb/mttests/benches/synth_benches/bench.P,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- bench.P	26 Jun 2008 19:37:07 -0000	1.2
+++ bench.P	1 Aug 2008 16:54:31 -0000	1.3
@@ -214,6 +214,34 @@
 	bigbench(ancestor2k(1,_),'[tanc,2k]',It).
 
 
+priv_subsumption_bench(In,Limit):- In > Limit,!.
+priv_subsumption_bench(In,Limit):- 
+        priv_subsumption_test(In),
+	Next is In*2,
+	priv_subsumption_bench(Next,Limit).
+
+priv_subsumption_test(M):-
+	abolish_all_tables,
+	writeln('--------------------------------------------------------'),
+	walltime(B),
+	n_par_execute(sranc(_X,_Y),M),
+	walltime(A),
+	T is A - B,
+	writeq(datum(subsumption,M,T)),writeln('.'),nl,
+	fail.
+priv_subsumption_test(_).
+
+
+pst(M):-
+	abolish_all_tables,
+	writeln('--------------------------------------------------------'),
+	walltime(B),
+	n_par_execute(sranc(_X,_Y),M),
+	walltime(A),
+	T is A - B,
+	writeq(datum(subsumption,M,T)),writeln('.'),nl,
+	fail.
+pst(_).
 
 end_of_file.
 

Index: chain.P
===================================================================
RCS file: /cvsroot/xsb/mttests/benches/synth_benches/chain.P,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- chain.P	26 Jun 2008 19:37:07 -0000	1.2
+++ chain.P	1 Aug 2008 16:54:31 -0000	1.3
@@ -8,7 +8,6 @@
 move10(8,9).
 move10(9,10).
 
-
 move128(1,2).
 move128(2,3).
 move128(3,4).
@@ -4105,3 +4104,4164 @@
 move2k(2045,2046).
 move2k(2046,2047).
 move2k(2047,2048).
[...4141 lines suppressed...]
+move4k(4077,4078).
+move4k(4078,4079).
+move4k(4079,4080).
+move4k(4080,4081).
+move4k(4081,4082).
+move4k(4082,4083).
+move4k(4083,4084).
+move4k(4084,4085).
+move4k(4085,4086).
+move4k(4086,4087).
+move4k(4087,4088).
+move4k(4088,4089).
+move4k(4089,4090).
+move4k(4090,4091).
+move4k(4091,4092).
+move4k(4092,4093).
+move4k(4093,4094).
+move4k(4094,4095).
+move4k(4095,4096).
+