hotzenklotz/gist:72b2e0a36413971d3bcd

Created January 25, 2015 22:27

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/hotzenklotz/72b2e0a36413971d3bcd.js"></script>
Save hotzenklotz/72b2e0a36413971d3bcd to your computer and use it in GitHub Desktop.

Download ZIP

Raw

gistfile1.c

	reader:
	CohortLock.acquire()
	ReadIndr.arrive()
	CohortLock.release()
	<read-critical-section>
	ReadIndr.depart()

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment