K-user mailing list

[Robby Findler <robby AT eecs.northwestern.edu>]

Hi all:

  I'm seeing surprisingly slow performance from 'kompile' when I run
it on a simple file. I think I must have something set up wrong, as
I've watched others use kompile and things have been much more zippy.
Here's specifically what I see, running on a mac os x 1.8 ghz core i7
machine:


  $ cat imp.k
  module IMP
  endmodule
  $ time ./k/bin/kompile imp.k

  real  0m15.792s
  user  0m28.005s
  sys   0m0.938s
  $


The "k" directory contains an unpacked version of k-latest-stable.tgz
from the k-framework.org website.

When I watch top, I see that about 10 of those 15 seconds are spent in
Java and the rest in maude.

When I try k-latest.tgz, I see the same 10 or so seconds in Java, but
then it cannot find maude. I'm not sure why.

In case it matters:

  $ which java
  /usr/bin/java
  $ java -version
  java version "1.6.0_35"
  Java(TM) SE Runtime Environment (build 1.6.0_35-b10-428-11M3811)
  Java HotSpot(TM) 64-Bit Server VM (build 20.10-b01-428, mixed mode)


Any ideas?

tia,
Robby