|
|
|
|
@ -20,8 +20,9 @@ from tornado import web
|
|
|
|
|
|
|
|
|
|
from IPython.kernel.multikernelmanager import MultiKernelManager
|
|
|
|
|
from IPython.utils.traitlets import (
|
|
|
|
|
Dict, List, Unicode, Float, Integer,
|
|
|
|
|
Dict, List, Unicode, Integer,
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
#-----------------------------------------------------------------------------
|
|
|
|
|
# Classes
|
|
|
|
|
#-----------------------------------------------------------------------------
|
|
|
|
|
@ -30,11 +31,11 @@ from IPython.utils.traitlets import (
|
|
|
|
|
class MappingKernelManager(MultiKernelManager):
|
|
|
|
|
"""A KernelManager that handles notebok mapping and HTTP error handling"""
|
|
|
|
|
|
|
|
|
|
def _kernel_manager_class_default(self):
|
|
|
|
|
return "IPython.kernel.ioloop.IOLoopKernelManager"
|
|
|
|
|
|
|
|
|
|
kernel_argv = List(Unicode)
|
|
|
|
|
|
|
|
|
|
time_to_dead = Float(3.0, config=True, help="""Kernel heartbeat interval in seconds.""")
|
|
|
|
|
first_beat = Float(5.0, config=True, help="Delay (in seconds) before sending first heartbeat.")
|
|
|
|
|
|
|
|
|
|
max_msg_size = Integer(65536, config=True, help="""
|
|
|
|
|
The max raw message size accepted from the browser
|
|
|
|
|
over a WebSocket connection.
|
|
|
|
|
@ -57,11 +58,10 @@ class MappingKernelManager(MultiKernelManager):
|
|
|
|
|
|
|
|
|
|
def notebook_for_kernel(self, kernel_id):
|
|
|
|
|
"""Return the notebook_id for a kernel_id or None."""
|
|
|
|
|
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
|
|
|
|
|
for notebook_id, kid in self._notebook_mapping.iteritems():
|
|
|
|
|
if kernel_id == kid:
|
|
|
|
|
return notebook_id
|
|
|
|
|
return None
|
|
|
|
|
|
|
|
|
|
def delete_mapping_for_kernel(self, kernel_id):
|
|
|
|
|
"""Remove the kernel/notebook mapping for kernel_id."""
|
|
|
|
|
@ -69,8 +69,14 @@ class MappingKernelManager(MultiKernelManager):
|
|
|
|
|
if notebook_id is not None:
|
|
|
|
|
del self._notebook_mapping[notebook_id]
|
|
|
|
|
|
|
|
|
|
def _handle_kernel_died(self, kernel_id):
|
|
|
|
|
"""notice that a kernel died"""
|
|
|
|
|
self.log.warn("Kernel %s died, removing from map.", kernel_id)
|
|
|
|
|
self.delete_mapping_for_kernel(kernel_id)
|
|
|
|
|
self.remove_kernel(kernel_id, now=True)
|
|
|
|
|
|
|
|
|
|
def start_kernel(self, notebook_id=None, **kwargs):
|
|
|
|
|
"""Start a kernel for a notebok an return its kernel_id.
|
|
|
|
|
"""Start a kernel for a notebook an return its kernel_id.
|
|
|
|
|
|
|
|
|
|
Parameters
|
|
|
|
|
----------
|
|
|
|
|
@ -86,46 +92,22 @@ class MappingKernelManager(MultiKernelManager):
|
|
|
|
|
self.set_kernel_for_notebook(notebook_id, kernel_id)
|
|
|
|
|
self.log.info("Kernel started: %s" % kernel_id)
|
|
|
|
|
self.log.debug("Kernel args: %r" % kwargs)
|
|
|
|
|
# register callback for failed auto-restart
|
|
|
|
|
self.add_restart_callback(kernel_id,
|
|
|
|
|
lambda : self._handle_kernel_died(kernel_id),
|
|
|
|
|
'dead',
|
|
|
|
|
)
|
|
|
|
|
else:
|
|
|
|
|
self.log.info("Using existing kernel: %s" % kernel_id)
|
|
|
|
|
|
|
|
|
|
return kernel_id
|
|
|
|
|
|
|
|
|
|
def shutdown_kernel(self, kernel_id, now=False):
|
|
|
|
|
"""Shutdown a kernel and remove its notebook association."""
|
|
|
|
|
self._check_kernel_id(kernel_id)
|
|
|
|
|
super(MappingKernelManager, self).shutdown_kernel(
|
|
|
|
|
kernel_id, now=now
|
|
|
|
|
)
|
|
|
|
|
"""Shutdown a kernel by kernel_id"""
|
|
|
|
|
super(MappingKernelManager, self).shutdown_kernel(kernel_id, now=now)
|
|
|
|
|
self.delete_mapping_for_kernel(kernel_id)
|
|
|
|
|
self.log.info("Kernel shutdown: %s" % kernel_id)
|
|
|
|
|
|
|
|
|
|
def interrupt_kernel(self, kernel_id):
|
|
|
|
|
"""Interrupt a kernel."""
|
|
|
|
|
self._check_kernel_id(kernel_id)
|
|
|
|
|
super(MappingKernelManager, self).interrupt_kernel(kernel_id)
|
|
|
|
|
self.log.info("Kernel interrupted: %s" % kernel_id)
|
|
|
|
|
|
|
|
|
|
def restart_kernel(self, kernel_id):
|
|
|
|
|
"""Restart a kernel while keeping clients connected."""
|
|
|
|
|
self._check_kernel_id(kernel_id)
|
|
|
|
|
super(MappingKernelManager, self).restart_kernel(kernel_id)
|
|
|
|
|
self.log.info("Kernel restarted: %s" % kernel_id)
|
|
|
|
|
|
|
|
|
|
def create_iopub_stream(self, kernel_id):
|
|
|
|
|
"""Create a new iopub stream."""
|
|
|
|
|
self._check_kernel_id(kernel_id)
|
|
|
|
|
return super(MappingKernelManager, self).create_iopub_stream(kernel_id)
|
|
|
|
|
|
|
|
|
|
def create_shell_stream(self, kernel_id):
|
|
|
|
|
"""Create a new shell stream."""
|
|
|
|
|
self._check_kernel_id(kernel_id)
|
|
|
|
|
return super(MappingKernelManager, self).create_shell_stream(kernel_id)
|
|
|
|
|
|
|
|
|
|
def create_hb_stream(self, kernel_id):
|
|
|
|
|
"""Create a new hb stream."""
|
|
|
|
|
self._check_kernel_id(kernel_id)
|
|
|
|
|
return super(MappingKernelManager, self).create_hb_stream(kernel_id)
|
|
|
|
|
|
|
|
|
|
# override _check_kernel_id to raise 404 instead of KeyError
|
|
|
|
|
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:
|
|
|
|
|
|