Readers - Writers specification
Readers - Writers specification
These requirements for a Readers - Writers are stated below:
forall e: (writeP ® writeQ) or (writeP ® writeQ) --------(1.rw)
forall e: (writeP ® (readR1 || ... || readRn )) ------------------(2.rw)
or ((readR1 || ... || readRn ) ® writeP )
In the following, we will develop a ReadWrite lock to satisfy the above requirements. Readers acquire the lock in Read Mode (sometimes called Shared Mode) while Writers acquire the lock in Write Mode (sometimes called Exclusive Mode