Holger Hans Peter Freyther | 58db60c | 2013-11-13 20:45:40 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2013 by Holger Hans Peter Freyther |
| 3 | * |
| 4 | * This program is free software; you can redistribute it and/or |
| 5 | * modify it under the terms of the GNU General Public License |
| 6 | * as published by the Free Software Foundation; either version 2 |
| 7 | * of the License, or (at your option) any later version. |
| 8 | * |
| 9 | * This program is distributed in the hope that it will be useful, |
| 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 12 | * GNU General Public License for more details. |
| 13 | * |
| 14 | * You should have received a copy of the GNU General Public License |
| 15 | * along with this program; if not, write to the Free Software |
| 16 | * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
| 17 | */ |
| 18 | |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 19 | #include "bts.h" |
| 20 | #include "gprs_debug.h" |
Max | 1187a77 | 2018-01-26 13:31:42 +0100 | [diff] [blame] | 21 | #include <gprs_coding_scheme.h> |
| 22 | #include <rlc.h> |
Holger Hans Peter Freyther | 58db60c | 2013-11-13 20:45:40 +0100 | [diff] [blame] | 23 | |
Max | 1187a77 | 2018-01-26 13:31:42 +0100 | [diff] [blame] | 24 | #include <stdbool.h> |
| 25 | #include <string.h> |
| 26 | #include <sys/types.h> |
Jacob Erlbeck | 4abc686 | 2015-12-08 15:14:05 +0100 | [diff] [blame] | 27 | |
Holger Hans Peter Freyther | 58db60c | 2013-11-13 20:45:40 +0100 | [diff] [blame] | 28 | extern "C" { |
| 29 | #include <osmocom/core/utils.h> |
Max | 1187a77 | 2018-01-26 13:31:42 +0100 | [diff] [blame] | 30 | #include <osmocom/core/bitvec.h> |
| 31 | #include <osmocom/core/logging.h> |
Holger Hans Peter Freyther | 58db60c | 2013-11-13 20:45:40 +0100 | [diff] [blame] | 32 | } |
| 33 | |
| 34 | |
| 35 | uint8_t *gprs_rlc_data::prepare(size_t block_data_len) |
| 36 | { |
| 37 | /* todo.. only set it once if it turns out to be a bottleneck */ |
Holger Hans Peter Freyther | 88553ab | 2013-11-26 21:01:04 +0100 | [diff] [blame] | 38 | memset(block, 0x0, sizeof(block)); |
Holger Hans Peter Freyther | 58db60c | 2013-11-13 20:45:40 +0100 | [diff] [blame] | 39 | memset(block, 0x2b, block_data_len); |
| 40 | |
Aravind Sirsikar | 7a05b03 | 2016-03-23 18:29:45 +0530 | [diff] [blame] | 41 | /* Initial value of puncturing scheme */ |
| 42 | next_ps = EGPRS_PS_1; |
| 43 | |
Holger Hans Peter Freyther | 58db60c | 2013-11-13 20:45:40 +0100 | [diff] [blame] | 44 | return block; |
| 45 | } |
Holger Hans Peter Freyther | 321f3c3 | 2013-11-23 16:06:54 +0100 | [diff] [blame] | 46 | |
Holger Hans Peter Freyther | 423dd22 | 2013-11-25 23:24:29 +0100 | [diff] [blame] | 47 | void gprs_rlc_data::put_data(const uint8_t *data, size_t data_len) |
| 48 | { |
| 49 | memcpy(block, data, data_len); |
| 50 | len = data_len; |
| 51 | } |
| 52 | |
Holger Hans Peter Freyther | 321f3c3 | 2013-11-23 16:06:54 +0100 | [diff] [blame] | 53 | void gprs_rlc_v_b::reset() |
| 54 | { |
| 55 | for (size_t i = 0; i < ARRAY_SIZE(m_v_b); ++i) |
| 56 | mark_invalid(i); |
| 57 | } |
Holger Hans Peter Freyther | 1577779 | 2013-11-24 00:18:47 +0100 | [diff] [blame] | 58 | |
Daniel Willmann | 7e994e3 | 2014-08-07 15:49:21 +0200 | [diff] [blame] | 59 | void gprs_rlc_dl_window::reset() |
| 60 | { |
| 61 | m_v_s = 0; |
| 62 | m_v_a = 0; |
| 63 | m_v_b.reset(); |
| 64 | } |
| 65 | |
Max | ead08aa | 2017-12-13 18:25:36 +0100 | [diff] [blame] | 66 | int gprs_rlc_dl_window::resend_needed() const |
Holger Hans Peter Freyther | 1577779 | 2013-11-24 00:18:47 +0100 | [diff] [blame] | 67 | { |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 68 | for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) { |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 69 | if (m_v_b.is_nacked(bsn) || m_v_b.is_resend(bsn)) |
Holger Hans Peter Freyther | 1577779 | 2013-11-24 00:18:47 +0100 | [diff] [blame] | 70 | return bsn; |
| 71 | } |
| 72 | |
| 73 | return -1; |
| 74 | } |
Holger Hans Peter Freyther | 8b16ae3 | 2013-11-24 00:38:54 +0100 | [diff] [blame] | 75 | |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 76 | int gprs_rlc_dl_window::mark_for_resend() |
Holger Hans Peter Freyther | 8b16ae3 | 2013-11-24 00:38:54 +0100 | [diff] [blame] | 77 | { |
| 78 | int resend = 0; |
| 79 | |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 80 | for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) { |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 81 | if (m_v_b.is_unacked(bsn)) { |
Holger Hans Peter Freyther | 8b16ae3 | 2013-11-24 00:38:54 +0100 | [diff] [blame] | 82 | /* mark to be re-send */ |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 83 | m_v_b.mark_resend(bsn); |
Holger Hans Peter Freyther | 8b16ae3 | 2013-11-24 00:38:54 +0100 | [diff] [blame] | 84 | resend += 1; |
| 85 | } |
| 86 | } |
| 87 | |
| 88 | return resend; |
| 89 | } |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 90 | |
sivasankari | 8adfcd0 | 2017-01-16 15:41:21 +0530 | [diff] [blame] | 91 | /* Update the receive block bitmap */ |
| 92 | uint16_t gprs_rlc_ul_window::update_egprs_rbb(uint8_t *rbb) |
| 93 | { |
Alexander Couzens | 0d482c5 | 2019-06-16 16:24:36 +0200 | [diff] [blame] | 94 | uint16_t i; |
sivasankari | 8adfcd0 | 2017-01-16 15:41:21 +0530 | [diff] [blame] | 95 | uint16_t bsn; |
| 96 | uint16_t bitmask = 0x80; |
| 97 | int8_t pos = 0; |
| 98 | int8_t bit_pos = 0; |
| 99 | for (i = 0, bsn = (v_q()+1); ((bsn < (v_r())) && (i < ws())); i++, |
| 100 | bsn = this->mod_sns(bsn + 1)) { |
| 101 | if (m_v_n.is_received(bsn)) { |
| 102 | rbb[pos] = rbb[pos] | bitmask; |
| 103 | } else { |
| 104 | rbb[pos] = rbb[pos] & (~bitmask); |
| 105 | } |
| 106 | bitmask = bitmask >> 1; |
| 107 | bit_pos++; |
| 108 | bit_pos = bit_pos % 8; |
| 109 | if (bit_pos == 0) { |
| 110 | pos++; |
| 111 | bitmask = 0x80; |
| 112 | } |
| 113 | } |
| 114 | return i; |
| 115 | } |
| 116 | |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 117 | int gprs_rlc_dl_window::count_unacked() |
Holger Hans Peter Freyther | 9c5539d | 2013-11-24 17:34:17 +0100 | [diff] [blame] | 118 | { |
| 119 | uint16_t unacked = 0; |
| 120 | uint16_t bsn; |
| 121 | |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 122 | for (bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) { |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 123 | if (!m_v_b.is_acked(bsn)) |
Holger Hans Peter Freyther | 9c5539d | 2013-11-24 17:34:17 +0100 | [diff] [blame] | 124 | unacked += 1; |
| 125 | } |
| 126 | |
| 127 | return unacked; |
| 128 | } |
| 129 | |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 130 | static uint16_t bitnum_to_bsn(int bitnum, uint16_t ssn) |
Daniel Willmann | cc5a4cb | 2013-12-11 20:04:29 +0100 | [diff] [blame] | 131 | { |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 132 | return (ssn - 1 - bitnum); |
Daniel Willmann | cc5a4cb | 2013-12-11 20:04:29 +0100 | [diff] [blame] | 133 | } |
| 134 | |
Jacob Erlbeck | eb08f86 | 2016-02-05 17:07:12 +0100 | [diff] [blame] | 135 | void gprs_rlc_dl_window::update(BTS *bts, const struct bitvec *rbb, |
| 136 | uint16_t first_bsn, uint16_t *lost, |
| 137 | uint16_t *received) |
| 138 | { |
aravind sirsikar | fb41afa | 2016-11-02 15:48:00 +0530 | [diff] [blame] | 139 | unsigned dist = distance(); |
| 140 | unsigned num_blocks = rbb->cur_bit > dist |
| 141 | ? dist : rbb->cur_bit; |
Jacob Erlbeck | eb08f86 | 2016-02-05 17:07:12 +0100 | [diff] [blame] | 142 | unsigned bsn; |
| 143 | |
| 144 | /* first_bsn is in range V(A)..V(S) */ |
| 145 | |
| 146 | for (unsigned int bitpos = 0; bitpos < num_blocks; bitpos++) { |
| 147 | bool is_ack; |
| 148 | bsn = mod_sns(first_bsn + bitpos); |
| 149 | if (bsn == mod_sns(v_a() - 1)) |
| 150 | break; |
| 151 | |
| 152 | is_ack = bitvec_get_bit_pos(rbb, bitpos) == 1; |
| 153 | |
| 154 | if (is_ack) { |
| 155 | LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn); |
| 156 | if (!m_v_b.is_acked(bsn)) |
| 157 | *received += 1; |
| 158 | m_v_b.mark_acked(bsn); |
| 159 | } else { |
| 160 | LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn); |
| 161 | m_v_b.mark_nacked(bsn); |
| 162 | bts->rlc_nacked(); |
| 163 | *lost += 1; |
| 164 | } |
| 165 | } |
| 166 | } |
| 167 | |
Jacob Erlbeck | e1ca87f | 2015-12-23 16:40:56 +0100 | [diff] [blame] | 168 | void gprs_rlc_dl_window::update(BTS *bts, char *show_rbb, uint16_t ssn, |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 169 | uint16_t *lost, uint16_t *received) |
| 170 | { |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 171 | /* SSN - 1 is in range V(A)..V(S)-1 */ |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 172 | for (int bitpos = 0; bitpos < ws(); bitpos++) { |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 173 | uint16_t bsn = mod_sns(bitnum_to_bsn(bitpos, ssn)); |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 174 | |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 175 | if (bsn == mod_sns(v_a() - 1)) |
Daniel Willmann | cc5a4cb | 2013-12-11 20:04:29 +0100 | [diff] [blame] | 176 | break; |
| 177 | |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 178 | if (show_rbb[ws() - 1 - bitpos] == 'R') { |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 179 | LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn); |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 180 | if (!m_v_b.is_acked(bsn)) |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 181 | *received += 1; |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 182 | m_v_b.mark_acked(bsn); |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 183 | } else { |
| 184 | LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn); |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 185 | m_v_b.mark_nacked(bsn); |
Holger Hans Peter Freyther | df6b4f5 | 2013-11-24 17:05:48 +0100 | [diff] [blame] | 186 | bts->rlc_nacked(); |
| 187 | *lost += 1; |
| 188 | } |
| 189 | } |
| 190 | } |
Holger Hans Peter Freyther | e358ff8 | 2013-11-24 17:13:10 +0100 | [diff] [blame] | 191 | |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 192 | int gprs_rlc_dl_window::move_window() |
Holger Hans Peter Freyther | e358ff8 | 2013-11-24 17:13:10 +0100 | [diff] [blame] | 193 | { |
| 194 | int i; |
| 195 | uint16_t bsn; |
| 196 | int moved = 0; |
| 197 | |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 198 | for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) { |
Daniel Willmann | 146514e | 2013-12-28 18:24:42 +0100 | [diff] [blame] | 199 | if (m_v_b.is_acked(bsn)) { |
| 200 | m_v_b.mark_invalid(bsn); |
Holger Hans Peter Freyther | e358ff8 | 2013-11-24 17:13:10 +0100 | [diff] [blame] | 201 | moved += 1; |
| 202 | } else |
| 203 | break; |
| 204 | } |
| 205 | |
| 206 | return moved; |
| 207 | } |
Holger Hans Peter Freyther | bc15570 | 2013-11-24 17:20:35 +0100 | [diff] [blame] | 208 | |
Daniel Willmann | 3ce011f | 2014-01-15 12:45:56 +0100 | [diff] [blame] | 209 | void gprs_rlc_dl_window::show_state(char *show_v_b) |
Holger Hans Peter Freyther | bc15570 | 2013-11-24 17:20:35 +0100 | [diff] [blame] | 210 | { |
| 211 | int i; |
| 212 | uint16_t bsn; |
| 213 | |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 214 | for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) { |
Holger Hans Peter Freyther | 3cbf9e0 | 2013-11-26 21:43:58 +0100 | [diff] [blame] | 215 | uint16_t index = bsn & mod_sns_half(); |
Daniel Willmann | d54d9f5 | 2013-12-28 21:16:13 +0100 | [diff] [blame] | 216 | switch(m_v_b.get_state(index)) { |
| 217 | case GPRS_RLC_DL_BSN_INVALID: |
| 218 | show_v_b[i] = 'I'; |
| 219 | break; |
| 220 | case GPRS_RLC_DL_BSN_ACKED: |
| 221 | show_v_b[i] = 'A'; |
| 222 | break; |
| 223 | case GPRS_RLC_DL_BSN_RESEND: |
| 224 | show_v_b[i] = 'X'; |
| 225 | break; |
| 226 | case GPRS_RLC_DL_BSN_NACKED: |
| 227 | show_v_b[i] = 'N'; |
| 228 | break; |
Daniel Willmann | 3ce011f | 2014-01-15 12:45:56 +0100 | [diff] [blame] | 229 | default: |
| 230 | show_v_b[i] = '?'; |
Daniel Willmann | d54d9f5 | 2013-12-28 21:16:13 +0100 | [diff] [blame] | 231 | } |
Holger Hans Peter Freyther | bc15570 | 2013-11-24 17:20:35 +0100 | [diff] [blame] | 232 | } |
| 233 | show_v_b[i] = '\0'; |
| 234 | } |
Holger Hans Peter Freyther | e9b1ebb | 2013-11-24 22:00:43 +0100 | [diff] [blame] | 235 | |
| 236 | void gprs_rlc_v_n::reset() |
| 237 | { |
Daniel Willmann | d54d9f5 | 2013-12-28 21:16:13 +0100 | [diff] [blame] | 238 | for (size_t i = 0; i < ARRAY_SIZE(m_v_n); ++i) |
| 239 | m_v_n[i] = GPRS_RLC_UL_BSN_INVALID; |
Holger Hans Peter Freyther | e9b1ebb | 2013-11-24 22:00:43 +0100 | [diff] [blame] | 240 | } |
Holger Hans Peter Freyther | cbb00eb | 2013-11-25 23:26:06 +0100 | [diff] [blame] | 241 | |
Jacob Erlbeck | db88380 | 2016-01-19 14:07:33 +0100 | [diff] [blame] | 242 | void gprs_rlc_window::set_sns(uint16_t sns) |
Jacob Erlbeck | 8f8197f | 2015-12-28 13:51:44 +0100 | [diff] [blame] | 243 | { |
| 244 | OSMO_ASSERT(sns >= RLC_GPRS_SNS); |
| 245 | OSMO_ASSERT(sns <= RLC_MAX_SNS); |
| 246 | /* check for 2^n */ |
| 247 | OSMO_ASSERT((sns & (-sns)) == sns); |
| 248 | m_sns = sns; |
| 249 | } |
| 250 | |
Jacob Erlbeck | db88380 | 2016-01-19 14:07:33 +0100 | [diff] [blame] | 251 | void gprs_rlc_window::set_ws(uint16_t ws) |
Jacob Erlbeck | 8f8197f | 2015-12-28 13:51:44 +0100 | [diff] [blame] | 252 | { |
sivasankari | 8adfcd0 | 2017-01-16 15:41:21 +0530 | [diff] [blame] | 253 | LOGP(DRLCMAC, LOGL_INFO, "ws(%d)\n", |
| 254 | ws); |
Jacob Erlbeck | 8f8197f | 2015-12-28 13:51:44 +0100 | [diff] [blame] | 255 | OSMO_ASSERT(ws >= RLC_GPRS_SNS/2); |
| 256 | OSMO_ASSERT(ws <= RLC_MAX_SNS/2); |
| 257 | m_ws = ws; |
| 258 | } |
| 259 | |
Daniel Willmann | 8a31f9e | 2013-11-27 17:08:35 +0100 | [diff] [blame] | 260 | /* Update the receive block bitmap */ |
Daniel Willmann | 7c3751b | 2013-12-28 13:59:24 +0100 | [diff] [blame] | 261 | void gprs_rlc_ul_window::update_rbb(char *rbb) |
Daniel Willmann | 8a31f9e | 2013-11-27 17:08:35 +0100 | [diff] [blame] | 262 | { |
| 263 | int i; |
| 264 | for (i=0; i < ws(); i++) { |
Aravind Sirsikar | 7c7a86c | 2016-08-30 13:08:28 +0530 | [diff] [blame] | 265 | if (m_v_n.is_received((ssn()-1-i) & mod_sns())) |
Daniel Willmann | 8a31f9e | 2013-11-27 17:08:35 +0100 | [diff] [blame] | 266 | rbb[ws()-1-i] = 'R'; |
| 267 | else |
| 268 | rbb[ws()-1-i] = 'I'; |
| 269 | } |
| 270 | } |
| 271 | |
Holger Hans Peter Freyther | cbb00eb | 2013-11-25 23:26:06 +0100 | [diff] [blame] | 272 | /* Raise V(R) to highest received sequence number not received. */ |
Daniel Willmann | 7c3751b | 2013-12-28 13:59:24 +0100 | [diff] [blame] | 273 | void gprs_rlc_ul_window::raise_v_r(const uint16_t bsn) |
Holger Hans Peter Freyther | cbb00eb | 2013-11-25 23:26:06 +0100 | [diff] [blame] | 274 | { |
| 275 | uint16_t offset_v_r; |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 276 | offset_v_r = mod_sns(bsn + 1 - v_r()); |
Holger Hans Peter Freyther | cbb00eb | 2013-11-25 23:26:06 +0100 | [diff] [blame] | 277 | /* Positive offset, so raise. */ |
| 278 | if (offset_v_r < (sns() >> 1)) { |
| 279 | while (offset_v_r--) { |
| 280 | if (offset_v_r) /* all except the received block */ |
Daniel Willmann | 7c3751b | 2013-12-28 13:59:24 +0100 | [diff] [blame] | 281 | m_v_n.mark_missing(v_r()); |
Daniel Willmann | f4a1ec6 | 2013-12-28 13:57:31 +0100 | [diff] [blame] | 282 | raise_v_r_to(1); |
Holger Hans Peter Freyther | cbb00eb | 2013-11-25 23:26:06 +0100 | [diff] [blame] | 283 | } |
| 284 | LOGP(DRLCMACUL, LOGL_DEBUG, "- Raising V(R) to %d\n", v_r()); |
| 285 | } |
| 286 | } |
Holger Hans Peter Freyther | 7f3e662 | 2013-11-25 23:51:19 +0100 | [diff] [blame] | 287 | |
| 288 | /* |
| 289 | * Raise V(Q) if possible. This is looped until there is a gap |
| 290 | * (non received block) or the window is empty. |
| 291 | */ |
Daniel Willmann | 7c3751b | 2013-12-28 13:59:24 +0100 | [diff] [blame] | 292 | uint16_t gprs_rlc_ul_window::raise_v_q() |
Holger Hans Peter Freyther | 7f3e662 | 2013-11-25 23:51:19 +0100 | [diff] [blame] | 293 | { |
| 294 | uint16_t count = 0; |
| 295 | |
| 296 | while (v_q() != v_r()) { |
Daniel Willmann | 7c3751b | 2013-12-28 13:59:24 +0100 | [diff] [blame] | 297 | if (!m_v_n.is_received(v_q())) |
Holger Hans Peter Freyther | 7f3e662 | 2013-11-25 23:51:19 +0100 | [diff] [blame] | 298 | break; |
| 299 | LOGP(DRLCMACUL, LOGL_DEBUG, "- Taking block %d out, raising " |
Jacob Erlbeck | 93c55d0 | 2015-12-23 16:29:07 +0100 | [diff] [blame] | 300 | "V(Q) to %d\n", v_q(), mod_sns(v_q() + 1)); |
Holger Hans Peter Freyther | 7f3e662 | 2013-11-25 23:51:19 +0100 | [diff] [blame] | 301 | raise_v_q(1); |
| 302 | count += 1; |
| 303 | } |
| 304 | |
| 305 | return count; |
| 306 | } |
Daniel Willmann | 5584479 | 2013-12-28 14:41:00 +0100 | [diff] [blame] | 307 | |
Jacob Erlbeck | d87e1d6 | 2015-12-14 11:43:04 +0100 | [diff] [blame] | 308 | void gprs_rlc_ul_window::receive_bsn(const uint16_t bsn) |
Daniel Willmann | 5584479 | 2013-12-28 14:41:00 +0100 | [diff] [blame] | 309 | { |
| 310 | m_v_n.mark_received(bsn); |
| 311 | raise_v_r(bsn); |
Jacob Erlbeck | 784a0bd | 2015-12-14 11:54:29 +0100 | [diff] [blame] | 312 | } |
Daniel Willmann | 5584479 | 2013-12-28 14:41:00 +0100 | [diff] [blame] | 313 | |
Jacob Erlbeck | 784a0bd | 2015-12-14 11:54:29 +0100 | [diff] [blame] | 314 | bool gprs_rlc_ul_window::invalidate_bsn(const uint16_t bsn) |
| 315 | { |
| 316 | bool was_valid = m_v_n.is_received(bsn); |
| 317 | m_v_n.mark_missing(bsn); |
| 318 | |
| 319 | return was_valid; |
Daniel Willmann | 5584479 | 2013-12-28 14:41:00 +0100 | [diff] [blame] | 320 | } |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 321 | |
| 322 | static void gprs_rlc_data_header_init(struct gprs_rlc_data_info *rlc, |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 323 | GprsCodingScheme cs, bool with_padding, unsigned int header_bits, |
| 324 | const unsigned int spb) |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 325 | { |
| 326 | unsigned int i; |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 327 | unsigned int padding_bits = with_padding ? cs.optionalPaddingBits() : 0; |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 328 | |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 329 | rlc->cs = cs; |
Pau Espin Pedrol | 7a9c166 | 2018-05-16 15:22:20 +0200 | [diff] [blame] | 330 | rlc->r = 0; |
| 331 | rlc->si = 0; |
| 332 | rlc->tfi = 0; |
| 333 | rlc->cps = 0; |
| 334 | rlc->rsb = 0; |
| 335 | rlc->usf = 0; |
| 336 | rlc->es_p = 0; |
| 337 | rlc->rrbp = 0; |
| 338 | rlc->pr = 0; |
Max | 51754b6 | 2019-03-13 17:14:13 +0100 | [diff] [blame] | 339 | rlc->num_data_blocks = num_data_blocks(cs.headerTypeData()); |
Pau Espin Pedrol | 7a9c166 | 2018-05-16 15:22:20 +0200 | [diff] [blame] | 340 | rlc->with_padding = with_padding; |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 341 | |
| 342 | OSMO_ASSERT(rlc->num_data_blocks <= ARRAY_SIZE(rlc->block_info)); |
| 343 | |
| 344 | for (i = 0; i < rlc->num_data_blocks; i++) { |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 345 | gprs_rlc_data_block_info_init(&rlc->block_info[i], cs, |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 346 | with_padding, spb); |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 347 | |
| 348 | rlc->data_offs_bits[i] = |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 349 | header_bits + padding_bits + |
Max | 51754b6 | 2019-03-13 17:14:13 +0100 | [diff] [blame] | 350 | (i+1) * num_data_block_header_bits(cs.headerTypeData()) + |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 351 | i * 8 * rlc->block_info[0].data_len; |
| 352 | } |
| 353 | } |
| 354 | |
| 355 | void gprs_rlc_data_info_init_dl(struct gprs_rlc_data_info *rlc, |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 356 | GprsCodingScheme cs, bool with_padding, const unsigned int spb) |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 357 | { |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 358 | return gprs_rlc_data_header_init(rlc, cs, with_padding, |
Max | 51754b6 | 2019-03-13 17:14:13 +0100 | [diff] [blame] | 359 | num_data_header_bits_DL(cs.headerTypeData()), spb); |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 360 | } |
| 361 | |
| 362 | void gprs_rlc_data_info_init_ul(struct gprs_rlc_data_info *rlc, |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 363 | GprsCodingScheme cs, bool with_padding) |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 364 | { |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 365 | /* |
| 366 | * last parameter is sent as 0 since common function used |
| 367 | * for both DL and UL |
| 368 | */ |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 369 | return gprs_rlc_data_header_init(rlc, cs, with_padding, |
Max | 51754b6 | 2019-03-13 17:14:13 +0100 | [diff] [blame] | 370 | num_data_header_bits_UL(cs.headerTypeData()), 0); |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 371 | } |
| 372 | |
| 373 | void gprs_rlc_data_block_info_init(struct gprs_rlc_data_block_info *rdbi, |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 374 | GprsCodingScheme cs, bool with_padding, const unsigned int spb) |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 375 | { |
Jacob Erlbeck | b55f313 | 2016-02-03 18:28:04 +0100 | [diff] [blame] | 376 | unsigned int data_len = cs.maxDataBlockBytes(); |
| 377 | if (with_padding) |
| 378 | data_len -= cs.optionalPaddingBits() / 8; |
| 379 | |
| 380 | rdbi->data_len = data_len; |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 381 | rdbi->bsn = 0; |
| 382 | rdbi->ti = 0; |
| 383 | rdbi->e = 1; |
| 384 | rdbi->cv = 15; |
| 385 | rdbi->pi = 0; |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 386 | rdbi->spb = spb; |
Jacob Erlbeck | 6e9f9c2 | 2016-01-11 11:15:45 +0100 | [diff] [blame] | 387 | } |
Jacob Erlbeck | 70955c7 | 2016-01-13 13:09:09 +0100 | [diff] [blame] | 388 | |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 389 | unsigned int gprs_rlc_mcs_cps(GprsCodingScheme cs, |
| 390 | enum egprs_puncturing_values punct, |
Max | b3a17d6 | 2017-12-21 12:11:33 +0100 | [diff] [blame] | 391 | enum egprs_puncturing_values punct2, bool with_padding) |
Jacob Erlbeck | 70955c7 | 2016-01-13 13:09:09 +0100 | [diff] [blame] | 392 | { |
Neels Hofmeyr | b609190 | 2017-02-08 16:49:20 +0100 | [diff] [blame] | 393 | /* validate that punct and punct2 are as expected */ |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 394 | switch (CodingScheme(cs)) { |
| 395 | case MCS9: |
| 396 | case MCS8: |
| 397 | case MCS7: |
Neels Hofmeyr | b609190 | 2017-02-08 16:49:20 +0100 | [diff] [blame] | 398 | if (punct2 == EGPRS_PS_INVALID) { |
| 399 | LOGP(DRLCMACDL, LOGL_ERROR, |
| 400 | "Invalid punct2 value for coding scheme %d: %d\n", |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 401 | CodingScheme(cs), punct2); |
Neels Hofmeyr | b609190 | 2017-02-08 16:49:20 +0100 | [diff] [blame] | 402 | return -1; |
| 403 | } |
| 404 | /* fall through */ |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 405 | case MCS6: |
| 406 | case MCS5: |
| 407 | case MCS4: |
| 408 | case MCS3: |
| 409 | case MCS2: |
| 410 | case MCS1: |
Neels Hofmeyr | b609190 | 2017-02-08 16:49:20 +0100 | [diff] [blame] | 411 | if (punct == EGPRS_PS_INVALID) { |
| 412 | LOGP(DRLCMACDL, LOGL_ERROR, |
| 413 | "Invalid punct value for coding scheme %d: %d\n", |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 414 | CodingScheme(cs), punct); |
Neels Hofmeyr | b609190 | 2017-02-08 16:49:20 +0100 | [diff] [blame] | 415 | return -1; |
| 416 | } |
| 417 | break; |
| 418 | default: |
| 419 | return -1; |
| 420 | } |
| 421 | |
| 422 | /* See 3GPP TS 44.060 10.4.8a.3.1, 10.4.8a.2.1, 10.4.8a.1.1 */ |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 423 | switch (CodingScheme(cs)) { |
| 424 | case MCS1: return 0b1011 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 425 | punct % EGPRS_MAX_PS_NUM_2; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 426 | case MCS2: return 0b1001 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 427 | punct % EGPRS_MAX_PS_NUM_2; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 428 | case MCS3: return (with_padding ? 0b0110 : 0b0011) + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 429 | punct % EGPRS_MAX_PS_NUM_3; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 430 | case MCS4: return 0b0000 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 431 | punct % EGPRS_MAX_PS_NUM_3; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 432 | case MCS5: return 0b100 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 433 | punct % EGPRS_MAX_PS_NUM_2; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 434 | case MCS6: return (with_padding ? 0b010 : 0b000) + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 435 | punct % EGPRS_MAX_PS_NUM_2; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 436 | case MCS7: return 0b10100 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 437 | 3 * (punct % EGPRS_MAX_PS_NUM_3) + |
| 438 | punct2 % EGPRS_MAX_PS_NUM_3; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 439 | case MCS8: return 0b01011 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 440 | 3 * (punct % EGPRS_MAX_PS_NUM_3) + |
| 441 | punct2 % EGPRS_MAX_PS_NUM_3; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 442 | case MCS9: return 0b00000 + |
Aravind Sirsikar | a859a21 | 2016-03-23 18:29:46 +0530 | [diff] [blame] | 443 | 4 * (punct % EGPRS_MAX_PS_NUM_3) + |
| 444 | punct2 % EGPRS_MAX_PS_NUM_3; |
Jacob Erlbeck | 70955c7 | 2016-01-13 13:09:09 +0100 | [diff] [blame] | 445 | default: ; |
| 446 | } |
| 447 | |
| 448 | return -1; |
| 449 | } |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 450 | |
| 451 | void gprs_rlc_mcs_cps_decode(unsigned int cps, |
| 452 | GprsCodingScheme cs, int *punct, int *punct2, int *with_padding) |
| 453 | { |
| 454 | *punct2 = -1; |
| 455 | *with_padding = 0; |
| 456 | |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 457 | switch (CodingScheme(cs)) { |
| 458 | case MCS1: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 459 | cps -= 0b1011; *punct = cps % 2; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 460 | case MCS2: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 461 | cps -= 0b1001; *punct = cps % 2; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 462 | case MCS3: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 463 | cps -= 0b0011; *punct = cps % 3; *with_padding = cps >= 3; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 464 | case MCS4: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 465 | cps -= 0b0000; *punct = cps % 3; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 466 | case MCS5: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 467 | cps -= 0b100; *punct = cps % 2; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 468 | case MCS6: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 469 | cps -= 0b000; *punct = cps % 2; *with_padding = cps >= 2; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 470 | case MCS7: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 471 | cps -= 0b10100; *punct = cps / 3; *punct2 = cps % 3; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 472 | case MCS8: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 473 | cps -= 0b01011; *punct = cps / 3; *punct2 = cps % 3; break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 474 | case MCS9: |
Jacob Erlbeck | fbd82e4 | 2016-02-03 18:31:19 +0100 | [diff] [blame] | 475 | cps -= 0b00000; *punct = cps / 4; *punct2 = cps % 3; break; |
| 476 | default: ; |
| 477 | } |
| 478 | } |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 479 | |
| 480 | /* |
| 481 | * Finds the PS value for retransmission with MCS change, |
| 482 | * retransmission with no MCS change, fresh transmission cases. |
| 483 | * The return value shall be used for current transmission only |
| 484 | * 44.060 9.3.2.1 defines the PS selection for MCS change case |
| 485 | * cs_current is the output of MCS selection algorithm for retx |
| 486 | * cs is coding scheme of previous transmission of RLC data block |
| 487 | */ |
| 488 | enum egprs_puncturing_values gprs_get_punct_scheme( |
| 489 | enum egprs_puncturing_values punct, |
| 490 | const GprsCodingScheme &cs, |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 491 | const GprsCodingScheme &cs_current, |
| 492 | const enum egprs_rlcmac_dl_spb spb) |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 493 | { |
Aravind Sirsikar | 50b0970 | 2016-08-22 17:21:10 +0530 | [diff] [blame] | 494 | |
| 495 | /* |
| 496 | * 10.4.8b of TS 44.060 |
| 497 | * If it is second segment of the block |
| 498 | * dont change the puncturing scheme |
| 499 | */ |
| 500 | if (spb == EGPRS_RLCMAC_DL_SEC_SEG) |
| 501 | return punct; |
| 502 | |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 503 | /* TS 44.060 9.3.2.1.1 */ |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 504 | if ((CodingScheme(cs) == MCS9) && |
| 505 | (CodingScheme(cs_current) == MCS6)) { |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 506 | if ((punct == EGPRS_PS_1) || (punct == EGPRS_PS_3)) |
| 507 | return EGPRS_PS_1; |
| 508 | else if (punct == EGPRS_PS_2) |
| 509 | return EGPRS_PS_2; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 510 | } else if ((CodingScheme(cs) == MCS6) && |
| 511 | (CodingScheme(cs_current) == MCS9)) { |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 512 | if (punct == EGPRS_PS_1) |
| 513 | return EGPRS_PS_3; |
| 514 | else if (punct == EGPRS_PS_2) |
| 515 | return EGPRS_PS_2; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 516 | } else if ((CodingScheme(cs) == MCS7) && |
| 517 | (CodingScheme(cs_current) == MCS5)) |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 518 | return EGPRS_PS_1; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 519 | else if ((CodingScheme(cs) == MCS5) && |
| 520 | (CodingScheme(cs_current) == MCS7)) |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 521 | return EGPRS_PS_2; |
| 522 | else if (cs != cs_current) |
| 523 | return EGPRS_PS_1; |
| 524 | /* TS 44.060 9.3.2.1.1 ends here */ |
| 525 | /* |
| 526 | * Below else will handle fresh transmission, retransmission with no |
| 527 | * MCS change case |
| 528 | */ |
| 529 | else |
| 530 | return punct; |
| 531 | return EGPRS_PS_INVALID; |
| 532 | } |
| 533 | |
| 534 | /* |
| 535 | * This function calculates puncturing scheme for retransmission of a RLC |
| 536 | * block with same MCS. The computed value shall be used for next transmission |
| 537 | * of the same RLC block |
| 538 | * TS 44.060 10.4.8a.3.1, 10.4.8a.2.1, 10.4.8a.1.1 |
| 539 | */ |
| 540 | void gprs_update_punct_scheme(enum egprs_puncturing_values *punct, |
| 541 | const GprsCodingScheme &cs) |
| 542 | { |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 543 | switch (CodingScheme(cs)) { |
| 544 | case MCS1 : |
| 545 | case MCS2 : |
| 546 | case MCS5 : |
| 547 | case MCS6 : |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 548 | *punct = ((enum egprs_puncturing_values)((*punct + 1) % |
| 549 | EGPRS_MAX_PS_NUM_2)); |
| 550 | break; |
Max | bea2edb | 2019-03-06 17:04:59 +0100 | [diff] [blame] | 551 | case MCS3 : |
| 552 | case MCS4 : |
| 553 | case MCS7 : |
| 554 | case MCS8 : |
| 555 | case MCS9 : |
Aravind Sirsikar | 7952282 | 2016-03-23 18:29:47 +0530 | [diff] [blame] | 556 | *punct = ((enum egprs_puncturing_values)((*punct + 1) % |
| 557 | EGPRS_MAX_PS_NUM_3)); |
| 558 | break; |
| 559 | default: |
| 560 | break; |
| 561 | } |
| 562 | } |