package octez-shell-libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file node.ml

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
(*****************************************************************************)
(*                                                                           *)
(* Open Source License                                                       *)
(* Copyright (c) 2020 Nomadic Labs, <contact@nomadic-labs.com>               *)
(*                                                                           *)
(* Permission is hereby granted, free of charge, to any person obtaining a   *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
(* and/or sell copies of the Software, and to permit persons to whom the     *)
(* Software is furnished to do so, subject to the following conditions:      *)
(*                                                                           *)
(* The above copyright notice and this permission notice shall be included   *)
(* in all copies or substantial portions of the Software.                    *)
(*                                                                           *)
(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
(* DEALINGS IN THE SOFTWARE.                                                 *)
(*                                                                           *)
(*****************************************************************************)

(* This module creates simple p2p nodes. The others parts of the shell are
   disabled.
   The function [detach_nodes] creates a network of nodes.
   The message [Ping] is the unique none p2p message usde by nodes.
   The function [sync] is used to create a barrier for all the nodes of a
   network. *)

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
      (* The [fd] is a socket bind to a point. This point is the one
         that will be stolen by the welcome worker fd. This process
         only starts one welcome worker, namely the one using
         [port]. [Process.detach] starts a process duplicating all the
         [fds]. It is important to close the sockets we do not own. *)
      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
        | _ ->
            (* All those [fd] where generated with [Unix.bind] using the
               port [0]. It is an invariant given by the OS that the
               assigned port is always different while those sockets are
               opened. Hence there is only one socket with a given
               port. *)
            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
          (* The P2p_welcome worker has stolen the port. We can now
             close this dummy socket. *)
          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
          (* Sync interaction 1 *)
          let* () = f node in
          let*! () = Event.(emit shutting_down) () in
          let*! () = P2p_welcome.shutdown welcome in
          (* Here P2p_pool.tear_down_connections is called instead of
             P2p_pool.destroy because there is not data-dir and it is required
             to save the known peers list. *)
          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
      (* [SO_REUSEPORT] allows the welcome worker to steal the socket if
         the welcome worker socket also use this option. This way, we
         can reserve the port on which the welcome worker will run.
         This could be done the other way around, but it
         requires deeper modifications since functions in this modules
         assume that we know the ports on which the welcome worker
         will run beforehand. *)
      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
OCaml

Innovation. Community. Security.