Repository navigation
Expand file tree
/
Copy pathcoderunner.py
More file actions
208 lines (164 loc) · 7.2 KB
/
Copy pathcoderunner.py
File metadata and controls
208 lines (164 loc) · 7.2 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
"""For running Python code that could interrupt itself at any time in order to,
for example, ask for a read on stdin, or a write on stdout
The CodeRunner spawns a greenlet to run code in, and that code can suspend its
own execution to ask the main greenlet to refresh the display or get
information.
Greenlets are basically threads that can explicitly switch control to each
other. You can replace the word "greenlet" with "thread" in these docs if that
makes more sense to you.
"""
import code
import signal
import greenlet
import logging
logger = logging.getLogger(__name__)
class SigintHappened(object):
"""If this class is returned, a SIGINT happened while the main greenlet"""
class SystemExitFromCodeGreenlet(SystemExit):
"""If this class is returned, a SystemExit happened while in the code
greenlet"""
class RequestFromCodeGreenlet(object):
"""Message from the code greenlet"""
class Wait(RequestFromCodeGreenlet):
"""Running code would like the main loop to run for a bit"""
class Refresh(RequestFromCodeGreenlet):
"""Running code would like the main loop to refresh the display"""
class Done(RequestFromCodeGreenlet):
"""Running code is done running"""
class Unfinished(RequestFromCodeGreenlet):
"""Source code wasn't executed because it wasn't fully formed"""
class SystemExitRequest(RequestFromCodeGreenlet):
"""Running code raised a SystemExit"""
class CodeRunner(object):
"""Runs user code in an interpreter.
Running code requests a refresh by calling
request_from_main_greenlet(force_refresh=True), which
suspends execution of the code and switches back to the main greenlet
After load_code() is called with the source code to be run,
the run_code() method should be called to start running the code.
The running code may request screen refreshes and user input
by calling request_from_main_greenlet.
When this are called, the running source code cedes
control, and the current run_code() method call returns.
The return value of run_code() determines whether the method ought
to be called again to complete execution of the source code.
Once the screen refresh has occurred or the requested user input
has been gathered, run_code() should be called again, passing in any
requested user input. This continues until run_code returns Done.
The code greenlet is responsible for telling the main greenlet
what it wants returned in the next run_code call - CodeRunner
just passes whatever is passed in to run_code(for_code) to the
code greenlet
"""
def __init__(self, interp=None, request_refresh=lambda: None):
"""
interp is an interpreter object to use. By default a new one is
created.
request_refresh is a function that will be called each time the running
code asks for a refresh - to, for example, update the screen.
"""
self.interp = interp or code.InteractiveInterpreter()
self.source = None
self.main_greenlet = greenlet.getcurrent()
self.code_greenlet = None
self.request_refresh = request_refresh
# waiting for response from main thread
self.code_is_waiting = False
# sigint happened while in main thread
self.sigint_happened_in_main_greenlet = False
self.orig_sigint_handler = None
@property
def running(self):
"""Returns greenlet if code has been loaded greenlet has been
started"""
return self.source and self.code_greenlet
def load_code(self, source):
"""Prep code to be run"""
assert self.source is None, "you shouldn't load code when some is " \
"already running"
self.source = source
self.code_greenlet = None
def _unload_code(self):
"""Called when done running code"""
self.source = None
self.code_greenlet = None
self.code_is_waiting = False
def run_code(self, for_code=None):
"""Returns Truthy values if code finishes, False otherwise
if for_code is provided, send that value to the code greenlet
if source code is complete, returns "done"
if source code is incomplete, returns "unfinished"
"""
if self.code_greenlet is None:
assert self.source is not None
self.code_greenlet = greenlet.greenlet(self._blocking_run_code)
self.orig_sigint_handler = signal.getsignal(signal.SIGINT)
signal.signal(signal.SIGINT, self.sigint_handler)
request = self.code_greenlet.switch()
else:
assert self.code_is_waiting
self.code_is_waiting = False
signal.signal(signal.SIGINT, self.sigint_handler)
if self.sigint_happened_in_main_greenlet:
self.sigint_happened_in_main_greenlet = False
request = self.code_greenlet.switch(SigintHappened)
else:
request = self.code_greenlet.switch(for_code)
logger.debug('request received from code was %r', request)
if not issubclass(request, RequestFromCodeGreenlet):
raise ValueError("Not a valid value from code greenlet: %r" %
request)
if request in [Wait, Refresh]:
self.code_is_waiting = True
if request == Refresh:
self.request_refresh()
return False
elif request in [Done, Unfinished]:
self._unload_code()
signal.signal(signal.SIGINT, self.orig_sigint_handler)
self.orig_sigint_handler = None
return request
elif request in [SystemExitRequest]:
self._unload_code()
raise SystemExitFromCodeGreenlet()
def sigint_handler(self, *args):
"""SIGINT handler to use while code is running or request being
fulfilled"""
if greenlet.getcurrent() is self.code_greenlet:
logger.debug('sigint while running user code!')
raise KeyboardInterrupt()
else:
logger.debug('sigint while fulfilling code request sigint handler '
'running!')
self.sigint_happened_in_main_greenlet = True
def _blocking_run_code(self):
try:
unfinished = self.interp.runsource(self.source)
except SystemExit:
return SystemExitRequest
return Unfinished if unfinished else Done
def request_from_main_greenlet(self, force_refresh=False):
"""Return the argument passed in to .run_code(for_code)
Nothing means calls to run_code must be... ???
"""
if force_refresh:
value = self.main_greenlet.switch(Refresh)
else:
value = self.main_greenlet.switch(Wait)
if value is SigintHappened:
raise KeyboardInterrupt()
return value
class FakeOutput(object):
def __init__(self, coderunner, on_write):
self.coderunner = coderunner
self.on_write = on_write
def write(self, *args, **kwargs):
self.on_write(*args, **kwargs)
return self.coderunner.request_from_main_greenlet(force_refresh=True)
def writelines(self, l):
for s in l:
self.write(s)
def flush(self):
pass
def isatty(self):
return True