Package jline.lang.state
Class AfterFJEvent
java.lang.Object
jline.lang.state.AfterFJEvent
- All Implemented Interfaces:
Serializable
Fork firing synchronization handler (FJ tag-augmented structs, see
ModelAdapter.fjtag). The firing atomically consumes one parent job of
the entry's class held at the (stateful) Fork node and emits weight
(tasksPerLink) siblings per branch, in the auxiliary classes of the
entry's tag, at the branch head nodes.
Enabling condition (evaluated on the global state): the Fork holds at
least one parent job, and the entry's tag is the LOWEST free tag for
this (fork, class): a tag is free iff its auxiliary classes have zero
occupancy network-wide. Canonical lowest-free-tag allocation ensures
exactly one fjsync entry per (fork, class) is enabled in any state.
- See Also:
-
Nested Class Summary
Nested Classes -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionafterFJEvent(NetworkStruct sn, FJSync fjentry, List<Matrix> glspace, boolean isSimulation, EventCache eventCache)
-
Constructor Details
-
AfterFJEvent
public AfterFJEvent()
-
-
Method Details
-
afterFJEvent
public static AfterFJEvent.AfterFJEventResult afterFJEvent(NetworkStruct sn, FJSync fjentry, List<Matrix> glspace, boolean isSimulation, EventCache eventCache)
-