| commit | 7f3ed1eda19eaf846df93b7c4d1ab1069ab0c130 | [log] [tgz] |
|---|---|---|
| author | David Klempner <klempner@google.com> | Fri Jan 16 15:35:56 2015 -0800 |
| committer | David Klempner <klempner@google.com> | Fri Jan 16 15:42:31 2015 -0800 |
| tree | 85d4602d24a6af6550dc5d41c3c294b642d85bb0 | |
| parent | beddbdaef22989309e4adf996843efc25d1891bd [diff] |
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.