>Yes, these kinds of problems (e.g., no well defined specifications when
>to signal what semaphore)

Read this, http://www.smalltalkconsulting.com/html/OTNotes1.html if 
you find somthing that doesn't match in the unix code. Or exposes a 
hole. please let me know.

I'm not sure what other 'well defined' specifications you need?
-- 
--
===========================================================================
John M. McIntosh <johnmci at smalltalkconsulting.com> 1-800-477-2659
Corporate Smalltalk Consulting Ltd.  http://www.smalltalkconsulting.com
===========================================================================