- Projects

genericity-support-comparison 55: Add a (simple) Python version
by Roland Levillain 03 Feb '06

03 Feb '06

https://svn.lrde.epita.fr/svn/genericity-support-comparison/trunk 2.0/src/oo/python/oo_python.py | 99 +++++++++++++++++++++++++++++++++++++++++ 2.0/src/st/ocaml/st_ocaml.ml | 4 - ChangeLog | 7 ++ 3 files changed, 108 insertions(+), 2 deletions(-) Index: ChangeLog from Roland Levillain <roland(a)lrde.epita.fr> Add a (simple) Python version. * 2.0/src/oo/python/oo_python.py: New. * 2.0/src/st/ocaml/st_ocaml.ml: Fix comment. Property changes on: 2.0/src/st/c++ ___________________________________________________________________ Name: svn:ignore + st_cpp_scoop_1 st_cpp_scoop_1i st_cpp_stl Index: 2.0/src/st/ocaml/st_ocaml.ml --- 2.0/src/st/ocaml/st_ocaml.ml (revision 54) +++ 2.0/src/st/ocaml/st_ocaml.ml (revision 55) @@ -1,10 +1,10 @@ (* Compile with : - ocamlc -o oo_ocaml unix.cma st_ocaml.ml + ocamlc -o st_ocaml unix.cma st_ocaml.ml or : - ocamlopt -o oo_ocaml.opt unix.cmxa st_ocaml.ml + ocamlopt -o st_ocaml.opt unix.cmxa st_ocaml.ml *) Property changes on: 2.0/src/st/ocaml ___________________________________________________________________ Name: svn:ignore + st_ocaml st_ocaml.opt st_ocaml.cmx st_ocaml.cmi st_ocaml.cmo Property changes on: 2.0/src/dd/c ___________________________________________________________________ Name: svn:ignore + dd_c dd_ci Index: 2.0/src/oo/python/oo_python.py --- 2.0/src/oo/python/oo_python.py (revision 0) +++ 2.0/src/oo/python/oo_python.py (revision 55) @@ -0,0 +1,99 @@ +#! /usr/bin/env python + +import sys, time +# Use Numerical Python for efficient arrays. +# http://numpy.sourceforge.net/numdoc/HTML/numdoc.htm +import Numeric + +# We don't use abstract classes here, since Python doesn't support +# this concept actually. + +# Value. +class Int: + def __init__ (self, value): + self.value = value + def assign (self, rhs): + self.value = rhs.value + def __add__ (self, rhs): + return self.value + rhs + def __str__ (self): + return "Int(" + str (self.value) + ")" + +# Point. +class Point1d: + def __init__ (self, i): + assert (i >= 0) + self.i = i + def dummy (self): + sys.stdout.write ("!") + def get_index (self): + return self.i + def set_index (self, i): + assert (i >= 0) + self.i = i + +# Piter. +class Piter1d: + def __init__ (self, n): + assert n >= 0 + self.n = n + self.p = Point1d (0) + def start (self): + self.p.set_index (0) + def next (self): + self.p.set_index (self.p.get_index () + 1) + def is_valid (self): + return self.p.get_index () < self.n + def point (self): + return self.p + +# Image. +class Image1d: + def __init__ (self, n, v): + assert n >= 0 + self.n = n + self.data = Numeric.zeros (n, Numeric.PyObject) + self.data[:] = v + def get (self, p): + return self.data[p.get_index ()] + def new_piter (self): + return Piter1d (self.n) + def __str__ (self): + return str (self.data) + + +# Pixel assignment. +def assign (ima, val): + p = ima.new_piter () + while p.is_valid (): + ima.get (p.point ()).assign (val) + p.next () + +def usage (program_name): + if not program_name: + program_name = "oo_python" + print "usage: " + program_name + " [size = 800] [nsteps = 200]" + sys.exit (1) + +# Driver. +if len (sys.argv) > 3: + usage (sys.argv[0]) +# Default values. +size = 800 +nsteps = 200; +if len (sys.argv) > 1: + size = int (sys.argv[1]) +if len (sys.argv) > 2: + nsteps = int (sys.argv[2]) +print "Linear / " + str (size) + "x" + str (size) + " / " + \ + str (nsteps) + " steps" +v = Int (0) +ima = Image1d (size, v) +val = Int (51) +# This expression is too complex to be handled by timeit.Timer. +# Anyway, time.clock() suffices here. +t0 = time.clock () +for i in range (nsteps): + assign (ima, val) +t1 = time.clock () +print t1 - t0 Property changes on: 2.0/src/oo/python/oo_python.py ___________________________________________________________________ Name: svn:executable + * Property changes on: 2.0/src/oo/c++ ___________________________________________________________________ Name: svn:ignore + oo_cpp Property changes on: 2.0/src/oo/ocaml ___________________________________________________________________ Name: svn:ignore + oo_ocaml oo_ocaml.opt oo_ocaml.cmi oo_ocaml.cmo oo_ocaml.cmx

