<p>Pau Espin Pedrol has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/11562">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">WIP: bts: f_est_dchan: verify Chan Rqd originated by RACH arrives on RSL<br><br>Change-Id: I438fd3ee82d88498d928dbcc89ce9bd80d37ab64<br>---<br>M bts/BTS_Tests.ttcn<br>M library/RSL_Emulation.ttcn<br>M library/RSL_Types.ttcn<br>3 files changed, 76 insertions(+), 7 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/62/11562/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/bts/BTS_Tests.ttcn b/bts/BTS_Tests.ttcn</span><br><span>index 5b073ef..0676214 100644</span><br><span>--- a/bts/BTS_Tests.ttcn</span><br><span>+++ b/bts/BTS_Tests.ttcn</span><br><span>@@ -1344,17 +1344,37 @@</span><br><span> }</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+/* Send RACH request through l1CTL and wait for ChanReq on RSL BST->BSC */</span><br><span style="color: hsl(120, 100%, 40%);">+private function f_rach_req_wait_chan_rqd(integer ra) runs on ConnHdlr return GsmFrameNumber {</span><br><span style="color: hsl(120, 100%, 40%);">+ var GsmFrameNumber fn;</span><br><span style="color: hsl(120, 100%, 40%);">+ timer T := 8.0;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_L1CTL_PARAM(L1CTL, g_pars.l1_pars.ms_actual_ta, g_pars.l1_pars.ms_power_level);</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Send the actual RACH */</span><br><span style="color: hsl(120, 100%, 40%);">+ log("PESPIN: calling f_L1CTL_RACH ", ra);</span><br><span style="color: hsl(120, 100%, 40%);">+ fn := f_L1CTL_RACH(L1CTL, ra);</span><br><span style="color: hsl(120, 100%, 40%);">+ log("PESPIN: called with fn returned ", fn);</span><br><span style="color: hsl(120, 100%, 40%);">+ /* advertise to RSL Emulation that we expect to receive confirmation from RACH */</span><br><span style="color: hsl(120, 100%, 40%);">+ RSL.send(ts_RSLDC_ChanRqd(int2oct(ra,1), fn));</span><br><span style="color: hsl(120, 100%, 40%);">+ T.start;</span><br><span style="color: hsl(120, 100%, 40%);">+ alt {</span><br><span style="color: hsl(120, 100%, 40%);">+ [] RSL.receive(tr_RSL_CHAN_RQD(int2oct(ra,1), fn)) { setverdict(pass, "Received CHAN-RQD from RACH REQ")}</span><br><span style="color: hsl(120, 100%, 40%);">+ [] T.timeout {</span><br><span style="color: hsl(120, 100%, 40%);">+ Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Timeout waiting for CHAN-RQD from RACH REQ <", ra, ", ", fn, ">"));</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%);">+ T.stop</span><br><span style="color: hsl(120, 100%, 40%);">+ return fn;</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span> </span><br><span> /* Establish dedicated channel: L1CTL + RSL side */</span><br><span> private function f_est_dchan(boolean encr_enable := false) runs on ConnHdlr {</span><br><span style="color: hsl(0, 100%, 40%);">- var GsmFrameNumber fn;</span><br><span> var ImmediateAssignment imm_ass;</span><br><span> var integer ra := 23;</span><br><span style="color: hsl(120, 100%, 40%);">+ var GsmFrameNumber fn;</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- f_L1CTL_PARAM(L1CTL, g_pars.l1_pars.ms_actual_ta, g_pars.l1_pars.ms_power_level);</span><br><span style="color: hsl(0, 100%, 40%);">- fn := f_L1CTL_RACH(L1CTL, ra);</span><br><span style="color: hsl(0, 100%, 40%);">- /* This arrives on CCHAN, so we cannot test for receiving CHAN RQDhere */</span><br><span style="color: hsl(0, 100%, 40%);">- //RSL.receive(tr_RSL_CHAN_RQD(int2oct(23,1)));</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Send RACH request and wait for ChanReq */</span><br><span style="color: hsl(120, 100%, 40%);">+ fn := f_rach_req_wait_chan_rqd(ra);</span><br><span> </span><br><span> /* Activate channel on BTS side */</span><br><span> f_rsl_chan_act(g_pars.chan_mode, encr_enable);</span><br><span>diff --git a/library/RSL_Emulation.ttcn b/library/RSL_Emulation.ttcn</span><br><span>index cf02d00..24c9202 100644</span><br><span>--- a/library/RSL_Emulation.ttcn</span><br><span>+++ b/library/RSL_Emulation.ttcn</span><br><span>@@ -148,7 +148,7 @@</span><br><span> runs on RSL_Emulation_CT return integer {</span><br><span> var integer i;</span><br><span> for (i := 0; i < sizeof(ConnectionTable); i := i+1) {</span><br><span style="color: hsl(0, 100%, 40%);">- if (ispresent(ConnectionTable[i].comp_ref) and </span><br><span style="color: hsl(120, 100%, 40%);">+ if (ispresent(ConnectionTable[i].comp_ref) and</span><br><span> ConnectionTable[i].comp_ref == comp_ref) {</span><br><span> return i;</span><br><span> }</span><br><span>@@ -161,7 +161,7 @@</span><br><span> runs on RSL_Emulation_CT return integer {</span><br><span> var integer i;</span><br><span> for (i := 0; i < sizeof(ConnectionTable); i := i+1) {</span><br><span style="color: hsl(0, 100%, 40%);">- if (ispresent(ConnectionTable[i].chan_nr) and </span><br><span style="color: hsl(120, 100%, 40%);">+ if (ispresent(ConnectionTable[i].chan_nr) and</span><br><span> ConnectionTable[i].chan_nr == chan_nr and ConnectionTable[i].trx_nr == trx_nr) {</span><br><span> return i;</span><br><span> }</span><br><span>@@ -183,6 +183,24 @@</span><br><span> return -1;</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+private function f_cid_by_ra_fn2(OCT1 ra, RSL_IE_FrameNumber fn)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on RSL_Emulation_CT return integer {</span><br><span style="color: hsl(120, 100%, 40%);">+ var RSL_IE_FrameNumber ct_fn;</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer i;</span><br><span style="color: hsl(120, 100%, 40%);">+ for (i := 0; i < sizeof(ConnectionTable); i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+ if (ispresent(ConnectionTable[i].ra) and</span><br><span style="color: hsl(120, 100%, 40%);">+ ConnectionTable[i].ra == ra) {</span><br><span style="color: hsl(120, 100%, 40%);">+ ct_fn := f_compute_RSL_IE_FrameNumber(ConnectionTable[i].ra_fn);</span><br><span style="color: hsl(120, 100%, 40%);">+ log("PESPIN: matching ", fn, " with ", ct_fn)</span><br><span style="color: hsl(120, 100%, 40%);">+ if (ct_fn == fn) {</span><br><span style="color: hsl(120, 100%, 40%);">+ return i;</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%);">+ log("No Dchan handler for ", ra, fn);</span><br><span style="color: hsl(120, 100%, 40%);">+ return -1;</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> /* create an ew client with given RA and FN */</span><br><span> private function f_cid_create(OCT1 ra, GsmFrameNumber fn, RSL_DchanHdlr comp_ref)</span><br><span> runs on RSL_Emulation_CT {</span><br><span>@@ -394,6 +412,23 @@</span><br><span> }</span><br><span> }</span><br><span> }</span><br><span style="color: hsl(120, 100%, 40%);">+ [not bts_role] IPA_PT.receive(tr_RSL(tr_RSL_CHAN_RQD(?))) -> value rx_rsl {</span><br><span style="color: hsl(120, 100%, 40%);">+ var RSL_IE_RequestRef req_ref;</span><br><span style="color: hsl(120, 100%, 40%);">+ var OCT1 ra;</span><br><span style="color: hsl(120, 100%, 40%);">+ var GsmFrameNumber fn;</span><br><span style="color: hsl(120, 100%, 40%);">+ req_ref := rx_rsl.rsl.ies[1].body.req_ref;</span><br><span style="color: hsl(120, 100%, 40%);">+ ra := req_ref.ra</span><br><span style="color: hsl(120, 100%, 40%);">+ //fn := 23; //FIXME(req_ref.frame_nr);</span><br><span style="color: hsl(120, 100%, 40%);">+ cid := f_cid_by_ra_fn2(req_ref.ra, req_ref.frame_nr);</span><br><span style="color: hsl(120, 100%, 40%);">+ if (cid != -1) {</span><br><span style="color: hsl(120, 100%, 40%);">+ //ConnectionTable[cid].chan_nr := rx_rsl.rsl.ies[0].body.chan_nr;</span><br><span style="color: hsl(120, 100%, 40%);">+ CLIENT_PT.send(rx_rsl.rsl) to ConnectionTable[cid].comp_ref;</span><br><span style="color: hsl(120, 100%, 40%);">+ f_cid_clear(cid);</span><br><span style="color: hsl(120, 100%, 40%);">+ } else {</span><br><span style="color: hsl(120, 100%, 40%);">+ log("Received CHAN-RQD from unknown RACH REQ", req_ref);</span><br><span style="color: hsl(120, 100%, 40%);">+ CCHAN_PT.send(rx_rsl);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span> </span><br><span> [bts_role] IPA_PT.receive(tr_RSL(tr_RSL_PAGING_CMD(?, ?))) -> value rx_rsl {</span><br><span> /* broadcast to all clients? */</span><br><span>@@ -446,6 +481,11 @@</span><br><span> ts_RSL_CHAN_RQD(chan_rqd.ra, chan_rqd.fn)));</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+ [not bts_role] CLIENT_PT.receive(RSLDC_ChanRqd:?) -> value chan_rqd sender vc_conn {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Store the knowledge that this sender has requested a certain RQ+time */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_cid_create(chan_rqd.ra, chan_rqd.fn, vc_conn);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> [] CLIENT_PT.receive(tr_RSL_MsgType(?)) -> value rx_rsl_msg sender vc_conn {</span><br><span> /* forward to BSC */</span><br><span> cid := f_cid_by_comp_ref(vc_conn);</span><br><span>diff --git a/library/RSL_Types.ttcn b/library/RSL_Types.ttcn</span><br><span>index cd4ba58..1741c01 100644</span><br><span>--- a/library/RSL_Types.ttcn</span><br><span>+++ b/library/RSL_Types.ttcn</span><br><span>@@ -404,6 +404,15 @@</span><br><span> }</span><br><span> type RSL_IE_FrameNumber RSL_IE_StartingTime;</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+ /* compute the expected request reference for given RA + FN */</span><br><span style="color: hsl(120, 100%, 40%);">+ function f_compute_RSL_IE_FrameNumber(GsmFrameNumber fn) return RSL_IE_FrameNumber {</span><br><span style="color: hsl(120, 100%, 40%);">+ var RSL_IE_FrameNumber frame_nr;</span><br><span style="color: hsl(120, 100%, 40%);">+ frame_nr.t1_p := (fn / 1326) mod 32;</span><br><span style="color: hsl(120, 100%, 40%);">+ frame_nr.t2 := fn mod 26;</span><br><span style="color: hsl(120, 100%, 40%);">+ frame_nr.t3 := fn mod 51;</span><br><span style="color: hsl(120, 100%, 40%);">+ return frame_nr</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> /* 9.3.10 */</span><br><span> type record RSL_IE_L1Info {</span><br><span> uint5_t ms_power_lvl,</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/11562">change 11562</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/11562"/><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-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I438fd3ee82d88498d928dbcc89ce9bd80d37ab64 </div>
<div style="display:none"> Gerrit-Change-Number: 11562 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Pau Espin Pedrol <pespin@sysmocom.de> </div>