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

Groups > comp.lang.prolog > #15854

ANN: Dogelog Player 2.2.5 (π-WAM Channels)

Show all headers | View raw

Dear All,

We are happy to announce a new edition of
the Dogelog Player:

- GPU Backend:
The two pilars of π-calculus are processes and
channels. While processes in the CPU Backend
mapped straight forward to some platform threads
and a new predicate execute/[1,2]. The predicate
introduced here is expedite/[1,2] and it does
the same for your GPU via compute shaders. We
observed good results with iGPUs from
budget AI laptops.

- CPU Channels:
We mentioned already that the two pilars of
π-calculus are processes and channels. In
search of easy channel objects, we arrived at
a kind of ADA RendezVous without ACK or NACK.
This is basically a 1-element mpmc queue, now
available via the predicate chan/1 for
the CPU backend.

- GPU Channels:
Channel objects are now also available for the
GPU backend via the predicate flit/1. The approach
is again some busy-wait, so dont use CPU or GPU
channels for isolated long waits. Because of a
batch oriented GPU command API, we could not
yet provide online communication
between CPU and GPU .

Have Fun!

Jan Burse, August 12, 2026, https://www.herbrand.ai/

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

Thread

ANN: Dogelog Player 2.2.5 (π-WAM Channels) Mild Shock <janburse@fastmail.fm> - 2026-08-12 02:18 +0200
  Blum’s Speed-Up Theorem and Sudoku (Was: ANN: Dogelog Player 2.2.5 (π-WAM Channels)) Mild Shock <janburse@fastmail.fm> - 2026-08-14 22:03 +0200

csiph-web