blob: e4a9563a177c449fa0d1cf49c8466075f726a520 [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
Daniel Willmann146514e2013-12-28 18:24:42 +010058int gprs_rlc_dl_window::resend_needed()
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010059{
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010060 for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010061 if (m_v_b.is_nacked(bsn) || m_v_b.is_resend(bsn))
Holger Hans Peter Freyther15777792013-11-24 00:18:47 +010062 return bsn;
63 }
64
65 return -1;
66}
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010067
Daniel Willmann146514e2013-12-28 18:24:42 +010068int gprs_rlc_dl_window::mark_for_resend()
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010069{
70 int resend = 0;
71
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010072 for (uint16_t bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010073 if (m_v_b.is_unacked(bsn)) {
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010074 /* mark to be re-send */
Daniel Willmann146514e2013-12-28 18:24:42 +010075 m_v_b.mark_resend(bsn);
Holger Hans Peter Freyther8b16ae32013-11-24 00:38:54 +010076 resend += 1;
77 }
78 }
79
80 return resend;
81}
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +010082
Daniel Willmann146514e2013-12-28 18:24:42 +010083int gprs_rlc_dl_window::count_unacked()
Holger Hans Peter Freyther9c5539d2013-11-24 17:34:17 +010084{
85 uint16_t unacked = 0;
86 uint16_t bsn;
87
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010088 for (bsn = v_a(); bsn != v_s(); bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +010089 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freyther9c5539d2013-11-24 17:34:17 +010090 unacked += 1;
91 }
92
93 return unacked;
94}
95
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010096static uint16_t bitnum_to_bsn(int bitnum, uint16_t ssn)
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +010097{
Jacob Erlbeck93c55d02015-12-23 16:29:07 +010098 return (ssn - 1 - bitnum);
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +010099}
100
Jacob Erlbeckeb08f862016-02-05 17:07:12 +0100101void gprs_rlc_dl_window::update(BTS *bts, const struct bitvec *rbb,
102 uint16_t first_bsn, uint16_t *lost,
103 uint16_t *received)
104{
105 unsigned num_blocks = rbb->cur_bit;
106 unsigned bsn;
107
108 /* first_bsn is in range V(A)..V(S) */
109
110 for (unsigned int bitpos = 0; bitpos < num_blocks; bitpos++) {
111 bool is_ack;
112 bsn = mod_sns(first_bsn + bitpos);
113 if (bsn == mod_sns(v_a() - 1))
114 break;
115
116 is_ack = bitvec_get_bit_pos(rbb, bitpos) == 1;
117
118 if (is_ack) {
119 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
120 if (!m_v_b.is_acked(bsn))
121 *received += 1;
122 m_v_b.mark_acked(bsn);
123 } else {
124 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
125 m_v_b.mark_nacked(bsn);
126 bts->rlc_nacked();
127 *lost += 1;
128 }
129 }
130}
131
Jacob Erlbecke1ca87f2015-12-23 16:40:56 +0100132void gprs_rlc_dl_window::update(BTS *bts, char *show_rbb, uint16_t ssn,
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100133 uint16_t *lost, uint16_t *received)
134{
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100135 /* SSN - 1 is in range V(A)..V(S)-1 */
Daniel Willmann146514e2013-12-28 18:24:42 +0100136 for (int bitpos = 0; bitpos < ws(); bitpos++) {
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100137 uint16_t bsn = mod_sns(bitnum_to_bsn(bitpos, ssn));
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100138
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100139 if (bsn == mod_sns(v_a() - 1))
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100140 break;
141
Daniel Willmann146514e2013-12-28 18:24:42 +0100142 if (show_rbb[ws() - 1 - bitpos] == 'R') {
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100143 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100144 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100145 *received += 1;
Daniel Willmann146514e2013-12-28 18:24:42 +0100146 m_v_b.mark_acked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100147 } else {
148 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100149 m_v_b.mark_nacked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100150 bts->rlc_nacked();
151 *lost += 1;
152 }
153 }
154}
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100155
Daniel Willmann146514e2013-12-28 18:24:42 +0100156int gprs_rlc_dl_window::move_window()
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100157{
158 int i;
159 uint16_t bsn;
160 int moved = 0;
161
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100162 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +0100163 if (m_v_b.is_acked(bsn)) {
164 m_v_b.mark_invalid(bsn);
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100165 moved += 1;
166 } else
167 break;
168 }
169
170 return moved;
171}
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100172
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100173void gprs_rlc_dl_window::show_state(char *show_v_b)
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100174{
175 int i;
176 uint16_t bsn;
177
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100178 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Holger Hans Peter Freyther3cbf9e02013-11-26 21:43:58 +0100179 uint16_t index = bsn & mod_sns_half();
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100180 switch(m_v_b.get_state(index)) {
181 case GPRS_RLC_DL_BSN_INVALID:
182 show_v_b[i] = 'I';
183 break;
184 case GPRS_RLC_DL_BSN_ACKED:
185 show_v_b[i] = 'A';
186 break;
187 case GPRS_RLC_DL_BSN_RESEND:
188 show_v_b[i] = 'X';
189 break;
190 case GPRS_RLC_DL_BSN_NACKED:
191 show_v_b[i] = 'N';
192 break;
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100193 default:
194 show_v_b[i] = '?';
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100195 }
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100196 }
197 show_v_b[i] = '\0';
198}
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100199
200void gprs_rlc_v_n::reset()
201{
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100202 for (size_t i = 0; i < ARRAY_SIZE(m_v_n); ++i)
203 m_v_n[i] = GPRS_RLC_UL_BSN_INVALID;
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100204}
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100205
Jacob Erlbeckdb883802016-01-19 14:07:33 +0100206void gprs_rlc_window::set_sns(uint16_t sns)
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +0100207{
208 OSMO_ASSERT(sns >= RLC_GPRS_SNS);
209 OSMO_ASSERT(sns <= RLC_MAX_SNS);
210 /* check for 2^n */
211 OSMO_ASSERT((sns & (-sns)) == sns);
212 m_sns = sns;
213}
214
Jacob Erlbeckdb883802016-01-19 14:07:33 +0100215void gprs_rlc_window::set_ws(uint16_t ws)
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +0100216{
217 OSMO_ASSERT(ws >= RLC_GPRS_SNS/2);
218 OSMO_ASSERT(ws <= RLC_MAX_SNS/2);
219 m_ws = ws;
220}
221
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100222/* Update the receive block bitmap */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100223void gprs_rlc_ul_window::update_rbb(char *rbb)
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100224{
225 int i;
226 for (i=0; i < ws(); i++) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100227 if (m_v_n.is_received(ssn()-1-i))
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100228 rbb[ws()-1-i] = 'R';
229 else
230 rbb[ws()-1-i] = 'I';
231 }
232}
233
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100234/* Raise V(R) to highest received sequence number not received. */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100235void gprs_rlc_ul_window::raise_v_r(const uint16_t bsn)
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100236{
237 uint16_t offset_v_r;
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100238 offset_v_r = mod_sns(bsn + 1 - v_r());
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100239 /* Positive offset, so raise. */
240 if (offset_v_r < (sns() >> 1)) {
241 while (offset_v_r--) {
242 if (offset_v_r) /* all except the received block */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100243 m_v_n.mark_missing(v_r());
Daniel Willmannf4a1ec62013-12-28 13:57:31 +0100244 raise_v_r_to(1);
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100245 }
246 LOGP(DRLCMACUL, LOGL_DEBUG, "- Raising V(R) to %d\n", v_r());
247 }
248}
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100249
250/*
251 * Raise V(Q) if possible. This is looped until there is a gap
252 * (non received block) or the window is empty.
253 */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100254uint16_t gprs_rlc_ul_window::raise_v_q()
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100255{
256 uint16_t count = 0;
257
258 while (v_q() != v_r()) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100259 if (!m_v_n.is_received(v_q()))
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100260 break;
261 LOGP(DRLCMACUL, LOGL_DEBUG, "- Taking block %d out, raising "
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100262 "V(Q) to %d\n", v_q(), mod_sns(v_q() + 1));
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100263 raise_v_q(1);
264 count += 1;
265 }
266
267 return count;
268}
Daniel Willmann55844792013-12-28 14:41:00 +0100269
Jacob Erlbeckd87e1d62015-12-14 11:43:04 +0100270void gprs_rlc_ul_window::receive_bsn(const uint16_t bsn)
Daniel Willmann55844792013-12-28 14:41:00 +0100271{
272 m_v_n.mark_received(bsn);
273 raise_v_r(bsn);
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100274}
Daniel Willmann55844792013-12-28 14:41:00 +0100275
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100276bool gprs_rlc_ul_window::invalidate_bsn(const uint16_t bsn)
277{
278 bool was_valid = m_v_n.is_received(bsn);
279 m_v_n.mark_missing(bsn);
280
281 return was_valid;
Daniel Willmann55844792013-12-28 14:41:00 +0100282}
Jacob Erlbeck6e9f9c22016-01-11 11:15:45 +0100283
284static void gprs_rlc_data_header_init(struct gprs_rlc_data_info *rlc,
285 GprsCodingScheme cs, unsigned int header_bits)
286{
287 unsigned int i;
288
289 memset(rlc, 0, sizeof(*rlc));
290
291 rlc->cs = cs;
292 rlc->num_data_blocks = cs.numDataBlocks();
293
294 OSMO_ASSERT(rlc->num_data_blocks <= ARRAY_SIZE(rlc->block_info));
295
296 for (i = 0; i < rlc->num_data_blocks; i++) {
297 gprs_rlc_data_block_info_init(&rlc->block_info[i], cs);
298
299 rlc->data_offs_bits[i] =
300 header_bits +
301 (i+1) * cs.numDataBlockHeaderBits() +
302 i * 8 * rlc->block_info[0].data_len;
303 }
304}
305
306void gprs_rlc_data_info_init_dl(struct gprs_rlc_data_info *rlc,
307 GprsCodingScheme cs)
308{
309 return gprs_rlc_data_header_init(rlc, cs, cs.numDataHeaderBitsDL());
310}
311
312void gprs_rlc_data_info_init_ul(struct gprs_rlc_data_info *rlc,
313 GprsCodingScheme cs)
314{
315 return gprs_rlc_data_header_init(rlc, cs, cs.numDataHeaderBitsUL());
316}
317
318void gprs_rlc_data_block_info_init(struct gprs_rlc_data_block_info *rdbi,
319 GprsCodingScheme cs)
320{
321 rdbi->data_len = cs.maxDataBlockBytes();
322 rdbi->bsn = 0;
323 rdbi->ti = 0;
324 rdbi->e = 1;
325 rdbi->cv = 15;
326 rdbi->pi = 0;
327 rdbi->spb = 0;
328}
Jacob Erlbeck70955c72016-01-13 13:09:09 +0100329
330unsigned int gprs_rlc_mcs_cps(GprsCodingScheme cs, int punct, int with_padding)
331{
332 switch (GprsCodingScheme::Scheme(cs)) {
333 case GprsCodingScheme::MCS1: return 0b1011 + punct % 2;
334 case GprsCodingScheme::MCS2: return 0b1001 + punct % 2;
335 case GprsCodingScheme::MCS3: return (with_padding ? 0b0110 : 0b0011) +
336 punct % 3;
337 case GprsCodingScheme::MCS4: return 0b0000 + punct % 3;
338 /* TODO: Add missing MCS */
339 default: ;
340 }
341
342 return -1;
343}