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

Batch mode is slow



Hello,

when running PVS (2.3) in batch mode, I noticed that the (x)emacs process
running uses about 50% of the CPU time, so PVS runs at half speed.

(linux)
  PID USER     PRI  NI  SIZE  RSS SHARE STAT  LIB %CPU %MEM   TIME COMMAND
 1278 cb        20   0 15448  15M  3216 R       0 48.8  5.9   0:16 xemacs
 1279 cb        20   0 24280  23M 11744 R      28 47.6  9.4   0:14 pvs-allegro5.0

(freebsd)
  PID USERNAME        PRI NICE  SIZE    RES STATE    TIME   WCPU    CPU COMMAND
 3402 cb               62   0 75828K 73996K RUN      3:22 51.51% 51.51% pvs-all
 3401 cb               59   0  7364K  6084K RUN      2:57 40.48% 40.48% xemacs-

This problem occurs with emacs-20.6 and xemacs-20.4.

Is there a way around this?

Christoph Berg
-- 
cb@cs.uni-sb.de, http://www-wjp.cs.uni-sb.de/~cb/
Office +49/681/302-4490, Fax -4290, Home +49/681/9657944
Computer Science Dept., Universität des Saarlandes, Saarbrücken

PGP signature