We
are happy to announce a new edition of the Dogelog Player:Date: August 12, 2026
Dear All,
We
are happy to announce a new edition of the Dogelog Player:
- GPU Backend:
The two pillars 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 pillars 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!