Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.javascript > #124477

Dogelog in the Park: A Barriered Statechart Simulator (Re: ANN: Dogelog Player 2.2.6 (π-WAM if-then-else))

Path csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.javascript
Subject Dogelog in the Park: A Barriered Statechart Simulator (Re: ANN: Dogelog Player 2.2.6 (π-WAM if-then-else))
Date Fri, 4 Sep 2026 16:42:12 +0200
Message-ID <117elc4$1lppc$3@solani.org> (permalink)
References <11719lu$1cctk$3@solani.org>
MIME-Version 1.0
Content-Type text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding 8bit
Injection-Date Fri, 4 Sep 2026 14:42:12 -0000 (UTC)
Injection-Info solani.org; logging-data="1763116"; mail-complaints-to="abuse@news.solani.org"
User-Agent Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:140.0) Gecko/20100101 Firefox/140.0 SeaMonkey/2.53.24
Cancel-Lock sha1:ouk7mdPRsGkKm+Mu1QmcN8Cp/2Q=
In-Reply-To <11719lu$1cctk$3@solani.org>
X-User-ID eJwNyjkBACAIAMBKIH8cQOkfQaZbTkhR21hFWUYmtA4w+SVOVyT0mGkvNgxIZIiefj1wri/YlrUD4G2MKx9CNxXV
Xref csiph.com comp.lang.javascript:124477

Show key headers only | View raw


Hi,

In 1984 David Harel wrote a charming paper
about statecharts to visualize complex system
state and behaviour. After a $80 million
acquisition and the expiry of patents. The
2015 W3C XML standard for statecharts has
an appendix D showing a reference implementation.

Unlike the W3C appendix D take, the simulator
is a homomorphism of next/3, with an intercept
for cancellations. By using maplist/3 and
not concurrent_maplist/3 we added a barrier.
We can now let the little dog play fetch in
some nature park, just like in the
Stately AI demo page.

Bye

See also:

Dogelog in the Park: A Barriered Statechart Simulator
https://medium.com/2989/a50682d1fde8

Mild Shock schrieb:
> Dear All,
> 
> We are happy to announce a new edition
> of the Dogelog Player:
> 
> - User Time:
> Our π-WAM channels are still pounding 1μ ping
> pong roundtrip between JavaScript workers,
> thanks to SharedArrayBuffer and Atomic.wait().
> But while workers are busy with each other
> Dogelog Player main worker will wait. Therefore
> we introduced a new statistics "user" and time/1
> shows user percentage for non-wait main.
> 
> - Hack Instructions:
> What a π-WAM worker will drive, is the Hack VM
> an alternative to the Dogelog VM. Our first
> version of Hack VM instruction set had 10-bit
> jump operand and 10-bit arithmetic operand.
> This made it difficult to run larger CLP(Z)
> examples. So we redesigned the instuction
> set to have one 24-bit operand.
> 
> - Hack Compilation:
> There is a new library(hack), which houses
> the emulator and a new disassembler by the
> predicate instructions/1, the later taking a
> goal argument. The Hack VM compiler can now
> emit jump and link instructions for disjunction.
> It can also digest '$MARK'/1 and '$CUT'/1 from
> the Dogelog Player surface translation, and
> therefor it is now able to compile if-then-else.
> 
> Have Fun!
> 
> 
> Jan Burse, August 30, 2026, https://www.herbrand.ai/

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

ANN: Dogelog Player 2.2.6 (π-WAM if-then-else) Mild Shock <janburse@fastmail.fm> - 2026-08-30 15:02 +0200
  Re: ANN: Dogelog Player 2.2.6 (π-WAM if-then-else) Mild Shock <janburse@fastmail.fm> - 2026-09-04 16:41 +0200
  Dogelog in the Park: A Barriered Statechart Simulator (Re: ANN: Dogelog Player 2.2.6 (π-WAM if-then-else)) Mild Shock <janburse@fastmail.fm> - 2026-09-04 16:42 +0200
    5 Minutes Implementation of Prolog catch/3 and throw/1 (Re: Dogelog in the Park: A Barriered Statechart Simulator) Mild Shock <janburse@fastmail.fm> - 2026-09-14 19:24 +0200
      Re: 5 Minutes Implementation of Prolog catch/3 and throw/1 (Re: Dogelog in the Park: A Barriered Statechart Simulator) Mild Shock <janburse@fastmail.fm> - 2026-09-17 15:09 +0200
      A rogue '$CUT'/1 for Dogelog Player (Was: 5 Minutes Implementation of Prolog catch/3 and throw/1) Mild Shock <janburse@fastmail.fm> - 2026-09-17 15:10 +0200

csiph-web