maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Maude compiler (cred)

From: Marc Boyer <Marc.Boyer AT onera.fr>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Maude compiler (cred)
Date: Wed, 11 May 2011 10:10:58 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Le 09/05/2011 22:39, Steven Eker a écrit :

If you want to post your Maude program I can take a quick look at it for
obvious inefficiencies. Actually I'm always interested in seeing pure 'reduce'
code that runs slowly - we are planned a brand new rewrite engine for Maude 3
and it's good to see what features need to be accelerated.

What did you call "running slowly" ?

I have a pure reduce code that goes from 14 to 1670000 rewrites per second, with an average of 400 000, on a Intel(R) Core(TM)2 Duo CPU
running at 1.4GHz.

It takes about 24h to make 30 000 reductions (the input file size is 1,3M).

Marc Boyer
--
Marc Boyer, Ingenieur de recherche ONERA
Tel: (33) 5.62.25.26.36 DTIM
Fax: (33) 5.62.25.26.52 2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/ 31055 TOULOUSE Cedex 4

[Maude-help] Maude compiler (cred), Iago Abal, 05/09/2011
- Re: [Maude-help] Maude compiler (cred), Steven Eker, 05/09/2011
  - Re: [Maude-help] Maude compiler (cred), Iago Abal, 05/09/2011
    - Re: [Maude-help] Maude compiler (cred), Steven Eker, 05/09/2011
      - Message not available
        
        Re: [Maude-help] Maude compiler (cred), Iago Abal, 05/10/2011
  - Re: [Maude-help] Maude compiler (cred), Marc Boyer, 05/11/2011
    - Re: [Maude-help] Maude compiler (cred), Steven Eker, 05/11/2011