On 19 Sep 2005, at 16:34, Satya Nemana wrote:
I cann't imagine, it is so hard to get something that looks so obviously needed and that too, such a standard one like socket API. If it is totally a new functional API, I can understand if it is not available so easy.
The semantics of those APIs are pretty complex and hard to test. In fact, they've only just been specified at all; Peter Sewell and co. published an entire book about it:
http://www.cl.cam.ac.uk/users/pes20/Netsem/alldoc.pdf His recent SIGCOMM paper is more digestible: http://www.cl.cam.ac.uk/users/pes20/Netsem/paper.ps -anil
