Go back to commit 1eee1ac8

This commit is contained in:
Loic Guegan 2022-07-14 14:07:52 +02:00
parent 9671fc21ee
commit e0dbebe31d
5 changed files with 53 additions and 22 deletions

View file

@ -100,7 +100,7 @@ class Node:
self["state"]="call_non_blocking" self["state"]="call_non_blocking"
self.wait_ack(["turn_on"]) self.wait_ack(["turn_on"])
def send(self, interface, data, datasize, dst): def send(self, interface, data, datasize, dst, receiver_required=False):
if interface not in self["interfaces"]: if interface not in self["interfaces"]:
self.abort("send() called with an unknown interface \""+interface+"\"") self.abort("send() called with an unknown interface \""+interface+"\"")
elif type(datasize) != int and type(datasize) != float: elif type(datasize) != int and type(datasize) != float:
@ -110,14 +110,14 @@ class Node:
elif not self["turned_on"]: elif not self["turned_on"]:
self.abort("send() called while node is turned off") self.abort("send() called while node is turned off")
self.plugin_notify("send_call",(interface,data,datasize,dst)) self.plugin_notify("send_call",(interface,data,datasize,dst))
self.rargs=(interface, data, datasize, dst) self.rargs=(interface, data, datasize, dst,receiver_required)
self["request"]="send" self["request"]="send"
self["state"]="call_blocking" self["state"]="call_blocking"
ack=self.wait_ack(["send","send_cancel"]) ack=self.wait_ack(["send","send_cancel"])
self.plugin_notify("send_return",(interface,data,datasize,dst,ack[1])) self.plugin_notify("send_return",(interface,data,datasize,dst,ack[1]))
return ack[1] return ack[1]
def sendt(self, interface, data, datasize, dst, timeout): def sendt(self, interface, data, datasize, dst, timeout, receiver_required=False):
if interface not in self["interfaces"]: if interface not in self["interfaces"]:
self.abort("sendt() called with an unknown interface \""+interface+"\"") self.abort("sendt() called with an unknown interface \""+interface+"\"")
elif type(datasize) != int and type(datasize) != float: elif type(datasize) != int and type(datasize) != float:
@ -134,7 +134,7 @@ class Node:
self["request"]="timeout_add" self["request"]="timeout_add"
self["state"]="call_non_blocking" self["state"]="call_non_blocking"
self.wait_ack(["timeout_add"]) self.wait_ack(["timeout_add"])
self.rargs=(interface, data, datasize, dst) self.rargs=(interface, data, datasize, dst,receiver_required)
self["request"]="send" self["request"]="send"
self["state"]="call_blocking" self["state"]="call_blocking"
ack=self.wait_ack(["send","timeout","send_cancel"]) ack=self.wait_ack(["send","timeout","send_cancel"])

View file

