CTRON-specification kernel implementation for a tightly coupled multiprocessor system

The authors are developing a high-performance tightly coupled multiprocessor system called OKITRON-HP, running a CTRON-specification operating system. The system is designed for application to various types of nodes in communications networks, including database nodes and transaction processing nodes, that require levels of performance not attainable in a single-processor system. Fault-tolerance functions are built in for improved reliability. They give an overview of the OKITRON-HP architecture, then discuss solutions to the problem of shared memory access (i.e. exclusion control), the most important performance factor in a multiprocessor system. Finally, they describe the kinds of algorithms implemented in the OKITRON-HP kernel based on the results of experimental simulations