mistral/mistral/engine
Renat Akhmerov 0d2ebb7b01 Add a periodic job to check workflow execution integrity
* Added a method called via scheduler to check and fix workflow
  execution integrity. Specifically, this method finds all
  task executions in RUNNING state and for each of them checks
  whether all its action/workflow executions are finished. If yes,
  it most likely means that the task got stuck (i.e. an RPC
  was lost) and we need to repair it.
* Also added atomic update of a task execution state using the
  well-known approach with "UPDATE ... WHERE" SQL query which
  returns a number of actually updated rows. This prevents
  from possible races between concurrent processes that try to
  update a task execution in overlapping transactions.
* Other minor style changes

Change-Id: If4f2efb05d959d1ffdb16515f08a811c5ce597e6
2017-11-15 18:31:01 +07:00
..
__init__.py Renaming "engine1" to "engine" 2015-04-09 17:47:36 +06:00
action_handler.py Dynamic workflow name evaluation. 2017-08-16 13:17:10 +02:00
action_queue.py Optimize sending result to parent workflow 2017-10-09 01:38:33 +00:00
actions.py Optimize sending result to parent workflow 2017-10-09 01:38:33 +00:00
base.py Create and run a workflow within a namespace 2017-08-01 13:51:05 +00:00
default_engine.py Fix deletion of delayed calls 2017-10-23 13:56:57 +07:00
dispatcher.py Add hide_args=True to @profiler.trace() where it may cause problems 2017-05-12 15:22:46 +07:00
engine_server.py Optimize sending result to parent workflow 2017-10-09 01:38:33 +00:00
policies.py Fix deletion of delayed calls 2017-10-23 13:56:57 +07:00
task_handler.py Fix deletion of delayed calls 2017-10-23 13:56:57 +07:00
tasks.py Add a periodic job to check workflow execution integrity 2017-11-15 18:31:01 +07:00
utils.py Create and run a workflow within a namespace 2017-08-01 13:51:05 +00:00
workflow_handler.py Add a periodic job to check workflow execution integrity 2017-11-15 18:31:01 +07:00
workflows.py Add a periodic job to check workflow execution integrity 2017-11-15 18:31:01 +07:00