maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] [Memory] Required/recommended memory to run Maude 2.0 on Linux?

From: Scott <scottxyz AT usa.net>
To: <maude-help AT banyan.cs.uiuc.edu>
Subject: [Maude-help] [Memory] Required/recommended memory to run Maude 2.0 on Linux?
Date: Mon, 16 Jun 2003 21:06:28 -0400
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Thank you to Steven Eker for pointing out that when module FULL-MAUDE is
loaded on Linux, it uses about 34M of RAM - which may also be causing problems
for users attempting to run Maude 2.0 on Windows/LINE.

This raises a question for people who might be thinking of getting a Linux box
to run Maude 2.0:

>From the experience of people currently using Maude 2.0, is there a
required/recommended minimum amount of memory (both actual memory and virtual
or "swap-space" memory) for running Maude 2.0 on Linux?

Thanks,
Scott Alexander
Brookly, New York

[Maude-help] [Memory] Required/recommended memory to run Maude 2.0 on Linux?, Scott, 06/16/2003
- Re: [Maude-help] [Memory] Required/recommended memory to run Maude 2.0 on Linux?, Ambarish Sridharanarayanan, 06/22/2003