[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Optimal RAM for PVS

Tamarah -

Experience here has shown that PVS can benefit enormously from extra
memory, if you're running large proofs.  Our standard desktop
configuration for running PVS at SRI uses 256MB of memory.  PVS will run
in much less, but for proofs of significant size more memory can help ---
indeed it often helps much more than a faster processor.

However, as with all things, the best test to see if *you* will benefit
from extra memory is to perform some measurements on your actual usage of
PVS.  Try starting up a new PVS session, and then start replaying your
proofs.  Whilst this is underway, run "ps ux" in a shell window, and look
at the "VSZ" column.  This is the total virtual memory utilization (in
bytes) of each process.  If you have more physical memory than this, then
you'll avoid overheads involved with virtual memory, and PVS will run much
faster.  Another method is to use "top" if that's available on your system.

Hope that helps,

Dr Dave Stringer-Calvert,  Senior Project Manager,  Computer Science Lab
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com