The words contained in this file might help you see if this file matches what you are looking for:

...The art of multiprocessor programming copyright elsevier inc all rights reserved maurice herlihy nir shavit october draft copy contents introduction sharedobjectsandsynchronization afable propertiesofmutualexclusion themoral theproducer consumerproblem thereaders writersproblem theharshrealitiesofparallelization missive chapternotes exercises principles mutual exclusion time criticalsections two threadsolutions lockone class locktwo thepetersonlock thefilterlock fairness lamportsbakeryalgorithm bounded timestamps lower bounds on number locations concurrent objects concurrencyandcorrectness sequentialobjects quiescentconsistency remarks sequentialconsistency linearizability linearizationpoints formaldenitions is compositional thenon blockingproperty progressconditions dependentprogressconditions thejavamemorymodel locksandsynchronizedblocks volatilefields finalfields foundations shared memory thespaceofregisters registerconstructions mrswsaferegisters aregularbooleanmrswregister aregula...