k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] krun in parallel?

From: Robby Findler <robby AT eecs.northwestern.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] krun in parallel?
Date: Thu, 18 Oct 2012 14:01:36 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Is krun safe to run in parallel? I've been running it in parallel for
a while with no seeming problems, but just recently (and I'm sorry I
didn't save the error message), I got some kind of error about krun
writing to or reading from a file in the .k/ directory that looks like
it could have come from two different kruns stomping on each other. Is
that possible?

Robby

[K-user] krun in parallel?, Robby Findler, 10/18/2012
- Re: [K-user] krun in parallel?, Rosu, Grigore, 10/18/2012
- <Possible follow-up(s)>
- Re: [K-user] krun in parallel?, Guth, Dwight, 10/19/2012
  - Re: [K-user] krun in parallel?, Robby Findler, 10/19/2012
  - Re: [K-user] krun in parallel?, Robby Findler, 10/19/2012
    - Re: [K-user] krun in parallel?, Guth, Dwight, 10/19/2012
      - Re: [K-user] krun in parallel?, Guth, Dwight, 10/19/2012