Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 1 | """A multi-producer, multi-consumer queue.""" |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 2 | |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 3 | from time import time as _time |
Benjamin Peterson | 0ed5245 | 2009-03-21 17:36:10 +0000 | [diff] [blame] | 4 | try: |
| 5 | import threading as _threading |
| 6 | except ImportError: |
| 7 | import dummy_threading as _threading |
Raymond Hettinger | 756b3f3 | 2004-01-29 06:37:52 +0000 | [diff] [blame] | 8 | from collections import deque |
Raymond Hettinger | 3564146 | 2008-01-17 00:13:27 +0000 | [diff] [blame] | 9 | import heapq |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 10 | |
Raymond Hettinger | 3564146 | 2008-01-17 00:13:27 +0000 | [diff] [blame] | 11 | __all__ = ['Empty', 'Full', 'Queue', 'PriorityQueue', 'LifoQueue'] |
Brett Cannon | b42bb5a | 2003-07-01 05:34:27 +0000 | [diff] [blame] | 12 | |
Tim Peters | b8c9417 | 2001-01-15 22:53:46 +0000 | [diff] [blame] | 13 | class Empty(Exception): |
| 14 | "Exception raised by Queue.get(block=0)/get_nowait()." |
| 15 | pass |
| 16 | |
| 17 | class Full(Exception): |
| 18 | "Exception raised by Queue.put(block=0)/put_nowait()." |
| 19 | pass |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 20 | |
| 21 | class Queue: |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 22 | """Create a queue object with a given maximum size. |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 23 | |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 24 | If maxsize is <= 0, the queue size is infinite. |
| 25 | """ |
| 26 | def __init__(self, maxsize=0): |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 27 | self.maxsize = maxsize |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 28 | self._init(maxsize) |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 29 | # mutex must be held whenever the queue is mutating. All methods |
| 30 | # that acquire mutex must release it before returning. mutex |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 31 | # is shared between the three conditions, so acquiring and |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 32 | # releasing the conditions also acquires and releases mutex. |
Benjamin Peterson | 0ed5245 | 2009-03-21 17:36:10 +0000 | [diff] [blame] | 33 | self.mutex = _threading.Lock() |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 34 | # Notify not_empty whenever an item is added to the queue; a |
| 35 | # thread waiting to get is notified then. |
Benjamin Peterson | 0ed5245 | 2009-03-21 17:36:10 +0000 | [diff] [blame] | 36 | self.not_empty = _threading.Condition(self.mutex) |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 37 | # Notify not_full whenever an item is removed from the queue; |
| 38 | # a thread waiting to put is notified then. |
Benjamin Peterson | 0ed5245 | 2009-03-21 17:36:10 +0000 | [diff] [blame] | 39 | self.not_full = _threading.Condition(self.mutex) |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 40 | # Notify all_tasks_done whenever the number of unfinished tasks |
| 41 | # drops to zero; thread waiting to join() is notified to resume |
Benjamin Peterson | 0ed5245 | 2009-03-21 17:36:10 +0000 | [diff] [blame] | 42 | self.all_tasks_done = _threading.Condition(self.mutex) |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 43 | self.unfinished_tasks = 0 |
| 44 | |
| 45 | def task_done(self): |
| 46 | """Indicate that a formerly enqueued task is complete. |
| 47 | |
| 48 | Used by Queue consumer threads. For each get() used to fetch a task, |
| 49 | a subsequent call to task_done() tells the queue that the processing |
| 50 | on the task is complete. |
| 51 | |
| 52 | If a join() is currently blocking, it will resume when all items |
| 53 | have been processed (meaning that a task_done() call was received |
| 54 | for every item that had been put() into the queue). |
| 55 | |
| 56 | Raises a ValueError if called more times than there were items |
| 57 | placed in the queue. |
| 58 | """ |
| 59 | self.all_tasks_done.acquire() |
| 60 | try: |
| 61 | unfinished = self.unfinished_tasks - 1 |
| 62 | if unfinished <= 0: |
| 63 | if unfinished < 0: |
| 64 | raise ValueError('task_done() called too many times') |
Benjamin Peterson | 672b803 | 2008-06-11 19:14:14 +0000 | [diff] [blame] | 65 | self.all_tasks_done.notify_all() |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 66 | self.unfinished_tasks = unfinished |
| 67 | finally: |
| 68 | self.all_tasks_done.release() |
| 69 | |
| 70 | def join(self): |
| 71 | """Blocks until all items in the Queue have been gotten and processed. |
| 72 | |
| 73 | The count of unfinished tasks goes up whenever an item is added to the |
| 74 | queue. The count goes down whenever a consumer thread calls task_done() |
| 75 | to indicate the item was retrieved and all work on it is complete. |
| 76 | |
| 77 | When the count of unfinished tasks drops to zero, join() unblocks. |
| 78 | """ |
| 79 | self.all_tasks_done.acquire() |
| 80 | try: |
| 81 | while self.unfinished_tasks: |
| 82 | self.all_tasks_done.wait() |
| 83 | finally: |
| 84 | self.all_tasks_done.release() |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 85 | |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 86 | def qsize(self): |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 87 | """Return the approximate size of the queue (not reliable!).""" |
Guido van Rossum | 7e6d18c | 1998-04-29 14:29:32 +0000 | [diff] [blame] | 88 | self.mutex.acquire() |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 89 | n = self._qsize() |
Guido van Rossum | 7e6d18c | 1998-04-29 14:29:32 +0000 | [diff] [blame] | 90 | self.mutex.release() |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 91 | return n |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 92 | |
Alexandre Vassalotti | f260e44 | 2008-05-11 19:59:59 +0000 | [diff] [blame] | 93 | def empty(self): |
Raymond Hettinger | 611eaf0 | 2009-03-06 23:55:28 +0000 | [diff] [blame] | 94 | """Return True if the queue is empty, False otherwise (not reliable!). |
| 95 | |
| 96 | This method is likely to be removed at some point. Use qsize() == 0 |
| 97 | as a direct substitute, but be aware that either approach risks a race |
| 98 | condition where a queue can grow before the result of empty() or |
| 99 | qsize() can be used. |
| 100 | |
| 101 | To create code that needs to wait for all queued tasks to be |
| 102 | completed, the preferred technique is to use the join() method. |
| 103 | |
| 104 | """ |
Alexandre Vassalotti | f260e44 | 2008-05-11 19:59:59 +0000 | [diff] [blame] | 105 | self.mutex.acquire() |
| 106 | n = not self._qsize() |
| 107 | self.mutex.release() |
| 108 | return n |
| 109 | |
| 110 | def full(self): |
Raymond Hettinger | 611eaf0 | 2009-03-06 23:55:28 +0000 | [diff] [blame] | 111 | """Return True if the queue is full, False otherwise (not reliable!). |
| 112 | |
| 113 | This method is likely to be removed at some point. Use qsize() == n |
| 114 | as a direct substitute, but be aware that either approach risks a race |
| 115 | condition where a queue can shrink before the result of full() or |
| 116 | qsize() can be used. |
| 117 | |
| 118 | """ |
Alexandre Vassalotti | f260e44 | 2008-05-11 19:59:59 +0000 | [diff] [blame] | 119 | self.mutex.acquire() |
| 120 | n = 0 < self.maxsize == self._qsize() |
| 121 | self.mutex.release() |
| 122 | return n |
| 123 | |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 124 | def put(self, item, block=True, timeout=None): |
Guido van Rossum | c09e6b1 | 1998-04-09 14:25:32 +0000 | [diff] [blame] | 125 | """Put an item into the queue. |
| 126 | |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 127 | If optional args 'block' is true and 'timeout' is None (the default), |
| 128 | block if necessary until a free slot is available. If 'timeout' is |
| 129 | a positive number, it blocks at most 'timeout' seconds and raises |
| 130 | the Full exception if no free slot was available within that time. |
| 131 | Otherwise ('block' is false), put an item on the queue if a free slot |
| 132 | is immediately available, else raise the Full exception ('timeout' |
| 133 | is ignored in that case). |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 134 | """ |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 135 | self.not_full.acquire() |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 136 | try: |
Raymond Hettinger | ae138cb | 2008-01-15 20:42:00 +0000 | [diff] [blame] | 137 | if self.maxsize > 0: |
| 138 | if not block: |
| 139 | if self._qsize() == self.maxsize: |
| 140 | raise Full |
| 141 | elif timeout is None: |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 142 | while self._qsize() == self.maxsize: |
| 143 | self.not_full.wait() |
Raymond Hettinger | ae138cb | 2008-01-15 20:42:00 +0000 | [diff] [blame] | 144 | elif timeout < 0: |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 145 | raise ValueError("'timeout' must be a positive number") |
Raymond Hettinger | ae138cb | 2008-01-15 20:42:00 +0000 | [diff] [blame] | 146 | else: |
| 147 | endtime = _time() + timeout |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 148 | while self._qsize() == self.maxsize: |
| 149 | remaining = endtime - _time() |
| 150 | if remaining <= 0.0: |
| 151 | raise Full |
| 152 | self.not_full.wait(remaining) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 153 | self._put(item) |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 154 | self.unfinished_tasks += 1 |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 155 | self.not_empty.notify() |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 156 | finally: |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 157 | self.not_full.release() |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 158 | |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 159 | def put_nowait(self, item): |
| 160 | """Put an item into the queue without blocking. |
Guido van Rossum | c09e6b1 | 1998-04-09 14:25:32 +0000 | [diff] [blame] | 161 | |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 162 | Only enqueue the item if a free slot is immediately available. |
| 163 | Otherwise raise the Full exception. |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 164 | """ |
Tim Peters | 71ed220 | 2004-07-12 01:20:32 +0000 | [diff] [blame] | 165 | return self.put(item, False) |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 166 | |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 167 | def get(self, block=True, timeout=None): |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 168 | """Remove and return an item from the queue. |
Guido van Rossum | c09e6b1 | 1998-04-09 14:25:32 +0000 | [diff] [blame] | 169 | |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 170 | If optional args 'block' is true and 'timeout' is None (the default), |
| 171 | block if necessary until an item is available. If 'timeout' is |
| 172 | a positive number, it blocks at most 'timeout' seconds and raises |
| 173 | the Empty exception if no item was available within that time. |
| 174 | Otherwise ('block' is false), return an item if one is immediately |
| 175 | available, else raise the Empty exception ('timeout' is ignored |
| 176 | in that case). |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 177 | """ |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 178 | self.not_empty.acquire() |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 179 | try: |
Tim Peters | 71ed220 | 2004-07-12 01:20:32 +0000 | [diff] [blame] | 180 | if not block: |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 181 | if not self._qsize(): |
Tim Peters | 71ed220 | 2004-07-12 01:20:32 +0000 | [diff] [blame] | 182 | raise Empty |
| 183 | elif timeout is None: |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 184 | while not self._qsize(): |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 185 | self.not_empty.wait() |
Raymond Hettinger | ae138cb | 2008-01-15 20:42:00 +0000 | [diff] [blame] | 186 | elif timeout < 0: |
| 187 | raise ValueError("'timeout' must be a positive number") |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 188 | else: |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 189 | endtime = _time() + timeout |
Raymond Hettinger | da3caed | 2008-01-14 21:39:24 +0000 | [diff] [blame] | 190 | while not self._qsize(): |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 191 | remaining = endtime - _time() |
Tim Peters | 71ed220 | 2004-07-12 01:20:32 +0000 | [diff] [blame] | 192 | if remaining <= 0.0: |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 193 | raise Empty |
| 194 | self.not_empty.wait(remaining) |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 195 | item = self._get() |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 196 | self.not_full.notify() |
| 197 | return item |
Mark Hammond | 3b959db | 2002-04-19 00:11:32 +0000 | [diff] [blame] | 198 | finally: |
Tim Peters | 5af0e41 | 2004-07-12 00:45:14 +0000 | [diff] [blame] | 199 | self.not_empty.release() |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 200 | |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 201 | def get_nowait(self): |
| 202 | """Remove and return an item from the queue without blocking. |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 203 | |
Martin v. Löwis | 77ac429 | 2002-10-15 15:11:13 +0000 | [diff] [blame] | 204 | Only get an item if one is immediately available. Otherwise |
Guido van Rossum | 9e1721f | 1999-02-08 18:34:01 +0000 | [diff] [blame] | 205 | raise the Empty exception. |
| 206 | """ |
Tim Peters | 71ed220 | 2004-07-12 01:20:32 +0000 | [diff] [blame] | 207 | return self.get(False) |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 208 | |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 209 | # Override these methods to implement other queue organizations |
| 210 | # (e.g. stack or priority queue). |
| 211 | # These will only be called with appropriate locks held |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 212 | |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 213 | # Initialize the queue representation |
| 214 | def _init(self, maxsize): |
Raymond Hettinger | 756b3f3 | 2004-01-29 06:37:52 +0000 | [diff] [blame] | 215 | self.queue = deque() |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 216 | |
Raymond Hettinger | 3564146 | 2008-01-17 00:13:27 +0000 | [diff] [blame] | 217 | def _qsize(self, len=len): |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 218 | return len(self.queue) |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 219 | |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 220 | # Put a new item in the queue |
| 221 | def _put(self, item): |
Guido van Rossum | 45e2fbc | 1998-03-26 21:13:24 +0000 | [diff] [blame] | 222 | self.queue.append(item) |
Guido van Rossum | 9022fce | 1992-08-25 12:30:44 +0000 | [diff] [blame] | 223 | |
Barry Warsaw | 3d96d52 | 1997-11-20 19:56:38 +0000 | [diff] [blame] | 224 | # Get an item from the queue |
| 225 | def _get(self): |
Raymond Hettinger | 756b3f3 | 2004-01-29 06:37:52 +0000 | [diff] [blame] | 226 | return self.queue.popleft() |
Raymond Hettinger | 3564146 | 2008-01-17 00:13:27 +0000 | [diff] [blame] | 227 | |
| 228 | |
| 229 | class PriorityQueue(Queue): |
| 230 | '''Variant of Queue that retrieves open entries in priority order (lowest first). |
| 231 | |
| 232 | Entries are typically tuples of the form: (priority number, data). |
| 233 | ''' |
| 234 | |
| 235 | def _init(self, maxsize): |
| 236 | self.queue = [] |
| 237 | |
| 238 | def _qsize(self, len=len): |
| 239 | return len(self.queue) |
| 240 | |
| 241 | def _put(self, item, heappush=heapq.heappush): |
| 242 | heappush(self.queue, item) |
| 243 | |
| 244 | def _get(self, heappop=heapq.heappop): |
| 245 | return heappop(self.queue) |
| 246 | |
| 247 | |
| 248 | class LifoQueue(Queue): |
| 249 | '''Variant of Queue that retrieves most recently added entries first.''' |
| 250 | |
| 251 | def _init(self, maxsize): |
| 252 | self.queue = [] |
| 253 | |
| 254 | def _qsize(self, len=len): |
| 255 | return len(self.queue) |
| 256 | |
| 257 | def _put(self, item): |
| 258 | self.queue.append(item) |
| 259 | |
| 260 | def _get(self): |
| 261 | return self.queue.pop() |