Projects January 2006

projects@lrde.epita.fr

6 participants
22 discussions

vcs-svn up 0.5: fails
by Akim Demaille 20 Feb '06

20 Feb '06

~/lectures/lrde-admin-lrde % svn up nostromo 15:08 svn: Can't convert string from native encoding to 'UTF-8': svn: architecture-r?\233seau.tex vcs: error: command: svn update -- vcs: error: exit: 1 ~/lectures/lrde-admin-lrde % \svn up nostromo Err 1 At revision 81.

2 2

vcs-svn ci --help
by Akim Demaille 19 Feb '06

19 Feb '06

~/src/tc % svn ci --help nostromo Err 1 vcs: info: Updating your working copy... Authentication realm: <https://svn.lrde.epita.fr:443> LRDE Public Subversion repository Password for 'akim': Authentication realm: <https://svn.lrde.epita.fr:443> LRDE Public Subversion repository Username: Password for '': Authentication realm: <https://svn.lrde.epita.fr:443> LRDE Public Subversion repository Username: Password for '': svn: PROPFIND request failed on '/svn/tc/trunk/tc' svn: PROPFIND of '/svn/tc/trunk/tc': authorization failed (https://svn.lrde.epita.fr) vcs: error: command: svn update -- vcs: error: exit: 1

2 2

svn --version broken
by Akim Demaille 19 Feb '06

19 Feb '06

/tmp % vcs-svn --version help (?, h): Describe the usage of this program or its subcommands. usage: help [SUBCOMMAND...] Valid options: --version : print client version info -q [--quiet] : print as little as possible --config-dir arg : read user configuration files from directory ARG

2 1

Re: [Projects] Re: Test suite
by Roland Levillain 04 Feb '06

04 Feb '06

>>>>> "Nicolas" == Nicolas Pouillard <nicolas.pouillard(a)gmail.com> writes: Nicolas> On 1/26/06, Roland Levillain <roland(a)lrde.epita.fr> wrote: >> >>>>> "Nicolas" == Nicolas Pouillard <nicolas.pouillard(a)gmail.com> >> writes: 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 ? Nicolas> Pas tout de suite mais dans un mois par exemple, genre un Nicolas> mercredi disons le 22 fevrier si cela vous arrange. Mais cela Nicolas> dépend peut être de vos contraintes si le choix des Nicolas> technologies doit être absolument fait plus tôt ou pas ? Le 22/2 me semble une bonne date. Mises à part les réunions usuelles, le calendrier indique qu'il y a une réunion Transformers de 14h à 16h. Est-ce que tu auras/vous aurez un créneau compatible avec cet emploi du temps ? Au passage, si vous pouviez présenter (même rapidement) Vcs aux nouveaux, ce serait super !

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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Projects January 2006