Package: Atomic_Controller (generic)

Description

generic
   type Task_Ids is (<>);

package Atomic_Controller is

This generic monitor synchronizes the concurrent parts of an atomic action and distributes a failure signal to all. This monitor is used in conjunction with Generic_Atomic_Action.

Tasks & Protected

Monitor

Goto spec in source

(protected)

Entries:Check_In, Fail, Failed, Check_Out, Action_Result, Check_List, State, Final_Condition, Id_Counter

References:

atomic_controller.ads:33:14 (declaration)

atomic_controller.adb:11:19 (body)

atomic_controller.adb:58:8 (label)

generic_atomic_action.adb:33:10 (reference)

generic_atomic_action.adb:37:24 (reference)

generic_atomic_action.adb:41:10 (reference)

generic_atomic_action.adb:77:27 (reference)

generic_atomic_action.adb:82:37 (reference)

generic_atomic_action.adb:83:37 (reference)

generic_atomic_action.adb:84:37 (reference)

generic_atomic_action.adb:100:24 (reference)

Called by:

Generic_Atomic_Action.Action_Task defined at generic_atomic_action.adb:17:14

Generic_Atomic_Action.Perform defined at generic_atomic_action.ads:68:14

Types

Task_Ids

Goto declaration in source

type Task_Ids is (<>);

References:

atomic_controller.ads:10:9 (declaration)

atomic_controller.adb:13:33 (reference)

atomic_controller.adb:38:75 (reference)

atomic_controller.ads:28:29 (reference)

atomic_controller.ads:35:44 (reference)

atomic_controller.ads:40:52 (reference)

atomic_controller.ads:48:25 (reference)

atomic_controller.ads:48:45 (reference)

generic_atomic_action.adb:14:29 (reference)

Atomic_State

Goto declaration in source

type Atomic_State is (Checking_In,
                         All_Checked_In,
                         Checking_Out,
                         Final);

References:

atomic_controller.ads:14:9 (declaration)

atomic_controller.ads:46:25 (reference)

Atomic_Condition

Goto declaration in source

type Atomic_Condition is (Succeeded,
                             Late_Condition,
                             Time_Out_Condition,
                             Other_Exception);

References:

atomic_controller.ads:19:9 (declaration)

atomic_controller.adb:26:31 (reference)

atomic_controller.adb:50:44 (reference)

atomic_controller.ads:37:44 (reference)

atomic_controller.ads:42:44 (reference)

atomic_controller.ads:47:25 (reference)

generic_atomic_action.adb:98:22 (reference)

Check_Out_State

Goto declaration in source

type Check_Out_State is (Normal_Check_Out, Failed_Check_Out);

References:

atomic_controller.ads:24:9 (declaration)

atomic_controller.adb:38:47 (reference)

atomic_controller.ads:40:24 (reference)

Task_State

Goto declaration in source

type Task_State is (Is_In, Is_Out);

References:

atomic_controller.ads:26:9 (declaration)

atomic_controller.ads:28:42 (reference)

Task_List

Goto declaration in source

type Task_List is array (Task_Ids) of Task_State;

References:

atomic_controller.ads:28:9 (declaration)

atomic_controller.adb:40:53 (reference)

atomic_controller.ads:30:38 (reference)

atomic_controller.ads:31:38 (reference)

atomic_controller.ads:45:25 (reference)

Constants & Global variables

Check_List_All_In

Goto declaration in source

(Task_List)

Check_List_All_In      : constant Task_List := (others => Is_In);

References:

atomic_controller.ads:30:4 (declaration)

atomic_controller.adb:20:29 (reference)

Check_List_All_Out

Goto declaration in source

(Task_List)

Check_List_All_Out     : constant Task_List := (others => Is_Out);

References:

atomic_controller.ads:31:4 (declaration)

atomic_controller.adb:45:26 (reference)

atomic_controller.ads:45:45 (reference)

Repeated_Check_In

Goto declaration in source

Repeated_Check_In : exception;

References:

atomic_controller.ads:52:4 (declaration)

atomic_controller.adb:17:19 (reference)

Subprograms & Entries

Monitor. Check_In (abstract)

Goto spec in source

Goto body in source

entry Check_In      ( Task_Id :     Task_Ids);

References:

atomic_controller.ads:35:13 (declaration)

atomic_controller.adb:13:13 (body)

atomic_controller.adb:24:11 (label)

generic_atomic_action.adb:41:18 (call)

Called by:

Generic_Atomic_Action.Action_Task defined at generic_atomic_action.adb:17:14

Monitor. Fail (abstract)

Goto spec in source

Goto body in source

entry Fail          ( Condition :     Atomic_Condition);

References:

atomic_controller.ads:37:13 (declaration)

atomic_controller.adb:26:13 (body)

atomic_controller.adb:30:11 (label)

generic_atomic_action.adb:82:45 (call)

generic_atomic_action.adb:83:45 (call)

generic_atomic_action.adb:84:45 (call)

Called by:

Generic_Atomic_Action.Action_Task defined at generic_atomic_action.adb:17:14

Monitor. Failed (abstract)

Goto spec in source

Goto body in source

entry Failed;

References:

atomic_controller.ads:38:13 (declaration)

atomic_controller.adb:32:13 (body)

atomic_controller.adb:36:11 (label)

generic_atomic_action.adb:33:18 (call)

Called by:

Generic_Atomic_Action.Action_Task defined at generic_atomic_action.adb:17:14

