Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1 | /* |
| 2 | * net/tipc/link.c: TIPC link code |
| 3 | * |
| 4 | * Copyright (c) 1996-2007, 2012-2016, Ericsson AB |
| 5 | * Copyright (c) 2004-2007, 2010-2013, Wind River Systems |
| 6 | * All rights reserved. |
| 7 | * |
| 8 | * Redistribution and use in source and binary forms, with or without |
| 9 | * modification, are permitted provided that the following conditions are met: |
| 10 | * |
| 11 | * 1. Redistributions of source code must retain the above copyright |
| 12 | * notice, this list of conditions and the following disclaimer. |
| 13 | * 2. Redistributions in binary form must reproduce the above copyright |
| 14 | * notice, this list of conditions and the following disclaimer in the |
| 15 | * documentation and/or other materials provided with the distribution. |
| 16 | * 3. Neither the names of the copyright holders nor the names of its |
| 17 | * contributors may be used to endorse or promote products derived from |
| 18 | * this software without specific prior written permission. |
| 19 | * |
| 20 | * Alternatively, this software may be distributed under the terms of the |
| 21 | * GNU General Public License ("GPL") version 2 as published by the Free |
| 22 | * Software Foundation. |
| 23 | * |
| 24 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
| 25 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| 26 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
| 27 | * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE |
| 28 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
| 29 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
| 30 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| 31 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| 32 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| 33 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
| 34 | * POSSIBILITY OF SUCH DAMAGE. |
| 35 | */ |
| 36 | |
| 37 | #include "core.h" |
| 38 | #include "subscr.h" |
| 39 | #include "link.h" |
| 40 | #include "bcast.h" |
| 41 | #include "socket.h" |
| 42 | #include "name_distr.h" |
| 43 | #include "discover.h" |
| 44 | #include "netlink.h" |
| 45 | #include "monitor.h" |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 46 | #include "trace.h" |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 47 | #include "crypto.h" |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 48 | |
| 49 | #include <linux/pkt_sched.h> |
| 50 | |
| 51 | struct tipc_stats { |
| 52 | u32 sent_pkts; |
| 53 | u32 recv_pkts; |
| 54 | u32 sent_states; |
| 55 | u32 recv_states; |
| 56 | u32 sent_probes; |
| 57 | u32 recv_probes; |
| 58 | u32 sent_nacks; |
| 59 | u32 recv_nacks; |
| 60 | u32 sent_acks; |
| 61 | u32 sent_bundled; |
| 62 | u32 sent_bundles; |
| 63 | u32 recv_bundled; |
| 64 | u32 recv_bundles; |
| 65 | u32 retransmitted; |
| 66 | u32 sent_fragmented; |
| 67 | u32 sent_fragments; |
| 68 | u32 recv_fragmented; |
| 69 | u32 recv_fragments; |
| 70 | u32 link_congs; /* # port sends blocked by congestion */ |
| 71 | u32 deferred_recv; |
| 72 | u32 duplicates; |
| 73 | u32 max_queue_sz; /* send queue size high water mark */ |
| 74 | u32 accu_queue_sz; /* used for send queue size profiling */ |
| 75 | u32 queue_sz_counts; /* used for send queue size profiling */ |
| 76 | u32 msg_length_counts; /* used for message length profiling */ |
| 77 | u32 msg_lengths_total; /* used for message length profiling */ |
| 78 | u32 msg_length_profile[7]; /* used for msg. length profiling */ |
| 79 | }; |
| 80 | |
| 81 | /** |
| 82 | * struct tipc_link - TIPC link data structure |
| 83 | * @addr: network address of link's peer node |
| 84 | * @name: link name character string |
| 85 | * @media_addr: media address to use when sending messages over link |
| 86 | * @timer: link timer |
| 87 | * @net: pointer to namespace struct |
| 88 | * @refcnt: reference counter for permanent references (owner node & timer) |
| 89 | * @peer_session: link session # being used by peer end of link |
| 90 | * @peer_bearer_id: bearer id used by link's peer endpoint |
| 91 | * @bearer_id: local bearer id used by link |
| 92 | * @tolerance: minimum link continuity loss needed to reset link [in ms] |
| 93 | * @abort_limit: # of unacknowledged continuity probes needed to reset link |
| 94 | * @state: current state of link FSM |
| 95 | * @peer_caps: bitmap describing capabilities of peer node |
| 96 | * @silent_intv_cnt: # of timer intervals without any reception from peer |
| 97 | * @proto_msg: template for control messages generated by link |
| 98 | * @pmsg: convenience pointer to "proto_msg" field |
| 99 | * @priority: current link priority |
| 100 | * @net_plane: current link network plane ('A' through 'H') |
| 101 | * @mon_state: cookie with information needed by link monitor |
| 102 | * @backlog_limit: backlog queue congestion thresholds (indexed by importance) |
| 103 | * @exp_msg_count: # of tunnelled messages expected during link changeover |
| 104 | * @reset_rcv_checkpt: seq # of last acknowledged message at time of link reset |
| 105 | * @mtu: current maximum packet size for this link |
| 106 | * @advertised_mtu: advertised own mtu when link is being established |
| 107 | * @transmitq: queue for sent, non-acked messages |
| 108 | * @backlogq: queue for messages waiting to be sent |
| 109 | * @snt_nxt: next sequence number to use for outbound messages |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 110 | * @ackers: # of peers that needs to ack each packet before it can be released |
| 111 | * @acked: # last packet acked by a certain peer. Used for broadcast. |
| 112 | * @rcv_nxt: next sequence number to expect for inbound messages |
| 113 | * @deferred_queue: deferred queue saved OOS b'cast message received from node |
| 114 | * @unacked_window: # of inbound messages rx'd without ack'ing back to peer |
| 115 | * @inputq: buffer queue for messages to be delivered upwards |
| 116 | * @namedq: buffer queue for name table messages to be delivered upwards |
| 117 | * @next_out: ptr to first unsent outbound message in queue |
| 118 | * @wakeupq: linked list of wakeup msgs waiting for link congestion to abate |
| 119 | * @long_msg_seq_no: next identifier to use for outbound fragmented messages |
| 120 | * @reasm_buf: head of partially reassembled inbound message fragments |
| 121 | * @bc_rcvr: marks that this is a broadcast receiver link |
| 122 | * @stats: collects statistics regarding link activity |
| 123 | */ |
| 124 | struct tipc_link { |
| 125 | u32 addr; |
| 126 | char name[TIPC_MAX_LINK_NAME]; |
| 127 | struct net *net; |
| 128 | |
| 129 | /* Management and link supervision data */ |
| 130 | u16 peer_session; |
| 131 | u16 session; |
| 132 | u16 snd_nxt_state; |
| 133 | u16 rcv_nxt_state; |
| 134 | u32 peer_bearer_id; |
| 135 | u32 bearer_id; |
| 136 | u32 tolerance; |
| 137 | u32 abort_limit; |
| 138 | u32 state; |
| 139 | u16 peer_caps; |
| 140 | bool in_session; |
| 141 | bool active; |
| 142 | u32 silent_intv_cnt; |
| 143 | char if_name[TIPC_MAX_IF_NAME]; |
| 144 | u32 priority; |
| 145 | char net_plane; |
| 146 | struct tipc_mon_state mon_state; |
| 147 | u16 rst_cnt; |
| 148 | |
| 149 | /* Failover/synch */ |
| 150 | u16 drop_point; |
| 151 | struct sk_buff *failover_reasm_skb; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 152 | struct sk_buff_head failover_deferdq; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 153 | |
| 154 | /* Max packet negotiation */ |
| 155 | u16 mtu; |
| 156 | u16 advertised_mtu; |
| 157 | |
| 158 | /* Sending */ |
| 159 | struct sk_buff_head transmq; |
| 160 | struct sk_buff_head backlogq; |
| 161 | struct { |
| 162 | u16 len; |
| 163 | u16 limit; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 164 | struct sk_buff *target_bskb; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 165 | } backlog[5]; |
| 166 | u16 snd_nxt; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 167 | |
| 168 | /* Reception */ |
| 169 | u16 rcv_nxt; |
| 170 | u32 rcv_unacked; |
| 171 | struct sk_buff_head deferdq; |
| 172 | struct sk_buff_head *inputq; |
| 173 | struct sk_buff_head *namedq; |
| 174 | |
| 175 | /* Congestion handling */ |
| 176 | struct sk_buff_head wakeupq; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 177 | u16 window; |
| 178 | u16 min_win; |
| 179 | u16 ssthresh; |
| 180 | u16 max_win; |
| 181 | u16 cong_acks; |
| 182 | u16 checkpoint; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 183 | |
| 184 | /* Fragmentation/reassembly */ |
| 185 | struct sk_buff *reasm_buf; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 186 | struct sk_buff *reasm_tnlmsg; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 187 | |
| 188 | /* Broadcast */ |
| 189 | u16 ackers; |
| 190 | u16 acked; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 191 | u16 last_gap; |
| 192 | struct tipc_gap_ack_blks *last_ga; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 193 | struct tipc_link *bc_rcvlink; |
| 194 | struct tipc_link *bc_sndlink; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 195 | u8 nack_state; |
| 196 | bool bc_peer_is_up; |
| 197 | |
| 198 | /* Statistics */ |
| 199 | struct tipc_stats stats; |
| 200 | }; |
| 201 | |
| 202 | /* |
| 203 | * Error message prefixes |
| 204 | */ |
| 205 | static const char *link_co_err = "Link tunneling error, "; |
| 206 | static const char *link_rst_msg = "Resetting link "; |
| 207 | |
| 208 | /* Send states for broadcast NACKs |
| 209 | */ |
| 210 | enum { |
| 211 | BC_NACK_SND_CONDITIONAL, |
| 212 | BC_NACK_SND_UNCONDITIONAL, |
| 213 | BC_NACK_SND_SUPPRESS, |
| 214 | }; |
| 215 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 216 | #define TIPC_BC_RETR_LIM (jiffies + msecs_to_jiffies(10)) |
| 217 | #define TIPC_UC_RETR_TIME (jiffies + msecs_to_jiffies(1)) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 218 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 219 | /* Link FSM states: |
| 220 | */ |
| 221 | enum { |
| 222 | LINK_ESTABLISHED = 0xe, |
| 223 | LINK_ESTABLISHING = 0xe << 4, |
| 224 | LINK_RESET = 0x1 << 8, |
| 225 | LINK_RESETTING = 0x2 << 12, |
| 226 | LINK_PEER_RESET = 0xd << 16, |
| 227 | LINK_FAILINGOVER = 0xf << 20, |
| 228 | LINK_SYNCHING = 0xc << 24 |
| 229 | }; |
| 230 | |
| 231 | /* Link FSM state checking routines |
| 232 | */ |
| 233 | static int link_is_up(struct tipc_link *l) |
| 234 | { |
| 235 | return l->state & (LINK_ESTABLISHED | LINK_SYNCHING); |
| 236 | } |
| 237 | |
| 238 | static int tipc_link_proto_rcv(struct tipc_link *l, struct sk_buff *skb, |
| 239 | struct sk_buff_head *xmitq); |
| 240 | static void tipc_link_build_proto_msg(struct tipc_link *l, int mtyp, bool probe, |
| 241 | bool probe_reply, u16 rcvgap, |
| 242 | int tolerance, int priority, |
| 243 | struct sk_buff_head *xmitq); |
| 244 | static void link_print(struct tipc_link *l, const char *str); |
| 245 | static int tipc_link_build_nack_msg(struct tipc_link *l, |
| 246 | struct sk_buff_head *xmitq); |
| 247 | static void tipc_link_build_bc_init_msg(struct tipc_link *l, |
| 248 | struct sk_buff_head *xmitq); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 249 | static u8 __tipc_build_gap_ack_blks(struct tipc_gap_ack_blks *ga, |
| 250 | struct tipc_link *l, u8 start_index); |
| 251 | static u16 tipc_build_gap_ack_blks(struct tipc_link *l, struct tipc_msg *hdr); |
| 252 | static int tipc_link_advance_transmq(struct tipc_link *l, struct tipc_link *r, |
| 253 | u16 acked, u16 gap, |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 254 | struct tipc_gap_ack_blks *ga, |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 255 | struct sk_buff_head *xmitq, |
| 256 | bool *retransmitted, int *rc); |
| 257 | static void tipc_link_update_cwin(struct tipc_link *l, int released, |
| 258 | bool retransmitted); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 259 | /* |
| 260 | * Simple non-static link routines (i.e. referenced outside this file) |
| 261 | */ |
| 262 | bool tipc_link_is_up(struct tipc_link *l) |
| 263 | { |
| 264 | return link_is_up(l); |
| 265 | } |
| 266 | |
| 267 | bool tipc_link_peer_is_down(struct tipc_link *l) |
| 268 | { |
| 269 | return l->state == LINK_PEER_RESET; |
| 270 | } |
| 271 | |
| 272 | bool tipc_link_is_reset(struct tipc_link *l) |
| 273 | { |
| 274 | return l->state & (LINK_RESET | LINK_FAILINGOVER | LINK_ESTABLISHING); |
| 275 | } |
| 276 | |
| 277 | bool tipc_link_is_establishing(struct tipc_link *l) |
| 278 | { |
| 279 | return l->state == LINK_ESTABLISHING; |
| 280 | } |
| 281 | |
| 282 | bool tipc_link_is_synching(struct tipc_link *l) |
| 283 | { |
| 284 | return l->state == LINK_SYNCHING; |
| 285 | } |
| 286 | |
| 287 | bool tipc_link_is_failingover(struct tipc_link *l) |
| 288 | { |
| 289 | return l->state == LINK_FAILINGOVER; |
| 290 | } |
| 291 | |
| 292 | bool tipc_link_is_blocked(struct tipc_link *l) |
| 293 | { |
| 294 | return l->state & (LINK_RESETTING | LINK_PEER_RESET | LINK_FAILINGOVER); |
| 295 | } |
| 296 | |
| 297 | static bool link_is_bc_sndlink(struct tipc_link *l) |
| 298 | { |
| 299 | return !l->bc_sndlink; |
| 300 | } |
| 301 | |
| 302 | static bool link_is_bc_rcvlink(struct tipc_link *l) |
| 303 | { |
| 304 | return ((l->bc_rcvlink == l) && !link_is_bc_sndlink(l)); |
| 305 | } |
| 306 | |
| 307 | void tipc_link_set_active(struct tipc_link *l, bool active) |
| 308 | { |
| 309 | l->active = active; |
| 310 | } |
| 311 | |
| 312 | u32 tipc_link_id(struct tipc_link *l) |
| 313 | { |
| 314 | return l->peer_bearer_id << 16 | l->bearer_id; |
| 315 | } |
| 316 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 317 | int tipc_link_min_win(struct tipc_link *l) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 318 | { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 319 | return l->min_win; |
| 320 | } |
| 321 | |
| 322 | int tipc_link_max_win(struct tipc_link *l) |
| 323 | { |
| 324 | return l->max_win; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 325 | } |
| 326 | |
| 327 | int tipc_link_prio(struct tipc_link *l) |
| 328 | { |
| 329 | return l->priority; |
| 330 | } |
| 331 | |
| 332 | unsigned long tipc_link_tolerance(struct tipc_link *l) |
| 333 | { |
| 334 | return l->tolerance; |
| 335 | } |
| 336 | |
| 337 | struct sk_buff_head *tipc_link_inputq(struct tipc_link *l) |
| 338 | { |
| 339 | return l->inputq; |
| 340 | } |
| 341 | |
| 342 | char tipc_link_plane(struct tipc_link *l) |
| 343 | { |
| 344 | return l->net_plane; |
| 345 | } |
| 346 | |
| 347 | void tipc_link_update_caps(struct tipc_link *l, u16 capabilities) |
| 348 | { |
| 349 | l->peer_caps = capabilities; |
| 350 | } |
| 351 | |
| 352 | void tipc_link_add_bc_peer(struct tipc_link *snd_l, |
| 353 | struct tipc_link *uc_l, |
| 354 | struct sk_buff_head *xmitq) |
| 355 | { |
| 356 | struct tipc_link *rcv_l = uc_l->bc_rcvlink; |
| 357 | |
| 358 | snd_l->ackers++; |
| 359 | rcv_l->acked = snd_l->snd_nxt - 1; |
| 360 | snd_l->state = LINK_ESTABLISHED; |
| 361 | tipc_link_build_bc_init_msg(uc_l, xmitq); |
| 362 | } |
| 363 | |
| 364 | void tipc_link_remove_bc_peer(struct tipc_link *snd_l, |
| 365 | struct tipc_link *rcv_l, |
| 366 | struct sk_buff_head *xmitq) |
| 367 | { |
| 368 | u16 ack = snd_l->snd_nxt - 1; |
| 369 | |
| 370 | snd_l->ackers--; |
| 371 | rcv_l->bc_peer_is_up = true; |
| 372 | rcv_l->state = LINK_ESTABLISHED; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 373 | tipc_link_bc_ack_rcv(rcv_l, ack, 0, NULL, xmitq, NULL); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 374 | trace_tipc_link_reset(rcv_l, TIPC_DUMP_ALL, "bclink removed!"); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 375 | tipc_link_reset(rcv_l); |
| 376 | rcv_l->state = LINK_RESET; |
| 377 | if (!snd_l->ackers) { |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 378 | trace_tipc_link_reset(snd_l, TIPC_DUMP_ALL, "zero ackers!"); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 379 | tipc_link_reset(snd_l); |
| 380 | snd_l->state = LINK_RESET; |
| 381 | __skb_queue_purge(xmitq); |
| 382 | } |
| 383 | } |
| 384 | |
| 385 | int tipc_link_bc_peers(struct tipc_link *l) |
| 386 | { |
| 387 | return l->ackers; |
| 388 | } |
| 389 | |
| 390 | static u16 link_bc_rcv_gap(struct tipc_link *l) |
| 391 | { |
| 392 | struct sk_buff *skb = skb_peek(&l->deferdq); |
| 393 | u16 gap = 0; |
| 394 | |
| 395 | if (more(l->snd_nxt, l->rcv_nxt)) |
| 396 | gap = l->snd_nxt - l->rcv_nxt; |
| 397 | if (skb) |
| 398 | gap = buf_seqno(skb) - l->rcv_nxt; |
| 399 | return gap; |
| 400 | } |
| 401 | |
| 402 | void tipc_link_set_mtu(struct tipc_link *l, int mtu) |
| 403 | { |
| 404 | l->mtu = mtu; |
| 405 | } |
| 406 | |
| 407 | int tipc_link_mtu(struct tipc_link *l) |
| 408 | { |
| 409 | return l->mtu; |
| 410 | } |
| 411 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 412 | int tipc_link_mss(struct tipc_link *l) |
| 413 | { |
| 414 | #ifdef CONFIG_TIPC_CRYPTO |
| 415 | return l->mtu - INT_H_SIZE - EMSG_OVERHEAD; |
| 416 | #else |
| 417 | return l->mtu - INT_H_SIZE; |
| 418 | #endif |
| 419 | } |
| 420 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 421 | u16 tipc_link_rcv_nxt(struct tipc_link *l) |
| 422 | { |
| 423 | return l->rcv_nxt; |
| 424 | } |
| 425 | |
| 426 | u16 tipc_link_acked(struct tipc_link *l) |
| 427 | { |
| 428 | return l->acked; |
| 429 | } |
| 430 | |
| 431 | char *tipc_link_name(struct tipc_link *l) |
| 432 | { |
| 433 | return l->name; |
| 434 | } |
| 435 | |
| 436 | u32 tipc_link_state(struct tipc_link *l) |
| 437 | { |
| 438 | return l->state; |
| 439 | } |
| 440 | |
| 441 | /** |
| 442 | * tipc_link_create - create a new link |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 443 | * @net: pointer to associated network namespace |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 444 | * @if_name: associated interface name |
| 445 | * @bearer_id: id (index) of associated bearer |
| 446 | * @tolerance: link tolerance to be used by link |
| 447 | * @net_plane: network plane (A,B,c..) this link belongs to |
| 448 | * @mtu: mtu to be advertised by link |
| 449 | * @priority: priority to be used by link |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 450 | * @min_win: minimal send window to be used by link |
| 451 | * @max_win: maximal send window to be used by link |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 452 | * @session: session to be used by link |
| 453 | * @ownnode: identity of own node |
| 454 | * @peer: node id of peer node |
| 455 | * @peer_caps: bitmap describing peer node capabilities |
| 456 | * @bc_sndlink: the namespace global link used for broadcast sending |
| 457 | * @bc_rcvlink: the peer specific link used for broadcast reception |
| 458 | * @inputq: queue to put messages ready for delivery |
| 459 | * @namedq: queue to put binding table update messages ready for delivery |
| 460 | * @link: return value, pointer to put the created link |
| 461 | * |
| 462 | * Returns true if link was created, otherwise false |
| 463 | */ |
| 464 | bool tipc_link_create(struct net *net, char *if_name, int bearer_id, |
| 465 | int tolerance, char net_plane, u32 mtu, int priority, |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 466 | u32 min_win, u32 max_win, u32 session, u32 self, |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 467 | u32 peer, u8 *peer_id, u16 peer_caps, |
| 468 | struct tipc_link *bc_sndlink, |
| 469 | struct tipc_link *bc_rcvlink, |
| 470 | struct sk_buff_head *inputq, |
| 471 | struct sk_buff_head *namedq, |
| 472 | struct tipc_link **link) |
| 473 | { |
| 474 | char peer_str[NODE_ID_STR_LEN] = {0,}; |
| 475 | char self_str[NODE_ID_STR_LEN] = {0,}; |
| 476 | struct tipc_link *l; |
| 477 | |
| 478 | l = kzalloc(sizeof(*l), GFP_ATOMIC); |
| 479 | if (!l) |
| 480 | return false; |
| 481 | *link = l; |
| 482 | l->session = session; |
| 483 | |
| 484 | /* Set link name for unicast links only */ |
| 485 | if (peer_id) { |
| 486 | tipc_nodeid2string(self_str, tipc_own_id(net)); |
| 487 | if (strlen(self_str) > 16) |
| 488 | sprintf(self_str, "%x", self); |
| 489 | tipc_nodeid2string(peer_str, peer_id); |
| 490 | if (strlen(peer_str) > 16) |
| 491 | sprintf(peer_str, "%x", peer); |
| 492 | } |
| 493 | /* Peer i/f name will be completed by reset/activate message */ |
| 494 | snprintf(l->name, sizeof(l->name), "%s:%s-%s:unknown", |
| 495 | self_str, if_name, peer_str); |
| 496 | |
| 497 | strcpy(l->if_name, if_name); |
| 498 | l->addr = peer; |
| 499 | l->peer_caps = peer_caps; |
| 500 | l->net = net; |
| 501 | l->in_session = false; |
| 502 | l->bearer_id = bearer_id; |
| 503 | l->tolerance = tolerance; |
| 504 | if (bc_rcvlink) |
| 505 | bc_rcvlink->tolerance = tolerance; |
| 506 | l->net_plane = net_plane; |
| 507 | l->advertised_mtu = mtu; |
| 508 | l->mtu = mtu; |
| 509 | l->priority = priority; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 510 | tipc_link_set_queue_limits(l, min_win, max_win); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 511 | l->ackers = 1; |
| 512 | l->bc_sndlink = bc_sndlink; |
| 513 | l->bc_rcvlink = bc_rcvlink; |
| 514 | l->inputq = inputq; |
| 515 | l->namedq = namedq; |
| 516 | l->state = LINK_RESETTING; |
| 517 | __skb_queue_head_init(&l->transmq); |
| 518 | __skb_queue_head_init(&l->backlogq); |
| 519 | __skb_queue_head_init(&l->deferdq); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 520 | __skb_queue_head_init(&l->failover_deferdq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 521 | skb_queue_head_init(&l->wakeupq); |
| 522 | skb_queue_head_init(l->inputq); |
| 523 | return true; |
| 524 | } |
| 525 | |
| 526 | /** |
| 527 | * tipc_link_bc_create - create new link to be used for broadcast |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 528 | * @net: pointer to associated network namespace |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 529 | * @mtu: mtu to be used initially if no peers |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 530 | * @min_win: minimal send window to be used by link |
| 531 | * @max_win: maximal send window to be used by link |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 532 | * @inputq: queue to put messages ready for delivery |
| 533 | * @namedq: queue to put binding table update messages ready for delivery |
| 534 | * @link: return value, pointer to put the created link |
| 535 | * |
| 536 | * Returns true if link was created, otherwise false |
| 537 | */ |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 538 | bool tipc_link_bc_create(struct net *net, u32 ownnode, u32 peer, u8 *peer_id, |
| 539 | int mtu, u32 min_win, u32 max_win, u16 peer_caps, |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 540 | struct sk_buff_head *inputq, |
| 541 | struct sk_buff_head *namedq, |
| 542 | struct tipc_link *bc_sndlink, |
| 543 | struct tipc_link **link) |
| 544 | { |
| 545 | struct tipc_link *l; |
| 546 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 547 | if (!tipc_link_create(net, "", MAX_BEARERS, 0, 'Z', mtu, 0, min_win, |
| 548 | max_win, 0, ownnode, peer, NULL, peer_caps, |
| 549 | bc_sndlink, NULL, inputq, namedq, link)) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 550 | return false; |
| 551 | |
| 552 | l = *link; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 553 | if (peer_id) { |
| 554 | char peer_str[NODE_ID_STR_LEN] = {0,}; |
| 555 | |
| 556 | tipc_nodeid2string(peer_str, peer_id); |
| 557 | if (strlen(peer_str) > 16) |
| 558 | sprintf(peer_str, "%x", peer); |
| 559 | /* Broadcast receiver link name: "broadcast-link:<peer>" */ |
| 560 | snprintf(l->name, sizeof(l->name), "%s:%s", tipc_bclink_name, |
| 561 | peer_str); |
| 562 | } else { |
| 563 | strcpy(l->name, tipc_bclink_name); |
| 564 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 565 | trace_tipc_link_reset(l, TIPC_DUMP_ALL, "bclink created!"); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 566 | tipc_link_reset(l); |
| 567 | l->state = LINK_RESET; |
| 568 | l->ackers = 0; |
| 569 | l->bc_rcvlink = l; |
| 570 | |
| 571 | /* Broadcast send link is always up */ |
| 572 | if (link_is_bc_sndlink(l)) |
| 573 | l->state = LINK_ESTABLISHED; |
| 574 | |
| 575 | /* Disable replicast if even a single peer doesn't support it */ |
| 576 | if (link_is_bc_rcvlink(l) && !(peer_caps & TIPC_BCAST_RCAST)) |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 577 | tipc_bcast_toggle_rcast(net, false); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 578 | |
| 579 | return true; |
| 580 | } |
| 581 | |
| 582 | /** |
| 583 | * tipc_link_fsm_evt - link finite state machine |
| 584 | * @l: pointer to link |
| 585 | * @evt: state machine event to be processed |
| 586 | */ |
| 587 | int tipc_link_fsm_evt(struct tipc_link *l, int evt) |
| 588 | { |
| 589 | int rc = 0; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 590 | int old_state = l->state; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 591 | |
| 592 | switch (l->state) { |
| 593 | case LINK_RESETTING: |
| 594 | switch (evt) { |
| 595 | case LINK_PEER_RESET_EVT: |
| 596 | l->state = LINK_PEER_RESET; |
| 597 | break; |
| 598 | case LINK_RESET_EVT: |
| 599 | l->state = LINK_RESET; |
| 600 | break; |
| 601 | case LINK_FAILURE_EVT: |
| 602 | case LINK_FAILOVER_BEGIN_EVT: |
| 603 | case LINK_ESTABLISH_EVT: |
| 604 | case LINK_FAILOVER_END_EVT: |
| 605 | case LINK_SYNCH_BEGIN_EVT: |
| 606 | case LINK_SYNCH_END_EVT: |
| 607 | default: |
| 608 | goto illegal_evt; |
| 609 | } |
| 610 | break; |
| 611 | case LINK_RESET: |
| 612 | switch (evt) { |
| 613 | case LINK_PEER_RESET_EVT: |
| 614 | l->state = LINK_ESTABLISHING; |
| 615 | break; |
| 616 | case LINK_FAILOVER_BEGIN_EVT: |
| 617 | l->state = LINK_FAILINGOVER; |
| 618 | case LINK_FAILURE_EVT: |
| 619 | case LINK_RESET_EVT: |
| 620 | case LINK_ESTABLISH_EVT: |
| 621 | case LINK_FAILOVER_END_EVT: |
| 622 | break; |
| 623 | case LINK_SYNCH_BEGIN_EVT: |
| 624 | case LINK_SYNCH_END_EVT: |
| 625 | default: |
| 626 | goto illegal_evt; |
| 627 | } |
| 628 | break; |
| 629 | case LINK_PEER_RESET: |
| 630 | switch (evt) { |
| 631 | case LINK_RESET_EVT: |
| 632 | l->state = LINK_ESTABLISHING; |
| 633 | break; |
| 634 | case LINK_PEER_RESET_EVT: |
| 635 | case LINK_ESTABLISH_EVT: |
| 636 | case LINK_FAILURE_EVT: |
| 637 | break; |
| 638 | case LINK_SYNCH_BEGIN_EVT: |
| 639 | case LINK_SYNCH_END_EVT: |
| 640 | case LINK_FAILOVER_BEGIN_EVT: |
| 641 | case LINK_FAILOVER_END_EVT: |
| 642 | default: |
| 643 | goto illegal_evt; |
| 644 | } |
| 645 | break; |
| 646 | case LINK_FAILINGOVER: |
| 647 | switch (evt) { |
| 648 | case LINK_FAILOVER_END_EVT: |
| 649 | l->state = LINK_RESET; |
| 650 | break; |
| 651 | case LINK_PEER_RESET_EVT: |
| 652 | case LINK_RESET_EVT: |
| 653 | case LINK_ESTABLISH_EVT: |
| 654 | case LINK_FAILURE_EVT: |
| 655 | break; |
| 656 | case LINK_FAILOVER_BEGIN_EVT: |
| 657 | case LINK_SYNCH_BEGIN_EVT: |
| 658 | case LINK_SYNCH_END_EVT: |
| 659 | default: |
| 660 | goto illegal_evt; |
| 661 | } |
| 662 | break; |
| 663 | case LINK_ESTABLISHING: |
| 664 | switch (evt) { |
| 665 | case LINK_ESTABLISH_EVT: |
| 666 | l->state = LINK_ESTABLISHED; |
| 667 | break; |
| 668 | case LINK_FAILOVER_BEGIN_EVT: |
| 669 | l->state = LINK_FAILINGOVER; |
| 670 | break; |
| 671 | case LINK_RESET_EVT: |
| 672 | l->state = LINK_RESET; |
| 673 | break; |
| 674 | case LINK_FAILURE_EVT: |
| 675 | case LINK_PEER_RESET_EVT: |
| 676 | case LINK_SYNCH_BEGIN_EVT: |
| 677 | case LINK_FAILOVER_END_EVT: |
| 678 | break; |
| 679 | case LINK_SYNCH_END_EVT: |
| 680 | default: |
| 681 | goto illegal_evt; |
| 682 | } |
| 683 | break; |
| 684 | case LINK_ESTABLISHED: |
| 685 | switch (evt) { |
| 686 | case LINK_PEER_RESET_EVT: |
| 687 | l->state = LINK_PEER_RESET; |
| 688 | rc |= TIPC_LINK_DOWN_EVT; |
| 689 | break; |
| 690 | case LINK_FAILURE_EVT: |
| 691 | l->state = LINK_RESETTING; |
| 692 | rc |= TIPC_LINK_DOWN_EVT; |
| 693 | break; |
| 694 | case LINK_RESET_EVT: |
| 695 | l->state = LINK_RESET; |
| 696 | break; |
| 697 | case LINK_ESTABLISH_EVT: |
| 698 | case LINK_SYNCH_END_EVT: |
| 699 | break; |
| 700 | case LINK_SYNCH_BEGIN_EVT: |
| 701 | l->state = LINK_SYNCHING; |
| 702 | break; |
| 703 | case LINK_FAILOVER_BEGIN_EVT: |
| 704 | case LINK_FAILOVER_END_EVT: |
| 705 | default: |
| 706 | goto illegal_evt; |
| 707 | } |
| 708 | break; |
| 709 | case LINK_SYNCHING: |
| 710 | switch (evt) { |
| 711 | case LINK_PEER_RESET_EVT: |
| 712 | l->state = LINK_PEER_RESET; |
| 713 | rc |= TIPC_LINK_DOWN_EVT; |
| 714 | break; |
| 715 | case LINK_FAILURE_EVT: |
| 716 | l->state = LINK_RESETTING; |
| 717 | rc |= TIPC_LINK_DOWN_EVT; |
| 718 | break; |
| 719 | case LINK_RESET_EVT: |
| 720 | l->state = LINK_RESET; |
| 721 | break; |
| 722 | case LINK_ESTABLISH_EVT: |
| 723 | case LINK_SYNCH_BEGIN_EVT: |
| 724 | break; |
| 725 | case LINK_SYNCH_END_EVT: |
| 726 | l->state = LINK_ESTABLISHED; |
| 727 | break; |
| 728 | case LINK_FAILOVER_BEGIN_EVT: |
| 729 | case LINK_FAILOVER_END_EVT: |
| 730 | default: |
| 731 | goto illegal_evt; |
| 732 | } |
| 733 | break; |
| 734 | default: |
| 735 | pr_err("Unknown FSM state %x in %s\n", l->state, l->name); |
| 736 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 737 | trace_tipc_link_fsm(l->name, old_state, l->state, evt); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 738 | return rc; |
| 739 | illegal_evt: |
| 740 | pr_err("Illegal FSM event %x in state %x on link %s\n", |
| 741 | evt, l->state, l->name); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 742 | trace_tipc_link_fsm(l->name, old_state, l->state, evt); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 743 | return rc; |
| 744 | } |
| 745 | |
| 746 | /* link_profile_stats - update statistical profiling of traffic |
| 747 | */ |
| 748 | static void link_profile_stats(struct tipc_link *l) |
| 749 | { |
| 750 | struct sk_buff *skb; |
| 751 | struct tipc_msg *msg; |
| 752 | int length; |
| 753 | |
| 754 | /* Update counters used in statistical profiling of send traffic */ |
| 755 | l->stats.accu_queue_sz += skb_queue_len(&l->transmq); |
| 756 | l->stats.queue_sz_counts++; |
| 757 | |
| 758 | skb = skb_peek(&l->transmq); |
| 759 | if (!skb) |
| 760 | return; |
| 761 | msg = buf_msg(skb); |
| 762 | length = msg_size(msg); |
| 763 | |
| 764 | if (msg_user(msg) == MSG_FRAGMENTER) { |
| 765 | if (msg_type(msg) != FIRST_FRAGMENT) |
| 766 | return; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 767 | length = msg_size(msg_inner_hdr(msg)); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 768 | } |
| 769 | l->stats.msg_lengths_total += length; |
| 770 | l->stats.msg_length_counts++; |
| 771 | if (length <= 64) |
| 772 | l->stats.msg_length_profile[0]++; |
| 773 | else if (length <= 256) |
| 774 | l->stats.msg_length_profile[1]++; |
| 775 | else if (length <= 1024) |
| 776 | l->stats.msg_length_profile[2]++; |
| 777 | else if (length <= 4096) |
| 778 | l->stats.msg_length_profile[3]++; |
| 779 | else if (length <= 16384) |
| 780 | l->stats.msg_length_profile[4]++; |
| 781 | else if (length <= 32768) |
| 782 | l->stats.msg_length_profile[5]++; |
| 783 | else |
| 784 | l->stats.msg_length_profile[6]++; |
| 785 | } |
| 786 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 787 | /** |
| 788 | * tipc_link_too_silent - check if link is "too silent" |
| 789 | * @l: tipc link to be checked |
| 790 | * |
| 791 | * Returns true if the link 'silent_intv_cnt' is about to reach the |
| 792 | * 'abort_limit' value, otherwise false |
| 793 | */ |
| 794 | bool tipc_link_too_silent(struct tipc_link *l) |
| 795 | { |
| 796 | return (l->silent_intv_cnt + 2 > l->abort_limit); |
| 797 | } |
| 798 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 799 | /* tipc_link_timeout - perform periodic task as instructed from node timeout |
| 800 | */ |
| 801 | int tipc_link_timeout(struct tipc_link *l, struct sk_buff_head *xmitq) |
| 802 | { |
| 803 | int mtyp = 0; |
| 804 | int rc = 0; |
| 805 | bool state = false; |
| 806 | bool probe = false; |
| 807 | bool setup = false; |
| 808 | u16 bc_snt = l->bc_sndlink->snd_nxt - 1; |
| 809 | u16 bc_acked = l->bc_rcvlink->acked; |
| 810 | struct tipc_mon_state *mstate = &l->mon_state; |
| 811 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 812 | trace_tipc_link_timeout(l, TIPC_DUMP_NONE, " "); |
| 813 | trace_tipc_link_too_silent(l, TIPC_DUMP_ALL, " "); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 814 | switch (l->state) { |
| 815 | case LINK_ESTABLISHED: |
| 816 | case LINK_SYNCHING: |
| 817 | mtyp = STATE_MSG; |
| 818 | link_profile_stats(l); |
| 819 | tipc_mon_get_state(l->net, l->addr, mstate, l->bearer_id); |
| 820 | if (mstate->reset || (l->silent_intv_cnt > l->abort_limit)) |
| 821 | return tipc_link_fsm_evt(l, LINK_FAILURE_EVT); |
| 822 | state = bc_acked != bc_snt; |
| 823 | state |= l->bc_rcvlink->rcv_unacked; |
| 824 | state |= l->rcv_unacked; |
| 825 | state |= !skb_queue_empty(&l->transmq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 826 | probe = mstate->probing; |
| 827 | probe |= l->silent_intv_cnt; |
| 828 | if (probe || mstate->monitoring) |
| 829 | l->silent_intv_cnt++; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 830 | probe |= !skb_queue_empty(&l->deferdq); |
| 831 | if (l->snd_nxt == l->checkpoint) { |
| 832 | tipc_link_update_cwin(l, 0, 0); |
| 833 | probe = true; |
| 834 | } |
| 835 | l->checkpoint = l->snd_nxt; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 836 | break; |
| 837 | case LINK_RESET: |
| 838 | setup = l->rst_cnt++ <= 4; |
| 839 | setup |= !(l->rst_cnt % 16); |
| 840 | mtyp = RESET_MSG; |
| 841 | break; |
| 842 | case LINK_ESTABLISHING: |
| 843 | setup = true; |
| 844 | mtyp = ACTIVATE_MSG; |
| 845 | break; |
| 846 | case LINK_PEER_RESET: |
| 847 | case LINK_RESETTING: |
| 848 | case LINK_FAILINGOVER: |
| 849 | break; |
| 850 | default: |
| 851 | break; |
| 852 | } |
| 853 | |
| 854 | if (state || probe || setup) |
| 855 | tipc_link_build_proto_msg(l, mtyp, probe, 0, 0, 0, 0, xmitq); |
| 856 | |
| 857 | return rc; |
| 858 | } |
| 859 | |
| 860 | /** |
| 861 | * link_schedule_user - schedule a message sender for wakeup after congestion |
| 862 | * @l: congested link |
| 863 | * @hdr: header of message that is being sent |
| 864 | * Create pseudo msg to send back to user when congestion abates |
| 865 | */ |
| 866 | static int link_schedule_user(struct tipc_link *l, struct tipc_msg *hdr) |
| 867 | { |
| 868 | u32 dnode = tipc_own_addr(l->net); |
| 869 | u32 dport = msg_origport(hdr); |
| 870 | struct sk_buff *skb; |
| 871 | |
| 872 | /* Create and schedule wakeup pseudo message */ |
| 873 | skb = tipc_msg_create(SOCK_WAKEUP, 0, INT_H_SIZE, 0, |
| 874 | dnode, l->addr, dport, 0, 0); |
| 875 | if (!skb) |
| 876 | return -ENOBUFS; |
| 877 | msg_set_dest_droppable(buf_msg(skb), true); |
| 878 | TIPC_SKB_CB(skb)->chain_imp = msg_importance(hdr); |
| 879 | skb_queue_tail(&l->wakeupq, skb); |
| 880 | l->stats.link_congs++; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 881 | trace_tipc_link_conges(l, TIPC_DUMP_ALL, "wakeup scheduled!"); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 882 | return -ELINKCONG; |
| 883 | } |
| 884 | |
| 885 | /** |
| 886 | * link_prepare_wakeup - prepare users for wakeup after congestion |
| 887 | * @l: congested link |
| 888 | * Wake up a number of waiting users, as permitted by available space |
| 889 | * in the send queue |
| 890 | */ |
| 891 | static void link_prepare_wakeup(struct tipc_link *l) |
| 892 | { |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 893 | struct sk_buff_head *wakeupq = &l->wakeupq; |
| 894 | struct sk_buff_head *inputq = l->inputq; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 895 | struct sk_buff *skb, *tmp; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 896 | struct sk_buff_head tmpq; |
| 897 | int avail[5] = {0,}; |
| 898 | int imp = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 899 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 900 | __skb_queue_head_init(&tmpq); |
| 901 | |
| 902 | for (; imp <= TIPC_SYSTEM_IMPORTANCE; imp++) |
| 903 | avail[imp] = l->backlog[imp].limit - l->backlog[imp].len; |
| 904 | |
| 905 | skb_queue_walk_safe(wakeupq, skb, tmp) { |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 906 | imp = TIPC_SKB_CB(skb)->chain_imp; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 907 | if (avail[imp] <= 0) |
| 908 | continue; |
| 909 | avail[imp]--; |
| 910 | __skb_unlink(skb, wakeupq); |
| 911 | __skb_queue_tail(&tmpq, skb); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 912 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 913 | |
| 914 | spin_lock_bh(&inputq->lock); |
| 915 | skb_queue_splice_tail(&tmpq, inputq); |
| 916 | spin_unlock_bh(&inputq->lock); |
| 917 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 918 | } |
| 919 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 920 | /** |
| 921 | * tipc_link_set_skb_retransmit_time - set the time at which retransmission of |
| 922 | * the given skb should be next attempted |
| 923 | * @skb: skb to set a future retransmission time for |
| 924 | * @l: link the skb will be transmitted on |
| 925 | */ |
| 926 | static void tipc_link_set_skb_retransmit_time(struct sk_buff *skb, |
| 927 | struct tipc_link *l) |
| 928 | { |
| 929 | if (link_is_bc_sndlink(l)) |
| 930 | TIPC_SKB_CB(skb)->nxt_retr = TIPC_BC_RETR_LIM; |
| 931 | else |
| 932 | TIPC_SKB_CB(skb)->nxt_retr = TIPC_UC_RETR_TIME; |
| 933 | } |
| 934 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 935 | void tipc_link_reset(struct tipc_link *l) |
| 936 | { |
| 937 | struct sk_buff_head list; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 938 | u32 imp; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 939 | |
| 940 | __skb_queue_head_init(&list); |
| 941 | |
| 942 | l->in_session = false; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 943 | /* Force re-synch of peer session number before establishing */ |
| 944 | l->peer_session--; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 945 | l->session++; |
| 946 | l->mtu = l->advertised_mtu; |
| 947 | |
| 948 | spin_lock_bh(&l->wakeupq.lock); |
| 949 | skb_queue_splice_init(&l->wakeupq, &list); |
| 950 | spin_unlock_bh(&l->wakeupq.lock); |
| 951 | |
| 952 | spin_lock_bh(&l->inputq->lock); |
| 953 | skb_queue_splice_init(&list, l->inputq); |
| 954 | spin_unlock_bh(&l->inputq->lock); |
| 955 | |
| 956 | __skb_queue_purge(&l->transmq); |
| 957 | __skb_queue_purge(&l->deferdq); |
| 958 | __skb_queue_purge(&l->backlogq); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 959 | __skb_queue_purge(&l->failover_deferdq); |
| 960 | for (imp = 0; imp <= TIPC_SYSTEM_IMPORTANCE; imp++) { |
| 961 | l->backlog[imp].len = 0; |
| 962 | l->backlog[imp].target_bskb = NULL; |
| 963 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 964 | kfree_skb(l->reasm_buf); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 965 | kfree_skb(l->reasm_tnlmsg); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 966 | kfree_skb(l->failover_reasm_skb); |
| 967 | l->reasm_buf = NULL; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 968 | l->reasm_tnlmsg = NULL; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 969 | l->failover_reasm_skb = NULL; |
| 970 | l->rcv_unacked = 0; |
| 971 | l->snd_nxt = 1; |
| 972 | l->rcv_nxt = 1; |
| 973 | l->snd_nxt_state = 1; |
| 974 | l->rcv_nxt_state = 1; |
| 975 | l->acked = 0; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 976 | l->last_gap = 0; |
| 977 | kfree(l->last_ga); |
| 978 | l->last_ga = NULL; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 979 | l->silent_intv_cnt = 0; |
| 980 | l->rst_cnt = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 981 | l->bc_peer_is_up = false; |
| 982 | memset(&l->mon_state, 0, sizeof(l->mon_state)); |
| 983 | tipc_link_reset_stats(l); |
| 984 | } |
| 985 | |
| 986 | /** |
| 987 | * tipc_link_xmit(): enqueue buffer list according to queue situation |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 988 | * @l: link to use |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 989 | * @list: chain of buffers containing message |
| 990 | * @xmitq: returned list of packets to be sent by caller |
| 991 | * |
| 992 | * Consumes the buffer chain. |
| 993 | * Returns 0 if success, or errno: -ELINKCONG, -EMSGSIZE or -ENOBUFS |
| 994 | * Messages at TIPC_SYSTEM_IMPORTANCE are always accepted |
| 995 | */ |
| 996 | int tipc_link_xmit(struct tipc_link *l, struct sk_buff_head *list, |
| 997 | struct sk_buff_head *xmitq) |
| 998 | { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 999 | struct sk_buff_head *backlogq = &l->backlogq; |
| 1000 | struct sk_buff_head *transmq = &l->transmq; |
| 1001 | struct sk_buff *skb, *_skb; |
| 1002 | u16 bc_ack = l->bc_rcvlink->rcv_nxt - 1; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1003 | u16 ack = l->rcv_nxt - 1; |
| 1004 | u16 seqno = l->snd_nxt; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1005 | int pkt_cnt = skb_queue_len(list); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1006 | unsigned int mss = tipc_link_mss(l); |
| 1007 | unsigned int cwin = l->window; |
| 1008 | unsigned int mtu = l->mtu; |
Olivier Deprez | 0e64123 | 2021-09-23 10:07:05 +0200 | [diff] [blame] | 1009 | struct tipc_msg *hdr; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1010 | bool new_bundle; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1011 | int rc = 0; |
Olivier Deprez | 0e64123 | 2021-09-23 10:07:05 +0200 | [diff] [blame] | 1012 | int imp; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1013 | |
Olivier Deprez | 0e64123 | 2021-09-23 10:07:05 +0200 | [diff] [blame] | 1014 | if (pkt_cnt <= 0) |
| 1015 | return 0; |
| 1016 | |
| 1017 | hdr = buf_msg(skb_peek(list)); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1018 | if (unlikely(msg_size(hdr) > mtu)) { |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1019 | pr_warn("Too large msg, purging xmit list %d %d %d %d %d!\n", |
| 1020 | skb_queue_len(list), msg_user(hdr), |
| 1021 | msg_type(hdr), msg_size(hdr), mtu); |
| 1022 | __skb_queue_purge(list); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1023 | return -EMSGSIZE; |
| 1024 | } |
| 1025 | |
Olivier Deprez | 0e64123 | 2021-09-23 10:07:05 +0200 | [diff] [blame] | 1026 | imp = msg_importance(hdr); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1027 | /* Allow oversubscription of one data msg per source at congestion */ |
| 1028 | if (unlikely(l->backlog[imp].len >= l->backlog[imp].limit)) { |
| 1029 | if (imp == TIPC_SYSTEM_IMPORTANCE) { |
| 1030 | pr_warn("%s<%s>, link overflow", link_rst_msg, l->name); |
| 1031 | return -ENOBUFS; |
| 1032 | } |
| 1033 | rc = link_schedule_user(l, hdr); |
| 1034 | } |
| 1035 | |
| 1036 | if (pkt_cnt > 1) { |
| 1037 | l->stats.sent_fragmented++; |
| 1038 | l->stats.sent_fragments += pkt_cnt; |
| 1039 | } |
| 1040 | |
| 1041 | /* Prepare each packet for sending, and add to relevant queue: */ |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1042 | while ((skb = __skb_dequeue(list))) { |
| 1043 | if (likely(skb_queue_len(transmq) < cwin)) { |
| 1044 | hdr = buf_msg(skb); |
| 1045 | msg_set_seqno(hdr, seqno); |
| 1046 | msg_set_ack(hdr, ack); |
| 1047 | msg_set_bcast_ack(hdr, bc_ack); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1048 | _skb = skb_clone(skb, GFP_ATOMIC); |
| 1049 | if (!_skb) { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1050 | kfree_skb(skb); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1051 | __skb_queue_purge(list); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1052 | return -ENOBUFS; |
| 1053 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1054 | __skb_queue_tail(transmq, skb); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1055 | tipc_link_set_skb_retransmit_time(skb, l); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1056 | __skb_queue_tail(xmitq, _skb); |
| 1057 | TIPC_SKB_CB(skb)->ackers = l->ackers; |
| 1058 | l->rcv_unacked = 0; |
| 1059 | l->stats.sent_pkts++; |
| 1060 | seqno++; |
| 1061 | continue; |
| 1062 | } |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1063 | if (tipc_msg_try_bundle(l->backlog[imp].target_bskb, &skb, |
| 1064 | mss, l->addr, &new_bundle)) { |
| 1065 | if (skb) { |
| 1066 | /* Keep a ref. to the skb for next try */ |
| 1067 | l->backlog[imp].target_bskb = skb; |
| 1068 | l->backlog[imp].len++; |
| 1069 | __skb_queue_tail(backlogq, skb); |
| 1070 | } else { |
| 1071 | if (new_bundle) { |
| 1072 | l->stats.sent_bundles++; |
| 1073 | l->stats.sent_bundled++; |
| 1074 | } |
| 1075 | l->stats.sent_bundled++; |
| 1076 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1077 | continue; |
| 1078 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1079 | l->backlog[imp].target_bskb = NULL; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1080 | l->backlog[imp].len += (1 + skb_queue_len(list)); |
| 1081 | __skb_queue_tail(backlogq, skb); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1082 | skb_queue_splice_tail_init(list, backlogq); |
| 1083 | } |
| 1084 | l->snd_nxt = seqno; |
| 1085 | return rc; |
| 1086 | } |
| 1087 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1088 | static void tipc_link_update_cwin(struct tipc_link *l, int released, |
| 1089 | bool retransmitted) |
| 1090 | { |
| 1091 | int bklog_len = skb_queue_len(&l->backlogq); |
| 1092 | struct sk_buff_head *txq = &l->transmq; |
| 1093 | int txq_len = skb_queue_len(txq); |
| 1094 | u16 cwin = l->window; |
| 1095 | |
| 1096 | /* Enter fast recovery */ |
| 1097 | if (unlikely(retransmitted)) { |
| 1098 | l->ssthresh = max_t(u16, l->window / 2, 300); |
| 1099 | l->window = min_t(u16, l->ssthresh, l->window); |
| 1100 | return; |
| 1101 | } |
| 1102 | /* Enter slow start */ |
| 1103 | if (unlikely(!released)) { |
| 1104 | l->ssthresh = max_t(u16, l->window / 2, 300); |
| 1105 | l->window = l->min_win; |
| 1106 | return; |
| 1107 | } |
| 1108 | /* Don't increase window if no pressure on the transmit queue */ |
| 1109 | if (txq_len + bklog_len < cwin) |
| 1110 | return; |
| 1111 | |
| 1112 | /* Don't increase window if there are holes the transmit queue */ |
| 1113 | if (txq_len && l->snd_nxt - buf_seqno(skb_peek(txq)) != txq_len) |
| 1114 | return; |
| 1115 | |
| 1116 | l->cong_acks += released; |
| 1117 | |
| 1118 | /* Slow start */ |
| 1119 | if (cwin <= l->ssthresh) { |
| 1120 | l->window = min_t(u16, cwin + released, l->max_win); |
| 1121 | return; |
| 1122 | } |
| 1123 | /* Congestion avoidance */ |
| 1124 | if (l->cong_acks < cwin) |
| 1125 | return; |
| 1126 | l->window = min_t(u16, ++cwin, l->max_win); |
| 1127 | l->cong_acks = 0; |
| 1128 | } |
| 1129 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1130 | static void tipc_link_advance_backlog(struct tipc_link *l, |
| 1131 | struct sk_buff_head *xmitq) |
| 1132 | { |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1133 | u16 bc_ack = l->bc_rcvlink->rcv_nxt - 1; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1134 | struct sk_buff_head *txq = &l->transmq; |
| 1135 | struct sk_buff *skb, *_skb; |
| 1136 | u16 ack = l->rcv_nxt - 1; |
| 1137 | u16 seqno = l->snd_nxt; |
| 1138 | struct tipc_msg *hdr; |
| 1139 | u16 cwin = l->window; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1140 | u32 imp; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1141 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1142 | while (skb_queue_len(txq) < cwin) { |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1143 | skb = skb_peek(&l->backlogq); |
| 1144 | if (!skb) |
| 1145 | break; |
| 1146 | _skb = skb_clone(skb, GFP_ATOMIC); |
| 1147 | if (!_skb) |
| 1148 | break; |
| 1149 | __skb_dequeue(&l->backlogq); |
| 1150 | hdr = buf_msg(skb); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1151 | imp = msg_importance(hdr); |
| 1152 | l->backlog[imp].len--; |
| 1153 | if (unlikely(skb == l->backlog[imp].target_bskb)) |
| 1154 | l->backlog[imp].target_bskb = NULL; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1155 | __skb_queue_tail(&l->transmq, skb); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1156 | tipc_link_set_skb_retransmit_time(skb, l); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1157 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1158 | __skb_queue_tail(xmitq, _skb); |
| 1159 | TIPC_SKB_CB(skb)->ackers = l->ackers; |
| 1160 | msg_set_seqno(hdr, seqno); |
| 1161 | msg_set_ack(hdr, ack); |
| 1162 | msg_set_bcast_ack(hdr, bc_ack); |
| 1163 | l->rcv_unacked = 0; |
| 1164 | l->stats.sent_pkts++; |
| 1165 | seqno++; |
| 1166 | } |
| 1167 | l->snd_nxt = seqno; |
| 1168 | } |
| 1169 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1170 | /** |
| 1171 | * link_retransmit_failure() - Detect repeated retransmit failures |
| 1172 | * @l: tipc link sender |
| 1173 | * @r: tipc link receiver (= l in case of unicast) |
| 1174 | * @rc: returned code |
| 1175 | * |
| 1176 | * Return: true if the repeated retransmit failures happens, otherwise |
| 1177 | * false |
| 1178 | */ |
| 1179 | static bool link_retransmit_failure(struct tipc_link *l, struct tipc_link *r, |
| 1180 | int *rc) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1181 | { |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1182 | struct sk_buff *skb = skb_peek(&l->transmq); |
| 1183 | struct tipc_msg *hdr; |
| 1184 | |
| 1185 | if (!skb) |
| 1186 | return false; |
| 1187 | |
| 1188 | if (!TIPC_SKB_CB(skb)->retr_cnt) |
| 1189 | return false; |
| 1190 | |
| 1191 | if (!time_after(jiffies, TIPC_SKB_CB(skb)->retr_stamp + |
Olivier Deprez | 0e64123 | 2021-09-23 10:07:05 +0200 | [diff] [blame] | 1192 | msecs_to_jiffies(r->tolerance * 10))) |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1193 | return false; |
| 1194 | |
| 1195 | hdr = buf_msg(skb); |
| 1196 | if (link_is_bc_sndlink(l) && !less(r->acked, msg_seqno(hdr))) |
| 1197 | return false; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1198 | |
| 1199 | pr_warn("Retransmission failure on link <%s>\n", l->name); |
| 1200 | link_print(l, "State of link "); |
| 1201 | pr_info("Failed msg: usr %u, typ %u, len %u, err %u\n", |
| 1202 | msg_user(hdr), msg_type(hdr), msg_size(hdr), msg_errcode(hdr)); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1203 | pr_info("sqno %u, prev: %x, dest: %x\n", |
| 1204 | msg_seqno(hdr), msg_prevnode(hdr), msg_destnode(hdr)); |
| 1205 | pr_info("retr_stamp %d, retr_cnt %d\n", |
| 1206 | jiffies_to_msecs(TIPC_SKB_CB(skb)->retr_stamp), |
| 1207 | TIPC_SKB_CB(skb)->retr_cnt); |
| 1208 | |
| 1209 | trace_tipc_list_dump(&l->transmq, true, "retrans failure!"); |
| 1210 | trace_tipc_link_dump(l, TIPC_DUMP_NONE, "retrans failure!"); |
| 1211 | trace_tipc_link_dump(r, TIPC_DUMP_NONE, "retrans failure!"); |
| 1212 | |
| 1213 | if (link_is_bc_sndlink(l)) { |
| 1214 | r->state = LINK_RESET; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1215 | *rc |= TIPC_LINK_DOWN_EVT; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1216 | } else { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1217 | *rc |= tipc_link_fsm_evt(l, LINK_FAILURE_EVT); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1218 | } |
| 1219 | |
| 1220 | return true; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1221 | } |
| 1222 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1223 | /* tipc_data_input - deliver data and name distr msgs to upper layer |
| 1224 | * |
| 1225 | * Consumes buffer if message is of right type |
| 1226 | * Node lock must be held |
| 1227 | */ |
| 1228 | static bool tipc_data_input(struct tipc_link *l, struct sk_buff *skb, |
| 1229 | struct sk_buff_head *inputq) |
| 1230 | { |
| 1231 | struct sk_buff_head *mc_inputq = l->bc_rcvlink->inputq; |
| 1232 | struct tipc_msg *hdr = buf_msg(skb); |
| 1233 | |
| 1234 | switch (msg_user(hdr)) { |
| 1235 | case TIPC_LOW_IMPORTANCE: |
| 1236 | case TIPC_MEDIUM_IMPORTANCE: |
| 1237 | case TIPC_HIGH_IMPORTANCE: |
| 1238 | case TIPC_CRITICAL_IMPORTANCE: |
| 1239 | if (unlikely(msg_in_group(hdr) || msg_mcast(hdr))) { |
| 1240 | skb_queue_tail(mc_inputq, skb); |
| 1241 | return true; |
| 1242 | } |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1243 | fallthrough; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1244 | case CONN_MANAGER: |
| 1245 | skb_queue_tail(inputq, skb); |
| 1246 | return true; |
| 1247 | case GROUP_PROTOCOL: |
| 1248 | skb_queue_tail(mc_inputq, skb); |
| 1249 | return true; |
| 1250 | case NAME_DISTRIBUTOR: |
| 1251 | l->bc_rcvlink->state = LINK_ESTABLISHED; |
| 1252 | skb_queue_tail(l->namedq, skb); |
| 1253 | return true; |
| 1254 | case MSG_BUNDLER: |
| 1255 | case TUNNEL_PROTOCOL: |
| 1256 | case MSG_FRAGMENTER: |
| 1257 | case BCAST_PROTOCOL: |
| 1258 | return false; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1259 | #ifdef CONFIG_TIPC_CRYPTO |
| 1260 | case MSG_CRYPTO: |
| 1261 | if (TIPC_SKB_CB(skb)->decrypted) { |
| 1262 | tipc_crypto_msg_rcv(l->net, skb); |
| 1263 | return true; |
| 1264 | } |
| 1265 | fallthrough; |
| 1266 | #endif |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1267 | default: |
| 1268 | pr_warn("Dropping received illegal msg type\n"); |
| 1269 | kfree_skb(skb); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1270 | return true; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1271 | }; |
| 1272 | } |
| 1273 | |
| 1274 | /* tipc_link_input - process packet that has passed link protocol check |
| 1275 | * |
| 1276 | * Consumes buffer |
| 1277 | */ |
| 1278 | static int tipc_link_input(struct tipc_link *l, struct sk_buff *skb, |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1279 | struct sk_buff_head *inputq, |
| 1280 | struct sk_buff **reasm_skb) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1281 | { |
| 1282 | struct tipc_msg *hdr = buf_msg(skb); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1283 | struct sk_buff *iskb; |
| 1284 | struct sk_buff_head tmpq; |
| 1285 | int usr = msg_user(hdr); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1286 | int pos = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1287 | |
| 1288 | if (usr == MSG_BUNDLER) { |
| 1289 | skb_queue_head_init(&tmpq); |
| 1290 | l->stats.recv_bundles++; |
| 1291 | l->stats.recv_bundled += msg_msgcnt(hdr); |
| 1292 | while (tipc_msg_extract(skb, &iskb, &pos)) |
| 1293 | tipc_data_input(l, iskb, &tmpq); |
| 1294 | tipc_skb_queue_splice_tail(&tmpq, inputq); |
| 1295 | return 0; |
| 1296 | } else if (usr == MSG_FRAGMENTER) { |
| 1297 | l->stats.recv_fragments++; |
| 1298 | if (tipc_buf_append(reasm_skb, &skb)) { |
| 1299 | l->stats.recv_fragmented++; |
| 1300 | tipc_data_input(l, skb, inputq); |
| 1301 | } else if (!*reasm_skb && !link_is_bc_rcvlink(l)) { |
| 1302 | pr_warn_ratelimited("Unable to build fragment list\n"); |
| 1303 | return tipc_link_fsm_evt(l, LINK_FAILURE_EVT); |
| 1304 | } |
| 1305 | return 0; |
| 1306 | } else if (usr == BCAST_PROTOCOL) { |
| 1307 | tipc_bcast_lock(l->net); |
| 1308 | tipc_link_bc_init_rcv(l->bc_rcvlink, hdr); |
| 1309 | tipc_bcast_unlock(l->net); |
| 1310 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1311 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1312 | kfree_skb(skb); |
| 1313 | return 0; |
| 1314 | } |
| 1315 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1316 | /* tipc_link_tnl_rcv() - receive TUNNEL_PROTOCOL message, drop or process the |
| 1317 | * inner message along with the ones in the old link's |
| 1318 | * deferdq |
| 1319 | * @l: tunnel link |
| 1320 | * @skb: TUNNEL_PROTOCOL message |
| 1321 | * @inputq: queue to put messages ready for delivery |
| 1322 | */ |
| 1323 | static int tipc_link_tnl_rcv(struct tipc_link *l, struct sk_buff *skb, |
| 1324 | struct sk_buff_head *inputq) |
| 1325 | { |
| 1326 | struct sk_buff **reasm_skb = &l->failover_reasm_skb; |
| 1327 | struct sk_buff **reasm_tnlmsg = &l->reasm_tnlmsg; |
| 1328 | struct sk_buff_head *fdefq = &l->failover_deferdq; |
| 1329 | struct tipc_msg *hdr = buf_msg(skb); |
| 1330 | struct sk_buff *iskb; |
| 1331 | int ipos = 0; |
| 1332 | int rc = 0; |
| 1333 | u16 seqno; |
| 1334 | |
| 1335 | if (msg_type(hdr) == SYNCH_MSG) { |
| 1336 | kfree_skb(skb); |
| 1337 | return 0; |
| 1338 | } |
| 1339 | |
| 1340 | /* Not a fragment? */ |
| 1341 | if (likely(!msg_nof_fragms(hdr))) { |
| 1342 | if (unlikely(!tipc_msg_extract(skb, &iskb, &ipos))) { |
| 1343 | pr_warn_ratelimited("Unable to extract msg, defq: %d\n", |
| 1344 | skb_queue_len(fdefq)); |
| 1345 | return 0; |
| 1346 | } |
| 1347 | kfree_skb(skb); |
| 1348 | } else { |
| 1349 | /* Set fragment type for buf_append */ |
| 1350 | if (msg_fragm_no(hdr) == 1) |
| 1351 | msg_set_type(hdr, FIRST_FRAGMENT); |
| 1352 | else if (msg_fragm_no(hdr) < msg_nof_fragms(hdr)) |
| 1353 | msg_set_type(hdr, FRAGMENT); |
| 1354 | else |
| 1355 | msg_set_type(hdr, LAST_FRAGMENT); |
| 1356 | |
| 1357 | if (!tipc_buf_append(reasm_tnlmsg, &skb)) { |
| 1358 | /* Successful but non-complete reassembly? */ |
| 1359 | if (*reasm_tnlmsg || link_is_bc_rcvlink(l)) |
| 1360 | return 0; |
| 1361 | pr_warn_ratelimited("Unable to reassemble tunnel msg\n"); |
| 1362 | return tipc_link_fsm_evt(l, LINK_FAILURE_EVT); |
| 1363 | } |
| 1364 | iskb = skb; |
| 1365 | } |
| 1366 | |
| 1367 | do { |
| 1368 | seqno = buf_seqno(iskb); |
| 1369 | if (unlikely(less(seqno, l->drop_point))) { |
| 1370 | kfree_skb(iskb); |
| 1371 | continue; |
| 1372 | } |
| 1373 | if (unlikely(seqno != l->drop_point)) { |
| 1374 | __tipc_skb_queue_sorted(fdefq, seqno, iskb); |
| 1375 | continue; |
| 1376 | } |
| 1377 | |
| 1378 | l->drop_point++; |
| 1379 | if (!tipc_data_input(l, iskb, inputq)) |
| 1380 | rc |= tipc_link_input(l, iskb, inputq, reasm_skb); |
| 1381 | if (unlikely(rc)) |
| 1382 | break; |
| 1383 | } while ((iskb = __tipc_skb_dequeue(fdefq, l->drop_point))); |
| 1384 | |
| 1385 | return rc; |
| 1386 | } |
| 1387 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1388 | /** |
| 1389 | * tipc_get_gap_ack_blks - get Gap ACK blocks from PROTOCOL/STATE_MSG |
| 1390 | * @ga: returned pointer to the Gap ACK blocks if any |
| 1391 | * @l: the tipc link |
| 1392 | * @hdr: the PROTOCOL/STATE_MSG header |
| 1393 | * @uc: desired Gap ACK blocks type, i.e. unicast (= 1) or broadcast (= 0) |
| 1394 | * |
| 1395 | * Return: the total Gap ACK blocks size |
| 1396 | */ |
| 1397 | u16 tipc_get_gap_ack_blks(struct tipc_gap_ack_blks **ga, struct tipc_link *l, |
| 1398 | struct tipc_msg *hdr, bool uc) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1399 | { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1400 | struct tipc_gap_ack_blks *p; |
| 1401 | u16 sz = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1402 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1403 | /* Does peer support the Gap ACK blocks feature? */ |
| 1404 | if (l->peer_caps & TIPC_GAP_ACK_BLOCK) { |
| 1405 | p = (struct tipc_gap_ack_blks *)msg_data(hdr); |
| 1406 | sz = ntohs(p->len); |
| 1407 | /* Sanity check */ |
| 1408 | if (sz == struct_size(p, gacks, p->ugack_cnt + p->bgack_cnt)) { |
| 1409 | /* Good, check if the desired type exists */ |
| 1410 | if ((uc && p->ugack_cnt) || (!uc && p->bgack_cnt)) |
| 1411 | goto ok; |
| 1412 | /* Backward compatible: peer might not support bc, but uc? */ |
| 1413 | } else if (uc && sz == struct_size(p, gacks, p->ugack_cnt)) { |
| 1414 | if (p->ugack_cnt) { |
| 1415 | p->bgack_cnt = 0; |
| 1416 | goto ok; |
| 1417 | } |
| 1418 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1419 | } |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1420 | /* Other cases: ignore! */ |
| 1421 | p = NULL; |
| 1422 | |
| 1423 | ok: |
| 1424 | *ga = p; |
| 1425 | return sz; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1426 | } |
| 1427 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1428 | static u8 __tipc_build_gap_ack_blks(struct tipc_gap_ack_blks *ga, |
| 1429 | struct tipc_link *l, u8 start_index) |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1430 | { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1431 | struct tipc_gap_ack *gacks = &ga->gacks[start_index]; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1432 | struct sk_buff *skb = skb_peek(&l->deferdq); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1433 | u16 expect, seqno = 0; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1434 | u8 n = 0; |
| 1435 | |
| 1436 | if (!skb) |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1437 | return 0; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1438 | |
| 1439 | expect = buf_seqno(skb); |
| 1440 | skb_queue_walk(&l->deferdq, skb) { |
| 1441 | seqno = buf_seqno(skb); |
| 1442 | if (unlikely(more(seqno, expect))) { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1443 | gacks[n].ack = htons(expect - 1); |
| 1444 | gacks[n].gap = htons(seqno - expect); |
| 1445 | if (++n >= MAX_GAP_ACK_BLKS / 2) { |
| 1446 | pr_info_ratelimited("Gacks on %s: %d, ql: %d!\n", |
| 1447 | l->name, n, |
| 1448 | skb_queue_len(&l->deferdq)); |
| 1449 | return n; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1450 | } |
| 1451 | } else if (unlikely(less(seqno, expect))) { |
| 1452 | pr_warn("Unexpected skb in deferdq!\n"); |
| 1453 | continue; |
| 1454 | } |
| 1455 | expect = seqno + 1; |
| 1456 | } |
| 1457 | |
| 1458 | /* last block */ |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1459 | gacks[n].ack = htons(seqno); |
| 1460 | gacks[n].gap = 0; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1461 | n++; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1462 | return n; |
| 1463 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1464 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1465 | /* tipc_build_gap_ack_blks - build Gap ACK blocks |
| 1466 | * @l: tipc unicast link |
| 1467 | * @hdr: the tipc message buffer to store the Gap ACK blocks after built |
| 1468 | * |
| 1469 | * The function builds Gap ACK blocks for both the unicast & broadcast receiver |
| 1470 | * links of a certain peer, the buffer after built has the network data format |
| 1471 | * as found at the struct tipc_gap_ack_blks definition. |
| 1472 | * |
| 1473 | * returns the actual allocated memory size |
| 1474 | */ |
| 1475 | static u16 tipc_build_gap_ack_blks(struct tipc_link *l, struct tipc_msg *hdr) |
| 1476 | { |
| 1477 | struct tipc_link *bcl = l->bc_rcvlink; |
| 1478 | struct tipc_gap_ack_blks *ga; |
| 1479 | u16 len; |
| 1480 | |
| 1481 | ga = (struct tipc_gap_ack_blks *)msg_data(hdr); |
| 1482 | |
| 1483 | /* Start with broadcast link first */ |
| 1484 | tipc_bcast_lock(bcl->net); |
| 1485 | msg_set_bcast_ack(hdr, bcl->rcv_nxt - 1); |
| 1486 | msg_set_bc_gap(hdr, link_bc_rcv_gap(bcl)); |
| 1487 | ga->bgack_cnt = __tipc_build_gap_ack_blks(ga, bcl, 0); |
| 1488 | tipc_bcast_unlock(bcl->net); |
| 1489 | |
| 1490 | /* Now for unicast link, but an explicit NACK only (???) */ |
| 1491 | ga->ugack_cnt = (msg_seq_gap(hdr)) ? |
| 1492 | __tipc_build_gap_ack_blks(ga, l, ga->bgack_cnt) : 0; |
| 1493 | |
| 1494 | /* Total len */ |
| 1495 | len = struct_size(ga, gacks, ga->bgack_cnt + ga->ugack_cnt); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1496 | ga->len = htons(len); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1497 | return len; |
| 1498 | } |
| 1499 | |
| 1500 | /* tipc_link_advance_transmq - advance TIPC link transmq queue by releasing |
| 1501 | * acked packets, also doing retransmissions if |
| 1502 | * gaps found |
| 1503 | * @l: tipc link with transmq queue to be advanced |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1504 | * @r: tipc link "receiver" i.e. in case of broadcast (= "l" if unicast) |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1505 | * @acked: seqno of last packet acked by peer without any gaps before |
| 1506 | * @gap: # of gap packets |
| 1507 | * @ga: buffer pointer to Gap ACK blocks from peer |
| 1508 | * @xmitq: queue for accumulating the retransmitted packets if any |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1509 | * @retransmitted: returned boolean value if a retransmission is really issued |
| 1510 | * @rc: returned code e.g. TIPC_LINK_DOWN_EVT if a repeated retransmit failures |
| 1511 | * happens (- unlikely case) |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1512 | * |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1513 | * Return: the number of packets released from the link transmq |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1514 | */ |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1515 | static int tipc_link_advance_transmq(struct tipc_link *l, struct tipc_link *r, |
| 1516 | u16 acked, u16 gap, |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1517 | struct tipc_gap_ack_blks *ga, |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1518 | struct sk_buff_head *xmitq, |
| 1519 | bool *retransmitted, int *rc) |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1520 | { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1521 | struct tipc_gap_ack_blks *last_ga = r->last_ga, *this_ga = NULL; |
| 1522 | struct tipc_gap_ack *gacks = NULL; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1523 | struct sk_buff *skb, *_skb, *tmp; |
| 1524 | struct tipc_msg *hdr; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1525 | u32 qlen = skb_queue_len(&l->transmq); |
| 1526 | u16 nacked = acked, ngap = gap, gack_cnt = 0; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1527 | u16 bc_ack = l->bc_rcvlink->rcv_nxt - 1; |
| 1528 | u16 ack = l->rcv_nxt - 1; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1529 | u16 seqno, n = 0; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1530 | u16 end = r->acked, start = end, offset = r->last_gap; |
| 1531 | u16 si = (last_ga) ? last_ga->start_index : 0; |
| 1532 | bool is_uc = !link_is_bc_sndlink(l); |
| 1533 | bool bc_has_acked = false; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1534 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1535 | trace_tipc_link_retrans(r, acked + 1, acked + gap, &l->transmq); |
| 1536 | |
| 1537 | /* Determine Gap ACK blocks if any for the particular link */ |
| 1538 | if (ga && is_uc) { |
| 1539 | /* Get the Gap ACKs, uc part */ |
| 1540 | gack_cnt = ga->ugack_cnt; |
| 1541 | gacks = &ga->gacks[ga->bgack_cnt]; |
| 1542 | } else if (ga) { |
| 1543 | /* Copy the Gap ACKs, bc part, for later renewal if needed */ |
| 1544 | this_ga = kmemdup(ga, struct_size(ga, gacks, ga->bgack_cnt), |
| 1545 | GFP_ATOMIC); |
| 1546 | if (likely(this_ga)) { |
| 1547 | this_ga->start_index = 0; |
| 1548 | /* Start with the bc Gap ACKs */ |
| 1549 | gack_cnt = this_ga->bgack_cnt; |
| 1550 | gacks = &this_ga->gacks[0]; |
| 1551 | } else { |
| 1552 | /* Hmm, we can get in trouble..., simply ignore it */ |
| 1553 | pr_warn_ratelimited("Ignoring bc Gap ACKs, no memory\n"); |
| 1554 | } |
| 1555 | } |
| 1556 | |
| 1557 | /* Advance the link transmq */ |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1558 | skb_queue_walk_safe(&l->transmq, skb, tmp) { |
| 1559 | seqno = buf_seqno(skb); |
| 1560 | |
| 1561 | next_gap_ack: |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1562 | if (less_eq(seqno, nacked)) { |
| 1563 | if (is_uc) |
| 1564 | goto release; |
| 1565 | /* Skip packets peer has already acked */ |
| 1566 | if (!more(seqno, r->acked)) |
| 1567 | continue; |
| 1568 | /* Get the next of last Gap ACK blocks */ |
| 1569 | while (more(seqno, end)) { |
| 1570 | if (!last_ga || si >= last_ga->bgack_cnt) |
| 1571 | break; |
| 1572 | start = end + offset + 1; |
| 1573 | end = ntohs(last_ga->gacks[si].ack); |
| 1574 | offset = ntohs(last_ga->gacks[si].gap); |
| 1575 | si++; |
| 1576 | WARN_ONCE(more(start, end) || |
| 1577 | (!offset && |
| 1578 | si < last_ga->bgack_cnt) || |
| 1579 | si > MAX_GAP_ACK_BLKS, |
| 1580 | "Corrupted Gap ACK: %d %d %d %d %d\n", |
| 1581 | start, end, offset, si, |
| 1582 | last_ga->bgack_cnt); |
| 1583 | } |
| 1584 | /* Check against the last Gap ACK block */ |
| 1585 | if (in_range(seqno, start, end)) |
| 1586 | continue; |
| 1587 | /* Update/release the packet peer is acking */ |
| 1588 | bc_has_acked = true; |
| 1589 | if (--TIPC_SKB_CB(skb)->ackers) |
| 1590 | continue; |
| 1591 | release: |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1592 | /* release skb */ |
| 1593 | __skb_unlink(skb, &l->transmq); |
| 1594 | kfree_skb(skb); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1595 | } else if (less_eq(seqno, nacked + ngap)) { |
| 1596 | /* First gap: check if repeated retrans failures? */ |
| 1597 | if (unlikely(seqno == acked + 1 && |
| 1598 | link_retransmit_failure(l, r, rc))) { |
| 1599 | /* Ignore this bc Gap ACKs if any */ |
| 1600 | kfree(this_ga); |
| 1601 | this_ga = NULL; |
| 1602 | break; |
| 1603 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1604 | /* retransmit skb if unrestricted*/ |
| 1605 | if (time_before(jiffies, TIPC_SKB_CB(skb)->nxt_retr)) |
| 1606 | continue; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1607 | tipc_link_set_skb_retransmit_time(skb, l); |
| 1608 | _skb = pskb_copy(skb, GFP_ATOMIC); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1609 | if (!_skb) |
| 1610 | continue; |
| 1611 | hdr = buf_msg(_skb); |
| 1612 | msg_set_ack(hdr, ack); |
| 1613 | msg_set_bcast_ack(hdr, bc_ack); |
| 1614 | _skb->priority = TC_PRIO_CONTROL; |
| 1615 | __skb_queue_tail(xmitq, _skb); |
| 1616 | l->stats.retransmitted++; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1617 | if (!is_uc) |
| 1618 | r->stats.retransmitted++; |
| 1619 | *retransmitted = true; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1620 | /* Increase actual retrans counter & mark first time */ |
| 1621 | if (!TIPC_SKB_CB(skb)->retr_cnt++) |
| 1622 | TIPC_SKB_CB(skb)->retr_stamp = jiffies; |
| 1623 | } else { |
| 1624 | /* retry with Gap ACK blocks if any */ |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1625 | if (n >= gack_cnt) |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1626 | break; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1627 | nacked = ntohs(gacks[n].ack); |
| 1628 | ngap = ntohs(gacks[n].gap); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1629 | n++; |
| 1630 | goto next_gap_ack; |
| 1631 | } |
| 1632 | } |
| 1633 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1634 | /* Renew last Gap ACK blocks for bc if needed */ |
| 1635 | if (bc_has_acked) { |
| 1636 | if (this_ga) { |
| 1637 | kfree(last_ga); |
| 1638 | r->last_ga = this_ga; |
| 1639 | r->last_gap = gap; |
| 1640 | } else if (last_ga) { |
| 1641 | if (less(acked, start)) { |
| 1642 | si--; |
| 1643 | offset = start - acked - 1; |
| 1644 | } else if (less(acked, end)) { |
| 1645 | acked = end; |
| 1646 | } |
| 1647 | if (si < last_ga->bgack_cnt) { |
| 1648 | last_ga->start_index = si; |
| 1649 | r->last_gap = offset; |
| 1650 | } else { |
| 1651 | kfree(last_ga); |
| 1652 | r->last_ga = NULL; |
| 1653 | r->last_gap = 0; |
| 1654 | } |
| 1655 | } else { |
| 1656 | r->last_gap = 0; |
| 1657 | } |
| 1658 | r->acked = acked; |
| 1659 | } else { |
| 1660 | kfree(this_ga); |
| 1661 | } |
| 1662 | |
| 1663 | return qlen - skb_queue_len(&l->transmq); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1664 | } |
| 1665 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1666 | /* tipc_link_build_state_msg: prepare link state message for transmission |
| 1667 | * |
| 1668 | * Note that sending of broadcast ack is coordinated among nodes, to reduce |
| 1669 | * risk of ack storms towards the sender |
| 1670 | */ |
| 1671 | int tipc_link_build_state_msg(struct tipc_link *l, struct sk_buff_head *xmitq) |
| 1672 | { |
| 1673 | if (!l) |
| 1674 | return 0; |
| 1675 | |
| 1676 | /* Broadcast ACK must be sent via a unicast link => defer to caller */ |
| 1677 | if (link_is_bc_rcvlink(l)) { |
| 1678 | if (((l->rcv_nxt ^ tipc_own_addr(l->net)) & 0xf) != 0xf) |
| 1679 | return 0; |
| 1680 | l->rcv_unacked = 0; |
| 1681 | |
| 1682 | /* Use snd_nxt to store peer's snd_nxt in broadcast rcv link */ |
| 1683 | l->snd_nxt = l->rcv_nxt; |
| 1684 | return TIPC_LINK_SND_STATE; |
| 1685 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1686 | /* Unicast ACK */ |
| 1687 | l->rcv_unacked = 0; |
| 1688 | l->stats.sent_acks++; |
| 1689 | tipc_link_build_proto_msg(l, STATE_MSG, 0, 0, 0, 0, 0, xmitq); |
| 1690 | return 0; |
| 1691 | } |
| 1692 | |
| 1693 | /* tipc_link_build_reset_msg: prepare link RESET or ACTIVATE message |
| 1694 | */ |
| 1695 | void tipc_link_build_reset_msg(struct tipc_link *l, struct sk_buff_head *xmitq) |
| 1696 | { |
| 1697 | int mtyp = RESET_MSG; |
| 1698 | struct sk_buff *skb; |
| 1699 | |
| 1700 | if (l->state == LINK_ESTABLISHING) |
| 1701 | mtyp = ACTIVATE_MSG; |
| 1702 | |
| 1703 | tipc_link_build_proto_msg(l, mtyp, 0, 0, 0, 0, 0, xmitq); |
| 1704 | |
| 1705 | /* Inform peer that this endpoint is going down if applicable */ |
| 1706 | skb = skb_peek_tail(xmitq); |
| 1707 | if (skb && (l->state == LINK_RESET)) |
| 1708 | msg_set_peer_stopping(buf_msg(skb), 1); |
| 1709 | } |
| 1710 | |
| 1711 | /* tipc_link_build_nack_msg: prepare link nack message for transmission |
| 1712 | * Note that sending of broadcast NACK is coordinated among nodes, to |
| 1713 | * reduce the risk of NACK storms towards the sender |
| 1714 | */ |
| 1715 | static int tipc_link_build_nack_msg(struct tipc_link *l, |
| 1716 | struct sk_buff_head *xmitq) |
| 1717 | { |
| 1718 | u32 def_cnt = ++l->stats.deferred_recv; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1719 | struct sk_buff_head *dfq = &l->deferdq; |
| 1720 | u32 defq_len = skb_queue_len(dfq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1721 | int match1, match2; |
| 1722 | |
| 1723 | if (link_is_bc_rcvlink(l)) { |
| 1724 | match1 = def_cnt & 0xf; |
| 1725 | match2 = tipc_own_addr(l->net) & 0xf; |
| 1726 | if (match1 == match2) |
| 1727 | return TIPC_LINK_SND_STATE; |
| 1728 | return 0; |
| 1729 | } |
| 1730 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1731 | if (defq_len >= 3 && !((defq_len - 3) % 16)) { |
| 1732 | u16 rcvgap = buf_seqno(skb_peek(dfq)) - l->rcv_nxt; |
| 1733 | |
| 1734 | tipc_link_build_proto_msg(l, STATE_MSG, 0, 0, |
| 1735 | rcvgap, 0, 0, xmitq); |
| 1736 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1737 | return 0; |
| 1738 | } |
| 1739 | |
| 1740 | /* tipc_link_rcv - process TIPC packets/messages arriving from off-node |
| 1741 | * @l: the link that should handle the message |
| 1742 | * @skb: TIPC packet |
| 1743 | * @xmitq: queue to place packets to be sent after this call |
| 1744 | */ |
| 1745 | int tipc_link_rcv(struct tipc_link *l, struct sk_buff *skb, |
| 1746 | struct sk_buff_head *xmitq) |
| 1747 | { |
| 1748 | struct sk_buff_head *defq = &l->deferdq; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1749 | struct tipc_msg *hdr = buf_msg(skb); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1750 | u16 seqno, rcv_nxt, win_lim; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1751 | int released = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1752 | int rc = 0; |
| 1753 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1754 | /* Verify and update link state */ |
| 1755 | if (unlikely(msg_user(hdr) == LINK_PROTOCOL)) |
| 1756 | return tipc_link_proto_rcv(l, skb, xmitq); |
| 1757 | |
| 1758 | /* Don't send probe at next timeout expiration */ |
| 1759 | l->silent_intv_cnt = 0; |
| 1760 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1761 | do { |
| 1762 | hdr = buf_msg(skb); |
| 1763 | seqno = msg_seqno(hdr); |
| 1764 | rcv_nxt = l->rcv_nxt; |
| 1765 | win_lim = rcv_nxt + TIPC_MAX_LINK_WIN; |
| 1766 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1767 | if (unlikely(!link_is_up(l))) { |
| 1768 | if (l->state == LINK_ESTABLISHING) |
| 1769 | rc = TIPC_LINK_UP_EVT; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1770 | kfree_skb(skb); |
| 1771 | break; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1772 | } |
| 1773 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1774 | /* Drop if outside receive window */ |
| 1775 | if (unlikely(less(seqno, rcv_nxt) || more(seqno, win_lim))) { |
| 1776 | l->stats.duplicates++; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1777 | kfree_skb(skb); |
| 1778 | break; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1779 | } |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1780 | released += tipc_link_advance_transmq(l, l, msg_ack(hdr), 0, |
| 1781 | NULL, NULL, NULL, NULL); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1782 | |
| 1783 | /* Defer delivery if sequence gap */ |
| 1784 | if (unlikely(seqno != rcv_nxt)) { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1785 | if (!__tipc_skb_queue_sorted(defq, seqno, skb)) |
| 1786 | l->stats.duplicates++; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1787 | rc |= tipc_link_build_nack_msg(l, xmitq); |
| 1788 | break; |
| 1789 | } |
| 1790 | |
| 1791 | /* Deliver packet */ |
| 1792 | l->rcv_nxt++; |
| 1793 | l->stats.recv_pkts++; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1794 | |
| 1795 | if (unlikely(msg_user(hdr) == TUNNEL_PROTOCOL)) |
| 1796 | rc |= tipc_link_tnl_rcv(l, skb, l->inputq); |
| 1797 | else if (!tipc_data_input(l, skb, l->inputq)) |
| 1798 | rc |= tipc_link_input(l, skb, l->inputq, &l->reasm_buf); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1799 | if (unlikely(++l->rcv_unacked >= TIPC_MIN_LINK_WIN)) |
| 1800 | rc |= tipc_link_build_state_msg(l, xmitq); |
| 1801 | if (unlikely(rc & ~TIPC_LINK_SND_STATE)) |
| 1802 | break; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1803 | } while ((skb = __tipc_skb_dequeue(defq, l->rcv_nxt))); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1804 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1805 | /* Forward queues and wake up waiting users */ |
| 1806 | if (released) { |
| 1807 | tipc_link_update_cwin(l, released, 0); |
| 1808 | tipc_link_advance_backlog(l, xmitq); |
| 1809 | if (unlikely(!skb_queue_empty(&l->wakeupq))) |
| 1810 | link_prepare_wakeup(l); |
| 1811 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1812 | return rc; |
| 1813 | } |
| 1814 | |
| 1815 | static void tipc_link_build_proto_msg(struct tipc_link *l, int mtyp, bool probe, |
| 1816 | bool probe_reply, u16 rcvgap, |
| 1817 | int tolerance, int priority, |
| 1818 | struct sk_buff_head *xmitq) |
| 1819 | { |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1820 | struct tipc_mon_state *mstate = &l->mon_state; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1821 | struct sk_buff_head *dfq = &l->deferdq; |
| 1822 | struct tipc_link *bcl = l->bc_rcvlink; |
| 1823 | struct tipc_msg *hdr; |
| 1824 | struct sk_buff *skb; |
| 1825 | bool node_up = link_is_up(bcl); |
| 1826 | u16 glen = 0, bc_rcvgap = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1827 | int dlen = 0; |
| 1828 | void *data; |
| 1829 | |
| 1830 | /* Don't send protocol message during reset or link failover */ |
| 1831 | if (tipc_link_is_blocked(l)) |
| 1832 | return; |
| 1833 | |
| 1834 | if (!tipc_link_is_up(l) && (mtyp == STATE_MSG)) |
| 1835 | return; |
| 1836 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1837 | if ((probe || probe_reply) && !skb_queue_empty(dfq)) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1838 | rcvgap = buf_seqno(skb_peek(dfq)) - l->rcv_nxt; |
| 1839 | |
| 1840 | skb = tipc_msg_create(LINK_PROTOCOL, mtyp, INT_H_SIZE, |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1841 | tipc_max_domain_size + MAX_GAP_ACK_BLKS_SZ, |
| 1842 | l->addr, tipc_own_addr(l->net), 0, 0, 0); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1843 | if (!skb) |
| 1844 | return; |
| 1845 | |
| 1846 | hdr = buf_msg(skb); |
| 1847 | data = msg_data(hdr); |
| 1848 | msg_set_session(hdr, l->session); |
| 1849 | msg_set_bearer_id(hdr, l->bearer_id); |
| 1850 | msg_set_net_plane(hdr, l->net_plane); |
| 1851 | msg_set_next_sent(hdr, l->snd_nxt); |
| 1852 | msg_set_ack(hdr, l->rcv_nxt - 1); |
| 1853 | msg_set_bcast_ack(hdr, bcl->rcv_nxt - 1); |
| 1854 | msg_set_bc_ack_invalid(hdr, !node_up); |
| 1855 | msg_set_last_bcast(hdr, l->bc_sndlink->snd_nxt - 1); |
| 1856 | msg_set_link_tolerance(hdr, tolerance); |
| 1857 | msg_set_linkprio(hdr, priority); |
| 1858 | msg_set_redundant_link(hdr, node_up); |
| 1859 | msg_set_seq_gap(hdr, 0); |
| 1860 | msg_set_seqno(hdr, l->snd_nxt + U16_MAX / 2); |
| 1861 | |
| 1862 | if (mtyp == STATE_MSG) { |
| 1863 | if (l->peer_caps & TIPC_LINK_PROTO_SEQNO) |
| 1864 | msg_set_seqno(hdr, l->snd_nxt_state++); |
| 1865 | msg_set_seq_gap(hdr, rcvgap); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1866 | bc_rcvgap = link_bc_rcv_gap(bcl); |
| 1867 | msg_set_bc_gap(hdr, bc_rcvgap); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1868 | msg_set_probe(hdr, probe); |
| 1869 | msg_set_is_keepalive(hdr, probe || probe_reply); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1870 | if (l->peer_caps & TIPC_GAP_ACK_BLOCK) |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1871 | glen = tipc_build_gap_ack_blks(l, hdr); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1872 | tipc_mon_prep(l->net, data + glen, &dlen, mstate, l->bearer_id); |
| 1873 | msg_set_size(hdr, INT_H_SIZE + glen + dlen); |
| 1874 | skb_trim(skb, INT_H_SIZE + glen + dlen); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1875 | l->stats.sent_states++; |
| 1876 | l->rcv_unacked = 0; |
| 1877 | } else { |
| 1878 | /* RESET_MSG or ACTIVATE_MSG */ |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1879 | if (mtyp == ACTIVATE_MSG) { |
| 1880 | msg_set_dest_session_valid(hdr, 1); |
| 1881 | msg_set_dest_session(hdr, l->peer_session); |
| 1882 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1883 | msg_set_max_pkt(hdr, l->advertised_mtu); |
| 1884 | strcpy(data, l->if_name); |
| 1885 | msg_set_size(hdr, INT_H_SIZE + TIPC_MAX_IF_NAME); |
| 1886 | skb_trim(skb, INT_H_SIZE + TIPC_MAX_IF_NAME); |
| 1887 | } |
| 1888 | if (probe) |
| 1889 | l->stats.sent_probes++; |
| 1890 | if (rcvgap) |
| 1891 | l->stats.sent_nacks++; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1892 | if (bc_rcvgap) |
| 1893 | bcl->stats.sent_nacks++; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1894 | skb->priority = TC_PRIO_CONTROL; |
| 1895 | __skb_queue_tail(xmitq, skb); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1896 | trace_tipc_proto_build(skb, false, l->name); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1897 | } |
| 1898 | |
| 1899 | void tipc_link_create_dummy_tnl_msg(struct tipc_link *l, |
| 1900 | struct sk_buff_head *xmitq) |
| 1901 | { |
| 1902 | u32 onode = tipc_own_addr(l->net); |
| 1903 | struct tipc_msg *hdr, *ihdr; |
| 1904 | struct sk_buff_head tnlq; |
| 1905 | struct sk_buff *skb; |
| 1906 | u32 dnode = l->addr; |
| 1907 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1908 | __skb_queue_head_init(&tnlq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1909 | skb = tipc_msg_create(TUNNEL_PROTOCOL, FAILOVER_MSG, |
| 1910 | INT_H_SIZE, BASIC_H_SIZE, |
| 1911 | dnode, onode, 0, 0, 0); |
| 1912 | if (!skb) { |
| 1913 | pr_warn("%sunable to create tunnel packet\n", link_co_err); |
| 1914 | return; |
| 1915 | } |
| 1916 | |
| 1917 | hdr = buf_msg(skb); |
| 1918 | msg_set_msgcnt(hdr, 1); |
| 1919 | msg_set_bearer_id(hdr, l->peer_bearer_id); |
| 1920 | |
| 1921 | ihdr = (struct tipc_msg *)msg_data(hdr); |
| 1922 | tipc_msg_init(onode, ihdr, TIPC_LOW_IMPORTANCE, TIPC_DIRECT_MSG, |
| 1923 | BASIC_H_SIZE, dnode); |
| 1924 | msg_set_errcode(ihdr, TIPC_ERR_NO_PORT); |
| 1925 | __skb_queue_tail(&tnlq, skb); |
| 1926 | tipc_link_xmit(l, &tnlq, xmitq); |
| 1927 | } |
| 1928 | |
| 1929 | /* tipc_link_tnl_prepare(): prepare and return a list of tunnel packets |
| 1930 | * with contents of the link's transmit and backlog queues. |
| 1931 | */ |
| 1932 | void tipc_link_tnl_prepare(struct tipc_link *l, struct tipc_link *tnl, |
| 1933 | int mtyp, struct sk_buff_head *xmitq) |
| 1934 | { |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1935 | struct sk_buff_head *fdefq = &tnl->failover_deferdq; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1936 | struct sk_buff *skb, *tnlskb; |
| 1937 | struct tipc_msg *hdr, tnlhdr; |
| 1938 | struct sk_buff_head *queue = &l->transmq; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1939 | struct sk_buff_head tmpxq, tnlq, frags; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1940 | u16 pktlen, pktcnt, seqno = l->snd_nxt; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1941 | bool pktcnt_need_update = false; |
| 1942 | u16 syncpt; |
| 1943 | int rc; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1944 | |
| 1945 | if (!tnl) |
| 1946 | return; |
| 1947 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1948 | __skb_queue_head_init(&tnlq); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1949 | /* Link Synching: |
| 1950 | * From now on, send only one single ("dummy") SYNCH message |
| 1951 | * to peer. The SYNCH message does not contain any data, just |
| 1952 | * a header conveying the synch point to the peer. |
| 1953 | */ |
| 1954 | if (mtyp == SYNCH_MSG && (tnl->peer_caps & TIPC_TUNNEL_ENHANCED)) { |
| 1955 | tnlskb = tipc_msg_create(TUNNEL_PROTOCOL, SYNCH_MSG, |
| 1956 | INT_H_SIZE, 0, l->addr, |
| 1957 | tipc_own_addr(l->net), |
| 1958 | 0, 0, 0); |
| 1959 | if (!tnlskb) { |
| 1960 | pr_warn("%sunable to create dummy SYNCH_MSG\n", |
| 1961 | link_co_err); |
| 1962 | return; |
| 1963 | } |
| 1964 | |
| 1965 | hdr = buf_msg(tnlskb); |
| 1966 | syncpt = l->snd_nxt + skb_queue_len(&l->backlogq) - 1; |
| 1967 | msg_set_syncpt(hdr, syncpt); |
| 1968 | msg_set_bearer_id(hdr, l->peer_bearer_id); |
| 1969 | __skb_queue_tail(&tnlq, tnlskb); |
| 1970 | tipc_link_xmit(tnl, &tnlq, xmitq); |
| 1971 | return; |
| 1972 | } |
| 1973 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 1974 | __skb_queue_head_init(&tmpxq); |
| 1975 | __skb_queue_head_init(&frags); |
| 1976 | /* At least one packet required for safe algorithm => add dummy */ |
| 1977 | skb = tipc_msg_create(TIPC_LOW_IMPORTANCE, TIPC_DIRECT_MSG, |
| 1978 | BASIC_H_SIZE, 0, l->addr, tipc_own_addr(l->net), |
| 1979 | 0, 0, TIPC_ERR_NO_PORT); |
| 1980 | if (!skb) { |
| 1981 | pr_warn("%sunable to create tunnel packet\n", link_co_err); |
| 1982 | return; |
| 1983 | } |
| 1984 | __skb_queue_tail(&tnlq, skb); |
| 1985 | tipc_link_xmit(l, &tnlq, &tmpxq); |
| 1986 | __skb_queue_purge(&tmpxq); |
| 1987 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1988 | /* Initialize reusable tunnel packet header */ |
| 1989 | tipc_msg_init(tipc_own_addr(l->net), &tnlhdr, TUNNEL_PROTOCOL, |
| 1990 | mtyp, INT_H_SIZE, l->addr); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 1991 | if (mtyp == SYNCH_MSG) |
| 1992 | pktcnt = l->snd_nxt - buf_seqno(skb_peek(&l->transmq)); |
| 1993 | else |
| 1994 | pktcnt = skb_queue_len(&l->transmq); |
| 1995 | pktcnt += skb_queue_len(&l->backlogq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 1996 | msg_set_msgcnt(&tnlhdr, pktcnt); |
| 1997 | msg_set_bearer_id(&tnlhdr, l->peer_bearer_id); |
| 1998 | tnl: |
| 1999 | /* Wrap each packet into a tunnel packet */ |
| 2000 | skb_queue_walk(queue, skb) { |
| 2001 | hdr = buf_msg(skb); |
| 2002 | if (queue == &l->backlogq) |
| 2003 | msg_set_seqno(hdr, seqno++); |
| 2004 | pktlen = msg_size(hdr); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2005 | |
| 2006 | /* Tunnel link MTU is not large enough? This could be |
| 2007 | * due to: |
| 2008 | * 1) Link MTU has just changed or set differently; |
| 2009 | * 2) Or FAILOVER on the top of a SYNCH message |
| 2010 | * |
| 2011 | * The 2nd case should not happen if peer supports |
| 2012 | * TIPC_TUNNEL_ENHANCED |
| 2013 | */ |
| 2014 | if (pktlen > tnl->mtu - INT_H_SIZE) { |
| 2015 | if (mtyp == FAILOVER_MSG && |
| 2016 | (tnl->peer_caps & TIPC_TUNNEL_ENHANCED)) { |
| 2017 | rc = tipc_msg_fragment(skb, &tnlhdr, tnl->mtu, |
| 2018 | &frags); |
| 2019 | if (rc) { |
| 2020 | pr_warn("%sunable to frag msg: rc %d\n", |
| 2021 | link_co_err, rc); |
| 2022 | return; |
| 2023 | } |
| 2024 | pktcnt += skb_queue_len(&frags) - 1; |
| 2025 | pktcnt_need_update = true; |
| 2026 | skb_queue_splice_tail_init(&frags, &tnlq); |
| 2027 | continue; |
| 2028 | } |
| 2029 | /* Unluckily, peer doesn't have TIPC_TUNNEL_ENHANCED |
| 2030 | * => Just warn it and return! |
| 2031 | */ |
| 2032 | pr_warn_ratelimited("%stoo large msg <%d, %d>: %d!\n", |
| 2033 | link_co_err, msg_user(hdr), |
| 2034 | msg_type(hdr), msg_size(hdr)); |
| 2035 | return; |
| 2036 | } |
| 2037 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2038 | msg_set_size(&tnlhdr, pktlen + INT_H_SIZE); |
| 2039 | tnlskb = tipc_buf_acquire(pktlen + INT_H_SIZE, GFP_ATOMIC); |
| 2040 | if (!tnlskb) { |
| 2041 | pr_warn("%sunable to send packet\n", link_co_err); |
| 2042 | return; |
| 2043 | } |
| 2044 | skb_copy_to_linear_data(tnlskb, &tnlhdr, INT_H_SIZE); |
| 2045 | skb_copy_to_linear_data_offset(tnlskb, INT_H_SIZE, hdr, pktlen); |
| 2046 | __skb_queue_tail(&tnlq, tnlskb); |
| 2047 | } |
| 2048 | if (queue != &l->backlogq) { |
| 2049 | queue = &l->backlogq; |
| 2050 | goto tnl; |
| 2051 | } |
| 2052 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2053 | if (pktcnt_need_update) |
| 2054 | skb_queue_walk(&tnlq, skb) { |
| 2055 | hdr = buf_msg(skb); |
| 2056 | msg_set_msgcnt(hdr, pktcnt); |
| 2057 | } |
| 2058 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2059 | tipc_link_xmit(tnl, &tnlq, xmitq); |
| 2060 | |
| 2061 | if (mtyp == FAILOVER_MSG) { |
| 2062 | tnl->drop_point = l->rcv_nxt; |
| 2063 | tnl->failover_reasm_skb = l->reasm_buf; |
| 2064 | l->reasm_buf = NULL; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2065 | |
| 2066 | /* Failover the link's deferdq */ |
| 2067 | if (unlikely(!skb_queue_empty(fdefq))) { |
| 2068 | pr_warn("Link failover deferdq not empty: %d!\n", |
| 2069 | skb_queue_len(fdefq)); |
| 2070 | __skb_queue_purge(fdefq); |
| 2071 | } |
| 2072 | skb_queue_splice_init(&l->deferdq, fdefq); |
| 2073 | } |
| 2074 | } |
| 2075 | |
| 2076 | /** |
| 2077 | * tipc_link_failover_prepare() - prepare tnl for link failover |
| 2078 | * |
| 2079 | * This is a special version of the precursor - tipc_link_tnl_prepare(), |
| 2080 | * see the tipc_node_link_failover() for details |
| 2081 | * |
| 2082 | * @l: failover link |
| 2083 | * @tnl: tunnel link |
| 2084 | * @xmitq: queue for messages to be xmited |
| 2085 | */ |
| 2086 | void tipc_link_failover_prepare(struct tipc_link *l, struct tipc_link *tnl, |
| 2087 | struct sk_buff_head *xmitq) |
| 2088 | { |
| 2089 | struct sk_buff_head *fdefq = &tnl->failover_deferdq; |
| 2090 | |
| 2091 | tipc_link_create_dummy_tnl_msg(tnl, xmitq); |
| 2092 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2093 | /* This failover link endpoint was never established before, |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2094 | * so it has not received anything from peer. |
| 2095 | * Otherwise, it must be a normal failover situation or the |
| 2096 | * node has entered SELF_DOWN_PEER_LEAVING and both peer nodes |
| 2097 | * would have to start over from scratch instead. |
| 2098 | */ |
| 2099 | tnl->drop_point = 1; |
| 2100 | tnl->failover_reasm_skb = NULL; |
| 2101 | |
| 2102 | /* Initiate the link's failover deferdq */ |
| 2103 | if (unlikely(!skb_queue_empty(fdefq))) { |
| 2104 | pr_warn("Link failover deferdq not empty: %d!\n", |
| 2105 | skb_queue_len(fdefq)); |
| 2106 | __skb_queue_purge(fdefq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2107 | } |
| 2108 | } |
| 2109 | |
| 2110 | /* tipc_link_validate_msg(): validate message against current link state |
| 2111 | * Returns true if message should be accepted, otherwise false |
| 2112 | */ |
| 2113 | bool tipc_link_validate_msg(struct tipc_link *l, struct tipc_msg *hdr) |
| 2114 | { |
| 2115 | u16 curr_session = l->peer_session; |
| 2116 | u16 session = msg_session(hdr); |
| 2117 | int mtyp = msg_type(hdr); |
| 2118 | |
| 2119 | if (msg_user(hdr) != LINK_PROTOCOL) |
| 2120 | return true; |
| 2121 | |
| 2122 | switch (mtyp) { |
| 2123 | case RESET_MSG: |
| 2124 | if (!l->in_session) |
| 2125 | return true; |
| 2126 | /* Accept only RESET with new session number */ |
| 2127 | return more(session, curr_session); |
| 2128 | case ACTIVATE_MSG: |
| 2129 | if (!l->in_session) |
| 2130 | return true; |
| 2131 | /* Accept only ACTIVATE with new or current session number */ |
| 2132 | return !less(session, curr_session); |
| 2133 | case STATE_MSG: |
| 2134 | /* Accept only STATE with current session number */ |
| 2135 | if (!l->in_session) |
| 2136 | return false; |
| 2137 | if (session != curr_session) |
| 2138 | return false; |
| 2139 | /* Extra sanity check */ |
| 2140 | if (!link_is_up(l) && msg_ack(hdr)) |
| 2141 | return false; |
| 2142 | if (!(l->peer_caps & TIPC_LINK_PROTO_SEQNO)) |
| 2143 | return true; |
| 2144 | /* Accept only STATE with new sequence number */ |
| 2145 | return !less(msg_seqno(hdr), l->rcv_nxt_state); |
| 2146 | default: |
| 2147 | return false; |
| 2148 | } |
| 2149 | } |
| 2150 | |
| 2151 | /* tipc_link_proto_rcv(): receive link level protocol message : |
| 2152 | * Note that network plane id propagates through the network, and may |
| 2153 | * change at any time. The node with lowest numerical id determines |
| 2154 | * network plane |
| 2155 | */ |
| 2156 | static int tipc_link_proto_rcv(struct tipc_link *l, struct sk_buff *skb, |
| 2157 | struct sk_buff_head *xmitq) |
| 2158 | { |
| 2159 | struct tipc_msg *hdr = buf_msg(skb); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2160 | struct tipc_gap_ack_blks *ga = NULL; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2161 | bool reply = msg_probe(hdr), retransmitted = false; |
| 2162 | u32 dlen = msg_data_sz(hdr), glen = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2163 | u16 peers_snd_nxt = msg_next_sent(hdr); |
| 2164 | u16 peers_tol = msg_link_tolerance(hdr); |
| 2165 | u16 peers_prio = msg_linkprio(hdr); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2166 | u16 gap = msg_seq_gap(hdr); |
| 2167 | u16 ack = msg_ack(hdr); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2168 | u16 rcv_nxt = l->rcv_nxt; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2169 | u16 rcvgap = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2170 | int mtyp = msg_type(hdr); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2171 | int rc = 0, released; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2172 | char *if_name; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2173 | void *data; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2174 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2175 | trace_tipc_proto_rcv(skb, false, l->name); |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2176 | |
| 2177 | if (dlen > U16_MAX) |
| 2178 | goto exit; |
| 2179 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2180 | if (tipc_link_is_blocked(l) || !xmitq) |
| 2181 | goto exit; |
| 2182 | |
| 2183 | if (tipc_own_addr(l->net) > msg_prevnode(hdr)) |
| 2184 | l->net_plane = msg_net_plane(hdr); |
| 2185 | |
| 2186 | skb_linearize(skb); |
| 2187 | hdr = buf_msg(skb); |
| 2188 | data = msg_data(hdr); |
| 2189 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2190 | if (!tipc_link_validate_msg(l, hdr)) { |
| 2191 | trace_tipc_skb_dump(skb, false, "PROTO invalid (1)!"); |
| 2192 | trace_tipc_link_dump(l, TIPC_DUMP_NONE, "PROTO invalid (1)!"); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2193 | goto exit; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2194 | } |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2195 | |
| 2196 | switch (mtyp) { |
| 2197 | case RESET_MSG: |
| 2198 | case ACTIVATE_MSG: |
| 2199 | /* Complete own link name with peer's interface name */ |
| 2200 | if_name = strrchr(l->name, ':') + 1; |
| 2201 | if (sizeof(l->name) - (if_name - l->name) <= TIPC_MAX_IF_NAME) |
| 2202 | break; |
| 2203 | if (msg_data_sz(hdr) < TIPC_MAX_IF_NAME) |
| 2204 | break; |
| 2205 | strncpy(if_name, data, TIPC_MAX_IF_NAME); |
| 2206 | |
| 2207 | /* Update own tolerance if peer indicates a non-zero value */ |
| 2208 | if (in_range(peers_tol, TIPC_MIN_LINK_TOL, TIPC_MAX_LINK_TOL)) { |
| 2209 | l->tolerance = peers_tol; |
| 2210 | l->bc_rcvlink->tolerance = peers_tol; |
| 2211 | } |
| 2212 | /* Update own priority if peer's priority is higher */ |
| 2213 | if (in_range(peers_prio, l->priority + 1, TIPC_MAX_LINK_PRI)) |
| 2214 | l->priority = peers_prio; |
| 2215 | |
| 2216 | /* If peer is going down we want full re-establish cycle */ |
| 2217 | if (msg_peer_stopping(hdr)) { |
| 2218 | rc = tipc_link_fsm_evt(l, LINK_FAILURE_EVT); |
| 2219 | break; |
| 2220 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2221 | |
| 2222 | /* If this endpoint was re-created while peer was ESTABLISHING |
| 2223 | * it doesn't know current session number. Force re-synch. |
| 2224 | */ |
| 2225 | if (mtyp == ACTIVATE_MSG && msg_dest_session_valid(hdr) && |
| 2226 | l->session != msg_dest_session(hdr)) { |
| 2227 | if (less(l->session, msg_dest_session(hdr))) |
| 2228 | l->session = msg_dest_session(hdr) + 1; |
| 2229 | break; |
| 2230 | } |
| 2231 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2232 | /* ACTIVATE_MSG serves as PEER_RESET if link is already down */ |
| 2233 | if (mtyp == RESET_MSG || !link_is_up(l)) |
| 2234 | rc = tipc_link_fsm_evt(l, LINK_PEER_RESET_EVT); |
| 2235 | |
| 2236 | /* ACTIVATE_MSG takes up link if it was already locally reset */ |
| 2237 | if (mtyp == ACTIVATE_MSG && l->state == LINK_ESTABLISHING) |
| 2238 | rc = TIPC_LINK_UP_EVT; |
| 2239 | |
| 2240 | l->peer_session = msg_session(hdr); |
| 2241 | l->in_session = true; |
| 2242 | l->peer_bearer_id = msg_bearer_id(hdr); |
| 2243 | if (l->mtu > msg_max_pkt(hdr)) |
| 2244 | l->mtu = msg_max_pkt(hdr); |
| 2245 | break; |
| 2246 | |
| 2247 | case STATE_MSG: |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2248 | /* Validate Gap ACK blocks, drop if invalid */ |
| 2249 | glen = tipc_get_gap_ack_blks(&ga, l, hdr, true); |
| 2250 | if (glen > dlen) |
| 2251 | break; |
| 2252 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2253 | l->rcv_nxt_state = msg_seqno(hdr) + 1; |
| 2254 | |
| 2255 | /* Update own tolerance if peer indicates a non-zero value */ |
| 2256 | if (in_range(peers_tol, TIPC_MIN_LINK_TOL, TIPC_MAX_LINK_TOL)) { |
| 2257 | l->tolerance = peers_tol; |
| 2258 | l->bc_rcvlink->tolerance = peers_tol; |
| 2259 | } |
| 2260 | /* Update own prio if peer indicates a different value */ |
| 2261 | if ((peers_prio != l->priority) && |
| 2262 | in_range(peers_prio, 1, TIPC_MAX_LINK_PRI)) { |
| 2263 | l->priority = peers_prio; |
| 2264 | rc = tipc_link_fsm_evt(l, LINK_FAILURE_EVT); |
| 2265 | } |
| 2266 | |
| 2267 | l->silent_intv_cnt = 0; |
| 2268 | l->stats.recv_states++; |
| 2269 | if (msg_probe(hdr)) |
| 2270 | l->stats.recv_probes++; |
| 2271 | |
| 2272 | if (!link_is_up(l)) { |
| 2273 | if (l->state == LINK_ESTABLISHING) |
| 2274 | rc = TIPC_LINK_UP_EVT; |
| 2275 | break; |
| 2276 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2277 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2278 | tipc_mon_rcv(l->net, data + glen, dlen - glen, l->addr, |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2279 | &l->mon_state, l->bearer_id); |
| 2280 | |
| 2281 | /* Send NACK if peer has sent pkts we haven't received yet */ |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2282 | if ((reply || msg_is_keepalive(hdr)) && |
| 2283 | more(peers_snd_nxt, rcv_nxt) && |
| 2284 | !tipc_link_is_synching(l) && |
| 2285 | skb_queue_empty(&l->deferdq)) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2286 | rcvgap = peers_snd_nxt - l->rcv_nxt; |
| 2287 | if (rcvgap || reply) |
| 2288 | tipc_link_build_proto_msg(l, STATE_MSG, 0, reply, |
| 2289 | rcvgap, 0, 0, xmitq); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2290 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2291 | released = tipc_link_advance_transmq(l, l, ack, gap, ga, xmitq, |
| 2292 | &retransmitted, &rc); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2293 | if (gap) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2294 | l->stats.recv_nacks++; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2295 | if (released || retransmitted) |
| 2296 | tipc_link_update_cwin(l, released, retransmitted); |
| 2297 | if (released) |
| 2298 | tipc_link_advance_backlog(l, xmitq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2299 | if (unlikely(!skb_queue_empty(&l->wakeupq))) |
| 2300 | link_prepare_wakeup(l); |
| 2301 | } |
| 2302 | exit: |
| 2303 | kfree_skb(skb); |
| 2304 | return rc; |
| 2305 | } |
| 2306 | |
| 2307 | /* tipc_link_build_bc_proto_msg() - create broadcast protocol message |
| 2308 | */ |
| 2309 | static bool tipc_link_build_bc_proto_msg(struct tipc_link *l, bool bcast, |
| 2310 | u16 peers_snd_nxt, |
| 2311 | struct sk_buff_head *xmitq) |
| 2312 | { |
| 2313 | struct sk_buff *skb; |
| 2314 | struct tipc_msg *hdr; |
| 2315 | struct sk_buff *dfrd_skb = skb_peek(&l->deferdq); |
| 2316 | u16 ack = l->rcv_nxt - 1; |
| 2317 | u16 gap_to = peers_snd_nxt - 1; |
| 2318 | |
| 2319 | skb = tipc_msg_create(BCAST_PROTOCOL, STATE_MSG, INT_H_SIZE, |
| 2320 | 0, l->addr, tipc_own_addr(l->net), 0, 0, 0); |
| 2321 | if (!skb) |
| 2322 | return false; |
| 2323 | hdr = buf_msg(skb); |
| 2324 | msg_set_last_bcast(hdr, l->bc_sndlink->snd_nxt - 1); |
| 2325 | msg_set_bcast_ack(hdr, ack); |
| 2326 | msg_set_bcgap_after(hdr, ack); |
| 2327 | if (dfrd_skb) |
| 2328 | gap_to = buf_seqno(dfrd_skb) - 1; |
| 2329 | msg_set_bcgap_to(hdr, gap_to); |
| 2330 | msg_set_non_seq(hdr, bcast); |
| 2331 | __skb_queue_tail(xmitq, skb); |
| 2332 | return true; |
| 2333 | } |
| 2334 | |
| 2335 | /* tipc_link_build_bc_init_msg() - synchronize broadcast link endpoints. |
| 2336 | * |
| 2337 | * Give a newly added peer node the sequence number where it should |
| 2338 | * start receiving and acking broadcast packets. |
| 2339 | */ |
| 2340 | static void tipc_link_build_bc_init_msg(struct tipc_link *l, |
| 2341 | struct sk_buff_head *xmitq) |
| 2342 | { |
| 2343 | struct sk_buff_head list; |
| 2344 | |
| 2345 | __skb_queue_head_init(&list); |
| 2346 | if (!tipc_link_build_bc_proto_msg(l->bc_rcvlink, false, 0, &list)) |
| 2347 | return; |
| 2348 | msg_set_bc_ack_invalid(buf_msg(skb_peek(&list)), true); |
| 2349 | tipc_link_xmit(l, &list, xmitq); |
| 2350 | } |
| 2351 | |
| 2352 | /* tipc_link_bc_init_rcv - receive initial broadcast synch data from peer |
| 2353 | */ |
| 2354 | void tipc_link_bc_init_rcv(struct tipc_link *l, struct tipc_msg *hdr) |
| 2355 | { |
| 2356 | int mtyp = msg_type(hdr); |
| 2357 | u16 peers_snd_nxt = msg_bc_snd_nxt(hdr); |
| 2358 | |
| 2359 | if (link_is_up(l)) |
| 2360 | return; |
| 2361 | |
| 2362 | if (msg_user(hdr) == BCAST_PROTOCOL) { |
| 2363 | l->rcv_nxt = peers_snd_nxt; |
| 2364 | l->state = LINK_ESTABLISHED; |
| 2365 | return; |
| 2366 | } |
| 2367 | |
| 2368 | if (l->peer_caps & TIPC_BCAST_SYNCH) |
| 2369 | return; |
| 2370 | |
| 2371 | if (msg_peer_node_is_up(hdr)) |
| 2372 | return; |
| 2373 | |
| 2374 | /* Compatibility: accept older, less safe initial synch data */ |
| 2375 | if ((mtyp == RESET_MSG) || (mtyp == ACTIVATE_MSG)) |
| 2376 | l->rcv_nxt = peers_snd_nxt; |
| 2377 | } |
| 2378 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2379 | /* tipc_link_bc_sync_rcv - update rcv link according to peer's send state |
| 2380 | */ |
| 2381 | int tipc_link_bc_sync_rcv(struct tipc_link *l, struct tipc_msg *hdr, |
| 2382 | struct sk_buff_head *xmitq) |
| 2383 | { |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2384 | u16 peers_snd_nxt = msg_bc_snd_nxt(hdr); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2385 | int rc = 0; |
| 2386 | |
| 2387 | if (!link_is_up(l)) |
| 2388 | return rc; |
| 2389 | |
| 2390 | if (!msg_peer_node_is_up(hdr)) |
| 2391 | return rc; |
| 2392 | |
| 2393 | /* Open when peer ackowledges our bcast init msg (pkt #1) */ |
| 2394 | if (msg_ack(hdr)) |
| 2395 | l->bc_peer_is_up = true; |
| 2396 | |
| 2397 | if (!l->bc_peer_is_up) |
| 2398 | return rc; |
| 2399 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2400 | /* Ignore if peers_snd_nxt goes beyond receive window */ |
| 2401 | if (more(peers_snd_nxt, l->rcv_nxt + l->window)) |
| 2402 | return rc; |
| 2403 | |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2404 | l->snd_nxt = peers_snd_nxt; |
| 2405 | if (link_bc_rcv_gap(l)) |
| 2406 | rc |= TIPC_LINK_SND_STATE; |
| 2407 | |
| 2408 | /* Return now if sender supports nack via STATE messages */ |
| 2409 | if (l->peer_caps & TIPC_BCAST_STATE_NACK) |
| 2410 | return rc; |
| 2411 | |
| 2412 | /* Otherwise, be backwards compatible */ |
| 2413 | |
| 2414 | if (!more(peers_snd_nxt, l->rcv_nxt)) { |
| 2415 | l->nack_state = BC_NACK_SND_CONDITIONAL; |
| 2416 | return 0; |
| 2417 | } |
| 2418 | |
| 2419 | /* Don't NACK if one was recently sent or peeked */ |
| 2420 | if (l->nack_state == BC_NACK_SND_SUPPRESS) { |
| 2421 | l->nack_state = BC_NACK_SND_UNCONDITIONAL; |
| 2422 | return 0; |
| 2423 | } |
| 2424 | |
| 2425 | /* Conditionally delay NACK sending until next synch rcv */ |
| 2426 | if (l->nack_state == BC_NACK_SND_CONDITIONAL) { |
| 2427 | l->nack_state = BC_NACK_SND_UNCONDITIONAL; |
| 2428 | if ((peers_snd_nxt - l->rcv_nxt) < TIPC_MIN_LINK_WIN) |
| 2429 | return 0; |
| 2430 | } |
| 2431 | |
| 2432 | /* Send NACK now but suppress next one */ |
| 2433 | tipc_link_build_bc_proto_msg(l, true, peers_snd_nxt, xmitq); |
| 2434 | l->nack_state = BC_NACK_SND_SUPPRESS; |
| 2435 | return 0; |
| 2436 | } |
| 2437 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2438 | int tipc_link_bc_ack_rcv(struct tipc_link *r, u16 acked, u16 gap, |
| 2439 | struct tipc_gap_ack_blks *ga, |
| 2440 | struct sk_buff_head *xmitq, |
| 2441 | struct sk_buff_head *retrq) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2442 | { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2443 | struct tipc_link *l = r->bc_sndlink; |
| 2444 | bool unused = false; |
| 2445 | int rc = 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2446 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2447 | if (!link_is_up(r) || !r->bc_peer_is_up) |
| 2448 | return 0; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2449 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2450 | if (gap) { |
| 2451 | l->stats.recv_nacks++; |
| 2452 | r->stats.recv_nacks++; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2453 | } |
| 2454 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2455 | if (less(acked, r->acked) || (acked == r->acked && !gap && !ga)) |
| 2456 | return 0; |
| 2457 | |
| 2458 | trace_tipc_link_bc_ack(r, acked, gap, &l->transmq); |
| 2459 | tipc_link_advance_transmq(l, r, acked, gap, ga, retrq, &unused, &rc); |
| 2460 | |
| 2461 | tipc_link_advance_backlog(l, xmitq); |
| 2462 | if (unlikely(!skb_queue_empty(&l->wakeupq))) |
| 2463 | link_prepare_wakeup(l); |
| 2464 | |
| 2465 | return rc; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2466 | } |
| 2467 | |
| 2468 | /* tipc_link_bc_nack_rcv(): receive broadcast nack message |
| 2469 | * This function is here for backwards compatibility, since |
| 2470 | * no BCAST_PROTOCOL/STATE messages occur from TIPC v2.5. |
| 2471 | */ |
| 2472 | int tipc_link_bc_nack_rcv(struct tipc_link *l, struct sk_buff *skb, |
| 2473 | struct sk_buff_head *xmitq) |
| 2474 | { |
| 2475 | struct tipc_msg *hdr = buf_msg(skb); |
| 2476 | u32 dnode = msg_destnode(hdr); |
| 2477 | int mtyp = msg_type(hdr); |
| 2478 | u16 acked = msg_bcast_ack(hdr); |
| 2479 | u16 from = acked + 1; |
| 2480 | u16 to = msg_bcgap_to(hdr); |
| 2481 | u16 peers_snd_nxt = to + 1; |
| 2482 | int rc = 0; |
| 2483 | |
| 2484 | kfree_skb(skb); |
| 2485 | |
| 2486 | if (!tipc_link_is_up(l) || !l->bc_peer_is_up) |
| 2487 | return 0; |
| 2488 | |
| 2489 | if (mtyp != STATE_MSG) |
| 2490 | return 0; |
| 2491 | |
| 2492 | if (dnode == tipc_own_addr(l->net)) { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2493 | rc = tipc_link_bc_ack_rcv(l, acked, to - acked, NULL, xmitq, |
| 2494 | xmitq); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2495 | l->stats.recv_nacks++; |
| 2496 | return rc; |
| 2497 | } |
| 2498 | |
| 2499 | /* Msg for other node => suppress own NACK at next sync if applicable */ |
| 2500 | if (more(peers_snd_nxt, l->rcv_nxt) && !less(l->rcv_nxt, from)) |
| 2501 | l->nack_state = BC_NACK_SND_SUPPRESS; |
| 2502 | |
| 2503 | return 0; |
| 2504 | } |
| 2505 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2506 | void tipc_link_set_queue_limits(struct tipc_link *l, u32 min_win, u32 max_win) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2507 | { |
| 2508 | int max_bulk = TIPC_MAX_PUBL / (l->mtu / ITEM_SIZE); |
| 2509 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2510 | l->min_win = min_win; |
| 2511 | l->ssthresh = max_win; |
| 2512 | l->max_win = max_win; |
| 2513 | l->window = min_win; |
| 2514 | l->backlog[TIPC_LOW_IMPORTANCE].limit = min_win * 2; |
| 2515 | l->backlog[TIPC_MEDIUM_IMPORTANCE].limit = min_win * 4; |
| 2516 | l->backlog[TIPC_HIGH_IMPORTANCE].limit = min_win * 6; |
| 2517 | l->backlog[TIPC_CRITICAL_IMPORTANCE].limit = min_win * 8; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2518 | l->backlog[TIPC_SYSTEM_IMPORTANCE].limit = max_bulk; |
| 2519 | } |
| 2520 | |
| 2521 | /** |
| 2522 | * link_reset_stats - reset link statistics |
| 2523 | * @l: pointer to link |
| 2524 | */ |
| 2525 | void tipc_link_reset_stats(struct tipc_link *l) |
| 2526 | { |
| 2527 | memset(&l->stats, 0, sizeof(l->stats)); |
| 2528 | } |
| 2529 | |
| 2530 | static void link_print(struct tipc_link *l, const char *str) |
| 2531 | { |
| 2532 | struct sk_buff *hskb = skb_peek(&l->transmq); |
| 2533 | u16 head = hskb ? msg_seqno(buf_msg(hskb)) : l->snd_nxt - 1; |
| 2534 | u16 tail = l->snd_nxt - 1; |
| 2535 | |
| 2536 | pr_info("%s Link <%s> state %x\n", str, l->name, l->state); |
| 2537 | pr_info("XMTQ: %u [%u-%u], BKLGQ: %u, SNDNX: %u, RCVNX: %u\n", |
| 2538 | skb_queue_len(&l->transmq), head, tail, |
| 2539 | skb_queue_len(&l->backlogq), l->snd_nxt, l->rcv_nxt); |
| 2540 | } |
| 2541 | |
| 2542 | /* Parse and validate nested (link) properties valid for media, bearer and link |
| 2543 | */ |
| 2544 | int tipc_nl_parse_link_prop(struct nlattr *prop, struct nlattr *props[]) |
| 2545 | { |
| 2546 | int err; |
| 2547 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2548 | err = nla_parse_nested_deprecated(props, TIPC_NLA_PROP_MAX, prop, |
| 2549 | tipc_nl_prop_policy, NULL); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2550 | if (err) |
| 2551 | return err; |
| 2552 | |
| 2553 | if (props[TIPC_NLA_PROP_PRIO]) { |
| 2554 | u32 prio; |
| 2555 | |
| 2556 | prio = nla_get_u32(props[TIPC_NLA_PROP_PRIO]); |
| 2557 | if (prio > TIPC_MAX_LINK_PRI) |
| 2558 | return -EINVAL; |
| 2559 | } |
| 2560 | |
| 2561 | if (props[TIPC_NLA_PROP_TOL]) { |
| 2562 | u32 tol; |
| 2563 | |
| 2564 | tol = nla_get_u32(props[TIPC_NLA_PROP_TOL]); |
| 2565 | if ((tol < TIPC_MIN_LINK_TOL) || (tol > TIPC_MAX_LINK_TOL)) |
| 2566 | return -EINVAL; |
| 2567 | } |
| 2568 | |
| 2569 | if (props[TIPC_NLA_PROP_WIN]) { |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2570 | u32 max_win; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2571 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2572 | max_win = nla_get_u32(props[TIPC_NLA_PROP_WIN]); |
| 2573 | if (max_win < TIPC_DEF_LINK_WIN || max_win > TIPC_MAX_LINK_WIN) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2574 | return -EINVAL; |
| 2575 | } |
| 2576 | |
| 2577 | return 0; |
| 2578 | } |
| 2579 | |
| 2580 | static int __tipc_nl_add_stats(struct sk_buff *skb, struct tipc_stats *s) |
| 2581 | { |
| 2582 | int i; |
| 2583 | struct nlattr *stats; |
| 2584 | |
| 2585 | struct nla_map { |
| 2586 | u32 key; |
| 2587 | u32 val; |
| 2588 | }; |
| 2589 | |
| 2590 | struct nla_map map[] = { |
| 2591 | {TIPC_NLA_STATS_RX_INFO, 0}, |
| 2592 | {TIPC_NLA_STATS_RX_FRAGMENTS, s->recv_fragments}, |
| 2593 | {TIPC_NLA_STATS_RX_FRAGMENTED, s->recv_fragmented}, |
| 2594 | {TIPC_NLA_STATS_RX_BUNDLES, s->recv_bundles}, |
| 2595 | {TIPC_NLA_STATS_RX_BUNDLED, s->recv_bundled}, |
| 2596 | {TIPC_NLA_STATS_TX_INFO, 0}, |
| 2597 | {TIPC_NLA_STATS_TX_FRAGMENTS, s->sent_fragments}, |
| 2598 | {TIPC_NLA_STATS_TX_FRAGMENTED, s->sent_fragmented}, |
| 2599 | {TIPC_NLA_STATS_TX_BUNDLES, s->sent_bundles}, |
| 2600 | {TIPC_NLA_STATS_TX_BUNDLED, s->sent_bundled}, |
| 2601 | {TIPC_NLA_STATS_MSG_PROF_TOT, (s->msg_length_counts) ? |
| 2602 | s->msg_length_counts : 1}, |
| 2603 | {TIPC_NLA_STATS_MSG_LEN_CNT, s->msg_length_counts}, |
| 2604 | {TIPC_NLA_STATS_MSG_LEN_TOT, s->msg_lengths_total}, |
| 2605 | {TIPC_NLA_STATS_MSG_LEN_P0, s->msg_length_profile[0]}, |
| 2606 | {TIPC_NLA_STATS_MSG_LEN_P1, s->msg_length_profile[1]}, |
| 2607 | {TIPC_NLA_STATS_MSG_LEN_P2, s->msg_length_profile[2]}, |
| 2608 | {TIPC_NLA_STATS_MSG_LEN_P3, s->msg_length_profile[3]}, |
| 2609 | {TIPC_NLA_STATS_MSG_LEN_P4, s->msg_length_profile[4]}, |
| 2610 | {TIPC_NLA_STATS_MSG_LEN_P5, s->msg_length_profile[5]}, |
| 2611 | {TIPC_NLA_STATS_MSG_LEN_P6, s->msg_length_profile[6]}, |
| 2612 | {TIPC_NLA_STATS_RX_STATES, s->recv_states}, |
| 2613 | {TIPC_NLA_STATS_RX_PROBES, s->recv_probes}, |
| 2614 | {TIPC_NLA_STATS_RX_NACKS, s->recv_nacks}, |
| 2615 | {TIPC_NLA_STATS_RX_DEFERRED, s->deferred_recv}, |
| 2616 | {TIPC_NLA_STATS_TX_STATES, s->sent_states}, |
| 2617 | {TIPC_NLA_STATS_TX_PROBES, s->sent_probes}, |
| 2618 | {TIPC_NLA_STATS_TX_NACKS, s->sent_nacks}, |
| 2619 | {TIPC_NLA_STATS_TX_ACKS, s->sent_acks}, |
| 2620 | {TIPC_NLA_STATS_RETRANSMITTED, s->retransmitted}, |
| 2621 | {TIPC_NLA_STATS_DUPLICATES, s->duplicates}, |
| 2622 | {TIPC_NLA_STATS_LINK_CONGS, s->link_congs}, |
| 2623 | {TIPC_NLA_STATS_MAX_QUEUE, s->max_queue_sz}, |
| 2624 | {TIPC_NLA_STATS_AVG_QUEUE, s->queue_sz_counts ? |
| 2625 | (s->accu_queue_sz / s->queue_sz_counts) : 0} |
| 2626 | }; |
| 2627 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2628 | stats = nla_nest_start_noflag(skb, TIPC_NLA_LINK_STATS); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2629 | if (!stats) |
| 2630 | return -EMSGSIZE; |
| 2631 | |
| 2632 | for (i = 0; i < ARRAY_SIZE(map); i++) |
| 2633 | if (nla_put_u32(skb, map[i].key, map[i].val)) |
| 2634 | goto msg_full; |
| 2635 | |
| 2636 | nla_nest_end(skb, stats); |
| 2637 | |
| 2638 | return 0; |
| 2639 | msg_full: |
| 2640 | nla_nest_cancel(skb, stats); |
| 2641 | |
| 2642 | return -EMSGSIZE; |
| 2643 | } |
| 2644 | |
| 2645 | /* Caller should hold appropriate locks to protect the link */ |
| 2646 | int __tipc_nl_add_link(struct net *net, struct tipc_nl_msg *msg, |
| 2647 | struct tipc_link *link, int nlflags) |
| 2648 | { |
| 2649 | u32 self = tipc_own_addr(net); |
| 2650 | struct nlattr *attrs; |
| 2651 | struct nlattr *prop; |
| 2652 | void *hdr; |
| 2653 | int err; |
| 2654 | |
| 2655 | hdr = genlmsg_put(msg->skb, msg->portid, msg->seq, &tipc_genl_family, |
| 2656 | nlflags, TIPC_NL_LINK_GET); |
| 2657 | if (!hdr) |
| 2658 | return -EMSGSIZE; |
| 2659 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2660 | attrs = nla_nest_start_noflag(msg->skb, TIPC_NLA_LINK); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2661 | if (!attrs) |
| 2662 | goto msg_full; |
| 2663 | |
| 2664 | if (nla_put_string(msg->skb, TIPC_NLA_LINK_NAME, link->name)) |
| 2665 | goto attr_msg_full; |
| 2666 | if (nla_put_u32(msg->skb, TIPC_NLA_LINK_DEST, tipc_cluster_mask(self))) |
| 2667 | goto attr_msg_full; |
| 2668 | if (nla_put_u32(msg->skb, TIPC_NLA_LINK_MTU, link->mtu)) |
| 2669 | goto attr_msg_full; |
| 2670 | if (nla_put_u32(msg->skb, TIPC_NLA_LINK_RX, link->stats.recv_pkts)) |
| 2671 | goto attr_msg_full; |
| 2672 | if (nla_put_u32(msg->skb, TIPC_NLA_LINK_TX, link->stats.sent_pkts)) |
| 2673 | goto attr_msg_full; |
| 2674 | |
| 2675 | if (tipc_link_is_up(link)) |
| 2676 | if (nla_put_flag(msg->skb, TIPC_NLA_LINK_UP)) |
| 2677 | goto attr_msg_full; |
| 2678 | if (link->active) |
| 2679 | if (nla_put_flag(msg->skb, TIPC_NLA_LINK_ACTIVE)) |
| 2680 | goto attr_msg_full; |
| 2681 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2682 | prop = nla_nest_start_noflag(msg->skb, TIPC_NLA_LINK_PROP); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2683 | if (!prop) |
| 2684 | goto attr_msg_full; |
| 2685 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_PRIO, link->priority)) |
| 2686 | goto prop_msg_full; |
| 2687 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_TOL, link->tolerance)) |
| 2688 | goto prop_msg_full; |
| 2689 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_WIN, |
| 2690 | link->window)) |
| 2691 | goto prop_msg_full; |
| 2692 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_PRIO, link->priority)) |
| 2693 | goto prop_msg_full; |
| 2694 | nla_nest_end(msg->skb, prop); |
| 2695 | |
| 2696 | err = __tipc_nl_add_stats(msg->skb, &link->stats); |
| 2697 | if (err) |
| 2698 | goto attr_msg_full; |
| 2699 | |
| 2700 | nla_nest_end(msg->skb, attrs); |
| 2701 | genlmsg_end(msg->skb, hdr); |
| 2702 | |
| 2703 | return 0; |
| 2704 | |
| 2705 | prop_msg_full: |
| 2706 | nla_nest_cancel(msg->skb, prop); |
| 2707 | attr_msg_full: |
| 2708 | nla_nest_cancel(msg->skb, attrs); |
| 2709 | msg_full: |
| 2710 | genlmsg_cancel(msg->skb, hdr); |
| 2711 | |
| 2712 | return -EMSGSIZE; |
| 2713 | } |
| 2714 | |
| 2715 | static int __tipc_nl_add_bc_link_stat(struct sk_buff *skb, |
| 2716 | struct tipc_stats *stats) |
| 2717 | { |
| 2718 | int i; |
| 2719 | struct nlattr *nest; |
| 2720 | |
| 2721 | struct nla_map { |
| 2722 | __u32 key; |
| 2723 | __u32 val; |
| 2724 | }; |
| 2725 | |
| 2726 | struct nla_map map[] = { |
| 2727 | {TIPC_NLA_STATS_RX_INFO, stats->recv_pkts}, |
| 2728 | {TIPC_NLA_STATS_RX_FRAGMENTS, stats->recv_fragments}, |
| 2729 | {TIPC_NLA_STATS_RX_FRAGMENTED, stats->recv_fragmented}, |
| 2730 | {TIPC_NLA_STATS_RX_BUNDLES, stats->recv_bundles}, |
| 2731 | {TIPC_NLA_STATS_RX_BUNDLED, stats->recv_bundled}, |
| 2732 | {TIPC_NLA_STATS_TX_INFO, stats->sent_pkts}, |
| 2733 | {TIPC_NLA_STATS_TX_FRAGMENTS, stats->sent_fragments}, |
| 2734 | {TIPC_NLA_STATS_TX_FRAGMENTED, stats->sent_fragmented}, |
| 2735 | {TIPC_NLA_STATS_TX_BUNDLES, stats->sent_bundles}, |
| 2736 | {TIPC_NLA_STATS_TX_BUNDLED, stats->sent_bundled}, |
| 2737 | {TIPC_NLA_STATS_RX_NACKS, stats->recv_nacks}, |
| 2738 | {TIPC_NLA_STATS_RX_DEFERRED, stats->deferred_recv}, |
| 2739 | {TIPC_NLA_STATS_TX_NACKS, stats->sent_nacks}, |
| 2740 | {TIPC_NLA_STATS_TX_ACKS, stats->sent_acks}, |
| 2741 | {TIPC_NLA_STATS_RETRANSMITTED, stats->retransmitted}, |
| 2742 | {TIPC_NLA_STATS_DUPLICATES, stats->duplicates}, |
| 2743 | {TIPC_NLA_STATS_LINK_CONGS, stats->link_congs}, |
| 2744 | {TIPC_NLA_STATS_MAX_QUEUE, stats->max_queue_sz}, |
| 2745 | {TIPC_NLA_STATS_AVG_QUEUE, stats->queue_sz_counts ? |
| 2746 | (stats->accu_queue_sz / stats->queue_sz_counts) : 0} |
| 2747 | }; |
| 2748 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2749 | nest = nla_nest_start_noflag(skb, TIPC_NLA_LINK_STATS); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2750 | if (!nest) |
| 2751 | return -EMSGSIZE; |
| 2752 | |
| 2753 | for (i = 0; i < ARRAY_SIZE(map); i++) |
| 2754 | if (nla_put_u32(skb, map[i].key, map[i].val)) |
| 2755 | goto msg_full; |
| 2756 | |
| 2757 | nla_nest_end(skb, nest); |
| 2758 | |
| 2759 | return 0; |
| 2760 | msg_full: |
| 2761 | nla_nest_cancel(skb, nest); |
| 2762 | |
| 2763 | return -EMSGSIZE; |
| 2764 | } |
| 2765 | |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2766 | int tipc_nl_add_bc_link(struct net *net, struct tipc_nl_msg *msg, |
| 2767 | struct tipc_link *bcl) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2768 | { |
| 2769 | int err; |
| 2770 | void *hdr; |
| 2771 | struct nlattr *attrs; |
| 2772 | struct nlattr *prop; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2773 | u32 bc_mode = tipc_bcast_get_mode(net); |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2774 | u32 bc_ratio = tipc_bcast_get_broadcast_ratio(net); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2775 | |
| 2776 | if (!bcl) |
| 2777 | return 0; |
| 2778 | |
| 2779 | tipc_bcast_lock(net); |
| 2780 | |
| 2781 | hdr = genlmsg_put(msg->skb, msg->portid, msg->seq, &tipc_genl_family, |
| 2782 | NLM_F_MULTI, TIPC_NL_LINK_GET); |
| 2783 | if (!hdr) { |
| 2784 | tipc_bcast_unlock(net); |
| 2785 | return -EMSGSIZE; |
| 2786 | } |
| 2787 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2788 | attrs = nla_nest_start_noflag(msg->skb, TIPC_NLA_LINK); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2789 | if (!attrs) |
| 2790 | goto msg_full; |
| 2791 | |
| 2792 | /* The broadcast link is always up */ |
| 2793 | if (nla_put_flag(msg->skb, TIPC_NLA_LINK_UP)) |
| 2794 | goto attr_msg_full; |
| 2795 | |
| 2796 | if (nla_put_flag(msg->skb, TIPC_NLA_LINK_BROADCAST)) |
| 2797 | goto attr_msg_full; |
| 2798 | if (nla_put_string(msg->skb, TIPC_NLA_LINK_NAME, bcl->name)) |
| 2799 | goto attr_msg_full; |
| 2800 | if (nla_put_u32(msg->skb, TIPC_NLA_LINK_RX, 0)) |
| 2801 | goto attr_msg_full; |
| 2802 | if (nla_put_u32(msg->skb, TIPC_NLA_LINK_TX, 0)) |
| 2803 | goto attr_msg_full; |
| 2804 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2805 | prop = nla_nest_start_noflag(msg->skb, TIPC_NLA_LINK_PROP); |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2806 | if (!prop) |
| 2807 | goto attr_msg_full; |
Olivier Deprez | 157378f | 2022-04-04 15:47:50 +0200 | [diff] [blame^] | 2808 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_WIN, bcl->max_win)) |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2809 | goto prop_msg_full; |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2810 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_BROADCAST, bc_mode)) |
| 2811 | goto prop_msg_full; |
| 2812 | if (bc_mode & BCLINK_MODE_SEL) |
| 2813 | if (nla_put_u32(msg->skb, TIPC_NLA_PROP_BROADCAST_RATIO, |
| 2814 | bc_ratio)) |
| 2815 | goto prop_msg_full; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2816 | nla_nest_end(msg->skb, prop); |
| 2817 | |
| 2818 | err = __tipc_nl_add_bc_link_stat(msg->skb, &bcl->stats); |
| 2819 | if (err) |
| 2820 | goto attr_msg_full; |
| 2821 | |
| 2822 | tipc_bcast_unlock(net); |
| 2823 | nla_nest_end(msg->skb, attrs); |
| 2824 | genlmsg_end(msg->skb, hdr); |
| 2825 | |
| 2826 | return 0; |
| 2827 | |
| 2828 | prop_msg_full: |
| 2829 | nla_nest_cancel(msg->skb, prop); |
| 2830 | attr_msg_full: |
| 2831 | nla_nest_cancel(msg->skb, attrs); |
| 2832 | msg_full: |
| 2833 | tipc_bcast_unlock(net); |
| 2834 | genlmsg_cancel(msg->skb, hdr); |
| 2835 | |
| 2836 | return -EMSGSIZE; |
| 2837 | } |
| 2838 | |
| 2839 | void tipc_link_set_tolerance(struct tipc_link *l, u32 tol, |
| 2840 | struct sk_buff_head *xmitq) |
| 2841 | { |
| 2842 | l->tolerance = tol; |
| 2843 | if (l->bc_rcvlink) |
| 2844 | l->bc_rcvlink->tolerance = tol; |
| 2845 | if (link_is_up(l)) |
| 2846 | tipc_link_build_proto_msg(l, STATE_MSG, 0, 0, 0, tol, 0, xmitq); |
| 2847 | } |
| 2848 | |
| 2849 | void tipc_link_set_prio(struct tipc_link *l, u32 prio, |
| 2850 | struct sk_buff_head *xmitq) |
| 2851 | { |
| 2852 | l->priority = prio; |
| 2853 | tipc_link_build_proto_msg(l, STATE_MSG, 0, 0, 0, 0, prio, xmitq); |
| 2854 | } |
| 2855 | |
| 2856 | void tipc_link_set_abort_limit(struct tipc_link *l, u32 limit) |
| 2857 | { |
| 2858 | l->abort_limit = limit; |
| 2859 | } |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2860 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame] | 2861 | /** |
| 2862 | * tipc_link_dump - dump TIPC link data |
| 2863 | * @l: tipc link to be dumped |
| 2864 | * @dqueues: bitmask to decide if any link queue to be dumped? |
| 2865 | * - TIPC_DUMP_NONE: don't dump link queues |
| 2866 | * - TIPC_DUMP_TRANSMQ: dump link transmq queue |
| 2867 | * - TIPC_DUMP_BACKLOGQ: dump link backlog queue |
| 2868 | * - TIPC_DUMP_DEFERDQ: dump link deferd queue |
| 2869 | * - TIPC_DUMP_INPUTQ: dump link input queue |
| 2870 | * - TIPC_DUMP_WAKEUP: dump link wakeup queue |
| 2871 | * - TIPC_DUMP_ALL: dump all the link queues above |
| 2872 | * @buf: returned buffer of dump data in format |
| 2873 | */ |
| 2874 | int tipc_link_dump(struct tipc_link *l, u16 dqueues, char *buf) |
| 2875 | { |
| 2876 | int i = 0; |
| 2877 | size_t sz = (dqueues) ? LINK_LMAX : LINK_LMIN; |
| 2878 | struct sk_buff_head *list; |
| 2879 | struct sk_buff *hskb, *tskb; |
| 2880 | u32 len; |
| 2881 | |
| 2882 | if (!l) { |
| 2883 | i += scnprintf(buf, sz, "link data: (null)\n"); |
| 2884 | return i; |
| 2885 | } |
| 2886 | |
| 2887 | i += scnprintf(buf, sz, "link data: %x", l->addr); |
| 2888 | i += scnprintf(buf + i, sz - i, " %x", l->state); |
| 2889 | i += scnprintf(buf + i, sz - i, " %u", l->in_session); |
| 2890 | i += scnprintf(buf + i, sz - i, " %u", l->session); |
| 2891 | i += scnprintf(buf + i, sz - i, " %u", l->peer_session); |
| 2892 | i += scnprintf(buf + i, sz - i, " %u", l->snd_nxt); |
| 2893 | i += scnprintf(buf + i, sz - i, " %u", l->rcv_nxt); |
| 2894 | i += scnprintf(buf + i, sz - i, " %u", l->snd_nxt_state); |
| 2895 | i += scnprintf(buf + i, sz - i, " %u", l->rcv_nxt_state); |
| 2896 | i += scnprintf(buf + i, sz - i, " %x", l->peer_caps); |
| 2897 | i += scnprintf(buf + i, sz - i, " %u", l->silent_intv_cnt); |
| 2898 | i += scnprintf(buf + i, sz - i, " %u", l->rst_cnt); |
| 2899 | i += scnprintf(buf + i, sz - i, " %u", 0); |
| 2900 | i += scnprintf(buf + i, sz - i, " %u", 0); |
| 2901 | i += scnprintf(buf + i, sz - i, " %u", l->acked); |
| 2902 | |
| 2903 | list = &l->transmq; |
| 2904 | len = skb_queue_len(list); |
| 2905 | hskb = skb_peek(list); |
| 2906 | tskb = skb_peek_tail(list); |
| 2907 | i += scnprintf(buf + i, sz - i, " | %u %u %u", len, |
| 2908 | (hskb) ? msg_seqno(buf_msg(hskb)) : 0, |
| 2909 | (tskb) ? msg_seqno(buf_msg(tskb)) : 0); |
| 2910 | |
| 2911 | list = &l->deferdq; |
| 2912 | len = skb_queue_len(list); |
| 2913 | hskb = skb_peek(list); |
| 2914 | tskb = skb_peek_tail(list); |
| 2915 | i += scnprintf(buf + i, sz - i, " | %u %u %u", len, |
| 2916 | (hskb) ? msg_seqno(buf_msg(hskb)) : 0, |
| 2917 | (tskb) ? msg_seqno(buf_msg(tskb)) : 0); |
| 2918 | |
| 2919 | list = &l->backlogq; |
| 2920 | len = skb_queue_len(list); |
| 2921 | hskb = skb_peek(list); |
| 2922 | tskb = skb_peek_tail(list); |
| 2923 | i += scnprintf(buf + i, sz - i, " | %u %u %u", len, |
| 2924 | (hskb) ? msg_seqno(buf_msg(hskb)) : 0, |
| 2925 | (tskb) ? msg_seqno(buf_msg(tskb)) : 0); |
| 2926 | |
| 2927 | list = l->inputq; |
| 2928 | len = skb_queue_len(list); |
| 2929 | hskb = skb_peek(list); |
| 2930 | tskb = skb_peek_tail(list); |
| 2931 | i += scnprintf(buf + i, sz - i, " | %u %u %u\n", len, |
| 2932 | (hskb) ? msg_seqno(buf_msg(hskb)) : 0, |
| 2933 | (tskb) ? msg_seqno(buf_msg(tskb)) : 0); |
| 2934 | |
| 2935 | if (dqueues & TIPC_DUMP_TRANSMQ) { |
| 2936 | i += scnprintf(buf + i, sz - i, "transmq: "); |
| 2937 | i += tipc_list_dump(&l->transmq, false, buf + i); |
| 2938 | } |
| 2939 | if (dqueues & TIPC_DUMP_BACKLOGQ) { |
| 2940 | i += scnprintf(buf + i, sz - i, |
| 2941 | "backlogq: <%u %u %u %u %u>, ", |
| 2942 | l->backlog[TIPC_LOW_IMPORTANCE].len, |
| 2943 | l->backlog[TIPC_MEDIUM_IMPORTANCE].len, |
| 2944 | l->backlog[TIPC_HIGH_IMPORTANCE].len, |
| 2945 | l->backlog[TIPC_CRITICAL_IMPORTANCE].len, |
| 2946 | l->backlog[TIPC_SYSTEM_IMPORTANCE].len); |
| 2947 | i += tipc_list_dump(&l->backlogq, false, buf + i); |
| 2948 | } |
| 2949 | if (dqueues & TIPC_DUMP_DEFERDQ) { |
| 2950 | i += scnprintf(buf + i, sz - i, "deferdq: "); |
| 2951 | i += tipc_list_dump(&l->deferdq, false, buf + i); |
| 2952 | } |
| 2953 | if (dqueues & TIPC_DUMP_INPUTQ) { |
| 2954 | i += scnprintf(buf + i, sz - i, "inputq: "); |
| 2955 | i += tipc_list_dump(l->inputq, false, buf + i); |
| 2956 | } |
| 2957 | if (dqueues & TIPC_DUMP_WAKEUP) { |
| 2958 | i += scnprintf(buf + i, sz - i, "wakeup: "); |
| 2959 | i += tipc_list_dump(&l->wakeupq, false, buf + i); |
| 2960 | } |
| 2961 | |
| 2962 | return i; |
| 2963 | } |