k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Semantics of garbage collecting and store normalisation

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Semantics of garbage collecting and store normalisation
Date: Mon, 22 Jul 2013 12:05:50 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Does someone has ever worked on garbage collection in K?

I would like to mesure the memory consumption of some programs, and thus I want to remove the unused elements from the store.

More generaly, I am interested in normalising the store. During a non-deterministic krun, I often end up with syntactically different, yet semantically equivalent configurations.

<env> a |-> #symInt(1) b |-> #symInt(2)</env>
<store> #symInt(1) |-> "aa" #symInt(2) |-> "bb" </store>

vs.
<env> a |-> #symInt(2) b |-> #symInt(1)</env>
<store> #symInt(1) |-> "bb" #symInt(2) |-> "aa" </store>

Is there well known techiques of normalisation?

Merci d'avance

Manu

[K-user] Semantics of garbage collecting and store normalisation, Emmanuel Castro, 07/22/2013
- Re: [K-user] Semantics of garbage collecting and store normalisation, Mark Hills, 07/22/2013
  - Re: [K-user] Semantics of garbage collecting and store normalisation, Guth, Dwight, 07/22/2013
    - Re: [K-user] Semantics of garbage collecting and store normalisation, Mark Hills, 07/22/2013
      - Re: [K-user] Semantics of garbage collecting and store normalisation, Robby Findler, 07/22/2013