blob: 6d3cfd59e55874c0cba66b0bf9d3325c719c03ca [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
36 return block;
37}
Holger Hans Peter Freyther321f3c32013-11-23 16:06:54 +010038
Holger Hans Peter Freyther423dd222013-11-25 23:24:29 +010039void gprs_rlc_data::put_data(const uint8_t *data, size_t data_len)
40{
41 memcpy(block, data, data_len);
42 len = data_len;
43}
44
Holger Hans Peter Freyther321f3c32013-11-23 16:06:54 +010045void gprs_rlc_v_b::reset()
46{
47 for (size_t i = 0; i < ARRAY_SIZE(m_v_b); ++i)
48 mark_invalid(i);
49}
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010050
Daniel Willmann7e994e32014-08-07 15:49:21 +020051void gprs_rlc_dl_window::reset()
52{
53 m_v_s = 0;
54 m_v_a = 0;
55 m_v_b.reset();
56}
57
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +010058void gprs_rlc_dl_window::set_sns(uint16_t sns)
59{
60 OSMO_ASSERT(sns >= RLC_GPRS_SNS);
61 OSMO_ASSERT(sns <= RLC_MAX_SNS);
62 /* check for 2^n */
63 OSMO_ASSERT((sns & (-sns)) == sns);
64 m_sns = sns;
65}
66
67void gprs_rlc_dl_window::set_ws(uint16_t ws)
68{
69 OSMO_ASSERT(ws >= RLC_GPRS_SNS/2);
70 OSMO_ASSERT(ws <= RLC_MAX_SNS/2);
71 m_ws = ws;
72}
73
Daniel Willmann146514e2013-12-28 18:24:42 +010074int gprs_rlc_dl_window::resend_needed()
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010075{
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010076 for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010077 if (m_v_b.is_nacked(bsn) || m_v_b.is_resend(bsn))
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010078 return bsn;
79 }
80
81 return -1;
82}
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010083
Daniel Willmann146514e2013-12-28 18:24:42 +010084int gprs_rlc_dl_window::mark_for_resend()
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010085{
86 int resend = 0;
87
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010088 for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010089 if (m_v_b.is_unacked(bsn)) {
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010090 /* mark to be re-send */
Daniel Willmann146514e2013-12-28 18:24:42 +010091 m_v_b.mark_resend(bsn);
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010092 resend += 1;
93 }
94 }
95
96 return resend;
97}
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +010098
Daniel Willmann146514e2013-12-28 18:24:42 +010099int gprs_rlc_dl_window::count_unacked()
Holger Hans Peter Freyther9c5539d2013-11-24 17:34:17 +0100100{
101 uint16_t unacked = 0;
102 uint16_t bsn;
103
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100104 for (bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +0100105 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freyther9c5539d2013-11-24 17:34:17 +0100106 unacked += 1;
107 }
108
109 return unacked;
110}
111
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100112static uint16_t bitnum_to_bsn(int bitnum, uint16_t ssn)
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100113{
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100114 return (ssn - 1 - bitnum);
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100115}
116
Jacob Erlbeckeb08f862016-02-05 17:07:12 +0100117void gprs_rlc_dl_window::update(BTS *bts, const struct bitvec *rbb,
118 uint16_t first_bsn, uint16_t *lost,
119 uint16_t *received)
120{
121 unsigned num_blocks = rbb->cur_bit;
122 unsigned bsn;
123
124 /* first_bsn is in range V(A)..V(S) */
125
126 for (unsigned int bitpos = 0; bitpos < num_blocks; bitpos++) {
127 bool is_ack;
128 bsn = mod_sns(first_bsn + bitpos);
129 if (bsn == mod_sns(v_a() - 1))
130 break;
131
132 is_ack = bitvec_get_bit_pos(rbb, bitpos) == 1;
133
134 if (is_ack) {
135 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
136 if (!m_v_b.is_acked(bsn))
137 *received += 1;
138 m_v_b.mark_acked(bsn);
139 } else {
140 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
141 m_v_b.mark_nacked(bsn);
142 bts->rlc_nacked();
143 *lost += 1;
144 }
145 }
146}
147
Jacob Erlbecke1ca87f2015-12-23 16:40:56 +0100148void gprs_rlc_dl_window::update(BTS *bts, char *show_rbb, uint16_t ssn,
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100149 uint16_t *lost, uint16_t *received)
150{
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100151 /* SSN - 1 is in range V(A)..V(S)-1 */
Daniel Willmann146514e2013-12-28 18:24:42 +0100152 for (int bitpos = 0; bitpos < ws(); bitpos++) {
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100153 uint16_t bsn = mod_sns(bitnum_to_bsn(bitpos, ssn));
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100154
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100155 if (bsn == mod_sns(v_a() - 1))
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100156 break;
157
Daniel Willmann146514e2013-12-28 18:24:42 +0100158 if (show_rbb[ws() - 1 - bitpos] == 'R') {
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100159 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100160 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100161 *received += 1;
Daniel Willmann146514e2013-12-28 18:24:42 +0100162 m_v_b.mark_acked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100163 } else {
164 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100165 m_v_b.mark_nacked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100166 bts->rlc_nacked();
167 *lost += 1;
168 }
169 }
170}
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100171
Daniel Willmann146514e2013-12-28 18:24:42 +0100172int gprs_rlc_dl_window::move_window()
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100173{
174 int i;
175 uint16_t bsn;
176 int moved = 0;
177
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100178 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +0100179 if (m_v_b.is_acked(bsn)) {
180 m_v_b.mark_invalid(bsn);
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100181 moved += 1;
182 } else
183 break;
184 }
185
186 return moved;
187}
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100188
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100189void gprs_rlc_dl_window::show_state(char *show_v_b)
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100190{
191 int i;
192 uint16_t bsn;
193
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100194 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Holger Hans Peter Freyther3cbf9e02013-11-26 21:43:58 +0100195 uint16_t index = bsn & mod_sns_half();
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100196 switch(m_v_b.get_state(index)) {
197 case GPRS_RLC_DL_BSN_INVALID:
198 show_v_b[i] = 'I';
199 break;
200 case GPRS_RLC_DL_BSN_ACKED:
201 show_v_b[i] = 'A';
202 break;
203 case GPRS_RLC_DL_BSN_RESEND:
204 show_v_b[i] = 'X';
205 break;
206 case GPRS_RLC_DL_BSN_NACKED:
207 show_v_b[i] = 'N';
208 break;
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100209 default:
210 show_v_b[i] = '?';
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100211 }
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100212 }
213 show_v_b[i] = '\0';
214}
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100215
216void gprs_rlc_v_n::reset()
217{
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100218 for (size_t i = 0; i < ARRAY_SIZE(m_v_n); ++i)
219 m_v_n[i] = GPRS_RLC_UL_BSN_INVALID;
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100220}
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100221
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +0100222void gprs_rlc_ul_window::set_sns(uint16_t sns)
223{
224 OSMO_ASSERT(sns >= RLC_GPRS_SNS);
225 OSMO_ASSERT(sns <= RLC_MAX_SNS);
226 /* check for 2^n */
227 OSMO_ASSERT((sns & (-sns)) == sns);
228 m_sns = sns;
229}
230
231void gprs_rlc_ul_window::set_ws(uint16_t ws)
232{
233 OSMO_ASSERT(ws >= RLC_GPRS_SNS/2);
234 OSMO_ASSERT(ws <= RLC_MAX_SNS/2);
235 m_ws = ws;
236}
237
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100238/* Update the receive block bitmap */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100239void gprs_rlc_ul_window::update_rbb(char *rbb)
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100240{
241 int i;
242 for (i=0; i < ws(); i++) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100243 if (m_v_n.is_received(ssn()-1-i))
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100244 rbb[ws()-1-i] = 'R';
245 else
246 rbb[ws()-1-i] = 'I';
247 }
248}
249
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100250/* Raise V(R) to highest received sequence number not received. */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100251void gprs_rlc_ul_window::raise_v_r(const uint16_t bsn)
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100252{
253 uint16_t offset_v_r;
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100254 offset_v_r = mod_sns(bsn + 1 - v_r());
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100255 /* Positive offset, so raise. */
256 if (offset_v_r < (sns() >> 1)) {
257 while (offset_v_r--) {
258 if (offset_v_r) /* all except the received block */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100259 m_v_n.mark_missing(v_r());
Daniel Willmannf4a1ec62013-12-28 13:57:31 +0100260 raise_v_r_to(1);
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100261 }
262 LOGP(DRLCMACUL, LOGL_DEBUG, "- Raising V(R) to %d\n", v_r());
263 }
264}
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100265
266/*
267 * Raise V(Q) if possible. This is looped until there is a gap
268 * (non received block) or the window is empty.
269 */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100270uint16_t gprs_rlc_ul_window::raise_v_q()
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100271{
272 uint16_t count = 0;
273
274 while (v_q() != v_r()) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100275 if (!m_v_n.is_received(v_q()))
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100276 break;
277 LOGP(DRLCMACUL, LOGL_DEBUG, "- Taking block %d out, raising "
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100278 "V(Q) to %d\n", v_q(), mod_sns(v_q() + 1));
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100279 raise_v_q(1);
280 count += 1;
281 }
282
283 return count;
284}
Daniel Willmann55844792013-12-28 14:41:00 +0100285
Jacob Erlbeckd87e1d62015-12-14 11:43:04 +0100286void gprs_rlc_ul_window::receive_bsn(const uint16_t bsn)
Daniel Willmann55844792013-12-28 14:41:00 +0100287{
288 m_v_n.mark_received(bsn);
289 raise_v_r(bsn);
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100290}
Daniel Willmann55844792013-12-28 14:41:00 +0100291
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100292bool gprs_rlc_ul_window::invalidate_bsn(const uint16_t bsn)
293{
294 bool was_valid = m_v_n.is_received(bsn);
295 m_v_n.mark_missing(bsn);
296
297 return was_valid;
Daniel Willmann55844792013-12-28 14:41:00 +0100298}
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100299
300static void gprs_rlc_data_header_init(struct gprs_rlc_data_info *rlc,
301 GprsCodingScheme cs, unsigned int header_bits)
302{
303 unsigned int i;
304
305 memset(rlc, 0, sizeof(*rlc));
306
307 rlc->cs = cs;
308 rlc->num_data_blocks = cs.numDataBlocks();
309
310 OSMO_ASSERT(rlc->num_data_blocks <= ARRAY_SIZE(rlc->block_info));
311
312 for (i = 0; i < rlc->num_data_blocks; i++) {
313 gprs_rlc_data_block_info_init(&rlc->block_info[i], cs);
314
315 rlc->data_offs_bits[i] =
316 header_bits +
317 (i+1) * cs.numDataBlockHeaderBits() +
318 i * 8 * rlc->block_info[0].data_len;
319 }
320}
321
322void gprs_rlc_data_info_init_dl(struct gprs_rlc_data_info *rlc,
323 GprsCodingScheme cs)
324{
325 return gprs_rlc_data_header_init(rlc, cs, cs.numDataHeaderBitsDL());
326}
327
328void gprs_rlc_data_info_init_ul(struct gprs_rlc_data_info *rlc,
329 GprsCodingScheme cs)
330{
331 return gprs_rlc_data_header_init(rlc, cs, cs.numDataHeaderBitsUL());
332}
333
334void gprs_rlc_data_block_info_init(struct gprs_rlc_data_block_info *rdbi,
335 GprsCodingScheme cs)
336{
337 rdbi->data_len = cs.maxDataBlockBytes();
338 rdbi->bsn = 0;
339 rdbi->ti = 0;
340 rdbi->e = 1;
341 rdbi->cv = 15;
342 rdbi->pi = 0;
343 rdbi->spb = 0;
344}
Jacob Erlbeck70955c72016-01-13 13:09:09 +0100345
346unsigned int gprs_rlc_mcs_cps(GprsCodingScheme cs, int punct, int with_padding)
347{
348 switch (GprsCodingScheme::Scheme(cs)) {
349 case GprsCodingScheme::MCS1: return 0b1011 + punct % 2;
350 case GprsCodingScheme::MCS2: return 0b1001 + punct % 2;
351 case GprsCodingScheme::MCS3: return (with_padding ? 0b0110 : 0b0011) +
352 punct % 3;
353 case GprsCodingScheme::MCS4: return 0b0000 + punct % 3;
354 /* TODO: Add missing MCS */
355 default: ;
356 }
357
358 return -1;
359}