kernelmanager.py
247 lines
| 8.4 KiB
| text/x-python
|
PythonLexer
epatters
|
r2643 | """ Defines a KernelManager that provides signals and slots. | ||
epatters
|
r2609 | """ | ||
# System library imports. | ||||
Evan Patterson
|
r3304 | from IPython.external.qt import QtCore | ||
epatters
|
r2609 | |||
# IPython imports. | ||||
Brian Granger
|
r2786 | from IPython.utils.traitlets import Type | ||
epatters
|
r2611 | from IPython.zmq.kernelmanager import KernelManager, SubSocketChannel, \ | ||
MinRK
|
r3974 | ShellSocketChannel, StdInSocketChannel, HBSocketChannel | ||
epatters
|
r2994 | from util import MetaQObjectHasTraits, SuperQObject | ||
epatters
|
r2609 | |||
Brian Granger
|
r2695 | |||
epatters
|
r2994 | class SocketChannelQObject(SuperQObject): | ||
# Emitted when the channel is started. | ||||
Evan Patterson
|
r3304 | started = QtCore.Signal() | ||
epatters
|
r2994 | |||
# Emitted when the channel is stopped. | ||||
Evan Patterson
|
r3304 | stopped = QtCore.Signal() | ||
epatters
|
r2994 | |||
#--------------------------------------------------------------------------- | ||||
MinRK
|
r3974 | # 'ZMQSocketChannel' interface | ||
epatters
|
r2994 | #--------------------------------------------------------------------------- | ||
def start(self): | ||||
""" Reimplemented to emit signal. | ||||
""" | ||||
super(SocketChannelQObject, self).start() | ||||
self.started.emit() | ||||
def stop(self): | ||||
""" Reimplemented to emit signal. | ||||
""" | ||||
super(SocketChannelQObject, self).stop() | ||||
self.stopped.emit() | ||||
MinRK
|
r3974 | class QtShellSocketChannel(SocketChannelQObject, ShellSocketChannel): | ||
epatters
|
r2994 | |||
# Emitted when any message is received. | ||||
Evan Patterson
|
r3304 | message_received = QtCore.Signal(object) | ||
epatters
|
r2994 | |||
Brian Granger
|
r3024 | # Emitted when a reply has been received for the corresponding request | ||
# type. | ||||
Evan Patterson
|
r3304 | execute_reply = QtCore.Signal(object) | ||
complete_reply = QtCore.Signal(object) | ||||
object_info_reply = QtCore.Signal(object) | ||||
Thomas Kluyver
|
r3820 | history_reply = QtCore.Signal(object) | ||
epatters
|
r2994 | |||
epatters
|
r3032 | # Emitted when the first reply comes back. | ||
Evan Patterson
|
r3304 | first_reply = QtCore.Signal() | ||
Brian Granger
|
r3024 | |||
Bernardo B. Marques
|
r4872 | # Used by the first_reply signal logic to determine if a reply is the | ||
Brian Granger
|
r3024 | # first. | ||
_handlers_called = False | ||||
epatters
|
r2994 | #--------------------------------------------------------------------------- | ||
MinRK
|
r3974 | # 'ShellSocketChannel' interface | ||
epatters
|
r2994 | #--------------------------------------------------------------------------- | ||
Bernardo B. Marques
|
r4872 | |||
epatters
|
r2994 | def call_handlers(self, msg): | ||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.message_received.emit(msg) | ||||
Bernardo B. Marques
|
r4872 | |||
epatters
|
r2994 | # Emit signals for specialized message types. | ||
Brian E. Granger
|
r4230 | msg_type = msg['header']['msg_type'] | ||
epatters
|
r2994 | signal = getattr(self, msg_type, None) | ||
if signal: | ||||
signal.emit(msg) | ||||
Brian Granger
|
r3024 | if not self._handlers_called: | ||
self.first_reply.emit() | ||||
epatters
|
r3032 | self._handlers_called = True | ||
Brian Granger
|
r3024 | |||
epatters
|
r3032 | #--------------------------------------------------------------------------- | ||
MinRK
|
r3974 | # 'QtShellSocketChannel' interface | ||
epatters
|
r3032 | #--------------------------------------------------------------------------- | ||
Brian Granger
|
r3024 | |||
def reset_first_reply(self): | ||||
""" Reset the first_reply signal to fire again on the next reply. | ||||
""" | ||||
self._handlers_called = False | ||||
epatters
|
r2994 | |||
class QtSubSocketChannel(SocketChannelQObject, SubSocketChannel): | ||||
epatters
|
r2609 | |||
# Emitted when any message is received. | ||||
Evan Patterson
|
r3304 | message_received = QtCore.Signal(object) | ||
epatters
|
r2609 | |||
epatters
|
r2770 | # Emitted when a message of type 'stream' is received. | ||
Evan Patterson
|
r3304 | stream_received = QtCore.Signal(object) | ||
epatters
|
r2609 | |||
epatters
|
r2770 | # Emitted when a message of type 'pyin' is received. | ||
Evan Patterson
|
r3304 | pyin_received = QtCore.Signal(object) | ||
epatters
|
r2770 | |||
# Emitted when a message of type 'pyout' is received. | ||||
Evan Patterson
|
r3304 | pyout_received = QtCore.Signal(object) | ||
epatters
|
r2770 | |||
# Emitted when a message of type 'pyerr' is received. | ||||
Evan Patterson
|
r3304 | pyerr_received = QtCore.Signal(object) | ||
epatters
|
r2770 | |||
Brian Granger
|
r3277 | # Emitted when a message of type 'display_data' is received | ||
epatters
|
r3307 | display_data_received = QtCore.Signal(object) | ||
Brian Granger
|
r3277 | |||
epatters
|
r2770 | # Emitted when a crash report message is received from the kernel's | ||
# last-resort sys.excepthook. | ||||
Evan Patterson
|
r3304 | crash_received = QtCore.Signal(object) | ||
epatters
|
r2611 | |||
MinRK
|
r3090 | # Emitted when a shutdown is noticed. | ||
Evan Patterson
|
r3304 | shutdown_reply_received = QtCore.Signal(object) | ||
MinRK
|
r3090 | |||
epatters
|
r2611 | #--------------------------------------------------------------------------- | ||
epatters
|
r2609 | # 'SubSocketChannel' interface | ||
#--------------------------------------------------------------------------- | ||||
Bernardo B. Marques
|
r4872 | |||
epatters
|
r2609 | def call_handlers(self, msg): | ||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.message_received.emit(msg) | ||||
# Emit signals for specialized message types. | ||||
Brian E. Granger
|
r4230 | msg_type = msg['header']['msg_type'] | ||
epatters
|
r2770 | signal = getattr(self, msg_type + '_received', None) | ||
if signal: | ||||
signal.emit(msg) | ||||
elif msg_type in ('stdout', 'stderr'): | ||||
self.stream_received.emit(msg) | ||||
epatters
|
r2609 | |||
epatters
|
r2614 | def flush(self): | ||
""" Reimplemented to ensure that signals are dispatched immediately. | ||||
""" | ||||
super(QtSubSocketChannel, self).flush() | ||||
QtCore.QCoreApplication.instance().processEvents() | ||||
epatters
|
r2609 | |||
MinRK
|
r3974 | class QtStdInSocketChannel(SocketChannelQObject, StdInSocketChannel): | ||
epatters
|
r2609 | |||
epatters
|
r2707 | # Emitted when any message is received. | ||
Evan Patterson
|
r3304 | message_received = QtCore.Signal(object) | ||
epatters
|
r2707 | |||
epatters
|
r2730 | # Emitted when an input request is received. | ||
Evan Patterson
|
r3304 | input_requested = QtCore.Signal(object) | ||
epatters
|
r2707 | |||
epatters
|
r2611 | #--------------------------------------------------------------------------- | ||
MinRK
|
r3974 | # 'StdInSocketChannel' interface | ||
epatters
|
r2707 | #--------------------------------------------------------------------------- | ||
def call_handlers(self, msg): | ||||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.message_received.emit(msg) | ||||
Bernardo B. Marques
|
r4872 | |||
epatters
|
r2707 | # Emit signals for specialized message types. | ||
Brian E. Granger
|
r4230 | msg_type = msg['header']['msg_type'] | ||
epatters
|
r2730 | if msg_type == 'input_request': | ||
self.input_requested.emit(msg) | ||||
epatters
|
r2611 | |||
epatters
|
r2770 | |||
epatters
|
r2994 | class QtHBSocketChannel(SocketChannelQObject, HBSocketChannel): | ||
Brian Granger
|
r2910 | |||
# Emitted when the kernel has died. | ||||
Evan Patterson
|
r3304 | kernel_died = QtCore.Signal(object) | ||
Brian Granger
|
r2910 | |||
#--------------------------------------------------------------------------- | ||||
epatters
|
r2994 | # 'HBSocketChannel' interface | ||
Brian Granger
|
r2910 | #--------------------------------------------------------------------------- | ||
def call_handlers(self, since_last_heartbeat): | ||||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.kernel_died.emit(since_last_heartbeat) | ||||
epatters
|
r2994 | class QtKernelManager(KernelManager, SuperQObject): | ||
epatters
|
r2643 | """ A KernelManager that provides signals and slots. | ||
epatters
|
r2611 | """ | ||
epatters
|
r2643 | __metaclass__ = MetaQObjectHasTraits | ||
# Emitted when the kernel manager has started listening. | ||||
MinRK
|
r7079 | started_kernel = QtCore.Signal() | ||
# Emitted when the kernel manager has started listening. | ||||
Evan Patterson
|
r3304 | started_channels = QtCore.Signal() | ||
epatters
|
r2643 | |||
# Emitted when the kernel manager has stopped listening. | ||||
Evan Patterson
|
r3304 | stopped_channels = QtCore.Signal() | ||
epatters
|
r2643 | |||
# Use Qt-specific channel classes that emit signals. | ||||
Brian Granger
|
r2786 | sub_channel_class = Type(QtSubSocketChannel) | ||
MinRK
|
r3974 | shell_channel_class = Type(QtShellSocketChannel) | ||
stdin_channel_class = Type(QtStdInSocketChannel) | ||||
Brian Granger
|
r2910 | hb_channel_class = Type(QtHBSocketChannel) | ||
epatters
|
r2643 | |||
#--------------------------------------------------------------------------- | ||||
# 'KernelManager' interface | ||||
#--------------------------------------------------------------------------- | ||||
epatters
|
r3032 | |||
#------ Kernel process management ------------------------------------------ | ||||
def start_kernel(self, *args, **kw): | ||||
""" Reimplemented for proper heartbeat management. | ||||
""" | ||||
MinRK
|
r3974 | if self._shell_channel is not None: | ||
self._shell_channel.reset_first_reply() | ||||
epatters
|
r3032 | super(QtKernelManager, self).start_kernel(*args, **kw) | ||
MinRK
|
r7079 | self.started_kernel.emit() | ||
epatters
|
r3032 | |||
#------ Channel management ------------------------------------------------- | ||||
Bernardo B. Marques
|
r4872 | |||
epatters
|
r2994 | def start_channels(self, *args, **kw): | ||
epatters
|
r2643 | """ Reimplemented to emit signal. | ||
""" | ||||
epatters
|
r2994 | super(QtKernelManager, self).start_channels(*args, **kw) | ||
epatters
|
r2701 | self.started_channels.emit() | ||
epatters
|
r2643 | |||
Brian Granger
|
r2699 | def stop_channels(self): | ||
epatters
|
r2643 | """ Reimplemented to emit signal. | ||
Bernardo B. Marques
|
r4872 | """ | ||
Brian Granger
|
r2699 | super(QtKernelManager, self).stop_channels() | ||
epatters
|
r2701 | self.stopped_channels.emit() | ||
epatters
|
r3032 | |||
@property | ||||
MinRK
|
r3974 | def shell_channel(self): | ||
epatters
|
r3032 | """ Reimplemented for proper heartbeat management. | ||
""" | ||||
MinRK
|
r3974 | if self._shell_channel is None: | ||
self._shell_channel = super(QtKernelManager, self).shell_channel | ||||
self._shell_channel.first_reply.connect(self._first_reply) | ||||
return self._shell_channel | ||||
epatters
|
r3032 | |||
#--------------------------------------------------------------------------- | ||||
# Protected interface | ||||
#--------------------------------------------------------------------------- | ||||
Bernardo B. Marques
|
r4872 | |||
epatters
|
r3032 | def _first_reply(self): | ||
""" Unpauses the heartbeat channel when the first reply is received on | ||||
the execute channel. Note that this will *not* start the heartbeat | ||||
channel if it is not already running! | ||||
""" | ||||
if self._hb_channel is not None: | ||||
self._hb_channel.unpause() | ||||