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