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 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 52 | struct gprs_ns2_vc_priv { |
| 53 | struct gprs_ns2_vc *nsvc; |
| 54 | /* how often the timer was triggered */ |
| 55 | int N; |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 56 | /* The initiator is responsible to UNBLOCK the VC. The BSS is usually the initiator. |
| 57 | * It can change during runtime. The side which blocks an unblocked side.*/ |
Alexander Couzens | ea01bf2 | 2021-01-18 14:01:01 +0100 | [diff] [blame] | 58 | bool initiator; |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 59 | bool initiate_block; |
| 60 | bool initiate_reset; |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 61 | /* if blocked by O&M/vty */ |
| 62 | bool om_blocked; |
| 63 | /* if unitdata is forwarded to the user */ |
| 64 | bool accept_unitdata; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 65 | |
| 66 | /* the alive counter is present in all states */ |
| 67 | struct { |
| 68 | struct osmo_timer_list timer; |
| 69 | enum ns2_timeout mode; |
| 70 | int N; |
Alexander Couzens | ab0e864 | 2021-02-12 02:50:44 +0100 | [diff] [blame] | 71 | struct timespec timer_started; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 72 | } alive; |
| 73 | }; |
| 74 | |
| 75 | |
| 76 | /* The FSM covers both the VC with RESET/BLOCK and without RESET/BLOCK procedure.. |
| 77 | * |
| 78 | * With RESET/BLOCK, the state should follow: |
| 79 | * - UNCONFIGURED -> RESET -> BLOCK -> UNBLOCKED |
| 80 | * |
| 81 | * Without RESET/BLOCK, the state should follow: |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 82 | * - UNCONFIGURED -> RECOVERY -> UNBLOCKED |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 83 | * |
| 84 | * The UNBLOCKED and TEST states are used to send ALIVE PDU using the timeout Tns-test and Tns-alive. |
| 85 | * UNBLOCKED -> TEST: on expire of Tns-Test, send Alive PDU. |
| 86 | * TEST -> UNBLOCKED: on receive of Alive_Ack PDU, go into UNBLOCKED. |
| 87 | * |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 88 | * The RECOVERY state is used as intermediate, because a VC is only valid if it received an Alive ACK when |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 89 | * not using RESET/BLOCK procedure. |
| 90 | */ |
| 91 | |
| 92 | enum gprs_ns2_vc_state { |
| 93 | GPRS_NS2_ST_UNCONFIGURED, |
| 94 | GPRS_NS2_ST_RESET, |
| 95 | GPRS_NS2_ST_BLOCKED, |
| 96 | GPRS_NS2_ST_UNBLOCKED, /* allows sending NS_UNITDATA */ |
| 97 | |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 98 | GPRS_NS2_ST_RECOVERING, /* only used when not using RESET/BLOCK procedure */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 99 | }; |
| 100 | |
| 101 | enum gprs_ns2_vc_event { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 102 | GPRS_NS2_EV_REQ_START, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 103 | |
| 104 | /* received messages */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 105 | GPRS_NS2_EV_RX_RESET, |
| 106 | GPRS_NS2_EV_RX_RESET_ACK, |
| 107 | GPRS_NS2_EV_RX_UNBLOCK, |
| 108 | GPRS_NS2_EV_RX_UNBLOCK_ACK, |
| 109 | GPRS_NS2_EV_RX_BLOCK, |
| 110 | GPRS_NS2_EV_RX_BLOCK_ACK, |
| 111 | GPRS_NS2_EV_RX_ALIVE, |
| 112 | GPRS_NS2_EV_RX_ALIVE_ACK, |
| 113 | GPRS_NS2_EV_RX_STATUS, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 114 | |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 115 | GPRS_NS2_EV_RX_UNITDATA, |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 116 | |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 117 | GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED, /* called via vty for tests */ |
Alexander Couzens | 27e5873 | 2021-03-21 17:12:08 +0100 | [diff] [blame] | 118 | GPRS_NS2_EV_REQ_OM_RESET, /* vty cmd: reset */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 119 | GPRS_NS2_EV_REQ_OM_BLOCK, /* vty cmd: block */ |
| 120 | GPRS_NS2_EV_REQ_OM_UNBLOCK, /* vty cmd: unblock*/ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 121 | }; |
| 122 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 123 | static const struct value_string ns2_vc_event_names[] = { |
Harald Welte | b339cbb | 2021-02-05 14:49:21 +0100 | [diff] [blame] | 124 | { GPRS_NS2_EV_REQ_START, "REQ-START" }, |
| 125 | { GPRS_NS2_EV_RX_RESET, "RX-RESET" }, |
| 126 | { GPRS_NS2_EV_RX_RESET_ACK, "RX-RESET_ACK" }, |
| 127 | { GPRS_NS2_EV_RX_UNBLOCK, "RX-UNBLOCK" }, |
| 128 | { GPRS_NS2_EV_RX_UNBLOCK_ACK, "RX-UNBLOCK_ACK" }, |
| 129 | { GPRS_NS2_EV_RX_BLOCK, "RX-BLOCK" }, |
| 130 | { GPRS_NS2_EV_RX_BLOCK_ACK, "RX-BLOCK_ACK" }, |
| 131 | { GPRS_NS2_EV_RX_ALIVE, "RX-ALIVE" }, |
| 132 | { GPRS_NS2_EV_RX_ALIVE_ACK, "RX-ALIVE_ACK" }, |
| 133 | { GPRS_NS2_EV_RX_STATUS, "RX-STATUS" }, |
| 134 | { GPRS_NS2_EV_RX_UNITDATA, "RX-UNITDATA" }, |
| 135 | { GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED, "REQ-FORCE_UNCONFIGURED" }, |
Alexander Couzens | 27e5873 | 2021-03-21 17:12:08 +0100 | [diff] [blame] | 136 | { GPRS_NS2_EV_REQ_OM_RESET, "REQ-O&M-RESET"}, |
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 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 148 | /* Start the NS-TEST procedure, either with transmitting a tx_alive, |
| 149 | * (start_tx_alive==true) or with starting tns-test */ |
| 150 | static void start_test_procedure(struct osmo_fsm_inst *fi, bool start_tx_alive) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 151 | { |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 152 | struct gprs_ns2_vc_priv *priv = fi->priv; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 153 | struct gprs_ns2_inst *nsi = priv->nsvc->nse->nsi; |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 154 | unsigned int tout_idx; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 155 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 156 | if (osmo_timer_pending(&priv->alive.timer)) { |
| 157 | if (start_tx_alive) { |
| 158 | if (priv->alive.mode == NS_TOUT_TNS_ALIVE) |
| 159 | return; |
| 160 | } else { |
| 161 | if (priv->alive.mode == NS_TOUT_TNS_TEST) |
| 162 | return; |
| 163 | } |
| 164 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 165 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 166 | priv->alive.N = 0; |
| 167 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 168 | if (start_tx_alive) { |
| 169 | priv->alive.mode = NS_TOUT_TNS_ALIVE; |
| 170 | osmo_clock_gettime(CLOCK_MONOTONIC, &priv->alive.timer_started); |
| 171 | ns2_tx_alive(priv->nsvc); |
| 172 | tout_idx = NS_TOUT_TNS_ALIVE; |
| 173 | } else { |
| 174 | priv->alive.mode = NS_TOUT_TNS_TEST; |
| 175 | tout_idx = NS_TOUT_TNS_TEST; |
| 176 | } |
| 177 | LOGPFSML(fi, LOGL_DEBUG, "Starting Tns-%s of %u seconds\n", |
| 178 | tout_idx == NS_TOUT_TNS_ALIVE ? "alive" : "test", nsi->timeout[tout_idx]); |
| 179 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[tout_idx], 0); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 180 | } |
| 181 | |
| 182 | static void stop_test_procedure(struct gprs_ns2_vc_priv *priv) |
| 183 | { |
Alexander Couzens | 8138c53 | 2021-06-15 22:11:40 +0200 | [diff] [blame^] | 184 | osmo_stat_item_set(osmo_stat_item_group_get_item(priv->nsvc->statg, NS_STAT_ALIVE_DELAY), 0); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 185 | osmo_timer_del(&priv->alive.timer); |
| 186 | } |
| 187 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 188 | /* how many milliseconds have expired since the last alive timer start? */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 189 | static int alive_timer_elapsed_ms(struct gprs_ns2_vc_priv *priv) |
| 190 | { |
Alexander Couzens | ab0e864 | 2021-02-12 02:50:44 +0100 | [diff] [blame] | 191 | struct timespec now, elapsed; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 192 | |
Alexander Couzens | ab0e864 | 2021-02-12 02:50:44 +0100 | [diff] [blame] | 193 | if (osmo_clock_gettime(CLOCK_MONOTONIC, &now) != 0) |
| 194 | return 0; |
| 195 | |
| 196 | timespecsub(&now, &priv->alive.timer_started, &elapsed); |
Alexander Couzens | ab0e864 | 2021-02-12 02:50:44 +0100 | [diff] [blame] | 197 | return elapsed.tv_sec * 1000 + (elapsed.tv_nsec / 1000000); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 198 | } |
| 199 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 200 | /* we just received a NS-ALIVE-ACK; re-schedule after Tns-test */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 201 | static void recv_test_procedure(struct osmo_fsm_inst *fi) |
| 202 | { |
| 203 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 204 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 205 | struct gprs_ns2_vc *nsvc = priv->nsvc; |
| 206 | |
| 207 | /* ignoring ACKs without sending an ALIVE */ |
| 208 | if (priv->alive.mode != NS_TOUT_TNS_ALIVE) |
| 209 | return; |
| 210 | |
| 211 | priv->alive.mode = NS_TOUT_TNS_TEST; |
| 212 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_TEST], 0); |
Pau Espin Pedrol | 7b894a7 | 2021-06-04 18:17:12 +0200 | [diff] [blame] | 213 | osmo_stat_item_set(osmo_stat_item_group_get_item(nsvc->statg, NS_STAT_ALIVE_DELAY), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 214 | alive_timer_elapsed_ms(priv)); |
| 215 | } |
| 216 | |
| 217 | |
| 218 | static void alive_timeout_handler(void *data) |
| 219 | { |
| 220 | struct osmo_fsm_inst *fi = data; |
| 221 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 222 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 223 | |
| 224 | switch (priv->alive.mode) { |
| 225 | case NS_TOUT_TNS_TEST: |
| 226 | priv->alive.mode = NS_TOUT_TNS_ALIVE; |
Alexander Couzens | 2f8f7b6 | 2021-02-03 11:04:22 +0100 | [diff] [blame] | 227 | priv->alive.N = 0; |
Alexander Couzens | fa4121d | 2021-02-12 02:54:46 +0100 | [diff] [blame] | 228 | osmo_clock_gettime(CLOCK_MONOTONIC, &priv->alive.timer_started); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 229 | ns2_tx_alive(priv->nsvc); |
| 230 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
| 231 | break; |
| 232 | case NS_TOUT_TNS_ALIVE: |
Pau Espin Pedrol | 7b894a7 | 2021-06-04 18:17:12 +0200 | [diff] [blame] | 233 | rate_ctr_inc(rate_ctr_group_get_ctr(priv->nsvc->ctrg, NS_CTR_LOST_ALIVE)); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 234 | priv->alive.N++; |
| 235 | |
| 236 | if (priv->alive.N <= nsi->timeout[NS_TOUT_TNS_ALIVE_RETRIES]) { |
| 237 | /* retransmission */ |
| 238 | ns2_tx_alive(priv->nsvc); |
| 239 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
| 240 | } else { |
| 241 | /* lost connection */ |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 242 | if (priv->nsvc->mode == GPRS_NS2_VC_MODE_BLOCKRESET) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 243 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 244 | } else { |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 245 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RECOVERING, nsi->timeout[NS_TOUT_TNS_ALIVE], 0); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 246 | } |
| 247 | } |
| 248 | break; |
| 249 | default: |
| 250 | break; |
| 251 | } |
| 252 | } |
| 253 | |
Harald Welte | 6a9ec42 | 2021-01-31 18:56:29 +0100 | [diff] [blame] | 254 | |
| 255 | static void ns2_st_unconfigured_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
| 256 | { |
| 257 | stop_test_procedure(fi->priv); |
| 258 | } |
| 259 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 260 | static void ns2_st_unconfigured(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 261 | { |
| 262 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 263 | struct gprs_ns2_inst *nsi = priv->nsvc->nse->nsi; |
| 264 | |
Alexander Couzens | ea01bf2 | 2021-01-18 14:01:01 +0100 | [diff] [blame] | 265 | priv->initiate_reset = priv->initiate_block = priv->initiator; |
| 266 | priv->om_blocked = false; |
| 267 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 268 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 269 | case GPRS_NS2_EV_REQ_START: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 270 | switch (priv->nsvc->mode) { |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 271 | case GPRS_NS2_VC_MODE_ALIVE: |
Harald Welte | c51ddf2 | 2021-03-05 09:48:18 +0100 | [diff] [blame] | 272 | if (priv->nsvc->nse->dialect == GPRS_NS2_DIALECT_SNS) { |
| 273 | /* In IP-SNS, the NS-VC are assumed initially alive, until the alive |
| 274 | * procedure should fail at some future point */ |
| 275 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, 0, 0); |
| 276 | } else { |
| 277 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RECOVERING, nsi->timeout[NS_TOUT_TNS_ALIVE], NS_TOUT_TNS_ALIVE); |
| 278 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 279 | break; |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 280 | case GPRS_NS2_VC_MODE_BLOCKRESET: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 281 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], NS_TOUT_TNS_RESET); |
| 282 | break; |
| 283 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 284 | break; |
| 285 | default: |
| 286 | OSMO_ASSERT(0); |
| 287 | } |
| 288 | } |
| 289 | |
| 290 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 291 | static void ns2_st_reset_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 292 | { |
| 293 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 294 | |
| 295 | if (old_state != GPRS_NS2_ST_RESET) |
| 296 | priv->N = 0; |
| 297 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 298 | priv->accept_unitdata = false; |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 299 | if (priv->initiate_reset) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 300 | ns2_tx_reset(priv->nsvc, NS_CAUSE_OM_INTERVENTION); |
| 301 | |
| 302 | stop_test_procedure(priv); |
| 303 | ns2_nse_notify_unblocked(priv->nsvc, false); |
| 304 | } |
| 305 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 306 | static void ns2_st_reset(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 307 | { |
| 308 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 309 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 310 | |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 311 | if (priv->initiate_reset) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 312 | switch (event) { |
Alexander Couzens | 273f063 | 2021-01-20 13:11:26 +0100 | [diff] [blame] | 313 | case GPRS_NS2_EV_RX_RESET: |
| 314 | ns2_tx_reset_ack(priv->nsvc); |
| 315 | /* fall-through */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 316 | case GPRS_NS2_EV_RX_RESET_ACK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 317 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, |
| 318 | nsi->timeout[NS_TOUT_TNS_BLOCK], NS_TOUT_TNS_BLOCK); |
| 319 | break; |
| 320 | } |
| 321 | } else { |
| 322 | /* we are on the receiving end */ |
| 323 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 324 | case GPRS_NS2_EV_RX_RESET: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 325 | ns2_tx_reset_ack(priv->nsvc); |
| 326 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, |
| 327 | 0, 0); |
| 328 | break; |
| 329 | } |
| 330 | } |
| 331 | } |
| 332 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 333 | static void ns2_st_blocked_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 334 | { |
| 335 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 336 | |
Harald Welte | 4c54f59 | 2021-01-30 22:42:15 +0100 | [diff] [blame] | 337 | if (old_state != GPRS_NS2_ST_BLOCKED) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 338 | priv->N = 0; |
Pau Espin Pedrol | 7b894a7 | 2021-06-04 18:17:12 +0200 | [diff] [blame] | 339 | rate_ctr_inc(rate_ctr_group_get_ctr(priv->nsvc->ctrg, NS_CTR_BLOCKED)); |
Harald Welte | 4c54f59 | 2021-01-30 22:42:15 +0100 | [diff] [blame] | 340 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 341 | |
Alexander Couzens | e09deb6 | 2021-06-15 21:35:45 +0200 | [diff] [blame] | 342 | ns2_nse_notify_unblocked(priv->nsvc, false); |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 343 | if (priv->om_blocked) { |
| 344 | /* we are already blocked after a RESET */ |
| 345 | if (old_state == GPRS_NS2_ST_RESET) { |
| 346 | osmo_timer_del(&fi->timer); |
| 347 | } else { |
| 348 | ns2_tx_block(priv->nsvc, NS_CAUSE_OM_INTERVENTION); |
| 349 | } |
| 350 | } else if (priv->initiate_block) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 351 | ns2_tx_unblock(priv->nsvc); |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 352 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 353 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 354 | start_test_procedure(fi, true); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 355 | } |
| 356 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 357 | static void ns2_st_blocked(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 358 | { |
| 359 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 360 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 361 | if (priv->om_blocked) { |
| 362 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 363 | case GPRS_NS2_EV_RX_BLOCK_ACK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 364 | priv->accept_unitdata = false; |
| 365 | osmo_timer_del(&fi->timer); |
| 366 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 367 | case GPRS_NS2_EV_RX_BLOCK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 368 | priv->accept_unitdata = false; |
| 369 | ns2_tx_block_ack(priv->nsvc); |
| 370 | osmo_timer_del(&fi->timer); |
| 371 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 372 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 373 | priv->accept_unitdata = false; |
| 374 | ns2_tx_block(priv->nsvc, NS_CAUSE_OM_INTERVENTION); |
| 375 | osmo_timer_add(&fi->timer); |
| 376 | break; |
| 377 | } |
| 378 | } else if (priv->initiate_block) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 379 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 380 | case GPRS_NS2_EV_RX_BLOCK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 381 | /* TODO: BLOCK is a UNBLOCK_NACK */ |
| 382 | ns2_tx_block_ack(priv->nsvc); |
| 383 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 384 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 385 | ns2_tx_unblock_ack(priv->nsvc); |
| 386 | /* fall through */ |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 387 | case GPRS_NS2_EV_RX_UNBLOCK_ACK: |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 388 | priv->accept_unitdata = true; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 389 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, |
| 390 | 0, NS_TOUT_TNS_TEST); |
| 391 | break; |
| 392 | } |
| 393 | } else { |
| 394 | /* we are on the receiving end. The initiator who sent RESET is responsible to UNBLOCK! */ |
| 395 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 396 | case GPRS_NS2_EV_RX_BLOCK: |
Alexander Couzens | 856b94c | 2021-01-19 19:42:17 +0100 | [diff] [blame] | 397 | ns2_tx_block_ack(priv->nsvc); |
| 398 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 399 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 400 | ns2_tx_unblock_ack(priv->nsvc); |
| 401 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, |
| 402 | 0, 0); |
| 403 | break; |
| 404 | } |
| 405 | } |
| 406 | } |
| 407 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 408 | static void ns2_st_unblocked_on_enter(struct osmo_fsm_inst *fi, uint32_t old_state) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 409 | { |
| 410 | struct gprs_ns2_vc_priv *priv = fi->priv; |
Daniel Willmann | 15c09a8 | 2020-11-03 23:05:43 +0100 | [diff] [blame] | 411 | struct gprs_ns2_vc *nsvc = priv->nsvc; |
| 412 | struct gprs_ns2_nse *nse = nsvc->nse; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 413 | |
Harald Welte | b40bf8b | 2021-01-30 22:43:01 +0100 | [diff] [blame] | 414 | if (old_state != GPRS_NS2_ST_UNBLOCKED) |
Pau Espin Pedrol | 7b894a7 | 2021-06-04 18:17:12 +0200 | [diff] [blame] | 415 | rate_ctr_inc(rate_ctr_group_get_ctr(nsvc->ctrg, NS_CTR_UNBLOCKED)); |
Harald Welte | b40bf8b | 2021-01-30 22:43:01 +0100 | [diff] [blame] | 416 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 417 | priv->accept_unitdata = true; |
Daniel Willmann | 15c09a8 | 2020-11-03 23:05:43 +0100 | [diff] [blame] | 418 | ns2_nse_notify_unblocked(nsvc, true); |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 419 | ns2_prim_status_ind(nse, nsvc, 0, GPRS_NS2_AFF_CAUSE_VC_RECOVERY); |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 420 | |
| 421 | /* the closest interpretation of the spec would start Tns-test here first, |
| 422 | * and only send a NS-ALIVE after Tns-test has expired (i.e. setting the |
| 423 | * second argument to 'false'. However, being quick in detecting unavailability |
| 424 | * of a NS-VC seems like a good idea */ |
| 425 | start_test_procedure(fi, true); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 426 | } |
| 427 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 428 | static void ns2_st_unblocked(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 429 | { |
| 430 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 431 | |
| 432 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 433 | case GPRS_NS2_EV_RX_UNBLOCK: |
Alexander Couzens | c4b7462 | 2021-01-10 20:44:26 +0100 | [diff] [blame] | 434 | ns2_tx_unblock_ack(priv->nsvc); |
| 435 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 436 | case GPRS_NS2_EV_RX_BLOCK: |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 437 | priv->initiate_block = false; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 438 | ns2_tx_block_ack(priv->nsvc); |
| 439 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, |
| 440 | 0, 2); |
| 441 | break; |
| 442 | } |
| 443 | } |
| 444 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 445 | static void ns2_st_alive(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 446 | { |
| 447 | switch (event) { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 448 | case GPRS_NS2_EV_RX_ALIVE_ACK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 449 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNBLOCKED, 0, 0); |
| 450 | break; |
| 451 | } |
| 452 | } |
| 453 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 454 | static void ns2_st_alive_onenter(struct osmo_fsm_inst *fi, uint32_t old_state) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 455 | { |
| 456 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 457 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 458 | |
| 459 | priv->alive.mode = NS_TOUT_TNS_TEST; |
| 460 | osmo_timer_schedule(&priv->alive.timer, nsi->timeout[NS_TOUT_TNS_TEST], 0); |
| 461 | |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 462 | if (old_state != GPRS_NS2_ST_RECOVERING) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 463 | priv->N = 0; |
| 464 | |
Harald Welte | 5e40831 | 2021-03-23 18:16:30 +0100 | [diff] [blame] | 465 | start_test_procedure(fi, true); |
Alexander Couzens | 5b72247 | 2021-04-01 15:36:54 +0200 | [diff] [blame] | 466 | ns2_nse_notify_unblocked(priv->nsvc, false); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 467 | } |
| 468 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 469 | static const struct osmo_fsm_state ns2_vc_states[] = { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 470 | [GPRS_NS2_ST_UNCONFIGURED] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 471 | .in_event_mask = S(GPRS_NS2_EV_REQ_START), |
Harald Welte | c51ddf2 | 2021-03-05 09:48:18 +0100 | [diff] [blame] | 472 | .out_state_mask = S(GPRS_NS2_ST_RESET) | |
| 473 | S(GPRS_NS2_ST_RECOVERING) | |
| 474 | S(GPRS_NS2_ST_UNBLOCKED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 475 | .name = "UNCONFIGURED", |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 476 | .action = ns2_st_unconfigured, |
Harald Welte | 6a9ec42 | 2021-01-31 18:56:29 +0100 | [diff] [blame] | 477 | .onenter = ns2_st_unconfigured_onenter, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 478 | }, |
| 479 | [GPRS_NS2_ST_RESET] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 480 | .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] | 481 | .out_state_mask = S(GPRS_NS2_ST_RESET) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 482 | S(GPRS_NS2_ST_BLOCKED) | |
| 483 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 484 | .name = "RESET", |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 485 | .action = ns2_st_reset, |
| 486 | .onenter = ns2_st_reset_onenter, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 487 | }, |
| 488 | [GPRS_NS2_ST_BLOCKED] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 489 | .in_event_mask = S(GPRS_NS2_EV_RX_BLOCK) | S(GPRS_NS2_EV_RX_BLOCK_ACK) | |
| 490 | 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] | 491 | .out_state_mask = S(GPRS_NS2_ST_RESET) | |
| 492 | S(GPRS_NS2_ST_UNBLOCKED) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 493 | S(GPRS_NS2_ST_BLOCKED) | |
| 494 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 495 | .name = "BLOCKED", |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 496 | .action = ns2_st_blocked, |
| 497 | .onenter = ns2_st_blocked_onenter, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 498 | }, |
| 499 | [GPRS_NS2_ST_UNBLOCKED] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 500 | .in_event_mask = S(GPRS_NS2_EV_RX_BLOCK) | S(GPRS_NS2_EV_RX_UNBLOCK_ACK) | |
| 501 | S(GPRS_NS2_EV_RX_UNBLOCK), |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 502 | .out_state_mask = S(GPRS_NS2_ST_RESET) | S(GPRS_NS2_ST_RECOVERING) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 503 | S(GPRS_NS2_ST_BLOCKED) | |
| 504 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 505 | .name = "UNBLOCKED", |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 506 | .action = ns2_st_unblocked, |
| 507 | .onenter = ns2_st_unblocked_on_enter, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 508 | }, |
| 509 | |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 510 | /* ST_RECOVERING is only used on VC without RESET/BLOCK */ |
| 511 | [GPRS_NS2_ST_RECOVERING] = { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 512 | .in_event_mask = S(GPRS_NS2_EV_RX_ALIVE_ACK), |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 513 | .out_state_mask = S(GPRS_NS2_ST_RECOVERING) | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 514 | S(GPRS_NS2_ST_UNBLOCKED) | |
| 515 | S(GPRS_NS2_ST_UNCONFIGURED), |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 516 | .name = "RECOVERING", |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 517 | .action = ns2_st_alive, |
| 518 | .onenter = ns2_st_alive_onenter, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 519 | }, |
| 520 | }; |
| 521 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 522 | static int ns2_vc_fsm_timer_cb(struct osmo_fsm_inst *fi) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 523 | { |
| 524 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 525 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 526 | |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 527 | switch (fi->state) { |
| 528 | case GPRS_NS2_ST_RESET: |
| 529 | if (priv->initiate_reset) { |
Pau Espin Pedrol | 7b894a7 | 2021-06-04 18:17:12 +0200 | [diff] [blame] | 530 | rate_ctr_inc(rate_ctr_group_get_ctr(priv->nsvc->ctrg, NS_CTR_LOST_RESET)); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 531 | priv->N++; |
| 532 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_RESET_RETRIES]) { |
| 533 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 534 | } else { |
| 535 | priv->N = 0; |
| 536 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 537 | } |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 538 | } |
| 539 | break; |
| 540 | case GPRS_NS2_ST_BLOCKED: |
| 541 | if (priv->initiate_block) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 542 | priv->N++; |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 543 | if (priv->om_blocked) { |
| 544 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_BLOCK_RETRIES]) { |
| 545 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 546 | } else { |
| 547 | /* 7.2 stop accepting data when BLOCK PDU not responded */ |
| 548 | priv->accept_unitdata = false; |
| 549 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 550 | } else { |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 551 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_BLOCK_RETRIES]) { |
| 552 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 553 | } else { |
| 554 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], 0); |
| 555 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 556 | } |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 557 | } |
| 558 | break; |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 559 | case GPRS_NS2_ST_RECOVERING: |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 560 | if (priv->initiate_reset) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 561 | priv->N++; |
| 562 | if (priv->N <= nsi->timeout[NS_TOUT_TNS_ALIVE_RETRIES]) { |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 563 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RECOVERING, 0, 0); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 564 | } else { |
| 565 | priv->N = 0; |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 566 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RECOVERING, 0, 0); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 567 | } |
| 568 | break; |
| 569 | } |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 570 | break; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 571 | } |
| 572 | return 0; |
| 573 | } |
| 574 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 575 | static void ns2_recv_unitdata(struct osmo_fsm_inst *fi, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 576 | struct msgb *msg) |
| 577 | { |
| 578 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 579 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
| 580 | struct gprs_ns_hdr *nsh = (struct gprs_ns_hdr *) msg->l2h; |
| 581 | struct osmo_gprs_ns2_prim nsp = {}; |
| 582 | uint16_t bvci; |
| 583 | |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 584 | if (msgb_l2len(msg) < sizeof(*nsh) + 3) { |
| 585 | msgb_free(msg); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 586 | return; |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 587 | } |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 588 | |
| 589 | /* TODO: 7.1: For an IP sub-network, an NS-UNITDATA PDU |
| 590 | * for a PTP BVC may indicate a request to change the IP endpoint |
| 591 | * and/or a response to a change in the IP endpoint. */ |
| 592 | |
| 593 | /* TODO: nsh->data[0] -> C/R only valid in IP SNS */ |
| 594 | bvci = nsh->data[1] << 8 | nsh->data[2]; |
| 595 | |
Alexander Couzens | 89acdef | 2020-09-23 18:22:31 +0200 | [diff] [blame] | 596 | msg->l3h = &nsh->data[3]; |
| 597 | nsp.bvci = bvci; |
| 598 | nsp.nsei = priv->nsvc->nse->nsei; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 599 | |
Alexander Couzens | c1cd333 | 2020-09-23 23:24:02 +0200 | [diff] [blame] | 600 | /* 10.3.9 NS SDU Control Bits */ |
| 601 | if (nsh->data[0] & 0x1) |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 602 | nsp.u.unitdata.change = GPRS_NS2_ENDPOINT_REQUEST_CHANGE; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 603 | |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 604 | osmo_prim_init(&nsp.oph, SAP_NS, GPRS_NS2_PRIM_UNIT_DATA, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 605 | PRIM_OP_INDICATION, msg); |
| 606 | nsi->cb(&nsp.oph, nsi->cb_data); |
| 607 | } |
| 608 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 609 | static void ns2_vc_fsm_allstate_action(struct osmo_fsm_inst *fi, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 610 | uint32_t event, |
| 611 | void *data) |
| 612 | { |
| 613 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 614 | struct gprs_ns2_inst *nsi = ns_inst_from_fi(fi); |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 615 | struct msgb *msg = data; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 616 | |
| 617 | switch (event) { |
Alexander Couzens | 27e5873 | 2021-03-21 17:12:08 +0100 | [diff] [blame] | 618 | case GPRS_NS2_EV_REQ_OM_RESET: |
| 619 | if (priv->nsvc->mode != GPRS_NS2_VC_MODE_BLOCKRESET) |
| 620 | break; |
| 621 | /* move the FSM into reset */ |
| 622 | if (fi->state != GPRS_NS2_ST_RESET) { |
| 623 | priv->initiate_reset = true; |
| 624 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], NS_TOUT_TNS_RESET); |
| 625 | } |
| 626 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 627 | case GPRS_NS2_EV_RX_RESET: |
Alexander Couzens | 138b96f | 2021-01-25 16:23:29 +0100 | [diff] [blame] | 628 | if (priv->nsvc->mode != GPRS_NS2_VC_MODE_BLOCKRESET) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 629 | break; |
| 630 | |
| 631 | /* move the FSM into reset */ |
| 632 | if (fi->state != GPRS_NS2_ST_RESET) { |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 633 | priv->initiate_reset = false; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 634 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_RESET, nsi->timeout[NS_TOUT_TNS_RESET], NS_TOUT_TNS_RESET); |
| 635 | } |
| 636 | /* pass the event down into FSM action */ |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 637 | ns2_st_reset(fi, event, data); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 638 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 639 | case GPRS_NS2_EV_RX_ALIVE: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 640 | switch (fi->state) { |
| 641 | case GPRS_NS2_ST_UNCONFIGURED: |
| 642 | case GPRS_NS2_ST_RESET: |
| 643 | /* ignore ALIVE */ |
| 644 | break; |
| 645 | default: |
| 646 | ns2_tx_alive_ack(priv->nsvc); |
| 647 | } |
| 648 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 649 | case GPRS_NS2_EV_RX_ALIVE_ACK: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 650 | /* for VCs without RESET/BLOCK/UNBLOCK, the connections comes after ALIVE_ACK unblocked */ |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 651 | if (fi->state == GPRS_NS2_ST_RECOVERING) |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 652 | ns2_st_alive(fi, event, data); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 653 | else |
| 654 | recv_test_procedure(fi); |
| 655 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 656 | case GPRS_NS2_EV_RX_UNITDATA: |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 657 | /* UNITDATA has to handle the release of msg. |
| 658 | * If send upwards (gprs_ns2_recv_unitdata) it must NOT free |
| 659 | * the msg, the upper layer has to do it. |
| 660 | * Otherwise the msg must be freed. |
| 661 | */ |
Alexander Couzens | 6cf65d9 | 2021-01-18 17:55:35 +0100 | [diff] [blame] | 662 | |
| 663 | LOG_NS_DATA(priv->nsvc, "Rx", NS_PDUT_UNITDATA, LOGL_INFO, "\n"); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 664 | switch (fi->state) { |
| 665 | case GPRS_NS2_ST_BLOCKED: |
| 666 | /* 7.2.1: the BLOCKED_ACK might be lost */ |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 667 | if (priv->accept_unitdata) { |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 668 | ns2_recv_unitdata(fi, msg); |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 669 | return; |
| 670 | } |
| 671 | |
| 672 | ns2_tx_status(priv->nsvc, |
| 673 | NS_CAUSE_NSVC_BLOCKED, |
| 674 | 0, msg); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 675 | break; |
| 676 | /* ALIVE can receive UNITDATA if the ALIVE_ACK is lost */ |
Alexander Couzens | d3e3110 | 2021-02-03 11:15:07 +0100 | [diff] [blame] | 677 | case GPRS_NS2_ST_RECOVERING: |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 678 | case GPRS_NS2_ST_UNBLOCKED: |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 679 | ns2_recv_unitdata(fi, msg); |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 680 | return; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 681 | } |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 682 | |
| 683 | msgb_free(msg); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 684 | break; |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 685 | case GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED: |
Alexander Couzens | 6f3b738 | 2020-12-21 15:57:04 +0100 | [diff] [blame] | 686 | if (fi->state != GPRS_NS2_ST_UNCONFIGURED) { |
| 687 | /* Force the NSVC back to its initial state */ |
| 688 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_UNCONFIGURED, 0, 0); |
Alexander Couzens | 6f3b738 | 2020-12-21 15:57:04 +0100 | [diff] [blame] | 689 | return; |
| 690 | } |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 691 | break; |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 692 | case GPRS_NS2_EV_REQ_OM_BLOCK: |
| 693 | /* vty cmd: block */ |
| 694 | priv->initiate_block = true; |
| 695 | priv->om_blocked = true; |
| 696 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 697 | break; |
| 698 | case GPRS_NS2_EV_REQ_OM_UNBLOCK: |
| 699 | /* vty cmd: unblock*/ |
| 700 | if (!priv->om_blocked) |
| 701 | return; |
| 702 | priv->om_blocked = false; |
| 703 | if (fi->state == GPRS_NS2_ST_BLOCKED) |
| 704 | osmo_fsm_inst_state_chg(fi, GPRS_NS2_ST_BLOCKED, nsi->timeout[NS_TOUT_TNS_BLOCK], 0); |
| 705 | break; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 706 | } |
| 707 | } |
| 708 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 709 | static void ns2_vc_fsm_clean(struct osmo_fsm_inst *fi, |
Alexander Couzens | 0346b64 | 2020-10-27 13:05:56 +0100 | [diff] [blame] | 710 | enum osmo_fsm_term_cause cause) |
| 711 | { |
| 712 | struct gprs_ns2_vc_priv *priv = fi->priv; |
| 713 | |
| 714 | osmo_timer_del(&priv->alive.timer); |
| 715 | } |
| 716 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 717 | static struct osmo_fsm ns2_vc_fsm = { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 718 | .name = "GPRS-NS2-VC", |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 719 | .states = ns2_vc_states, |
| 720 | .num_states = ARRAY_SIZE(ns2_vc_states), |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 721 | .allstate_event_mask = S(GPRS_NS2_EV_RX_UNITDATA) | |
| 722 | S(GPRS_NS2_EV_RX_RESET) | |
| 723 | S(GPRS_NS2_EV_RX_ALIVE) | |
| 724 | S(GPRS_NS2_EV_RX_ALIVE_ACK) | |
| 725 | S(GPRS_NS2_EV_REQ_FORCE_UNCONFIGURED) | |
Alexander Couzens | 27e5873 | 2021-03-21 17:12:08 +0100 | [diff] [blame] | 726 | S(GPRS_NS2_EV_REQ_OM_RESET) | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 727 | S(GPRS_NS2_EV_REQ_OM_BLOCK) | |
| 728 | S(GPRS_NS2_EV_REQ_OM_UNBLOCK), |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 729 | .allstate_action = ns2_vc_fsm_allstate_action, |
| 730 | .cleanup = ns2_vc_fsm_clean, |
| 731 | .timer_cb = ns2_vc_fsm_timer_cb, |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 732 | .event_names = ns2_vc_event_names, |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 733 | .pre_term = NULL, |
| 734 | .log_subsys = DLNS, |
| 735 | }; |
| 736 | |
| 737 | /*! |
| 738 | * \brief gprs_ns2_vc_fsm_alloc |
| 739 | * \param ctx |
| 740 | * \param vc |
| 741 | * \param id a char representation of the virtual curcuit |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 742 | * \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] | 743 | * \return NULL on error, otherwise the fsm |
| 744 | */ |
Alexander Couzens | 8dfc24c | 2021-01-25 16:09:23 +0100 | [diff] [blame] | 745 | struct osmo_fsm_inst *ns2_vc_fsm_alloc(struct gprs_ns2_vc *nsvc, |
Daniel Willmann | f5b2e28 | 2020-11-18 18:51:25 +0100 | [diff] [blame] | 746 | const char *id, bool initiator) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 747 | { |
| 748 | struct osmo_fsm_inst *fi; |
| 749 | struct gprs_ns2_vc_priv *priv; |
| 750 | |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 751 | fi = osmo_fsm_inst_alloc(&ns2_vc_fsm, nsvc, NULL, LOGL_DEBUG, id); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 752 | if (!fi) |
| 753 | return fi; |
| 754 | |
| 755 | nsvc->fi = fi; |
| 756 | priv = fi->priv = talloc_zero(fi, struct gprs_ns2_vc_priv); |
| 757 | priv->nsvc = nsvc; |
Alexander Couzens | ea01bf2 | 2021-01-18 14:01:01 +0100 | [diff] [blame] | 758 | priv->initiator = initiator; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 759 | |
| 760 | osmo_timer_setup(&priv->alive.timer, alive_timeout_handler, fi); |
| 761 | |
| 762 | return fi; |
| 763 | } |
| 764 | |
Harald Welte | 5bef2cc | 2020-09-18 22:33:24 +0200 | [diff] [blame] | 765 | /*! Start a NS-VC FSM. |
| 766 | * \param nsvc the virtual circuit |
| 767 | * \return 0 on success; negative on error */ |
Alexander Couzens | 8dfc24c | 2021-01-25 16:09:23 +0100 | [diff] [blame] | 768 | int ns2_vc_fsm_start(struct gprs_ns2_vc *nsvc) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 769 | { |
| 770 | /* allows to call this function even for started nsvc by gprs_ns2_start_alive_all_nsvcs */ |
| 771 | if (nsvc->fi->state == GPRS_NS2_ST_UNCONFIGURED) |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 772 | 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] | 773 | return 0; |
| 774 | } |
| 775 | |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 776 | /*! Reset a NS-VC FSM. |
| 777 | * \param nsvc the virtual circuit |
| 778 | * \return 0 on success; negative on error */ |
Alexander Couzens | 8dfc24c | 2021-01-25 16:09:23 +0100 | [diff] [blame] | 779 | int ns2_vc_force_unconfigured(struct gprs_ns2_vc *nsvc) |
Daniel Willmann | ed0c982 | 2020-11-18 14:08:07 +0100 | [diff] [blame] | 780 | { |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 781 | 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] | 782 | } |
| 783 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 784 | /*! Block a NS-VC. |
| 785 | * \param nsvc the virtual circuit |
| 786 | * \return 0 on success; negative on error */ |
| 787 | int ns2_vc_block(struct gprs_ns2_vc *nsvc) |
| 788 | { |
Alexander Couzens | e7dfeac | 2021-03-21 17:28:36 +0100 | [diff] [blame] | 789 | struct gprs_ns2_vc_priv *priv = nsvc->fi->priv; |
Alexander Couzens | 79a3a84 | 2021-04-13 12:26:57 +0200 | [diff] [blame] | 790 | if (priv->om_blocked) |
Alexander Couzens | e7dfeac | 2021-03-21 17:28:36 +0100 | [diff] [blame] | 791 | return -EALREADY; |
| 792 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 793 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_OM_BLOCK, NULL); |
| 794 | } |
| 795 | |
| 796 | /*! Unblock a NS-VC. |
| 797 | * \param nsvc the virtual circuit |
| 798 | * \return 0 on success; negative on error */ |
| 799 | int ns2_vc_unblock(struct gprs_ns2_vc *nsvc) |
| 800 | { |
Alexander Couzens | e7dfeac | 2021-03-21 17:28:36 +0100 | [diff] [blame] | 801 | struct gprs_ns2_vc_priv *priv = nsvc->fi->priv; |
Alexander Couzens | 79a3a84 | 2021-04-13 12:26:57 +0200 | [diff] [blame] | 802 | if (!priv->om_blocked) |
Alexander Couzens | e7dfeac | 2021-03-21 17:28:36 +0100 | [diff] [blame] | 803 | return -EALREADY; |
| 804 | |
Alexander Couzens | 47afc42 | 2021-01-17 20:12:46 +0100 | [diff] [blame] | 805 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_OM_UNBLOCK, NULL); |
| 806 | } |
| 807 | |
Alexander Couzens | 27e5873 | 2021-03-21 17:12:08 +0100 | [diff] [blame] | 808 | /*! Reset a NS-VC. |
| 809 | * \param nsvc the virtual circuit |
| 810 | * \return 0 on success; negative on error */ |
| 811 | int ns2_vc_reset(struct gprs_ns2_vc *nsvc) |
| 812 | { |
| 813 | return osmo_fsm_inst_dispatch(nsvc->fi, GPRS_NS2_EV_REQ_OM_RESET, NULL); |
| 814 | } |
| 815 | |
Harald Welte | 5bef2cc | 2020-09-18 22:33:24 +0200 | [diff] [blame] | 816 | /*! entry point for messages from the driver/VL |
| 817 | * \param nsvc virtual circuit on which the message was received |
| 818 | * \param msg message that was received |
| 819 | * \param tp parsed TLVs of the received message |
| 820 | * \return 0 on success; negative on error */ |
Alexander Couzens | 8dfc24c | 2021-01-25 16:09:23 +0100 | [diff] [blame] | 821 | int ns2_vc_rx(struct gprs_ns2_vc *nsvc, struct msgb *msg, struct tlv_parsed *tp) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 822 | { |
| 823 | struct gprs_ns_hdr *nsh = (struct gprs_ns_hdr *) msg->l2h; |
| 824 | struct osmo_fsm_inst *fi = nsvc->fi; |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 825 | int rc = 0; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 826 | uint8_t cause; |
Alexander Couzens | 3f576ab | 2021-01-20 14:50:31 +0100 | [diff] [blame] | 827 | uint16_t nsei, nsvci; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 828 | |
| 829 | /* TODO: 7.2: on UNBLOCK/BLOCK: check if NS-VCI is correct, |
| 830 | * if not answer STATUS with "NS-VC unknown" */ |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 831 | /* TODO: handle BLOCK/UNBLOCK/ALIVE with different VCI */ |
| 832 | |
Alexander Couzens | 8dfc24c | 2021-01-25 16:09:23 +0100 | [diff] [blame] | 833 | if (ns2_validate(nsvc, nsh->pdu_type, msg, tp, &cause)) { |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 834 | if (nsh->pdu_type != NS_PDUT_STATUS) { |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 835 | rc = ns2_tx_status(nsvc, cause, 0, msg); |
| 836 | goto out; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 837 | } |
| 838 | } |
| 839 | |
Alexander Couzens | 43771df | 2021-01-20 13:03:03 +0100 | [diff] [blame] | 840 | if (TLVP_PRESENT(tp, NS_IE_NSEI)) { |
| 841 | nsei = tlvp_val16be(tp, NS_IE_NSEI); |
| 842 | if (nsei != nsvc->nse->nsei) { |
| 843 | /* 48.016 § 7.3.1 send, RESET_ACK to wrong NSVCI + ignore */ |
| 844 | if (nsh->pdu_type == NS_PDUT_RESET) |
| 845 | ns2_tx_reset_ack(nsvc); |
| 846 | |
Alexander Couzens | 6cf65d9 | 2021-01-18 17:55:35 +0100 | [diff] [blame] | 847 | LOG_NS_SIGNAL(nsvc, "Rx", nsh->pdu_type, LOGL_ERROR, " with wrong NSEI=%05u. Ignoring PDU.\n", nsei); |
Alexander Couzens | 43771df | 2021-01-20 13:03:03 +0100 | [diff] [blame] | 848 | goto out; |
| 849 | } |
| 850 | } |
| 851 | |
Alexander Couzens | 3f576ab | 2021-01-20 14:50:31 +0100 | [diff] [blame] | 852 | if (nsvc->nsvci_is_valid && TLVP_PRESENT(tp, NS_IE_VCI)) { |
| 853 | nsvci = tlvp_val16be(tp, NS_IE_VCI); |
| 854 | if (nsvci != nsvc->nsvci) { |
| 855 | /* 48.016 § 7.3.1 send RESET_ACK to wrong NSVCI + ignore */ |
| 856 | if (nsh->pdu_type == NS_PDUT_RESET) |
| 857 | ns2_tx_reset_ack(nsvc); |
| 858 | |
Alexander Couzens | 6cf65d9 | 2021-01-18 17:55:35 +0100 | [diff] [blame] | 859 | LOG_NS_SIGNAL(nsvc, "Rx", nsh->pdu_type, LOGL_ERROR, " with wrong NSVCI=%05u. Ignoring PDU.\n", nsvci); |
Alexander Couzens | 3f576ab | 2021-01-20 14:50:31 +0100 | [diff] [blame] | 860 | goto out; |
| 861 | } |
| 862 | } |
| 863 | |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 864 | switch (nsh->pdu_type) { |
| 865 | case NS_PDUT_RESET: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 866 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_RESET, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 867 | break; |
| 868 | case NS_PDUT_RESET_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 869 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_RESET_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 870 | break; |
| 871 | case NS_PDUT_BLOCK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 872 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_BLOCK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 873 | break; |
| 874 | case NS_PDUT_BLOCK_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 875 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_BLOCK_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 876 | break; |
| 877 | case NS_PDUT_UNBLOCK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 878 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_UNBLOCK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 879 | break; |
| 880 | case NS_PDUT_UNBLOCK_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 881 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_UNBLOCK_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 882 | break; |
| 883 | case NS_PDUT_ALIVE: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 884 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_ALIVE, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 885 | break; |
| 886 | case NS_PDUT_ALIVE_ACK: |
Alexander Couzens | f577543 | 2021-01-18 13:49:00 +0100 | [diff] [blame] | 887 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_ALIVE_ACK, tp); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 888 | break; |
| 889 | case NS_PDUT_UNITDATA: |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 890 | /* 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] | 891 | osmo_fsm_inst_dispatch(fi, GPRS_NS2_EV_RX_UNITDATA, msg); |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 892 | return 0; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 893 | default: |
Harald Welte | f294974 | 2021-01-20 14:54:14 +0100 | [diff] [blame] | 894 | LOGPFSML(fi, LOGL_ERROR, "NSEI=%u Rx unknown NS PDU type %s\n", nsvc->nse->nsei, |
| 895 | get_value_string(gprs_ns_pdu_strings, nsh->pdu_type)); |
Alexander Couzens | 7619ed4 | 2021-03-24 17:44:03 +0100 | [diff] [blame] | 896 | rc = -EINVAL; |
| 897 | break; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 898 | } |
| 899 | |
Alexander Couzens | cce8828 | 2020-10-26 00:25:50 +0100 | [diff] [blame] | 900 | out: |
| 901 | msgb_free(msg); |
| 902 | |
| 903 | return rc; |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 904 | } |
| 905 | |
Harald Welte | 5bef2cc | 2020-09-18 22:33:24 +0200 | [diff] [blame] | 906 | /*! is the given NS-VC unblocked? */ |
Alexander Couzens | 8dfc24c | 2021-01-25 16:09:23 +0100 | [diff] [blame] | 907 | int ns2_vc_is_unblocked(struct gprs_ns2_vc *nsvc) |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 908 | { |
| 909 | return (nsvc->fi->state == GPRS_NS2_ST_UNBLOCKED); |
| 910 | } |
| 911 | |
| 912 | /* initialize osmo_ctx on main tread */ |
| 913 | static __attribute__((constructor)) void on_dso_load_ctx(void) |
| 914 | { |
Alexander Couzens | f7e2cac | 2021-01-25 16:18:21 +0100 | [diff] [blame] | 915 | OSMO_ASSERT(osmo_fsm_register(&ns2_vc_fsm) == 0); |
Alexander Couzens | 6a16149 | 2020-07-12 13:45:50 +0200 | [diff] [blame] | 916 | } |