1 0

Vcs: literal `%' in ,form file
by Roland Levillain 02 Feb '06

02 Feb '06

The `%' character is has a special meaning in Vcs' ,form files (it is used to form tags like `<%= title %>'). If you forget to escape a literal `%', Vcs produces abstruse error messages : [vcs] info: Creating a new `,iform' file ... [vcs] info: ,form already exists [vcs] error: Removing `,iform' ... [vcs] info: ,form: Contains your complete form (title, subject, ChangeLog entry, diff) [vcs] info: ,log: Contains your Log entry [vcs] error: compile error [vcs] error: (erb):3: parse error, unexpected tGVAR [vcs] error: $erbout_ [vcs] error: ^ Escaping the character with a backslash (`/') solves this problem, but the backslash is left in the ChangeLog! Is there a right way to get a literal `%', or a workaround?

2 1

Re: [Projects] Re: Test suite
by Roland Levillain 26 Jan '06

26 Jan '06

>>>>> "Nicolas" == Nicolas Pouillard <nicolas.pouillard(a)gmail.com> writes: Nicolas> Je pense qu'il faudrait que vous exposier ici vos besoins en Nicolas> terme de tests de maniere a ce que l'on puisse mieux répondre Nicolas> a vos attentes. Il faudrait que je fasse la liste des services proposés par l'infrastructure de tests d'Olena + ceux qu'on voudrait. Nicolas> Soit dit en passant il faut toujours que l'on fasse cette Nicolas> presentation d'Uttk ce qui permettra de mettre les choses au Nicolas> claire dans la tête de tout le monde. Je suis preneur ! (Je ne pense pas être le seul). Est-ce que vous avez du temps pour ça ?

2 1

Test suite
by Roland Levillain 26 Jan '06

26 Jan '06

(Je crossposte dans lrde.proj pour que toutes les gens intéressées fassent connaître leur opinion.) Ce serait pas mal de faire croître la test suite en même temps que le code d'Olena 1.0, en particulier pour tout le code template de Metalic que l'on ne peut véritablement vérifier qu'en l'instanciant. Personnellement, je ne suis pas très chaud pour conserver ce qui existe actuellement dans le proto 1.0. À l'usage, je ne trouve pas ça très pratique à utiliser (il est difficile de lancer un seul test, on ne peut pas garder de traces d'un test qui réussit, etc.). Donc, que choisit-on comme outil/cadre de test pour Olena 1.0 ? Les propositions incluent : 1. garder le mécanisme actuel du proto 1.0 (càd, celui d'Olena 0.10) ; 2. se baser uniquement sur les services proposés par Automake ; 3. passer à un outil tiers comme DejaGnu, Autotest ou Uttk. La troisième proposition me tente bien, mais je ne connaît aucun des projets cités... (Au passage, est-ce que ce genre de questions a sa place dans lrde.olena.core, ou bien plutôt dans lrde.olena ?)

4 3

Re: [Projects] Vcs: request for features
by Roland Levillain 21 Jan '06

21 Jan '06

>>>>> "Nicolas" == Nicolas Pouillard <nicolas.pouillard(a)gmail.com> writes: Nicolas> On 1/19/06, Roland Levillain <roland(a)lrde.epita.fr> wrote: >> * existe-t-il une commande Vcs pour supprimer les >> fichiers-supports de Vcs (`,log', `,form', `,iform', `,message') ? Nicolas> Ya junk mais il retire tous les ,* en te posant la question Nicolas> avant. Nickel, merci ! Cependant, `help' ne le documente pas : brasilia ~/src/tc % vcs-svn help junk "junk": unknown command. >> * Vcs n'honore pas complètement les noms de fichiers passés en >> argument à la commande `commit' ; en effet, le diff présent dans >> ,form se fait récursivement sur `.', et non sur ces fichiers. (Je >> n'ai pas testé si le commit effectif ne s'applique qu'à ces >> fichiers.) Exemple : si j'ai modifié foo.cc, bar.cc et baz.cc dans >> ma copie de travail, et que j'invoque >> >> vcs-svn commit foo.cc bar.cc >> >> le fichier ,form qui apparaîtra dans mon éditeur fera mention des >> changements sur baz.cc (ChangeLog + diff). C'est pas cool ! >> Nicolas> Oui en effet mais cela doit etre coriger désormais. Ok, c'est cool. >> * dans la version de Vcs actuellement présente dans RubyGems >> (0.4.1), le numéro de version est incorrect : >> >> brasilia ~ % grep version >> /usr/lib/ruby/gems/1.8/gems/vcs-0.4.1/lib/vcs/vcs.rb\ | head -1 >> @@version ||= '0.4.0' Nicolas> Et oui il me manque du temps pour releaser une nouvelle Nicolas> version qui serait pourtant prete sur bcp de points. Nicolas> J'ai tout de meme placer sur Nicolas> http://www.lrde.epita.fr/~pouill_n/vcs les gem necessaires a Nicolas> l'installation de la version beta. Hé, je ne veux surtout pas t'embêter avec tout ça ! Je peux tout à fait attendre la sortie de Vcs 0.5.0. :) Je voulais juste dire que le numéro de version du répertoire de Vcs dans RubyGems (/usr/lib/ruby/gems/1.8/gems/vcs-0.4.1) ne correspondait pas avec celui que Vcs affiche (0.4.0). >> * enfin (je sais que Noël est passé, mais je remets sur ma liste de >> cadeaux cette fonctionnalité que je chéris) : Vcs pourrait-il >> prendre en compte un ChangeLog écrit par l'utilisateur avant le >> commit ? Nicolas> Ca le fera un jour mais quand ? Je le mets sur ma liste de Noël 2006 alors. :)

