Programming with Petri Nets to Reason about Concurrency (Lightning Talk)
summary
A library called guile-petri models concurrency with Petri nets where places→queues tokens→data and transitions are functions that consume inputs and emit outputs; it supports custom fast filters and slower handlers run off the main flow, uses value fibers inspired by Concurrent ML, and exposes an editable Petri-net macro-like initialization. The demo builds an echo server and a GUI (artificial 1 s delay) and the benchmark shows about a 4× slowdown from the extra short-lived fibers.
AI-written summary · about
chapters (4)
- 0:00Programming with Petri Nets to Reason about Concurrency
- 1:52Guile-petri : Concurrency Library
- 3:04Echo Server Demonstration
- 4:00Performance
related talks
03h 29mConcurrency with Clojure
43mMultithreading for human beings
01h 01mThe Future of Concurrency and Parallelism
38mModeling concurrency in Ruby and beyond
20mSubprocesses, Threads and Fibers
18mPetrification: Software Model Checking for Programs with Dynamic Thread Managem...
01h 35mThinking Outside the Synchronisation Quadrant
20mIt's Critical: Concurrent programming as a sane programming model