From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <D691F041928C1049808A0670D2252BE00633427D@nj9620exch001u.mh.lucent.com>
From: "Trickey, Howard W (Howard)" <trickey@lucent.com>
To: "'9fans@cse.psu.edu'" <9fans@cse.psu.edu>
Subject: RE: [9fans] APE select(2)
MIME-Version: 1.0
Content-Type: text/plain
Date: Fri,  2 Apr 2004 08:27:45 -0500
Topicbox-Message-UUID: 4ef4b004-eacd-11e9-9e20-41e7f4b1d025

I wrote the original APE select implementation, and the promela model below, but others have had their hands in it since, so it is likely that the promela model is out of date.

With regards to the nfds test in the code given earlier, I agree that it seems that:

	if(nfds >= OPEN_MAX)
		nfds = OPEN_MAX-1;
	for(i = 0; i<= nfds; i++)

should change to

	if(nfds > OPEN_MAX)
		nfds = OPEN_MAX;
	for(i = 0; i< nfds; i++)

- Howard

-----Original Message-----
From: Charles Forsyth [mailto:forsyth@terzarima.net]
Sent: Friday, April 02, 2004 6:56 AM
To: 9fans@cse.psu.edu
Subject: Re: [9fans] APE select(2)


/sys/src/ape/lib/ap/plan9/buf.prom
might help, if it's reasonably consistent with
the current implementation.