3 Commits

Author	SHA1	Message	Date
Eric Holk	fec8059ed5	Move port_set and shared_chan into core.	2012-07-12 18:16:01 -07:00
Eric Holk	75e55c1b12	Faster select. This version gives us about a 4x speedup.	2012-07-12 18:16:01 -07:00
Eric Holk	c56a38ac2a	Added a version of msgsend that uses pipes and select. Here, select is way too slow to be useful, but this can be optimized.	2012-07-12 18:16:00 -07:00