2 1

Vcs: request for features
by Roland Levillain 20 Jan '06

20 Jan '06

Je commence à utiliser Vcs de plus en plus, et j'apprécie le temps qu'il me fait gagner. Cependant, j'ai quelques questions/remarques/critiques à son sujet : * existe-t-il une commande Vcs pour supprimer les fichiers-supports de Vcs (`,log', `,form', `,iform', `,message') ? * Vcs n'honore pas complètement les noms de fichiers passés en argument à la commande `commit' ; en effet, le diff présent dans ,form se fait récursivement sur `.', et non sur ces fichiers. (Je n'ai pas testé si le commit effectif ne s'applique qu'à ces fichiers.) Exemple : si j'ai modifié foo.cc, bar.cc et baz.cc dans ma copie de travail, et que j'invoque vcs-svn commit foo.cc bar.cc le fichier ,form qui apparaîtra dans mon éditeur fera mention des changements sur baz.cc (ChangeLog + diff). C'est pas cool ! * dans la version de Vcs actuellement présente dans RubyGems (0.4.1), le numéro de version est incorrect : brasilia ~ % grep version /usr/lib/ruby/gems/1.8/gems/vcs-0.4.1/lib/vcs/vcs.rb\ | head -1 @@version ||= '0.4.0' * enfin (je sais que Noël est passé, mais je remets sur ma liste de cadeaux cette fonctionnalité que je chéris) : Vcs pourrait-il prendre en compte un ChangeLog écrit par l'utilisateur avant le commit ? En tout cas, bravo et merci pour Vcs, c'est un outil très pratique !

3 2

[genericity-support-comparison] Add CLOS version
by Didier Verna 10 Jan '06

10 Jan '06

NOTE: This patch has been committed. The version below is informational only (whitespace differences have been removed). ChangeLog addition: 2006-01-10 Didier Verna <didier(a)lrde.epita.fr> * 2.0/src/oo/cl/t.cl: New (CLOS, linear, signle buffer). * 2.0/txt/bench.didier: Update for C++ and CLOS. GSC source patch: Diff command: svn diff --diff-cmd /usr/bin/diff -x "-u -t -b -B -w" Files affected: 2.0/src/oo/cl/t.cl 2.0/txt/bench.didier Index: 2.0/txt/bench.didier =================================================================== --- 2.0/txt/bench.didier (revision 50) +++ 2.0/txt/bench.didier (working copy) @@ -311,11 +311,11 @@ *** Summary - Linear Randomized + Linear S/M Randomized S/M C 0.31 - 0.33 10.82 - 8.86 Java 0.35 - 0.57 11.00 - 9.10 Eiffel 0.40 - 1.06 11.04 - 9.00 -Commom Lisp 0.55 - 1.10 18.38 - 22.03 +Common Lisp 0.55 - 1.10 18.38 - 22.03 Note for Common Lisp: the best MB version is the sized one, and makes a big difference. The best randomized MB version is also the sized one. @@ -324,6 +324,17 @@ Multi buffer versions: randomized time ~ 20 * linear time +** OO versions + + Linear S +C++ 10.97 +Common Lisp 52.50 + +Notes: C++ ~ 30x slower than C + CLOS ~ 95x slower than CL dd + CLOS ~ 4.8x slower than C++ + + Local Variables: Index: 2.0/src/oo/cl/t.cl =================================================================== --- 2.0/src/oo/cl/t.cl (revision 0) +++ 2.0/src/oo/cl/t.cl (revision 0) @@ -0,0 +1,191 @@ +;;; 1D Image assignation algorithm, CLOS typed version. + +(eval-when (:compile-toplevel) + (defvar *optimize* t) + (if *optimize* (declaim (inline assign) + (optimize (speed 3) + (compilation-speed 0) + (safety 0) + (debug 0))) + (declaim (optimize (speed 0) + (compilation-speed 0) + (safety 3) + (debug 0))))) + +(defvar *size* 800 + "Dimension for (square) images.") + +(defvar *nsteps* 200 + "Number of times to repeat the algorithm.") + + + +;;; ========================================================================= +;;; The value heirarchy +;;; ========================================================================= + +(defclass value () + () + (:documentation "Base class for all possible image values.")) + +(defgeneric value-assign (to from) + (:documentation "Copy a value into another.")) + + +;;; The fixnum-value subclass +(defclass fixnum-value (value) + ((value :type fixnum :initarg :value :accessor fixnum-value-value)) + (:documentation "Image value class for fixnums.")) + +(defun make-fixnum-value (&optional (value 0)) + "Create an instance of a fixnum-value." + (make-instance 'fixnum-value :value value)) + + +(defmethod value-assign ((to fixnum-value) (from fixnum-value)) + (setf (fixnum-value-value to) (fixnum-value-value from))) + + + +;;; ========================================================================= +;;; The point hierarchy +;;; ========================================================================= + +(defclass point () + () + (:documentation "Base class for all points.")) + +(defgeneric point-index (p) + (:documentation "Returns the index stored in a point.")) + + +;;; The 1d-point subclass +(defclass 1d-point (point) + ((index :type fixnum :initarg :index :accessor 1d-point-index)) + (:documentation "1D point class.")) + +(defun make-1d-point (&optional (index 0)) + "Create an instance of a 1d-point." + (make-instance '1d-point :index index)) + + +(defmethod point-index ((p 1d-point)) + (1d-point-index p)) + + + +;;; ========================================================================= +;;; The point-iterator hierarchy +;;; ========================================================================= + +(defclass point-iterator () + () + (:documentation "Base class for point iterators.")) + +(defgeneric point-iterator-start (pit) + (:documentation "(Re)Start a point iterator.")) + +(defgeneric point-iterator-next (pit) + (:documentation "Iterate once a point iterator.")) + +(defgeneric point-iterator-validp (pit) + (:documentation + "Returns non nil if current iterator value (point) is valid.")) + +(defgeneric point-iterator-point (pit) + (:documentation "Return the current iterator's point.")) + + +;;; The 1d-point-iterator subclass +(defclass 1d-point-iterator (point-iterator) + ((max :type fixnum :initarg :max :reader 1d-point-iterator-max) + (point :type 1d-point + :initform (make-1d-point) :accessor 1d-point-iterator-point)) + (:documentation "1D point iterator class.")) + +(defun make-1d-point-iterator (max) + "Create an instance of a 1d-point-iterator." + (make-instance '1d-point-iterator :max max)) + + +(defmethod point-iterator-start ((pit 1d-point-iterator)) + (setf (1d-point-index (1d-point-iterator-point pit)) 0) + pit) + +(defmethod point-iterator-next ((pit 1d-point-iterator)) + (incf (the fixnum (1d-point-index (1d-point-iterator-point pit)))) + pit) + +(defmethod point-iterator-validp ((pit 1d-point-iterator)) + (< (the fixnum (1d-point-index (1d-point-iterator-point pit))) + (the fixnum (1d-point-iterator-max pit)))) + +(defmethod point-iterator-point ((pit 1d-point-iterator)) + (1d-point-iterator-point pit)) + + + +;;; ========================================================================= +;;; The image hierarchy +;;; ========================================================================= + +(defclass image () + () + (:documentation "Base class for all images.")) + +(defgeneric make-image-point-iterator (im) + (:documentation "Creates an iterator for an image.")) + +(defgeneric image-value-at-point (im p) + (:documentation "Return the value of image at point.")) + + +;;; The 1d-fixnum-image subclass +(defclass 1d-fixnum-image (image) + ((data :type (simple-array fixnum) :accessor 1d-fixnum-image-data)) + (:documentation "1D fixnum image class.")) + +(defun make-1d-fixnum-image (size) + "Create an instance of a 1D fixnum image." + (declare (type fixnum size)) + (let ((im (make-instance '1d-fixnum-image))) + ;; Note: should rather be done in an :after specialization of + ;; initialize-instance rather than here. + (setf (1d-fixnum-image-data im) + (let ((zero (make-fixnum-value 0))) + (make-array (* size size) + :element-type 'fixnum-value + :initial-element zero))) + im)) + + +(defmethod make-image-point-iterator ((im 1d-fixnum-image)) + (make-1d-point-iterator (array-dimension (1d-fixnum-image-data im) 0))) + +(defmethod image-value-at-point ((im 1d-fixnum-image) (p 1d-point)) + (aref (the (simple-array fixnum-value) (1d-fixnum-image-data im)) + (1d-point-index p))) + + + +;;; ========================================================================= +;;; The benchmark function +;;; ========================================================================= + +(defun assign (im val) + (do ((pit (make-image-point-iterator im) (point-iterator-next pit))) + ((not (point-iterator-validp pit))) + (value-assign (image-value-at-point im (point-iterator-point pit)) + val))) + +(defun bench () + (let ((val (make-fixnum-value 51)) + (im (make-1d-fixnum-image *size*))) + (format t ";;; ~Aptimized benches for ~D step(s):~&" + (if *optimize* "O" "Not o") *nsteps*) + (format t ";; CLOS / Linear / Typed:") + (time + (dotimes (i (the fixnum *nsteps*)) + (declare (type fixnum i)) + (assign im val))) + im)) -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org

1 0

[genericity-support-comparison] C++ Fixes
by Didier Verna 10 Jan '06

10 Jan '06

NOTE: This patch has been committed. The version below is informational only (whitespace differences have been removed). ChangeLog addition: 2006-01-10 Didier Verna <didier(a)lrde.epita.fr> * 2.0/src/oo/c++/Makefile: New. * 2.0/src/oo/c++/oo_cpp.cc: Avoid using unsigned. Add checks for dynamic_cast NULL return value. Provide command-line arguments for size and steps (defaulting to 800x800 and 200). GSC source patch: Diff command: svn diff --diff-cmd /usr/bin/diff -x "-u -t -b -B -w" Files affected: 2.0/src/oo/c++/oo_cpp.cc 2.0/src/oo/c++/Makefile Index: 2.0/src/oo/c++/Makefile =================================================================== --- 2.0/src/oo/c++/Makefile (revision 0) +++ 2.0/src/oo/c++/Makefile (revision 0) @@ -0,0 +1,5 @@ +CXX = g++ +CPPFLAGS = -DNDEBUG +CXXFLAGS = -Wall -W -O3 + +all: oo_cpp Index: 2.0/src/oo/c++/oo_cpp.cc =================================================================== --- 2.0/src/oo/c++/oo_cpp.cc (revision 46) +++ 2.0/src/oo/c++/oo_cpp.cc (working copy) @@ -24,6 +24,7 @@ virtual value& assign(const value& rhs) { const integer* rhs_ = dynamic_cast<const integer*>(&rhs); + if (rhs_ != NULL) value_ = rhs_->value_; return *this; } @@ -47,17 +48,17 @@ class point1d : public point { public: - point1d(unsigned i = 0) : + point1d(int i = 0) : i_(i) { } virtual ~point1d() {} - unsigned index() const { return i_; } - unsigned& index() { return i_; } + int index() const { return i_; } + int& index() { return i_; } private: - unsigned i_; + int i_; }; @@ -79,7 +80,7 @@ class piter1d : public piter { public: - piter1d(unsigned n) : + piter1d(int n) : n_(n) { } @@ -100,7 +101,7 @@ return p_; } private: - unsigned n_; + int n_; point1d p_; }; @@ -122,7 +123,7 @@ class image1d : public image { public: - image1d(unsigned n) : + image1d(int n) : n_(n) { data_ = new T[n_]; @@ -130,6 +131,8 @@ value& operator[](const point& p) { const point1d* p_ = dynamic_cast<const point1d*>(&p); + if (p_ == NULL) + return data_[0]; // Silly return, just to perform the dyncast check. return data_[p_->index()]; } piter& new_piter() @@ -137,7 +140,7 @@ return *new piter1d(n_); } private: - unsigned n_; + int n_; T* data_; }; @@ -160,24 +163,29 @@ void usage(char* argv[]) { - std::cout << "usage: " << argv[0] << " [nsteps = 1]" << std::endl; + std::cout << "usage: " << argv[0] << " [size = 800] [nsteps = 1]" + << std::endl; exit(1); } int main(int argc, char* argv[]) { - if (argc > 2) + if (argc > 3) usage(argv); - const unsigned size = 1024 * 1024; - const unsigned nsteps = argc == 2 ? atoi(argv[1]) : 1; + const int size = argc > 1 ? atoi (argv[1]) : 800; + const int nsteps = argc > 2 ? atoi (argv[2]) : 200; - image1d<integer> ima(size); + std::cout << size << "x" << size << " / " << nsteps << " steps:" + << std::endl; + + image1d<integer> ima(size * size); integer val = 51; float t0 = (float)clock(); - for (unsigned step = 0; step < nsteps; ++step) + for (int step = 0; step < nsteps; ++step) assign(ima, val); - std::cout << (clock() - t0) / CLOCKS_PER_SEC << std::endl; + float t1 = (float)clock(); + std::cout << (t1 - t0) / CLOCKS_PER_SEC << std::endl; } -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org

1 0

[genericity-support-comparison] Add benches
by Didier Verna 09 Jan '06

09 Jan '06

NOTE: This patch has been committed. The version below is informational only (whitespace differences have been removed). ChangeLog addition: 2006-01-09 Didier Verna <didier(a)lrde.epita.fr> * 2.0/src/dd/cl/tsi.cl: Fix size and nsteps parameters. * 2.0/txt/bench.didier: New. GSC source patch: Diff command: svn diff --diff-cmd /usr/bin/diff -x "-u -t -b -B -w" Files affected: 2.0/src/dd/cl/tsi.cl 2.0/txt/bench.didier Index: 2.0/txt/bench.didier =================================================================== --- 2.0/txt/bench.didier (revision 0) +++ 2.0/txt/bench.didier (revision 0) @@ -0,0 +1,331 @@ + BENCHMARKS RESULTS + + +* Architecture + +Debian unstable. + +** uname -a + +Linux uzeb 2.4.27-2-686-smp #1 SMP Wed Nov 30 21:47:06 JST 2005 i686 GNU/Linux + +Note the SMP flag: the CPU has hyperthreading turned on; the OS sees two +virtual processors. + +** cat /proc/cpuinfo + +processor : 0 +vendor_id : GenuineIntel +cpu family : 15 +model : 3 +model name : Intel(R) Pentium(R) 4 CPU 3.00GHz +stepping : 4 +cpu MHz : 2992.789 +cache size : 1024 KB +fdiv_bug : no +hlt_bug : no +f00f_bug : no +coma_bug : no +fpu : yes +fpu_exception : yes +cpuid level : 5 +wp : yes +flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe pni monitor ds_cpl cid +bogomips : 5976.88 + +processor : 1 +vendor_id : GenuineIntel +cpu family : 15 +model : 3 +model name : Intel(R) Pentium(R) 4 CPU 3.00GHz +stepping : 4 +cpu MHz : 2992.789 +cache size : 1024 KB +fdiv_bug : no +hlt_bug : no +f00f_bug : no +coma_bug : no +fpu : yes +fpu_exception : yes +cpuid level : 5 +wp : yes +flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe pni monitor ds_cpl cid +bogomips : 5976.88 + + + +* Benchmarks + +** Environment + +*** C + +gcc (GCC) 4.0.3 20051201 (prerelease) (Debian 4.0.2-5) +Copyright (C) 2005 Free Software Foundation, Inc. +This is free software; see the source for copying conditions. There is NO +warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. + +gcc -03 -DNDEBUG + +*** Java + +java version "1.5.0_06" +Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0_06-b05) +Java HotSpot(TM) Client VM (build 1.5.0_06-b05, mixed mode, sharing) + +javac: idem + +*** Eiffel + +SmartEiffel The GNU Eiffel Compiler, Eiffel tools and libraries +Release 1.1 Release (Monday June 16th 2003) [Charlemagne] +Copyright (C), 1994-2003 - INRIA - LORIA - UHP - Nancy 2 - FRANCE +D.COLNET, S.COLLIN, O.ZENDRA, P.RIBET, C.ADRIAN - SmartEiffel(a)loria.fr +http://SmartEiffel.loria.fr + +compile_to_c -boost / then C compilation + +*** Common Lisp + +XEmacs / Slime / CMU-CL + +CMU Common Lisp CVS 19c 19c-release + minimal debian patches (19C), running on +uzeb With core: /usr/lib/cmucl/lisp.core +Dumped on: Mon, 2005-12-12 10:05:58+01:00 on uzeb + +Loaded subsystems: + Python 1.1, target Intel x86 + CLOS based on Gerd's PCL 2004/04/14 03:32:47 + + +** Dedicated versions + +*** C + +Linear / 800x800 / 200 steps: +SB: 0.31 +MB: 0.33 + +Randomized / 800x800 / 200 steps: +SB: 10.82 +MB: 8.86 + + +*** Java + +Linear / 800x800 / 200 steps: +SB: 0.35 +MB: 0.57 + +Randomized / 800x800 / 200 steps: +SB: 11.00 +MB: 9.10 + + +*** Eiffel + +Linear / 800x800 / 200 steps: +SB: 0.40 +MB: 1.06 + +Randomized / 800x800 / 200 steps: +SB: 11.04 +MB: 9.00 + +*** Common Lisp + +;;; Optimized benches for 200 step(s): +;; Linear / Untyped / Multibuffer: +; Evaluation took: +; 2.48 seconds of real time +; 2.49 seconds of user run time +; 0.0 seconds of system run time +; 7,429,347,345 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Linear / Untyped / Singlebuffer / AREF: +; Evaluation took: +; 1.32 seconds of real time +; 1.29 seconds of user run time +; 0.02 seconds of system run time +; 3,949,483,710 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Linear / Untyped / Singlebuffer / SVREF: +; Evaluation took: +; 1.12 seconds of real time +; 1.11 seconds of user run time +; 0.0 seconds of system run time +; 3,345,343,913 CPU cycles +; 0 page faults and +; 0 bytes consed. +; + +;;; Optimized benches for 200 step(s): +;; Randomized / Untyped / Multibuffer: +; Evaluation took: +; 42.61 seconds of real time +; 42.55 seconds of user run time +; 0.0 seconds of system run time +; 127,510,882,845 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Randomized / Untyped / Singlebuffer / AREF: +; Evaluation took: +; 38.69 seconds of real time +; 38.66 seconds of user run time +; 0.01 seconds of system run time +; 115,775,643,570 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Randomized / Untyped / Singlebuffer / SVREF: +; Evaluation took: +; 38.76 seconds of real time +; 38.63 seconds of user run time +; 0.11 seconds of system run time +; 116,005,607,213 CPU cycles +; 0 page faults and +; 0 bytes consed. +; + +;;; Optimized benches for 200 step(s): +;; Linear / Typed / Multibuffer: +; Evaluation took: +; 2.82 seconds of real time +; 2.83 seconds of user run time +; 0.0 seconds of system run time +; 8,467,002,300 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Linear / Typed / Singlebuffer / AREF: +; Evaluation took: +; 0.55 seconds of real time +; 0.55 seconds of user run time +; 0.0 seconds of system run time +; 1,636,237,845 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Linear / Typed / Singlebuffer / SVREF: +; Evaluation took: +; 0.55 seconds of real time +; 0.52 seconds of user run time +; 0.03 seconds of system run time +; 1,651,320,795 CPU cycles +; 0 page faults and +; 0 bytes consed. +; + +;;; Optimized benches for 200 step(s): +;; Randomized / Typed / Multibuffer: +; Evaluation took: +; 28.21 seconds of real time +; 28.18 seconds of user run time +; 0.03 seconds of system run time +; 84,420,916,523 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Randomized / Typed / Singlebuffer / AREF: +; Evaluation took: +; 18.4 seconds of real time +; 18.37 seconds of user run time +; 0.01 seconds of system run time +; 55,038,771,285 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Randomized / Typed / Singlebuffer / SVREF: +; Evaluation took: +; 19.32 seconds of real time +; 19.16 seconds of user run time +; 0.04 seconds of system run time +; 57,815,967,854 CPU cycles +; 0 page faults and +; 0 bytes consed. +; + +;;; Optimized benches for 200 step(s): +;; Linear / Typed / Sized / Multibuffer: +; Evaluation took: +; 1.09 seconds of real time +; 1.09 seconds of user run time +; 0.01 seconds of system run time +; 3,289,851,878 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Linear / Typed / Sized / Singlebuffer / AREF: +; Evaluation took: +; 0.54 seconds of real time +; 0.53 seconds of user run time +; 0.01 seconds of system run time +; 1,613,471,783 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Linear / Typed / Sized / Singlebuffer / SVREF: +; Evaluation took: +; 0.55 seconds of real time +; 0.55 seconds of user run time +; 0.0 seconds of system run time +; 1,659,704,692 CPU cycles +; 0 page faults and +; 0 bytes consed. +; + +;;; Optimized benches for 200 step(s): +;; Randomized / Typed / Sized / Multibuffer: +; Evaluation took: +; 22.03 seconds of real time +; 22.02 seconds of user run time +; 0.01 seconds of system run time +; 65,924,021,535 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Randomized / Typed / Sized / Singlebuffer / AREF: +; Evaluation took: +; 19.19 seconds of real time +; 19.16 seconds of user run time +; 0.02 seconds of system run time +; 57,427,619,017 CPU cycles +; 0 page faults and +; 0 bytes consed. +; +;; Randomized / Typed / Sized / Singlebuffer / SVREF: +; Evaluation took: +; 19.22 seconds of real time +; 19.17 seconds of user run time +; 0.08 seconds of system run time +; 57,512,349,082 CPU cycles +; 0 page faults and +; 0 bytes consed. +; + + +*** Summary + + Linear Randomized +C 0.31 - 0.33 10.82 - 8.86 +Java 0.35 - 0.57 11.00 - 9.10 +Eiffel 0.40 - 1.06 11.04 - 9.00 +Commom Lisp 0.55 - 1.10 18.38 - 22.03 + +Note for Common Lisp: the best MB version is the sized one, and makes a big +difference. The best randomized MB version is also the sized one. + +Single buffer versions: randomized time ~ 30 * linear time +Multi buffer versions: randomized time ~ 20 * linear time + + + + +Local Variables: +mode: outline +End: Index: 2.0/src/dd/cl/tsi.cl =================================================================== --- 2.0/src/dd/cl/tsi.cl (revision 46) +++ 2.0/src/dd/cl/tsi.cl (working copy) @@ -17,10 +17,10 @@ "Prime number to randomize memory access.") (eval-when (:compile-toplevel :load-toplevel :execute) - (defvar *size* 1024 + (defvar *size* 800 "Dimension for (square) images.")) -(defvar *nsteps* 100 +(defvar *nsteps* 200 "Number of times to repeat the algorithm.") -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org

1 0

[genericity-support-comparison] Add some Makefiles
by Didier Verna 09 Jan '06

09 Jan '06

NOTE: This patch has been committed. The version below is informational only (whitespace differences have been removed). ChangeLog addition: 2006-01-09 Didier Verna <didier(a)lrde.epita.fr> * 2.0/src/dd/eiffel/Makefile: New. * 2.0/src/dd/java/Makefile: Ditto. * 2.0/src/dd/c/Makefile: Ditto. GSC source patch: Diff command: svn diff --diff-cmd /usr/bin/diff -x "-u -t -b -B -w" Files affected: 2.0/src/dd/eiffel/Makefile 2.0/src/dd/java/Makefile 2.0/src/dd/c/Makefile Index: 2.0/src/dd/c/Makefile =================================================================== --- 2.0/src/dd/c/Makefile (revision 0) +++ 2.0/src/dd/c/Makefile (revision 0) @@ -0,0 +1,5 @@ +CC = gcc +CPPFLAGS = -DNDEBUG +CFLAGS = -O3 + +all: dd_c dd_ci Index: 2.0/src/dd/java/Makefile =================================================================== --- 2.0/src/dd/java/Makefile (revision 0) +++ 2.0/src/dd/java/Makefile (revision 0) @@ -0,0 +1,4 @@ +all: Main.class MainI.class + +%.class: %.java + javac $< Index: 2.0/src/dd/eiffel/Makefile =================================================================== --- 2.0/src/dd/eiffel/Makefile (revision 0) +++ 2.0/src/dd/eiffel/Makefile (revision 0) @@ -0,0 +1,14 @@ +CC = gcc +CPPFLAGS = -DNDEBUG +CFLAGS = -O3 + +all: main1 maini1 + +main1: main1.c +maini1: maini1.c + +main1.c: main.e + compile_to_c -boost $< + +maini1.c: maini.e + compile_to_c -boost $< -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org

1 0