1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
|
-- C951001.A
--
-- Grant of Unlimited Rights
--
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
-- unlimited rights in the software and documentation contained herein.
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
-- this public release, the Government intends to confer upon all
-- recipients unlimited rights equal to those held by the Government.
-- These rights include rights to use, duplicate, release or disclose the
-- released technical data and computer software in whole or in part, in
-- any manner and for any purpose whatsoever, and to have or permit others
-- to do so.
--
-- DISCLAIMER
--
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
-- PARTICULAR PURPOSE OF SAID MATERIAL.
--*
--
-- OBJECTIVE:
-- Check that two procedures in a protected object will not be
-- executed concurrently.
--
-- TEST DESCRIPTION:
-- A very simple example of two tasks calling two procedures in the same
-- protected object is used. Test control code has been added to the
-- procedures such that, whichever gets called first executes a lengthy
-- calculation giving sufficient time (on a multiprocessor or a
-- time-slicing machine) for the other task to get control and call the
-- other procedure. The control code verifies that entry to the second
-- routine is postponed until the first is complete.
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
--
--!
with Report;
with ImpDef;
procedure C951001 is
protected Ramp_31 is
procedure Add_Meter_Queue;
procedure Subtract_Meter_Queue;
function TC_Failed return Boolean;
private
Ramp_Count : integer range 0..20 := 4; -- Start test with some
-- vehicles on the ramp
TC_Add_Started : Boolean := false;
TC_Subtract_Started : Boolean := false;
TC_Add_Finished : Boolean := false;
TC_Subtract_Finished : Boolean := false;
TC_Concurrent_Running: Boolean := false;
end Ramp_31;
protected body Ramp_31 is
function TC_Failed return Boolean is
begin
-- this indicator will have been set true if any instance
-- of concurrent running has been proved
return TC_Concurrent_Running;
end TC_Failed;
procedure Add_Meter_Queue is
begin
--==================================================
-- This section is all Test_Control code
TC_Add_Started := true;
if TC_Subtract_Started then
if not TC_Subtract_Finished then
TC_Concurrent_Running := true;
end if;
else
-- Subtract has not started.
-- Execute a lengthy routine to give it a chance to do so
ImpDef.Exceed_Time_Slice;
if TC_Subtract_Started then
-- Subtract was able to start so we have concurrent
-- running and the test has failed
TC_Concurrent_Running := true;
end if;
end if;
TC_Add_Finished := true;
--==================================================
Ramp_Count := Ramp_Count + 1;
end Add_Meter_Queue;
procedure Subtract_Meter_Queue is
begin
--==================================================
-- This section is all Test_Control code
TC_Subtract_Started := true;
if TC_Add_Started then
if not TC_Add_Finished then
-- We already have concurrent running
TC_Concurrent_Running := true;
end if;
else
-- Add has not started.
-- Execute a lengthy routine to give it a chance to do so
ImpDef.Exceed_Time_Slice;
if TC_Add_Started then
-- Add was able to start so we have concurrent
-- running and the test has failed
TC_Concurrent_Running := true;
end if;
end if;
TC_Subtract_Finished := true;
--==================================================
Ramp_Count := Ramp_Count - 1;
end Subtract_Meter_Queue;
end Ramp_31;
begin
Report.Test ("C951001", "Check that two procedures in a protected" &
" object will not be executed concurrently");
declare -- encapsulate the test
task Vehicle_1;
task Vehicle_2;
-- Vehicle_1 and Vehicle_2 are simulations of Instances of the task
-- of type Vehicle in different stages of execution
task body Vehicle_1 is
begin
null; -- ::::: stub. preparation code
-- Add to the count of vehicles on the queue
Ramp_31.Add_Meter_Queue;
null; -- ::::: stub: wait at the meter then pass to first sensor
-- Reduce the count of vehicles on the queue
null; -- ::::: stub: Ramp_31.Subtract_Meter_Queue
exception
when others =>
Report.Failed ("Unexpected Exception in Vehicle_1 task");
end Vehicle_1;
task body Vehicle_2 is
begin
null; -- ::::: stub. preparation code
-- Add to the count of vehicles on the queue
null; -- ::::: stub Ramp_31.Add_Meter_Queue;
null; -- ::::: stub: wait at the meter then pass to first sensor
-- Reduce the count of vehicles on the queue
Ramp_31.Subtract_Meter_Queue;
exception
when others =>
Report.Failed ("Unexpected Exception in Vehicle_2 task");
end Vehicle_2;
begin
null;
end; -- encapsulation
if Ramp_31.TC_Failed then
Report.Failed ("Concurrent Running detected");
end if;
Report.Result;
end C951001;
|
