Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 1 | # Some simple Queue module tests, plus some failure conditions |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 2 | # to ensure the Queue locks remain stable. |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 3 | import Queue |
| 4 | import sys |
| 5 | import threading |
| 6 | import time |
| 7 | |
Barry Warsaw | 04f357c | 2002-07-23 19:04:11 +0000 | [diff] [blame] | 8 | from test.test_support import verify, TestFailed, verbose |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 9 | |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 10 | QUEUE_SIZE = 5 |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 11 | |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 12 | def qfull(q): |
| 13 | return q.maxsize > 0 and q.qsize() == q.maxsize |
| 14 | |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 15 | # A thread to run a function that unclogs a blocked Queue. |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 16 | class _TriggerThread(threading.Thread): |
| 17 | def __init__(self, fn, args): |
| 18 | self.fn = fn |
| 19 | self.args = args |
| 20 | self.startedEvent = threading.Event() |
| 21 | threading.Thread.__init__(self) |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 22 | |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 23 | def run(self): |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 24 | # The sleep isn't necessary, but is intended to give the blocking |
| 25 | # function in the main thread a chance at actually blocking before |
| 26 | # we unclog it. But if the sleep is longer than the timeout-based |
| 27 | # tests wait in their blocking functions, those tests will fail. |
| 28 | # So we give them much longer timeout values compared to the |
| 29 | # sleep here (I aimed at 10 seconds for blocking functions -- |
| 30 | # they should never actually wait that long - they should make |
| 31 | # progress as soon as we call self.fn()). |
| 32 | time.sleep(0.1) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 33 | self.startedEvent.set() |
| 34 | self.fn(*self.args) |
| 35 | |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 36 | # Execute a function that blocks, and in a separate thread, a function that |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 37 | # triggers the release. Returns the result of the blocking function. |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 38 | # Caution: block_func must guarantee to block until trigger_func is |
| 39 | # called, and trigger_func must guarantee to change queue state so that |
| 40 | # block_func can make enough progress to return. In particular, a |
| 41 | # block_func that just raises an exception regardless of whether trigger_func |
| 42 | # is called will lead to timing-dependent sporadic failures, and one of |
| 43 | # those went rarely seen but undiagnosed for years. Now block_func |
| 44 | # must be unexceptional. If block_func is supposed to raise an exception, |
| 45 | # call _doExceptionalBlockingTest() instead. |
Tim Peters | a1d004a | 2002-11-15 19:08:50 +0000 | [diff] [blame] | 46 | def _doBlockingTest(block_func, block_args, trigger_func, trigger_args): |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 47 | t = _TriggerThread(trigger_func, trigger_args) |
| 48 | t.start() |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 49 | result = block_func(*block_args) |
| 50 | # If block_func returned before our thread made the call, we failed! |
| 51 | if not t.startedEvent.isSet(): |
| 52 | raise TestFailed("blocking function '%r' appeared not to block" % |
| 53 | block_func) |
| 54 | t.join(10) # make sure the thread terminates |
| 55 | if t.isAlive(): |
| 56 | raise TestFailed("trigger function '%r' appeared to not return" % |
| 57 | trigger_func) |
| 58 | return result |
| 59 | |
| 60 | # Call this instead if block_func is supposed to raise an exception. |
| 61 | def _doExceptionalBlockingTest(block_func, block_args, trigger_func, |
| 62 | trigger_args, expected_exception_class): |
| 63 | t = _TriggerThread(trigger_func, trigger_args) |
| 64 | t.start() |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 65 | try: |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 66 | try: |
| 67 | block_func(*block_args) |
| 68 | except expected_exception_class: |
| 69 | raise |
| 70 | else: |
| 71 | raise TestFailed("expected exception of kind %r" % |
| 72 | expected_exception_class) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 73 | finally: |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 74 | t.join(10) # make sure the thread terminates |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 75 | if t.isAlive(): |
Tim Peters | a1d004a | 2002-11-15 19:08:50 +0000 | [diff] [blame] | 76 | raise TestFailed("trigger function '%r' appeared to not return" % |
| 77 | trigger_func) |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 78 | if not t.startedEvent.isSet(): |
| 79 | raise TestFailed("trigger thread ended but event never set") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 80 | |
| 81 | # A Queue subclass that can provoke failure at a moment's notice :) |
| 82 | class FailingQueueException(Exception): |
| 83 | pass |
| 84 | |
| 85 | class FailingQueue(Queue.Queue): |
| 86 | def __init__(self, *args): |
| 87 | self.fail_next_put = False |
| 88 | self.fail_next_get = False |
| 89 | Queue.Queue.__init__(self, *args) |
| 90 | def _put(self, item): |
| 91 | if self.fail_next_put: |
| 92 | self.fail_next_put = False |
Collin Winter | 3add4d7 | 2007-08-29 23:37:32 +0000 | [diff] [blame] | 93 | raise FailingQueueException("You Lose") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 94 | return Queue.Queue._put(self, item) |
| 95 | def _get(self): |
| 96 | if self.fail_next_get: |
| 97 | self.fail_next_get = False |
Collin Winter | 3add4d7 | 2007-08-29 23:37:32 +0000 | [diff] [blame] | 98 | raise FailingQueueException("You Lose") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 99 | return Queue.Queue._get(self) |
| 100 | |
| 101 | def FailingQueueTest(q): |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 102 | if q.qsize(): |
Collin Winter | 3add4d7 | 2007-08-29 23:37:32 +0000 | [diff] [blame] | 103 | raise RuntimeError("Call this function with an empty queue") |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 104 | for i in range(QUEUE_SIZE-1): |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 105 | q.put(i) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 106 | # Test a failing non-blocking put. |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 107 | q.fail_next_put = True |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 108 | try: |
| 109 | q.put("oops", block=0) |
| 110 | raise TestFailed("The queue didn't fail when it should have") |
| 111 | except FailingQueueException: |
| 112 | pass |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 113 | q.fail_next_put = True |
| 114 | try: |
| 115 | q.put("oops", timeout=0.1) |
| 116 | raise TestFailed("The queue didn't fail when it should have") |
| 117 | except FailingQueueException: |
| 118 | pass |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 119 | q.put("last") |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 120 | verify(qfull(q), "Queue should be full") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 121 | # Test a failing blocking put |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 122 | q.fail_next_put = True |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 123 | try: |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 124 | _doBlockingTest(q.put, ("full",), q.get, ()) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 125 | raise TestFailed("The queue didn't fail when it should have") |
| 126 | except FailingQueueException: |
| 127 | pass |
| 128 | # Check the Queue isn't damaged. |
| 129 | # put failed, but get succeeded - re-add |
| 130 | q.put("last") |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 131 | # Test a failing timeout put |
| 132 | q.fail_next_put = True |
| 133 | try: |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 134 | _doExceptionalBlockingTest(q.put, ("full", True, 10), q.get, (), |
| 135 | FailingQueueException) |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 136 | raise TestFailed("The queue didn't fail when it should have") |
| 137 | except FailingQueueException: |
| 138 | pass |
| 139 | # Check the Queue isn't damaged. |
| 140 | # put failed, but get succeeded - re-add |
| 141 | q.put("last") |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 142 | verify(qfull(q), "Queue should be full") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 143 | q.get() |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 144 | verify(not qfull(q), "Queue should not be full") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 145 | q.put("last") |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 146 | verify(qfull(q), "Queue should be full") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 147 | # Test a blocking put |
| 148 | _doBlockingTest( q.put, ("full",), q.get, ()) |
| 149 | # Empty it |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 150 | for i in range(QUEUE_SIZE): |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 151 | q.get() |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 152 | verify(not q.qsize(), "Queue should be empty") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 153 | q.put("first") |
| 154 | q.fail_next_get = True |
| 155 | try: |
| 156 | q.get() |
| 157 | raise TestFailed("The queue didn't fail when it should have") |
| 158 | except FailingQueueException: |
| 159 | pass |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 160 | verify(q.qsize(), "Queue should not be empty") |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 161 | q.fail_next_get = True |
| 162 | try: |
| 163 | q.get(timeout=0.1) |
| 164 | raise TestFailed("The queue didn't fail when it should have") |
| 165 | except FailingQueueException: |
| 166 | pass |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 167 | verify(q.qsize(), "Queue should not be empty") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 168 | q.get() |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 169 | verify(not q.qsize(), "Queue should be empty") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 170 | q.fail_next_get = True |
| 171 | try: |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 172 | _doExceptionalBlockingTest(q.get, (), q.put, ('empty',), |
| 173 | FailingQueueException) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 174 | raise TestFailed("The queue didn't fail when it should have") |
| 175 | except FailingQueueException: |
| 176 | pass |
| 177 | # put succeeded, but get failed. |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 178 | verify(q.qsize(), "Queue should not be empty") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 179 | q.get() |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 180 | verify(not q.qsize(), "Queue should be empty") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 181 | |
| 182 | def SimpleQueueTest(q): |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 183 | if q.qsize(): |
Collin Winter | 3add4d7 | 2007-08-29 23:37:32 +0000 | [diff] [blame] | 184 | raise RuntimeError("Call this function with an empty queue") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 185 | # I guess we better check things actually queue correctly a little :) |
| 186 | q.put(111) |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 187 | q.put(333) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 188 | q.put(222) |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 189 | target_order = dict(Queue = [111, 333, 222], |
| 190 | LifoQueue = [222, 333, 111], |
| 191 | PriorityQueue = [111, 222, 333]) |
| 192 | actual_order = [q.get(), q.get(), q.get()] |
| 193 | verify(actual_order == target_order[q.__class__.__name__], |
Tim Peters | a1d004a | 2002-11-15 19:08:50 +0000 | [diff] [blame] | 194 | "Didn't seem to queue the correct data!") |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 195 | for i in range(QUEUE_SIZE-1): |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 196 | q.put(i) |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 197 | verify(q.qsize(), "Queue should not be empty") |
| 198 | verify(not qfull(q), "Queue should not be full") |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 199 | last = 2*QUEUE_SIZE |
| 200 | full = 3*2*QUEUE_SIZE |
| 201 | q.put(last) |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 202 | verify(qfull(q), "Queue should be full") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 203 | try: |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 204 | q.put(full, block=0) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 205 | raise TestFailed("Didn't appear to block with a full queue") |
| 206 | except Queue.Full: |
| 207 | pass |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 208 | try: |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 209 | q.put(full, timeout=0.01) |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 210 | raise TestFailed("Didn't appear to time-out with a full queue") |
| 211 | except Queue.Full: |
| 212 | pass |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 213 | # Test a blocking put |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 214 | _doBlockingTest(q.put, (full,), q.get, ()) |
| 215 | _doBlockingTest(q.put, (full, True, 10), q.get, ()) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 216 | # Empty it |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 217 | for i in range(QUEUE_SIZE): |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 218 | q.get() |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 219 | verify(not q.qsize(), "Queue should be empty") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 220 | try: |
| 221 | q.get(block=0) |
| 222 | raise TestFailed("Didn't appear to block with an empty queue") |
| 223 | except Queue.Empty: |
| 224 | pass |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 225 | try: |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 226 | q.get(timeout=0.01) |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 227 | raise TestFailed("Didn't appear to time-out with an empty queue") |
| 228 | except Queue.Empty: |
| 229 | pass |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 230 | # Test a blocking get |
Tim Peters | a1d004a | 2002-11-15 19:08:50 +0000 | [diff] [blame] | 231 | _doBlockingTest(q.get, (), q.put, ('empty',)) |
Tim Peters | 8d7626c | 2004-08-20 03:27:12 +0000 | [diff] [blame] | 232 | _doBlockingTest(q.get, (True, 10), q.put, ('empty',)) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 233 | |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 234 | cum = 0 |
| 235 | cumlock = threading.Lock() |
| 236 | |
| 237 | def worker(q): |
| 238 | global cum |
| 239 | while True: |
| 240 | x = q.get() |
| 241 | if x is None: |
| 242 | q.task_done() |
| 243 | return |
| 244 | cumlock.acquire() |
| 245 | try: |
| 246 | cum += x |
| 247 | finally: |
| 248 | cumlock.release() |
| 249 | q.task_done() |
| 250 | |
| 251 | def QueueJoinTest(q): |
| 252 | global cum |
| 253 | cum = 0 |
| 254 | for i in (0,1): |
| 255 | threading.Thread(target=worker, args=(q,)).start() |
Guido van Rossum | 805365e | 2007-05-07 22:24:25 +0000 | [diff] [blame] | 256 | for i in range(100): |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 257 | q.put(i) |
| 258 | q.join() |
| 259 | verify(cum==sum(range(100)), "q.join() did not block until all tasks were done") |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 260 | q.put(None) # instruct the threads to close |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 261 | q.join() # verify that you can join twice |
| 262 | |
| 263 | def QueueTaskDoneTest(q): |
| 264 | try: |
| 265 | q.task_done() |
| 266 | except ValueError: |
| 267 | pass |
| 268 | else: |
| 269 | raise TestFailed("Did not detect task count going negative") |
| 270 | |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 271 | def test(): |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 272 | for Q in Queue.Queue, Queue.LifoQueue, Queue.PriorityQueue: |
| 273 | q = Q() |
| 274 | QueueTaskDoneTest(q) |
| 275 | QueueJoinTest(q) |
| 276 | QueueJoinTest(q) |
| 277 | QueueTaskDoneTest(q) |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 278 | |
Christian Heimes | 679db4a | 2008-01-18 09:56:22 +0000 | [diff] [blame^] | 279 | q = Q(QUEUE_SIZE) |
| 280 | # Do it a couple of times on the same queue |
| 281 | SimpleQueueTest(q) |
| 282 | SimpleQueueTest(q) |
| 283 | if verbose: |
| 284 | print("Simple Queue tests seemed to work for", Q.__name__) |
| 285 | |
Tim Peters | afe5297 | 2004-08-20 02:37:25 +0000 | [diff] [blame] | 286 | q = FailingQueue(QUEUE_SIZE) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 287 | FailingQueueTest(q) |
| 288 | FailingQueueTest(q) |
| 289 | if verbose: |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 290 | print("Failing Queue tests seemed to work") |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 291 | |
| 292 | test() |