<p>pespin has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/21127">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">pcu: Implement ACKing EGPRS Dl TBF blocks<br><br>Change-Id: I9f1b621a8365e69d2e1a33d59cb8c7a59639ad94<br>---<br>M pcu/GPRS_Components.ttcn<br>1 file changed, 95 insertions(+), 9 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/27/21127/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/pcu/GPRS_Components.ttcn b/pcu/GPRS_Components.ttcn</span><br><span>index 2686ba3..213d24d 100644</span><br><span>--- a/pcu/GPRS_Components.ttcn</span><br><span>+++ b/pcu/GPRS_Components.ttcn</span><br><span>@@ -77,7 +77,8 @@</span><br><span>      uint5_t                 tfi,</span><br><span>         GsmArfcn                arfcn optional,</span><br><span>      BIT8                    ts_mask,</span><br><span style="color: hsl(0, 100%, 40%);">-        AckNackDescription      acknack_desc</span><br><span style="color: hsl(120, 100%, 40%);">+  AckNackDescription      acknack_desc,</span><br><span style="color: hsl(120, 100%, 40%);">+ EgprsAckNackDescription egprs_acknack_desc</span><br><span> };</span><br><span> </span><br><span> type union PacketUlAssignChan {</span><br><span>@@ -117,6 +118,15 @@</span><br><span>       receive_block_bitmap := '0000000000000000000000000000000000000000000000000000000000000000'B</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+template EgprsAckNackDescription t_EgprsAckNackDescription_init := {</span><br><span style="color: hsl(120, 100%, 40%);">+    final_ack := '0'B,</span><br><span style="color: hsl(120, 100%, 40%);">+    begin_window := '1'B,</span><br><span style="color: hsl(120, 100%, 40%);">+ end_window := '1'B,</span><br><span style="color: hsl(120, 100%, 40%);">+   starting_seq_nr := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ compressed := '0'B,</span><br><span style="color: hsl(120, 100%, 40%);">+   urbb := '0000000000000000000000000000000000000000000000000000000000000000'B</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> const uint3_t USF_UNUSED := 7; /* used to indicate PRACH */</span><br><span> </span><br><span> template (value) GprsMS t_GprsMS_def := {</span><br><span>@@ -137,7 +147,8 @@</span><br><span>       tfi := 0,</span><br><span>    arfcn := omit,</span><br><span>       ts_mask := '00000000'B,</span><br><span style="color: hsl(0, 100%, 40%);">- acknack_desc := t_AckNackDescription_init</span><br><span style="color: hsl(120, 100%, 40%);">+     acknack_desc := t_AckNackDescription_init,</span><br><span style="color: hsl(120, 100%, 40%);">+    egprs_acknack_desc := t_EgprsAckNackDescription_init</span><br><span> };</span><br><span> </span><br><span> template (value) UlTbf t_UlTbf_def := {</span><br><span>@@ -401,10 +412,33 @@</span><br><span>    return n;</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+function f_dltbf_ack_block(inout DlTbf dl_tbf, RlcmacDlBlock dl_block, BIT1 final_ack := '0'B)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on MS_BTS_IFACE_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var boolean is_egprs := ischosen(dl_block.data_egprs);</span><br><span style="color: hsl(120, 100%, 40%);">+        if (is_egprs) {</span><br><span style="color: hsl(120, 100%, 40%);">+               f_egprs_acknackdesc_ack_block(dl_tbf.egprs_acknack_desc, dl_block, final_ack);</span><br><span style="color: hsl(120, 100%, 40%);">+        } else {</span><br><span style="color: hsl(120, 100%, 40%);">+              f_acknackdesc_ack_block(dl_tbf.acknack_desc, dl_block, final_ack);</span><br><span style="color: hsl(120, 100%, 40%);">+    }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+function f_dltbf_ts_RLCMAC_DL_ACK_NACK(DlTbf dl_tbf, boolean use_egprs := false)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on MS_BTS_IFACE_CT return template RlcmacUlBlock  {</span><br><span style="color: hsl(120, 100%, 40%);">+    if (use_egprs) {</span><br><span style="color: hsl(120, 100%, 40%);">+              return ts_RLCMAC_DL_ACK_NACK_EGPRS(dl_tbf.tfi, dl_tbf.egprs_acknack_desc);</span><br><span style="color: hsl(120, 100%, 40%);">+    } else {</span><br><span style="color: hsl(120, 100%, 40%);">+              return ts_RLCMAC_DL_ACK_NACK(dl_tbf.tfi, dl_tbf.acknack_desc);</span><br><span style="color: hsl(120, 100%, 40%);">+        }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> function f_ultbf_inc_bsn(inout UlTbf ul_tbf)</span><br><span> runs on MS_BTS_IFACE_CT {</span><br><span>  ul_tbf.bsn := ul_tbf.bsn + 1;</span><br><span style="color: hsl(0, 100%, 40%);">-   ul_tbf.bsn := ul_tbf.bsn mod 128; /* FIXME: EGPRS SNS: 2048 */</span><br><span style="color: hsl(120, 100%, 40%);">+        if (ul_tbf.is_egprs) {</span><br><span style="color: hsl(120, 100%, 40%);">+                ul_tbf.bsn := ul_tbf.bsn mod 2048;</span><br><span style="color: hsl(120, 100%, 40%);">+    } else {</span><br><span style="color: hsl(120, 100%, 40%);">+              ul_tbf.bsn := ul_tbf.bsn mod 128;</span><br><span style="color: hsl(120, 100%, 40%);">+     }</span><br><span> }</span><br><span> </span><br><span> function f_ultbf_next_ts(UlTbf ul_tbf)</span><br><span>@@ -640,12 +674,7 @@</span><br><span>  var uint7_t bsn;</span><br><span>     var integer i;</span><br><span>       var integer inc;</span><br><span style="color: hsl(0, 100%, 40%);">-</span><br><span style="color: hsl(0, 100%, 40%);">-        if (ischosen(dl_block.data)) {</span><br><span style="color: hsl(0, 100%, 40%);">-          bsn := dl_block.data.mac_hdr.hdr_ext.bsn;</span><br><span style="color: hsl(0, 100%, 40%);">-       } else {</span><br><span style="color: hsl(0, 100%, 40%);">-                bsn := dl_block.data_egprs.mac_hdr.bsn1;</span><br><span style="color: hsl(0, 100%, 40%);">-        }</span><br><span style="color: hsl(120, 100%, 40%);">+     bsn := dl_block.data.mac_hdr.hdr_ext.bsn;</span><br><span> </span><br><span>        /* Filling hole? */</span><br><span>  if (bsn < desc.starting_seq_nr) {</span><br><span>@@ -675,6 +704,52 @@</span><br><span>  desc.final_ack := final_ack;</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+/* TS 44.060 sec 12.3 Ack/Nack Description */</span><br><span style="color: hsl(120, 100%, 40%);">+function f_egprs_acknackdesc_ack_block(inout EgprsAckNackDescription desc, RlcmacDlBlock dl_block, BIT1 final_ack := '0'B)</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+   var uint11_t bsn;</span><br><span style="color: hsl(120, 100%, 40%);">+     var integer i;</span><br><span style="color: hsl(120, 100%, 40%);">+        var integer inc;</span><br><span style="color: hsl(120, 100%, 40%);">+      var integer n := 0;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ bsn := dl_block.data_egprs.mac_hdr.bsn1;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+    /* Repetition? */</span><br><span style="color: hsl(120, 100%, 40%);">+     if (bsn < desc.starting_seq_nr) {</span><br><span style="color: hsl(120, 100%, 40%);">+          /* Filling hole, wraparound: */</span><br><span style="color: hsl(120, 100%, 40%);">+               if (bsn - desc.starting_seq_nr > lengthof(desc.urbb)) {</span><br><span style="color: hsl(120, 100%, 40%);">+                    desc.urbb[lengthof(desc.urbb) - (desc.starting_seq_nr + (2048 - bsn))] := int2bit(1, 1);</span><br><span style="color: hsl(120, 100%, 40%);">+                      return;</span><br><span style="color: hsl(120, 100%, 40%);">+               }</span><br><span style="color: hsl(120, 100%, 40%);">+             return;</span><br><span style="color: hsl(120, 100%, 40%);">+       }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+   inc := bsn - desc.starting_seq_nr + 1;</span><br><span style="color: hsl(120, 100%, 40%);">+        desc.urbb[lengthof(desc.urbb) - inc] := int2bit(1, 1);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+      for (i :=  lengthof(desc.urbb) - 1; i >= lengthof(desc.urbb) - inc; i := i - 1) {</span><br><span style="color: hsl(120, 100%, 40%);">+          if (desc.urbb[i] == '0'B) {</span><br><span style="color: hsl(120, 100%, 40%);">+                   break;</span><br><span style="color: hsl(120, 100%, 40%);">+                }</span><br><span style="color: hsl(120, 100%, 40%);">+             n := n + 1;</span><br><span style="color: hsl(120, 100%, 40%);">+   }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+   if (n > 0) {</span><br><span style="color: hsl(120, 100%, 40%);">+               /* SSN is increased, and so RBB values need to be moved */</span><br><span style="color: hsl(120, 100%, 40%);">+            for (i :=  lengthof(desc.urbb) - 1; i >= n; i := i - 1) {</span><br><span style="color: hsl(120, 100%, 40%);">+                  desc.urbb[i] := desc.urbb[i - n];</span><br><span style="color: hsl(120, 100%, 40%);">+             }</span><br><span style="color: hsl(120, 100%, 40%);">+             for (i := n - 1; i >= 0; i := i - 1) {</span><br><span style="color: hsl(120, 100%, 40%);">+                     desc.urbb[i] := int2bit(0, 1);</span><br><span style="color: hsl(120, 100%, 40%);">+                }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+           desc.starting_seq_nr := (desc.starting_seq_nr + n) mod 2048;</span><br><span style="color: hsl(120, 100%, 40%);">+  }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+   /* Finally update the final_ack bit as requested: */</span><br><span style="color: hsl(120, 100%, 40%);">+  desc.final_ack := final_ack;</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> /* This function can be used to send DATA.cnf in response to the IUT originated DATA.req.</span><br><span>  * NOTE: it's the responsibility of caller to make sure that pcu_msg contains u.data_req. */</span><br><span> function f_pcuif_tx_data_cnf(in PCUIF_Message pcu_msg)</span><br><span>@@ -1036,6 +1111,17 @@</span><br><span>        return f_rrbp_ack_fn(dl_fn, rrbp);</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+function f_dl_block_rrbp_valid(in RlcmacDlBlock dl_block)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on MS_BTS_IFACE_CT return boolean {</span><br><span style="color: hsl(120, 100%, 40%);">+      if (ischosen(dl_block.data_egprs)) {</span><br><span style="color: hsl(120, 100%, 40%);">+          return dl_block.data_egprs.mac_hdr.esp != '00'B;</span><br><span style="color: hsl(120, 100%, 40%);">+      } else if (ischosen(dl_block.data)) {</span><br><span style="color: hsl(120, 100%, 40%);">+         return dl_block.data.mac_hdr.mac_hdr.rrbp_valid;</span><br><span style="color: hsl(120, 100%, 40%);">+      } else {</span><br><span style="color: hsl(120, 100%, 40%);">+              return dl_block.ctrl.mac_hdr.rrbp_valid;</span><br><span style="color: hsl(120, 100%, 40%);">+      }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> /* Return true if a given Packet Paging Request contains the given IMSI, false otherwise */</span><br><span> function f_pkt_paging_match_imsi(in PacketPagingReq req, template hexstring imsi,</span><br><span>                            boolean cs_domain := true, boolean ps_domain := true)</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/21127">change 21127</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/21127"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: I9f1b621a8365e69d2e1a33d59cb8c7a59639ad94 </div>
<div style="display:none"> Gerrit-Change-Number: 21127 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: pespin <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>