executor.xml 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160
  1. <class name="Executor">
  2. <relationships>
  3. <association name="parent" class="MvKController" min="1" max="1"/>
  4. </relationships>
  5. <constructor>
  6. <parameter name="mvk"/>
  7. <body>
  8. <![CDATA[
  9. self.mvs = ModelverseState("../bootstrap/bootstrap.m.gz")
  10. self.request_queue = [("", "", "load_primitives", [], None)]
  11. self.mvs.GC = True
  12. self.mvk = mvk
  13. self.first = True
  14. self.mvs_response = None
  15. self.mvs_operations = {
  16. "CN": self.mvs.create_node,
  17. "CE": self.mvs.create_edge,
  18. "CNV": self.mvs.create_nodevalue,
  19. "CD": self.mvs.create_dict,
  20. "RV": self.mvs.read_value,
  21. "RO": self.mvs.read_outgoing,
  22. "RI": self.mvs.read_incoming,
  23. "RE": self.mvs.read_edge,
  24. "RD": self.mvs.read_dict,
  25. "RDN": self.mvs.read_dict_node,
  26. "RDNE": self.mvs.read_dict_node_edge,
  27. "RDE": self.mvs.read_dict_edge,
  28. "RRD": self.mvs.read_reverse_dict,
  29. "RR": self.mvs.read_root,
  30. "RDK": self.mvs.read_dict_keys,
  31. "DE": self.mvs.delete_edge,
  32. "DN": self.mvs.delete_node,
  33. }
  34. ]]>
  35. </body>
  36. </constructor>
  37. <method name="execute_modelverse">
  38. <parameter name="username"/>
  39. <parameter name="operation"/>
  40. <parameter name="params"/>
  41. <body>
  42. <![CDATA[
  43. reply = None
  44. commands = []
  45. while 1:
  46. commands = self.mvk.execute_yields(username, operation, params, reply)
  47. if commands is None:
  48. break
  49. reply = [self.mvs_operations[command[0]](*(command[1]))[0] for command in commands]
  50. #for c, r in zip(commands, reply):
  51. # print("%s --> %s" % (c, r))
  52. ]]>
  53. </body>
  54. </method>
  55. <scxml initial="init">
  56. <parallel id="init">
  57. <state id="queue">
  58. <state id="queue">
  59. <transition event="execute" target=".">
  60. <parameter name="returnpath"/>
  61. <parameter name="username"/>
  62. <parameter name="operation"/>
  63. <parameter name="params"/>
  64. <parameter name="request_id"/>
  65. <script>
  66. print 'got execute event'
  67. self.request_queue.append(("/" + returnpath, username, operation, params, request_id))
  68. </script>
  69. </transition>
  70. </state>
  71. </state>
  72. <state id="execute" initial="idle">
  73. <state id="idle">
  74. <onentry>
  75. <script>
  76. print 'in idle'
  77. </script>
  78. </onentry>
  79. <transition cond="self.request_queue" target="../execution"/>
  80. </state>
  81. <state id="execution">
  82. <onentry>
  83. <script>
  84. try:
  85. _, username, operation, params, _ = self.request_queue[0]
  86. print 'executing %s %s' % (operation, params)
  87. self.mvs_commands = self.mvk.execute_yields(username, operation, params, self.mvs_response)
  88. except:
  89. import traceback
  90. traceback.print_exc()
  91. print("Exec error")
  92. #TODO for debugging
  93. sys.exit(0)
  94. self.mvs_commands = None
  95. </script>
  96. </onentry>
  97. <transition cond="self.mvs_commands is None" target="../idle">
  98. <script>
  99. returnpath, _, _, _, request_id = self.request_queue.pop(0)
  100. self.mvs_response = None
  101. </script>
  102. <raise event="executed" scope="narrow" target="'parent' + returnpath">
  103. <parameter expr="self.mvk.returnvalue"/>
  104. <parameter expr="self.mvk.success"/>
  105. <parameter expr="request_id"/>
  106. </raise>
  107. <script>
  108. self.mvk.returnvalue = None
  109. self.mvk.success = True
  110. self.first = True
  111. </script>
  112. </transition>
  113. <transition cond="self.mvs_commands is not None and len(self.mvs_commands) > 0" target="../waiting_for_response">
  114. <raise event="HTTP_input" scope="narrow" target="'parent/to_mvs'">
  115. <parameter expr="'requests=%s' % json.dumps(self.mvs_commands)"/>
  116. <parameter expr="'parent/executor'"/>
  117. </raise>
  118. </transition>
  119. <transition cond="self.mvs_commands is not None and len(self.mvs_commands) == 0" target=".">
  120. <script>
  121. self.mvs_response = []
  122. </script>
  123. </transition>
  124. </state>
  125. <state id="waiting_for_response">
  126. <transition event="HTTP_output" target="../execution">
  127. <parameter name="data"/>
  128. <script>
  129. self.mvs_response = [v[0] for v in json.loads(data["data"])]
  130. </script>
  131. </transition>
  132. <onexit>
  133. <script>
  134. print 'leaving waiting_for_response'
  135. </script>
  136. </onexit>
  137. <onentry>
  138. <script>
  139. print 'entering waiting_for_response'
  140. </script>
  141. </onentry>
  142. </state>
  143. </state>
  144. </parallel>
  145. </scxml>
  146. </class>