Hallo liebe Mechanica-User,
ich benutze ProM in der Version WF1 unter Windows XP Pro SP2, Rechner ist ein P4 mit 3GB RAM (nicht gepatcht, physisch vorhanden). Ich habe folgendes Problem:
Ich definiere eine statische Analyse mit ca. 10000 Elementen. Dem Gleichungslöser weise ich gemäß Hilfe 50% des Arbeitsspeichers zu, also 1,5GB. Darauf hin erhalte ich die Fehlermeldung dass die Studie mangels Speicher nicht ausgeführt werden kann, es werden mindestens 1,48GB benötigt.
Weise ich dem Gleichungslöser nun 1,1GB zu läuft die Studie anstandslos durch. Ein Blick auf die Speicherausnutzung sagt mir jedoch, dass noch 2GB physischer Speicher vorhanden ist während die Studie läuft und ca. 1,85GB an Auslagerungsdatei anfällt (siehe Bild). Dieses Verhalten ändert sich über den gesamten Verlauf der Studie so gut wie nicht.
Jetzt frage ich mich wie ProMechanica hier vorgeht. Meine Denke war bisher folgende:
- RAM so weit als möglich ausnutzen (sprich so nahe wie möglich an die 3GB ran)
- Möglichst wenig in die Auslagerungsdatei schreiben (da langsam)
Wieso schreibt ProM dann 1,8GB in die Auslagerungsdatei und ignoriert 2GB physisches Ram??? Bin etwas verwirrt...
Ich freue mich auf Eure Antworten, und ja, die Suchenfunktion ist bekannt...
Gruß,
Jörg
Eine Antwort auf diesen Beitrag verfassen (mit Zitat/Zitat des Beitrags) IP