Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1 | """Base implementation of event loop. |
| 2 | |
| 3 | The event loop can be broken up into a multiplexer (the part |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 4 | responsible for notifying us of I/O events) and the event loop proper, |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 5 | which wraps a multiplexer with functionality for scheduling callbacks, |
| 6 | immediately or at a given time in the future. |
| 7 | |
| 8 | Whenever a public API takes a callback, subsequent positional |
| 9 | arguments will be passed to the callback if/when it is called. This |
| 10 | avoids the proliferation of trivial lambdas implementing closures. |
| 11 | Keyword arguments for the callback are not supported; this is a |
| 12 | conscious design decision, leaving the door open for keyword arguments |
| 13 | to modify the meaning of the API call itself. |
| 14 | """ |
| 15 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 16 | import collections |
Serhiy Storchaka | 2e576f5 | 2017-04-24 09:05:00 +0300 | [diff] [blame] | 17 | import collections.abc |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 18 | import concurrent.futures |
| 19 | import heapq |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 20 | import itertools |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 21 | import logging |
Victor Stinner | b75380f | 2014-06-30 14:39:11 +0200 | [diff] [blame] | 22 | import os |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 23 | import socket |
| 24 | import subprocess |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 25 | import threading |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 26 | import time |
Victor Stinner | b75380f | 2014-06-30 14:39:11 +0200 | [diff] [blame] | 27 | import traceback |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 28 | import sys |
Victor Stinner | 978a9af | 2015-01-29 17:50:58 +0100 | [diff] [blame] | 29 | import warnings |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 30 | import weakref |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 31 | |
Victor Stinner | f951d28 | 2014-06-29 00:46:45 +0200 | [diff] [blame] | 32 | from . import coroutines |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 33 | from . import events |
| 34 | from . import futures |
| 35 | from . import tasks |
Guido van Rossum | fc29e0f | 2013-10-17 15:39:45 -0700 | [diff] [blame] | 36 | from .log import logger |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 37 | |
| 38 | |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 39 | __all__ = 'BaseEventLoop', |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 40 | |
| 41 | |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 42 | # Minimum number of _scheduled timer handles before cleanup of |
| 43 | # cancelled handles is performed. |
| 44 | _MIN_SCHEDULED_TIMER_HANDLES = 100 |
| 45 | |
| 46 | # Minimum fraction of _scheduled timer handles that are cancelled |
| 47 | # before cleanup of cancelled handles is performed. |
| 48 | _MIN_CANCELLED_TIMER_HANDLES_FRACTION = 0.5 |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 49 | |
Victor Stinner | c94a93a | 2016-04-01 21:43:39 +0200 | [diff] [blame] | 50 | # Exceptions which must not call the exception handler in fatal error |
| 51 | # methods (_fatal_error()) |
| 52 | _FATAL_ERROR_IGNORE = (BrokenPipeError, |
| 53 | ConnectionResetError, ConnectionAbortedError) |
| 54 | |
| 55 | |
Victor Stinner | 0e6f52a | 2014-06-20 17:34:15 +0200 | [diff] [blame] | 56 | def _format_handle(handle): |
| 57 | cb = handle._callback |
Yury Selivanov | a0c1ba6 | 2016-10-28 12:52:37 -0400 | [diff] [blame] | 58 | if isinstance(getattr(cb, '__self__', None), tasks.Task): |
Victor Stinner | 0e6f52a | 2014-06-20 17:34:15 +0200 | [diff] [blame] | 59 | # format the task |
| 60 | return repr(cb.__self__) |
| 61 | else: |
| 62 | return str(handle) |
| 63 | |
| 64 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 65 | def _format_pipe(fd): |
| 66 | if fd == subprocess.PIPE: |
| 67 | return '<pipe>' |
| 68 | elif fd == subprocess.STDOUT: |
| 69 | return '<stdout>' |
| 70 | else: |
| 71 | return repr(fd) |
| 72 | |
| 73 | |
Yury Selivanov | 5587d7c | 2016-09-15 15:45:07 -0400 | [diff] [blame] | 74 | def _set_reuseport(sock): |
| 75 | if not hasattr(socket, 'SO_REUSEPORT'): |
| 76 | raise ValueError('reuse_port not supported by socket module') |
| 77 | else: |
| 78 | try: |
| 79 | sock.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEPORT, 1) |
| 80 | except OSError: |
| 81 | raise ValueError('reuse_port not supported by socket module, ' |
| 82 | 'SO_REUSEPORT defined but not implemented.') |
| 83 | |
| 84 | |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 85 | def _is_stream_socket(sock): |
| 86 | # Linux's socket.type is a bitmask that can include extra info |
| 87 | # about socket, therefore we can't do simple |
| 88 | # `sock_type == socket.SOCK_STREAM`. |
| 89 | return (sock.type & socket.SOCK_STREAM) == socket.SOCK_STREAM |
| 90 | |
| 91 | |
| 92 | def _is_dgram_socket(sock): |
| 93 | # Linux's socket.type is a bitmask that can include extra info |
| 94 | # about socket, therefore we can't do simple |
| 95 | # `sock_type == socket.SOCK_DGRAM`. |
| 96 | return (sock.type & socket.SOCK_DGRAM) == socket.SOCK_DGRAM |
| 97 | |
| 98 | |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 99 | def _ipaddr_info(host, port, family, type, proto): |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 100 | # Try to skip getaddrinfo if "host" is already an IP. Users might have |
| 101 | # handled name resolution in their own code and pass in resolved IPs. |
| 102 | if not hasattr(socket, 'inet_pton'): |
| 103 | return |
| 104 | |
| 105 | if proto not in {0, socket.IPPROTO_TCP, socket.IPPROTO_UDP} or \ |
| 106 | host is None: |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 107 | return None |
| 108 | |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 109 | if type == socket.SOCK_STREAM: |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 110 | # Linux only: |
| 111 | # getaddrinfo() can raise when socket.type is a bit mask. |
| 112 | # So if socket.type is a bit mask of SOCK_STREAM, and say |
| 113 | # SOCK_NONBLOCK, we simply return None, which will trigger |
| 114 | # a call to getaddrinfo() letting it process this request. |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 115 | proto = socket.IPPROTO_TCP |
| 116 | elif type == socket.SOCK_DGRAM: |
| 117 | proto = socket.IPPROTO_UDP |
| 118 | else: |
| 119 | return None |
| 120 | |
Yury Selivanov | a714616 | 2016-06-02 16:51:07 -0400 | [diff] [blame] | 121 | if port is None: |
Yury Selivanov | eaaaee8 | 2016-05-20 17:44:19 -0400 | [diff] [blame] | 122 | port = 0 |
Guido van Rossum | e3c65a7 | 2016-09-30 08:17:15 -0700 | [diff] [blame] | 123 | elif isinstance(port, bytes) and port == b'': |
| 124 | port = 0 |
| 125 | elif isinstance(port, str) and port == '': |
| 126 | port = 0 |
| 127 | else: |
| 128 | # If port's a service name like "http", don't skip getaddrinfo. |
| 129 | try: |
| 130 | port = int(port) |
| 131 | except (TypeError, ValueError): |
| 132 | return None |
Yury Selivanov | eaaaee8 | 2016-05-20 17:44:19 -0400 | [diff] [blame] | 133 | |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 134 | if family == socket.AF_UNSPEC: |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 135 | afs = [socket.AF_INET] |
| 136 | if hasattr(socket, 'AF_INET6'): |
| 137 | afs.append(socket.AF_INET6) |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 138 | else: |
| 139 | afs = [family] |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 140 | |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 141 | if isinstance(host, bytes): |
| 142 | host = host.decode('idna') |
| 143 | if '%' in host: |
| 144 | # Linux's inet_pton doesn't accept an IPv6 zone index after host, |
| 145 | # like '::1%lo0'. |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 146 | return None |
| 147 | |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 148 | for af in afs: |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 149 | try: |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 150 | socket.inet_pton(af, host) |
| 151 | # The host has already been resolved. |
| 152 | return af, type, proto, '', (host, port) |
| 153 | except OSError: |
| 154 | pass |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 155 | |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 156 | # "host" is not an IP address. |
| 157 | return None |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 158 | |
| 159 | |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 160 | def _ensure_resolved(address, *, family=0, type=socket.SOCK_STREAM, proto=0, |
| 161 | flags=0, loop): |
Yury Selivanov | d5c2a62 | 2015-12-16 19:31:17 -0500 | [diff] [blame] | 162 | host, port = address[:2] |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 163 | info = _ipaddr_info(host, port, family, type, proto) |
| 164 | if info is not None: |
| 165 | # "host" is already a resolved IP. |
| 166 | fut = loop.create_future() |
| 167 | fut.set_result([info]) |
| 168 | return fut |
| 169 | else: |
| 170 | return loop.getaddrinfo(host, port, family=family, type=type, |
| 171 | proto=proto, flags=flags) |
Victor Stinner | 1b0580b | 2014-02-13 09:24:37 +0100 | [diff] [blame] | 172 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 173 | |
Victor Stinner | f3e2e09 | 2014-12-05 01:44:10 +0100 | [diff] [blame] | 174 | def _run_until_complete_cb(fut): |
| 175 | exc = fut._exception |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 176 | if isinstance(exc, BaseException) and not isinstance(exc, Exception): |
Victor Stinner | f3e2e09 | 2014-12-05 01:44:10 +0100 | [diff] [blame] | 177 | # Issue #22429: run_forever() already finished, no need to |
| 178 | # stop it. |
| 179 | return |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 180 | fut._loop.stop() |
Victor Stinner | f3e2e09 | 2014-12-05 01:44:10 +0100 | [diff] [blame] | 181 | |
| 182 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 183 | class Server(events.AbstractServer): |
| 184 | |
| 185 | def __init__(self, loop, sockets): |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 186 | self._loop = loop |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 187 | self.sockets = sockets |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 188 | self._active_count = 0 |
| 189 | self._waiters = [] |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 190 | |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 191 | def __repr__(self): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 192 | return f'<{self.__class__.__name__} sockets={self.sockets!r}>' |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 193 | |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 194 | def _attach(self): |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 195 | assert self.sockets is not None |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 196 | self._active_count += 1 |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 197 | |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 198 | def _detach(self): |
| 199 | assert self._active_count > 0 |
| 200 | self._active_count -= 1 |
| 201 | if self._active_count == 0 and self.sockets is None: |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 202 | self._wakeup() |
| 203 | |
| 204 | def close(self): |
| 205 | sockets = self.sockets |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 206 | if sockets is None: |
| 207 | return |
| 208 | self.sockets = None |
| 209 | for sock in sockets: |
| 210 | self._loop._stop_serving(sock) |
| 211 | if self._active_count == 0: |
| 212 | self._wakeup() |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 213 | |
| 214 | def _wakeup(self): |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 215 | waiters = self._waiters |
| 216 | self._waiters = None |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 217 | for waiter in waiters: |
| 218 | if not waiter.done(): |
| 219 | waiter.set_result(waiter) |
| 220 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 221 | async def wait_closed(self): |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 222 | if self.sockets is None or self._waiters is None: |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 223 | return |
Yury Selivanov | 7661db6 | 2016-05-16 15:38:39 -0400 | [diff] [blame] | 224 | waiter = self._loop.create_future() |
Victor Stinner | b28dbac | 2014-07-11 22:52:21 +0200 | [diff] [blame] | 225 | self._waiters.append(waiter) |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 226 | await waiter |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 227 | |
| 228 | |
| 229 | class BaseEventLoop(events.AbstractEventLoop): |
| 230 | |
| 231 | def __init__(self): |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 232 | self._timer_cancelled_count = 0 |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 233 | self._closed = False |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 234 | self._stopping = False |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 235 | self._ready = collections.deque() |
| 236 | self._scheduled = [] |
| 237 | self._default_executor = None |
| 238 | self._internal_fds = 0 |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 239 | # Identifier of the thread running the event loop, or None if the |
| 240 | # event loop is not running |
Victor Stinner | a87501f | 2015-02-05 11:45:33 +0100 | [diff] [blame] | 241 | self._thread_id = None |
Victor Stinner | ed1654f | 2014-02-10 23:42:32 +0100 | [diff] [blame] | 242 | self._clock_resolution = time.get_clock_info('monotonic').resolution |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 243 | self._exception_handler = None |
Victor Stinner | 44862df | 2017-11-20 07:14:07 -0800 | [diff] [blame] | 244 | self.set_debug(coroutines._is_debug_mode()) |
Victor Stinner | 0e6f52a | 2014-06-20 17:34:15 +0200 | [diff] [blame] | 245 | # In debug mode, if the execution of a callback or a step of a task |
| 246 | # exceed this duration in seconds, the slow callback/task is logged. |
| 247 | self.slow_callback_duration = 0.1 |
Victor Stinner | 9b524d5 | 2015-01-26 11:05:12 +0100 | [diff] [blame] | 248 | self._current_handle = None |
Yury Selivanov | 740169c | 2015-05-11 14:23:38 -0400 | [diff] [blame] | 249 | self._task_factory = None |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 250 | self._coroutine_wrapper_set = False |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 251 | |
Yury Selivanov | 0a91d48 | 2016-09-15 13:24:03 -0400 | [diff] [blame] | 252 | if hasattr(sys, 'get_asyncgen_hooks'): |
| 253 | # Python >= 3.6 |
| 254 | # A weak set of all asynchronous generators that are |
| 255 | # being iterated by the loop. |
| 256 | self._asyncgens = weakref.WeakSet() |
| 257 | else: |
| 258 | self._asyncgens = None |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 259 | |
| 260 | # Set to True when `loop.shutdown_asyncgens` is called. |
| 261 | self._asyncgens_shutdown_called = False |
| 262 | |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 263 | def __repr__(self): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 264 | return ( |
| 265 | f'<{self.__class__.__name__} running={self.is_running()} ' |
| 266 | f'closed={self.is_closed()} debug={self.get_debug()}>' |
| 267 | ) |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 268 | |
Yury Selivanov | 7661db6 | 2016-05-16 15:38:39 -0400 | [diff] [blame] | 269 | def create_future(self): |
| 270 | """Create a Future object attached to the loop.""" |
| 271 | return futures.Future(loop=self) |
| 272 | |
Victor Stinner | 896a25a | 2014-07-08 11:29:25 +0200 | [diff] [blame] | 273 | def create_task(self, coro): |
| 274 | """Schedule a coroutine object. |
| 275 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 276 | Return a task object. |
| 277 | """ |
Victor Stinner | e80bf0d | 2014-12-04 23:07:47 +0100 | [diff] [blame] | 278 | self._check_closed() |
Yury Selivanov | 740169c | 2015-05-11 14:23:38 -0400 | [diff] [blame] | 279 | if self._task_factory is None: |
| 280 | task = tasks.Task(coro, loop=self) |
| 281 | if task._source_traceback: |
| 282 | del task._source_traceback[-1] |
| 283 | else: |
| 284 | task = self._task_factory(self, coro) |
Victor Stinner | c39ba7d | 2014-07-11 00:21:27 +0200 | [diff] [blame] | 285 | return task |
Victor Stinner | 896a25a | 2014-07-08 11:29:25 +0200 | [diff] [blame] | 286 | |
Yury Selivanov | 740169c | 2015-05-11 14:23:38 -0400 | [diff] [blame] | 287 | def set_task_factory(self, factory): |
| 288 | """Set a task factory that will be used by loop.create_task(). |
| 289 | |
| 290 | If factory is None the default task factory will be set. |
| 291 | |
| 292 | If factory is a callable, it should have a signature matching |
| 293 | '(loop, coro)', where 'loop' will be a reference to the active |
| 294 | event loop, 'coro' will be a coroutine object. The callable |
| 295 | must return a Future. |
| 296 | """ |
| 297 | if factory is not None and not callable(factory): |
| 298 | raise TypeError('task factory must be a callable or None') |
| 299 | self._task_factory = factory |
| 300 | |
| 301 | def get_task_factory(self): |
| 302 | """Return a task factory, or None if the default one is in use.""" |
| 303 | return self._task_factory |
| 304 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 305 | def _make_socket_transport(self, sock, protocol, waiter=None, *, |
| 306 | extra=None, server=None): |
| 307 | """Create socket transport.""" |
| 308 | raise NotImplementedError |
| 309 | |
Victor Stinner | 15cc678 | 2015-01-09 00:09:10 +0100 | [diff] [blame] | 310 | def _make_ssl_transport(self, rawsock, protocol, sslcontext, waiter=None, |
| 311 | *, server_side=False, server_hostname=None, |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 312 | extra=None, server=None): |
| 313 | """Create SSL transport.""" |
| 314 | raise NotImplementedError |
| 315 | |
| 316 | def _make_datagram_transport(self, sock, protocol, |
Victor Stinner | bfff45d | 2014-07-08 23:57:31 +0200 | [diff] [blame] | 317 | address=None, waiter=None, extra=None): |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 318 | """Create datagram transport.""" |
| 319 | raise NotImplementedError |
| 320 | |
| 321 | def _make_read_pipe_transport(self, pipe, protocol, waiter=None, |
| 322 | extra=None): |
| 323 | """Create read pipe transport.""" |
| 324 | raise NotImplementedError |
| 325 | |
| 326 | def _make_write_pipe_transport(self, pipe, protocol, waiter=None, |
| 327 | extra=None): |
| 328 | """Create write pipe transport.""" |
| 329 | raise NotImplementedError |
| 330 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 331 | async def _make_subprocess_transport(self, protocol, args, shell, |
| 332 | stdin, stdout, stderr, bufsize, |
| 333 | extra=None, **kwargs): |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 334 | """Create subprocess transport.""" |
| 335 | raise NotImplementedError |
| 336 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 337 | def _write_to_self(self): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 338 | """Write a byte to self-pipe, to wake up the event loop. |
| 339 | |
| 340 | This may be called from a different thread. |
| 341 | |
| 342 | The subclass is responsible for implementing the self-pipe. |
| 343 | """ |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 344 | raise NotImplementedError |
| 345 | |
| 346 | def _process_events(self, event_list): |
| 347 | """Process selector events.""" |
| 348 | raise NotImplementedError |
| 349 | |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 350 | def _check_closed(self): |
| 351 | if self._closed: |
| 352 | raise RuntimeError('Event loop is closed') |
| 353 | |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 354 | def _asyncgen_finalizer_hook(self, agen): |
| 355 | self._asyncgens.discard(agen) |
| 356 | if not self.is_closed(): |
| 357 | self.create_task(agen.aclose()) |
Yury Selivanov | ed05406 | 2016-10-21 17:13:40 -0400 | [diff] [blame] | 358 | # Wake up the loop if the finalizer was called from |
| 359 | # a different thread. |
| 360 | self._write_to_self() |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 361 | |
| 362 | def _asyncgen_firstiter_hook(self, agen): |
| 363 | if self._asyncgens_shutdown_called: |
| 364 | warnings.warn( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 365 | f"asynchronous generator {agen!r} was scheduled after " |
| 366 | f"loop.shutdown_asyncgens() call", |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 367 | ResourceWarning, source=self) |
| 368 | |
| 369 | self._asyncgens.add(agen) |
| 370 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 371 | async def shutdown_asyncgens(self): |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 372 | """Shutdown all active asynchronous generators.""" |
| 373 | self._asyncgens_shutdown_called = True |
| 374 | |
Yury Selivanov | 0a91d48 | 2016-09-15 13:24:03 -0400 | [diff] [blame] | 375 | if self._asyncgens is None or not len(self._asyncgens): |
| 376 | # If Python version is <3.6 or we don't have any asynchronous |
| 377 | # generators alive. |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 378 | return |
| 379 | |
| 380 | closing_agens = list(self._asyncgens) |
| 381 | self._asyncgens.clear() |
| 382 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 383 | results = await tasks.gather( |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 384 | *[ag.aclose() for ag in closing_agens], |
| 385 | return_exceptions=True, |
| 386 | loop=self) |
| 387 | |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 388 | for result, agen in zip(results, closing_agens): |
| 389 | if isinstance(result, Exception): |
| 390 | self.call_exception_handler({ |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 391 | 'message': f'an error occurred during closing of ' |
| 392 | f'asynchronous generator {agen!r}', |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 393 | 'exception': result, |
| 394 | 'asyncgen': agen |
| 395 | }) |
| 396 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 397 | def run_forever(self): |
| 398 | """Run until stop() is called.""" |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 399 | self._check_closed() |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 400 | if self.is_running(): |
Yury Selivanov | 600a349 | 2016-11-04 14:29:28 -0400 | [diff] [blame] | 401 | raise RuntimeError('This event loop is already running') |
| 402 | if events._get_running_loop() is not None: |
| 403 | raise RuntimeError( |
| 404 | 'Cannot run the event loop while another loop is running') |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 405 | self._set_coroutine_wrapper(self._debug) |
Victor Stinner | a87501f | 2015-02-05 11:45:33 +0100 | [diff] [blame] | 406 | self._thread_id = threading.get_ident() |
Yury Selivanov | 0a91d48 | 2016-09-15 13:24:03 -0400 | [diff] [blame] | 407 | if self._asyncgens is not None: |
| 408 | old_agen_hooks = sys.get_asyncgen_hooks() |
| 409 | sys.set_asyncgen_hooks(firstiter=self._asyncgen_firstiter_hook, |
| 410 | finalizer=self._asyncgen_finalizer_hook) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 411 | try: |
Yury Selivanov | 600a349 | 2016-11-04 14:29:28 -0400 | [diff] [blame] | 412 | events._set_running_loop(self) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 413 | while True: |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 414 | self._run_once() |
| 415 | if self._stopping: |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 416 | break |
| 417 | finally: |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 418 | self._stopping = False |
Victor Stinner | a87501f | 2015-02-05 11:45:33 +0100 | [diff] [blame] | 419 | self._thread_id = None |
Yury Selivanov | 600a349 | 2016-11-04 14:29:28 -0400 | [diff] [blame] | 420 | events._set_running_loop(None) |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 421 | self._set_coroutine_wrapper(False) |
Yury Selivanov | 0a91d48 | 2016-09-15 13:24:03 -0400 | [diff] [blame] | 422 | if self._asyncgens is not None: |
| 423 | sys.set_asyncgen_hooks(*old_agen_hooks) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 424 | |
| 425 | def run_until_complete(self, future): |
| 426 | """Run until the Future is done. |
| 427 | |
| 428 | If the argument is a coroutine, it is wrapped in a Task. |
| 429 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 430 | WARNING: It would be disastrous to call run_until_complete() |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 431 | with the same coroutine twice -- it would wrap it in two |
| 432 | different Tasks and that can't be good. |
| 433 | |
| 434 | Return the Future's result, or raise its exception. |
| 435 | """ |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 436 | self._check_closed() |
Victor Stinner | 98b6391 | 2014-06-30 14:51:04 +0200 | [diff] [blame] | 437 | |
Guido van Rossum | 7b3b3dc | 2016-09-09 14:26:31 -0700 | [diff] [blame] | 438 | new_task = not futures.isfuture(future) |
Yury Selivanov | 59eb9a4 | 2015-05-11 14:48:38 -0400 | [diff] [blame] | 439 | future = tasks.ensure_future(future, loop=self) |
Victor Stinner | 98b6391 | 2014-06-30 14:51:04 +0200 | [diff] [blame] | 440 | if new_task: |
| 441 | # An exception is raised if the future didn't complete, so there |
| 442 | # is no need to log the "destroy pending task" message |
| 443 | future._log_destroy_pending = False |
| 444 | |
Victor Stinner | f3e2e09 | 2014-12-05 01:44:10 +0100 | [diff] [blame] | 445 | future.add_done_callback(_run_until_complete_cb) |
Victor Stinner | c8bd53f | 2014-10-11 14:30:18 +0200 | [diff] [blame] | 446 | try: |
| 447 | self.run_forever() |
| 448 | except: |
| 449 | if new_task and future.done() and not future.cancelled(): |
| 450 | # The coroutine raised a BaseException. Consume the exception |
| 451 | # to not log a warning, the caller doesn't have access to the |
| 452 | # local task. |
| 453 | future.exception() |
| 454 | raise |
jimmylai | 21b3e04 | 2017-05-22 22:32:46 -0700 | [diff] [blame] | 455 | finally: |
| 456 | future.remove_done_callback(_run_until_complete_cb) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 457 | if not future.done(): |
| 458 | raise RuntimeError('Event loop stopped before Future completed.') |
| 459 | |
| 460 | return future.result() |
| 461 | |
| 462 | def stop(self): |
| 463 | """Stop running the event loop. |
| 464 | |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 465 | Every callback already scheduled will still run. This simply informs |
| 466 | run_forever to stop looping after a complete iteration. |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 467 | """ |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 468 | self._stopping = True |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 469 | |
Antoine Pitrou | 4ca7355 | 2013-10-20 00:54:10 +0200 | [diff] [blame] | 470 | def close(self): |
Guido van Rossum | e3f52ef | 2013-11-01 14:19:04 -0700 | [diff] [blame] | 471 | """Close the event loop. |
| 472 | |
| 473 | This clears the queues and shuts down the executor, |
| 474 | but does not wait for the executor to finish. |
Victor Stinner | f328c7d | 2014-06-23 01:02:37 +0200 | [diff] [blame] | 475 | |
| 476 | The event loop must not be running. |
Guido van Rossum | e3f52ef | 2013-11-01 14:19:04 -0700 | [diff] [blame] | 477 | """ |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 478 | if self.is_running(): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 479 | raise RuntimeError("Cannot close a running event loop") |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 480 | if self._closed: |
| 481 | return |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 482 | if self._debug: |
| 483 | logger.debug("Close %r", self) |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 484 | self._closed = True |
| 485 | self._ready.clear() |
| 486 | self._scheduled.clear() |
| 487 | executor = self._default_executor |
| 488 | if executor is not None: |
| 489 | self._default_executor = None |
| 490 | executor.shutdown(wait=False) |
Antoine Pitrou | 4ca7355 | 2013-10-20 00:54:10 +0200 | [diff] [blame] | 491 | |
Victor Stinner | bb2fc5b | 2014-06-10 10:23:10 +0200 | [diff] [blame] | 492 | def is_closed(self): |
| 493 | """Returns True if the event loop was closed.""" |
| 494 | return self._closed |
| 495 | |
INADA Naoki | 3e2ad8e | 2017-04-25 10:57:18 +0900 | [diff] [blame] | 496 | def __del__(self): |
| 497 | if not self.is_closed(): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 498 | warnings.warn(f"unclosed event loop {self!r}", ResourceWarning, |
INADA Naoki | 3e2ad8e | 2017-04-25 10:57:18 +0900 | [diff] [blame] | 499 | source=self) |
| 500 | if not self.is_running(): |
| 501 | self.close() |
Victor Stinner | 978a9af | 2015-01-29 17:50:58 +0100 | [diff] [blame] | 502 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 503 | def is_running(self): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 504 | """Returns True if the event loop is running.""" |
Victor Stinner | a87501f | 2015-02-05 11:45:33 +0100 | [diff] [blame] | 505 | return (self._thread_id is not None) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 506 | |
| 507 | def time(self): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 508 | """Return the time according to the event loop's clock. |
| 509 | |
| 510 | This is a float expressed in seconds since an epoch, but the |
| 511 | epoch, precision, accuracy and drift are unspecified and may |
| 512 | differ per event loop. |
| 513 | """ |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 514 | return time.monotonic() |
| 515 | |
| 516 | def call_later(self, delay, callback, *args): |
| 517 | """Arrange for a callback to be called at a given time. |
| 518 | |
| 519 | Return a Handle: an opaque object with a cancel() method that |
| 520 | can be used to cancel the call. |
| 521 | |
| 522 | The delay can be an int or float, expressed in seconds. It is |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 523 | always relative to the current time. |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 524 | |
| 525 | Each callback will be called exactly once. If two callbacks |
| 526 | are scheduled for exactly the same time, it undefined which |
| 527 | will be called first. |
| 528 | |
| 529 | Any positional arguments after the callback will be passed to |
| 530 | the callback when it is called. |
| 531 | """ |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 532 | timer = self.call_at(self.time() + delay, callback, *args) |
| 533 | if timer._source_traceback: |
| 534 | del timer._source_traceback[-1] |
| 535 | return timer |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 536 | |
| 537 | def call_at(self, when, callback, *args): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 538 | """Like call_later(), but uses an absolute time. |
| 539 | |
| 540 | Absolute time corresponds to the event loop's time() method. |
| 541 | """ |
Victor Stinner | e80bf0d | 2014-12-04 23:07:47 +0100 | [diff] [blame] | 542 | self._check_closed() |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 543 | if self._debug: |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 544 | self._check_thread() |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 545 | self._check_callback(callback, 'call_at') |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 546 | timer = events.TimerHandle(when, callback, args, self) |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 547 | if timer._source_traceback: |
| 548 | del timer._source_traceback[-1] |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 549 | heapq.heappush(self._scheduled, timer) |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 550 | timer._scheduled = True |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 551 | return timer |
| 552 | |
| 553 | def call_soon(self, callback, *args): |
| 554 | """Arrange for a callback to be called as soon as possible. |
| 555 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 556 | This operates as a FIFO queue: callbacks are called in the |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 557 | order in which they are registered. Each callback will be |
| 558 | called exactly once. |
| 559 | |
| 560 | Any positional arguments after the callback will be passed to |
| 561 | the callback when it is called. |
| 562 | """ |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 563 | self._check_closed() |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 564 | if self._debug: |
| 565 | self._check_thread() |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 566 | self._check_callback(callback, 'call_soon') |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 567 | handle = self._call_soon(callback, args) |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 568 | if handle._source_traceback: |
| 569 | del handle._source_traceback[-1] |
| 570 | return handle |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 571 | |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 572 | def _check_callback(self, callback, method): |
| 573 | if (coroutines.iscoroutine(callback) or |
| 574 | coroutines.iscoroutinefunction(callback)): |
| 575 | raise TypeError( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 576 | f"coroutines cannot be used with {method}()") |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 577 | if not callable(callback): |
| 578 | raise TypeError( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 579 | f'a callable object was expected by {method}(), ' |
| 580 | f'got {callback!r}') |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 581 | |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 582 | def _call_soon(self, callback, args): |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 583 | handle = events.Handle(callback, args, self) |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 584 | if handle._source_traceback: |
| 585 | del handle._source_traceback[-1] |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 586 | self._ready.append(handle) |
| 587 | return handle |
| 588 | |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 589 | def _check_thread(self): |
| 590 | """Check that the current thread is the thread running the event loop. |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 591 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 592 | Non-thread-safe methods of this class make this assumption and will |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 593 | likely behave incorrectly when the assumption is violated. |
| 594 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 595 | Should only be called when (self._debug == True). The caller is |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 596 | responsible for checking this condition for performance reasons. |
| 597 | """ |
Victor Stinner | a87501f | 2015-02-05 11:45:33 +0100 | [diff] [blame] | 598 | if self._thread_id is None: |
Victor Stinner | 751c7c0 | 2014-06-23 15:14:13 +0200 | [diff] [blame] | 599 | return |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 600 | thread_id = threading.get_ident() |
Victor Stinner | a87501f | 2015-02-05 11:45:33 +0100 | [diff] [blame] | 601 | if thread_id != self._thread_id: |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 602 | raise RuntimeError( |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 603 | "Non-thread-safe operation invoked on an event loop other " |
Victor Stinner | 93569c2 | 2014-03-21 10:00:52 +0100 | [diff] [blame] | 604 | "than the current one") |
| 605 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 606 | def call_soon_threadsafe(self, callback, *args): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 607 | """Like call_soon(), but thread-safe.""" |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 608 | self._check_closed() |
| 609 | if self._debug: |
| 610 | self._check_callback(callback, 'call_soon_threadsafe') |
Victor Stinner | 956de69 | 2014-12-26 21:07:52 +0100 | [diff] [blame] | 611 | handle = self._call_soon(callback, args) |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 612 | if handle._source_traceback: |
| 613 | del handle._source_traceback[-1] |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 614 | self._write_to_self() |
| 615 | return handle |
| 616 | |
Yury Selivanov | 740169c | 2015-05-11 14:23:38 -0400 | [diff] [blame] | 617 | def run_in_executor(self, executor, func, *args): |
Victor Stinner | e80bf0d | 2014-12-04 23:07:47 +0100 | [diff] [blame] | 618 | self._check_closed() |
Yury Selivanov | 491a912 | 2016-11-03 15:09:24 -0700 | [diff] [blame] | 619 | if self._debug: |
| 620 | self._check_callback(func, 'run_in_executor') |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 621 | if executor is None: |
| 622 | executor = self._default_executor |
| 623 | if executor is None: |
Yury Selivanov | e8a6045 | 2016-10-21 17:40:42 -0400 | [diff] [blame] | 624 | executor = concurrent.futures.ThreadPoolExecutor() |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 625 | self._default_executor = executor |
Yury Selivanov | 740169c | 2015-05-11 14:23:38 -0400 | [diff] [blame] | 626 | return futures.wrap_future(executor.submit(func, *args), loop=self) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 627 | |
| 628 | def set_default_executor(self, executor): |
| 629 | self._default_executor = executor |
| 630 | |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 631 | def _getaddrinfo_debug(self, host, port, family, type, proto, flags): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 632 | msg = [f"{host}:{port!r}"] |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 633 | if family: |
Yury Selivanov | 19d0d54 | 2017-12-10 19:52:53 -0500 | [diff] [blame] | 634 | msg.append(f'family={family!r}') |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 635 | if type: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 636 | msg.append(f'type={type!r}') |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 637 | if proto: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 638 | msg.append(f'proto={proto!r}') |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 639 | if flags: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 640 | msg.append(f'flags={flags!r}') |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 641 | msg = ', '.join(msg) |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 642 | logger.debug('Get address info %s', msg) |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 643 | |
| 644 | t0 = self.time() |
| 645 | addrinfo = socket.getaddrinfo(host, port, family, type, proto, flags) |
| 646 | dt = self.time() - t0 |
| 647 | |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 648 | msg = f'Getting address info {msg} took {dt * 1e3:.3f}ms: {addrinfo!r}' |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 649 | if dt >= self.slow_callback_duration: |
| 650 | logger.info(msg) |
| 651 | else: |
| 652 | logger.debug(msg) |
| 653 | return addrinfo |
| 654 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 655 | def getaddrinfo(self, host, port, *, |
| 656 | family=0, type=0, proto=0, flags=0): |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 657 | if self._debug: |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 658 | return self.run_in_executor(None, self._getaddrinfo_debug, |
| 659 | host, port, family, type, proto, flags) |
| 660 | else: |
| 661 | return self.run_in_executor(None, socket.getaddrinfo, |
| 662 | host, port, family, type, proto, flags) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 663 | |
| 664 | def getnameinfo(self, sockaddr, flags=0): |
| 665 | return self.run_in_executor(None, socket.getnameinfo, sockaddr, flags) |
| 666 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 667 | async def create_connection(self, protocol_factory, host=None, port=None, |
| 668 | *, ssl=None, family=0, |
| 669 | proto=0, flags=0, sock=None, |
| 670 | local_addr=None, server_hostname=None): |
Victor Stinner | d143209 | 2014-06-19 17:11:49 +0200 | [diff] [blame] | 671 | """Connect to a TCP server. |
| 672 | |
| 673 | Create a streaming transport connection to a given Internet host and |
| 674 | port: socket family AF_INET or socket.AF_INET6 depending on host (or |
| 675 | family if specified), socket type SOCK_STREAM. protocol_factory must be |
| 676 | a callable returning a protocol instance. |
| 677 | |
| 678 | This method is a coroutine which will try to establish the connection |
| 679 | in the background. When successful, the coroutine returns a |
| 680 | (transport, protocol) pair. |
| 681 | """ |
Guido van Rossum | 21c85a7 | 2013-11-01 14:16:54 -0700 | [diff] [blame] | 682 | if server_hostname is not None and not ssl: |
| 683 | raise ValueError('server_hostname is only meaningful with ssl') |
| 684 | |
| 685 | if server_hostname is None and ssl: |
| 686 | # Use host as default for server_hostname. It is an error |
| 687 | # if host is empty or not set, e.g. when an |
| 688 | # already-connected socket was passed or when only a port |
| 689 | # is given. To avoid this error, you can pass |
| 690 | # server_hostname='' -- this will bypass the hostname |
| 691 | # check. (This also means that if host is a numeric |
| 692 | # IP/IPv6 address, we will attempt to verify that exact |
| 693 | # address; this will probably fail, but it is possible to |
| 694 | # create a certificate for a specific IP address, so we |
| 695 | # don't judge it here.) |
| 696 | if not host: |
| 697 | raise ValueError('You must set server_hostname ' |
| 698 | 'when using ssl without a host') |
| 699 | server_hostname = host |
Guido van Rossum | a8d630a | 2013-11-01 14:20:55 -0700 | [diff] [blame] | 700 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 701 | if host is not None or port is not None: |
| 702 | if sock is not None: |
| 703 | raise ValueError( |
| 704 | 'host/port and sock can not be specified at the same time') |
| 705 | |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 706 | f1 = _ensure_resolved((host, port), family=family, |
| 707 | type=socket.SOCK_STREAM, proto=proto, |
| 708 | flags=flags, loop=self) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 709 | fs = [f1] |
| 710 | if local_addr is not None: |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 711 | f2 = _ensure_resolved(local_addr, family=family, |
| 712 | type=socket.SOCK_STREAM, proto=proto, |
| 713 | flags=flags, loop=self) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 714 | fs.append(f2) |
| 715 | else: |
| 716 | f2 = None |
| 717 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 718 | await tasks.wait(fs, loop=self) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 719 | |
| 720 | infos = f1.result() |
| 721 | if not infos: |
| 722 | raise OSError('getaddrinfo() returned empty list') |
| 723 | if f2 is not None: |
| 724 | laddr_infos = f2.result() |
| 725 | if not laddr_infos: |
| 726 | raise OSError('getaddrinfo() returned empty list') |
| 727 | |
| 728 | exceptions = [] |
| 729 | for family, type, proto, cname, address in infos: |
| 730 | try: |
| 731 | sock = socket.socket(family=family, type=type, proto=proto) |
| 732 | sock.setblocking(False) |
| 733 | if f2 is not None: |
| 734 | for _, _, _, _, laddr in laddr_infos: |
| 735 | try: |
| 736 | sock.bind(laddr) |
| 737 | break |
| 738 | except OSError as exc: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 739 | msg = ( |
| 740 | f'error while attempting to bind on ' |
| 741 | f'address {laddr!r}: ' |
| 742 | f'{exc.strerror.lower()}' |
| 743 | ) |
| 744 | exc = OSError(exc.errno, msg) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 745 | exceptions.append(exc) |
| 746 | else: |
| 747 | sock.close() |
| 748 | sock = None |
| 749 | continue |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 750 | if self._debug: |
| 751 | logger.debug("connect %r to %r", sock, address) |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 752 | await self.sock_connect(sock, address) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 753 | except OSError as exc: |
| 754 | if sock is not None: |
| 755 | sock.close() |
| 756 | exceptions.append(exc) |
Victor Stinner | 223a624 | 2014-06-04 00:11:52 +0200 | [diff] [blame] | 757 | except: |
| 758 | if sock is not None: |
| 759 | sock.close() |
| 760 | raise |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 761 | else: |
| 762 | break |
| 763 | else: |
| 764 | if len(exceptions) == 1: |
| 765 | raise exceptions[0] |
| 766 | else: |
| 767 | # If they all have the same str(), raise one. |
| 768 | model = str(exceptions[0]) |
| 769 | if all(str(exc) == model for exc in exceptions): |
| 770 | raise exceptions[0] |
| 771 | # Raise a combined exception so the user can see all |
| 772 | # the various error messages. |
| 773 | raise OSError('Multiple exceptions: {}'.format( |
| 774 | ', '.join(str(exc) for exc in exceptions))) |
| 775 | |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 776 | else: |
| 777 | if sock is None: |
| 778 | raise ValueError( |
| 779 | 'host and port was not specified and no sock specified') |
Yury Selivanov | dab0584 | 2016-11-21 17:47:27 -0500 | [diff] [blame] | 780 | if not _is_stream_socket(sock): |
| 781 | # We allow AF_INET, AF_INET6, AF_UNIX as long as they |
| 782 | # are SOCK_STREAM. |
| 783 | # We support passing AF_UNIX sockets even though we have |
| 784 | # a dedicated API for that: create_unix_connection. |
| 785 | # Disallowing AF_UNIX in this method, breaks backwards |
| 786 | # compatibility. |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 787 | raise ValueError( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 788 | f'A Stream Socket was expected, got {sock!r}') |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 789 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 790 | transport, protocol = await self._create_connection_transport( |
Yury Selivanov | b057c52 | 2014-02-18 12:15:06 -0500 | [diff] [blame] | 791 | sock, protocol_factory, ssl, server_hostname) |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 792 | if self._debug: |
Victor Stinner | b261475 | 2014-08-25 23:20:52 +0200 | [diff] [blame] | 793 | # Get the socket from the transport because SSL transport closes |
| 794 | # the old socket and creates a new SSL socket |
| 795 | sock = transport.get_extra_info('socket') |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 796 | logger.debug("%r connected to %s:%r: (%r, %r)", |
| 797 | sock, host, port, transport, protocol) |
Yury Selivanov | b057c52 | 2014-02-18 12:15:06 -0500 | [diff] [blame] | 798 | return transport, protocol |
| 799 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 800 | async def _create_connection_transport(self, sock, protocol_factory, ssl, |
| 801 | server_hostname, server_side=False): |
Yury Selivanov | 252e9ed | 2016-07-12 18:23:10 -0400 | [diff] [blame] | 802 | |
| 803 | sock.setblocking(False) |
| 804 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 805 | protocol = protocol_factory() |
Yury Selivanov | 7661db6 | 2016-05-16 15:38:39 -0400 | [diff] [blame] | 806 | waiter = self.create_future() |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 807 | if ssl: |
| 808 | sslcontext = None if isinstance(ssl, bool) else ssl |
| 809 | transport = self._make_ssl_transport( |
| 810 | sock, protocol, sslcontext, waiter, |
Yury Selivanov | 252e9ed | 2016-07-12 18:23:10 -0400 | [diff] [blame] | 811 | server_side=server_side, server_hostname=server_hostname) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 812 | else: |
| 813 | transport = self._make_socket_transport(sock, protocol, waiter) |
| 814 | |
Victor Stinner | 29ad011 | 2015-01-15 00:04:21 +0100 | [diff] [blame] | 815 | try: |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 816 | await waiter |
Victor Stinner | 0c2e408 | 2015-01-22 00:17:41 +0100 | [diff] [blame] | 817 | except: |
Victor Stinner | 29ad011 | 2015-01-15 00:04:21 +0100 | [diff] [blame] | 818 | transport.close() |
| 819 | raise |
| 820 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 821 | return transport, protocol |
| 822 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 823 | async def create_datagram_endpoint(self, protocol_factory, |
| 824 | local_addr=None, remote_addr=None, *, |
| 825 | family=0, proto=0, flags=0, |
| 826 | reuse_address=None, reuse_port=None, |
| 827 | allow_broadcast=None, sock=None): |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 828 | """Create datagram connection.""" |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 829 | if sock is not None: |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 830 | if not _is_dgram_socket(sock): |
| 831 | raise ValueError( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 832 | f'A UDP Socket was expected, got {sock!r}') |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 833 | if (local_addr or remote_addr or |
| 834 | family or proto or flags or |
| 835 | reuse_address or reuse_port or allow_broadcast): |
| 836 | # show the problematic kwargs in exception msg |
| 837 | opts = dict(local_addr=local_addr, remote_addr=remote_addr, |
| 838 | family=family, proto=proto, flags=flags, |
| 839 | reuse_address=reuse_address, reuse_port=reuse_port, |
| 840 | allow_broadcast=allow_broadcast) |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 841 | problems = ', '.join(f'{k}={v}' for k, v in opts.items() if v) |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 842 | raise ValueError( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 843 | f'socket modifier keyword arguments can not be used ' |
| 844 | f'when sock is specified. ({problems})') |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 845 | sock.setblocking(False) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 846 | r_addr = None |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 847 | else: |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 848 | if not (local_addr or remote_addr): |
| 849 | if family == 0: |
| 850 | raise ValueError('unexpected address family') |
| 851 | addr_pairs_info = (((family, proto), (None, None)),) |
Quentin Dawans | fe4ea9c | 2017-10-30 14:43:02 +0100 | [diff] [blame] | 852 | elif hasattr(socket, 'AF_UNIX') and family == socket.AF_UNIX: |
| 853 | for addr in (local_addr, remote_addr): |
Victor Stinner | 28e6165 | 2017-11-28 00:34:08 +0100 | [diff] [blame] | 854 | if addr is not None and not isinstance(addr, str): |
Quentin Dawans | fe4ea9c | 2017-10-30 14:43:02 +0100 | [diff] [blame] | 855 | raise TypeError('string is expected') |
| 856 | addr_pairs_info = (((family, proto), |
| 857 | (local_addr, remote_addr)), ) |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 858 | else: |
| 859 | # join address by (family, protocol) |
| 860 | addr_infos = collections.OrderedDict() |
| 861 | for idx, addr in ((0, local_addr), (1, remote_addr)): |
| 862 | if addr is not None: |
| 863 | assert isinstance(addr, tuple) and len(addr) == 2, ( |
| 864 | '2-tuple is expected') |
| 865 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 866 | infos = await _ensure_resolved( |
Yury Selivanov | f1c6fa9 | 2016-06-08 12:33:31 -0400 | [diff] [blame] | 867 | addr, family=family, type=socket.SOCK_DGRAM, |
| 868 | proto=proto, flags=flags, loop=self) |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 869 | if not infos: |
| 870 | raise OSError('getaddrinfo() returned empty list') |
| 871 | |
| 872 | for fam, _, pro, _, address in infos: |
| 873 | key = (fam, pro) |
| 874 | if key not in addr_infos: |
| 875 | addr_infos[key] = [None, None] |
| 876 | addr_infos[key][idx] = address |
| 877 | |
| 878 | # each addr has to have info for each (family, proto) pair |
| 879 | addr_pairs_info = [ |
| 880 | (key, addr_pair) for key, addr_pair in addr_infos.items() |
| 881 | if not ((local_addr and addr_pair[0] is None) or |
| 882 | (remote_addr and addr_pair[1] is None))] |
| 883 | |
| 884 | if not addr_pairs_info: |
| 885 | raise ValueError('can not get address information') |
| 886 | |
| 887 | exceptions = [] |
| 888 | |
| 889 | if reuse_address is None: |
| 890 | reuse_address = os.name == 'posix' and sys.platform != 'cygwin' |
| 891 | |
| 892 | for ((family, proto), |
| 893 | (local_address, remote_address)) in addr_pairs_info: |
| 894 | sock = None |
| 895 | r_addr = None |
| 896 | try: |
| 897 | sock = socket.socket( |
| 898 | family=family, type=socket.SOCK_DGRAM, proto=proto) |
| 899 | if reuse_address: |
| 900 | sock.setsockopt( |
| 901 | socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) |
| 902 | if reuse_port: |
Yury Selivanov | 5587d7c | 2016-09-15 15:45:07 -0400 | [diff] [blame] | 903 | _set_reuseport(sock) |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 904 | if allow_broadcast: |
| 905 | sock.setsockopt( |
| 906 | socket.SOL_SOCKET, socket.SO_BROADCAST, 1) |
| 907 | sock.setblocking(False) |
| 908 | |
| 909 | if local_addr: |
| 910 | sock.bind(local_address) |
| 911 | if remote_addr: |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 912 | await self.sock_connect(sock, remote_address) |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 913 | r_addr = remote_address |
| 914 | except OSError as exc: |
| 915 | if sock is not None: |
| 916 | sock.close() |
| 917 | exceptions.append(exc) |
| 918 | except: |
| 919 | if sock is not None: |
| 920 | sock.close() |
| 921 | raise |
| 922 | else: |
| 923 | break |
| 924 | else: |
| 925 | raise exceptions[0] |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 926 | |
| 927 | protocol = protocol_factory() |
Yury Selivanov | 7661db6 | 2016-05-16 15:38:39 -0400 | [diff] [blame] | 928 | waiter = self.create_future() |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 929 | transport = self._make_datagram_transport( |
| 930 | sock, protocol, r_addr, waiter) |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 931 | if self._debug: |
| 932 | if local_addr: |
| 933 | logger.info("Datagram endpoint local_addr=%r remote_addr=%r " |
| 934 | "created: (%r, %r)", |
| 935 | local_addr, remote_addr, transport, protocol) |
| 936 | else: |
| 937 | logger.debug("Datagram endpoint remote_addr=%r created: " |
| 938 | "(%r, %r)", |
| 939 | remote_addr, transport, protocol) |
Victor Stinner | 2596dd0 | 2015-01-26 11:02:18 +0100 | [diff] [blame] | 940 | |
| 941 | try: |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 942 | await waiter |
Victor Stinner | 2596dd0 | 2015-01-26 11:02:18 +0100 | [diff] [blame] | 943 | except: |
| 944 | transport.close() |
| 945 | raise |
| 946 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 947 | return transport, protocol |
| 948 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 949 | async def _create_server_getaddrinfo(self, host, port, family, flags): |
| 950 | infos = await _ensure_resolved((host, port), family=family, |
| 951 | type=socket.SOCK_STREAM, |
| 952 | flags=flags, loop=self) |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 953 | if not infos: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 954 | raise OSError(f'getaddrinfo({host!r}) returned empty list') |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 955 | return infos |
| 956 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 957 | async def create_server(self, protocol_factory, host=None, port=None, |
| 958 | *, |
| 959 | family=socket.AF_UNSPEC, |
| 960 | flags=socket.AI_PASSIVE, |
| 961 | sock=None, |
| 962 | backlog=100, |
| 963 | ssl=None, |
| 964 | reuse_address=None, |
| 965 | reuse_port=None): |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 966 | """Create a TCP server. |
| 967 | |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 968 | The host parameter can be a string, in that case the TCP server is |
| 969 | bound to host and port. |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 970 | |
| 971 | The host parameter can also be a sequence of strings and in that case |
Yury Selivanov | e076ffb | 2016-03-02 11:17:01 -0500 | [diff] [blame] | 972 | the TCP server is bound to all hosts of the sequence. If a host |
| 973 | appears multiple times (possibly indirectly e.g. when hostnames |
| 974 | resolve to the same IP address), the server is only bound once to that |
| 975 | host. |
Victor Stinner | d143209 | 2014-06-19 17:11:49 +0200 | [diff] [blame] | 976 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 977 | Return a Server object which can be used to stop the service. |
Victor Stinner | d143209 | 2014-06-19 17:11:49 +0200 | [diff] [blame] | 978 | |
| 979 | This method is a coroutine. |
| 980 | """ |
Guido van Rossum | 28dff0d | 2013-11-01 14:22:30 -0700 | [diff] [blame] | 981 | if isinstance(ssl, bool): |
| 982 | raise TypeError('ssl argument must be an SSLContext or None') |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 983 | if host is not None or port is not None: |
| 984 | if sock is not None: |
| 985 | raise ValueError( |
| 986 | 'host/port and sock can not be specified at the same time') |
| 987 | |
| 988 | AF_INET6 = getattr(socket, 'AF_INET6', 0) |
| 989 | if reuse_address is None: |
| 990 | reuse_address = os.name == 'posix' and sys.platform != 'cygwin' |
| 991 | sockets = [] |
| 992 | if host == '': |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 993 | hosts = [None] |
| 994 | elif (isinstance(host, str) or |
Serhiy Storchaka | 2e576f5 | 2017-04-24 09:05:00 +0300 | [diff] [blame] | 995 | not isinstance(host, collections.abc.Iterable)): |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 996 | hosts = [host] |
| 997 | else: |
| 998 | hosts = host |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 999 | |
Victor Stinner | 5e4a7d8 | 2015-09-21 18:33:43 +0200 | [diff] [blame] | 1000 | fs = [self._create_server_getaddrinfo(host, port, family=family, |
| 1001 | flags=flags) |
| 1002 | for host in hosts] |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1003 | infos = await tasks.gather(*fs, loop=self) |
Yury Selivanov | e076ffb | 2016-03-02 11:17:01 -0500 | [diff] [blame] | 1004 | infos = set(itertools.chain.from_iterable(infos)) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1005 | |
| 1006 | completed = False |
| 1007 | try: |
| 1008 | for res in infos: |
| 1009 | af, socktype, proto, canonname, sa = res |
Guido van Rossum | 32e4685 | 2013-10-19 17:04:25 -0700 | [diff] [blame] | 1010 | try: |
| 1011 | sock = socket.socket(af, socktype, proto) |
| 1012 | except socket.error: |
| 1013 | # Assume it's a bad family/type/protocol combination. |
Victor Stinner | b261475 | 2014-08-25 23:20:52 +0200 | [diff] [blame] | 1014 | if self._debug: |
| 1015 | logger.warning('create_server() failed to create ' |
| 1016 | 'socket.socket(%r, %r, %r)', |
| 1017 | af, socktype, proto, exc_info=True) |
Guido van Rossum | 32e4685 | 2013-10-19 17:04:25 -0700 | [diff] [blame] | 1018 | continue |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1019 | sockets.append(sock) |
| 1020 | if reuse_address: |
Guido van Rossum | b9bf913 | 2015-10-05 09:15:28 -0700 | [diff] [blame] | 1021 | sock.setsockopt( |
| 1022 | socket.SOL_SOCKET, socket.SO_REUSEADDR, True) |
| 1023 | if reuse_port: |
Yury Selivanov | 5587d7c | 2016-09-15 15:45:07 -0400 | [diff] [blame] | 1024 | _set_reuseport(sock) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1025 | # Disable IPv4/IPv6 dual stack support (enabled by |
| 1026 | # default on Linux) which makes a single socket |
| 1027 | # listen on both address families. |
| 1028 | if af == AF_INET6 and hasattr(socket, 'IPPROTO_IPV6'): |
| 1029 | sock.setsockopt(socket.IPPROTO_IPV6, |
| 1030 | socket.IPV6_V6ONLY, |
| 1031 | True) |
| 1032 | try: |
| 1033 | sock.bind(sa) |
| 1034 | except OSError as err: |
| 1035 | raise OSError(err.errno, 'error while attempting ' |
| 1036 | 'to bind on address %r: %s' |
Serhiy Storchaka | 5affd23 | 2017-04-05 09:37:24 +0300 | [diff] [blame] | 1037 | % (sa, err.strerror.lower())) from None |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1038 | completed = True |
| 1039 | finally: |
| 1040 | if not completed: |
| 1041 | for sock in sockets: |
| 1042 | sock.close() |
| 1043 | else: |
| 1044 | if sock is None: |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1045 | raise ValueError('Neither host/port nor sock were specified') |
Yury Selivanov | dab0584 | 2016-11-21 17:47:27 -0500 | [diff] [blame] | 1046 | if not _is_stream_socket(sock): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1047 | raise ValueError(f'A Stream Socket was expected, got {sock!r}') |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1048 | sockets = [sock] |
| 1049 | |
| 1050 | server = Server(self, sockets) |
| 1051 | for sock in sockets: |
| 1052 | sock.listen(backlog) |
| 1053 | sock.setblocking(False) |
Yury Selivanov | a1b0e7d | 2016-09-15 14:13:15 -0400 | [diff] [blame] | 1054 | self._start_serving(protocol_factory, sock, ssl, server, backlog) |
Victor Stinner | e912e65 | 2014-07-12 03:11:53 +0200 | [diff] [blame] | 1055 | if self._debug: |
| 1056 | logger.info("%r is serving", server) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1057 | return server |
| 1058 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1059 | async def connect_accepted_socket(self, protocol_factory, sock, |
| 1060 | *, ssl=None): |
Yury Selivanov | 252e9ed | 2016-07-12 18:23:10 -0400 | [diff] [blame] | 1061 | """Handle an accepted connection. |
| 1062 | |
| 1063 | This is used by servers that accept connections outside of |
| 1064 | asyncio but that use asyncio to handle connections. |
| 1065 | |
| 1066 | This method is a coroutine. When completed, the coroutine |
| 1067 | returns a (transport, protocol) pair. |
| 1068 | """ |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 1069 | if not _is_stream_socket(sock): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1070 | raise ValueError(f'A Stream Socket was expected, got {sock!r}') |
Yury Selivanov | a1a8b7d | 2016-11-09 15:47:00 -0500 | [diff] [blame] | 1071 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1072 | transport, protocol = await self._create_connection_transport( |
Yury Selivanov | 252e9ed | 2016-07-12 18:23:10 -0400 | [diff] [blame] | 1073 | sock, protocol_factory, ssl, '', server_side=True) |
| 1074 | if self._debug: |
| 1075 | # Get the socket from the transport because SSL transport closes |
| 1076 | # the old socket and creates a new SSL socket |
| 1077 | sock = transport.get_extra_info('socket') |
| 1078 | logger.debug("%r handled: (%r, %r)", sock, transport, protocol) |
| 1079 | return transport, protocol |
| 1080 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1081 | async def connect_read_pipe(self, protocol_factory, pipe): |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1082 | protocol = protocol_factory() |
Yury Selivanov | 7661db6 | 2016-05-16 15:38:39 -0400 | [diff] [blame] | 1083 | waiter = self.create_future() |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1084 | transport = self._make_read_pipe_transport(pipe, protocol, waiter) |
Victor Stinner | 2596dd0 | 2015-01-26 11:02:18 +0100 | [diff] [blame] | 1085 | |
| 1086 | try: |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1087 | await waiter |
Victor Stinner | 2596dd0 | 2015-01-26 11:02:18 +0100 | [diff] [blame] | 1088 | except: |
| 1089 | transport.close() |
| 1090 | raise |
| 1091 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1092 | if self._debug: |
| 1093 | logger.debug('Read pipe %r connected: (%r, %r)', |
| 1094 | pipe.fileno(), transport, protocol) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1095 | return transport, protocol |
| 1096 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1097 | async def connect_write_pipe(self, protocol_factory, pipe): |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1098 | protocol = protocol_factory() |
Yury Selivanov | 7661db6 | 2016-05-16 15:38:39 -0400 | [diff] [blame] | 1099 | waiter = self.create_future() |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1100 | transport = self._make_write_pipe_transport(pipe, protocol, waiter) |
Victor Stinner | 2596dd0 | 2015-01-26 11:02:18 +0100 | [diff] [blame] | 1101 | |
| 1102 | try: |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1103 | await waiter |
Victor Stinner | 2596dd0 | 2015-01-26 11:02:18 +0100 | [diff] [blame] | 1104 | except: |
| 1105 | transport.close() |
| 1106 | raise |
| 1107 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1108 | if self._debug: |
| 1109 | logger.debug('Write pipe %r connected: (%r, %r)', |
| 1110 | pipe.fileno(), transport, protocol) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1111 | return transport, protocol |
| 1112 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1113 | def _log_subprocess(self, msg, stdin, stdout, stderr): |
| 1114 | info = [msg] |
| 1115 | if stdin is not None: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1116 | info.append(f'stdin={_format_pipe(stdin)}') |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1117 | if stdout is not None and stderr == subprocess.STDOUT: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1118 | info.append(f'stdout=stderr={_format_pipe(stdout)}') |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1119 | else: |
| 1120 | if stdout is not None: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1121 | info.append(f'stdout={_format_pipe(stdout)}') |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1122 | if stderr is not None: |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1123 | info.append(f'stderr={_format_pipe(stderr)}') |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1124 | logger.debug(' '.join(info)) |
| 1125 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1126 | async def subprocess_shell(self, protocol_factory, cmd, *, |
| 1127 | stdin=subprocess.PIPE, |
| 1128 | stdout=subprocess.PIPE, |
| 1129 | stderr=subprocess.PIPE, |
| 1130 | universal_newlines=False, |
| 1131 | shell=True, bufsize=0, |
| 1132 | **kwargs): |
Victor Stinner | 20e0743 | 2014-02-11 11:44:56 +0100 | [diff] [blame] | 1133 | if not isinstance(cmd, (bytes, str)): |
Victor Stinner | e623a12 | 2014-01-29 14:35:15 -0800 | [diff] [blame] | 1134 | raise ValueError("cmd must be a string") |
| 1135 | if universal_newlines: |
| 1136 | raise ValueError("universal_newlines must be False") |
| 1137 | if not shell: |
Victor Stinner | 323748e | 2014-01-31 12:28:30 +0100 | [diff] [blame] | 1138 | raise ValueError("shell must be True") |
Victor Stinner | e623a12 | 2014-01-29 14:35:15 -0800 | [diff] [blame] | 1139 | if bufsize != 0: |
| 1140 | raise ValueError("bufsize must be 0") |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1141 | protocol = protocol_factory() |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1142 | if self._debug: |
| 1143 | # don't log parameters: they may contain sensitive information |
| 1144 | # (password) and may be too long |
| 1145 | debug_log = 'run shell command %r' % cmd |
| 1146 | self._log_subprocess(debug_log, stdin, stdout, stderr) |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1147 | transport = await self._make_subprocess_transport( |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1148 | protocol, cmd, True, stdin, stdout, stderr, bufsize, **kwargs) |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1149 | if self._debug: |
Vinay Sajip | dd917f8 | 2016-08-31 08:22:29 +0100 | [diff] [blame] | 1150 | logger.info('%s: %r', debug_log, transport) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1151 | return transport, protocol |
| 1152 | |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1153 | async def subprocess_exec(self, protocol_factory, program, *args, |
| 1154 | stdin=subprocess.PIPE, stdout=subprocess.PIPE, |
| 1155 | stderr=subprocess.PIPE, universal_newlines=False, |
| 1156 | shell=False, bufsize=0, **kwargs): |
Victor Stinner | e623a12 | 2014-01-29 14:35:15 -0800 | [diff] [blame] | 1157 | if universal_newlines: |
| 1158 | raise ValueError("universal_newlines must be False") |
| 1159 | if shell: |
| 1160 | raise ValueError("shell must be False") |
| 1161 | if bufsize != 0: |
| 1162 | raise ValueError("bufsize must be 0") |
Victor Stinner | 20e0743 | 2014-02-11 11:44:56 +0100 | [diff] [blame] | 1163 | popen_args = (program,) + args |
| 1164 | for arg in popen_args: |
| 1165 | if not isinstance(arg, (str, bytes)): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1166 | raise TypeError( |
| 1167 | f"program arguments must be a bytes or text string, " |
| 1168 | f"not {type(arg).__name__}") |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1169 | protocol = protocol_factory() |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1170 | if self._debug: |
| 1171 | # don't log parameters: they may contain sensitive information |
| 1172 | # (password) and may be too long |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1173 | debug_log = f'execute program {program!r}' |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1174 | self._log_subprocess(debug_log, stdin, stdout, stderr) |
Andrew Svetlov | 5f841b5 | 2017-12-09 00:23:48 +0200 | [diff] [blame] | 1175 | transport = await self._make_subprocess_transport( |
Yury Selivanov | 5779752 | 2014-02-18 22:56:15 -0500 | [diff] [blame] | 1176 | protocol, popen_args, False, stdin, stdout, stderr, |
| 1177 | bufsize, **kwargs) |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1178 | if self._debug: |
Vinay Sajip | dd917f8 | 2016-08-31 08:22:29 +0100 | [diff] [blame] | 1179 | logger.info('%s: %r', debug_log, transport) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1180 | return transport, protocol |
| 1181 | |
Yury Selivanov | 7ed7ce6 | 2016-05-16 15:20:38 -0400 | [diff] [blame] | 1182 | def get_exception_handler(self): |
| 1183 | """Return an exception handler, or None if the default one is in use. |
| 1184 | """ |
| 1185 | return self._exception_handler |
| 1186 | |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1187 | def set_exception_handler(self, handler): |
| 1188 | """Set handler as the new event loop exception handler. |
| 1189 | |
| 1190 | If handler is None, the default exception handler will |
| 1191 | be set. |
| 1192 | |
| 1193 | If handler is a callable object, it should have a |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1194 | signature matching '(loop, context)', where 'loop' |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1195 | will be a reference to the active event loop, 'context' |
| 1196 | will be a dict object (see `call_exception_handler()` |
| 1197 | documentation for details about context). |
| 1198 | """ |
| 1199 | if handler is not None and not callable(handler): |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1200 | raise TypeError(f'A callable object or None is expected, ' |
| 1201 | f'got {handler!r}') |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1202 | self._exception_handler = handler |
| 1203 | |
| 1204 | def default_exception_handler(self, context): |
| 1205 | """Default exception handler. |
| 1206 | |
| 1207 | This is called when an exception occurs and no exception |
| 1208 | handler is set, and can be called by a custom exception |
| 1209 | handler that wants to defer to the default behavior. |
| 1210 | |
Antoine Pitrou | 921e943 | 2017-11-07 17:23:29 +0100 | [diff] [blame] | 1211 | This default handler logs the error message and other |
| 1212 | context-dependent information. In debug mode, a truncated |
| 1213 | stack trace is also appended showing where the given object |
| 1214 | (e.g. a handle or future or task) was created, if any. |
| 1215 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1216 | The context parameter has the same meaning as in |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1217 | `call_exception_handler()`. |
| 1218 | """ |
| 1219 | message = context.get('message') |
| 1220 | if not message: |
| 1221 | message = 'Unhandled exception in event loop' |
| 1222 | |
| 1223 | exception = context.get('exception') |
| 1224 | if exception is not None: |
| 1225 | exc_info = (type(exception), exception, exception.__traceback__) |
| 1226 | else: |
| 1227 | exc_info = False |
| 1228 | |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1229 | if ('source_traceback' not in context and |
| 1230 | self._current_handle is not None and |
| 1231 | self._current_handle._source_traceback): |
| 1232 | context['handle_traceback'] = \ |
| 1233 | self._current_handle._source_traceback |
Victor Stinner | 9b524d5 | 2015-01-26 11:05:12 +0100 | [diff] [blame] | 1234 | |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1235 | log_lines = [message] |
| 1236 | for key in sorted(context): |
| 1237 | if key in {'message', 'exception'}: |
| 1238 | continue |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 1239 | value = context[key] |
| 1240 | if key == 'source_traceback': |
| 1241 | tb = ''.join(traceback.format_list(value)) |
| 1242 | value = 'Object created at (most recent call last):\n' |
| 1243 | value += tb.rstrip() |
Victor Stinner | 9b524d5 | 2015-01-26 11:05:12 +0100 | [diff] [blame] | 1244 | elif key == 'handle_traceback': |
| 1245 | tb = ''.join(traceback.format_list(value)) |
| 1246 | value = 'Handle created at (most recent call last):\n' |
| 1247 | value += tb.rstrip() |
Victor Stinner | 80f53aa | 2014-06-27 13:52:20 +0200 | [diff] [blame] | 1248 | else: |
| 1249 | value = repr(value) |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1250 | log_lines.append(f'{key}: {value}') |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1251 | |
| 1252 | logger.error('\n'.join(log_lines), exc_info=exc_info) |
| 1253 | |
| 1254 | def call_exception_handler(self, context): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1255 | """Call the current event loop's exception handler. |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1256 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1257 | The context argument is a dict containing the following keys: |
| 1258 | |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1259 | - 'message': Error message; |
| 1260 | - 'exception' (optional): Exception object; |
| 1261 | - 'future' (optional): Future instance; |
| 1262 | - 'handle' (optional): Handle instance; |
| 1263 | - 'protocol' (optional): Protocol instance; |
| 1264 | - 'transport' (optional): Transport instance; |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 1265 | - 'socket' (optional): Socket instance; |
| 1266 | - 'asyncgen' (optional): Asynchronous generator that caused |
| 1267 | the exception. |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1268 | |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1269 | New keys maybe introduced in the future. |
| 1270 | |
| 1271 | Note: do not overload this method in an event loop subclass. |
| 1272 | For custom exception handling, use the |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1273 | `set_exception_handler()` method. |
| 1274 | """ |
| 1275 | if self._exception_handler is None: |
| 1276 | try: |
| 1277 | self.default_exception_handler(context) |
| 1278 | except Exception: |
| 1279 | # Second protection layer for unexpected errors |
| 1280 | # in the default implementation, as well as for subclassed |
| 1281 | # event loops with overloaded "default_exception_handler". |
| 1282 | logger.error('Exception in default exception handler', |
| 1283 | exc_info=True) |
| 1284 | else: |
| 1285 | try: |
| 1286 | self._exception_handler(self, context) |
| 1287 | except Exception as exc: |
| 1288 | # Exception in the user set custom exception handler. |
| 1289 | try: |
| 1290 | # Let's try default handler. |
| 1291 | self.default_exception_handler({ |
| 1292 | 'message': 'Unhandled error in exception handler', |
| 1293 | 'exception': exc, |
| 1294 | 'context': context, |
| 1295 | }) |
| 1296 | except Exception: |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1297 | # Guard 'default_exception_handler' in case it is |
Yury Selivanov | 569efa2 | 2014-02-18 18:02:19 -0500 | [diff] [blame] | 1298 | # overloaded. |
| 1299 | logger.error('Exception in default exception handler ' |
| 1300 | 'while handling an unexpected error ' |
| 1301 | 'in custom exception handler', |
| 1302 | exc_info=True) |
| 1303 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1304 | def _add_callback(self, handle): |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1305 | """Add a Handle to _scheduled (TimerHandle) or _ready.""" |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1306 | assert isinstance(handle, events.Handle), 'A Handle is required here' |
| 1307 | if handle._cancelled: |
| 1308 | return |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1309 | assert not isinstance(handle, events.TimerHandle) |
| 1310 | self._ready.append(handle) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1311 | |
| 1312 | def _add_callback_signalsafe(self, handle): |
| 1313 | """Like _add_callback() but called from a signal handler.""" |
| 1314 | self._add_callback(handle) |
| 1315 | self._write_to_self() |
| 1316 | |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1317 | def _timer_handle_cancelled(self, handle): |
| 1318 | """Notification that a TimerHandle has been cancelled.""" |
| 1319 | if handle._scheduled: |
| 1320 | self._timer_cancelled_count += 1 |
| 1321 | |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1322 | def _run_once(self): |
| 1323 | """Run one full iteration of the event loop. |
| 1324 | |
| 1325 | This calls all currently ready callbacks, polls for I/O, |
| 1326 | schedules the resulting callbacks, and finally schedules |
| 1327 | 'call_later' callbacks. |
| 1328 | """ |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1329 | |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1330 | sched_count = len(self._scheduled) |
| 1331 | if (sched_count > _MIN_SCHEDULED_TIMER_HANDLES and |
| 1332 | self._timer_cancelled_count / sched_count > |
| 1333 | _MIN_CANCELLED_TIMER_HANDLES_FRACTION): |
Victor Stinner | 68da8fc | 2014-09-30 18:08:36 +0200 | [diff] [blame] | 1334 | # Remove delayed calls that were cancelled if their number |
| 1335 | # is too high |
| 1336 | new_scheduled = [] |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1337 | for handle in self._scheduled: |
| 1338 | if handle._cancelled: |
| 1339 | handle._scheduled = False |
Victor Stinner | 68da8fc | 2014-09-30 18:08:36 +0200 | [diff] [blame] | 1340 | else: |
| 1341 | new_scheduled.append(handle) |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1342 | |
Victor Stinner | 68da8fc | 2014-09-30 18:08:36 +0200 | [diff] [blame] | 1343 | heapq.heapify(new_scheduled) |
| 1344 | self._scheduled = new_scheduled |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1345 | self._timer_cancelled_count = 0 |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1346 | else: |
| 1347 | # Remove delayed calls that were cancelled from head of queue. |
| 1348 | while self._scheduled and self._scheduled[0]._cancelled: |
| 1349 | self._timer_cancelled_count -= 1 |
| 1350 | handle = heapq.heappop(self._scheduled) |
| 1351 | handle._scheduled = False |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1352 | |
| 1353 | timeout = None |
Guido van Rossum | 41f69f4 | 2015-11-19 13:28:47 -0800 | [diff] [blame] | 1354 | if self._ready or self._stopping: |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1355 | timeout = 0 |
| 1356 | elif self._scheduled: |
| 1357 | # Compute the desired timeout. |
| 1358 | when = self._scheduled[0]._when |
Guido van Rossum | 3d1bc60 | 2014-05-10 15:47:15 -0700 | [diff] [blame] | 1359 | timeout = max(0, when - self.time()) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1360 | |
Victor Stinner | 770e48d | 2014-07-11 11:58:33 +0200 | [diff] [blame] | 1361 | if self._debug and timeout != 0: |
Victor Stinner | 22463aa | 2014-01-20 23:56:40 +0100 | [diff] [blame] | 1362 | t0 = self.time() |
| 1363 | event_list = self._selector.select(timeout) |
Victor Stinner | 0e6f52a | 2014-06-20 17:34:15 +0200 | [diff] [blame] | 1364 | dt = self.time() - t0 |
Victor Stinner | 770e48d | 2014-07-11 11:58:33 +0200 | [diff] [blame] | 1365 | if dt >= 1.0: |
Victor Stinner | 22463aa | 2014-01-20 23:56:40 +0100 | [diff] [blame] | 1366 | level = logging.INFO |
| 1367 | else: |
| 1368 | level = logging.DEBUG |
Victor Stinner | 770e48d | 2014-07-11 11:58:33 +0200 | [diff] [blame] | 1369 | nevent = len(event_list) |
| 1370 | if timeout is None: |
| 1371 | logger.log(level, 'poll took %.3f ms: %s events', |
| 1372 | dt * 1e3, nevent) |
| 1373 | elif nevent: |
| 1374 | logger.log(level, |
| 1375 | 'poll %.3f ms took %.3f ms: %s events', |
| 1376 | timeout * 1e3, dt * 1e3, nevent) |
| 1377 | elif dt >= 1.0: |
| 1378 | logger.log(level, |
| 1379 | 'poll %.3f ms took %.3f ms: timeout', |
| 1380 | timeout * 1e3, dt * 1e3) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1381 | else: |
Victor Stinner | 22463aa | 2014-01-20 23:56:40 +0100 | [diff] [blame] | 1382 | event_list = self._selector.select(timeout) |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1383 | self._process_events(event_list) |
| 1384 | |
| 1385 | # Handle 'later' callbacks that are ready. |
Victor Stinner | ed1654f | 2014-02-10 23:42:32 +0100 | [diff] [blame] | 1386 | end_time = self.time() + self._clock_resolution |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1387 | while self._scheduled: |
| 1388 | handle = self._scheduled[0] |
Victor Stinner | ed1654f | 2014-02-10 23:42:32 +0100 | [diff] [blame] | 1389 | if handle._when >= end_time: |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1390 | break |
| 1391 | handle = heapq.heappop(self._scheduled) |
Yury Selivanov | 592ada9 | 2014-09-25 12:07:56 -0400 | [diff] [blame] | 1392 | handle._scheduled = False |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1393 | self._ready.append(handle) |
| 1394 | |
| 1395 | # This is the only place where callbacks are actually *called*. |
| 1396 | # All other places just add them to ready. |
| 1397 | # Note: We run all currently scheduled callbacks, but not any |
| 1398 | # callbacks scheduled by callbacks run this time around -- |
| 1399 | # they will be run the next time (after another I/O poll). |
Victor Stinner | acdb782 | 2014-07-14 18:33:40 +0200 | [diff] [blame] | 1400 | # Use an idiom that is thread-safe without using locks. |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1401 | ntodo = len(self._ready) |
| 1402 | for i in range(ntodo): |
| 1403 | handle = self._ready.popleft() |
Victor Stinner | 0e6f52a | 2014-06-20 17:34:15 +0200 | [diff] [blame] | 1404 | if handle._cancelled: |
| 1405 | continue |
| 1406 | if self._debug: |
Victor Stinner | 9b524d5 | 2015-01-26 11:05:12 +0100 | [diff] [blame] | 1407 | try: |
| 1408 | self._current_handle = handle |
| 1409 | t0 = self.time() |
| 1410 | handle._run() |
| 1411 | dt = self.time() - t0 |
| 1412 | if dt >= self.slow_callback_duration: |
| 1413 | logger.warning('Executing %s took %.3f seconds', |
| 1414 | _format_handle(handle), dt) |
| 1415 | finally: |
| 1416 | self._current_handle = None |
Victor Stinner | 0e6f52a | 2014-06-20 17:34:15 +0200 | [diff] [blame] | 1417 | else: |
Guido van Rossum | 27b7c7e | 2013-10-17 13:40:50 -0700 | [diff] [blame] | 1418 | handle._run() |
| 1419 | handle = None # Needed to break cycles when an exception occurs. |
Victor Stinner | 0f3e6bc | 2014-02-19 23:15:02 +0100 | [diff] [blame] | 1420 | |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 1421 | def _set_coroutine_wrapper(self, enabled): |
| 1422 | try: |
| 1423 | set_wrapper = sys.set_coroutine_wrapper |
| 1424 | get_wrapper = sys.get_coroutine_wrapper |
| 1425 | except AttributeError: |
| 1426 | return |
| 1427 | |
| 1428 | enabled = bool(enabled) |
Yury Selivanov | 996083d | 2015-08-04 15:37:24 -0400 | [diff] [blame] | 1429 | if self._coroutine_wrapper_set == enabled: |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 1430 | return |
| 1431 | |
| 1432 | wrapper = coroutines.debug_wrapper |
| 1433 | current_wrapper = get_wrapper() |
| 1434 | |
| 1435 | if enabled: |
| 1436 | if current_wrapper not in (None, wrapper): |
| 1437 | warnings.warn( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1438 | f"loop.set_debug(True): cannot set debug coroutine " |
| 1439 | f"wrapper; another wrapper is already set " |
| 1440 | f"{current_wrapper!r}", |
| 1441 | RuntimeWarning) |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 1442 | else: |
| 1443 | set_wrapper(wrapper) |
| 1444 | self._coroutine_wrapper_set = True |
| 1445 | else: |
| 1446 | if current_wrapper not in (None, wrapper): |
| 1447 | warnings.warn( |
Yury Selivanov | 6370f34 | 2017-12-10 18:36:12 -0500 | [diff] [blame] | 1448 | f"loop.set_debug(False): cannot unset debug coroutine " |
| 1449 | f"wrapper; another wrapper was set {current_wrapper!r}", |
| 1450 | RuntimeWarning) |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 1451 | else: |
| 1452 | set_wrapper(None) |
| 1453 | self._coroutine_wrapper_set = False |
| 1454 | |
Victor Stinner | 0f3e6bc | 2014-02-19 23:15:02 +0100 | [diff] [blame] | 1455 | def get_debug(self): |
| 1456 | return self._debug |
| 1457 | |
| 1458 | def set_debug(self, enabled): |
| 1459 | self._debug = enabled |
Yury Selivanov | 1af2bf7 | 2015-05-11 22:27:25 -0400 | [diff] [blame] | 1460 | |
Yury Selivanov | e8944cb | 2015-05-12 11:43:04 -0400 | [diff] [blame] | 1461 | if self.is_running(): |
| 1462 | self._set_coroutine_wrapper(enabled) |