Lower and upper bounds on maximum priority inversion blocking (pi-blocking) are established under distributed multiprocessor real-time semaphore protocols (where resources may be accessed only from specific synchronization processors). Prior work on shared-memory multiprocessor semaphore protocols (which require resources to be accessible from potentially any processor) has established bounds o...

A. Denis Clift is President of the Joint Military Intelligence College. During the Napoleonic Wars, the French revolutionized land-based communications with the erection of semaphore towers bearing rotating arms to fashion coded signals that could speed by lineof-sight from tower to tower along the coast and across the country at some 200 miles an hour. The British quickly followed suit in that...

This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) implementations on general purpose CPU are based on an atomic read and (conditional) write of a shared variable. In modern multiprocessor implementations, these operations occur as dependent pairs of conditional instructio...

The main objective of a semaphore is to provide a correct and fluent vehicular mobility. Many countries around the world are using such devices in urban areas. However, the traditional semaphore operative ways are outdated. We report in a previous contribution the development of a methodology capable of improving the vehicular mobility by proposing a new green light interval based on road condi...

The messenger paradigm advocates the exchange of programs called messengers between communicating hosts instead of messages. Each host contains a messenger execution environment called messenger platform. Messengers are expressed in a language understood by all the platforms. A distributed messenger environment is a collection of messenger platforms linked through an unreliable network offering...

An active system component, the arbiter, is proposed as a system struc-turing concept for the implementation of synchronizing primitives. The concept is illustrated by showing a new and very simple implementation of the critical section with a busy form of waiting. This implementation will be reened in such a way that it does not need the commonly stated postulate of atomicity, according to whi...

5 Simplification procedures 72 5.1 Simplification under Landau symbols . . . . . . . . . . . . . . 72 5.2 Simproc setup . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 5.3 Tests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 5.3.1 Product simplification tests . . . . . . . . . . . . . . . 74 5.3.2 Real product decision procure tests . . . . . . . . . . . 74 5.3.3 Su...