tree 85d4602d24a6af6550dc5d41c3c294b642d85bb0
parent beddbdaef22989309e4adf996843efc25d1891bd
author David Klempner <klempner@google.com> 1421451356 -0800
committer David Klempner <klempner@google.com> 1421451751 -0800

Factor out the pollset kicking mechanism and eliminate sharding

This change pulls out a separate pollset_kick module, which currently
uses a freelist of pipes dynamically assigned to pollsets when they
enter polling rather than the previous racy sharding mechanism.

We ultimately may wish to eliminate the dynamic assignment for multipoll
sets, but this should be sufficient for the moment.