blob: 10dbcbc18ece8556037ec1d360a7548fc8445c3e [file] [log] [blame]
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +00001'''A multi-producer, multi-consumer queue.'''
Guido van Rossum9022fce1992-08-25 12:30:44 +00002
Antoine Pitroua6a4dc82017-09-07 18:56:24 +02003import threading
Batuhan Taşkaya03615562020-04-10 17:46:36 +03004import types
Raymond Hettinger756b3f32004-01-29 06:37:52 +00005from collections import deque
Raymond Hettinger143f51a2012-01-09 05:32:01 +00006from heapq import heappush, heappop
Victor Stinnerae586492014-09-02 23:18:25 +02007from time import monotonic as time
Antoine Pitrou94e16962018-01-16 00:27:16 +01008try:
9 from _queue import SimpleQueue
10except ImportError:
11 SimpleQueue = None
Martin v. Löwis77ac4292002-10-15 15:11:13 +000012
Antoine Pitrou94e16962018-01-16 00:27:16 +010013__all__ = ['Empty', 'Full', 'Queue', 'PriorityQueue', 'LifoQueue', 'SimpleQueue']
Brett Cannonb42bb5a2003-07-01 05:34:27 +000014
Antoine Pitrou94e16962018-01-16 00:27:16 +010015
16try:
17 from _queue import Empty
Pablo Galindo3f5b9082019-06-25 02:53:30 +010018except ImportError:
Antoine Pitrou94e16962018-01-16 00:27:16 +010019 class Empty(Exception):
20 'Exception raised by Queue.get(block=0)/get_nowait().'
21 pass
Tim Petersb8c94172001-01-15 22:53:46 +000022
23class Full(Exception):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000024 'Exception raised by Queue.put(block=0)/put_nowait().'
Tim Petersb8c94172001-01-15 22:53:46 +000025 pass
Guido van Rossum9022fce1992-08-25 12:30:44 +000026
Antoine Pitrou94e16962018-01-16 00:27:16 +010027
Guido van Rossum9022fce1992-08-25 12:30:44 +000028class Queue:
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000029 '''Create a queue object with a given maximum size.
Guido van Rossum9022fce1992-08-25 12:30:44 +000030
Thomas Wouters0e3f5912006-08-11 14:57:12 +000031 If maxsize is <= 0, the queue size is infinite.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000032 '''
33
Thomas Wouters0e3f5912006-08-11 14:57:12 +000034 def __init__(self, maxsize=0):
Raymond Hettingerda3caed2008-01-14 21:39:24 +000035 self.maxsize = maxsize
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000036 self._init(maxsize)
Raymond Hettinger75404272012-01-07 15:32:52 -080037
Tim Peters5af0e412004-07-12 00:45:14 +000038 # mutex must be held whenever the queue is mutating. All methods
39 # that acquire mutex must release it before returning. mutex
Thomas Wouters89f507f2006-12-13 04:49:30 +000040 # is shared between the three conditions, so acquiring and
Tim Peters5af0e412004-07-12 00:45:14 +000041 # releasing the conditions also acquires and releases mutex.
Raymond Hettinger143f51a2012-01-09 05:32:01 +000042 self.mutex = threading.Lock()
Raymond Hettinger75404272012-01-07 15:32:52 -080043
Tim Peters5af0e412004-07-12 00:45:14 +000044 # Notify not_empty whenever an item is added to the queue; a
45 # thread waiting to get is notified then.
Raymond Hettinger143f51a2012-01-09 05:32:01 +000046 self.not_empty = threading.Condition(self.mutex)
Raymond Hettinger75404272012-01-07 15:32:52 -080047
Tim Peters5af0e412004-07-12 00:45:14 +000048 # Notify not_full whenever an item is removed from the queue;
49 # a thread waiting to put is notified then.
Raymond Hettinger143f51a2012-01-09 05:32:01 +000050 self.not_full = threading.Condition(self.mutex)
Raymond Hettinger75404272012-01-07 15:32:52 -080051
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000052 # Notify all_tasks_done whenever the number of unfinished tasks
53 # drops to zero; thread waiting to join() is notified to resume
Raymond Hettinger143f51a2012-01-09 05:32:01 +000054 self.all_tasks_done = threading.Condition(self.mutex)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000055 self.unfinished_tasks = 0
56
57 def task_done(self):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000058 '''Indicate that a formerly enqueued task is complete.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000059
60 Used by Queue consumer threads. For each get() used to fetch a task,
61 a subsequent call to task_done() tells the queue that the processing
62 on the task is complete.
63
64 If a join() is currently blocking, it will resume when all items
65 have been processed (meaning that a task_done() call was received
66 for every item that had been put() into the queue).
67
68 Raises a ValueError if called more times than there were items
69 placed in the queue.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000070 '''
Raymond Hettinger75404272012-01-07 15:32:52 -080071 with self.all_tasks_done:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000072 unfinished = self.unfinished_tasks - 1
73 if unfinished <= 0:
74 if unfinished < 0:
75 raise ValueError('task_done() called too many times')
Benjamin Peterson672b8032008-06-11 19:14:14 +000076 self.all_tasks_done.notify_all()
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000077 self.unfinished_tasks = unfinished
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000078
79 def join(self):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000080 '''Blocks until all items in the Queue have been gotten and processed.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000081
82 The count of unfinished tasks goes up whenever an item is added to the
83 queue. The count goes down whenever a consumer thread calls task_done()
84 to indicate the item was retrieved and all work on it is complete.
85
86 When the count of unfinished tasks drops to zero, join() unblocks.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000087 '''
Raymond Hettinger75404272012-01-07 15:32:52 -080088 with self.all_tasks_done:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000089 while self.unfinished_tasks:
90 self.all_tasks_done.wait()
Guido van Rossum9022fce1992-08-25 12:30:44 +000091
Barry Warsaw3d96d521997-11-20 19:56:38 +000092 def qsize(self):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000093 '''Return the approximate size of the queue (not reliable!).'''
Raymond Hettinger75404272012-01-07 15:32:52 -080094 with self.mutex:
95 return self._qsize()
Barry Warsaw3d96d521997-11-20 19:56:38 +000096
Alexandre Vassalottif260e442008-05-11 19:59:59 +000097 def empty(self):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +000098 '''Return True if the queue is empty, False otherwise (not reliable!).
Raymond Hettinger611eaf02009-03-06 23:55:28 +000099
100 This method is likely to be removed at some point. Use qsize() == 0
101 as a direct substitute, but be aware that either approach risks a race
102 condition where a queue can grow before the result of empty() or
103 qsize() can be used.
104
105 To create code that needs to wait for all queued tasks to be
106 completed, the preferred technique is to use the join() method.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000107 '''
Raymond Hettinger75404272012-01-07 15:32:52 -0800108 with self.mutex:
109 return not self._qsize()
Alexandre Vassalottif260e442008-05-11 19:59:59 +0000110
111 def full(self):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000112 '''Return True if the queue is full, False otherwise (not reliable!).
Raymond Hettinger611eaf02009-03-06 23:55:28 +0000113
Raymond Hettinger189316a2010-10-31 17:57:52 +0000114 This method is likely to be removed at some point. Use qsize() >= n
Raymond Hettinger611eaf02009-03-06 23:55:28 +0000115 as a direct substitute, but be aware that either approach risks a race
116 condition where a queue can shrink before the result of full() or
117 qsize() can be used.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000118 '''
Raymond Hettinger75404272012-01-07 15:32:52 -0800119 with self.mutex:
120 return 0 < self.maxsize <= self._qsize()
Alexandre Vassalottif260e442008-05-11 19:59:59 +0000121
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000122 def put(self, item, block=True, timeout=None):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000123 '''Put an item into the queue.
Guido van Rossumc09e6b11998-04-09 14:25:32 +0000124
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000125 If optional args 'block' is true and 'timeout' is None (the default),
126 block if necessary until a free slot is available. If 'timeout' is
Terry Jan Reedy7608b602013-08-10 18:17:13 -0400127 a non-negative number, it blocks at most 'timeout' seconds and raises
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000128 the Full exception if no free slot was available within that time.
129 Otherwise ('block' is false), put an item on the queue if a free slot
130 is immediately available, else raise the Full exception ('timeout'
131 is ignored in that case).
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000132 '''
Raymond Hettinger75404272012-01-07 15:32:52 -0800133 with self.not_full:
Raymond Hettingerae138cb2008-01-15 20:42:00 +0000134 if self.maxsize > 0:
135 if not block:
Raymond Hettinger189316a2010-10-31 17:57:52 +0000136 if self._qsize() >= self.maxsize:
Raymond Hettingerae138cb2008-01-15 20:42:00 +0000137 raise Full
138 elif timeout is None:
Raymond Hettinger189316a2010-10-31 17:57:52 +0000139 while self._qsize() >= self.maxsize:
Raymond Hettingerda3caed2008-01-14 21:39:24 +0000140 self.not_full.wait()
Raymond Hettingerae138cb2008-01-15 20:42:00 +0000141 elif timeout < 0:
Terry Jan Reedy7608b602013-08-10 18:17:13 -0400142 raise ValueError("'timeout' must be a non-negative number")
Raymond Hettingerae138cb2008-01-15 20:42:00 +0000143 else:
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000144 endtime = time() + timeout
Raymond Hettinger189316a2010-10-31 17:57:52 +0000145 while self._qsize() >= self.maxsize:
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000146 remaining = endtime - time()
Raymond Hettingerda3caed2008-01-14 21:39:24 +0000147 if remaining <= 0.0:
148 raise Full
149 self.not_full.wait(remaining)
Mark Hammond3b959db2002-04-19 00:11:32 +0000150 self._put(item)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000151 self.unfinished_tasks += 1
Tim Peters5af0e412004-07-12 00:45:14 +0000152 self.not_empty.notify()
Barry Warsaw3d96d521997-11-20 19:56:38 +0000153
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000154 def get(self, block=True, timeout=None):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000155 '''Remove and return an item from the queue.
Guido van Rossumc09e6b11998-04-09 14:25:32 +0000156
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000157 If optional args 'block' is true and 'timeout' is None (the default),
158 block if necessary until an item is available. If 'timeout' is
Terry Jan Reedy7608b602013-08-10 18:17:13 -0400159 a non-negative number, it blocks at most 'timeout' seconds and raises
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000160 the Empty exception if no item was available within that time.
161 Otherwise ('block' is false), return an item if one is immediately
162 available, else raise the Empty exception ('timeout' is ignored
163 in that case).
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000164 '''
Raymond Hettinger75404272012-01-07 15:32:52 -0800165 with self.not_empty:
Tim Peters71ed2202004-07-12 01:20:32 +0000166 if not block:
Raymond Hettingerda3caed2008-01-14 21:39:24 +0000167 if not self._qsize():
Tim Peters71ed2202004-07-12 01:20:32 +0000168 raise Empty
169 elif timeout is None:
Raymond Hettingerda3caed2008-01-14 21:39:24 +0000170 while not self._qsize():
Tim Peters5af0e412004-07-12 00:45:14 +0000171 self.not_empty.wait()
Raymond Hettingerae138cb2008-01-15 20:42:00 +0000172 elif timeout < 0:
Terry Jan Reedy7608b602013-08-10 18:17:13 -0400173 raise ValueError("'timeout' must be a non-negative number")
Tim Peters5af0e412004-07-12 00:45:14 +0000174 else:
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000175 endtime = time() + timeout
Raymond Hettingerda3caed2008-01-14 21:39:24 +0000176 while not self._qsize():
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000177 remaining = endtime - time()
Tim Peters71ed2202004-07-12 01:20:32 +0000178 if remaining <= 0.0:
Tim Peters5af0e412004-07-12 00:45:14 +0000179 raise Empty
180 self.not_empty.wait(remaining)
Mark Hammond3b959db2002-04-19 00:11:32 +0000181 item = self._get()
Tim Peters5af0e412004-07-12 00:45:14 +0000182 self.not_full.notify()
183 return item
Guido van Rossum9022fce1992-08-25 12:30:44 +0000184
Raymond Hettinger61bd7292012-01-09 06:02:08 +0000185 def put_nowait(self, item):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000186 '''Put an item into the queue without blocking.
Raymond Hettinger61bd7292012-01-09 06:02:08 +0000187
188 Only enqueue the item if a free slot is immediately available.
189 Otherwise raise the Full exception.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000190 '''
Raymond Hettinger61bd7292012-01-09 06:02:08 +0000191 return self.put(item, block=False)
192
Guido van Rossum9e1721f1999-02-08 18:34:01 +0000193 def get_nowait(self):
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000194 '''Remove and return an item from the queue without blocking.
Guido van Rossum9022fce1992-08-25 12:30:44 +0000195
Martin v. Löwis77ac4292002-10-15 15:11:13 +0000196 Only get an item if one is immediately available. Otherwise
Guido van Rossum9e1721f1999-02-08 18:34:01 +0000197 raise the Empty exception.
Raymond Hettinger0c5e52f2012-01-09 06:17:39 +0000198 '''
Raymond Hettinger61bd7292012-01-09 06:02:08 +0000199 return self.get(block=False)
Guido van Rossum9022fce1992-08-25 12:30:44 +0000200
Barry Warsaw3d96d521997-11-20 19:56:38 +0000201 # Override these methods to implement other queue organizations
202 # (e.g. stack or priority queue).
203 # These will only be called with appropriate locks held
Guido van Rossum9022fce1992-08-25 12:30:44 +0000204
Barry Warsaw3d96d521997-11-20 19:56:38 +0000205 # Initialize the queue representation
206 def _init(self, maxsize):
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000207 self.queue = deque()
Guido van Rossum9022fce1992-08-25 12:30:44 +0000208
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000209 def _qsize(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000210 return len(self.queue)
Guido van Rossum9022fce1992-08-25 12:30:44 +0000211
Barry Warsaw3d96d521997-11-20 19:56:38 +0000212 # Put a new item in the queue
213 def _put(self, item):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000214 self.queue.append(item)
Guido van Rossum9022fce1992-08-25 12:30:44 +0000215
Barry Warsaw3d96d521997-11-20 19:56:38 +0000216 # Get an item from the queue
217 def _get(self):
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000218 return self.queue.popleft()
Raymond Hettinger35641462008-01-17 00:13:27 +0000219
Batuhan Taşkaya03615562020-04-10 17:46:36 +0300220 __class_getitem__ = classmethod(types.GenericAlias)
221
Raymond Hettinger35641462008-01-17 00:13:27 +0000222
223class PriorityQueue(Queue):
224 '''Variant of Queue that retrieves open entries in priority order (lowest first).
225
226 Entries are typically tuples of the form: (priority number, data).
227 '''
228
229 def _init(self, maxsize):
230 self.queue = []
231
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000232 def _qsize(self):
Raymond Hettinger35641462008-01-17 00:13:27 +0000233 return len(self.queue)
234
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000235 def _put(self, item):
Raymond Hettinger35641462008-01-17 00:13:27 +0000236 heappush(self.queue, item)
237
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000238 def _get(self):
Raymond Hettinger35641462008-01-17 00:13:27 +0000239 return heappop(self.queue)
240
241
242class LifoQueue(Queue):
243 '''Variant of Queue that retrieves most recently added entries first.'''
244
245 def _init(self, maxsize):
246 self.queue = []
247
Raymond Hettinger143f51a2012-01-09 05:32:01 +0000248 def _qsize(self):
Raymond Hettinger35641462008-01-17 00:13:27 +0000249 return len(self.queue)
250
251 def _put(self, item):
252 self.queue.append(item)
253
254 def _get(self):
255 return self.queue.pop()
Antoine Pitrou94e16962018-01-16 00:27:16 +0100256
257
258class _PySimpleQueue:
259 '''Simple, unbounded FIFO queue.
260
261 This pure Python implementation is not reentrant.
262 '''
263 # Note: while this pure Python version provides fairness
264 # (by using a threading.Semaphore which is itself fair, being based
265 # on threading.Condition), fairness is not part of the API contract.
266 # This allows the C version to use a different implementation.
267
268 def __init__(self):
269 self._queue = deque()
270 self._count = threading.Semaphore(0)
271
272 def put(self, item, block=True, timeout=None):
273 '''Put the item on the queue.
274
275 The optional 'block' and 'timeout' arguments are ignored, as this method
276 never blocks. They are provided for compatibility with the Queue class.
277 '''
278 self._queue.append(item)
279 self._count.release()
280
281 def get(self, block=True, timeout=None):
282 '''Remove and return an item from the queue.
283
284 If optional args 'block' is true and 'timeout' is None (the default),
285 block if necessary until an item is available. If 'timeout' is
286 a non-negative number, it blocks at most 'timeout' seconds and raises
287 the Empty exception if no item was available within that time.
288 Otherwise ('block' is false), return an item if one is immediately
289 available, else raise the Empty exception ('timeout' is ignored
290 in that case).
291 '''
292 if timeout is not None and timeout < 0:
293 raise ValueError("'timeout' must be a non-negative number")
294 if not self._count.acquire(block, timeout):
295 raise Empty
296 return self._queue.popleft()
297
298 def put_nowait(self, item):
299 '''Put an item into the queue without blocking.
300
301 This is exactly equivalent to `put(item)` and is only provided
302 for compatibility with the Queue class.
303 '''
304 return self.put(item, block=False)
305
306 def get_nowait(self):
307 '''Remove and return an item from the queue without blocking.
308
309 Only get an item if one is immediately available. Otherwise
310 raise the Empty exception.
311 '''
312 return self.get(block=False)
313
314 def empty(self):
315 '''Return True if the queue is empty, False otherwise (not reliable!).'''
316 return len(self._queue) == 0
317
318 def qsize(self):
319 '''Return the approximate size of the queue (not reliable!).'''
320 return len(self._queue)
321
Batuhan Taşkaya03615562020-04-10 17:46:36 +0300322 __class_getitem__ = classmethod(types.GenericAlias)
323
Antoine Pitrou94e16962018-01-16 00:27:16 +0100324
325if SimpleQueue is None:
326 SimpleQueue = _PySimpleQueue