summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMiss Islington (bot) <31488909+miss-islington@users.noreply.github.com>2022-09-27 00:00:53 (GMT)
committerPablo Galindo <pablogsal@gmail.com>2022-10-24 15:45:39 (GMT)
commit9c80b55ad69f67e3507c0185e07b98af35dc7239 (patch)
tree397dc766a348948bcb61d08ad3d2151f020f5f03
parent56145c696323d6fa5c346d6bcf3a7b7ff4410cef (diff)
downloadcpython-9c80b55ad69f67e3507c0185e07b98af35dc7239.zip
cpython-9c80b55ad69f67e3507c0185e07b98af35dc7239.tar.gz
cpython-9c80b55ad69f67e3507c0185e07b98af35dc7239.tar.bz2
gh-97545: Make Semaphore run faster. (GH-97549)
(cherry picked from commit 68c46ae68b6e0c36a12e37285fff9ce0782ed01e) Co-authored-by: Cyker Way <cykerway@gmail.com>
-rw-r--r--Lib/asyncio/locks.py38
-rw-r--r--Lib/test/test_asyncio/test_locks.py3
-rw-r--r--Misc/NEWS.d/next/Library/2022-09-25-23-24-52.gh-issue-97545.HZLSNt.rst1
3 files changed, 19 insertions, 23 deletions
diff --git a/Lib/asyncio/locks.py b/Lib/asyncio/locks.py
index f8f5903..fd41dfd 100644
--- a/Lib/asyncio/locks.py
+++ b/Lib/asyncio/locks.py
@@ -357,8 +357,9 @@ class Semaphore(_ContextManagerMixin, mixins._LoopBoundMixin):
return f'<{res[1:-1]} [{extra}]>'
def locked(self):
- """Returns True if semaphore counter is zero."""
- return self._value == 0
+ """Returns True if semaphore cannot be acquired immediately."""
+ return self._value == 0 or (
+ any(not w.cancelled() for w in (self._waiters or ())))
async def acquire(self):
"""Acquire a semaphore.
@@ -369,8 +370,7 @@ class Semaphore(_ContextManagerMixin, mixins._LoopBoundMixin):
called release() to make it larger than 0, and then return
True.
"""
- if (not self.locked() and (self._waiters is None or
- all(w.cancelled() for w in self._waiters))):
+ if not self.locked():
self._value -= 1
return True
@@ -388,13 +388,13 @@ class Semaphore(_ContextManagerMixin, mixins._LoopBoundMixin):
finally:
self._waiters.remove(fut)
except exceptions.CancelledError:
- if not self.locked():
- self._wake_up_first()
+ if not fut.cancelled():
+ self._value += 1
+ self._wake_up_next()
raise
- self._value -= 1
- if not self.locked():
- self._wake_up_first()
+ if self._value > 0:
+ self._wake_up_next()
return True
def release(self):
@@ -404,22 +404,18 @@ class Semaphore(_ContextManagerMixin, mixins._LoopBoundMixin):
become larger than zero again, wake up that coroutine.
"""
self._value += 1
- self._wake_up_first()
+ self._wake_up_next()
- def _wake_up_first(self):
- """Wake up the first waiter if it isn't done."""
+ def _wake_up_next(self):
+ """Wake up the first waiter that isn't done."""
if not self._waiters:
return
- try:
- fut = next(iter(self._waiters))
- except StopIteration:
- return
- # .done() necessarily means that a waiter will wake up later on and
- # either take the lock, or, if it was cancelled and lock wasn't
- # taken already, will hit this again and wake up a new waiter.
- if not fut.done():
- fut.set_result(True)
+ for fut in self._waiters:
+ if not fut.done():
+ self._value -= 1
+ fut.set_result(True)
+ return
class BoundedSemaphore(Semaphore):
diff --git a/Lib/test/test_asyncio/test_locks.py b/Lib/test/test_asyncio/test_locks.py
index 4b9d166..c20ec94 100644
--- a/Lib/test/test_asyncio/test_locks.py
+++ b/Lib/test/test_asyncio/test_locks.py
@@ -844,10 +844,9 @@ class SemaphoreTests(unittest.IsolatedAsyncioTestCase):
sem.release()
sem.release()
- self.assertEqual(2, sem._value)
+ self.assertEqual(0, sem._value)
await asyncio.sleep(0)
- await asyncio.sleep(0)
self.assertEqual(0, sem._value)
self.assertEqual(3, len(result))
self.assertTrue(sem.locked())
diff --git a/Misc/NEWS.d/next/Library/2022-09-25-23-24-52.gh-issue-97545.HZLSNt.rst b/Misc/NEWS.d/next/Library/2022-09-25-23-24-52.gh-issue-97545.HZLSNt.rst
new file mode 100644
index 0000000..a53902e
--- /dev/null
+++ b/Misc/NEWS.d/next/Library/2022-09-25-23-24-52.gh-issue-97545.HZLSNt.rst
@@ -0,0 +1 @@
+Make Semaphore run faster.