A deadlock-free communication kernel for loop connected message passing computer architecture
P Pramanik, PK Das, AK Bandyopadhyay… - Microprocessing and …, 1990 - Elsevier
A secure message-passing system for multiprocessors is described, and a formal proof of
deadlock prevention is given. The modelling technique is described, with particular
emphasis being given to the ring structure of inter-process communication. CSP is used as
the basis of the technique. A communication kernel for an operating system for transputers is
discussed.
deadlock prevention is given. The modelling technique is described, with particular
emphasis being given to the ring structure of inter-process communication. CSP is used as
the basis of the technique. A communication kernel for an operating system for transputers is
discussed.
以上显示的是最相近的搜索结果。 查看全部搜索结果