Jørn Jensen

Marianne Lisby1
Birgitte Brock1
Jørgen Rungby1
Dorthe Krogsgaard Bonnerup1
1Marianne Lisby
1Birgitte Brock
1Jørgen Rungby
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