blob: 0e16ee88186b04756b79f71a2feaad941982f5e0 [file] [log] [blame]
Holger Hans Peter Freyther58db60c2013-11-13 20:45:40 +01001/*
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
19#include "tbf.h"
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +010020#include "bts.h"
21#include "gprs_debug.h"
Holger Hans Peter Freyther58db60c2013-11-13 20:45:40 +010022
Jacob Erlbeck4abc6862015-12-08 15:14:05 +010023#include <errno.h>
24
Holger Hans Peter Freyther58db60c2013-11-13 20:45:40 +010025extern "C" {
26#include <osmocom/core/utils.h>
27}
28
29
30uint8_t *gprs_rlc_data::prepare(size_t block_data_len)
31{
32 /* todo.. only set it once if it turns out to be a bottleneck */
Holger Hans Peter Freyther88553ab2013-11-26 21:01:04 +010033 memset(block, 0x0, sizeof(block));
Holger Hans Peter Freyther58db60c2013-11-13 20:45:40 +010034 memset(block, 0x2b, block_data_len);
35
Aravind Sirsikar7a05b032016-03-23 18:29:45 +053036 /* Initial value of puncturing scheme */
37 next_ps = EGPRS_PS_1;
38
Holger Hans Peter Freyther58db60c2013-11-13 20:45:40 +010039 return block;
40}
Holger Hans Peter Freyther321f3c32013-11-23 16:06:54 +010041
Holger Hans Peter Freyther423dd222013-11-25 23:24:29 +010042void gprs_rlc_data::put_data(const uint8_t *data, size_t data_len)
43{
44 memcpy(block, data, data_len);
45 len = data_len;
46}
47
Holger Hans Peter Freyther321f3c32013-11-23 16:06:54 +010048void gprs_rlc_v_b::reset()
49{
50 for (size_t i = 0; i < ARRAY_SIZE(m_v_b); ++i)
51 mark_invalid(i);
52}
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010053
Daniel Willmann7e994e32014-08-07 15:49:21 +020054void gprs_rlc_dl_window::reset()
55{
56 m_v_s = 0;
57 m_v_a = 0;
58 m_v_b.reset();
59}
60
Daniel Willmann146514e2013-12-28 18:24:42 +010061int gprs_rlc_dl_window::resend_needed()
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010062{
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010063 for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010064 if (m_v_b.is_nacked(bsn) || m_v_b.is_resend(bsn))
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010065 return bsn;
66 }
67
68 return -1;
69}
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010070
Daniel Willmann146514e2013-12-28 18:24:42 +010071int gprs_rlc_dl_window::mark_for_resend()
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010072{
73 int resend = 0;
74
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010075 for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010076 if (m_v_b.is_unacked(bsn)) {
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010077 /* mark to be re-send */
Daniel Willmann146514e2013-12-28 18:24:42 +010078 m_v_b.mark_resend(bsn);
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010079 resend += 1;
80 }
81 }
82
83 return resend;
84}
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +010085
Daniel Willmann146514e2013-12-28 18:24:42 +010086int gprs_rlc_dl_window::count_unacked()
Holger Hans Peter Freyther9c5539d2013-11-24 17:34:17 +010087{
88 uint16_t unacked = 0;
89 uint16_t bsn;
90
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010091 for (bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010092 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freyther9c5539d2013-11-24 17:34:17 +010093 unacked += 1;
94 }
95
96 return unacked;
97}
98
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010099static uint16_t bitnum_to_bsn(int bitnum, uint16_t ssn)
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100100{
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100101 return (ssn - 1 - bitnum);
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100102}
103
Jacob Erlbeckeb08f862016-02-05 17:07:12 +0100104void gprs_rlc_dl_window::update(BTS *bts, const struct bitvec *rbb,
105 uint16_t first_bsn, uint16_t *lost,
106 uint16_t *received)
107{
108 unsigned num_blocks = rbb->cur_bit;
109 unsigned bsn;
110
111 /* first_bsn is in range V(A)..V(S) */
112
113 for (unsigned int bitpos = 0; bitpos < num_blocks; bitpos++) {
114 bool is_ack;
115 bsn = mod_sns(first_bsn + bitpos);
116 if (bsn == mod_sns(v_a() - 1))
117 break;
118
119 is_ack = bitvec_get_bit_pos(rbb, bitpos) == 1;
120
121 if (is_ack) {
122 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
123 if (!m_v_b.is_acked(bsn))
124 *received += 1;
125 m_v_b.mark_acked(bsn);
126 } else {
127 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
128 m_v_b.mark_nacked(bsn);
129 bts->rlc_nacked();
130 *lost += 1;
131 }
132 }
133}
134
Jacob Erlbecke1ca87f2015-12-23 16:40:56 +0100135void gprs_rlc_dl_window::update(BTS *bts, char *show_rbb, uint16_t ssn,
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100136 uint16_t *lost, uint16_t *received)
137{
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100138 /* SSN - 1 is in range V(A)..V(S)-1 */
Daniel Willmann146514e2013-12-28 18:24:42 +0100139 for (int bitpos = 0; bitpos < ws(); bitpos++) {
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100140 uint16_t bsn = mod_sns(bitnum_to_bsn(bitpos, ssn));
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100141
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100142 if (bsn == mod_sns(v_a() - 1))
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100143 break;
144
Daniel Willmann146514e2013-12-28 18:24:42 +0100145 if (show_rbb[ws() - 1 - bitpos] == 'R') {
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100146 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100147 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100148 *received += 1;
Daniel Willmann146514e2013-12-28 18:24:42 +0100149 m_v_b.mark_acked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100150 } else {
151 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100152 m_v_b.mark_nacked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100153 bts->rlc_nacked();
154 *lost += 1;
155 }
156 }
157}
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100158
Daniel Willmann146514e2013-12-28 18:24:42 +0100159int gprs_rlc_dl_window::move_window()
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100160{
161 int i;
162 uint16_t bsn;
163 int moved = 0;
164
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100165 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +0100166 if (m_v_b.is_acked(bsn)) {
167 m_v_b.mark_invalid(bsn);
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100168 moved += 1;
169 } else
170 break;
171 }
172
173 return moved;
174}
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100175
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100176void gprs_rlc_dl_window::show_state(char *show_v_b)
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100177{
178 int i;
179 uint16_t bsn;
180
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100181 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Holger Hans Peter Freyther3cbf9e02013-11-26 21:43:58 +0100182 uint16_t index = bsn & mod_sns_half();
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100183 switch(m_v_b.get_state(index)) {
184 case GPRS_RLC_DL_BSN_INVALID:
185 show_v_b[i] = 'I';
186 break;
187 case GPRS_RLC_DL_BSN_ACKED:
188 show_v_b[i] = 'A';
189 break;
190 case GPRS_RLC_DL_BSN_RESEND:
191 show_v_b[i] = 'X';
192 break;
193 case GPRS_RLC_DL_BSN_NACKED:
194 show_v_b[i] = 'N';
195 break;
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100196 default:
197 show_v_b[i] = '?';
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100198 }
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100199 }
200 show_v_b[i] = '\0';
201}
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100202
203void gprs_rlc_v_n::reset()
204{
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100205 for (size_t i = 0; i < ARRAY_SIZE(m_v_n); ++i)
206 m_v_n[i] = GPRS_RLC_UL_BSN_INVALID;
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100207}
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100208
Jacob Erlbeckdb883802016-01-19 14:07:33 +0100209void gprs_rlc_window::set_sns(uint16_t sns)
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +0100210{
211 OSMO_ASSERT(sns >= RLC_GPRS_SNS);
212 OSMO_ASSERT(sns <= RLC_MAX_SNS);
213 /* check for 2^n */
214 OSMO_ASSERT((sns & (-sns)) == sns);
215 m_sns = sns;
216}
217
Jacob Erlbeckdb883802016-01-19 14:07:33 +0100218void gprs_rlc_window::set_ws(uint16_t ws)
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +0100219{
220 OSMO_ASSERT(ws >= RLC_GPRS_SNS/2);
221 OSMO_ASSERT(ws <= RLC_MAX_SNS/2);
222 m_ws = ws;
223}
224
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100225/* Update the receive block bitmap */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100226void gprs_rlc_ul_window::update_rbb(char *rbb)
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100227{
228 int i;
229 for (i=0; i < ws(); i++) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100230 if (m_v_n.is_received(ssn()-1-i))
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100231 rbb[ws()-1-i] = 'R';
232 else
233 rbb[ws()-1-i] = 'I';
234 }
235}
236
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100237/* Raise V(R) to highest received sequence number not received. */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100238void gprs_rlc_ul_window::raise_v_r(const uint16_t bsn)
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100239{
240 uint16_t offset_v_r;
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100241 offset_v_r = mod_sns(bsn + 1 - v_r());
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100242 /* Positive offset, so raise. */
243 if (offset_v_r < (sns() >> 1)) {
244 while (offset_v_r--) {
245 if (offset_v_r) /* all except the received block */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100246 m_v_n.mark_missing(v_r());
Daniel Willmannf4a1ec62013-12-28 13:57:31 +0100247 raise_v_r_to(1);
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100248 }
249 LOGP(DRLCMACUL, LOGL_DEBUG, "- Raising V(R) to %d\n", v_r());
250 }
251}
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100252
253/*
254 * Raise V(Q) if possible. This is looped until there is a gap
255 * (non received block) or the window is empty.
256 */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100257uint16_t gprs_rlc_ul_window::raise_v_q()
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100258{
259 uint16_t count = 0;
260
261 while (v_q() != v_r()) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100262 if (!m_v_n.is_received(v_q()))
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100263 break;
264 LOGP(DRLCMACUL, LOGL_DEBUG, "- Taking block %d out, raising "
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100265 "V(Q) to %d\n", v_q(), mod_sns(v_q() + 1));
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100266 raise_v_q(1);
267 count += 1;
268 }
269
270 return count;
271}
Daniel Willmann55844792013-12-28 14:41:00 +0100272
Jacob Erlbeckd87e1d62015-12-14 11:43:04 +0100273void gprs_rlc_ul_window::receive_bsn(const uint16_t bsn)
Daniel Willmann55844792013-12-28 14:41:00 +0100274{
275 m_v_n.mark_received(bsn);
276 raise_v_r(bsn);
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100277}
Daniel Willmann55844792013-12-28 14:41:00 +0100278
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100279bool gprs_rlc_ul_window::invalidate_bsn(const uint16_t bsn)
280{
281 bool was_valid = m_v_n.is_received(bsn);
282 m_v_n.mark_missing(bsn);
283
284 return was_valid;
Daniel Willmann55844792013-12-28 14:41:00 +0100285}
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100286
287static void gprs_rlc_data_header_init(struct gprs_rlc_data_info *rlc,
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100288 GprsCodingScheme cs, bool with_padding, unsigned int header_bits)
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100289{
290 unsigned int i;
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100291 unsigned int padding_bits = with_padding ? cs.optionalPaddingBits() : 0;
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100292
293 memset(rlc, 0, sizeof(*rlc));
294
295 rlc->cs = cs;
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100296 rlc->with_padding = with_padding;
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100297 rlc->num_data_blocks = cs.numDataBlocks();
298
299 OSMO_ASSERT(rlc->num_data_blocks <= ARRAY_SIZE(rlc->block_info));
300
301 for (i = 0; i < rlc->num_data_blocks; i++) {
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100302 gprs_rlc_data_block_info_init(&rlc->block_info[i], cs,
303 with_padding);
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100304
305 rlc->data_offs_bits[i] =
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100306 header_bits + padding_bits +
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100307 (i+1) * cs.numDataBlockHeaderBits() +
308 i * 8 * rlc->block_info[0].data_len;
309 }
310}
311
312void gprs_rlc_data_info_init_dl(struct gprs_rlc_data_info *rlc,
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100313 GprsCodingScheme cs, bool with_padding)
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100314{
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100315 return gprs_rlc_data_header_init(rlc, cs, with_padding,
316 cs.numDataHeaderBitsDL());
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100317}
318
319void gprs_rlc_data_info_init_ul(struct gprs_rlc_data_info *rlc,
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100320 GprsCodingScheme cs, bool with_padding)
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100321{
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100322 return gprs_rlc_data_header_init(rlc, cs, with_padding,
323 cs.numDataHeaderBitsUL());
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100324}
325
326void gprs_rlc_data_block_info_init(struct gprs_rlc_data_block_info *rdbi,
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100327 GprsCodingScheme cs, bool with_padding)
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100328{
Jacob Erlbeckb55f3132016-02-03 18:28:04 +0100329 unsigned int data_len = cs.maxDataBlockBytes();
330 if (with_padding)
331 data_len -= cs.optionalPaddingBits() / 8;
332
333 rdbi->data_len = data_len;
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100334 rdbi->bsn = 0;
335 rdbi->ti = 0;
336 rdbi->e = 1;
337 rdbi->cv = 15;
338 rdbi->pi = 0;
339 rdbi->spb = 0;
340}
Jacob Erlbeck70955c72016-01-13 13:09:09 +0100341
Jacob Erlbeck9e859392016-02-02 11:48:37 +0100342unsigned int gprs_rlc_mcs_cps(GprsCodingScheme cs, int punct, int punct2,
343 int with_padding)
Jacob Erlbeck70955c72016-01-13 13:09:09 +0100344{
345 switch (GprsCodingScheme::Scheme(cs)) {
346 case GprsCodingScheme::MCS1: return 0b1011 + punct % 2;
347 case GprsCodingScheme::MCS2: return 0b1001 + punct % 2;
348 case GprsCodingScheme::MCS3: return (with_padding ? 0b0110 : 0b0011) +
349 punct % 3;
350 case GprsCodingScheme::MCS4: return 0b0000 + punct % 3;
Jacob Erlbeck9e859392016-02-02 11:48:37 +0100351 case GprsCodingScheme::MCS5: return 0b100 + punct % 2;
352 case GprsCodingScheme::MCS6: return (with_padding ? 0b010 : 0b000) +
353 punct % 2;
354 case GprsCodingScheme::MCS7: return 0b10100 + 3 * (punct % 3) + punct2 % 3;
355 case GprsCodingScheme::MCS8: return 0b01011 + 3 * (punct % 3) + punct2 % 3;
356 case GprsCodingScheme::MCS9: return 0b00000 + 4 * (punct % 3) + punct2 % 3;
Jacob Erlbeck70955c72016-01-13 13:09:09 +0100357 default: ;
358 }
359
360 return -1;
361}
Jacob Erlbeckfbd82e42016-02-03 18:31:19 +0100362
363void gprs_rlc_mcs_cps_decode(unsigned int cps,
364 GprsCodingScheme cs, int *punct, int *punct2, int *with_padding)
365{
366 *punct2 = -1;
367 *with_padding = 0;
368
369 switch (GprsCodingScheme::Scheme(cs)) {
370 case GprsCodingScheme::MCS1:
371 cps -= 0b1011; *punct = cps % 2; break;
372 case GprsCodingScheme::MCS2:
373 cps -= 0b1001; *punct = cps % 2; break;
374 case GprsCodingScheme::MCS3:
375 cps -= 0b0011; *punct = cps % 3; *with_padding = cps >= 3; break;
376 case GprsCodingScheme::MCS4:
377 cps -= 0b0000; *punct = cps % 3; break;
378 case GprsCodingScheme::MCS5:
379 cps -= 0b100; *punct = cps % 2; break;
380 case GprsCodingScheme::MCS6:
381 cps -= 0b000; *punct = cps % 2; *with_padding = cps >= 2; break;
382 case GprsCodingScheme::MCS7:
383 cps -= 0b10100; *punct = cps / 3; *punct2 = cps % 3; break;
384 case GprsCodingScheme::MCS8:
385 cps -= 0b01011; *punct = cps / 3; *punct2 = cps % 3; break;
386 case GprsCodingScheme::MCS9:
387 cps -= 0b00000; *punct = cps / 4; *punct2 = cps % 3; break;
388 default: ;
389 }
390}