@ -7,7 +7,7 @@ class Simulator:
Flow-Level Discrete Event Simulator for Cyber-Physical Systems Flow-Level Discrete Event Simulator for Cyber-Physical Systems
The general format for an event is (type,timestamp,event,priority) The general format for an event is (type,timestamp,event,priority)
Event types: Event types:
- 0 send (0,timestamp,(src,dst,interface,data,datasize,duration,datasize_remaining,start_timestamp, perform_delivery), 2) - 0 send (0,timestamp,(src,dst,interface,data,datasize,duration,datasize_remaining,start_timestamp, perform_delivery, receiver_required), 2)
- 1 timeout (1,timestamp,node_id,3) - 1 timeout (1,timestamp,node_id,3)
- 2 breakpoint_manual (3,timestamp,0,1) - 2 breakpoint_manual (3,timestamp,0,1)
- 3 breakpoint_auto (4,timestamp,0,1) - 3 breakpoint_auto (4,timestamp,0,1)
@ -54,7 +54,7 @@ class Simulator:
if int(event[0]) == 0: if int(event[0]) == 0:
cur_event=event[2] cur_event=event[2]
ts=float(event[1]) ts=float(event[1])
src_id,dst_id,interface, data, datasize,duration, datasize_remaining,start_at,perform_delivery=cur_event src_id,dst_id,interface, data, datasize,duration, datasize_remaining,start_at,perform_delivery,receiver_required=cur_event
new_bw=netmat[interface]["bandwidth"][int(src_id),int(dst_id)] new_bw=netmat[interface]["bandwidth"][int(src_id),int(dst_id)]
old_bw=self.netmat[interface]["bandwidth"][int(src_id),int(dst_id)] old_bw=self.netmat[interface]["bandwidth"][int(src_id),int(dst_id)]
new_lat=netmat[interface]["latency"][int(src_id),int(dst_id)] new_lat=netmat[interface]["latency"][int(src_id),int(dst_id)]
@ -192,22 +192,43 @@ class Simulator:
elif node["request"] == "turn_off": elif node["request"] == "turn_off":
# Create communications selectors (True/False arrays) # Create communications selectors (True/False arrays)
selector_wireless=list() # Select all wireless events where node is involved selector_wireless=list() # Select all wireless events where node is involved
selector_wired=list() # Select all wired events where node is involved
for event in self.events: for event in self.events:
if event[0]==0 and int(event[2][1])==node.node_id: if event[0]==0 and int(event[2][1])==node.node_id:
if self.netmat[event[2][2]]["is_wired"]: if self.netmat[event[2][2]]["is_wired"]:
selector_wireless.append(False) selector_wireless.append(False)
event[2][8]=False # So set delivery to False for wired communication!! if event[2][9]: # Check if should be cancel on turn_off (receiver_required)
selector_wired.append(True)
else:
selector_wired.append(False)
event[2][8]=False # So set delivery to False!!
else: else:
selector_wireless.append(True) selector_wireless.append(True)
selector_wired.append(False)
else: else:
selector_wireless.append(False) selector_wireless.append(False)
# Remove the relevent wireless communications from the event list selector_wired.append(False)
# Build the set of senders to notify (only in wired connections,
# indeed IRL, in wireless communications sender would send all its data)
senders_to_notify=set()
for event in self.events[selector_wired]:
senders_to_notify.add(int(event[2][0]))
# Remove communications from the event list
if(len(self.events) != 0): if(len(self.events) != 0):
self.events=self.events[~np.array(selector_wireless)] self.events=self.events[~(np.array(selector_wireless)|np.array(selector_wired))]
# Update node state after turning off # Update node state after turning off
node["state"]="running" node["state"]="running"
node.rqueue.put(("turn_off",0)) node.rqueue.put(("turn_off",0))
self.log("Turned off",node=node.node_id) self.log("Turned off",node=node.node_id)
# Informed senders of wired events that communication ended
for sender_id in senders_to_notify:
# Notify sender (node that wired sharing is updated in the send_cancel request)
sender_node=self.nodes[sender_id]
sender_node["state"]="running"
sender_node.rqueue.put(("send_cancel",2))
# The node should resume at current self.time. So, sync the sender now:
self.sync_node_non_blocking(sender_node)
self.sync_node_blocking(sender_node)
elif node["request"] == "send_cancel": elif node["request"] == "send_cancel":
selector=list() selector=list()
for event in self.events: for event in self.events:
@ -280,12 +301,12 @@ class Simulator:
if node["state"] == "call_blocking": if node["state"] == "call_blocking":
if node["request"] == "send": if node["request"] == "send":
node["state"]="pending" node["state"]="pending"
interface, data, datasize, dst=node.rargs interface, data, datasize, dst, receiver_required=node.rargs
if dst != None: if dst != None:
if not (dst >=0 and dst <=len(self.nodes)): if not (dst >=0 and dst <=len(self.nodes)):
self.log("Invalid dst used in send() or sendt(), node "+str(dst)+" not found", node=node.node_id) self.log("Invalid dst used in send() or sendt(), node "+str(dst)+" not found", node=node.node_id)
exit(1) exit(1)
self.communicate(interface, node.node_id, dst, data, datasize) self.communicate(interface, node.node_id, dst, data, datasize,receiver_required)
elif node["request"] == "receive": elif node["request"] == "receive":
interface=node.rargs interface=node.rargs
if node["interfaces_queue_size"][interface] > 0: if node["interfaces_queue_size"][interface] > 0:
@ -300,7 +321,7 @@ class Simulator:
node.rqueue.put(("wait_end",0)) node.rqueue.put(("wait_end",0))
self.wait_end_nodes.append(node.node_id) self.wait_end_nodes.append(node.node_id)
def communicate(self, interface, src, dst, data, datasize): def communicate(self, interface, src, dst, data, datasize,receiver_required):
""" """
Create communication event between src and dst Create communication event between src and dst
""" """
@ -310,7 +331,7 @@ class Simulator:
self.update_sharing(dst,1,interface) # Update sharing first self.update_sharing(dst,1,interface) # Update sharing first
# Note that in the following we send more data than expected to handle bandwidth sharing (datasize*8*sharing): # Note that in the following we send more data than expected to handle bandwidth sharing (datasize*8*sharing):
duration=datasize*8/(self.netmat[interface]["bandwidth"][src,dst]/self.sharing[interface][dst])+self.netmat[interface]["latency"][src,dst] duration=datasize*8/(self.netmat[interface]["bandwidth"][src,dst]/self.sharing[interface][dst])+self.netmat[interface]["latency"][src,dst]
self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,self.nodes[dst]["turned_on"])) self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,self.nodes[dst]["turned_on"],receiver_required))
else: else:
self.log("Send "+str(datasize)+" bytes on "+interface,node=src) self.log("Send "+str(datasize)+" bytes on "+interface,node=src)
for dst in self.list_receivers(nsrc,interface): for dst in self.list_receivers(nsrc,interface):
@ -319,11 +340,11 @@ class Simulator:
if src == dst: if src == dst:
# This event (where src == dst) is used to notify the sender when data is received! # This event (where src == dst) is used to notify the sender when data is received!
# Correspond to the diagonal of the network matrices (bandwidth and latency) # Correspond to the diagonal of the network matrices (bandwidth and latency)
self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,True)) self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,True,False))
elif not self.interferences: elif not self.interferences:
self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,True)) self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,True,False))
elif not self.handle_interferences(src,dst, interface): elif not self.handle_interferences(src,dst, interface):
self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,True)) self.add_event(0,duration+self.time,(src,dst,interface,data,datasize,duration,datasize,self.time,True,False))
def list_receivers(self,node,interface): def list_receivers(self,node,interface):
""" """
@ -390,7 +411,7 @@ class Simulator:
event=self.events[0,2] event=self.events[0,2]
self.events=np.delete(self.events,0,0) # Consume events NOW! not at the end of the loop (event list may change in between) self.events=np.delete(self.events,0,0) # Consume events NOW! not at the end of the loop (event list may change in between)
if event_type == 0: if event_type == 0:
src_id,dst_id,interface, data, datasize,duration,datasize_remaining,start_at,perform_delivery=event src_id,dst_id,interface, data, datasize,duration,datasize_remaining,start_at,perform_delivery,receiver_required=event
src=self.nodes[int(src_id)] src=self.nodes[int(src_id)]
dst=self.nodes[int(dst_id)] dst=self.nodes[int(dst_id)]
if self.netmat[interface]["is_wired"]: if self.netmat[interface]["is_wired"]:
@ -406,7 +427,8 @@ class Simulator:
self.sync_node_non_blocking(dst,timeout_remove_only=True) self.sync_node_non_blocking(dst,timeout_remove_only=True)
self.update_sharing(dst.node_id,-1,interface) self.update_sharing(dst.node_id,-1,interface)
src["state"]="running" src["state"]="running"
src.rqueue.put(("send",0)) code=0 if perform_delivery else 1
src.rqueue.put(("send",code))
self.sync_node_non_blocking(src,timeout_remove_only=True) self.sync_node_non_blocking(src,timeout_remove_only=True)
else: else:
if src.node_id != dst.node_id: if src.node_id != dst.node_id:

