[Info-vax] K-mutex

[Bob Koehler]

In article <8621ba00-97a1-4fd1-8859-93c86b9edc76 at u5g2000vbd.googlegroups.com>, Pierre <pierre.bru at gmail.com> writes:
> 
> semaphores are NOT locks. semaphores are system-wide "counters" that
> may be waited for (counter =3D counter -1) or signaled (counter =3D
> counter + 1) by ANY process. this is the by-design behavior of
> semaphores and a lot of semaphore-patterns heavily rely on that
> behavior.

   Just becasue they are not locks does not mean that they cannot be
   correctly run down at image exit.  Nor do they necessarily have
   to be system-wide and available to any processs, they could be
   implemented on a more granular basis.

   I don't care how little the Wiki knows about it.