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.