<p>laforge has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/23542">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">NS_Provider_IPL4: Implement new "endpoint" mode<br><br>This adds a new, optional "endpoint" mode to the IPL4 provider,<br>where we remove the constraint of "one NSVC per provider", which<br>in turn is a pre-requirement for real IP-SNS support with full<br>mesh of NS-VCs.<br><br>This code doesn't introduce any users of this "endpoint" mode yet.<br><br>Change-Id: I05a50b966b8ce93497372ca403d40fd383dd35f7<br>---<br>M library/NS_Provider_IPL4.ttcn<br>1 file changed, 149 insertions(+), 10 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/42/23542/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/library/NS_Provider_IPL4.ttcn b/library/NS_Provider_IPL4.ttcn</span><br><span>index 9d72075..d316a5e 100644</span><br><span>--- a/library/NS_Provider_IPL4.ttcn</span><br><span>+++ b/library/NS_Provider_IPL4.ttcn</span><br><span>@@ -1,5 +1,5 @@</span><br><span> /* NS Provider for NS/UDP/IP</span><br><span style="color: hsl(0, 100%, 40%);">- * (C) 2020 Harald Welte <laforge@gnumonks.org></span><br><span style="color: hsl(120, 100%, 40%);">+ * (C) 2020-2021 Harald Welte <laforge@gnumonks.org></span><br><span>  * contributions by sysmocom - s.f.m.c. GmbH</span><br><span>  * All rights reserved.</span><br><span>  *</span><br><span>@@ -9,43 +9,144 @@</span><br><span>  * SPDX-License-Identifier: GPL-2.0-or-later</span><br><span>  */</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+/* This provider can be operated in two modes:</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * 1) the "classic" mode, where - similar to the NS_Provider_FR - there is</span><br><span style="color: hsl(120, 100%, 40%);">+ *    only one NSVC per provider.  In this mode, the "NSE" port is used to</span><br><span style="color: hsl(120, 100%, 40%);">+ *    exchange data with the next higher level component, such as a NSVC_CT</span><br><span style="color: hsl(120, 100%, 40%);">+ *    or a RAW_NS_CT.</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * 2) the enew "endpoint" mode, where one provider can host a number of different</span><br><span style="color: hsl(120, 100%, 40%);">+ *    NSVCs.  This is needed in most non-trivial IP-SNS scenarios.   The 'NSE'</span><br><span style="color: hsl(120, 100%, 40%);">+ *    port of this component is no longer used.  Instead, there is a NSVC port</span><br><span style="color: hsl(120, 100%, 40%);">+ *    array, one of which will be used for each NSVC.   The NSVCs are dynamically</span><br><span style="color: hsl(120, 100%, 40%);">+ *    added and removed via the PROC procedure port, controlled by NS_CT.</span><br><span style="color: hsl(120, 100%, 40%);">+ */</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> module NS_Provider_IPL4 {</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+import from Misc_Helpers all;</span><br><span> import from NS_Emulation all;</span><br><span> import from NS_Types all;</span><br><span> </span><br><span> import from IPL4asp_Types all;</span><br><span> import from IPL4asp_PortType all;</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+/* maximum number of NS-VCs within one Provider (== IP endpoint) */</span><br><span style="color: hsl(120, 100%, 40%);">+private const integer NUM_MAX_NSVC := 16;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> type component NS_Provider_IPL4_CT extends NS_Provider_CT {</span><br><span>    /* down-facing port towards IPL4asp to IUT */</span><br><span>        port IPL4asp_PT IPL4;</span><br><span>        var integer g_conn_id := -1;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+        /* per-NSVC ports and state */</span><br><span style="color: hsl(120, 100%, 40%);">+        port NS_PROVIDER_PT NSVC[NUM_MAX_NSVC];</span><br><span style="color: hsl(120, 100%, 40%);">+       var PerNsvcState g_nsvc[NUM_MAX_NSVC];</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+      /* management port via which  */</span><br><span style="color: hsl(120, 100%, 40%);">+      port NSPIP_PROC_PT PROC;</span><br><span> };</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">-function main(NSVCConfiguration config, NSConfiguration nsconfig, charstring id) runs on NS_Provider_IPL4_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+type record PerNsvcState {</span><br><span style="color: hsl(120, 100%, 40%);">+  charstring remote_ip,</span><br><span style="color: hsl(120, 100%, 40%);">+ PortNumber remote_port,</span><br><span style="color: hsl(120, 100%, 40%);">+       NSVC_CT vc_nsvc</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- /* connect socket */</span><br><span style="color: hsl(120, 100%, 40%);">+signature NSPIP_add_nsvc(charstring remote_ip, PortNumber remote_port, NSVC_CT vc_nsvc);</span><br><span style="color: hsl(120, 100%, 40%);">+signature NSPIP_del_nsvc(charstring remote_ip, PortNumber remote_port);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type port NSPIP_PROC_PT procedure {</span><br><span style="color: hsl(120, 100%, 40%);">+        inout NSPIP_add_nsvc, NSPIP_del_nsvc;</span><br><span style="color: hsl(120, 100%, 40%);">+} with { extension "internal" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* add a new NSVC to the provider */</span><br><span style="color: hsl(120, 100%, 40%);">+private function f_nsvc_add(PerNsvcState nsvc) runs on NS_Provider_IPL4_CT</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+      for (var integer i := 0; i < sizeof(g_nsvc); i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+           if (g_nsvc[i].vc_nsvc == null) {</span><br><span style="color: hsl(120, 100%, 40%);">+                      g_nsvc[i] := nsvc;</span><br><span style="color: hsl(120, 100%, 40%);">+                    connect(self:NSVC[i], nsvc.vc_nsvc:NSCP);</span><br><span style="color: hsl(120, 100%, 40%);">+                     NSVC[i].send(NS_Provider_Evt:{link_status := NS_PROV_LINK_STATUS_UP});</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%);">+     Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("Overflow of g_nsvc array"));</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%);">+private function f_nsvc_del(PerNsvcState nsvc) runs on NS_Provider_IPL4_CT</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+        for (var integer i := 0; i < sizeof(g_nsvc); i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+           if (g_nsvc[i].vc_nsvc != null and</span><br><span style="color: hsl(120, 100%, 40%);">+                 g_nsvc[i].remote_ip == nsvc.remote_ip and</span><br><span style="color: hsl(120, 100%, 40%);">+             g_nsvc[i].remote_port == nsvc.remote_port) {</span><br><span style="color: hsl(120, 100%, 40%);">+                      g_nsvc[i] := {</span><br><span style="color: hsl(120, 100%, 40%);">+                                remote_ip := -,</span><br><span style="color: hsl(120, 100%, 40%);">+                               remote_port := -,</span><br><span style="color: hsl(120, 100%, 40%);">+                             vc_nsvc := null</span><br><span style="color: hsl(120, 100%, 40%);">+                       }</span><br><span style="color: hsl(120, 100%, 40%);">+                     NSVC[i].send(NS_Provider_Evt:{link_status := NS_PROV_LINK_STATUS_DOWN});</span><br><span style="color: hsl(120, 100%, 40%);">+                      disconnect(self:NSVC[i], nsvc.vc_nsvc:NSCP);</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%);">+     Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("attempt to delete unknown NSVC"));</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%);">+private function f_get_nsvc_idx(charstring remote_ip, PortNumber remote_port)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on NS_Provider_IPL4_CT return integer</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+   for (var integer i := 0; i < sizeof(g_nsvc); i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+           if (g_nsvc[i].vc_nsvc != null and</span><br><span style="color: hsl(120, 100%, 40%);">+                 g_nsvc[i].remote_ip == remote_ip and g_nsvc[i].remote_port == remote_port) {</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%);">+     return -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%);">+function main(NSVCConfiguration config, NSConfiguration nsconfig, charstring id) runs on NS_Provider_IPL4_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+       for (var integer i := 0; i < sizeof(g_nsvc); i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+           g_nsvc[i].vc_nsvc := null;</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%);">+   /* in order to support any number of NSVC on this endpoiint, we only bind the socket</span><br><span style="color: hsl(120, 100%, 40%);">+   * to its local ip/port, but do not connect it to the remote peer provided in 'config'. */</span><br><span>   map(self:IPL4, system:IPL4);</span><br><span style="color: hsl(0, 100%, 40%);">-    var Result res := f_IPL4_connect(IPL4, config.provider.ip.remote_ip,</span><br><span style="color: hsl(0, 100%, 40%);">-                                     config.provider.ip.remote_udp_port,</span><br><span style="color: hsl(0, 100%, 40%);">-                                     config.provider.ip.local_ip,</span><br><span style="color: hsl(0, 100%, 40%);">-                                    config.provider.ip.local_udp_port, 0, { udp := {}});</span><br><span style="color: hsl(120, 100%, 40%);">+ var Result res := f_IPL4_listen(IPL4, config.provider.ip.local_ip,</span><br><span style="color: hsl(120, 100%, 40%);">+                                     config.provider.ip.local_udp_port, { udp := {}});</span><br><span>   if (not ispresent(res.connId)) {</span><br><span>             setverdict(fail, "Could not connect NS UDP socket ", config.provider.ip);</span><br><span>          mtc.stop;</span><br><span>    }</span><br><span>    g_conn_id := res.connId;</span><br><span style="color: hsl(0, 100%, 40%);">-        NSE.send(NS_Provider_Evt:{link_status := NS_PROV_LINK_STATUS_UP});</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+  if (NSE.checkstate("Connected")) {</span><br><span style="color: hsl(120, 100%, 40%);">+          NSE.send(NS_Provider_Evt:{link_status := NS_PROV_LINK_STATUS_UP});</span><br><span style="color: hsl(120, 100%, 40%);">+    }</span><br><span> </span><br><span>        /* transceive between user-facing port and UDP socket */</span><br><span>     while (true) {</span><br><span>       var ASP_RecvFrom rx_rf;</span><br><span>      var PDU_NS rx_pdu;</span><br><span style="color: hsl(120, 100%, 40%);">+    var integer rx_idx;</span><br><span style="color: hsl(120, 100%, 40%);">+   var charstring remote_ip;</span><br><span style="color: hsl(120, 100%, 40%);">+     var PortNumber remote_port;</span><br><span style="color: hsl(120, 100%, 40%);">+   var NSVC_CT vc_nsvc;</span><br><span style="color: hsl(120, 100%, 40%);">+  var NS_CT vc_caller;</span><br><span>         alt {</span><br><span> </span><br><span>    [] IPL4.receive(ASP_RecvFrom:?) -> value rx_rf {</span><br><span style="color: hsl(0, 100%, 40%);">-             NSE.send(dec_PDU_NS(rx_rf.msg));</span><br><span style="color: hsl(120, 100%, 40%);">+              /* we have to resolve the NS-VC based on the remote peer */</span><br><span style="color: hsl(120, 100%, 40%);">+           var integer nsvc_idx := f_get_nsvc_idx(rx_rf.remName, rx_rf.remPort);</span><br><span style="color: hsl(120, 100%, 40%);">+         if (nsvc_idx == -1) {</span><br><span style="color: hsl(120, 100%, 40%);">+                 /* backwards compatibility; if there's no NSVC, send to NSE port */</span><br><span style="color: hsl(120, 100%, 40%);">+                       NSE.send(dec_PDU_NS(rx_rf.msg));</span><br><span style="color: hsl(120, 100%, 40%);">+              } else {</span><br><span style="color: hsl(120, 100%, 40%);">+                      /* endpoint mode; send to the per-NSVC component via NSVC port */</span><br><span style="color: hsl(120, 100%, 40%);">+                     NSVC[nsvc_idx].send(dec_PDU_NS(rx_rf.msg));</span><br><span style="color: hsl(120, 100%, 40%);">+           }</span><br><span>            }</span><br><span> </span><br><span>        [] IPL4.receive(ASP_ConnId_ReadyToRelease:?) {</span><br><span>@@ -54,8 +155,39 @@</span><br><span>         [] IPL4.receive(ASP_Event:?) {</span><br><span>               }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+ [] any from NSVC.receive(PDU_NS:?) -> value rx_pdu @index value rx_idx {</span><br><span style="color: hsl(120, 100%, 40%);">+           /* we can use the port array index directly into the g_nsvc array in order</span><br><span style="color: hsl(120, 100%, 40%);">+             * to resolve the IP + port of the remote peer to which to send */</span><br><span style="color: hsl(120, 100%, 40%);">+            var ASP_SendTo tx := {</span><br><span style="color: hsl(120, 100%, 40%);">+                        connId := g_conn_id,</span><br><span style="color: hsl(120, 100%, 40%);">+                  remName := g_nsvc[rx_idx].remote_ip,</span><br><span style="color: hsl(120, 100%, 40%);">+                  remPort := g_nsvc[rx_idx].remote_port,</span><br><span style="color: hsl(120, 100%, 40%);">+                        proto := { udp := {} },</span><br><span style="color: hsl(120, 100%, 40%);">+                       msg := enc_PDU_NS(rx_pdu)</span><br><span style="color: hsl(120, 100%, 40%);">+             };</span><br><span style="color: hsl(120, 100%, 40%);">+            IPL4.send(tx);</span><br><span style="color: hsl(120, 100%, 40%);">+                }</span><br><span>    [] NSE.receive(PDU_NS:?) -> value rx_pdu {</span><br><span style="color: hsl(0, 100%, 40%);">-           IPL4.send(ASP_Send:{connId := g_conn_id, proto := { udp := {} }, msg := enc_PDU_NS(rx_pdu)});</span><br><span style="color: hsl(120, 100%, 40%);">+         /* backwards compatibility: If user uses the NSE port, use the destination</span><br><span style="color: hsl(120, 100%, 40%);">+             * provided during main() initialization */</span><br><span style="color: hsl(120, 100%, 40%);">+           var ASP_SendTo tx := {</span><br><span style="color: hsl(120, 100%, 40%);">+                        connId := g_conn_id,</span><br><span style="color: hsl(120, 100%, 40%);">+                  remName := config.provider.ip.remote_ip,</span><br><span style="color: hsl(120, 100%, 40%);">+                      remPort := config.provider.ip.remote_udp_port,</span><br><span style="color: hsl(120, 100%, 40%);">+                        proto := { udp := {} },</span><br><span style="color: hsl(120, 100%, 40%);">+                       msg := enc_PDU_NS(rx_pdu)</span><br><span style="color: hsl(120, 100%, 40%);">+             };</span><br><span style="color: hsl(120, 100%, 40%);">+            IPL4.send(tx);</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%);">+   /* procedure port to add/remove NSVCs from this provider */</span><br><span style="color: hsl(120, 100%, 40%);">+   [] PROC.getcall(NSPIP_add_nsvc:{?,?,?}) -> param (remote_ip, remote_port, vc_nsvc) sender vc_caller {</span><br><span style="color: hsl(120, 100%, 40%);">+              f_nsvc_add(PerNsvcState:{remote_ip, remote_port, vc_nsvc});</span><br><span style="color: hsl(120, 100%, 40%);">+           PROC.reply(NSPIP_add_nsvc:{remote_ip, remote_port, vc_nsvc}) to vc_caller;</span><br><span style="color: hsl(120, 100%, 40%);">+            }</span><br><span style="color: hsl(120, 100%, 40%);">+     [] PROC.getcall(NSPIP_del_nsvc:{?,?}) -> param (remote_ip, remote_port) sender vc_caller {</span><br><span style="color: hsl(120, 100%, 40%);">+         f_nsvc_del(PerNsvcState:{remote_ip, remote_port});</span><br><span style="color: hsl(120, 100%, 40%);">+            PROC.reply(NSPIP_del_nsvc:{remote_ip, remote_port}) to vc_caller;</span><br><span>            }</span><br><span> </span><br><span>        } /* alt */</span><br><span>@@ -64,5 +196,12 @@</span><br><span> } /* main */</span><br><span> </span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+function f_nspip_add_nsvc(NS_Provider_IPL4_CT vc_ipep, charstring remote_ip, PortNumber remote_port, NSVC_CT vc_nsvc)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on NS_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+     NSPIP_PROC.call(NSPIP_add_nsvc:{remote_ip, remote_port, vc_nsvc}) to vc_ipep {</span><br><span style="color: hsl(120, 100%, 40%);">+                [] NSPIP_PROC.getreply(NSPIP_add_nsvc:{?,?,?});</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> </span><br><span> } /* module */</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/23542">change 23542</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/+/23542"/><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: I05a50b966b8ce93497372ca403d40fd383dd35f7 </div>
<div style="display:none"> Gerrit-Change-Number: 23542 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>