Final Remarks
The reader will note that the above solutions do not
guarantee a FIFO discipline for the writers. 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. Habermann
of Carnegie-Mellon University for having shown
us an error in an earlier version of this report.