Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Hi,

> I'm using Full Maude and Maude frequently and I've noticed that the last
> version of Full Maude starts very slowly in my linux machine. I've
> analyzed the memory used by the system and Maude consumes only 2.3 Mb
> whereas Maude + Full Maude consumes nearly 53 Mb and reaches maximums
> during loading of 200 Mb, which I believe it's unusual.
>
> Is there any solution? Is it maybe a problem of my linux installation? I
> have a Red Hat 9.2 in two different machines with the same problem.

I see the same; I don't think the problem is with your OS. The problem 
appears 
to be the large right hand side of the equation on line 13077 of Full Maude. 
Most of the cpu time and memory is spent parsing and compiling this term.
In particular, a quadratic space algorithm is used in the optimization of rhs 
automata.

Steven