task.xml 7.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184
  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. print("Got sleep for: " + str(e.timeout))
  40. return (e.timeout, False)
  41. except:
  42. import traceback
  43. print(traceback.format_exc())
  44. return (float('inf'), False)
  45. ]]>
  46. </body>
  47. </method>
  48. <scxml initial="main">
  49. <parallel id="main">
  50. <state id="queue">
  51. <state id="queue">
  52. <transition event="input" target=".">
  53. <parameter name="params"/>
  54. <script>
  55. self.input_queue.extend(params)
  56. </script>
  57. </transition>
  58. <transition event="output" target=".">
  59. <parameter name="params"/>
  60. <script>
  61. self.output_queue.append(params)
  62. </script>
  63. </transition>
  64. <transition cond="self.outputs" target=".">
  65. <script>
  66. source, value = self.outputs.pop(0)
  67. </script>
  68. <raise event="HTTP_input" scope="narrow" target="'parent/to_mvi/%s' % source">
  69. <parameter expr="json.dumps(value)"/>
  70. </raise>
  71. </transition>
  72. </state>
  73. </state>
  74. <state id="process" initial="running">
  75. <state id="running" initial="components">
  76. <transition event="suspend" target="../suspended"/>
  77. <history id="history" type="deep"/>
  78. <parallel id="components">
  79. <state id="input">
  80. <state id="input">
  81. <transition cond="self.input_queue" target=".">
  82. <script>
  83. for args_entry in self.input_queue:
  84. self.execute_modelverse(self.taskname, "set_input", [args_entry])
  85. self.input_queue = []
  86. </script>
  87. <raise event="wake_timer"/>
  88. </transition>
  89. </state>
  90. </state>
  91. <state id="processing" initial="processing">
  92. <state id="processing">
  93. <onentry>
  94. <script>
  95. start_time = time.time()
  96. # Grant each task some milliseconds of execution
  97. while (time.time() - start_time &lt; 0.05):
  98. timeout = self.execute_modelverse(self.taskname, "execute_rule", [])
  99. if timeout[0] > 0.0:
  100. # We should not continue immediately
  101. break
  102. self.timeout = timeout
  103. </script>
  104. </onentry>
  105. <transition cond="self.timeout[0] == 0.0" after="self.sccd_yield()" target="."/>
  106. <transition cond="0.0 &lt; self.timeout[0] &lt; float('inf')" after="self.sccd_yield()" target="../blocked">
  107. <script>
  108. self.unlocked = False
  109. </script>
  110. <raise event="start_timer">
  111. <parameter expr="self.timeout[0]"/>
  112. <parameter expr="self.timeout[1]"/>
  113. </raise>
  114. </transition>
  115. <transition cond="self.timeout[0] == float('inf')" target="../failed"/>
  116. </state>
  117. <state id="blocked">
  118. <transition cond="self.unlocked" target="../processing"/>
  119. </state>
  120. <state id="failed">
  121. <script>
  122. print("TODO: task has failed")
  123. </script>
  124. </state>
  125. </state>
  126. <state id="output">
  127. <state id="output">
  128. <onentry>
  129. <script>
  130. if self.output_queue:
  131. if self.execute_modelverse(self.taskname, "get_output", []):
  132. self.outputs.append((self.output_queue.pop(0), self.mvk.returnvalue))
  133. </script>
  134. </onentry>
  135. </state>
  136. </state>
  137. </parallel>
  138. </state>
  139. <state id="suspended">
  140. <transition event="resume" target="../running/history"/>
  141. </state>
  142. </state>
  143. <state id="timer" initial="ready">
  144. <state id="waiting">
  145. <transition after="self.sccd_yield() + self.timer_duration" target="../ready"/>
  146. <transition event="wake_timer" cond="self.interruptable" target="../ready"/>
  147. </state>
  148. <state id="ready">
  149. <onentry>
  150. <script>
  151. self.unlocked = True
  152. </script>
  153. </onentry>
  154. <transition event="start_timer" target="../waiting">
  155. <parameter name="duration"/>
  156. <parameter name="interruptable"/>
  157. <script>
  158. self.timer_duration = duration
  159. self.interruptable = interruptable
  160. </script>
  161. </transition>
  162. </state>
  163. </state>
  164. </parallel>
  165. </scxml>
  166. </class>