To provide such a guarantee we must either assume further properties of the V operation or make use of an array of n semaphores where n is the number of writers. Acknowledgment. We are grateful to A.N. Haber Mann
of Carnegie-Mellon University for having shown us an error in an earlier version of this report.