View file

@ -8,8 +8,11 @@
[t=3.000,src=n1] Turned off [t=3.000,src=n1] Turned off
[t=4.000,src=n1] Turned on [t=4.000,src=n1] Turned on
[t=5.000,src=n1] Receive failed code=-1 [t=5.000,src=n1] Receive failed code=-1
[t=5.000,src=n1] Turned off
[t=18.000,src=n0] End transmission [t=18.000,src=n0] End transmission
[t=18.000,src=n0] Send 15 bytes to n1 on eth0 [t=18.000,src=n0] Send 15 bytes to n1 on eth0
[t=33.000,src=n1] Receive 15 bytes on eth0
[t=33.000,src=n0] End transmission [t=33.000,src=n0] End transmission
[t=33.000,src=esds] Simulation ends [t=33.000,src=n0] Send 15 bytes to n1 on eth0
[t=35.000,src=n1] Turned off
[t=35.000,src=n0] End transmission
[t=35.000,src=esds] Simulation ends

View file

@ -17,6 +17,10 @@ def execute(api):
code, data=api.receivet("eth0",1) code, data=api.receivet("eth0",1)
msg="Received: "+data if code == 0 else "Receive failed code="+str(code) msg="Received: "+data if code == 0 else "Receive failed code="+str(code)
api.log(msg) api.log(msg)
##### Ensure communication get aborted on turned off for the sender
api.wait(28) # Goto t=33s
api.wait(2) # Goto t=35s
api.turn_off() api.turn_off()

View file

@ -6,5 +6,7 @@ def execute(api):
api.wait(1) # Goto t=3s api.wait(1) # Goto t=3s
api.send("eth0","Hello World!",15,1) # Communication should not be aborted even if receiver turned_off (e.g UDP) api.send("eth0","Hello World!",15,1) # Communication should not be aborted even if receiver turned_off (e.g UDP)
api.log("End transmission") # Should be printed at t=18s api.log("End transmission") # Should be printed at t=18s
api.send("eth0","Hello World!",15,1) # Now receiver is off api.send("eth0","Hello World!",15,1) # Now receiver is off (but send should continue)
api.log("End transmission") # Should be printed at t=33s api.log("End transmission") # Should be printed at t=33s
api.send("eth0","Hello World!",15,1,receiver_required=True) # Now receiver is off and send should be interrupted
api.log("End transmission") # Should be printed at t=35s (receiver turned off at t=35s)