CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-04-03 15:36:27
Modified files:
src : Polyhedron.cc Polyhedron.defs.hh
Log message:
All the assertions regarding topology compatibility (but those inside
the non-public methods) replaced by run-time checks so that,
When identifying a topology mismatch, we now throw an exception.
Since wrapper classes C_Polyhedron and NNC_Polyhedron will not override
the methods of base class Polyhedron (they will just inherit them),
all implementation specific members of Polyhedron, apart from the
constructors and assignment, are now declared "private" instead of
"protected".
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
Here is how much time China took for analyzing the entire
benchmark suite with our domain of closed polyhedra, in random
days during the development of the generalization that allows
us to deal with NNC polyhedra:
Mar 15 2439.11
Mar 16 2427.51
Mar 17 2448.84
Mar 18 2459.51
Mar 19 2414.16
Mar 22 2428.86
Mar 23 2468.88
Apr 01 2538.46
The merge took place in the night between Marh 26 and 27.
It looks like the overhead is greater than 4%. This is not
very bad, but I expected it to be under 1%. A figure of >4%
almost certainly means that we are paying a lot at the
Row level. I hope we can improve the implementation so as
to recover what we have lost.
Ciao
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it