Monitor. Check_Out (abstract)

Goto spec in source

Goto body in source

entry Check_Out ( Check_Out_State) (Task_Id : Task_Ids);

References:

atomic_controller.ads:40:13 (declaration)

atomic_controller.adb:38:13 (body)

atomic_controller.adb:40:17 (reference)

atomic_controller.adb:48:11 (label)

generic_atomic_action.adb:37:32 (reference)

generic_atomic_action.adb:77:35 (reference)

Called by:

Generic_Atomic_Action.Action_Task defined at generic_atomic_action.adb:17:14

Monitor. Action_Result (abstract)

Goto spec in source

Goto body in source

entry Action_Result ( Condition : out Atomic_Condition);

References:

atomic_controller.ads:42:13 (declaration)

atomic_controller.adb:50:13 (body)

atomic_controller.adb:56:11 (label)

generic_atomic_action.adb:100:32 (call)

Called by:

Generic_Atomic_Action.Perform defined at generic_atomic_action.ads:68:14

Monitor. Check_List (private)

Goto spec in source

Check_List: Task_List        := Check_List_All_Out;

References:

atomic_controller.ads:45:7 (declaration)

atomic_controller.adb:16:13 (reference)

atomic_controller.adb:19:13 (write reference)

atomic_controller.adb:20:16 (reference)

atomic_controller.adb:44:10 (write reference)

atomic_controller.adb:45:13 (reference)

Called by:

Check_In defined at atomic_controller.ads:35:13

Check_Out defined at atomic_controller.ads:40:13

Monitor. State (private)

Goto spec in source

State: Atomic_State     := Checking_In;

References:

atomic_controller.ads:46:7 (declaration)

atomic_controller.adb:13:48 (reference)

atomic_controller.adb:21:16 (write reference)

atomic_controller.adb:26:54 (reference)

atomic_controller.adb:39:12 (reference)

atomic_controller.adb:43:10 (write reference)

atomic_controller.adb:46:13 (write reference)

atomic_controller.adb:50:67 (reference)

atomic_controller.adb:54:10 (write reference)

Called by:

Action_Result defined at atomic_controller.ads:42:13

Check_In defined at atomic_controller.ads:35:13

Check_Out defined at atomic_controller.ads:40:13

Fail defined at atomic_controller.ads:37:13

Monitor. Final_Condition (private)

Goto spec in source

Final_Condition: Atomic_Condition := Succeeded;

References:

atomic_controller.ads:47:7 (declaration)

atomic_controller.adb:29:10 (write reference)

atomic_controller.adb:32:25 (reference)

atomic_controller.adb:53:29 (reference)

atomic_controller.adb:55:10 (write reference)

Called by:

Action_Result defined at atomic_controller.ads:42:13

Fail defined at atomic_controller.ads:37:13

Failed defined at atomic_controller.ads:38:13

Monitor. Id_Counter (private)

Goto spec in source

Id_Counter: Task_Ids         := Task_Ids'First;

References:

atomic_controller.ads:48:7 (declaration)

Documentation

Navigation

Index

Description

Tasks & Protected

Monitor Goto spec in source (protected)

References:

Called by:

Types

Task_Ids Goto declaration in source

References:

Atomic_State Goto declaration in source

References:

Atomic_Condition Goto declaration in source

References:

Check_Out_State Goto declaration in source

References:

Task_State Goto declaration in source

References:

Task_List Goto declaration in source

References:

Constants & Global variables

Check_List_All_In Goto declaration in source (Task_List)

References:

Check_List_All_Out Goto declaration in source (Task_List)

References:

Repeated_Check_In Goto declaration in source

References:

Subprograms & Entries

Monitor. Check_In (abstract) Goto spec in source Goto body in source

References:

Called by:

Monitor. Fail (abstract) Goto spec in source Goto body in source

References:

Called by:

Monitor. Failed (abstract) Goto spec in source Goto body in source

References:

Called by:

Monitor. Check_Out (abstract) Goto spec in source Goto body in source

References:

Called by:

Monitor. Action_Result (abstract) Goto spec in source Goto body in source

References:

Called by:

Monitor. Check_List (private) Goto spec in source

References:

Called by:

Monitor. State (private) Goto spec in source

References:

Called by:

Monitor. Final_Condition (private) Goto spec in source

References:

Called by:

Monitor. Id_Counter (private) Goto spec in source

References:

Monitor

Goto spec in source

(protected)

Task_Ids

Goto declaration in source

Atomic_State

Goto declaration in source

Atomic_Condition

Goto declaration in source

Check_Out_State

Goto declaration in source

Task_State

Goto declaration in source

Task_List

Goto declaration in source

Check_List_All_In

Goto declaration in source

(Task_List)

Check_List_All_Out

Goto declaration in source

(Task_List)

Repeated_Check_In

Goto declaration in source

Monitor. Check_In (abstract)

Goto spec in source

Goto body in source

Monitor. Fail (abstract)

Goto spec in source

Goto body in source

Monitor. Failed (abstract)

Goto spec in source

Goto body in source

Monitor. Check_Out (abstract)

Goto spec in source

Goto body in source

Monitor. Action_Result (abstract)

Goto spec in source

Goto body in source

Monitor. Check_List (private)

Goto spec in source

Monitor. State (private)

Goto spec in source

Monitor. Final_Condition (private)

Goto spec in source

Monitor. Id_Counter (private)

Goto spec in source