task.xml 7.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186
  1. <class name="Task">
  2. <relationships>
  3. <association name="parent" class="MvKController" min="1" max="1"/>
  4. </relationships>
  5. <constructor>
  6. <parameter name="taskname"/>
  7. <parameter name="mvs_operations"/>
  8. <parameter name="mvk"/>
  9. <body>
  10. <![CDATA[
  11. self.taskname = taskname
  12. self.mvs_operations = mvs_operations
  13. self.mvk = mvk
  14. self.unlocked = True
  15. self.input_queue = []
  16. self.output_queue = []
  17. self.outputs = []
  18. ]]>
  19. </body>
  20. </constructor>
  21. <method name="execute_modelverse">
  22. <parameter name="taskname"/>
  23. <parameter name="operation"/>
  24. <parameter name="params"/>
  25. <body>
  26. <![CDATA[
  27. reply = None
  28. commands = []
  29. mvk = self.mvk
  30. mvs_operations = self.mvs_operations
  31. try:
  32. while 1:
  33. commands = mvk.execute_yields(taskname, operation, params, reply)
  34. if commands is None:
  35. break
  36. reply = [mvs_operations[command[0]](*(command[1])) for command in commands]
  37. return (0.0, False)
  38. except SleepKernel as e:
  39. return (e.timeout, e.interruptable)
  40. except:
  41. import traceback
  42. print(traceback.format_exc())
  43. return (float('inf'), False)
  44. ]]>
  45. </body>
  46. </method>
  47. <scxml initial="main">
  48. <parallel id="main">
  49. <state id="queue">
  50. <state id="queue">
  51. <transition event="input" target=".">
  52. <parameter name="params"/>
  53. <script>
  54. self.input_queue.extend(params)
  55. </script>
  56. </transition>
  57. <transition event="output" target=".">
  58. <parameter name="params"/>
  59. <script>
  60. self.output_queue.append(params)
  61. </script>
  62. </transition>
  63. <transition cond="self.outputs" target=".">
  64. <script>
  65. source, value = self.outputs.pop(0)
  66. </script>
  67. <raise event="HTTP_input" scope="narrow" target="'parent/to_mvi/%s' % source">
  68. <parameter expr="json.dumps(value)"/>
  69. </raise>
  70. </transition>
  71. </state>
  72. </state>
  73. <state id="process" initial="running">
  74. <state id="running" initial="components">
  75. <transition event="suspend" target="../suspended"/>
  76. <history id="history" type="deep"/>
  77. <parallel id="components">
  78. <state id="input">
  79. <state id="input">
  80. <transition cond="self.input_queue" target=".">
  81. <script>
  82. for args_entry in self.input_queue:
  83. self.execute_modelverse(self.taskname, "set_input", [args_entry])
  84. self.input_queue = []
  85. </script>
  86. <raise event="wake_timer"/>
  87. </transition>
  88. </state>
  89. </state>
  90. <state id="processing" initial="processing">
  91. <state id="processing">
  92. <onentry>
  93. <script>
  94. start_time = time.time()
  95. # Grant each task some milliseconds of execution
  96. while (time.time() - start_time &lt; 0.05):
  97. timeout = self.execute_modelverse(self.taskname, "execute_rule", [])
  98. if timeout[0] > 0.0:
  99. # We should not continue immediately
  100. break
  101. self.timeout = timeout
  102. </script>
  103. </onentry>
  104. <transition cond="self.timeout[0] == 0.0" after="self.sccd_yield()" target="."/>
  105. <transition cond="0.0 &lt; self.timeout[0] &lt; float('inf')" after="self.sccd_yield()" target="../blocked">
  106. <script>
  107. self.unlocked = False
  108. </script>
  109. <raise event="start_timer">
  110. <parameter expr="self.timeout[0]"/>
  111. <parameter expr="self.timeout[1]"/>
  112. </raise>
  113. </transition>
  114. <transition cond="self.timeout[0] == float('inf')" target="../failed"/>
  115. </state>
  116. <state id="blocked">
  117. <transition cond="self.unlocked" target="../processing"/>
  118. </state>
  119. <state id="failed">
  120. <script>
  121. print("TODO: task has failed")
  122. </script>
  123. </state>
  124. </state>
  125. <state id="output">
  126. <state id="output">
  127. <onentry>
  128. <script>
  129. if self.output_queue:
  130. if self.execute_modelverse(self.taskname, "get_output", []):
  131. if self.mvk.success:
  132. self.outputs.append((self.output_queue.pop(0), self.mvk.returnvalue))
  133. </script>
  134. </onentry>
  135. <transition after="self.sccd_yield() + 0.1" target="."/>
  136. </state>
  137. </state>
  138. </parallel>
  139. </state>
  140. <state id="suspended">
  141. <transition event="resume" target="../running/history"/>
  142. </state>
  143. </state>
  144. <state id="timer" initial="ready">
  145. <state id="waiting">
  146. <transition after="self.sccd_yield() + self.timer_duration" target="../ready"/>
  147. <transition event="wake_timer" cond="self.interruptable" target="../ready"/>
  148. </state>
  149. <state id="ready">
  150. <onentry>
  151. <script>
  152. self.unlocked = True
  153. </script>
  154. </onentry>
  155. <transition event="start_timer" target="../waiting">
  156. <parameter name="duration"/>
  157. <parameter name="interruptable"/>
  158. <script>
  159. self.timer_duration = duration
  160. self.interruptable = interruptable
  161. </script>
  162. </transition>
  163. </state>
  164. </state>
  165. </parallel>
  166. </scxml>
  167. </class>