issue #333: add versioning, initial batch of poller tests
Now poller is start enough to know a start_receive() during an iteration does not cause events yielded by that iteration to associate with the wrong descriptor. These changes are tangentially related to the associated ticket, but event versioning is still the underlying issue.
This commit is contained in:
David Wilson
parent
1198164ce6
commit
73cda2994f
|
|
@ -1286,17 +1286,20 @@ def _unpickle_context(router, context_id, name):
|
|||
|
||||
|
||||
class Poller(object):
|
||||
#: Increments on every poll(). Used to version _rfds and _wfds.
|
||||
_generation = 1
|
||||
|
||||
def __init__(self):
|
||||
self._rfds = {}
|
||||
self._wfds = {}
|
||||
|
||||
@property
|
||||
def readers(self):
|
||||
return list(self._rfds.items())
|
||||
return list((fd, data) for fd, (data, gen) in self._rfds.items())
|
||||
|
||||
@property
|
||||
def writers(self):
|
||||
return list(self._wfds.items())
|
||||
return list((fd, data) for fd, (data, gen) in self._wfds.items())
|
||||
|
||||
def __repr__(self):
|
||||
return '%s(%#x)' % (type(self).__name__, id(self))
|
||||
|
|
@ -1305,19 +1308,18 @@ class Poller(object):
|
|||
pass
|
||||
|
||||
def start_receive(self, fd, data=None):
|
||||
self._rfds[fd] = data or fd
|
||||
self._rfds[fd] = (data or fd, self._generation)
|
||||
|
||||
def stop_receive(self, fd):
|
||||
self._rfds.pop(fd, None)
|
||||
|
||||
def start_transmit(self, fd, data=None):
|
||||
self._wfds[fd] = data or fd
|
||||
self._wfds[fd] = (data or fd, self._generation)
|
||||
|
||||
def stop_transmit(self, fd):
|
||||
self._wfds.pop(fd, None)
|
||||
|
||||
def poll(self, timeout=None):
|
||||
_vv and IOLOG.debug('%r.poll(%r)', self, timeout)
|
||||
def _poll(self, timeout):
|
||||
(rfds, wfds, _), _ = io_op(select.select,
|
||||
self._rfds,
|
||||
self._wfds,
|
||||
|
|
@ -1326,11 +1328,20 @@ class Poller(object):
|
|||
|
||||
for fd in rfds:
|
||||
_vv and IOLOG.debug('%r: POLLIN for %r', self, fd)
|
||||
yield self._rfds[fd]
|
||||
data, gen = self._rfds.get(fd, (None, None))
|
||||
if gen and gen < self._generation:
|
||||
yield data
|
||||
|
||||
for fd in wfds:
|
||||
_vv and IOLOG.debug('%r: POLLOUT for %r', self, fd)
|
||||
yield self._wfds[fd]
|
||||
data, gen = self._wfds.get(fd, (None, None))
|
||||
if gen and gen < self._generation:
|
||||
yield data
|
||||
|
||||
def poll(self, timeout=None):
|
||||
_vv and IOLOG.debug('%r.poll(%r)', self, timeout)
|
||||
self._generation += 1
|
||||
return self._poll(timeout)
|
||||
|
||||
|
||||
class Latch(object):
|
||||
|
|
|
|||
|
|
@ -681,14 +681,6 @@ class KqueuePoller(mitogen.core.Poller):
|
|||
def close(self):
|
||||
self._kqueue.close()
|
||||
|
||||
@property
|
||||
def readers(self):
|
||||
return list(self._rfds.items())
|
||||
|
||||
@property
|
||||
def writers(self):
|
||||
return list(self._wfds.items())
|
||||
|
||||
def _control(self, fd, filters, flags):
|
||||
mitogen.core._vv and IOLOG.debug(
|
||||
'%r._control(%r, %r, %r)', self, fd, filters, flags)
|
||||
|
|
@ -707,7 +699,7 @@ class KqueuePoller(mitogen.core.Poller):
|
|||
self, fd, data)
|
||||
if fd not in self._rfds:
|
||||
self._control(fd, select.KQ_FILTER_READ, select.KQ_EV_ADD)
|
||||
self._rfds[fd] = data or fd
|
||||
self._rfds[fd] = (data or fd, self._generation)
|
||||
|
||||
def stop_receive(self, fd):
|
||||
mitogen.core._vv and IOLOG.debug('%r.stop_receive(%r)', self, fd)
|
||||
|
|
@ -720,7 +712,7 @@ class KqueuePoller(mitogen.core.Poller):
|
|||
self, fd, data)
|
||||
if fd not in self._wfds:
|
||||
self._control(fd, select.KQ_FILTER_WRITE, select.KQ_EV_ADD)
|
||||
self._wfds[fd] = data or fd
|
||||
self._wfds[fd] = (data or fd, self._generation)
|
||||
|
||||
def stop_transmit(self, fd):
|
||||
mitogen.core._vv and IOLOG.debug('%r.stop_transmit(%r)', self, fd)
|
||||
|
|
@ -728,7 +720,7 @@ class KqueuePoller(mitogen.core.Poller):
|
|||
self._control(fd, select.KQ_FILTER_WRITE, select.KQ_EV_DELETE)
|
||||
del self._wfds[fd]
|
||||
|
||||
def poll(self, timeout=None):
|
||||
def _poll(self, timeout):
|
||||
changelist = self._changelist
|
||||
self._changelist = []
|
||||
events, _ = mitogen.core.io_op(self._kqueue.control,
|
||||
|
|
@ -738,13 +730,17 @@ class KqueuePoller(mitogen.core.Poller):
|
|||
if event.flags & select.KQ_EV_ERROR:
|
||||
LOG.debug('ignoring stale event for fd %r: errno=%d: %s',
|
||||
fd, event.data, errno.errorcode.get(event.data))
|
||||
elif event.filter == select.KQ_FILTER_READ and fd in self._rfds:
|
||||
elif event.filter == select.KQ_FILTER_READ:
|
||||
data, gen = self._rfds.get(fd, (None, None))
|
||||
# Events can still be read for an already-discarded fd.
|
||||
mitogen.core._vv and IOLOG.debug('%r: POLLIN: %r', self, fd)
|
||||
yield self._rfds[fd]
|
||||
if gen and gen < self._generation:
|
||||
mitogen.core._vv and IOLOG.debug('%r: POLLIN: %r', self, fd)
|
||||
yield data
|
||||
elif event.filter == select.KQ_FILTER_WRITE and fd in self._wfds:
|
||||
mitogen.core._vv and IOLOG.debug('%r: POLLOUT: %r', self, fd)
|
||||
yield self._wfds[fd]
|
||||
data, gen = self._wfds.get(fd, (None, None))
|
||||
if gen and gen < self._generation:
|
||||
mitogen.core._vv and IOLOG.debug('%r: POLLOUT: %r', self, fd)
|
||||
yield data
|
||||
|
||||
|
||||
class EpollPoller(mitogen.core.Poller):
|
||||
|
|
|
|||
|
|
@ -0,0 +1,332 @@
|
|||
|
||||
import errno
|
||||
import os
|
||||
import select
|
||||
import socket
|
||||
import sys
|
||||
import time
|
||||
|
||||
import unittest2
|
||||
|
||||
import mitogen.core
|
||||
import mitogen.parent
|
||||
|
||||
import testlib
|
||||
|
||||
|
||||
class SockMixin(object):
|
||||
def tearDown(self):
|
||||
self._teardown_socks()
|
||||
super(SockMixin, self).tearDown()
|
||||
|
||||
def setUp(self):
|
||||
super(SockMixin, self).setUp()
|
||||
self._setup_socks()
|
||||
|
||||
def _setup_socks(self):
|
||||
# "left" and "right" side of two socket pairs. We use sockets instead
|
||||
# of pipes since the same process can manipulate transmit/receive
|
||||
# buffers on both sides (bidirectional IO), making it easier to test
|
||||
# combinations of readability/writeability on the one side of a single
|
||||
# file object.
|
||||
self.l1_sock, self.r1_sock = socket.socketpair()
|
||||
self.l1 = self.l1_sock.fileno()
|
||||
self.r1 = self.r1_sock.fileno()
|
||||
|
||||
self.l2_sock, self.r2_sock = socket.socketpair()
|
||||
self.l2 = self.l2_sock.fileno()
|
||||
self.r2 = self.r2_sock.fileno()
|
||||
for fd in self.l1, self.r1, self.l2, self.r2:
|
||||
mitogen.core.set_nonblock(fd)
|
||||
|
||||
def fill(self, fd):
|
||||
"""Make `fd` unwriteable."""
|
||||
while True:
|
||||
try:
|
||||
os.write(fd, 'x'*4096)
|
||||
except OSError:
|
||||
e = sys.exc_info()[1]
|
||||
if e.args[0] == errno.EAGAIN:
|
||||
return
|
||||
raise
|
||||
|
||||
def drain(self, fd):
|
||||
"""Make `fd` unreadable."""
|
||||
while True:
|
||||
try:
|
||||
if not os.read(fd, 4096):
|
||||
return
|
||||
except OSError:
|
||||
e = sys.exc_info()[1]
|
||||
if e.args[0] == errno.EAGAIN:
|
||||
return
|
||||
raise
|
||||
|
||||
def _teardown_socks(self):
|
||||
for sock in self.l1_sock, self.r1_sock, self.l2_sock, self.r2_sock:
|
||||
sock.close()
|
||||
|
||||
|
||||
class PollerMixin(object):
|
||||
klass = None
|
||||
|
||||
def setUp(self):
|
||||
super(PollerMixin, self).setUp()
|
||||
self.p = self.klass()
|
||||
|
||||
def tearDown(self):
|
||||
self.p.close()
|
||||
super(PollerMixin, self).tearDown()
|
||||
|
||||
|
||||
class ReceiveStateMixin(PollerMixin, SockMixin):
|
||||
def test_start_receive_adds_reader(self):
|
||||
self.p.start_receive(self.l1)
|
||||
self.assertEquals([(self.l1, self.l1)], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
def test_start_receive_adds_reader_data(self):
|
||||
data = object()
|
||||
self.p.start_receive(self.l1, data=data)
|
||||
self.assertEquals([(self.l1, data)], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
def test_stop_receive(self):
|
||||
self.p.start_receive(self.l1)
|
||||
self.p.stop_receive(self.l1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
def test_stop_receive_dup(self):
|
||||
self.p.start_receive(self.l1)
|
||||
self.p.stop_receive(self.l1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
self.p.stop_receive(self.l1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
def test_stop_receive_noexist(self):
|
||||
p = self.klass()
|
||||
p.stop_receive(123) # should not fail
|
||||
self.assertEquals([], p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
|
||||
class TransmitStateMixin(PollerMixin, SockMixin):
|
||||
def test_start_transmit_adds_writer(self):
|
||||
self.p.start_transmit(self.r1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([(self.r1, self.r1)], self.p.writers)
|
||||
|
||||
def test_start_transmit_adds_writer_data(self):
|
||||
data = object()
|
||||
self.p.start_transmit(self.r1, data=data)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([(self.r1, data)], self.p.writers)
|
||||
|
||||
def test_stop_transmit(self):
|
||||
self.p.start_transmit(self.r1)
|
||||
self.p.stop_transmit(self.r1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
def test_stop_transmit_dup(self):
|
||||
self.p.start_transmit(self.r1)
|
||||
self.p.stop_transmit(self.r1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
self.p.stop_transmit(self.r1)
|
||||
self.assertEquals([], self.p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
def test_stop_transmit_noexist(self):
|
||||
p = self.klass()
|
||||
p.stop_receive(123) # should not fail
|
||||
self.assertEquals([], p.readers)
|
||||
self.assertEquals([], self.p.writers)
|
||||
|
||||
|
||||
class CloseMixin(PollerMixin):
|
||||
def test_single_close(self):
|
||||
self.p.close()
|
||||
|
||||
def test_double_close(self):
|
||||
self.p.close()
|
||||
self.p.close()
|
||||
|
||||
|
||||
class PollMixin(PollerMixin):
|
||||
def test_empty_zero_timeout(self):
|
||||
t0 = time.time()
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
self.assertTrue((time.time() - t0) < .1) # vaguely reasonable
|
||||
|
||||
def test_empty_small_timeout(self):
|
||||
t0 = time.time()
|
||||
self.assertEquals([], list(self.p.poll(.2)))
|
||||
self.assertTrue((time.time() - t0) >= .2)
|
||||
|
||||
|
||||
class ReadableMixin(PollerMixin, SockMixin):
|
||||
def test_unreadable(self):
|
||||
self.p.start_receive(self.l1)
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
|
||||
def test_readable_before_add(self):
|
||||
self.fill(self.r1)
|
||||
self.p.start_receive(self.l1)
|
||||
self.assertEquals([self.l1], list(self.p.poll(0)))
|
||||
|
||||
def test_readable_after_add(self):
|
||||
self.p.start_receive(self.l1)
|
||||
self.fill(self.r1)
|
||||
self.assertEquals([self.l1], list(self.p.poll(0)))
|
||||
|
||||
def test_readable_then_unreadable(self):
|
||||
self.fill(self.r1)
|
||||
self.p.start_receive(self.l1)
|
||||
self.assertEquals([self.l1], list(self.p.poll(0)))
|
||||
self.drain(self.l1)
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
|
||||
def test_readable_data(self):
|
||||
data = object()
|
||||
self.fill(self.r1)
|
||||
self.p.start_receive(self.l1, data=data)
|
||||
self.assertEquals([data], list(self.p.poll(0)))
|
||||
|
||||
def test_double_readable_data(self):
|
||||
data1 = object()
|
||||
data2 = object()
|
||||
self.fill(self.r1)
|
||||
self.p.start_receive(self.l1, data=data1)
|
||||
self.fill(self.r2)
|
||||
self.p.start_receive(self.l2, data=data2)
|
||||
self.assertEquals(set([data1, data2]), set(self.p.poll(0)))
|
||||
|
||||
|
||||
class WriteableMixin(PollerMixin, SockMixin):
|
||||
def test_writeable(self):
|
||||
self.p.start_transmit(self.r1)
|
||||
self.assertEquals([self.r1], list(self.p.poll(0)))
|
||||
|
||||
def test_writeable_data(self):
|
||||
data = object()
|
||||
self.p.start_transmit(self.r1, data=data)
|
||||
self.assertEquals([data], list(self.p.poll(0)))
|
||||
|
||||
def test_unwriteable_before_add(self):
|
||||
self.fill(self.r1)
|
||||
self.p.start_transmit(self.r1)
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
|
||||
def test_unwriteable_after_add(self):
|
||||
self.p.start_transmit(self.r1)
|
||||
self.fill(self.r1)
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
|
||||
def test_unwriteable_then_writeable(self):
|
||||
self.fill(self.r1)
|
||||
self.p.start_transmit(self.r1)
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
self.drain(self.l1)
|
||||
self.assertEquals([self.r1], list(self.p.poll(0)))
|
||||
|
||||
def test_double_unwriteable_then_Writeable(self):
|
||||
self.fill(self.r1)
|
||||
self.p.start_transmit(self.r1)
|
||||
|
||||
self.fill(self.r2)
|
||||
self.p.start_transmit(self.r2)
|
||||
|
||||
self.assertEquals([], list(self.p.poll(0)))
|
||||
|
||||
self.drain(self.l1)
|
||||
self.assertEquals([self.r1], list(self.p.poll(0)))
|
||||
|
||||
self.drain(self.l2)
|
||||
self.assertEquals(set([self.r1, self.r2]), set(self.p.poll(0)))
|
||||
|
||||
|
||||
class MutateDuringYieldMixin(PollerMixin, SockMixin):
|
||||
# verify behaviour when poller contents is modified in the middle of
|
||||
# poll() output generation.
|
||||
|
||||
def test_one_readable_removed_before_yield(self):
|
||||
self.fill(self.l1)
|
||||
self.p.start_receive(self.r1)
|
||||
p = self.p.poll(0)
|
||||
self.p.stop_receive(self.r1)
|
||||
self.assertEquals([], list(p))
|
||||
|
||||
def test_one_writeable_removed_before_yield(self):
|
||||
self.p.start_transmit(self.r1)
|
||||
p = self.p.poll(0)
|
||||
self.p.stop_transmit(self.r1)
|
||||
self.assertEquals([], list(p))
|
||||
|
||||
def test_one_readable_readded_before_yield(self):
|
||||
# fd removed, closed, another fd opened, gets same fd number, re-added.
|
||||
# event fires for wrong underlying object.
|
||||
self.fill(self.l1)
|
||||
self.p.start_receive(self.r1)
|
||||
p = self.p.poll(0)
|
||||
self.p.stop_receive(self.r1)
|
||||
self.p.start_receive(self.r1)
|
||||
self.assertEquals([], list(p))
|
||||
|
||||
def test_one_readable_readded_during_yield(self):
|
||||
self.fill(self.l1)
|
||||
self.p.start_receive(self.r1)
|
||||
|
||||
self.fill(self.l2)
|
||||
self.p.start_receive(self.r2)
|
||||
|
||||
p = self.p.poll(0)
|
||||
|
||||
# figure out which one is consumed and which is still to-read.
|
||||
consumed = next(p)
|
||||
ready = (self.r1, self.r2)[consumed == self.r1]
|
||||
|
||||
# now remove and re-add the one that hasn't been read yet.
|
||||
self.p.stop_receive(ready)
|
||||
self.p.start_receive(ready)
|
||||
|
||||
# the start_receive() may be for a totally new underlying file object,
|
||||
# the live loop iteration must not yield any buffered readiness event.
|
||||
self.assertEquals([], list(p))
|
||||
|
||||
|
||||
class AllMixin(ReceiveStateMixin,
|
||||
TransmitStateMixin,
|
||||
ReadableMixin,
|
||||
WriteableMixin,
|
||||
MutateDuringYieldMixin,
|
||||
PollMixin,
|
||||
CloseMixin):
|
||||
"""
|
||||
Helper to avoid cutpasting mixin names below.
|
||||
"""
|
||||
|
||||
|
||||
@unittest2.skipIf(condition=not hasattr(select, 'select'),
|
||||
reason='select.select() not supported')
|
||||
class SelectTest(AllMixin, testlib.TestCase):
|
||||
klass = mitogen.core.Poller
|
||||
|
||||
|
||||
@unittest2.skipIf(condition=not hasattr(select, 'kqueue'),
|
||||
reason='select.kqueue() not supported')
|
||||
class KqueueTest(AllMixin, testlib.TestCase):
|
||||
klass = mitogen.parent.KqueuePoller
|
||||
|
||||
|
||||
@unittest2.skipIf(condition=not hasattr(select, 'epoll'),
|
||||
reason='select.epoll() not supported')
|
||||
class EpollTest(AllMixin, testlib.TestCase):
|
||||
klass = mitogen.parent.EpollPoller
|
||||
|
||||
|
||||
if __name__ == '__main__':
|
||||
unittest2.main()
|
||||
Loading…
Reference in New Issue