Jørn Jensen

Learn More
SUMMARY Mutual exclusion and general synchronization of concurrent processes ('tasks') are well-known principles for constructing reliable real-time systems. This pap'er shows how to implement these principles under a typical commercial operating system which provides incomplete synchronization operations. The problem of synchronizing erroneous tasks is(More)
  • 1