[Xsb-commits] CVS: mttests/benches/petri benchmark_elem.P, 1.16, 1.17

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

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

Modified Files:
	benchmark_elem.P 
Log Message:

adding test for private dynamic tables.


Index: benchmark_elem.P
===================================================================
RCS file: /cvsroot/xsb/mttests/benches/petri/benchmark_elem.P,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -r1.16 -r1.17
--- benchmark_elem.P	1 Aug 2008 19:10:36 -0000	1.16
+++ benchmark_elem.P	1 Aug 2008 20:15:18 -0000	1.17
@@ -4,7 +4,6 @@
 :- import between/3,member/2 from basics.
 :- import par_execute/1, n_par_execute/2 from thread.
 
-
 :- thread_shared rule/3.
 
 /* 
@@ -169,6 +168,20 @@
 	writeln('.'),
 	flush_output.
 
+bench_private_process_dyn(Numthreads):- 
+	abolish_all_tables,
+	generate_goallist(Numthreads,List,go_dyn_reachable),
+%	write(List),
+	walltime(Before),
+%	member(Goal,List),
+%	call(Goal),
+	par_execute(List),
+	walltime(After),
+	Time is After - Before,
+	write(datum([pr_cs_elem],Numthreads,Time)),
+	writeln('.'),
+	flush_output.
+
 generate_process_2(N,Numthreads):- 
 	between(1,N,M),
 	IsOdd is M mod 2,