Computing on semaphores of Dijkstra with place-transition nets
From: Dmitry Zaitsev
Date: Fri Jan 16 2026 - 11:14:30 EST
Dear all,
Could you consider and comment my offer for adding a new system call
to Linux kernel for extended multiple System V semaphores I shared in
a recently published journal paper
Zaitsev, D. A. Computing on semaphores of Dijkstra with place-transition nets
https://doi.org/10.1080/17445760.2026.2615010
The semopk() system call I offer will allow us to better optimize the
kernel work, especially under critical load, and to find deadlocks --
both fast on-the-fly.
--
Yours truly,
Dmitry Zaitsev
HDR, Professor,
Senior Member of ACM and IEEE
https://dimazaitsev.github.io
https://www.linkedin.com/in/dmitry-a-zaitsev/recent-activity/all