Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 1 | /*! \file gprs_ns2_vc_fsm.c |
| 2 | * NS virtual circuit FSM implementation |
| 3 | * 3GPP TS 08.16 version 8.0.1 Release 1999 / ETSI TS 101 299 V8.0.1 (2002-05) |
| 4 | * as well as its successor 3GPP TS 48.016 */ |
| 5 | |
| 6 | /* (C) 2020 sysmocom - s.f.m.c. GmbH |
| 7 | * Author: Alexander Couzens <lynxis@fe80.eu> |
| 8 | * |
| 9 | * All Rights Reserved |
| 10 | * |
| 11 | * SPDX-License-Identifier: GPL-2.0+ |
| 12 | * |
| 13 | * This program is free software; you can redistribute it and/or modify |
| 14 | * it under the terms of the GNU General Public License as published by |
| 15 | * the Free Software Foundation; either version 2 of the License, or |
| 16 | * (at your option) any later version. |
| 17 | * |
| 18 | * This program is distributed in the hope that it will be useful, |
| 19 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 20 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 21 | * GNU General Public License for more details. |
| 22 | * |
| 23 | * You should have received a copy of the GNU General Public License |
| 24 | * along with this program. If not, see <http://www.gnu.org/licenses/>. |
| 25 | * |
| 26 | */ |
| 27 | |
| 28 | /* The BSS NSE only has one SGSN IP address configured, and it will use the SNS procedures |
| 29 | * to communicated its local IPs/ports as well as all the SGSN side IPs/ports and |
| 30 | * associated weights. In theory, the BSS then uses this to establish a full mesh |
| 31 | * of NSVCs between all BSS-side IPs/ports and SGSN-side IPs/ports */ |
| 32 | |
| 33 | #include <errno.h> |
| 34 | |
| 35 | #include <netinet/in.h> |
| 36 | #include <arpa/inet.h> |
| 37 | |
| 38 | #include <osmocom/core/fsm.h> |
| 39 | #include <osmocom/core/msgb.h> |
| 40 | #include <osmocom/core/rate_ctr.h> |
| 41 | #include <osmocom/core/socket.h> |
| 42 | #include <osmocom/core/stat_item.h> |
| 43 | #include <osmocom/gsm/prim.h> |
| 44 | #include <osmocom/gsm/tlv.h> |
| 45 | #include <osmocom/gprs/gprs_msgb.h> |
| 46 | #include <osmocom/gprs/protocol/gsm_08_16.h> |
| 47 | |
| 48 | #include "gprs_ns2_internal.h" |
| 49 | |
| 50 | #define S(x) (1 << (x)) |
| 51 | |
| 52 | #define DNS 10 |
| 53 | |
| 54 | struct gprs_ns2_vc_priv { |
| 55 | struct gprs_ns2_vc *nsvc; |
| 56 | /* how often the timer was triggered */ |
| 57 | int N; |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 58 | /* The initiator is responsible to UNBLOCK the VC. The BSS is usually the initiator. |
| 59 | * It can change during runtime. The side which blocks an unblocked side.*/ |
Alexander Couzens | ea01bf2 | 2021-01-18 14:01:01 +0100 | [diff] [blame] | 60 | bool initiator; |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 61 | bool initiate_block; |
| 62 | bool initiate_reset; |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 63 | /* if blocked by O&M/vty */ |
| 64 | bool om_blocked; |
| 65 | /* if unitdata is forwarded to the user */ |
| 66 | bool accept_unitdata; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 67 | |
| 68 | /* the alive counter is present in all states */ |
| 69 | struct { |
| 70 | struct osmo_timer_list timer; |
| 71 | enum ns2_timeout mode; |
| 72 | int N; |
| 73 | struct timeval timer_started; |
| 74 | } alive; |
| 75 | }; |
| 76 | |
| 77 | |
| 78 | /* The FSM covers both the VC with RESET/BLOCK and without RESET/BLOCK procedure.. |
| 79 | * |
| 80 | * With RESET/BLOCK, the state should follow: |
| 81 | * - UNCONFIGURED -> RESET -> BLOCK -> UNBLOCKED |
| 82 | * |
| 83 | * Without RESET/BLOCK, the state should follow: |
| 84 | * - UNCONFIGURED -> ALIVE -> UNBLOCKED |
| 85 | * |
| 86 | * The UNBLOCKED and TEST states are used to send ALIVE PDU using the timeout Tns-test and Tns-alive. |
| 87 | * UNBLOCKED -> TEST: on expire of Tns-Test, send Alive PDU. |
| 88 | * TEST -> UNBLOCKED: on receive of Alive_Ack PDU, go into UNBLOCKED. |
| 89 | * |
| 90 | * The ALIVE state is used as intermediate, because a VC is only valid if it received an Alive ACK when |
| 91 | * not using RESET/BLOCK procedure. |
| 92 | */ |
| 93 | |
| 94 | enum gprs_ns2_vc_state { |
| 95 | GPRS_NS2_ST_UNCONFIGURED, |
| 96 | GPRS_NS2_ST_RESET, |
| 97 | GPRS_NS2_ST_BLOCKED, |
| 98 | GPRS_NS2_ST_UNBLOCKED, /* allows sending NS_UNITDATA */ |
| 99 | |
| 100 | GPRS_NS2_ST_ALIVE, /* only used when not using RESET/BLOCK procedure */ |
| 101 | }; |
| 102 | |
| 103 | enum gprs_ns2_vc_event { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 104 | GPRS_NS2_EV_REQ_START, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 105 | |
| 106 | /* received messages */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 107 | GPRS_NS2_EV_RX_RESET, |
| 108 | GPRS_NS2_EV_RX_RESET_ACK, |
| 109 | GPRS_NS2_EV_RX_UNBLOCK, |
| 110 | GPRS_NS2_EV_RX_UNBLOCK_ACK, |
| 111 | GPRS_NS2_EV_RX_BLOCK, |
| 112 | GPRS_NS2_EV_RX_BLOCK_ACK, |
| 113 | GPRS_NS2_EV_RX_ALIVE, |
| 114 | GPRS_NS2_EV_RX_ALIVE_ACK, |
| 115 | GPRS_NS2_EV_RX_STATUS, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 116 | |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 117 | GPRS_NS2_EV_RX_UNITDATA, |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 118 | |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 119 | GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED, /* called via vty for tests */ |
| 120 | GPRS_NS2_EV_REQ_OM_BLOCK, /* vty cmd: block */ |
| 121 | GPRS_NS2_EV_REQ_OM_UNBLOCK, /* vty cmd: unblock*/ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 122 | }; |
| 123 | |
| 124 | static const struct value_string gprs_ns2_vc_event_names[] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 125 | { GPRS_NS2_EV_REQ_START, "START" }, |
| 126 | { GPRS_NS2_EV_RX_RESET, "RESET" }, |
| 127 | { GPRS_NS2_EV_RX_RESET_ACK, "RESET_ACK" }, |
| 128 | { GPRS_NS2_EV_RX_UNBLOCK, "UNBLOCK" }, |
| 129 | { GPRS_NS2_EV_RX_UNBLOCK_ACK, "UNBLOCK_ACK" }, |
| 130 | { GPRS_NS2_EV_RX_BLOCK, "BLOCK" }, |
| 131 | { GPRS_NS2_EV_RX_BLOCK_ACK, "BLOCK_ACK" }, |
| 132 | { GPRS_NS2_EV_RX_ALIVE, "ALIVE" }, |
| 133 | { GPRS_NS2_EV_RX_ALIVE_ACK, "ALIVE_ACK" }, |
| 134 | { GPRS_NS2_EV_RX_STATUS, "STATUS" }, |
| 135 | { GPRS_NS2_EV_RX_UNITDATA, "UNITDATA" }, |
| 136 | { GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED, "FORCE_UNCONFIGURED" }, |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 137 | { GPRS_NS2_EV_REQ_OM_BLOCK, "REQ-O&M-BLOCK"}, |
| 138 | { GPRS_NS2_EV_REQ_OM_UNBLOCK, "REQ-O&M-UNBLOCK"}, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 139 | { 0, NULL } |
| 140 | }; |
| 141 | |
| 142 | static inline struct gprs_ns2_inst *ns_inst_from_fi(struct osmo_fsm_inst *fi) |
| 143 | { |
| 144 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 145 | return priv->nsvc->nse->nsi; |
| 146 | } |
| 147 | |
| 148 | static void start_test_procedure(struct gprs_ns2_vc_priv *priv) |
| 149 | { |
| 150 | struct gprs_ns2_inst *nsi = priv->nsvc->nse->nsi; |
| 151 | |
| 152 | if (osmo_timer_pending(&priv->alive.timer)) |
| 153 | return; |
| 154 | |
| 155 | priv->alive.mode = NS_TOUT_TNS_ALIVE; |
| 156 | priv->alive.N = 0; |
| 157 | |
| 158 | osmo_gettimeofday(&priv->alive.timer_started, NULL); |
| 159 | ns2_tx_alive(priv->nsvc); |
| 160 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
| 161 | } |
| 162 | |
| 163 | static void stop_test_procedure(struct gprs_ns2_vc_priv *priv) |
| 164 | { |
| 165 | osmo_timer_del(&priv->alive.timer); |
| 166 | } |
| 167 | |
| 168 | static int alive_timer_elapsed_ms(struct gprs_ns2_vc_priv *priv) |
| 169 | { |
| 170 | struct timeval now, elapsed; |
| 171 | osmo_gettimeofday(&now, NULL); |
| 172 | timersub(&now, &priv->alive.timer_started, &elapsed); |
| 173 | |
| 174 | return 1000 * elapsed.tv_sec + elapsed.tv_usec / 1000; |
| 175 | } |
| 176 | |
| 177 | static void recv_test_procedure(struct osmo_fsm_inst *fi) |
| 178 | { |
| 179 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 180 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 181 | struct gprs_ns2_vc *nsvc = priv->nsvc; |
| 182 | |
| 183 | /* ignoring ACKs without sending an ALIVE */ |
| 184 | if (priv->alive.mode != NS_TOUT_TNS_ALIVE) |
| 185 | return; |
| 186 | |
| 187 | priv->alive.mode = NS_TOUT_TNS_TEST; |
| 188 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_TEST], 0); |
| 189 | osmo_stat_item_set(nsvc->statg->items[NS_STAT_ALIVE_DELAY], |
| 190 | alive_timer_elapsed_ms(priv)); |
| 191 | } |
| 192 | |
| 193 | |
| 194 | static void alive_timeout_handler(void *data) |
| 195 | { |
| 196 | struct osmo_fsm_inst *fi = data; |
| 197 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 198 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 199 | |
| 200 | switch (priv->alive.mode) { |
| 201 | case NS_TOUT_TNS_TEST: |
| 202 | priv->alive.mode = NS_TOUT_TNS_ALIVE; |
| 203 | ns2_tx_alive(priv->nsvc); |
| 204 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
| 205 | break; |
| 206 | case NS_TOUT_TNS_ALIVE: |
| 207 | priv->alive.N++; |
| 208 | |
| 209 | if (priv->alive.N <= nsi->timeout[NS_TOUT_TNS_ALIVE_RETRIES]) { |
| 210 | /* retransmission */ |
| 211 | ns2_tx_alive(priv->nsvc); |
| 212 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
| 213 | } else { |
| 214 | /* lost connection */ |
| 215 | if (priv->nsvc->mode == NS2_VC_MODE_BLOCKRESET) { |
| 216 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 217 | } else { |
| 218 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_ALIVE, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
| 219 | } |
| 220 | } |
| 221 | break; |
| 222 | default: |
| 223 | break; |
| 224 | } |
| 225 | } |
| 226 | |
| 227 | static void gprs_ns2_st_unconfigured(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 228 | { |
| 229 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 230 | struct gprs_ns2_inst *nsi = priv->nsvc->nse->nsi; |
| 231 | |
Alexander Couzens | ea01bf2 | 2021-01-18 14:01:01 +0100 | [diff] [blame] | 232 | priv->initiate_reset = priv->initiate_block = priv->initiator; |
| 233 | priv->om_blocked = false; |
| 234 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 235 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 236 | case GPRS_NS2_EV_REQ_START: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 237 | switch (priv->nsvc->mode) { |
| 238 | case NS2_VC_MODE_ALIVE: |
| 239 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_ALIVE, nsi->timeout[NS_TOUT_TNS_ALIVE], NS_TOUT_TNS_ALIVE); |
| 240 | break; |
| 241 | case NS2_VC_MODE_BLOCKRESET: |
| 242 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], NS_TOUT_TNS_RESET); |
| 243 | break; |
| 244 | } |
| 245 | |
| 246 | break; |
| 247 | default: |
| 248 | OSMO_ASSERT(0); |
| 249 | } |
| 250 | } |
| 251 | |
| 252 | |
| 253 | static void gprs_ns2_st_reset_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
| 254 | { |
| 255 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 256 | |
| 257 | if (old_state != GPRS_NS2_ST_RESET) |
| 258 | priv->N = 0; |
| 259 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 260 | priv->accept_unitdata = false; |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 261 | if (priv->initiate_reset) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 262 | ns2_tx_reset(priv->nsvc, NS_CAUSE_OM_INTERVENTION); |
| 263 | |
| 264 | stop_test_procedure(priv); |
| 265 | ns2_nse_notify_unblocked(priv->nsvc, false); |
| 266 | } |
| 267 | |
| 268 | static void gprs_ns2_st_reset(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 269 | { |
| 270 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 271 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 272 | |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 273 | if (priv->initiate_reset) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 274 | switch (event) { |
Alexander Couzens | 273f063 | 2021-01-20 13:11:26 +0100 | [diff] [blame] | 275 | case GPRS_NS2_EV_RX_RESET: |
| 276 | ns2_tx_reset_ack(priv->nsvc); |
| 277 | /* fall-through */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 278 | case GPRS_NS2_EV_RX_RESET_ACK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 279 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, |
| 280 | nsi->timeout[NS_TOUT_TNS_BLOCK], NS_TOUT_TNS_BLOCK); |
| 281 | break; |
| 282 | } |
| 283 | } else { |
| 284 | /* we are on the receiving end */ |
| 285 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 286 | case GPRS_NS2_EV_RX_RESET: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 287 | ns2_tx_reset_ack(priv->nsvc); |
| 288 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, |
| 289 | 0, 0); |
| 290 | break; |
| 291 | } |
| 292 | } |
| 293 | } |
| 294 | |
| 295 | static void gprs_ns2_st_blocked_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
| 296 | { |
| 297 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 298 | |
| 299 | if (old_state != GPRS_NS2_ST_BLOCKED) |
| 300 | priv->N = 0; |
| 301 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 302 | if (priv->om_blocked) { |
| 303 | /* we are already blocked after a RESET */ |
| 304 | if (old_state == GPRS_NS2_ST_RESET) { |
| 305 | osmo_timer_del(&fi->timer); |
| 306 | } else { |
| 307 | ns2_tx_block(priv->nsvc, NS_CAUSE_OM_INTERVENTION); |
| 308 | } |
| 309 | } else if (priv->initiate_block) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 310 | ns2_tx_unblock(priv->nsvc); |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 311 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 312 | |
| 313 | start_test_procedure(priv); |
| 314 | } |
| 315 | |
| 316 | static void gprs_ns2_st_blocked(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 317 | { |
| 318 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 319 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 320 | if (priv->om_blocked) { |
| 321 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 322 | case GPRS_NS2_EV_RX_BLOCK_ACK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 323 | priv->accept_unitdata = false; |
| 324 | osmo_timer_del(&fi->timer); |
| 325 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 326 | case GPRS_NS2_EV_RX_BLOCK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 327 | priv->accept_unitdata = false; |
| 328 | ns2_tx_block_ack(priv->nsvc); |
| 329 | osmo_timer_del(&fi->timer); |
| 330 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 331 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 332 | priv->accept_unitdata = false; |
| 333 | ns2_tx_block(priv->nsvc, NS_CAUSE_OM_INTERVENTION); |
| 334 | osmo_timer_add(&fi->timer); |
| 335 | break; |
| 336 | } |
| 337 | } else if (priv->initiate_block) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 338 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 339 | case GPRS_NS2_EV_RX_BLOCK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 340 | /* TODO: BLOCK is a UNBLOCK_NACK */ |
| 341 | ns2_tx_block_ack(priv->nsvc); |
| 342 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 343 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 344 | ns2_tx_unblock_ack(priv->nsvc); |
| 345 | /* fall through */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 346 | case GPRS_NS2_EV_RX_UNBLOCK_ACK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 347 | priv->accept_unitdata = true; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 348 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, |
| 349 | 0, NS_TOUT_TNS_TEST); |
| 350 | break; |
| 351 | } |
| 352 | } else { |
| 353 | /* we are on the receiving end. The initiator who sent RESET is responsible to UNBLOCK! */ |
| 354 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 355 | case GPRS_NS2_EV_RX_BLOCK: |
Alexander Couzens | 856b94c | 2021-01-19 19:42:17 +0100 | [diff] [blame] | 356 | ns2_tx_block_ack(priv->nsvc); |
| 357 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 358 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 359 | ns2_tx_unblock_ack(priv->nsvc); |
| 360 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, |
| 361 | 0, 0); |
| 362 | break; |
| 363 | } |
| 364 | } |
| 365 | } |
| 366 | |
| 367 | static void gprs_ns2_st_unblocked_on_enter(struct osmo_fsm_inst *fi, uint32_t old_state) |
| 368 | { |
| 369 | struct gprs_ns2_vc_priv *priv = fi->priv; |
Daniel Willmann | 15c09a8 | 2020-11-03 23:05:43 +0100 | [diff] [blame] | 370 | struct gprs_ns2_vc *nsvc = priv->nsvc; |
| 371 | struct gprs_ns2_nse *nse = nsvc->nse; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 372 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 373 | priv->accept_unitdata = true; |
Daniel Willmann | 15c09a8 | 2020-11-03 23:05:43 +0100 | [diff] [blame] | 374 | ns2_nse_notify_unblocked(nsvc, true); |
| 375 | ns2_prim_status_ind(nse, nsvc, 0, NS_AFF_CAUSE_VC_RECOVERY); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 376 | } |
| 377 | |
| 378 | static void gprs_ns2_st_unblocked(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 379 | { |
| 380 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 381 | |
| 382 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 383 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | c4b7462 | 2021-01-10 20:44:26 +0100 | [diff] [blame] | 384 | ns2_tx_unblock_ack(priv->nsvc); |
| 385 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 386 | case GPRS_NS2_EV_RX_BLOCK: |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 387 | priv->initiate_block = false; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 388 | ns2_tx_block_ack(priv->nsvc); |
| 389 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, |
| 390 | 0, 2); |
| 391 | break; |
| 392 | } |
| 393 | } |
| 394 | |
| 395 | static void gprs_ns2_st_alive(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 396 | { |
| 397 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 398 | case GPRS_NS2_EV_RX_ALIVE_ACK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 399 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, 0, 0); |
| 400 | break; |
| 401 | } |
| 402 | } |
| 403 | |
| 404 | static void gprs_ns2_st_alive_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
| 405 | { |
| 406 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 407 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 408 | |
| 409 | priv->alive.mode = NS_TOUT_TNS_TEST; |
| 410 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_TEST], 0); |
| 411 | |
| 412 | if (old_state != GPRS_NS2_ST_ALIVE) |
| 413 | priv->N = 0; |
| 414 | |
| 415 | ns2_tx_alive(priv->nsvc); |
| 416 | ns2_nse_notify_unblocked(priv->nsvc, false); |
| 417 | } |
| 418 | |
| 419 | static void gprs_ns2_st_alive_onleave(struct osmo_fsm_inst *fi, uint32_t next_state) |
| 420 | { |
| 421 | start_test_procedure(fi->priv); |
| 422 | } |
| 423 | |
| 424 | static const struct osmo_fsm_state gprs_ns2_vc_states[] = { |
| 425 | [GPRS_NS2_ST_UNCONFIGURED] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 426 | .in_event_mask = S(GPRS_NS2_EV_REQ_START), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 427 | .out_state_mask = S(GPRS_NS2_ST_RESET) | S(GPRS_NS2_ST_ALIVE), |
| 428 | .name = "UNCONFIGURED", |
| 429 | .action = gprs_ns2_st_unconfigured, |
| 430 | }, |
| 431 | [GPRS_NS2_ST_RESET] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 432 | .in_event_mask = S(GPRS_NS2_EV_RX_RESET_ACK) | S(GPRS_NS2_EV_RX_RESET), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 433 | .out_state_mask = S(GPRS_NS2_ST_RESET) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 434 | S(GPRS_NS2_ST_BLOCKED) | |
| 435 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 436 | .name = "RESET", |
| 437 | .action = gprs_ns2_st_reset, |
| 438 | .onenter = gprs_ns2_st_reset_onenter, |
| 439 | }, |
| 440 | [GPRS_NS2_ST_BLOCKED] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 441 | .in_event_mask = S(GPRS_NS2_EV_RX_BLOCK) | S(GPRS_NS2_EV_RX_BLOCK_ACK) | |
| 442 | S(GPRS_NS2_EV_RX_UNBLOCK) | S(GPRS_NS2_EV_RX_UNBLOCK_ACK), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 443 | .out_state_mask = S(GPRS_NS2_ST_RESET) | |
| 444 | S(GPRS_NS2_ST_UNBLOCKED) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 445 | S(GPRS_NS2_ST_BLOCKED) | |
| 446 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 447 | .name = "BLOCKED", |
| 448 | .action = gprs_ns2_st_blocked, |
| 449 | .onenter = gprs_ns2_st_blocked_onenter, |
| 450 | }, |
| 451 | [GPRS_NS2_ST_UNBLOCKED] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 452 | .in_event_mask = S(GPRS_NS2_EV_RX_BLOCK) | S(GPRS_NS2_EV_RX_UNBLOCK_ACK) | |
| 453 | S(GPRS_NS2_EV_RX_UNBLOCK), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 454 | .out_state_mask = S(GPRS_NS2_ST_RESET) | S(GPRS_NS2_ST_ALIVE) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 455 | S(GPRS_NS2_ST_BLOCKED) | |
| 456 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 457 | .name = "UNBLOCKED", |
| 458 | .action = gprs_ns2_st_unblocked, |
| 459 | .onenter = gprs_ns2_st_unblocked_on_enter, |
| 460 | }, |
| 461 | |
| 462 | /* ST_ALIVE is only used on VC without RESET/BLOCK */ |
| 463 | [GPRS_NS2_ST_ALIVE] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 464 | .in_event_mask = S(GPRS_NS2_EV_RX_ALIVE_ACK), |
Alexander Couzens | 191c2d7 | 2021-01-19 17:59:45 +0100 | [diff] [blame] | 465 | .out_state_mask = S(GPRS_NS2_ST_ALIVE) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 466 | S(GPRS_NS2_ST_UNBLOCKED) | |
| 467 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 468 | .name = "ALIVE", |
| 469 | .action = gprs_ns2_st_alive, |
| 470 | .onenter = gprs_ns2_st_alive_onenter, |
| 471 | .onleave = gprs_ns2_st_alive_onleave, |
| 472 | }, |
| 473 | }; |
| 474 | |
| 475 | static int gprs_ns2_vc_fsm_timer_cb(struct osmo_fsm_inst *fi) |
| 476 | { |
| 477 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 478 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 479 | |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 480 | switch (fi->state) { |
| 481 | case GPRS_NS2_ST_RESET: |
| 482 | if (priv->initiate_reset) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 483 | priv->N++; |
| 484 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_RESET_RETRIES]) { |
| 485 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 486 | } else { |
| 487 | priv->N = 0; |
| 488 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 489 | } |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 490 | } |
| 491 | break; |
| 492 | case GPRS_NS2_ST_BLOCKED: |
| 493 | if (priv->initiate_block) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 494 | priv->N++; |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 495 | if (priv->om_blocked) { |
| 496 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_BLOCK_RETRIES]) { |
| 497 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 498 | } else { |
| 499 | /* 7.2 stop accepting data when BLOCK PDU not responded */ |
| 500 | priv->accept_unitdata = false; |
| 501 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 502 | } else { |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 503 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_BLOCK_RETRIES]) { |
| 504 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 505 | } else { |
| 506 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 507 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 508 | } |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 509 | } |
| 510 | break; |
| 511 | case GPRS_NS2_ST_ALIVE: |
| 512 | if (priv->initiate_reset) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 513 | priv->N++; |
| 514 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_ALIVE_RETRIES]) { |
| 515 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_ALIVE, 0, 0); |
| 516 | } else { |
| 517 | priv->N = 0; |
| 518 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_ALIVE, 0, 0); |
| 519 | } |
| 520 | break; |
| 521 | } |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 522 | break; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 523 | } |
| 524 | return 0; |
| 525 | } |
| 526 | |
| 527 | static void gprs_ns2_recv_unitdata(struct osmo_fsm_inst *fi, |
| 528 | struct msgb *msg) |
| 529 | { |
| 530 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 531 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 532 | struct gprs_ns_hdr *nsh = (struct gprs_ns_hdr *) msg->l2h; |
| 533 | struct osmo_gprs_ns2_prim nsp = {}; |
| 534 | uint16_t bvci; |
| 535 | |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 536 | if (msgb_l2len(msg) < sizeof(*nsh) + 3) { |
| 537 | msgb_free(msg); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 538 | return; |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 539 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 540 | |
| 541 | /* TODO: 7.1: For an IP sub-network, an NS-UNITDATA PDU |
| 542 | * for a PTP BVC may indicate a request to change the IP endpoint |
| 543 | * and/or a response to a change in the IP endpoint. */ |
| 544 | |
| 545 | /* TODO: nsh->data[0] -> C/R only valid in IP SNS */ |
| 546 | bvci = nsh->data[1] << 8 | nsh->data[2]; |
| 547 | |
Alexander Couzens | 89acdef | 2020-09-23 18:22:31 +0200 | [diff] [blame] | 548 | msg->l3h = &nsh->data[3]; |
| 549 | nsp.bvci = bvci; |
| 550 | nsp.nsei = priv->nsvc->nse->nsei; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 551 | |
Alexander Couzens | c1cd333 | 2020-09-23 23:24:02 +0200 | [diff] [blame] | 552 | /* 10.3.9 NS SDU Control Bits */ |
| 553 | if (nsh->data[0] & 0x1) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 554 | nsp.u.unitdata.change = NS_ENDPOINT_REQUEST_CHANGE; |
| 555 | |
| 556 | osmo_prim_init(&nsp.oph, SAP_NS, PRIM_NS_UNIT_DATA, |
| 557 | PRIM_OP_INDICATION, msg); |
| 558 | nsi->cb(&nsp.oph, nsi->cb_data); |
| 559 | } |
| 560 | |
| 561 | static void gprs_ns2_vc_fsm_allstate_action(struct osmo_fsm_inst *fi, |
| 562 | uint32_t event, |
| 563 | void *data) |
| 564 | { |
| 565 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 566 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 567 | struct msgb *msg = data; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 568 | |
| 569 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 570 | case GPRS_NS2_EV_RX_RESET: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 571 | if (priv->nsvc->mode != NS2_VC_MODE_BLOCKRESET) |
| 572 | break; |
| 573 | |
| 574 | /* move the FSM into reset */ |
| 575 | if (fi->state != GPRS_NS2_ST_RESET) { |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 576 | priv->initiate_reset = false; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 577 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], NS_TOUT_TNS_RESET); |
| 578 | } |
| 579 | /* pass the event down into FSM action */ |
| 580 | gprs_ns2_st_reset(fi, event, data); |
| 581 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 582 | case GPRS_NS2_EV_RX_ALIVE: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 583 | switch (fi->state) { |
| 584 | case GPRS_NS2_ST_UNCONFIGURED: |
| 585 | case GPRS_NS2_ST_RESET: |
| 586 | /* ignore ALIVE */ |
| 587 | break; |
| 588 | default: |
| 589 | ns2_tx_alive_ack(priv->nsvc); |
| 590 | } |
| 591 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 592 | case GPRS_NS2_EV_RX_ALIVE_ACK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 593 | /* for VCs without RESET/BLOCK/UNBLOCK, the connections comes after ALIVE_ACK unblocked */ |
| 594 | if (fi->state == GPRS_NS2_ST_ALIVE) |
| 595 | gprs_ns2_st_alive(fi, event, data); |
| 596 | else |
| 597 | recv_test_procedure(fi); |
| 598 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 599 | case GPRS_NS2_EV_RX_UNITDATA: |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 600 | /* UNITDATA has to handle the release of msg. |
| 601 | * If send upwards (gprs_ns2_recv_unitdata) it must NOT free |
| 602 | * the msg, the upper layer has to do it. |
| 603 | * Otherwise the msg must be freed. |
| 604 | */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 605 | switch (fi->state) { |
| 606 | case GPRS_NS2_ST_BLOCKED: |
| 607 | /* 7.2.1: the BLOCKED_ACK might be lost */ |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 608 | if (priv->accept_unitdata) { |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 609 | gprs_ns2_recv_unitdata(fi, msg); |
| 610 | return; |
| 611 | } |
| 612 | |
| 613 | ns2_tx_status(priv->nsvc, |
| 614 | NS_CAUSE_NSVC_BLOCKED, |
| 615 | 0, msg); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 616 | break; |
| 617 | /* ALIVE can receive UNITDATA if the ALIVE_ACK is lost */ |
| 618 | case GPRS_NS2_ST_ALIVE: |
| 619 | case GPRS_NS2_ST_UNBLOCKED: |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 620 | gprs_ns2_recv_unitdata(fi, msg); |
| 621 | return; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 622 | } |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 623 | |
| 624 | msgb_free(msg); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 625 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 626 | case GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED: |
Alexander Couzens | 6f3b738 | 2020-12-21 15:57:04 +0100 | [diff] [blame] | 627 | if (fi->state != GPRS_NS2_ST_UNCONFIGURED) { |
| 628 | /* Force the NSVC back to its initial state */ |
| 629 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNCONFIGURED, 0, 0); |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 630 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_REQ_START, NULL); |
Alexander Couzens | 6f3b738 | 2020-12-21 15:57:04 +0100 | [diff] [blame] | 631 | return; |
| 632 | } |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 633 | break; |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 634 | case GPRS_NS2_EV_REQ_OM_BLOCK: |
| 635 | /* vty cmd: block */ |
| 636 | priv->initiate_block = true; |
| 637 | priv->om_blocked = true; |
| 638 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 639 | break; |
| 640 | case GPRS_NS2_EV_REQ_OM_UNBLOCK: |
| 641 | /* vty cmd: unblock*/ |
| 642 | if (!priv->om_blocked) |
| 643 | return; |
| 644 | priv->om_blocked = false; |
| 645 | if (fi->state == GPRS_NS2_ST_BLOCKED) |
| 646 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 647 | break; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 648 | } |
| 649 | } |
| 650 | |
Alexander Couzens | 0346b64 | 2020-10-27 13:05:56 +0100 | [diff] [blame] | 651 | static void gprs_ns2_vc_fsm_clean(struct osmo_fsm_inst *fi, |
| 652 | enum osmo_fsm_term_cause cause) |
| 653 | { |
| 654 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 655 | |
| 656 | osmo_timer_del(&priv->alive.timer); |
| 657 | } |
| 658 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 659 | static struct osmo_fsm gprs_ns2_vc_fsm = { |
| 660 | .name = "GPRS-NS2-VC", |
| 661 | .states = gprs_ns2_vc_states, |
| 662 | .num_states = ARRAY_SIZE(gprs_ns2_vc_states), |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 663 | .allstate_event_mask = S(GPRS_NS2_EV_RX_UNITDATA) | |
| 664 | S(GPRS_NS2_EV_RX_RESET) | |
| 665 | S(GPRS_NS2_EV_RX_ALIVE) | |
| 666 | S(GPRS_NS2_EV_RX_ALIVE_ACK) | |
| 667 | S(GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED) | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 668 | S(GPRS_NS2_EV_REQ_OM_BLOCK) | |
| 669 | S(GPRS_NS2_EV_REQ_OM_UNBLOCK), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 670 | .allstate_action = gprs_ns2_vc_fsm_allstate_action, |
Alexander Couzens | 0346b64 | 2020-10-27 13:05:56 +0100 | [diff] [blame] | 671 | .cleanup = gprs_ns2_vc_fsm_clean, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 672 | .timer_cb = gprs_ns2_vc_fsm_timer_cb, |
| 673 | /* .log_subsys = DNS, "is not constant" */ |
| 674 | .event_names = gprs_ns2_vc_event_names, |
| 675 | .pre_term = NULL, |
| 676 | .log_subsys = DLNS, |
| 677 | }; |
| 678 | |
| 679 | /*! |
| 680 | * \brief gprs_ns2_vc_fsm_alloc |
| 681 | * \param ctx |
| 682 | * \param vc |
| 683 | * \param id a char representation of the virtual curcuit |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 684 | * \param initiator initiator is the site which starts the connection. Usually the BSS. |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 685 | * \return NULL on error, otherwise the fsm |
| 686 | */ |
| 687 | struct osmo_fsm_inst *gprs_ns2_vc_fsm_alloc(struct gprs_ns2_vc *nsvc, |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 688 | const char *id, bool initiator) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 689 | { |
| 690 | struct osmo_fsm_inst *fi; |
| 691 | struct gprs_ns2_vc_priv *priv; |
| 692 | |
| 693 | fi = osmo_fsm_inst_alloc(&gprs_ns2_vc_fsm, nsvc, NULL, LOGL_DEBUG, id); |
| 694 | if (!fi) |
| 695 | return fi; |
| 696 | |
| 697 | nsvc->fi = fi; |
| 698 | priv = fi->priv = talloc_zero(fi, struct gprs_ns2_vc_priv); |
| 699 | priv->nsvc = nsvc; |
Alexander Couzens | ea01bf2 | 2021-01-18 14:01:01 +0100 | [diff] [blame] | 700 | priv->initiator = initiator; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 701 | |
| 702 | osmo_timer_setup(&priv->alive.timer, alive_timeout_handler, fi); |
| 703 | |
| 704 | return fi; |
| 705 | } |
| 706 | |
Harald Welte | 5bef2cc | 2020-09-18 22:33:24 +0200 | [diff] [blame] | 707 | /*! Start a NS-VC FSM. |
| 708 | * \param nsvc the virtual circuit |
| 709 | * \return 0 on success; negative on error */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 710 | int gprs_ns2_vc_fsm_start(struct gprs_ns2_vc *nsvc) |
| 711 | { |
| 712 | /* allows to call this function even for started nsvc by gprs_ns2_start_alive_all_nsvcs */ |
| 713 | if (nsvc->fi->state == GPRS_NS2_ST_UNCONFIGURED) |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 714 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_START, NULL); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 715 | return 0; |
| 716 | } |
| 717 | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 718 | /*! Reset a NS-VC FSM. |
| 719 | * \param nsvc the virtual circuit |
| 720 | * \return 0 on success; negative on error */ |
| 721 | int gprs_ns2_vc_force_unconfigured(struct gprs_ns2_vc *nsvc) |
| 722 | { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 723 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED, NULL); |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 724 | } |
| 725 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 726 | /*! Block a NS-VC. |
| 727 | * \param nsvc the virtual circuit |
| 728 | * \return 0 on success; negative on error */ |
| 729 | int ns2_vc_block(struct gprs_ns2_vc *nsvc) |
| 730 | { |
| 731 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_OM_BLOCK, NULL); |
| 732 | } |
| 733 | |
| 734 | /*! Unblock a NS-VC. |
| 735 | * \param nsvc the virtual circuit |
| 736 | * \return 0 on success; negative on error */ |
| 737 | int ns2_vc_unblock(struct gprs_ns2_vc *nsvc) |
| 738 | { |
| 739 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_OM_UNBLOCK, NULL); |
| 740 | } |
| 741 | |
Harald Welte | 5bef2cc | 2020-09-18 22:33:24 +0200 | [diff] [blame] | 742 | /*! entry point for messages from the driver/VL |
| 743 | * \param nsvc virtual circuit on which the message was received |
| 744 | * \param msg message that was received |
| 745 | * \param tp parsed TLVs of the received message |
| 746 | * \return 0 on success; negative on error */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 747 | int gprs_ns2_vc_rx(struct gprs_ns2_vc *nsvc, struct msgb *msg, struct tlv_parsed *tp) |
| 748 | { |
| 749 | struct gprs_ns_hdr *nsh = (struct gprs_ns_hdr *) msg->l2h; |
| 750 | struct osmo_fsm_inst *fi = nsvc->fi; |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 751 | int rc = 0; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 752 | uint8_t cause; |
Harald Welte | 43cb90f | 2021-01-21 12:45:56 +0100 | [diff] [blame^] | 753 | uint16_t nsei; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 754 | |
| 755 | /* TODO: 7.2: on UNBLOCK/BLOCK: check if NS-VCI is correct, |
| 756 | * if not answer STATUS with "NS-VC unknown" */ |
Harald Welte | 43cb90f | 2021-01-21 12:45:56 +0100 | [diff] [blame^] | 757 | /* TODO: handle RESET with different VCI */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 758 | /* TODO: handle BLOCK/UNBLOCK/ALIVE with different VCI */ |
| 759 | |
| 760 | if (gprs_ns2_validate(nsvc, nsh->pdu_type, msg, tp, &cause)) { |
| 761 | if (nsh->pdu_type != NS_PDUT_STATUS) { |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 762 | rc = ns2_tx_status(nsvc, cause, 0, msg); |
| 763 | goto out; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 764 | } |
| 765 | } |
| 766 | |
Alexander Couzens | 842599c | 2021-01-20 13:03:03 +0100 | [diff] [blame] | 767 | if (TLVP_PRESENT(tp, NS_IE_NSEI)) { |
| 768 | nsei = tlvp_val16be(tp, NS_IE_NSEI); |
| 769 | if (nsei != nsvc->nse->nsei) { |
| 770 | /* 48.016 ยง 7.3.1 send, RESET_ACK to wrong NSVCI + ignore */ |
| 771 | if (nsh->pdu_type == NS_PDUT_RESET) |
| 772 | ns2_tx_reset_ack(nsvc); |
| 773 | |
| 774 | LOGNSVC(nsvc, LOGL_ERROR, "Rx %s with wrong NSEI=%05u. Ignoring PDU.\n", |
| 775 | get_value_string(gprs_ns_pdu_strings, nsh->pdu_type), nsei); |
| 776 | goto out; |
| 777 | } |
| 778 | } |
| 779 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 780 | switch (nsh->pdu_type) { |
| 781 | case NS_PDUT_RESET: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 782 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_RESET, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 783 | break; |
| 784 | case NS_PDUT_RESET_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 785 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_RESET_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 786 | break; |
| 787 | case NS_PDUT_BLOCK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 788 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_BLOCK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 789 | break; |
| 790 | case NS_PDUT_BLOCK_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 791 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_BLOCK_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 792 | break; |
| 793 | case NS_PDUT_UNBLOCK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 794 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_UNBLOCK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 795 | break; |
| 796 | case NS_PDUT_UNBLOCK_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 797 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_UNBLOCK_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 798 | break; |
| 799 | case NS_PDUT_ALIVE: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 800 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_ALIVE, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 801 | break; |
| 802 | case NS_PDUT_ALIVE_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 803 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_ALIVE_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 804 | break; |
| 805 | case NS_PDUT_UNITDATA: |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 806 | /* UNITDATA have to free msg because it might send the msg layer upwards */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 807 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_UNITDATA, msg); |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 808 | return 0; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 809 | default: |
Harald Welte | f294974 | 2021-01-20 14:54:14 +0100 | [diff] [blame] | 810 | LOGPFSML(fi, LOGL_ERROR, "NSEI=%u Rx unknown NS PDU type %s\n", nsvc->nse->nsei, |
| 811 | get_value_string(gprs_ns_pdu_strings, nsh->pdu_type)); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 812 | return -EINVAL; |
| 813 | } |
| 814 | |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 815 | out: |
| 816 | msgb_free(msg); |
| 817 | |
| 818 | return rc; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 819 | } |
| 820 | |
Harald Welte | 5bef2cc | 2020-09-18 22:33:24 +0200 | [diff] [blame] | 821 | /*! is the given NS-VC unblocked? */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 822 | int gprs_ns2_vc_is_unblocked(struct gprs_ns2_vc *nsvc) |
| 823 | { |
| 824 | return (nsvc->fi->state == GPRS_NS2_ST_UNBLOCKED); |
| 825 | } |
| 826 | |
| 827 | /* initialize osmo_ctx on main tread */ |
| 828 | static __attribute__((constructor)) void on_dso_load_ctx(void) |
| 829 | { |
| 830 | OSMO_ASSERT(osmo_fsm_register(&gprs_ns2_vc_fsm) == 0); |
| 831 | } |