kernelmanager.py
343 lines
| 11.9 KiB
| text/x-python
|
PythonLexer
Brian E. Granger
|
r4609 | """A kernel manager for multiple kernels. | ||
Authors: | ||||
* Brian Granger | ||||
""" | ||||
Brian E. Granger
|
r4343 | |||
Brian E. Granger
|
r4344 | #----------------------------------------------------------------------------- | ||
Brian E. Granger
|
r4609 | # Copyright (C) 2008-2011 The IPython Development Team | ||
Brian E. Granger
|
r4348 | # | ||
# Distributed under the terms of the BSD License. The full license is in | ||||
Brian E. Granger
|
r4609 | # the file COPYING, distributed as part of this software. | ||
Brian E. Granger
|
r4348 | #----------------------------------------------------------------------------- | ||
#----------------------------------------------------------------------------- | ||||
Brian E. Granger
|
r4344 | # Imports | ||
#----------------------------------------------------------------------------- | ||||
MinRK
|
r4960 | import os | ||
Brian Granger
|
r4297 | import signal | ||
import sys | ||||
Brian Granger
|
r4306 | import uuid | ||
Brian Granger
|
r4297 | |||
Brian E. Granger
|
r4343 | import zmq | ||
Brian E. Granger
|
r4545 | from zmq.eventloop.zmqstream import ZMQStream | ||
Brian E. Granger
|
r4343 | |||
Brian E. Granger
|
r4494 | from tornado import web | ||
Brian E. Granger
|
r4345 | from IPython.config.configurable import LoggingConfigurable | ||
MinRK
|
r6317 | from IPython.utils.importstring import import_item | ||
from IPython.utils.traitlets import ( | ||||
Instance, Dict, List, Unicode, Float, Integer, Any, DottedObjectName, | ||||
) | ||||
Brian E. Granger
|
r4344 | #----------------------------------------------------------------------------- | ||
# Classes | ||||
#----------------------------------------------------------------------------- | ||||
Brian Granger
|
r4297 | |||
Brian Granger
|
r4298 | class DuplicateKernelError(Exception): | ||
pass | ||||
MinRK
|
r4960 | class MultiKernelManager(LoggingConfigurable): | ||
Brian E. Granger
|
r4343 | """A class for managing multiple kernels.""" | ||
MinRK
|
r6317 | |||
kernel_manager_class = DottedObjectName( | ||||
MinRK
|
r7626 | "IPython.zmq.blockingkernelmanager.BlockingKernelManager", config=True, | ||
MinRK
|
r6317 | help="""The kernel manager class. This is configurable to allow | ||
subclassing of the KernelManager for customized behavior. | ||||
""" | ||||
) | ||||
def _kernel_manager_class_changed(self, name, old, new): | ||||
self.kernel_manager_factory = import_item(new) | ||||
kernel_manager_factory = Any(help="this is kernel_manager_class after import") | ||||
def _kernel_manager_factory_default(self): | ||||
return import_item(self.kernel_manager_class) | ||||
Brian E. Granger
|
r4343 | context = Instance('zmq.Context') | ||
def _context_default(self): | ||||
return zmq.Context.instance() | ||||
MinRK
|
r4960 | |||
connection_dir = Unicode('') | ||||
Brian Granger
|
r4297 | |||
Brian E. Granger
|
r4343 | _kernels = Dict() | ||
Brian Granger
|
r4297 | |||
@property | ||||
def kernel_ids(self): | ||||
Brian E. Granger
|
r4343 | """Return a list of the kernel ids of the active kernels.""" | ||
Brian Granger
|
r4297 | return self._kernels.keys() | ||
def __len__(self): | ||||
Brian E. Granger
|
r4343 | """Return the number of running kernels.""" | ||
Brian Granger
|
r4297 | return len(self.kernel_ids) | ||
def __contains__(self, kernel_id): | ||||
if kernel_id in self.kernel_ids: | ||||
return True | ||||
else: | ||||
return False | ||||
Brian E. Granger
|
r4343 | def start_kernel(self, **kwargs): | ||
"""Start a new kernel.""" | ||||
Brian E. Granger
|
r4494 | kernel_id = unicode(uuid.uuid4()) | ||
MinRK
|
r4960 | # use base KernelManager for each Kernel | ||
MinRK
|
r6317 | km = self.kernel_manager_factory(connection_file=os.path.join( | ||
MinRK
|
r4963 | self.connection_dir, "kernel-%s.json" % kernel_id), | ||
config=self.config, | ||||
Brian Granger
|
r4297 | ) | ||
MinRK
|
r4960 | km.start_kernel(**kwargs) | ||
MinRK
|
r7627 | # start just the shell channel, needed for graceful restart | ||
MinRK
|
r7626 | km.start_channels(shell=True, sub=False, stdin=False, hb=False) | ||
MinRK
|
r4960 | self._kernels[kernel_id] = km | ||
Brian Granger
|
r4298 | return kernel_id | ||
Brian Granger
|
r4297 | |||
MinRK
|
r7627 | def shutdown_kernel(self, kernel_id): | ||
"""Shutdown a kernel by its kernel uuid. | ||||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel to shutdown. | ||||
""" | ||||
self.get_kernel(kernel_id).shutdown_kernel() | ||||
del self._kernels[kernel_id] | ||||
Brian Granger
|
r4297 | def kill_kernel(self, kernel_id): | ||
Brian E. Granger
|
r4343 | """Kill a kernel by its kernel uuid. | ||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel to kill. | ||||
""" | ||||
MinRK
|
r4960 | self.get_kernel(kernel_id).kill_kernel() | ||
del self._kernels[kernel_id] | ||||
Brian Granger
|
r4297 | |||
def interrupt_kernel(self, kernel_id): | ||||
Brian E. Granger
|
r4343 | """Interrupt (SIGINT) the kernel by its uuid. | ||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel to interrupt. | ||||
""" | ||||
MinRK
|
r4960 | return self.get_kernel(kernel_id).interrupt_kernel() | ||
Brian E. Granger
|
r4545 | |||
Brian Granger
|
r4297 | def signal_kernel(self, kernel_id, signum): | ||
Brian E. Granger
|
r4343 | """ Sends a signal to the kernel by its uuid. | ||
Note that since only SIGTERM is supported on Windows, this function | ||||
is only useful on Unix systems. | ||||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel to signal. | ||||
Brian Granger
|
r4297 | """ | ||
MinRK
|
r4960 | return self.get_kernel(kernel_id).signal_kernel(signum) | ||
Brian Granger
|
r4297 | |||
MinRK
|
r4960 | def get_kernel(self, kernel_id): | ||
"""Get the single KernelManager object for a kernel by its uuid. | ||||
Brian E. Granger
|
r4343 | |||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel. | ||||
""" | ||||
MinRK
|
r4960 | km = self._kernels.get(kernel_id) | ||
if km is not None: | ||||
return km | ||||
Brian Granger
|
r4297 | else: | ||
raise KeyError("Kernel with id not found: %s" % kernel_id) | ||||
def get_kernel_ports(self, kernel_id): | ||||
Brian E. Granger
|
r4343 | """Return a dictionary of ports for a kernel. | ||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel. | ||||
Returns | ||||
======= | ||||
port_dict : dict | ||||
A dict of key, value pairs where the keys are the names | ||||
(stdin_port,iopub_port,shell_port) and the values are the | ||||
integer port numbers for those channels. | ||||
""" | ||||
MinRK
|
r4960 | # this will raise a KeyError if not found: | ||
km = self.get_kernel(kernel_id) | ||||
return dict(shell_port=km.shell_port, | ||||
iopub_port=km.iopub_port, | ||||
stdin_port=km.stdin_port, | ||||
hb_port=km.hb_port, | ||||
) | ||||
Brian Granger
|
r4297 | |||
Brian E. Granger
|
r4343 | def get_kernel_ip(self, kernel_id): | ||
"""Return ip address for a kernel. | ||||
Parameters | ||||
========== | ||||
kernel_id : uuid | ||||
The id of the kernel. | ||||
Returns | ||||
======= | ||||
ip : str | ||||
The ip address of the kernel. | ||||
""" | ||||
MinRK
|
r4960 | return self.get_kernel(kernel_id).ip | ||
Brian Granger
|
r4297 | |||
Brian E. Granger
|
r4545 | def create_connected_stream(self, ip, port, socket_type): | ||
sock = self.context.socket(socket_type) | ||||
addr = "tcp://%s:%i" % (ip, port) | ||||
self.log.info("Connecting to: %s" % addr) | ||||
sock.connect(addr) | ||||
return ZMQStream(sock) | ||||
def create_iopub_stream(self, kernel_id): | ||||
ip = self.get_kernel_ip(kernel_id) | ||||
ports = self.get_kernel_ports(kernel_id) | ||||
iopub_stream = self.create_connected_stream(ip, ports['iopub_port'], zmq.SUB) | ||||
iopub_stream.socket.setsockopt(zmq.SUBSCRIBE, b'') | ||||
return iopub_stream | ||||
Brian Granger
|
r4297 | |||
Brian E. Granger
|
r4545 | def create_shell_stream(self, kernel_id): | ||
ip = self.get_kernel_ip(kernel_id) | ||||
ports = self.get_kernel_ports(kernel_id) | ||||
MinRK
|
r7538 | shell_stream = self.create_connected_stream(ip, ports['shell_port'], zmq.DEALER) | ||
Brian E. Granger
|
r4545 | return shell_stream | ||
Brian E. Granger
|
r4494 | |||
Brian E. Granger
|
r4545 | def create_hb_stream(self, kernel_id): | ||
ip = self.get_kernel_ip(kernel_id) | ||||
ports = self.get_kernel_ports(kernel_id) | ||||
hb_stream = self.create_connected_stream(ip, ports['hb_port'], zmq.REQ) | ||||
return hb_stream | ||||
MinRK
|
r4960 | class MappingKernelManager(MultiKernelManager): | ||
Brian E. Granger
|
r4545 | """A KernelManager that handles notebok mapping and HTTP error handling""" | ||
Brian E. Granger
|
r4494 | |||
kernel_argv = List(Unicode) | ||||
MinRK
|
r5812 | |||
Brian E. Granger
|
r4545 | time_to_dead = Float(3.0, config=True, help="""Kernel heartbeat interval in seconds.""") | ||
MinRK
|
r5812 | first_beat = Float(5.0, config=True, help="Delay (in seconds) before sending first heartbeat.") | ||
MinRK
|
r5344 | max_msg_size = Integer(65536, config=True, help=""" | ||
Brian E. Granger
|
r4545 | The max raw message size accepted from the browser | ||
over a WebSocket connection. | ||||
""") | ||||
Brian E. Granger
|
r4494 | |||
_notebook_mapping = Dict() | ||||
#------------------------------------------------------------------------- | ||||
# Methods for managing kernels and sessions | ||||
#------------------------------------------------------------------------- | ||||
Brian E. Granger
|
r4495 | def kernel_for_notebook(self, notebook_id): | ||
"""Return the kernel_id for a notebook_id or None.""" | ||||
return self._notebook_mapping.get(notebook_id) | ||||
def set_kernel_for_notebook(self, notebook_id, kernel_id): | ||||
"""Associate a notebook with a kernel.""" | ||||
if notebook_id is not None: | ||||
self._notebook_mapping[notebook_id] = kernel_id | ||||
Brian E. Granger
|
r4494 | def notebook_for_kernel(self, kernel_id): | ||
Brian E. Granger
|
r4495 | """Return the notebook_id for a kernel_id or None.""" | ||
Brian E. Granger
|
r4494 | notebook_ids = [k for k, v in self._notebook_mapping.iteritems() if v == kernel_id] | ||
if len(notebook_ids) == 1: | ||||
return notebook_ids[0] | ||||
else: | ||||
return None | ||||
def delete_mapping_for_kernel(self, kernel_id): | ||||
Brian E. Granger
|
r4495 | """Remove the kernel/notebook mapping for kernel_id.""" | ||
Brian E. Granger
|
r4494 | notebook_id = self.notebook_for_kernel(kernel_id) | ||
if notebook_id is not None: | ||||
del self._notebook_mapping[notebook_id] | ||||
MinRK
|
r7558 | def start_kernel(self, notebook_id=None, **kwargs): | ||
Brian E. Granger
|
r4545 | """Start a kernel for a notebok an return its kernel_id. | ||
Brian E. Granger
|
r4495 | |||
Parameters | ||||
---------- | ||||
notebook_id : uuid | ||||
The uuid of the notebook to associate the new kernel with. If this | ||||
is not None, this kernel will be persistent whenever the notebook | ||||
requests a kernel. | ||||
""" | ||||
kernel_id = self.kernel_for_notebook(notebook_id) | ||||
Brian E. Granger
|
r4494 | if kernel_id is None: | ||
kwargs['extra_arguments'] = self.kernel_argv | ||||
Brian E. Granger
|
r4545 | kernel_id = super(MappingKernelManager, self).start_kernel(**kwargs) | ||
Brian E. Granger
|
r4495 | self.set_kernel_for_notebook(notebook_id, kernel_id) | ||
self.log.info("Kernel started: %s" % kernel_id) | ||||
Brian E. Granger
|
r4494 | self.log.debug("Kernel args: %r" % kwargs) | ||
else: | ||||
self.log.info("Using existing kernel: %s" % kernel_id) | ||||
return kernel_id | ||||
MinRK
|
r7627 | def shutdown_kernel(self, kernel_id): | ||
"""Shutdown a kernel and remove its notebook association.""" | ||||
self._check_kernel_id(kernel_id) | ||||
super(MappingKernelManager, self).shutdown_kernel(kernel_id) | ||||
self.delete_mapping_for_kernel(kernel_id) | ||||
self.log.info("Kernel shutdown: %s" % kernel_id) | ||||
Brian E. Granger
|
r4494 | def kill_kernel(self, kernel_id): | ||
Brian E. Granger
|
r4495 | """Kill a kernel and remove its notebook association.""" | ||
Brian E. Granger
|
r4676 | self._check_kernel_id(kernel_id) | ||
Brian E. Granger
|
r4545 | super(MappingKernelManager, self).kill_kernel(kernel_id) | ||
Brian E. Granger
|
r4494 | self.delete_mapping_for_kernel(kernel_id) | ||
self.log.info("Kernel killed: %s" % kernel_id) | ||||
def interrupt_kernel(self, kernel_id): | ||||
Brian E. Granger
|
r4495 | """Interrupt a kernel.""" | ||
Brian E. Granger
|
r4676 | self._check_kernel_id(kernel_id) | ||
Brian E. Granger
|
r4545 | super(MappingKernelManager, self).interrupt_kernel(kernel_id) | ||
self.log.info("Kernel interrupted: %s" % kernel_id) | ||||
Brian E. Granger
|
r4494 | |||
def restart_kernel(self, kernel_id): | ||||
Brian E. Granger
|
r4495 | """Restart a kernel while keeping clients connected.""" | ||
Brian E. Granger
|
r4676 | self._check_kernel_id(kernel_id) | ||
MinRK
|
r4960 | km = self.get_kernel(kernel_id) | ||
MinRK
|
r7626 | km.restart_kernel() | ||
MinRK
|
r4960 | self.log.info("Kernel restarted: %s" % kernel_id) | ||
return kernel_id | ||||
# the following remains, in case the KM restart machinery is | ||||
# somehow unacceptable | ||||
Brian E. Granger
|
r4545 | # Get the notebook_id to preserve the kernel/notebook association. | ||
Brian E. Granger
|
r4494 | notebook_id = self.notebook_for_kernel(kernel_id) | ||
# Create the new kernel first so we can move the clients over. | ||||
new_kernel_id = self.start_kernel() | ||||
Brian E. Granger
|
r4545 | # Now kill the old kernel. | ||
Brian E. Granger
|
r4494 | self.kill_kernel(kernel_id) | ||
# Now save the new kernel/notebook association. We have to save it | ||||
# after the old kernel is killed as that will delete the mapping. | ||||
Brian E. Granger
|
r4495 | self.set_kernel_for_notebook(notebook_id, new_kernel_id) | ||
Brian E. Granger
|
r4572 | self.log.info("Kernel restarted: %s" % new_kernel_id) | ||
Brian E. Granger
|
r4494 | return new_kernel_id | ||
Brian E. Granger
|
r4572 | def create_iopub_stream(self, kernel_id): | ||
Brian E. Granger
|
r4676 | """Create a new iopub stream.""" | ||
self._check_kernel_id(kernel_id) | ||||
Brian E. Granger
|
r4572 | return super(MappingKernelManager, self).create_iopub_stream(kernel_id) | ||
def create_shell_stream(self, kernel_id): | ||||
Brian E. Granger
|
r4676 | """Create a new shell stream.""" | ||
self._check_kernel_id(kernel_id) | ||||
Brian E. Granger
|
r4572 | return super(MappingKernelManager, self).create_shell_stream(kernel_id) | ||
def create_hb_stream(self, kernel_id): | ||||
Brian E. Granger
|
r4676 | """Create a new hb stream.""" | ||
self._check_kernel_id(kernel_id) | ||||
Brian E. Granger
|
r4572 | return super(MappingKernelManager, self).create_hb_stream(kernel_id) | ||
Brian E. Granger
|
r4495 | |||
Brian E. Granger
|
r4676 | def _check_kernel_id(self, kernel_id): | ||
"""Check a that a kernel_id exists and raise 404 if not.""" | ||||
if kernel_id not in self: | ||||
raise web.HTTPError(404, u'Kernel does not exist: %s' % kernel_id) | ||||