In order to patch the original rstm_v3 distribution, move to dir in which
rstm_v3 is contained and run following command:


patch -p0 < epfl.2.patch


Patch lets you build rstm with preemptive contention managers by specifying
preprocessor directive PREEMPTIVE_CONTENTION_MANAGERS. It also makes it
possible to turn off invisible reader and lazy writer validations by specifying
preprocessor directive VIOLATE_OPACITY. (But be careful with this - it could
lead to crashes of programs.)
