Hi, In Russ Cox's and Sape Mullender's 2008 IWP9 paper on semaphores in Plan 9, they suggest that semaphore (semacquire/semrelease)-based locks in libc were better than the current spinning ones; they note that the locks would be replaced in the distribution soon. Is that still in the cards? -- vs