blob: 4f62f23c97fce949fee936e6b78577364dfdb027 [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 Erlbecke1ca87f2015-12-23 16:40:56 +0100117void gprs_rlc_dl_window::update(BTS *bts, char *show_rbb, uint16_t ssn,
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100118 uint16_t *lost, uint16_t *received)
119{
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100120 /* SSN - 1 is in range V(A)..V(S)-1 */
Daniel Willmann146514e2013-12-28 18:24:42 +0100121 for (int bitpos = 0; bitpos < ws(); bitpos++) {
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100122 uint16_t bsn = mod_sns(bitnum_to_bsn(bitpos, ssn));
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100123
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100124 if (bsn == mod_sns(v_a() - 1))
Daniel Willmanncc5a4cb2013-12-11 20:04:29 +0100125 break;
126
Daniel Willmann146514e2013-12-28 18:24:42 +0100127 if (show_rbb[ws() - 1 - bitpos] == 'R') {
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100128 LOGP(DRLCMACDL, LOGL_DEBUG, "- got ack for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100129 if (!m_v_b.is_acked(bsn))
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100130 *received += 1;
Daniel Willmann146514e2013-12-28 18:24:42 +0100131 m_v_b.mark_acked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100132 } else {
133 LOGP(DRLCMACDL, LOGL_DEBUG, "- got NACK for BSN=%d\n", bsn);
Daniel Willmann146514e2013-12-28 18:24:42 +0100134 m_v_b.mark_nacked(bsn);
Holger Hans Peter Freytherdf6b4f52013-11-24 17:05:48 +0100135 bts->rlc_nacked();
136 *lost += 1;
137 }
138 }
139}
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100140
Daniel Willmann146514e2013-12-28 18:24:42 +0100141int gprs_rlc_dl_window::move_window()
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100142{
143 int i;
144 uint16_t bsn;
145 int moved = 0;
146
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100147 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Daniel Willmann146514e2013-12-28 18:24:42 +0100148 if (m_v_b.is_acked(bsn)) {
149 m_v_b.mark_invalid(bsn);
Holger Hans Peter Freythere358ff82013-11-24 17:13:10 +0100150 moved += 1;
151 } else
152 break;
153 }
154
155 return moved;
156}
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100157
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100158void gprs_rlc_dl_window::show_state(char *show_v_b)
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100159{
160 int i;
161 uint16_t bsn;
162
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100163 for (i = 0, bsn = v_a(); bsn != v_s(); i++, bsn = mod_sns(bsn + 1)) {
Holger Hans Peter Freyther3cbf9e02013-11-26 21:43:58 +0100164 uint16_t index = bsn & mod_sns_half();
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100165 switch(m_v_b.get_state(index)) {
166 case GPRS_RLC_DL_BSN_INVALID:
167 show_v_b[i] = 'I';
168 break;
169 case GPRS_RLC_DL_BSN_ACKED:
170 show_v_b[i] = 'A';
171 break;
172 case GPRS_RLC_DL_BSN_RESEND:
173 show_v_b[i] = 'X';
174 break;
175 case GPRS_RLC_DL_BSN_NACKED:
176 show_v_b[i] = 'N';
177 break;
Daniel Willmann3ce011f2014-01-15 12:45:56 +0100178 default:
179 show_v_b[i] = '?';
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100180 }
Holger Hans Peter Freytherbc155702013-11-24 17:20:35 +0100181 }
182 show_v_b[i] = '\0';
183}
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100184
185void gprs_rlc_v_n::reset()
186{
Daniel Willmannd54d9f52013-12-28 21:16:13 +0100187 for (size_t i = 0; i < ARRAY_SIZE(m_v_n); ++i)
188 m_v_n[i] = GPRS_RLC_UL_BSN_INVALID;
Holger Hans Peter Freythere9b1ebb2013-11-24 22:00:43 +0100189}
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100190
Jacob Erlbeck8f8197f2015-12-28 13:51:44 +0100191void gprs_rlc_ul_window::set_sns(uint16_t sns)
192{
193 OSMO_ASSERT(sns >= RLC_GPRS_SNS);
194 OSMO_ASSERT(sns <= RLC_MAX_SNS);
195 /* check for 2^n */
196 OSMO_ASSERT((sns & (-sns)) == sns);
197 m_sns = sns;
198}
199
200void gprs_rlc_ul_window::set_ws(uint16_t ws)
201{
202 OSMO_ASSERT(ws >= RLC_GPRS_SNS/2);
203 OSMO_ASSERT(ws <= RLC_MAX_SNS/2);
204 m_ws = ws;
205}
206
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100207/* Update the receive block bitmap */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100208void gprs_rlc_ul_window::update_rbb(char *rbb)
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100209{
210 int i;
211 for (i=0; i < ws(); i++) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100212 if (m_v_n.is_received(ssn()-1-i))
Daniel Willmann8a31f9e2013-11-27 17:08:35 +0100213 rbb[ws()-1-i] = 'R';
214 else
215 rbb[ws()-1-i] = 'I';
216 }
217}
218
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100219/* Raise V(R) to highest received sequence number not received. */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100220void gprs_rlc_ul_window::raise_v_r(const uint16_t bsn)
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100221{
222 uint16_t offset_v_r;
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100223 offset_v_r = mod_sns(bsn + 1 - v_r());
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100224 /* Positive offset, so raise. */
225 if (offset_v_r < (sns() >> 1)) {
226 while (offset_v_r--) {
227 if (offset_v_r) /* all except the received block */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100228 m_v_n.mark_missing(v_r());
Daniel Willmannf4a1ec62013-12-28 13:57:31 +0100229 raise_v_r_to(1);
Holger Hans Peter Freythercbb00eb2013-11-25 23:26:06 +0100230 }
231 LOGP(DRLCMACUL, LOGL_DEBUG, "- Raising V(R) to %d\n", v_r());
232 }
233}
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100234
235/*
236 * Raise V(Q) if possible. This is looped until there is a gap
237 * (non received block) or the window is empty.
238 */
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100239uint16_t gprs_rlc_ul_window::raise_v_q()
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100240{
241 uint16_t count = 0;
242
243 while (v_q() != v_r()) {
Daniel Willmann7c3751b2013-12-28 13:59:24 +0100244 if (!m_v_n.is_received(v_q()))
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100245 break;
246 LOGP(DRLCMACUL, LOGL_DEBUG, "- Taking block %d out, raising "
Jacob Erlbeck93c55d02015-12-23 16:29:07 +0100247 "V(Q) to %d\n", v_q(), mod_sns(v_q() + 1));
Holger Hans Peter Freyther7f3e6622013-11-25 23:51:19 +0100248 raise_v_q(1);
249 count += 1;
250 }
251
252 return count;
253}
Daniel Willmann55844792013-12-28 14:41:00 +0100254
Jacob Erlbeckd87e1d62015-12-14 11:43:04 +0100255void gprs_rlc_ul_window::receive_bsn(const uint16_t bsn)
Daniel Willmann55844792013-12-28 14:41:00 +0100256{
257 m_v_n.mark_received(bsn);
258 raise_v_r(bsn);
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100259}
Daniel Willmann55844792013-12-28 14:41:00 +0100260
Jacob Erlbeck784a0bd2015-12-14 11:54:29 +0100261bool gprs_rlc_ul_window::invalidate_bsn(const uint16_t bsn)
262{
263 bool was_valid = m_v_n.is_received(bsn);
264 m_v_n.mark_missing(bsn);
265
266 return was_valid;
Daniel Willmann55844792013-12-28 14:41:00 +0100267}