K-user mailing list

[Radu Mereuta <headness13 AT gmail.com>]

HI Robby,

I have an idea of what it happens, but we need to test it first. We kept developing and adding new stuff to K and I think we added too much. We need to rethink what we add by default, because right now everything is added by default.

Will get back to you in a day or two, hopefully with a solution.

Radu

On Tue, Sep 25, 2012 at 8:05 PM, Robby Findler <robby AT eecs.northwestern.edu> wrote:

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
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user