mvkcontroller.xml 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266
  1. <class name="MvKController">
  2. <relationships>
  3. <association name="to_mvi" class="Server" min="1" max="1"/>
  4. </relationships>
  5. <constructor>
  6. <parameter name="params"/>
  7. <body>
  8. <![CDATA[
  9. self.mvs = ModelverseState("../bootstrap/bootstrap.m.gz")
  10. # Enable Garbage Collection
  11. self.mvs.GC = True
  12. self.root = self.mvs.read_root()[0]
  13. # Instantiate the kernel.
  14. default_kernel_type = 'baseline-jit'
  15. kernel_type = default_kernel_type
  16. for parameter in params:
  17. if parameter.startswith('--kernel='):
  18. kernel_type = parameter[len('--kernel='):]
  19. if kernel_type == 'legacy-interpreter':
  20. self.mvk = LegacyModelverseKernel(self.root)
  21. elif kernel_type == 'interpreter':
  22. self.mvk = ModelverseKernel(self.root)
  23. self.mvk.jit.set_jit_enabled(False)
  24. else:
  25. if kernel_type != default_kernel_type:
  26. print(
  27. "warning: unknown kernel type '%s'. Defaulting to '%s'."
  28. % (kernel_type, default_kernel_type))
  29. self.mvk = ModelverseKernel(self.root)
  30. self.all_failed = False
  31. self.timeout = False
  32. self.init_time = time.time()
  33. self.users = set()
  34. self.input_queue = defaultdict(list)
  35. self.output_queue = defaultdict(list)
  36. self.source = None
  37. self.port = int(sys.argv[1])
  38. self.count = 0
  39. self.debugged_users = set()
  40. self.debug_info = {}
  41. self.done_something = False
  42. self.mvs_operations = {
  43. "CN": self.mvs.create_node,
  44. "CE": self.mvs.create_edge,
  45. "CNV": self.mvs.create_nodevalue,
  46. "CD": self.mvs.create_dict,
  47. "RV": self.mvs.read_value,
  48. "RO": self.mvs.read_outgoing,
  49. "RI": self.mvs.read_incoming,
  50. "RE": self.mvs.read_edge,
  51. "RD": self.mvs.read_dict,
  52. "RDN": self.mvs.read_dict_node,
  53. "RDNE": self.mvs.read_dict_node_edge,
  54. "RDE": self.mvs.read_dict_edge,
  55. "RRD": self.mvs.read_reverse_dict,
  56. "RR": self.mvs.read_root,
  57. "RDK": self.mvs.read_dict_keys,
  58. "DE": self.mvs.delete_edge,
  59. "DN": self.mvs.delete_node,
  60. }
  61. self.execute_modelverse("", "load_primitives", [])
  62. ]]>
  63. </body>
  64. </constructor>
  65. <method name="execute_modelverse">
  66. <parameter name="username"/>
  67. <parameter name="operation"/>
  68. <parameter name="params"/>
  69. <body>
  70. <![CDATA[
  71. reply = None
  72. commands = []
  73. while 1:
  74. commands = self.mvk.execute_yields(username, operation, params, reply)
  75. if commands is None:
  76. break
  77. reply = [self.mvs_operations[command[0]](*(command[1]))[0] for command in commands]
  78. #for c, r in zip(commands, reply):
  79. # print("%s --> %s" % (c, r))
  80. ]]>
  81. </body>
  82. </method>
  83. <scxml initial="init_server">
  84. <state id="init_server">
  85. <onentry>
  86. <raise scope="cd" event="create_instance">
  87. <parameter expr="'to_mvi'"/>
  88. <parameter expr="'Server'"/>
  89. <parameter expr="''"/>
  90. <parameter expr="self.port"/>
  91. </raise>
  92. </onentry>
  93. <transition event="instance_created" target="../running">
  94. <parameter name="instancename"/>
  95. <raise scope="cd" event="start_instance">
  96. <parameter expr="instancename"/>
  97. </raise>
  98. </transition>
  99. </state>
  100. <parallel id="running">
  101. <state id="wait_for_requests">
  102. <state id="wait">
  103. <transition event="from_mvi" target=".">
  104. <parameter name="source"/>
  105. <parameter name="data"/>
  106. <script>
  107. # No JSON encoding necessary, as it is not complex
  108. try:
  109. self.done_something = False
  110. if data["op"] == "set_input":
  111. if "value" in data:
  112. value = [json.loads(data["value"])]
  113. else:
  114. value = json.loads(data["data"])
  115. self.input_queue[data["username"]].append((source, value))
  116. elif data["op"] == "get_output":
  117. self.output_queue[data["username"]].append(source)
  118. elif data["op"] == "attach_debugger":
  119. self.debugged_users.add(data["username"])
  120. self.done_something = True
  121. self.source = source
  122. self.debug_info[data["username"]] = {'state': 'running', 'breakpoints': []}
  123. elif data["op"] == "detach_debugger":
  124. self.debugged_users.discard(data["username"])
  125. self.done_something = True
  126. self.source = source
  127. del self.debug_info[data["username"]]
  128. elif data["op"] == "pause":
  129. if data["username"] in self.debugged_users:
  130. self.debug_info[data["username"]]['state'] = 'paused'
  131. self.done_something = True
  132. self.source = source
  133. elif data["op"] == "resume":
  134. if data["username"] in self.debugged_users:
  135. self.debug_info[data["username"]]['state'] = 'running'
  136. self.done_something = True
  137. self.source = source
  138. elif data["op"] == "step_over":
  139. pass
  140. self.done_something = True
  141. self.source = source
  142. elif data["op"] == "step_into":
  143. pass
  144. self.done_something = True
  145. self.source = source
  146. else:
  147. raise Exception("DROPPING unknown operation: " + str(data["op"]))
  148. except ValueError:
  149. print("Error when deserializing request: " + str(data))
  150. raise
  151. </script>
  152. </transition>
  153. <transition cond="self.done_something" target=".">
  154. <raise event="HTTP_input" scope="narrow" target="'to_mvi/%s' % self.source">
  155. <parameter expr="json.dumps(True)"/>
  156. </raise>
  157. <script>
  158. self.done_something = False
  159. </script>
  160. </transition>
  161. </state>
  162. </state>
  163. <state id="execution">
  164. <state id="execution">
  165. <onentry>
  166. <script>
  167. self.timeout = False
  168. self.destination = None
  169. if self.users:
  170. user = self.users.pop()
  171. if not user in self.debugged_users or self.debug_info[user]['state'] == 'running':
  172. # Check if there are values to input
  173. if self.input_queue[user]:
  174. source, args = self.input_queue[user].pop(0)
  175. for args_entry in args:
  176. self.execute_modelverse(user, "set_input", [args_entry])
  177. self.destination = source
  178. self.value = "OK"
  179. self.all_failed = False
  180. nr_of_steps = 1 if user in self.debugged_users else 100
  181. # Now process for some steps, or until we are again blocked for input
  182. for x in xrange(nr_of_steps):
  183. self.execute_modelverse(user, "execute_rule", [])
  184. if not self.mvk.success:
  185. # Blocking or broken, so quit already to stop wasting CPU
  186. break
  187. # Could at least execute one instruction, so mark it as "not failed"
  188. self.all_failed = False
  189. # Check that we don't have anything to output yet, otherwise we wait
  190. if self.destination is None:
  191. # Perform output if there is anything
  192. if self.output_queue[user]:
  193. self.execute_modelverse(user, "get_output", [])
  194. if self.mvk.success:
  195. self.destination = self.output_queue[user].pop(0)
  196. self.value = self.mvk.returnvalue
  197. self.all_failed = False
  198. else:
  199. if self.count >= 2000:
  200. self.count = 0
  201. self.mvs.purge()
  202. else:
  203. self.count += 1
  204. self.mvs.garbage_collect()
  205. out = self.mvs.read_outgoing(self.root)[0]
  206. for m in out:
  207. src, user = self.mvs.read_edge(m)[0]
  208. outgoing = self.mvs.read_outgoing(m)[0]
  209. first = self.mvs.read_edge(outgoing[0])[0]
  210. dest = first[1]
  211. name = self.mvs.read_value(dest)[0]
  212. if name.startswith("__"):
  213. continue
  214. self.users.add(name)
  215. self.timeout = self.all_failed
  216. self.all_failed = True
  217. </script>
  218. </onentry>
  219. <transition cond="self.destination is not None" after="self.sccd_yield()" target=".">
  220. <raise event="HTTP_input" scope="narrow" target="'to_mvi/%s' % self.destination">
  221. <parameter expr="json.dumps(self.value)"/>
  222. </raise>
  223. </transition>
  224. <transition cond="self.timeout and self.destination is None" after="self.sccd_yield() + 0.10" target="."/>
  225. <transition cond="not self.timeout and self.destination is None" after="self.sccd_yield()" target="."/>
  226. </state>
  227. </state>
  228. <state id="remove_sockets">
  229. <state id="remove_sockets">
  230. <transition event="delete_socket" target=".">
  231. <parameter name="socket"/>
  232. <script>
  233. for user in self.output_queue.keys():
  234. self.output_queue[user] = [s for s in self.output_queue[user] if s != socket]
  235. </script>
  236. </transition>
  237. </state>
  238. </state>
  239. </parallel>
  240. </scxml>
  241. </class>