| e6e7bf38 |
1 | ------------------------------------------------------------------------------ |
| 2 | -- -- |
| 96d7aa32 |
3 | -- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS -- |
| e6e7bf38 |
4 | -- -- |
| 5 | -- S Y S T E M . T A S K _ P R I M I T I V E S -- |
| 6 | -- -- |
| 7 | -- S p e c -- |
| 8 | -- -- |
| 6e2e029f |
9 | -- Copyright (C) 1991-2017, Free Software Foundation, Inc. -- |
| e6e7bf38 |
10 | -- -- |
| 11 | -- GNARL is free software; you can redistribute it and/or modify it under -- |
| 12 | -- terms of the GNU General Public License as published by the Free Soft- -- |
| 6bc9506f |
13 | -- ware Foundation; either version 3, or (at your option) any later ver- -- |
| 14 | -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
| e6e7bf38 |
15 | -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- |
| 6bc9506f |
16 | -- or FITNESS FOR A PARTICULAR PURPOSE. -- |
| 17 | -- -- |
| 18 | -- As a special exception under Section 7 of GPL version 3, you are granted -- |
| 19 | -- additional permissions described in the GCC Runtime Library Exception, -- |
| 20 | -- version 3.1, as published by the Free Software Foundation. -- |
| 21 | -- -- |
| 22 | -- You should have received a copy of the GNU General Public License and -- |
| 23 | -- a copy of the GCC Runtime Library Exception along with this program; -- |
| 24 | -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- |
| 25 | -- <http://www.gnu.org/licenses/>. -- |
| e6e7bf38 |
26 | -- -- |
| e78e8c8e |
27 | -- GNARL was developed by the GNARL team at Florida State University. -- |
| 9dfe12ae |
28 | -- Extensive contributions were provided by Ada Core Technologies, Inc. -- |
| e6e7bf38 |
29 | -- -- |
| 30 | ------------------------------------------------------------------------------ |
| 31 | |
| 96d7aa32 |
32 | -- This is a NT (native) version of this package |
| e6e7bf38 |
33 | |
| 34 | pragma Polling (Off); |
| 35e3878c |
35 | -- Turn off polling, we do not want ATC polling to take place during tasking |
| 36 | -- operations. It causes infinite loops and other problems. |
| e6e7bf38 |
37 | |
| 38 | with System.OS_Interface; |
| 1b0b7a09 |
39 | with System.Win32; |
| e6e7bf38 |
40 | |
| 41 | package System.Task_Primitives is |
| 51e69f04 |
42 | pragma Preelaborate; |
| e6e7bf38 |
43 | |
| 44 | type Lock is limited private; |
| 96d7aa32 |
45 | -- Should be used for implementation of protected objects |
| e6e7bf38 |
46 | |
| 47 | type RTS_Lock is limited private; |
| 96d7aa32 |
48 | -- Should be used inside the runtime system. The difference between Lock |
| 49 | -- and the RTS_Lock is that the later one serves only as a semaphore so |
| 50 | -- that do not check for ceiling violations. |
| 51 | |
| 52 | type Suspension_Object is limited private; |
| 53 | -- Should be used for the implementation of Ada.Synchronous_Task_Control |
| e6e7bf38 |
54 | |
| 55 | type Task_Body_Access is access procedure; |
| 56 | -- Pointer to the task body's entry point (or possibly a wrapper |
| 57 | -- declared local to the GNARL). |
| 58 | |
| 59 | type Private_Data is limited private; |
| 96d7aa32 |
60 | -- Any information that the GNULLI needs maintained on a per-task basis. |
| 61 | -- A component of this type is guaranteed to be included in the |
| 62 | -- Ada_Task_Control_Block. |
| e6e7bf38 |
63 | |
| 1b0b7a09 |
64 | subtype Task_Address is System.Address; |
| 1b0b7a09 |
65 | Task_Address_Size : constant := Standard'Address_Size; |
| e9b26a1d |
66 | -- Type used for task addresses and its size |
| 1b0b7a09 |
67 | |
| 68 | Alternate_Stack_Size : constant := 0; |
| 69 | -- No alternate signal stack is used on this platform |
| 70 | |
| e6e7bf38 |
71 | private |
| 72 | |
| 73 | type Lock is record |
| 74 | Mutex : aliased System.OS_Interface.CRITICAL_SECTION; |
| 75 | Priority : Integer; |
| 76 | Owner_Priority : Integer; |
| 77 | end record; |
| 78 | |
| 1b0b7a09 |
79 | type Condition_Variable is new System.Win32.HANDLE; |
| e6e7bf38 |
80 | |
| 81 | type RTS_Lock is new System.OS_Interface.CRITICAL_SECTION; |
| 82 | |
| 96d7aa32 |
83 | type Suspension_Object is record |
| 84 | State : Boolean; |
| 85 | pragma Atomic (State); |
| 86 | -- Boolean that indicates whether the object is open. This field is |
| 87 | -- marked Atomic to ensure that we can read its value without locking |
| 88 | -- the access to the Suspension_Object. |
| 89 | |
| 90 | Waiting : Boolean; |
| 91 | -- Flag showing if there is a task already suspended on this object |
| 92 | |
| 93 | L : aliased System.OS_Interface.CRITICAL_SECTION; |
| 94 | -- Protection for ensuring mutual exclusion on the Suspension_Object |
| 95 | |
| 1b0b7a09 |
96 | CV : aliased Win32.HANDLE; |
| 96d7aa32 |
97 | -- Condition variable used to queue threads until condition is signaled |
| 98 | end record; |
| 99 | |
| a7d3dd30 |
100 | type Private_Data is limited record |
| 1b0b7a09 |
101 | Thread : aliased Win32.HANDLE; |
| e6e7bf38 |
102 | pragma Atomic (Thread); |
| 103 | -- Thread field may be updated by two different threads of control. |
| 104 | -- (See, Enter_Task and Create_Task in s-taprop.adb). |
| 105 | -- They put the same value (thr_self value). We do not want to |
| 106 | -- use lock on those operations and the only thing we have to |
| 107 | -- make sure is that they are updated in atomic fashion. |
| 108 | |
| 1b0b7a09 |
109 | Thread_Id : aliased Win32.DWORD; |
| 96d7aa32 |
110 | -- Used to provide a better tasking support in gdb |
| e6e7bf38 |
111 | |
| 112 | CV : aliased Condition_Variable; |
| 113 | -- Condition Variable used to implement Sleep/Wakeup |
| 114 | |
| 115 | L : aliased RTS_Lock; |
| 116 | -- Protection for all components is lock L |
| 117 | end record; |
| 118 | |
| 119 | end System.Task_Primitives; |
projects / thirdparty / gcc.git / blame