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
193
194
195
|
------------------------------------------------------------------------------
-- Ada Web Server --
-- --
-- Copyright (C) 2004-2012, AdaCore --
-- --
-- This is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 3, or (at your option) any --
-- later version. This software is distributed in the hope that it will --
-- be useful, but WITHOUT ANY WARRANTY; without even the implied warranty --
-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
-- General Public License for more details. --
-- --
-- You should have received a copy of the GNU General Public License --
-- distributed with this software; see file COPYING3. If not, go --
-- to http://www.gnu.org/licenses for a complete copy of the license. --
------------------------------------------------------------------------------
with Ada.Exceptions;
with Ada.Streams;
with Ada.Text_IO;
with AWS.Net.Generic_Sets;
with AWS.Net.SSL;
with Stack_Size;
package body Wait_Pack is
use Ada.Streams;
use AWS;
type Null_Record is null record;
package Sets is new Net.Generic_Sets (Null_Record);
---------
-- Run --
---------
procedure Run (Security : Boolean) is
use Ada.Text_IO;
use type Sets.Socket_Count;
Set_Size : constant := 20;
Sample_Size : constant := 10;
Server : Net.Socket_Type'Class := Net.Socket (False);
Index : Sets.Socket_Index := 1;
task Client_Side is
pragma Storage_Size (Stack_Size.Value);
entry Next;
end Client_Side;
-----------------
-- Client_Side --
-----------------
task body Client_Side is
A_Bit : constant Duration := 0.125;
Set : Sets.Socket_Set_Type;
begin
for J in 1 .. Set_Size loop
declare
Socket : Net.Socket_Type'Class := Net.Socket (Security);
begin
accept Next;
delay A_Bit;
Socket.Connect
(Net.Localhost (Server.Is_IPv6), Server.Get_Port);
accept Next;
delay A_Bit;
Socket.Send
((1 .. Sample_Size => Stream_Element (J rem 256)));
Sets.Add (Set, Socket, Sets.Output);
end;
end loop;
Sets.Wait (Set, 2.0);
-- All sockets should be ready for output
while Sets.Count (Set) > 0 and then Sets.Is_Write_Ready (Set, 1) loop
declare
Socket : Net.Socket_Type'Class := Sets.Get_Socket (Set, 1);
begin
Sets.Remove_Socket (Set, 1);
accept Next;
delay A_Bit;
Socket.Send
((1 .. Sample_Size =>
Stream_Element (Sets.Count (Set) rem 256)));
accept Next;
delay A_Bit;
Socket.Shutdown;
end;
end loop;
exception
when E : others =>
Put_Line
("Client side " & Ada.Exceptions.Exception_Information (E));
end Client_Side;
Set : Sets.Socket_Set_Type;
begin
Server.Bind (0);
Server.Listen;
Server.Set_Blocking_Mode (False);
Sets.Add (Set, Server, Sets.Input);
for J in 1 .. Set_Size * 4 loop
Client_Side.Next;
Sets.Wait (Set, 1.0);
Index := 1;
Sets.Next (Set, Index);
if not Sets.In_Range (Set, Index)
or else not Sets.Is_Read_Ready (Set, Index)
then
Put_Line ("Could not read from socket.");
exit;
end if;
declare
Socket : Net.Socket_Type'Class :=
Sets.Get_Socket (Set, Index);
New_Sock : Net.Socket_Type'Class := Net.Socket (Security);
Socket_Removed : Boolean := False;
begin
if Socket.Get_FD = Server.Get_FD then
Put_Line ("Accept" & Integer'Image ((J + 1) / 2));
Server.Accept_Socket (New_Socket => New_Sock);
New_Sock.Set_Blocking_Mode (False);
Sets.Add (Set, New_Sock, Sets.Input);
else
declare
Data : Stream_Element_Array (1 .. Sample_Size);
begin
Data := Socket.Receive;
Put ("Data");
for J in Data'Range loop
Put (Stream_Element_Offset'Image (J)
& " =>" & Stream_Element'Image (Data (J)));
end loop;
New_Line;
exception
when E : Net.Socket_Error =>
Put_Line ("Close socket.");
Socket.Shutdown;
Sets.Remove_Socket (Set, Index);
Socket_Removed := True;
end;
end if;
if not Socket_Removed then
Index := Index + 1;
Sets.Next (Set, Index);
end if;
end;
end loop;
Server.Shutdown;
-- abort Client_Side;
-- The task Client_Side terminates itself without abort statement.
-- The abort statement above causes an error on Win32 platform after
-- introducing the SSL.Locking package.
-- Probably a regression!
exception
when E : others =>
Put_Line
("Server side " & Ada.Exceptions.Exception_Information (E));
end Run;
end Wait_Pack;
|
