graph_assembler.md

graph_assembler

Source: emel/graph/assembler/sm.hpp

Mermaid

stateDiagram-v2
  direction TB
  [*] --> uninitialized
  uninitialized --> model__ : reserve_graph [valid_reserve_] / begin_reserve_
  uninitialized --> uninitialized : reserve_graph [invalid_reserve_with_dispatchable_output_] / reject_invalid_reserve_with_dispatch_
  uninitialized --> uninitialized : reserve_graph [invalid_reserve_with_output_only_] / reject_invalid_reserve_with_output_only_
  uninitialized --> uninitialized : reserve_graph [invalid_reserve_without_output_] / reject_invalid_reserve_without_output_
  reserved --> reserved : reserve_graph [valid_reserve_] / reject_invalid_reserve_with_dispatch_
  reserved --> reserved : reserve_graph [invalid_reserve_with_dispatchable_output_] / reject_invalid_reserve_with_dispatch_
  reserved --> reserved : reserve_graph [invalid_reserve_with_output_only_] / reject_invalid_reserve_with_output_only_
  reserved --> reserved : reserve_graph [invalid_reserve_without_output_] / reject_invalid_reserve_without_output_
  model__ --> reserve_validate_decision : completion_reserve_graph_ [always] / none
  reserve_validate_decision --> model__ : completion_reserve_graph_ [reserve_validate_done_] / none
  reserve_validate_decision --> reserve_dispatch_decision : completion_reserve_graph_ [reserve_validate_failed_] / none
  model__ --> reserve_build_decision : completion_reserve_graph_ [always] / none
  reserve_build_decision --> model__ : completion_reserve_graph_ [reserve_build_done_] / none
  reserve_build_decision --> reserve_dispatch_decision : completion_reserve_graph_ [reserve_build_failed_] / none
  model__ --> reserve_alloc_decision : completion_reserve_graph_ [always] / none
  reserve_alloc_decision --> reserve_dispatch_decision : completion_reserve_graph_ [reserve_alloc_done_] / commit_reserve_result_
  reserve_alloc_decision --> reserve_dispatch_decision : completion_reserve_graph_ [reserve_alloc_failed_] / none
  reserve_dispatch_decision --> reserved : completion_reserve_graph_ [reserve_error_none_] / dispatch_reserve_done_
  reserve_dispatch_decision --> uninitialized : completion_reserve_graph_ [reserve_error_invalid_request_] / dispatch_reserve_error_
  reserve_dispatch_decision --> uninitialized : completion_reserve_graph_ [reserve_error_capacity_] / dispatch_reserve_error_
  reserve_dispatch_decision --> uninitialized : completion_reserve_graph_ [reserve_error_internal_error_] / dispatch_reserve_error_
  reserve_dispatch_decision --> uninitialized : completion_reserve_graph_ [reserve_error_untracked_] / dispatch_reserve_error_
  reserve_dispatch_decision --> uninitialized : completion_reserve_graph_ [reserve_error_unknown_] / dispatch_reserve_error_
  reserved --> model__ : assemble_graph [valid_assemble_] / begin_assemble_
  reserved --> reserved : assemble_graph [invalid_assemble_with_dispatchable_output_] / reject_invalid_assemble_with_dispatch_
  reserved --> reserved : assemble_graph [invalid_assemble_with_output_only_] / reject_invalid_assemble_with_output_only_
  reserved --> reserved : assemble_graph [invalid_assemble_without_output_] / reject_invalid_assemble_without_output_
  uninitialized --> uninitialized : assemble_graph [valid_assemble_] / reject_invalid_assemble_with_dispatch_
  uninitialized --> uninitialized : assemble_graph [invalid_assemble_with_dispatchable_output_] / reject_invalid_assemble_with_dispatch_
  uninitialized --> uninitialized : assemble_graph [invalid_assemble_with_output_only_] / reject_invalid_assemble_with_output_only_
  uninitialized --> uninitialized : assemble_graph [invalid_assemble_without_output_] / reject_invalid_assemble_without_output_
  model__ --> assemble_validate_decision : completion_assemble_graph_ [always] / none
  assemble_validate_decision --> model__ : completion_assemble_graph_ [assemble_validate_done_] / none
  assemble_validate_decision --> assemble_dispatch_decision : completion_assemble_graph_ [assemble_validate_failed_] / none
  model__ --> reuse_decision : completion_assemble_graph_ [always] / none
  reuse_decision --> assemble_dispatch_decision : completion_assemble_graph_ [reuse_decision_reused_] / commit_assemble_reuse_result_
  reuse_decision --> model__ : completion_assemble_graph_ [reuse_decision_rebuild_] / none
  reuse_decision --> assemble_dispatch_decision : completion_assemble_graph_ [reuse_decision_failed_] / none
  model__ --> assemble_build_decision : completion_assemble_graph_ [always] / none
  assemble_build_decision --> model__ : completion_assemble_graph_ [assemble_build_done_] / none
  assemble_build_decision --> assemble_dispatch_decision : completion_assemble_graph_ [assemble_build_failed_] / none
  model__ --> assemble_alloc_decision : completion_assemble_graph_ [always] / none
  assemble_alloc_decision --> assemble_dispatch_decision : completion_assemble_graph_ [assemble_alloc_done_] / commit_assemble_rebuild_result_
  assemble_alloc_decision --> assemble_dispatch_decision : completion_assemble_graph_ [assemble_alloc_failed_] / none
  assemble_dispatch_decision --> reserved : completion_assemble_graph_ [assemble_error_none_] / dispatch_assemble_done_
  assemble_dispatch_decision --> reserved : completion_assemble_graph_ [assemble_error_invalid_request_] / dispatch_assemble_error_
  assemble_dispatch_decision --> reserved : completion_assemble_graph_ [assemble_error_capacity_] / dispatch_assemble_error_
  assemble_dispatch_decision --> reserved : completion_assemble_graph_ [assemble_error_internal_error_] / dispatch_assemble_error_
  assemble_dispatch_decision --> reserved : completion_assemble_graph_ [assemble_error_untracked_] / dispatch_assemble_error_
  assemble_dispatch_decision --> reserved : completion_assemble_graph_ [assemble_error_unknown_] / dispatch_assemble_error_
  uninitialized --> uninitialized : _ [always] / on_unexpected_
  reserved --> reserved : _ [always] / on_unexpected_
  reserve_validate_decision --> reserve_dispatch_decision : _ [always] / on_unexpected_
  reserve_build_decision --> reserve_dispatch_decision : _ [always] / on_unexpected_
  reserve_alloc_decision --> reserve_dispatch_decision : _ [always] / on_unexpected_
  reserve_dispatch_decision --> uninitialized : _ [always] / on_unexpected_
  assemble_validate_decision --> assemble_dispatch_decision : _ [always] / on_unexpected_
  reuse_decision --> assemble_dispatch_decision : _ [always] / on_unexpected_
  assemble_build_decision --> assemble_dispatch_decision : _ [always] / on_unexpected_
  assemble_alloc_decision --> assemble_dispatch_decision : _ [always] / on_unexpected_
  assemble_dispatch_decision --> reserved : _ [always] / on_unexpected_

