Okie, thanks a lot! I'll bend my mind over other things then.. =p
Yup, I'm catching up on the videos I should watch.
Thank you!
Ryan
On Mar 22, 9:58 pm, alux wrote:
> Hi Ryan,
>
> well, to describe in the terms of Petri nets how the Clojure STM is
> built? Thats a good topic for a thesis, but r
Hi Ryan,
well, to describe in the terms of Petri nets how the Clojure STM is
built? Thats a good topic for a thesis, but rather hard to do in news
group articles.
If you try to understand how to use the STM in Clojure, Petri nets
probably will not help you. STM rather asks you to forget the stuff
Hi alux, Andrej,
Thanks!
I'm still trying to understand how STM works in Clojure, so I would
be happy if someone could tell me what's the relationship between
Petri nets and the STM model.
Is Petri nets analogous to the STM? If you have any good online
resource, I would be very grateful if yo
Indeed. Petri nets are based on the idea of synchronization via
localized token passing; STM tries to create an illusion of
synchronization-free serial execution which explicitly supports
non-local 'spooky action at a distance' for references. Petri nets are
not a very useful modeling tool here.
Hi Andrzej,
I'm not a Petri net specialist too, but I dont see how one could
simulate the view of a Clojure programmer onto STM, without simulation
too the stuff programmers doesnt see: Richs under-the-hood-magic.
Regards, alux
Andrzej schrieb:
> On Mon, Mar 22, 2010 at 4:36 AM, alux wrote:
> >
On Mon, Mar 22, 2010 at 4:36 AM, alux wrote:
>
> as far as I understand, Petri nets are as powerful as any concurrent
> mechanism. That means you can do all the good things Clojure does, and
> all the bad things (the other languages do :) too in Petri nets.
I wonder if Petri nets can be applied f
Hello Ryan,
as far as I understand, Petri nets are as powerful as any concurrent
mechanism. That means you can do all the good things Clojure does, and
all the bad things (the other languages do :) too in Petri nets.
So, can you detail your question a bit more?
(I'd be happy about a Petri net to
Hi everyone,
I just chanced upon Petri nets and struggling to understand the
theory. However, a knowledge of it seems to help design concurrent
systems and provide a theoretical basis for the points raised by Rich
in the explanation of how time is derived from local causality.
I think it's som