843 lines
30 KiB
Python
843 lines
30 KiB
Python
#!/usr/bin/env python
|
|
# License: GPLv3 Copyright: 2022, Kovid Goyal <kovid at kovidgoyal.net>
|
|
|
|
import errno
|
|
import io
|
|
import json
|
|
import os
|
|
import select
|
|
import signal
|
|
import socket
|
|
import sys
|
|
import time
|
|
import warnings
|
|
from contextlib import suppress
|
|
from dataclasses import dataclass
|
|
from importlib import import_module
|
|
from itertools import count
|
|
from typing import (
|
|
IO, TYPE_CHECKING, Any, Callable, Dict, Iterator, List, NoReturn, Optional,
|
|
Tuple, Union, cast
|
|
)
|
|
|
|
from kitty.constants import kitty_exe, running_in_kitty
|
|
from kitty.entry_points import main as main_entry_point
|
|
from kitty.fast_data_types import (
|
|
CLD_EXITED, CLD_KILLED, establish_controlling_tty, get_options, getpeereid,
|
|
install_signal_handlers, read_signals, remove_signal_handlers, safe_pipe,
|
|
set_options
|
|
)
|
|
from kitty.options.types import Options
|
|
from kitty.shm import SharedMemory
|
|
from kitty.types import SignalInfo
|
|
from kitty.utils import log_error, random_unix_socket, safer_fork
|
|
|
|
if TYPE_CHECKING:
|
|
from _typeshed import ReadableBuffer, WriteableBuffer
|
|
|
|
|
|
error_events = select.POLLERR | select.POLLNVAL | select.POLLHUP
|
|
TIMEOUT = 15.0 if os.environ.get('CI') == 'true' else 5.0
|
|
|
|
|
|
def restore_python_signal_handlers() -> None:
|
|
remove_signal_handlers()
|
|
signal.signal(signal.SIGINT, signal.default_int_handler)
|
|
signal.signal(signal.SIGPIPE, signal.SIG_IGN)
|
|
signal.signal(signal.SIGUSR1, signal.SIG_DFL)
|
|
signal.signal(signal.SIGCHLD, signal.SIG_DFL)
|
|
|
|
|
|
def print_error(*a: Any) -> None:
|
|
log_error('Prewarm zygote:', *a)
|
|
|
|
|
|
class PrewarmProcessFailed(Exception):
|
|
pass
|
|
|
|
|
|
@dataclass
|
|
class Child:
|
|
child_id: int
|
|
child_process_pid: int
|
|
|
|
|
|
def wait_for_child_death(child_pid: int, timeout: float = 1) -> Optional[int]:
|
|
st = time.monotonic()
|
|
while time.monotonic() - st < timeout:
|
|
try:
|
|
pid, status = os.waitpid(child_pid, os.WNOHANG)
|
|
except ChildProcessError:
|
|
return 0
|
|
else:
|
|
if pid == child_pid:
|
|
return status
|
|
time.sleep(0.01)
|
|
return None
|
|
|
|
|
|
class PrewarmProcess:
|
|
|
|
def __init__(
|
|
self,
|
|
prewarm_process_pid: int,
|
|
to_prewarm_stdin: int,
|
|
from_prewarm_stdout: int,
|
|
from_prewarm_death_notify: int,
|
|
unix_socket_name: str,
|
|
) -> None:
|
|
self.children: Dict[int, Child] = {}
|
|
self.worker_pid = prewarm_process_pid
|
|
self.from_prewarm_death_notify = from_prewarm_death_notify
|
|
self.write_to_process_fd = to_prewarm_stdin
|
|
self.read_from_process_fd = from_prewarm_stdout
|
|
self.poll = select.poll()
|
|
self.poll.register(self.read_from_process_fd, select.POLLIN)
|
|
self.unix_socket_name = unix_socket_name
|
|
|
|
def socket_env_var(self) -> str:
|
|
return f'{os.geteuid()}:{os.getegid()}:{self.unix_socket_name}'
|
|
|
|
def take_from_worker_fd(self, create_file: bool = False) -> int:
|
|
if create_file:
|
|
os.set_blocking(self.from_prewarm_death_notify, True)
|
|
self.from_worker = open(self.from_prewarm_death_notify, mode='r', closefd=True)
|
|
self.from_prewarm_death_notify = -1
|
|
return -1
|
|
ans, self.from_prewarm_death_notify = self.from_prewarm_death_notify, -1
|
|
return ans
|
|
|
|
def __del__(self) -> None:
|
|
if self.write_to_process_fd > -1:
|
|
os.close(self.write_to_process_fd)
|
|
self.write_to_process_fd = -1
|
|
if self.from_prewarm_death_notify > -1:
|
|
os.close(self.from_prewarm_death_notify)
|
|
self.from_prewarm_death_notify = -1
|
|
if self.read_from_process_fd > -1:
|
|
os.close(self.read_from_process_fd)
|
|
self.read_from_process_fd = -1
|
|
|
|
if hasattr(self, 'from_worker'):
|
|
self.from_worker.close()
|
|
del self.from_worker
|
|
if self.worker_pid > 0:
|
|
if wait_for_child_death(self.worker_pid) is None:
|
|
log_error('Prewarm process failed to quit gracefully, killing it')
|
|
os.kill(self.worker_pid, signal.SIGKILL)
|
|
os.waitpid(self.worker_pid, 0)
|
|
|
|
def poll_to_send(self, yes: bool = True) -> None:
|
|
if yes:
|
|
self.poll.register(self.write_to_process_fd, select.POLLOUT)
|
|
else:
|
|
self.poll.unregister(self.write_to_process_fd)
|
|
|
|
def reload_kitty_config(self, opts: Optional[Options] = None) -> None:
|
|
if opts is None:
|
|
opts = get_options()
|
|
data = json.dumps({'paths': opts.config_paths, 'overrides': opts.config_overrides})
|
|
if self.write_to_process_fd > -1:
|
|
self.send_to_prewarm_process(f'reload_kitty_config:{data}\n')
|
|
|
|
def __call__(
|
|
self,
|
|
tty_fd: int,
|
|
argv: List[str],
|
|
cwd: str = '',
|
|
env: Optional[Dict[str, str]] = None,
|
|
stdin_data: Optional[Union[str, bytes]] = None,
|
|
timeout: float = TIMEOUT,
|
|
) -> Child:
|
|
tty_name = os.ttyname(tty_fd)
|
|
if isinstance(stdin_data, str):
|
|
stdin_data = stdin_data.encode()
|
|
if env is None:
|
|
env = dict(os.environ)
|
|
cmd: Dict[str, Union[int, List[str], str, Dict[str, str]]] = {
|
|
'tty_name': tty_name, 'cwd': cwd or os.getcwd(), 'argv': argv, 'env': env,
|
|
}
|
|
total_size = 0
|
|
if stdin_data is not None:
|
|
cmd['stdin_size'] = len(stdin_data)
|
|
total_size += len(stdin_data)
|
|
data = json.dumps(cmd).encode()
|
|
total_size += len(data) + SharedMemory.num_bytes_for_size
|
|
with SharedMemory(size=total_size, unlink_on_exit=True) as shm:
|
|
shm.write_data_with_size(data)
|
|
if stdin_data:
|
|
shm.write(stdin_data)
|
|
shm.flush()
|
|
self.send_to_prewarm_process(f'fork:{shm.name}\n')
|
|
input_buf = b''
|
|
st = time.monotonic()
|
|
while time.monotonic() - st < timeout:
|
|
for (fd, event) in self.poll.poll(2):
|
|
if event & error_events:
|
|
raise PrewarmProcessFailed('Failed doing I/O with prewarm process')
|
|
if fd == self.read_from_process_fd and event & select.POLLIN:
|
|
d = os.read(self.read_from_process_fd, io.DEFAULT_BUFFER_SIZE)
|
|
input_buf += d
|
|
while (idx := input_buf.find(b'\n')) > -1:
|
|
line = input_buf[:idx].decode()
|
|
input_buf = input_buf[idx+1:]
|
|
if line.startswith('CHILD:'):
|
|
_, cid, pid = line.split(':')
|
|
child = self.add_child(int(cid), int(pid))
|
|
shm.unlink_on_exit = False
|
|
return child
|
|
if line.startswith('ERR:'):
|
|
raise PrewarmProcessFailed(line.split(':', 1)[-1])
|
|
raise PrewarmProcessFailed('Timed out waiting for I/O with prewarm process')
|
|
|
|
def add_child(self, child_id: int, pid: int) -> Child:
|
|
self.children[child_id] = c = Child(child_id, pid)
|
|
return c
|
|
|
|
def send_to_prewarm_process(self, output_buf: Union[str, bytes] = b'', timeout: float = TIMEOUT) -> None:
|
|
if isinstance(output_buf, str):
|
|
output_buf = output_buf.encode()
|
|
st = time.monotonic()
|
|
while time.monotonic() - st < timeout and output_buf:
|
|
self.poll_to_send(bool(output_buf))
|
|
for (fd, event) in self.poll.poll(2):
|
|
if event & error_events:
|
|
raise PrewarmProcessFailed('Failed doing I/O with prewarm process: {event}')
|
|
if fd == self.write_to_process_fd and event & select.POLLOUT:
|
|
n = os.write(self.write_to_process_fd, output_buf)
|
|
output_buf = output_buf[n:]
|
|
self.poll_to_send(False)
|
|
if output_buf:
|
|
raise PrewarmProcessFailed('Timed out waiting to write to prewarm process')
|
|
|
|
def mark_child_as_ready(self, child_id: int) -> bool:
|
|
c = self.children.pop(child_id, None)
|
|
if c is None:
|
|
return False
|
|
self.send_to_prewarm_process(f'ready:{child_id}\n')
|
|
return True
|
|
|
|
|
|
def reload_kitty_config(payload: str) -> None:
|
|
d = json.loads(payload)
|
|
from kittens.tui.utils import set_kitty_opts
|
|
set_kitty_opts(paths=d['paths'], overrides=d['overrides'])
|
|
|
|
|
|
def prewarm() -> None:
|
|
from kittens.runner import all_kitten_names
|
|
for kitten in all_kitten_names():
|
|
with suppress(Exception):
|
|
import_module(f'kittens.{kitten}.main')
|
|
import_module('kitty.complete')
|
|
|
|
|
|
class MemoryViewReadWrapperBytes(io.BufferedIOBase):
|
|
|
|
def __init__(self, mw: memoryview):
|
|
self.mw = mw
|
|
self.pos = 0
|
|
|
|
def detach(self) -> io.RawIOBase:
|
|
raise io.UnsupportedOperation('detach() not supported')
|
|
|
|
def read(self, size: Optional[int] = -1) -> bytes:
|
|
if size is None or size < 0:
|
|
size = max(0, len(self.mw) - self.pos)
|
|
oldpos = self.pos
|
|
self.pos = min(len(self.mw), self.pos + size)
|
|
if self.pos <= oldpos:
|
|
return b''
|
|
return bytes(self.mw[oldpos:self.pos])
|
|
|
|
def readinto(self, b: 'WriteableBuffer') -> int:
|
|
if not isinstance(b, memoryview):
|
|
b = memoryview(b)
|
|
b = b.cast('B')
|
|
data = self.read(len(b))
|
|
n = len(data)
|
|
b[:n] = data
|
|
return n
|
|
readinto1 = readinto
|
|
|
|
def readall(self) -> bytes:
|
|
return self.read()
|
|
|
|
def write(self, b: 'ReadableBuffer') -> int:
|
|
raise io.UnsupportedOperation('readonly stream')
|
|
|
|
def readable(self) -> bool:
|
|
return True
|
|
|
|
|
|
class MemoryViewReadWrapper(io.TextIOWrapper):
|
|
|
|
def __init__(self, mw: memoryview):
|
|
super().__init__(cast(IO[bytes], MemoryViewReadWrapperBytes(mw)), encoding='utf-8', errors='replace')
|
|
|
|
|
|
parent_tty_name = ''
|
|
is_zygote = True
|
|
|
|
|
|
def debug(*a: Any) -> None:
|
|
if parent_tty_name:
|
|
with open(parent_tty_name, 'w') as f:
|
|
print(*a, file=f)
|
|
|
|
|
|
def child_main(cmd: Dict[str, Any], ready_fd: int = -1) -> NoReturn:
|
|
cwd = cmd.get('cwd')
|
|
if cwd:
|
|
with suppress(OSError):
|
|
os.chdir(cwd)
|
|
env = cmd.get('env')
|
|
if env is not None:
|
|
os.environ.clear()
|
|
os.environ.update(env)
|
|
argv = cmd.get('argv')
|
|
if argv:
|
|
sys.argv = list(argv)
|
|
if ready_fd > -1:
|
|
poll = select.poll()
|
|
poll.register(ready_fd, select.POLLIN)
|
|
tuple(poll.poll())
|
|
os.close(ready_fd)
|
|
main_entry_point()
|
|
raise SystemExit(0)
|
|
|
|
|
|
def fork(shm_address: str, free_non_child_resources: Callable[[], None]) -> Tuple[int, int]:
|
|
global is_zygote
|
|
sz = pos = 0
|
|
with SharedMemory(name=shm_address, unlink_on_exit=True) as shm:
|
|
data = shm.read_data_with_size()
|
|
cmd = json.loads(data)
|
|
sz = cmd.get('stdin_size', 0)
|
|
if sz:
|
|
pos = shm.tell()
|
|
shm.unlink_on_exit = False
|
|
|
|
r, w = safe_pipe()
|
|
ready_fd_read, ready_fd_write = safe_pipe()
|
|
try:
|
|
child_pid = safer_fork()
|
|
except OSError:
|
|
os.close(r)
|
|
os.close(w)
|
|
os.close(ready_fd_read)
|
|
os.close(ready_fd_write)
|
|
if sz:
|
|
with SharedMemory(shm_address, unlink_on_exit=True):
|
|
pass
|
|
raise
|
|
if child_pid:
|
|
# master process
|
|
os.close(w)
|
|
os.close(ready_fd_read)
|
|
poll = select.poll()
|
|
poll.register(r, select.POLLIN)
|
|
tuple(poll.poll())
|
|
os.close(r)
|
|
return child_pid, ready_fd_write
|
|
# child process
|
|
is_zygote = False
|
|
restore_python_signal_handlers()
|
|
os.close(r)
|
|
os.close(ready_fd_write)
|
|
free_non_child_resources()
|
|
os.setsid()
|
|
tty_name = cmd.get('tty_name')
|
|
if tty_name:
|
|
sys.__stdout__.flush()
|
|
sys.__stderr__.flush()
|
|
establish_controlling_tty(os.open(tty_name, os.O_RDWR | os.O_CLOEXEC, 0), sys.__stdin__.fileno(), sys.__stdout__.fileno(), sys.__stderr__.fileno())
|
|
os.close(w)
|
|
if shm.unlink_on_exit:
|
|
child_main(cmd, ready_fd_read)
|
|
else:
|
|
with SharedMemory(shm_address, unlink_on_exit=True) as shm:
|
|
stdin_data = memoryview(shm.mmap)[pos:pos + sz]
|
|
if stdin_data:
|
|
sys.stdin = MemoryViewReadWrapper(stdin_data)
|
|
try:
|
|
child_main(cmd, ready_fd_read)
|
|
finally:
|
|
stdin_data.release()
|
|
sys.stdin = sys.__stdin__
|
|
|
|
|
|
class SocketClosed(Exception):
|
|
pass
|
|
|
|
|
|
def verify_socket_creds(conn: socket.socket) -> bool:
|
|
# needed as abstract unix sockets used on Linux have no permissions and
|
|
# older BSDs ignore socket file permissions
|
|
uid, gid = getpeereid(conn.fileno())
|
|
return uid == os.geteuid() and gid == os.getegid()
|
|
|
|
|
|
class SocketChild:
|
|
|
|
def __init__(self, conn: socket.socket, addr: bytes, poll: select.poll):
|
|
self.registered = True
|
|
self.poll = poll
|
|
self.addr = addr
|
|
self.conn = conn
|
|
self.poll.register(self.conn.fileno(), select.POLLIN)
|
|
self.input_buf = self.output_buf = b''
|
|
self.fds: List[int] = []
|
|
self.child_id = -1
|
|
self.cwd = ''
|
|
self.env: Dict[str, str] = {}
|
|
self.argv: List[str] = []
|
|
self.stdin = self.stdout = self.stderr = self.tty_fd = -1
|
|
self.pid = -1
|
|
self.closed = False
|
|
|
|
def unregister_from_poll(self) -> None:
|
|
if self.registered:
|
|
fd = self.conn.fileno()
|
|
if fd > -1:
|
|
self.poll.unregister(self.conn.fileno())
|
|
self.registered = False
|
|
|
|
def read(self) -> bool:
|
|
import array
|
|
fds = array.array("i") # Array of ints
|
|
try:
|
|
msg, ancdata, flags, addr = self.conn.recvmsg(io.DEFAULT_BUFFER_SIZE, 1024)
|
|
except OSError as e:
|
|
if e.errno == errno.ENOMEM:
|
|
# macOS does this when no ancilliary data is present
|
|
msg, ancdata, flags, addr = self.conn.recvmsg(io.DEFAULT_BUFFER_SIZE)
|
|
else:
|
|
raise
|
|
|
|
for cmsg_level, cmsg_type, cmsg_data in ancdata:
|
|
if cmsg_level == socket.SOL_SOCKET and cmsg_type == socket.SCM_RIGHTS:
|
|
# Append data, ignoring any truncated integers at the end.
|
|
fds.frombytes(cmsg_data[:len(cmsg_data) - (len(cmsg_data) % fds.itemsize)])
|
|
self.fds += list(fds)
|
|
if not msg:
|
|
raise SocketClosed('socket unexpectedly closed')
|
|
self.input_buf += msg
|
|
while (idx := self.input_buf.find(b'\0')) > -1:
|
|
line = self.input_buf[:idx].decode('utf-8')
|
|
self.input_buf = self.input_buf[idx+1:]
|
|
cmd, _, payload = line.partition(':')
|
|
if cmd == 'finish':
|
|
for x in self.fds:
|
|
os.set_inheritable(x, x is not self.fds[0])
|
|
os.set_blocking(x, True)
|
|
self.tty_fd = self.fds[0]
|
|
if self.stdin > -1:
|
|
self.stdin = self.fds[self.stdin]
|
|
if self.stdout > -1:
|
|
self.stdout = self.fds[self.stdout]
|
|
if self.stderr > -1:
|
|
self.stderr = self.fds[self.stderr]
|
|
del self.fds[:]
|
|
return True
|
|
elif cmd == 'cwd':
|
|
self.cwd = payload
|
|
elif cmd == 'env':
|
|
k, _, v = payload.partition('=')
|
|
self.env[k] = v
|
|
elif cmd == 'argv':
|
|
self.argv.append(payload)
|
|
elif cmd == 'stdin':
|
|
self.stdin = int(payload)
|
|
elif cmd == 'stdout':
|
|
self.stdout = int(payload)
|
|
elif cmd == 'stderr':
|
|
self.stderr = int(payload)
|
|
|
|
return False
|
|
|
|
def fork(self, free_non_child_resources: Callable[[], None]) -> None:
|
|
global is_zygote
|
|
r, w = safe_pipe()
|
|
self.pid = safer_fork()
|
|
if self.pid > 0:
|
|
# master process
|
|
os.close(w)
|
|
if self.stdin > -1:
|
|
os.close(self.stdin)
|
|
self.stdin = -1
|
|
if self.stdout > -1:
|
|
os.close(self.stdout)
|
|
self.stdout = -1
|
|
if self.stderr > -1:
|
|
os.close(self.stderr)
|
|
self.stderr = -1
|
|
poll = select.poll()
|
|
poll.register(r, select.POLLIN)
|
|
tuple(poll.poll())
|
|
os.close(r)
|
|
self.handle_creation()
|
|
return
|
|
# child process
|
|
is_zygote = False
|
|
os.close(r)
|
|
os.setsid()
|
|
restore_python_signal_handlers()
|
|
if self.tty_fd > -1:
|
|
sys.__stdout__.flush()
|
|
sys.__stderr__.flush()
|
|
establish_controlling_tty(
|
|
self.tty_fd,
|
|
sys.__stdin__.fileno() if self.stdin < 0 else -1,
|
|
sys.__stdout__.fileno() if self.stdout < 0 else -1,
|
|
sys.__stderr__.fileno() if self.stderr < 0 else -1)
|
|
self.tty_fd = -1
|
|
# the std streams fds are closed in free_non_child_resources(), see
|
|
# SocketChild.close()
|
|
if self.stdin > -1:
|
|
os.dup2(self.stdin, sys.__stdin__.fileno())
|
|
if self.stdout > -1:
|
|
os.dup2(self.stdout, sys.__stdout__.fileno())
|
|
if self.stderr > -1:
|
|
os.dup2(self.stderr, sys.__stderr__.fileno())
|
|
os.close(w)
|
|
free_non_child_resources()
|
|
child_main({'cwd': self.cwd, 'env': self.env, 'argv': self.argv})
|
|
raise SystemExit(0)
|
|
|
|
def handle_death(self, status: int) -> None:
|
|
if hasattr(os, 'waitstatus_to_exitcode'):
|
|
status = os.waitstatus_to_exitcode(status)
|
|
# negative numbers are signals usually and shells report these as
|
|
# 128 + signal number, so do the same. There is no API to exit a
|
|
# process with full 32bit status information.
|
|
if -128 < status < 0:
|
|
status = 128 - status
|
|
try:
|
|
self.conn.sendall(f'{status}'.encode('ascii'))
|
|
except OSError as e:
|
|
print_error(f'Failed to send exit status of socket child with error: {e}')
|
|
self.conn.shutdown(socket.SHUT_RDWR)
|
|
self.conn.close()
|
|
|
|
def handle_creation(self) -> bool:
|
|
try:
|
|
self.conn.sendall(f'{self.pid}:'.encode('ascii'))
|
|
except OSError as e:
|
|
print_error(f'Failed to send pid of socket child with error: {e}')
|
|
return False
|
|
return True
|
|
|
|
def close(self) -> None:
|
|
if self.closed:
|
|
return
|
|
self.unregister_from_poll()
|
|
self.closed = True
|
|
self.conn.close()
|
|
for x in self.fds:
|
|
os.close(x)
|
|
del self.fds[:]
|
|
if self.tty_fd > -1:
|
|
os.close(self.tty_fd)
|
|
self.tty_fd = -1
|
|
if self.stdin > -1:
|
|
os.close(self.stdin)
|
|
self.stdin = -1
|
|
if self.stdout > -1:
|
|
os.close(self.stdout)
|
|
self.stdout = -1
|
|
if self.stderr > -1:
|
|
os.close(self.stderr)
|
|
self.stderr = -1
|
|
__del__ = close
|
|
|
|
|
|
def main(stdin_fd: int, stdout_fd: int, notify_child_death_fd: int, unix_socket: socket.socket) -> None:
|
|
global parent_tty_name
|
|
with suppress(OSError):
|
|
parent_tty_name = os.ttyname(sys.stdout.fileno())
|
|
os.set_blocking(notify_child_death_fd, False)
|
|
os.set_blocking(stdin_fd, False)
|
|
os.set_blocking(stdout_fd, False)
|
|
signal_read_fd = install_signal_handlers(signal.SIGCHLD, signal.SIGUSR1)[0]
|
|
os.set_blocking(unix_socket.fileno(), False)
|
|
unix_socket.listen(5)
|
|
poll = select.poll()
|
|
poll.register(stdin_fd, select.POLLIN)
|
|
poll.register(signal_read_fd, select.POLLIN)
|
|
poll.register(unix_socket.fileno(), select.POLLIN)
|
|
input_buf = output_buf = child_death_buf = b''
|
|
child_ready_fds: Dict[int, int] = {}
|
|
child_pid_map: Dict[int, int] = {}
|
|
socket_pid_map: Dict[int, SocketChild] = {}
|
|
socket_children: Dict[int, SocketChild] = {}
|
|
child_id_counter = count()
|
|
# runpy issues a warning when running modules that have already been
|
|
# imported. Ignore it.
|
|
warnings.filterwarnings('ignore', category=RuntimeWarning, module='runpy')
|
|
prewarm()
|
|
|
|
def remove_socket_child(sc: SocketChild) -> None:
|
|
socket_children.pop(sc.conn.fileno(), None)
|
|
socket_pid_map.pop(sc.pid, None)
|
|
sc.close()
|
|
|
|
def get_all_non_child_fds() -> Iterator[int]:
|
|
yield notify_child_death_fd
|
|
yield stdin_fd
|
|
yield stdout_fd
|
|
# the signal fds are closed by remove_signal_handlers()
|
|
yield from child_ready_fds.values()
|
|
|
|
def free_non_child_resources() -> None:
|
|
for fd in get_all_non_child_fds():
|
|
if fd > -1:
|
|
os.close(fd)
|
|
unix_socket.close()
|
|
for sc in tuple(socket_children.values()):
|
|
remove_socket_child(sc)
|
|
|
|
def check_event(event: int, err_msg: str) -> None:
|
|
if event & select.POLLHUP:
|
|
raise SystemExit(0)
|
|
if event & error_events:
|
|
print_error(err_msg)
|
|
raise SystemExit(1)
|
|
|
|
def handle_input(event: int) -> None:
|
|
nonlocal input_buf, output_buf
|
|
check_event(event, 'Polling of input pipe failed')
|
|
if not (event & select.POLLIN):
|
|
return
|
|
d = os.read(stdin_fd, io.DEFAULT_BUFFER_SIZE)
|
|
if not d:
|
|
raise SystemExit(0)
|
|
input_buf += d
|
|
while (idx := input_buf.find(b'\n')) > -1:
|
|
line = input_buf[:idx].decode()
|
|
input_buf = input_buf[idx+1:]
|
|
cmd, _, payload = line.partition(':')
|
|
if cmd == 'reload_kitty_config':
|
|
reload_kitty_config(payload)
|
|
elif cmd == 'ready':
|
|
child_id = int(payload)
|
|
cfd = child_ready_fds.pop(child_id, None)
|
|
if cfd is not None:
|
|
os.close(cfd)
|
|
elif cmd == 'quit':
|
|
raise SystemExit(0)
|
|
elif cmd == 'fork':
|
|
try:
|
|
child_pid, ready_fd_write = fork(payload, free_non_child_resources)
|
|
except Exception as e:
|
|
es = str(e).replace('\n', ' ')
|
|
output_buf += f'ERR:{es}\n'.encode()
|
|
else:
|
|
if is_zygote:
|
|
child_id = next(child_id_counter)
|
|
child_pid_map[child_pid] = child_id
|
|
child_ready_fds[child_id] = ready_fd_write
|
|
output_buf += f'CHILD:{child_id}:{child_pid}\n'.encode()
|
|
elif cmd == 'echo':
|
|
output_buf += f'{payload}\n'.encode()
|
|
|
|
def handle_output(event: int) -> None:
|
|
nonlocal output_buf
|
|
check_event(event, 'Polling of output pipe failed')
|
|
if not (event & select.POLLOUT):
|
|
return
|
|
if output_buf:
|
|
n = os.write(stdout_fd, output_buf)
|
|
if not n:
|
|
raise SystemExit(0)
|
|
output_buf = output_buf[n:]
|
|
if not output_buf:
|
|
poll.unregister(stdout_fd)
|
|
|
|
def handle_notify_child_death(event: int) -> None:
|
|
nonlocal child_death_buf
|
|
check_event(event, 'Polling of notify child death pipe failed')
|
|
if not (event & select.POLLOUT):
|
|
return
|
|
if child_death_buf:
|
|
n = os.write(notify_child_death_fd, child_death_buf)
|
|
if not n:
|
|
raise SystemExit(0)
|
|
child_death_buf = child_death_buf[n:]
|
|
if not child_death_buf:
|
|
poll.unregister(notify_child_death_fd)
|
|
|
|
def handle_child_death(dead_child_id: int, dead_child_pid: int) -> None:
|
|
nonlocal child_death_buf
|
|
xfd = child_ready_fds.pop(dead_child_id, None)
|
|
if xfd is not None:
|
|
os.close(xfd)
|
|
child_death_buf += f'{dead_child_pid}\n'.encode()
|
|
|
|
def handle_signals(event: int) -> None:
|
|
check_event(event, 'Polling of signal pipe failed')
|
|
if not event & select.POLLIN:
|
|
return
|
|
|
|
def handle_signal(siginfo: SignalInfo) -> None:
|
|
if siginfo.si_signo != signal.SIGCHLD or siginfo.si_code not in (CLD_KILLED, CLD_EXITED):
|
|
return
|
|
while True:
|
|
try:
|
|
pid, status = os.waitpid(-1, os.WNOHANG)
|
|
except ChildProcessError:
|
|
pid = 0
|
|
if not pid:
|
|
break
|
|
child_id = child_pid_map.pop(pid, None)
|
|
if child_id is None:
|
|
sc = socket_pid_map.get(pid)
|
|
if sc is not None:
|
|
try:
|
|
sc.handle_death(status)
|
|
finally:
|
|
remove_socket_child(sc)
|
|
else:
|
|
handle_child_death(child_id, pid)
|
|
|
|
read_signals(signal_read_fd, handle_signal)
|
|
|
|
def handle_socket_client(event: int) -> None:
|
|
check_event(event, 'UNIX socket fd listener failed')
|
|
conn, addr = unix_socket.accept()
|
|
if not verify_socket_creds(conn):
|
|
print_error('Connection attempted with invalid credentials ignoring')
|
|
conn.close()
|
|
return
|
|
sc = SocketChild(conn, addr, poll)
|
|
socket_children[sc.conn.fileno()] = sc
|
|
|
|
def handle_socket_launch(fd: int, event: int) -> None:
|
|
scq = socket_children.get(q)
|
|
if scq is None:
|
|
return
|
|
if event & select.POLLIN:
|
|
try:
|
|
if scq.read():
|
|
scq.unregister_from_poll()
|
|
scq.fork(free_non_child_resources)
|
|
socket_pid_map[scq.pid] = scq
|
|
scq.child_id = next(child_id_counter)
|
|
except SocketClosed:
|
|
if is_zygote:
|
|
remove_socket_child(scq)
|
|
except OSError:
|
|
if is_zygote:
|
|
remove_socket_child(scq)
|
|
import traceback
|
|
tb = traceback.format_exc()
|
|
print_error(f'Failed to fork socket child with error: {tb}')
|
|
else:
|
|
raise
|
|
if is_zygote and (event & error_events):
|
|
remove_socket_child(scq)
|
|
|
|
keep_type_checker_happy = True
|
|
try:
|
|
while is_zygote and keep_type_checker_happy:
|
|
if output_buf:
|
|
poll.register(stdout_fd, select.POLLOUT)
|
|
if child_death_buf:
|
|
poll.register(notify_child_death_fd, select.POLLOUT)
|
|
for (q, event) in poll.poll():
|
|
if q == stdin_fd:
|
|
handle_input(event)
|
|
elif q == stdout_fd:
|
|
handle_output(event)
|
|
elif q == signal_read_fd:
|
|
handle_signals(event)
|
|
elif q == notify_child_death_fd:
|
|
handle_notify_child_death(event)
|
|
elif q == unix_socket.fileno():
|
|
handle_socket_client(event)
|
|
else:
|
|
handle_socket_launch(q, event)
|
|
except (KeyboardInterrupt, EOFError, BrokenPipeError):
|
|
if is_zygote:
|
|
raise SystemExit(1)
|
|
raise
|
|
except Exception:
|
|
if is_zygote:
|
|
import traceback
|
|
traceback.print_exc()
|
|
raise
|
|
finally:
|
|
if is_zygote:
|
|
restore_python_signal_handlers()
|
|
for fmd in child_ready_fds.values():
|
|
with suppress(OSError):
|
|
os.close(fmd)
|
|
for sc in tuple(socket_children.values()):
|
|
remove_socket_child(sc)
|
|
|
|
|
|
def get_socket_name(unix_socket: socket.socket) -> str:
|
|
sname = unix_socket.getsockname()
|
|
if isinstance(sname, bytes):
|
|
sname = sname.decode('utf-8')
|
|
assert isinstance(sname, str)
|
|
if sname.startswith('\0'):
|
|
sname = '@' + sname[1:]
|
|
return sname
|
|
|
|
|
|
def exec_main(stdin_read: int, stdout_write: int, death_notify_write: int, unix_socket: Optional[socket.socket] = None) -> None:
|
|
os.setsid()
|
|
os.set_inheritable(stdin_read, False)
|
|
os.set_inheritable(stdout_write, False)
|
|
os.set_inheritable(death_notify_write, False)
|
|
running_in_kitty(False)
|
|
if unix_socket is None:
|
|
unix_socket = random_unix_socket()
|
|
os.write(stdout_write, f'{get_socket_name(unix_socket)}\n'.encode('utf-8'))
|
|
try:
|
|
main(stdin_read, stdout_write, death_notify_write, unix_socket)
|
|
finally:
|
|
set_options(None)
|
|
if is_zygote:
|
|
unix_socket.close()
|
|
|
|
|
|
def fork_prewarm_process(opts: Options, use_exec: bool = False) -> Optional[PrewarmProcess]:
|
|
stdin_read, stdin_write = safe_pipe()
|
|
stdout_read, stdout_write = safe_pipe()
|
|
death_notify_read, death_notify_write = safe_pipe()
|
|
if use_exec:
|
|
import subprocess
|
|
tp = subprocess.Popen(
|
|
[kitty_exe(), '+runpy', f'from kitty.prewarm import exec_main; exec_main({stdin_read}, {stdout_write}, {death_notify_write})'],
|
|
pass_fds=(stdin_read, stdout_write, death_notify_write))
|
|
child_pid = tp.pid
|
|
tp.returncode = 0 # prevent a warning when the popen object is deleted with the process still running
|
|
os.set_blocking(stdout_read, True)
|
|
with open(stdout_read, 'rb', closefd=False) as f:
|
|
socket_name = f.readline().decode('utf-8').rstrip()
|
|
os.set_blocking(stdout_read, False)
|
|
else:
|
|
unix_socket = random_unix_socket()
|
|
socket_name = get_socket_name(unix_socket)
|
|
child_pid = safer_fork()
|
|
if child_pid:
|
|
# master
|
|
if not use_exec:
|
|
unix_socket.close()
|
|
os.close(stdin_read)
|
|
os.close(stdout_write)
|
|
os.close(death_notify_write)
|
|
p = PrewarmProcess(child_pid, stdin_write, stdout_read, death_notify_read, socket_name)
|
|
if use_exec:
|
|
p.reload_kitty_config()
|
|
return p
|
|
# child
|
|
os.close(stdin_write)
|
|
os.close(stdout_read)
|
|
os.close(death_notify_read)
|
|
set_options(opts)
|
|
exec_main(stdin_read, stdout_write, death_notify_write, unix_socket)
|
|
raise SystemExit(0)
|