execute_server 8.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278
  1. #!/usr/bin/env python3
  2. import asyncio
  3. import logging
  4. import os
  5. import re
  6. from uuid import uuid4
  7. import tornado
  8. from tornado.escape import json_decode, json_encode, url_escape
  9. from tornado.httpclient import AsyncHTTPClient, HTTPRequest
  10. from tornado.ioloop import PeriodicCallback
  11. from tornado.websocket import websocket_connect
  12. logging.basicConfig(level=logging.INFO)
  13. def strip_ansi(o: str) -> str:
  14. """
  15. Removes ANSI escape sequences from `o`, as defined by ECMA-048 in
  16. http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-048.pdf
  17. # https://github.com/ewen-lbh/python-strip-ansi/blob/master/strip_ansi/__init__.py
  18. >>> strip_ansi("\\033[33mLorem ipsum\\033[0m")
  19. 'Lorem ipsum'
  20. >>> strip_ansi("Lorem \\033[38;25mIpsum\\033[0m sit\\namet.")
  21. 'Lorem Ipsum sit\\namet.'
  22. >>> strip_ansi("")
  23. ''
  24. >>> strip_ansi("\\x1b[0m")
  25. ''
  26. >>> strip_ansi("Lorem")
  27. 'Lorem'
  28. >>> strip_ansi('\\x1b[38;5;32mLorem ipsum\\x1b[0m')
  29. 'Lorem ipsum'
  30. >>> strip_ansi('\\x1b[1m\\x1b[46m\\x1b[31mLorem dolor sit ipsum\\x1b[0m')
  31. 'Lorem dolor sit ipsum'
  32. """
  33. # pattern = re.compile(r'/(\x9B|\x1B\[)[0-?]*[ -\/]*[@-~]/')
  34. pattern = re.compile(r'\x1B\[\d+(;\d+){0,2}m')
  35. stripped = pattern.sub('', o)
  36. return stripped
  37. class JupyterKernel:
  38. def __init__(self, url_suffix, convid, lang='python'):
  39. self.base_url = f'http://{url_suffix}'
  40. self.base_ws_url = f'ws://{url_suffix}'
  41. self.lang = lang
  42. self.kernel_id = None
  43. self.ws = None
  44. self.convid = convid
  45. logging.info(
  46. f'Jupyter kernel created for conversation {convid} at {url_suffix}'
  47. )
  48. self.heartbeat_interval = 10000 # 10 seconds
  49. self.heartbeat_callback = None
  50. async def initialize(self):
  51. await self.execute(r'%colors nocolor')
  52. # pre-defined tools
  53. self.tools_to_run = [
  54. # TODO: You can add code for your pre-defined tools here
  55. ]
  56. if os.path.exists('/opendevin/plugins/agent_skills/agentskills.py'):
  57. self.tools_to_run.append('from agentskills import *')
  58. for tool in self.tools_to_run:
  59. # logging.info(f'Tool initialized:\n{tool}')
  60. await self.execute(tool)
  61. async def _send_heartbeat(self):
  62. if not self.ws:
  63. return
  64. try:
  65. self.ws.ping()
  66. # logging.info('Heartbeat sent...')
  67. except tornado.iostream.StreamClosedError:
  68. # logging.info('Heartbeat failed, reconnecting...')
  69. try:
  70. await self._connect()
  71. except ConnectionRefusedError:
  72. logging.info(
  73. 'ConnectionRefusedError: Failed to reconnect to kernel websocket - Is the kernel still running?'
  74. )
  75. async def _connect(self):
  76. if self.ws:
  77. self.ws.close()
  78. self.ws = None
  79. client = AsyncHTTPClient()
  80. if not self.kernel_id:
  81. n_tries = 5
  82. while n_tries > 0:
  83. try:
  84. response = await client.fetch(
  85. '{}/api/kernels'.format(self.base_url),
  86. method='POST',
  87. body=json_encode({'name': self.lang}),
  88. )
  89. kernel = json_decode(response.body)
  90. self.kernel_id = kernel['id']
  91. break
  92. except Exception:
  93. # kernels are not ready yet
  94. n_tries -= 1
  95. await asyncio.sleep(1)
  96. if n_tries == 0:
  97. raise ConnectionRefusedError('Failed to connect to kernel')
  98. ws_req = HTTPRequest(
  99. url='{}/api/kernels/{}/channels'.format(
  100. self.base_ws_url, url_escape(self.kernel_id)
  101. )
  102. )
  103. self.ws = await websocket_connect(ws_req)
  104. logging.info('Connected to kernel websocket')
  105. # Setup heartbeat
  106. if self.heartbeat_callback:
  107. self.heartbeat_callback.stop()
  108. self.heartbeat_callback = PeriodicCallback(
  109. self._send_heartbeat, self.heartbeat_interval
  110. )
  111. self.heartbeat_callback.start()
  112. async def execute(self, code, timeout=120):
  113. if not self.ws:
  114. await self._connect()
  115. msg_id = uuid4().hex
  116. self.ws.write_message(
  117. json_encode(
  118. {
  119. 'header': {
  120. 'username': '',
  121. 'version': '5.0',
  122. 'session': '',
  123. 'msg_id': msg_id,
  124. 'msg_type': 'execute_request',
  125. },
  126. 'parent_header': {},
  127. 'channel': 'shell',
  128. 'content': {
  129. 'code': code,
  130. 'silent': False,
  131. 'store_history': False,
  132. 'user_expressions': {},
  133. 'allow_stdin': False,
  134. },
  135. 'metadata': {},
  136. 'buffers': {},
  137. }
  138. )
  139. )
  140. outputs = []
  141. async def wait_for_messages():
  142. execution_done = False
  143. while not execution_done:
  144. msg = await self.ws.read_message()
  145. msg = json_decode(msg)
  146. msg_type = msg['msg_type']
  147. parent_msg_id = msg['parent_header'].get('msg_id', None)
  148. if parent_msg_id != msg_id:
  149. continue
  150. if os.environ.get('DEBUG'):
  151. logging.info(
  152. f"MSG TYPE: {msg_type.upper()} DONE:{execution_done}\nCONTENT: {msg['content']}"
  153. )
  154. if msg_type == 'error':
  155. traceback = '\n'.join(msg['content']['traceback'])
  156. outputs.append(traceback)
  157. execution_done = True
  158. elif msg_type == 'stream':
  159. outputs.append(msg['content']['text'])
  160. elif msg_type in ['execute_result', 'display_data']:
  161. outputs.append(msg['content']['data']['text/plain'])
  162. if 'image/png' in msg['content']['data']:
  163. # use markdone to display image (in case of large image)
  164. outputs.append(
  165. f"\n![image](data:image/png;base64,{msg['content']['data']['image/png']})\n"
  166. )
  167. elif msg_type == 'execute_reply':
  168. execution_done = True
  169. return execution_done
  170. async def interrupt_kernel():
  171. client = AsyncHTTPClient()
  172. interrupt_response = await client.fetch(
  173. f'{self.base_url}/api/kernels/{self.kernel_id}/interrupt',
  174. method='POST',
  175. body=json_encode({'kernel_id': self.kernel_id}),
  176. )
  177. logging.info(f'Kernel interrupted: {interrupt_response}')
  178. try:
  179. execution_done = await asyncio.wait_for(wait_for_messages(), timeout)
  180. except asyncio.TimeoutError:
  181. await interrupt_kernel()
  182. return f'[Execution timed out ({timeout} seconds).]'
  183. if not outputs and execution_done:
  184. ret = '[Code executed successfully with no output]'
  185. else:
  186. ret = ''.join(outputs)
  187. # Remove ANSI
  188. ret = strip_ansi(ret)
  189. if os.environ.get('DEBUG'):
  190. logging.info(f'OUTPUT:\n{ret}')
  191. return ret
  192. async def shutdown_async(self):
  193. if self.kernel_id:
  194. client = AsyncHTTPClient()
  195. await client.fetch(
  196. '{}/api/kernels/{}'.format(self.base_url, self.kernel_id),
  197. method='DELETE',
  198. )
  199. self.kernel_id = None
  200. if self.ws:
  201. self.ws.close()
  202. self.ws = None
  203. class ExecuteHandler(tornado.web.RequestHandler):
  204. def initialize(self, jupyter_kernel):
  205. self.jupyter_kernel = jupyter_kernel
  206. async def post(self):
  207. data = json_decode(self.request.body)
  208. code = data.get('code')
  209. if not code:
  210. self.set_status(400)
  211. self.write('Missing code')
  212. return
  213. output = await self.jupyter_kernel.execute(code)
  214. self.write(output)
  215. def make_app():
  216. jupyter_kernel = JupyterKernel(
  217. f"localhost:{os.environ.get('JUPYTER_GATEWAY_PORT')}",
  218. os.environ.get('JUPYTER_GATEWAY_KERNEL_ID'),
  219. )
  220. asyncio.get_event_loop().run_until_complete(jupyter_kernel.initialize())
  221. return tornado.web.Application(
  222. [
  223. (r'/execute', ExecuteHandler, {'jupyter_kernel': jupyter_kernel}),
  224. ]
  225. )
  226. if __name__ == '__main__':
  227. app = make_app()
  228. app.listen(os.environ.get('JUPYTER_EXEC_SERVER_PORT'))
  229. tornado.ioloop.IOLoop.current().start()