Loading

Transitions

Source	Event	Guard	Action	Target
uninitialized	reserve_graph	valid_reserve>	begin_reserve>	model>>
uninitialized	reserve_graph	invalid_reserve_with_dispatchable_output>	reject_invalid_reserve_with_dispatch>	uninitialized
uninitialized	reserve_graph	invalid_reserve_with_output_only>	reject_invalid_reserve_with_output_only>	uninitialized
uninitialized	reserve_graph	invalid_reserve_without_output>	reject_invalid_reserve_without_output>	uninitialized
reserved	reserve_graph	valid_reserve>	reject_invalid_reserve_with_dispatch>	reserved
reserved	reserve_graph	invalid_reserve_with_dispatchable_output>	reject_invalid_reserve_with_dispatch>	reserved
reserved	reserve_graph	invalid_reserve_with_output_only>	reject_invalid_reserve_with_output_only>	reserved
reserved	reserve_graph	invalid_reserve_without_output>	reject_invalid_reserve_without_output>	reserved
model>>	completion<reserve_graph>	always	none	reserve_validate_decision
reserve_validate_decision	completion<reserve_graph>	reserve_validate_done>	none	model>>
reserve_validate_decision	completion<reserve_graph>	reserve_validate_failed>	none	reserve_dispatch_decision
model>>	completion<reserve_graph>	always	none	reserve_build_decision
reserve_build_decision	completion<reserve_graph>	reserve_build_done>	none	model>>
reserve_build_decision	completion<reserve_graph>	reserve_build_failed>	none	reserve_dispatch_decision
model>>	completion<reserve_graph>	always	none	reserve_alloc_decision
reserve_alloc_decision	completion<reserve_graph>	reserve_alloc_done>	commit_reserve_result>	reserve_dispatch_decision
reserve_alloc_decision	completion<reserve_graph>	reserve_alloc_failed>	none	reserve_dispatch_decision
reserve_dispatch_decision	completion<reserve_graph>	reserve_error_none>	dispatch_reserve_done>	reserved
reserve_dispatch_decision	completion<reserve_graph>	reserve_error_invalid_request>	dispatch_reserve_error>	uninitialized
reserve_dispatch_decision	completion<reserve_graph>	reserve_error_capacity>	dispatch_reserve_error>	uninitialized
reserve_dispatch_decision	completion<reserve_graph>	reserve_error_internal_error>	dispatch_reserve_error>	uninitialized
reserve_dispatch_decision	completion<reserve_graph>	reserve_error_untracked>	dispatch_reserve_error>	uninitialized
reserve_dispatch_decision	completion<reserve_graph>	reserve_error_unknown>	dispatch_reserve_error>	uninitialized
reserved	assemble_graph	valid_assemble>	begin_assemble>	model>>
reserved	assemble_graph	invalid_assemble_with_dispatchable_output>	reject_invalid_assemble_with_dispatch>	reserved
reserved	assemble_graph	invalid_assemble_with_output_only>	reject_invalid_assemble_with_output_only>	reserved
reserved	assemble_graph	invalid_assemble_without_output>	reject_invalid_assemble_without_output>	reserved
uninitialized	assemble_graph	valid_assemble>	reject_invalid_assemble_with_dispatch>	uninitialized
uninitialized	assemble_graph	invalid_assemble_with_dispatchable_output>	reject_invalid_assemble_with_dispatch>	uninitialized
uninitialized	assemble_graph	invalid_assemble_with_output_only>	reject_invalid_assemble_with_output_only>	uninitialized
uninitialized	assemble_graph	invalid_assemble_without_output>	reject_invalid_assemble_without_output>	uninitialized
model>>	completion<assemble_graph>	always	none	assemble_validate_decision
assemble_validate_decision	completion<assemble_graph>	assemble_validate_done>	none	model>>
assemble_validate_decision	completion<assemble_graph>	assemble_validate_failed>	none	assemble_dispatch_decision
model>>	completion<assemble_graph>	always	none	reuse_decision
reuse_decision	completion<assemble_graph>	reuse_decision_reused>	commit_assemble_reuse_result>	assemble_dispatch_decision
reuse_decision	completion<assemble_graph>	reuse_decision_rebuild>	none	model>>
reuse_decision	completion<assemble_graph>	reuse_decision_failed>	none	assemble_dispatch_decision
model>>	completion<assemble_graph>	always	none	assemble_build_decision
assemble_build_decision	completion<assemble_graph>	assemble_build_done>	none	model>>
assemble_build_decision	completion<assemble_graph>	assemble_build_failed>	none	assemble_dispatch_decision
model>>	completion<assemble_graph>	always	none	assemble_alloc_decision
assemble_alloc_decision	completion<assemble_graph>	assemble_alloc_done>	commit_assemble_rebuild_result>	assemble_dispatch_decision
assemble_alloc_decision	completion<assemble_graph>	assemble_alloc_failed>	none	assemble_dispatch_decision
assemble_dispatch_decision	completion<assemble_graph>	assemble_error_none>	dispatch_assemble_done>	reserved
assemble_dispatch_decision	completion<assemble_graph>	assemble_error_invalid_request>	dispatch_assemble_error>	reserved
assemble_dispatch_decision	completion<assemble_graph>	assemble_error_capacity>	dispatch_assemble_error>	reserved
assemble_dispatch_decision	completion<assemble_graph>	assemble_error_internal_error>	dispatch_assemble_error>	reserved
assemble_dispatch_decision	completion<assemble_graph>	assemble_error_untracked>	dispatch_assemble_error>	reserved
assemble_dispatch_decision	completion<assemble_graph>	assemble_error_unknown>	dispatch_assemble_error>	reserved
uninitialized	_	always	on_unexpected>	uninitialized
reserved	_	always	on_unexpected>	reserved
reserve_validate_decision	_	always	on_unexpected>	reserve_dispatch_decision
reserve_build_decision	_	always	on_unexpected>	reserve_dispatch_decision
reserve_alloc_decision	_	always	on_unexpected>	reserve_dispatch_decision
reserve_dispatch_decision	_	always	on_unexpected>	uninitialized
assemble_validate_decision	_	always	on_unexpected>	assemble_dispatch_decision
reuse_decision	_	always	on_unexpected>	assemble_dispatch_decision
assemble_build_decision	_	always	on_unexpected>	assemble_dispatch_decision
assemble_alloc_decision	_	always	on_unexpected>	assemble_dispatch_decision
assemble_dispatch_decision	_	always	on_unexpected>	reserved