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
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
module Event = struct
include Internal_event.Simple
let section = ["test"; "p2p"; "node"]
let process_timeout =
declare_0
~section
~name:"process_timeout"
~msg:"Process timeout"
~level:Debug
()
let node_ready =
declare_1
~section
~name:"node_ready"
~msg:"Node ready (port: {port})@."
~level:Info
("port", Data_encoding.uint16)
let sync_iteration =
declare_1
~section
~name:"sync_iteration"
~msg:"Sync iteration {iteration}."
~level:Debug
("iteration", Data_encoding.int31)
let shutting_down =
declare_0
~section
~name:"shutting_down"
~msg:"Shuting done..."
~level:Info
()
let bye = declare_0 ~section ~name:"bye" ~msg:"Bye." ~level:Info ()
end
type message = Ping | BigPing of Operation_hash.t list
let msg_config : message P2p_params.message_config =
let open Data_encoding in
let case ?max_length ~tag ~title encoding unwrap wrap =
P2p_params.Encoding {tag; title; encoding; wrap; unwrap; max_length}
in
{
encoding =
[
case
~tag:0x10
~title:"Ping"
empty
(function Ping -> Some () | _ -> None)
(fun () -> Ping);
case
~tag:0x11
~title:"BigPing"
(list Operation_hash.encoding)
(function BigPing l -> Some l | _ -> None)
(fun l -> BigPing l);
];
chain_name = Distributed_db_version.Name.of_string "SANDBOXED_TEZOS";
distributed_db_versions = Distributed_db_version.[zero; one];
}
type metadata = Metadata
let metadata_encoding =
Data_encoding.conv (fun _ -> ()) (fun _ -> Metadata) Data_encoding.empty
let peer_meta_config : metadata P2p_params.peer_meta_config =
{
peer_meta_encoding = metadata_encoding;
peer_meta_initial = (fun _ -> Metadata);
score = (fun Metadata -> 0.);
}
let conn_meta_config : metadata P2p_params.conn_meta_config =
{
conn_meta_encoding = metadata_encoding;
conn_meta_value = (fun () -> Metadata);
private_node = (fun _ -> false);
}
type t = {
iteration : int ref;
channel : (unit, unit) Process.Channel.t;
connect_handler : (message, metadata, metadata) P2p_connect_handler.t;
pool : (message, metadata, metadata) Tezos_p2p.P2p_pool.t;
watcher : P2p_connection.P2p_event.t Lwt_watcher.input;
trigger : P2p_trigger.t;
points : P2p_point.Id.t list;
trusted_points : P2p_point.Id.t list;
}
(** Syncing inside the detached process *)
let sync (node : t) =
let open Lwt_result_syntax in
incr node.iteration ;
let*! () = Event.(emit sync_iteration) !(node.iteration) in
let* () = Process.Channel.push node.channel () in
Process.Channel.pop node.channel
(** Syncing from the main process everyone until one node fails to sync *)
let rec sync_nodes nodes =
let open Lwt_result_syntax in
let* () = List.iter_ep (fun p -> Process.receive p) nodes in
let* () = List.iter_ep (fun p -> Process.send p ()) nodes in
sync_nodes nodes
let sync_nodes nodes =
let open Lwt_result_syntax in
let*! r = sync_nodes nodes in
match r with
| Ok () | Error (Exn End_of_file :: _) -> return_unit
| Error _ as err -> Lwt.return err
(**Detach a process with a p2p_pool and a welcome worker. *)
let detach_node ?(prefix = "") ?timeout ?(min_connections : int option)
?max_connections ?max_incoming_connections ?p2p_versions
?(msg_config = msg_config) canceler f trusted_points all_points_with_fd addr
port =
let trusted_points =
List.filter
(fun p -> not (P2p_point.Id.equal (addr, port) p))
trusted_points
in
let proof_of_work_target = Tezos_crypto.Crypto_box.make_pow_target 0. in
let identity = P2p_identity.generate_with_pow_target_0 () in
let private_mode = false in
let nb_points = List.length trusted_points in
let unopt = Option.value ~default:nb_points in
let connect_handler_cfg =
P2p_connect_handler.
{
identity;
proof_of_work_target;
listening_port = Some port;
advertised_port = Some port;
private_mode;
reconnection_config = Point_reconnection_config.default;
min_connections = unopt min_connections;
max_connections = unopt max_connections;
max_incoming_connections = unopt max_incoming_connections;
connection_timeout = Time.System.Span.of_seconds_exn 10.;
authentication_timeout = Time.System.Span.of_seconds_exn 2.;
incoming_app_message_queue_size = None;
incoming_message_queue_size = None;
outgoing_message_queue_size = None;
binary_chunks_size = None;
disable_peer_discovery = false;
}
in
let pool_config =
P2p_pool.
{
identity;
trusted_points = List.map (fun p -> (p, None)) trusted_points;
peers_file = "/dev/null";
private_mode;
max_known_points = None;
max_known_peer_ids = None;
peer_greylist_size = 10;
ip_greylist_size_in_kilobytes = 1024;
ip_greylist_cleanup_delay = Time.System.Span.of_seconds_exn 60.;
}
in
Process.detach
~prefix:
(Format.asprintf
"%s%a:%d: "
prefix
P2p_peer.Id.pp_short
identity.peer_id
port)
~canceler
(fun channel ->
let open Lwt_result_syntax in
let timer ti =
let*! () = Lwt_unix.sleep ti in
Event.(emit process_timeout) ()
in
let own_fd, other_points =
List.partition_map
(fun ((addr, port'), fd) ->
if port' = port then Left fd
else (
Unix.close fd ;
Right (addr, port')))
all_points_with_fd
in
let own_fd =
match own_fd with
| [fd] -> fd
| _ ->
assert false
in
with_timeout
~canceler
(Option.fold_f ~some:timer ~none:Lwt_utils.never_ending timeout)
(fun _canceler ->
let iteration = ref 0 in
let sched = P2p_io_scheduler.create ~read_buffer_size:(1 lsl 12) () in
let trigger = P2p_trigger.create () in
let watcher = Lwt_watcher.create_input () in
let log event = Lwt_watcher.notify watcher event in
let*! pool =
P2p_pool.create pool_config peer_meta_config ~log trigger
in
let answerer = lazy (P2p_protocol.create_private ()) in
let connect_handler =
P2p_connect_handler.create
?p2p_versions
connect_handler_cfg
pool
msg_config
conn_meta_config
sched
trigger
~log
~answerer
in
let*! _ =
Lwt_list.map_p
(fun point ->
P2p_pool.Points.info pool point
|> Option.iter (fun info ->
P2p_point_state.set_private info false) ;
Lwt.return_unit)
trusted_points
in
let* welcome =
P2p_welcome.create
~reuse_port:true
~backlog:10
connect_handler
~addr
port
in
Unix.close own_fd ;
P2p_welcome.activate welcome ;
let*! () = Event.(emit node_ready) port in
let node =
{
iteration;
channel;
connect_handler;
pool;
watcher;
trigger;
trusted_points;
points = other_points;
}
in
let* () = sync node in
let* () = f node in
let*! () = Event.(emit shutting_down) () in
let*! () = P2p_welcome.shutdown welcome in
let*! () = P2p_pool.tear_down_connections pool in
let*! () = P2p_io_scheduler.shutdown sched in
let*! () = Event.(emit bye) () in
return_unit))
let default_ipv6_addr = Ipaddr.V6.localhost
let gen_points npoints addr =
let uaddr = Ipaddr_unix.V6.to_inet_addr addr in
let rec loop i ports =
if i <= 0 then ports
else
let main_socket = Unix.(socket PF_INET6 SOCK_STREAM 0) in
Unix.setsockopt main_socket Unix.SO_REUSEPORT true ;
Unix.setsockopt main_socket Unix.SO_REUSEADDR true ;
Unix.set_close_on_exec main_socket ;
Unix.bind main_socket (ADDR_INET (uaddr, 0)) ;
Unix.listen main_socket 50 ;
let port =
match Unix.getsockname main_socket with
| ADDR_UNIX _ -> assert false
| ADDR_INET (_, port) -> port
in
loop (i - 1) ((port, main_socket) :: ports)
in
let ports = loop npoints [] in
List.map (fun (port, socket) -> ((addr, port), socket)) ports
(**Detach one process per id in [points], each with a p2p_pool and a
welcome worker.
Most arguments are the same as for [detach_node] but they are
function that specify the value of the argument for a given position
in the list of points, allowing to specify the characteristics of
each detached node.
*)
let detach_nodes ?timeout ?prefix ?min_connections ?max_connections
?max_incoming_connections ?p2p_versions ?msg_config
?(trusted = fun _ points -> points) run_node points_with_holding_fd =
let open Lwt_result_syntax in
let canceler = Lwt_canceler.create () in
let points = List.map fst points_with_holding_fd in
let*! nodes =
List.mapi_s
(fun n ((addr, port), _holding_fd) ->
let prefix = Option.map (fun f -> f n) prefix in
let p2p_versions = Option.map (fun f -> f n) p2p_versions in
let msg_config = Option.map (fun f -> f n) msg_config in
let min_connections = Option.map (fun f -> f n) min_connections in
let max_connections = Option.map (fun f -> f n) max_connections in
let max_incoming_connections =
Option.map (fun f -> f n) max_incoming_connections
in
detach_node
?prefix
?p2p_versions
?timeout
?min_connections
?max_connections
?max_incoming_connections
?msg_config
canceler
(run_node n)
(trusted n points)
points_with_holding_fd
addr
port)
points_with_holding_fd
in
List.iter (fun (_, fd) -> Unix.close fd) points_with_holding_fd ;
let*? nodes = Error_monad.Result_syntax.tzall nodes in
Lwt.ignore_result (sync_nodes nodes) ;
Process.wait_all nodes