2022-11-30 14:28:27 +00:00
|
|
|
#!/bin/python3
|
|
|
|
|
|
|
|
import random
|
2022-12-20 10:13:54 +00:00
|
|
|
import collections
|
2022-12-20 10:25:44 +00:00
|
|
|
import logging
|
2022-11-30 14:28:27 +00:00
|
|
|
from DAS.block import *
|
2023-03-14 14:26:48 +00:00
|
|
|
from DAS.tools import shuffled, shuffledDict, unionOfSamples
|
2022-12-07 14:25:48 +00:00
|
|
|
from bitarray.util import zeros
|
2023-02-14 01:13:00 +00:00
|
|
|
from collections import deque
|
2023-02-24 07:43:18 +00:00
|
|
|
from itertools import chain
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-01-25 17:19:18 +00:00
|
|
|
class Neighbor:
|
2023-03-01 22:59:35 +00:00
|
|
|
"""This class implements a node neighbor to monitor sent and received data.
|
|
|
|
|
|
|
|
It represents one side of a P2P link in the overlay. Sent and received
|
|
|
|
segments are monitored to avoid sending twice or sending back what was
|
2023-03-03 10:47:27 +00:00
|
|
|
received from a link.
|
2023-03-01 22:59:35 +00:00
|
|
|
"""
|
2023-01-25 17:19:18 +00:00
|
|
|
|
|
|
|
def __repr__(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It returns the amount of sent and received data."""
|
2023-02-15 02:26:31 +00:00
|
|
|
return "%d:%d/%d, q:%d" % (self.node.ID, self.sent.count(1), self.received.count(1), len(self.sendQueue))
|
2023-01-25 17:19:18 +00:00
|
|
|
|
2023-02-15 02:10:55 +00:00
|
|
|
def __init__(self, v, dim, blockSize):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It initializes the neighbor with the node and sets counters to zero."""
|
2023-01-25 17:19:18 +00:00
|
|
|
self.node = v
|
2023-02-15 02:10:55 +00:00
|
|
|
self.dim = dim # 0:row 1:col
|
2023-01-26 09:08:19 +00:00
|
|
|
self.receiving = zeros(blockSize)
|
2023-01-25 20:36:53 +00:00
|
|
|
self.received = zeros(blockSize)
|
|
|
|
self.sent = zeros(blockSize)
|
2023-02-14 10:52:47 +00:00
|
|
|
self.sendQueue = deque()
|
2023-01-25 17:19:18 +00:00
|
|
|
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-02-15 14:06:42 +00:00
|
|
|
class Validator:
|
|
|
|
"""This class implements a validator/node in the network."""
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-01-25 20:38:21 +00:00
|
|
|
def __repr__(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It returns the validator ID."""
|
2023-01-25 20:38:21 +00:00
|
|
|
return str(self.ID)
|
|
|
|
|
2023-04-18 13:53:38 +00:00
|
|
|
def __init__(self, ID, amIproposer, logger, shape, config, rows = None, columns = None):
|
2023-03-06 14:15:57 +00:00
|
|
|
"""It initializes the validator with the logger shape and rows/columns.
|
|
|
|
|
|
|
|
If rows/columns are specified these are observed, otherwise (default)
|
2023-07-12 11:44:23 +00:00
|
|
|
chiR rows and chiC columns are selected randomly.
|
2023-03-06 14:15:57 +00:00
|
|
|
"""
|
|
|
|
|
2023-01-23 17:04:54 +00:00
|
|
|
self.shape = shape
|
2022-11-30 14:28:27 +00:00
|
|
|
FORMAT = "%(levelname)s : %(entity)s : %(message)s"
|
|
|
|
self.ID = ID
|
|
|
|
self.format = {"entity": "Val "+str(self.ID)}
|
2023-07-15 00:18:30 +00:00
|
|
|
self.block = Block(self.shape.blockSizeR, self.shape.blockSizeRK, self.shape.blockSizeC, self.shape.blockSizeCK)
|
|
|
|
self.receivedBlock = Block(self.shape.blockSizeR, self.shape.blockSizeRK, self.shape.blockSizeC, self.shape.blockSizeCK)
|
2023-02-14 10:52:47 +00:00
|
|
|
self.receivedQueue = deque()
|
2023-02-14 01:13:00 +00:00
|
|
|
self.sendQueue = deque()
|
2023-01-13 15:51:27 +00:00
|
|
|
self.amIproposer = amIproposer
|
2022-11-30 14:28:27 +00:00
|
|
|
self.logger = logger
|
2023-07-12 11:44:23 +00:00
|
|
|
if self.shape.chiR < 1 and self.shape.chiC < 1:
|
2022-11-30 14:28:27 +00:00
|
|
|
self.logger.error("Chi has to be greater than 0", extra=self.format)
|
2023-07-12 11:44:23 +00:00
|
|
|
elif self.shape.chiC > self.shape.blockSizeR:
|
|
|
|
self.logger.error("ChiC has to be smaller than %d" % self.shape.blockSizeR, extra=self.format)
|
|
|
|
elif self.shape.chiR > self.shape.blockSizeC:
|
|
|
|
self.logger.error("ChiR has to be smaller than %d" % self.shape.blockSizeC, extra=self.format)
|
2022-11-30 14:28:27 +00:00
|
|
|
else:
|
2023-01-13 15:51:27 +00:00
|
|
|
if amIproposer:
|
2023-03-21 07:34:02 +00:00
|
|
|
self.nodeClass = 0
|
2023-07-12 11:21:27 +00:00
|
|
|
self.rowIDs = range(shape.blockSizeC)
|
|
|
|
self.columnIDs = range(shape.blockSizeR)
|
2022-12-20 10:13:54 +00:00
|
|
|
else:
|
2023-01-23 17:04:54 +00:00
|
|
|
#if shape.deterministic:
|
|
|
|
# random.seed(self.ID)
|
2023-03-21 07:34:02 +00:00
|
|
|
self.nodeClass = 1 if (self.ID <= shape.numberNodes * shape.class1ratio) else 2
|
|
|
|
self.vpn = self.shape.vpn1 if (self.nodeClass == 1) else self.shape.vpn2
|
2023-04-09 21:21:23 +00:00
|
|
|
self.vRowIDs = []
|
|
|
|
self.vColumnIDs = []
|
|
|
|
for i in range(self.vpn):
|
2023-07-12 11:44:23 +00:00
|
|
|
self.vRowIDs.append(set(rows[i*self.shape.chiR:(i+1)*self.shape.chiR]) if rows else set(random.sample(range(self.shape.blockSizeC), self.shape.chiR)))
|
|
|
|
self.vColumnIDs.append(set(columns[i*self.shape.chiC:(i+1)*self.shape.chiC]) if columns else set(random.sample(range(self.shape.blockSizeR), self.shape.chiC)))
|
2023-04-09 21:21:23 +00:00
|
|
|
self.rowIDs = set.union(*self.vRowIDs)
|
|
|
|
self.columnIDs = set.union(*self.vColumnIDs)
|
2023-01-25 20:36:53 +00:00
|
|
|
self.rowNeighbors = collections.defaultdict(dict)
|
|
|
|
self.columnNeighbors = collections.defaultdict(dict)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-01-25 23:34:21 +00:00
|
|
|
#statistics
|
|
|
|
self.statsTxInSlot = 0
|
|
|
|
self.statsTxPerSlot = []
|
|
|
|
self.statsRxInSlot = 0
|
|
|
|
self.statsRxPerSlot = []
|
2023-03-20 13:33:35 +00:00
|
|
|
self.statsRxDupInSlot = 0
|
|
|
|
self.statsRxDupPerSlot = []
|
2023-01-25 23:34:21 +00:00
|
|
|
|
2023-04-18 13:53:38 +00:00
|
|
|
# Set uplink bandwidth.
|
|
|
|
# Assuming segments of ~560 bytes and timesteps of 50ms, we get
|
|
|
|
# 1 Mbps ~= 1e6 mbps * 0.050 s / (560*8) bits ~= 11 segments/timestep
|
2023-03-07 12:24:11 +00:00
|
|
|
if self.amIproposer:
|
|
|
|
self.bwUplink = shape.bwUplinkProd
|
2023-03-21 07:34:02 +00:00
|
|
|
elif self.nodeClass == 1:
|
2023-03-07 12:24:11 +00:00
|
|
|
self.bwUplink = shape.bwUplink1
|
|
|
|
else:
|
|
|
|
self.bwUplink = shape.bwUplink2
|
2023-04-18 13:53:38 +00:00
|
|
|
self.bwUplink *= 1e3 / 8 * config.stepDuration / config.segmentSize
|
2023-01-26 13:29:12 +00:00
|
|
|
|
2023-02-15 02:23:39 +00:00
|
|
|
self.repairOnTheFly = True
|
2023-07-15 00:18:30 +00:00
|
|
|
self.sendLineUntilR = self.shape.blockSizeRK # stop sending on a p2p link if at least this amount of samples passed
|
|
|
|
self.sendLineUntilC = self.shape.blockSizeCK # stop sending on a p2p link if at least this amount of samples passed
|
2023-02-24 07:42:35 +00:00
|
|
|
self.perNeighborQueue = True # queue incoming messages to outgoing connections on arrival (as typical GossipSub impl)
|
2023-02-24 11:10:34 +00:00
|
|
|
self.shuffleQueues = True # shuffle the order of picking from active queues of a sender node
|
2023-02-14 10:51:04 +00:00
|
|
|
self.perNodeQueue = False # keep a global queue of incoming messages for later sequential dispatch
|
2023-02-15 02:25:52 +00:00
|
|
|
self.shuffleLines = True # shuffle the order of rows/columns in each iteration while trying to send
|
|
|
|
self.shuffleNeighbors = True # shuffle the order of neighbors when sending the same segment to each neighbor
|
2023-02-15 02:15:00 +00:00
|
|
|
self.dumbRandomScheduler = False # dumb random scheduler
|
2023-02-15 13:22:55 +00:00
|
|
|
self.segmentShuffleScheduler = True # send each segment that's worth sending once in shuffled order, then repeat
|
2023-02-15 13:28:38 +00:00
|
|
|
self.segmentShuffleSchedulerPersist = True # Persist scheduler state between timesteps
|
2023-01-26 13:29:12 +00:00
|
|
|
|
2022-11-30 14:28:27 +00:00
|
|
|
def logIDs(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It logs the assigned rows and columns."""
|
2023-01-13 15:51:27 +00:00
|
|
|
if self.amIproposer == 1:
|
2022-11-30 14:28:27 +00:00
|
|
|
self.logger.warning("I am a block proposer."% self.ID)
|
|
|
|
else:
|
|
|
|
self.logger.debug("Selected rows: "+str(self.rowIDs), extra=self.format)
|
|
|
|
self.logger.debug("Selected columns: "+str(self.columnIDs), extra=self.format)
|
|
|
|
|
|
|
|
def initBlock(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It initializes the block for the proposer."""
|
2023-01-13 15:51:27 +00:00
|
|
|
if self.amIproposer == 0:
|
2023-02-15 14:06:42 +00:00
|
|
|
self.logger.warning("I am not a block proposer", extra=self.format)
|
2022-11-30 14:28:27 +00:00
|
|
|
else:
|
2023-04-08 23:13:28 +00:00
|
|
|
self.logger.debug("Creating block...", extra=self.format)
|
2023-04-09 21:49:11 +00:00
|
|
|
if self.shape.failureModel == "random":
|
2023-07-12 11:21:27 +00:00
|
|
|
order = [i for i in range(self.shape.blockSizeR * self.shape.blockSizeC)]
|
2023-04-09 21:49:11 +00:00
|
|
|
order = random.sample(order, int((1 - self.shape.failureRate/100) * len(order)))
|
|
|
|
for i in order:
|
|
|
|
self.block.data[i] = 1
|
|
|
|
elif self.shape.failureModel == "sequential":
|
2023-07-12 11:21:27 +00:00
|
|
|
order = [i for i in range(self.shape.blockSizeR * self.shape.blockSizeC)]
|
2023-04-09 21:49:11 +00:00
|
|
|
order = order[:int((1 - self.shape.failureRate/100) * len(order))]
|
|
|
|
for i in order:
|
|
|
|
self.block.data[i] = 1
|
|
|
|
elif self.shape.failureModel == "MEP": # Minimal size non-recoverable Erasure Pattern
|
2023-07-12 11:21:27 +00:00
|
|
|
for r in range(self.shape.blockSizeR):
|
|
|
|
for c in range(self.shape.blockSizeC):
|
2023-07-15 00:19:07 +00:00
|
|
|
if r > self.shape.blockSizeRK or c > self.shape.blockSizeCK:
|
2023-04-09 21:49:11 +00:00
|
|
|
self.block.setSegment(r,c)
|
|
|
|
elif self.shape.failureModel == "MEP+1": # MEP +1 segment to make it recoverable
|
2023-07-12 11:21:27 +00:00
|
|
|
for r in range(self.shape.blockSizeR):
|
|
|
|
for c in range(self.shape.blockSizeC):
|
2023-07-15 00:19:07 +00:00
|
|
|
if r > self.shape.blockSizeRK or c > self.shape.blockSizeCK:
|
2023-04-09 21:49:11 +00:00
|
|
|
self.block.setSegment(r,c)
|
|
|
|
self.block.setSegment(0, 0)
|
|
|
|
elif self.shape.failureModel == "DEP":
|
2023-07-15 00:19:07 +00:00
|
|
|
assert(self.shape.blockSizeR == self.shape.blockSizeC and self.shape.blockSizeRK == self.shape.blockSizeCK)
|
2023-07-12 11:21:27 +00:00
|
|
|
for r in range(self.shape.blockSizeR):
|
|
|
|
for c in range(self.shape.blockSizeC):
|
2023-07-15 00:19:07 +00:00
|
|
|
if (r+c) % self.shape.blockSizeR > self.shape.blockSizeRK:
|
2023-04-09 21:49:11 +00:00
|
|
|
self.block.setSegment(r,c)
|
|
|
|
elif self.shape.failureModel == "DEP+1":
|
2023-07-15 00:19:07 +00:00
|
|
|
assert(self.shape.blockSizeR == self.shape.blockSizeC and self.shape.blockSizeRK == self.shape.blockSizeCK)
|
2023-07-12 11:21:27 +00:00
|
|
|
for r in range(self.shape.blockSizeR):
|
|
|
|
for c in range(self.shape.blockSizeC):
|
2023-07-15 00:19:07 +00:00
|
|
|
if (r+c) % self.shape.blockSizeR > self.shape.blockSizeRK:
|
2023-04-09 21:49:11 +00:00
|
|
|
self.block.setSegment(r,c)
|
|
|
|
self.block.setSegment(0, 0)
|
|
|
|
elif self.shape.failureModel == "MREP": # Minimum size Recoverable Erasure Pattern
|
2023-07-12 11:21:27 +00:00
|
|
|
for r in range(self.shape.blockSizeR):
|
|
|
|
for c in range(self.shape.blockSizeC):
|
2023-07-15 00:19:07 +00:00
|
|
|
if r < self.shape.blockSizeRK or c < self.shape.blockSizeCK:
|
2023-04-09 21:49:11 +00:00
|
|
|
self.block.setSegment(r,c)
|
|
|
|
elif self.shape.failureModel == "MREP-1": # make MREP non-recoverable
|
2023-07-12 11:21:27 +00:00
|
|
|
for r in range(self.shape.blockSizeR):
|
|
|
|
for c in range(self.shape.blockSizeC):
|
2023-07-15 00:19:07 +00:00
|
|
|
if r < self.shape.blockSizeRK or c < self.shape.blockSizeCK:
|
2023-04-09 21:49:11 +00:00
|
|
|
self.block.setSegment(r,c)
|
|
|
|
self.block.setSegment(0, 0, 0)
|
2023-01-26 00:12:13 +00:00
|
|
|
|
2023-01-11 16:20:19 +00:00
|
|
|
nbFailures = self.block.data.count(0)
|
2023-07-12 11:21:27 +00:00
|
|
|
measuredFailureRate = nbFailures * 100 / (self.shape.blockSizeR * self.shape.blockSizeC)
|
2023-01-16 21:43:52 +00:00
|
|
|
self.logger.debug("Number of failures: %d (%0.02f %%)", nbFailures, measuredFailureRate, extra=self.format)
|
2022-12-20 10:13:54 +00:00
|
|
|
|
|
|
|
def getColumn(self, index):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It returns a given column."""
|
2022-12-20 10:13:54 +00:00
|
|
|
return self.block.getColumn(index)
|
|
|
|
|
|
|
|
def getRow(self, index):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It returns a given row."""
|
2022-12-20 10:13:54 +00:00
|
|
|
return self.block.getRow(index)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-02-14 01:11:44 +00:00
|
|
|
def receiveSegment(self, rID, cID, src):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Receive a segment, register it, and queue for forwarding as needed."""
|
2023-02-14 01:11:44 +00:00
|
|
|
# register receive so that we are not sending back
|
|
|
|
if rID in self.rowIDs:
|
|
|
|
if src in self.rowNeighbors[rID]:
|
|
|
|
self.rowNeighbors[rID][src].receiving[cID] = 1
|
|
|
|
if cID in self.columnIDs:
|
|
|
|
if src in self.columnNeighbors[cID]:
|
|
|
|
self.columnNeighbors[cID][src].receiving[rID] = 1
|
|
|
|
if not self.receivedBlock.getSegment(rID, cID):
|
2023-03-14 10:16:43 +00:00
|
|
|
self.logger.trace("Recv new: %d->%d: %d,%d", src, self.ID, rID, cID, extra=self.format)
|
2023-02-14 01:11:44 +00:00
|
|
|
self.receivedBlock.setSegment(rID, cID)
|
2023-02-15 13:17:17 +00:00
|
|
|
if self.perNodeQueue or self.perNeighborQueue:
|
|
|
|
self.receivedQueue.append((rID, cID))
|
2023-02-15 02:26:31 +00:00
|
|
|
else:
|
2023-03-14 10:16:43 +00:00
|
|
|
self.logger.trace("Recv DUP: %d->%d: %d,%d", src, self.ID, rID, cID, extra=self.format)
|
2023-03-20 13:33:35 +00:00
|
|
|
self.statsRxDupInSlot += 1
|
2023-02-14 01:11:44 +00:00
|
|
|
self.statsRxInSlot += 1
|
|
|
|
|
2023-02-15 02:18:00 +00:00
|
|
|
def addToSendQueue(self, rID, cID):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Queue a segment for forwarding."""
|
2023-02-15 02:18:00 +00:00
|
|
|
if self.perNodeQueue:
|
|
|
|
self.sendQueue.append((rID, cID))
|
|
|
|
|
|
|
|
if self.perNeighborQueue:
|
|
|
|
if rID in self.rowIDs:
|
|
|
|
for neigh in self.rowNeighbors[rID].values():
|
|
|
|
neigh.sendQueue.append(cID)
|
|
|
|
|
|
|
|
if cID in self.columnIDs:
|
|
|
|
for neigh in self.columnNeighbors[cID].values():
|
|
|
|
neigh.sendQueue.append(rID)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2022-12-20 10:13:54 +00:00
|
|
|
def receiveRowsColumns(self):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Finalize time step by merging newly received segments in state."""
|
2023-01-13 15:51:27 +00:00
|
|
|
if self.amIproposer == 1:
|
2022-11-30 14:28:27 +00:00
|
|
|
self.logger.error("I am a block proposer", extra=self.format)
|
|
|
|
else:
|
2023-03-14 10:16:43 +00:00
|
|
|
self.logger.trace("Receiving the data...", extra=self.format)
|
2022-12-20 10:13:54 +00:00
|
|
|
#self.logger.debug("%s -> %s", self.block.data, self.receivedBlock.data, extra=self.format)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2022-12-20 10:13:54 +00:00
|
|
|
self.block.merge(self.receivedBlock)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-02-24 07:43:18 +00:00
|
|
|
for neighs in chain (self.rowNeighbors.values(), self.columnNeighbors.values()):
|
2023-01-26 09:08:19 +00:00
|
|
|
for neigh in neighs.values():
|
|
|
|
neigh.received |= neigh.receiving
|
|
|
|
neigh.receiving.setall(0)
|
2023-02-15 14:06:42 +00:00
|
|
|
|
2023-02-14 01:13:00 +00:00
|
|
|
# add newly received segments to the send queue
|
2023-02-15 13:17:17 +00:00
|
|
|
if self.perNodeQueue or self.perNeighborQueue:
|
|
|
|
while self.receivedQueue:
|
|
|
|
(rID, cID) = self.receivedQueue.popleft()
|
|
|
|
self.addToSendQueue(rID, cID)
|
2023-02-14 01:13:00 +00:00
|
|
|
|
2023-01-25 23:34:21 +00:00
|
|
|
def updateStats(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It updates the stats related to sent and received data."""
|
2023-01-25 23:34:21 +00:00
|
|
|
self.logger.debug("Stats: tx %d, rx %d", self.statsTxInSlot, self.statsRxInSlot, extra=self.format)
|
|
|
|
self.statsRxPerSlot.append(self.statsRxInSlot)
|
2023-03-20 13:33:35 +00:00
|
|
|
self.statsRxDupPerSlot.append(self.statsRxDupInSlot)
|
2023-01-25 23:34:21 +00:00
|
|
|
self.statsTxPerSlot.append(self.statsTxInSlot)
|
|
|
|
self.statsRxInSlot = 0
|
2023-03-20 13:33:35 +00:00
|
|
|
self.statsRxDupInSlot = 0
|
2023-01-25 23:34:21 +00:00
|
|
|
self.statsTxInSlot = 0
|
|
|
|
|
2023-03-01 08:53:13 +00:00
|
|
|
def checkSegmentToNeigh(self, rID, cID, neigh):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Check if a segment should be sent to a neighbor."""
|
2023-07-12 11:21:27 +00:00
|
|
|
if (neigh.sent | neigh.received).count(1) >= (self.sendLineUntilC if neigh.dim else self.sendLineUntilR):
|
2023-02-23 10:21:58 +00:00
|
|
|
return False # sent enough, other side can restore
|
2023-03-01 08:53:13 +00:00
|
|
|
i = rID if neigh.dim else cID
|
2023-02-15 13:19:21 +00:00
|
|
|
if not neigh.sent[i] and not neigh.received[i] :
|
2023-02-14 01:11:44 +00:00
|
|
|
return True
|
|
|
|
else:
|
|
|
|
return False # received or already sent
|
|
|
|
|
2023-03-01 08:53:13 +00:00
|
|
|
def sendSegmentToNeigh(self, rID, cID, neigh):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Send segment to a neighbor (without checks)."""
|
2023-03-14 10:16:43 +00:00
|
|
|
self.logger.trace("sending %d/%d to %d", rID, cID, neigh.node.ID, extra=self.format)
|
2023-03-01 08:53:13 +00:00
|
|
|
i = rID if neigh.dim else cID
|
|
|
|
neigh.sent[i] = 1
|
|
|
|
neigh.node.receiveSegment(rID, cID, self.ID)
|
|
|
|
self.statsTxInSlot += 1
|
|
|
|
|
|
|
|
def checkSendSegmentToNeigh(self, rID, cID, neigh):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Check and send a segment to a neighbor if needed."""
|
2023-03-01 08:53:13 +00:00
|
|
|
if self.checkSegmentToNeigh(rID, cID, neigh):
|
|
|
|
self.sendSegmentToNeigh(rID, cID, neigh)
|
|
|
|
return True
|
|
|
|
else:
|
|
|
|
return False
|
|
|
|
|
2023-02-24 07:55:26 +00:00
|
|
|
def processSendQueue(self):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Send out segments from queue until bandwidth limit reached.
|
|
|
|
|
2023-03-01 22:59:35 +00:00
|
|
|
SendQueue is a centralized queue from which segments are sent out
|
2023-03-03 10:47:27 +00:00
|
|
|
in FIFO order to all interested neighbors.
|
2023-03-01 22:59:35 +00:00
|
|
|
"""
|
2023-02-14 01:13:00 +00:00
|
|
|
while self.sendQueue:
|
|
|
|
(rID, cID) = self.sendQueue[0]
|
|
|
|
|
|
|
|
if rID in self.rowIDs:
|
2023-02-15 02:25:52 +00:00
|
|
|
for _, neigh in shuffledDict(self.rowNeighbors[rID], self.shuffleNeighbors):
|
2023-03-01 08:53:13 +00:00
|
|
|
self.checkSendSegmentToNeigh(rID, cID, neigh)
|
2023-02-14 01:13:00 +00:00
|
|
|
|
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
|
|
|
|
|
|
|
if cID in self.columnIDs:
|
2023-02-15 02:25:52 +00:00
|
|
|
for _, neigh in shuffledDict(self.columnNeighbors[cID], self.shuffleNeighbors):
|
2023-03-01 08:53:13 +00:00
|
|
|
self.checkSendSegmentToNeigh(rID, cID, neigh)
|
2023-02-14 01:13:00 +00:00
|
|
|
|
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
|
|
|
|
|
|
|
self.sendQueue.popleft()
|
|
|
|
|
2023-02-24 07:55:26 +00:00
|
|
|
def processPerNeighborSendQueue(self):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Send out segments from per-neighbor queues until bandwidth limit reached.
|
|
|
|
|
2023-03-01 22:59:35 +00:00
|
|
|
Segments are dispatched from per-neighbor transmission queues in a shuffled
|
|
|
|
round-robin order, emulating a type of fair queuing. Since neighborhood is
|
|
|
|
handled at the topic (column or row) level, fair queuing is also at the level
|
|
|
|
of flows per topic and per peer. A per-peer model might be closer to the
|
2023-03-03 10:47:27 +00:00
|
|
|
reality of libp2p implementations where topics between two nodes are
|
2023-03-01 22:59:35 +00:00
|
|
|
multiplexed over the same transport.
|
|
|
|
"""
|
2023-02-14 10:52:47 +00:00
|
|
|
progress = True
|
|
|
|
while (progress):
|
|
|
|
progress = False
|
2023-02-24 11:10:34 +00:00
|
|
|
|
|
|
|
queues = []
|
|
|
|
# collect and shuffle
|
|
|
|
for rID, neighs in self.rowNeighbors.items():
|
|
|
|
for neigh in neighs.values():
|
2023-02-14 10:52:47 +00:00
|
|
|
if (neigh.sendQueue):
|
2023-02-24 11:10:34 +00:00
|
|
|
queues.append((0, rID, neigh))
|
2023-02-14 10:52:47 +00:00
|
|
|
|
2023-02-24 11:10:34 +00:00
|
|
|
for cID, neighs in self.columnNeighbors.items():
|
|
|
|
for neigh in neighs.values():
|
2023-02-14 10:52:47 +00:00
|
|
|
if (neigh.sendQueue):
|
2023-02-24 11:10:34 +00:00
|
|
|
queues.append((1, cID, neigh))
|
|
|
|
|
|
|
|
for dim, lineID, neigh in shuffled(queues, self.shuffleQueues):
|
|
|
|
if dim == 0:
|
2023-03-01 08:53:13 +00:00
|
|
|
self.checkSendSegmentToNeigh(lineID, neigh.sendQueue.popleft(), neigh)
|
2023-02-24 11:10:34 +00:00
|
|
|
else:
|
2023-03-01 08:53:13 +00:00
|
|
|
self.checkSendSegmentToNeigh(neigh.sendQueue.popleft(), lineID, neigh)
|
2023-02-24 11:10:34 +00:00
|
|
|
progress = True
|
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
2023-02-14 10:52:47 +00:00
|
|
|
|
2023-02-24 07:55:26 +00:00
|
|
|
def runSegmentShuffleScheduler(self):
|
2023-03-03 10:47:27 +00:00
|
|
|
""" Schedule chunks for sending.
|
|
|
|
|
2023-03-01 22:59:35 +00:00
|
|
|
This scheduler check which owned segments needs sending (at least
|
|
|
|
one neighbor needing it). Then it sends each segment that's worth sending
|
|
|
|
once, in shuffled order. This is repeated until bw limit.
|
|
|
|
"""
|
2023-02-15 13:28:38 +00:00
|
|
|
|
2023-03-01 09:41:47 +00:00
|
|
|
def collectSegmentsToSend():
|
|
|
|
# yields list of segments to send as (dim, lineID, id)
|
|
|
|
segmentsToSend = []
|
2023-02-15 13:22:55 +00:00
|
|
|
for rID, neighs in self.rowNeighbors.items():
|
|
|
|
line = self.getRow(rID)
|
2023-07-12 11:21:27 +00:00
|
|
|
needed = zeros(self.shape.blockSizeR)
|
2023-02-15 13:22:55 +00:00
|
|
|
for neigh in neighs.values():
|
2023-02-23 10:21:58 +00:00
|
|
|
sentOrReceived = neigh.received | neigh.sent
|
2023-07-12 11:21:27 +00:00
|
|
|
if sentOrReceived.count(1) < self.sendLineUntilR:
|
2023-02-23 10:21:58 +00:00
|
|
|
needed |= ~sentOrReceived
|
2023-02-15 13:22:55 +00:00
|
|
|
needed &= line
|
|
|
|
if (needed).any():
|
|
|
|
for i in range(len(needed)):
|
|
|
|
if needed[i]:
|
2023-03-01 09:41:47 +00:00
|
|
|
segmentsToSend.append((0, rID, i))
|
2023-02-15 13:22:55 +00:00
|
|
|
|
|
|
|
for cID, neighs in self.columnNeighbors.items():
|
|
|
|
line = self.getColumn(cID)
|
2023-07-12 11:21:27 +00:00
|
|
|
needed = zeros(self.shape.blockSizeC)
|
2023-02-15 13:22:55 +00:00
|
|
|
for neigh in neighs.values():
|
2023-02-23 10:21:58 +00:00
|
|
|
sentOrReceived = neigh.received | neigh.sent
|
2023-07-12 11:21:27 +00:00
|
|
|
if sentOrReceived.count(1) < self.sendLineUntilC:
|
2023-02-23 10:21:58 +00:00
|
|
|
needed |= ~sentOrReceived
|
2023-02-15 13:22:55 +00:00
|
|
|
needed &= line
|
|
|
|
if (needed).any():
|
|
|
|
for i in range(len(needed)):
|
|
|
|
if needed[i]:
|
2023-03-01 09:41:47 +00:00
|
|
|
segmentsToSend.append((1, cID, i))
|
2023-02-15 13:22:55 +00:00
|
|
|
|
2023-03-01 09:41:47 +00:00
|
|
|
return segmentsToSend
|
|
|
|
|
|
|
|
def nextSegment():
|
|
|
|
while True:
|
|
|
|
# send each collected segment once
|
|
|
|
if hasattr(self, 'segmentShuffleGen') and self.segmentShuffleGen is not None:
|
|
|
|
for dim, lineID, id in self.segmentShuffleGen:
|
|
|
|
if dim == 0:
|
|
|
|
for _, neigh in shuffledDict(self.rowNeighbors[lineID], self.shuffleNeighbors):
|
|
|
|
if self.checkSegmentToNeigh(lineID, id, neigh):
|
|
|
|
yield((lineID, id, neigh))
|
|
|
|
break
|
|
|
|
else:
|
|
|
|
for _, neigh in shuffledDict(self.columnNeighbors[lineID], self.shuffleNeighbors):
|
|
|
|
if self.checkSegmentToNeigh(id, lineID, neigh):
|
|
|
|
yield((id, lineID, neigh))
|
|
|
|
break
|
|
|
|
|
|
|
|
# collect segments for next round
|
|
|
|
segmentsToSend = collectSegmentsToSend()
|
|
|
|
|
|
|
|
# finish if empty or set up shuffled generator based on collected segments
|
|
|
|
if not segmentsToSend:
|
2023-02-15 13:22:55 +00:00
|
|
|
break
|
2023-02-16 08:19:45 +00:00
|
|
|
else:
|
2023-03-01 09:41:47 +00:00
|
|
|
self.segmentShuffleGen = shuffled(segmentsToSend, self.shuffleLines)
|
|
|
|
|
|
|
|
for rid, cid, neigh in nextSegment():
|
|
|
|
# segments are checked just before yield, so we can send directly
|
|
|
|
self.sendSegmentToNeigh(rid, cid, neigh)
|
|
|
|
|
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
if not self.segmentShuffleSchedulerPersist:
|
|
|
|
# remove scheduler state before leaving
|
|
|
|
self.segmentShuffleGen = None
|
|
|
|
return
|
2023-02-15 13:22:55 +00:00
|
|
|
|
2023-02-24 09:24:19 +00:00
|
|
|
def runDumbRandomScheduler(self, tries = 100):
|
2023-03-03 10:47:27 +00:00
|
|
|
"""Random scheduler picking segments at random.
|
|
|
|
|
|
|
|
This scheduler implements a simple random scheduling order picking
|
2023-03-01 22:59:35 +00:00
|
|
|
segments at random and peers potentially interested in that segment
|
|
|
|
also at random.
|
2023-03-03 10:47:27 +00:00
|
|
|
It serves more as a performance baseline than as a realistic model.
|
2023-03-01 22:59:35 +00:00
|
|
|
"""
|
2023-03-01 09:55:04 +00:00
|
|
|
|
|
|
|
def nextSegment():
|
2023-02-15 02:15:00 +00:00
|
|
|
t = tries
|
|
|
|
while t:
|
|
|
|
if self.rowIDs:
|
|
|
|
rID = random.choice(self.rowIDs)
|
2023-07-12 11:21:27 +00:00
|
|
|
cID = random.randrange(0, self.shape.blockSizeR)
|
2023-02-15 02:15:00 +00:00
|
|
|
if self.block.getSegment(rID, cID) :
|
|
|
|
neigh = random.choice(list(self.rowNeighbors[rID].values()))
|
2023-03-01 09:55:04 +00:00
|
|
|
if self.checkSegmentToNeigh(rID, cID, neigh):
|
|
|
|
yield(rID, cID, neigh)
|
2023-02-15 02:15:00 +00:00
|
|
|
t = tries
|
|
|
|
if self.columnIDs:
|
|
|
|
cID = random.choice(self.columnIDs)
|
2023-07-12 11:21:27 +00:00
|
|
|
rID = random.randrange(0, self.shape.blockSizeC)
|
2023-02-15 02:15:00 +00:00
|
|
|
if self.block.getSegment(rID, cID) :
|
|
|
|
neigh = random.choice(list(self.columnNeighbors[cID].values()))
|
2023-03-01 09:55:04 +00:00
|
|
|
if self.checkSegmentToNeigh(rID, cID, neigh):
|
|
|
|
yield(rID, cID, neigh)
|
2023-02-15 02:15:00 +00:00
|
|
|
t = tries
|
|
|
|
t -= 1
|
2023-03-01 09:55:04 +00:00
|
|
|
|
|
|
|
for rid, cid, neigh in nextSegment():
|
|
|
|
# segments are checked just before yield, so we can send directly
|
|
|
|
self.sendSegmentToNeigh(rid, cid, neigh)
|
|
|
|
|
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2023-02-24 07:55:26 +00:00
|
|
|
def send(self):
|
2023-03-03 10:47:27 +00:00
|
|
|
""" Send as much as we can in the timestep, limited by bwUplink."""
|
2023-02-24 07:55:26 +00:00
|
|
|
|
|
|
|
# process node level send queue
|
|
|
|
self.processSendQueue()
|
2023-02-24 11:04:07 +00:00
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
2023-02-24 07:55:26 +00:00
|
|
|
|
|
|
|
# process neighbor level send queues in shuffled breadth-first order
|
|
|
|
self.processPerNeighborSendQueue()
|
2023-02-24 11:04:07 +00:00
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
2023-02-24 07:55:26 +00:00
|
|
|
|
|
|
|
# process possible segments to send in shuffled breadth-first order
|
|
|
|
if self.segmentShuffleScheduler:
|
|
|
|
self.runSegmentShuffleScheduler()
|
2023-02-24 11:04:07 +00:00
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
2023-02-24 07:55:26 +00:00
|
|
|
|
|
|
|
if self.dumbRandomScheduler:
|
|
|
|
self.runDumbRandomScheduler()
|
2023-02-24 11:04:07 +00:00
|
|
|
if self.statsTxInSlot >= self.bwUplink:
|
|
|
|
return
|
2023-02-24 07:55:26 +00:00
|
|
|
|
2022-11-30 14:28:27 +00:00
|
|
|
def logRows(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It logs the rows assigned to the validator."""
|
2022-12-20 10:25:44 +00:00
|
|
|
if self.logger.isEnabledFor(logging.DEBUG):
|
|
|
|
for id in self.rowIDs:
|
|
|
|
self.logger.debug("Row %d: %s", id, self.getRow(id), extra=self.format)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
|
|
|
def logColumns(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It logs the columns assigned to the validator."""
|
2022-12-20 10:25:44 +00:00
|
|
|
if self.logger.isEnabledFor(logging.DEBUG):
|
|
|
|
for id in self.columnIDs:
|
|
|
|
self.logger.debug("Column %d: %s", id, self.getColumn(id), extra=self.format)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2022-12-07 14:46:45 +00:00
|
|
|
def restoreRows(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It restores the rows assigned to the validator, that can be repaired."""
|
2023-02-15 02:23:39 +00:00
|
|
|
if self.repairOnTheFly:
|
|
|
|
for id in self.rowIDs:
|
2023-02-28 11:24:37 +00:00
|
|
|
self.restoreRow(id)
|
|
|
|
|
|
|
|
def restoreRow(self, id):
|
2023-03-01 22:59:35 +00:00
|
|
|
"""Restore a given row if repairable."""
|
2023-02-28 11:24:37 +00:00
|
|
|
rep = self.block.repairRow(id)
|
|
|
|
if (rep.any()):
|
|
|
|
# If operation is based on send queues, segments should
|
|
|
|
# be queued after successful repair.
|
|
|
|
for i in range(len(rep)):
|
|
|
|
if rep[i]:
|
2023-03-14 10:16:43 +00:00
|
|
|
self.logger.trace("Rep: %d,%d", id, i, extra=self.format)
|
2023-02-28 11:24:37 +00:00
|
|
|
self.addToSendQueue(id, i)
|
|
|
|
# self.statsRepairInSlot += rep.count(1)
|
2022-11-30 14:28:27 +00:00
|
|
|
|
2022-12-07 14:46:45 +00:00
|
|
|
def restoreColumns(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It restores the columns assigned to the validator, that can be repaired."""
|
2023-02-15 02:23:39 +00:00
|
|
|
if self.repairOnTheFly:
|
|
|
|
for id in self.columnIDs:
|
2023-02-28 11:24:37 +00:00
|
|
|
self.restoreColumn(id)
|
|
|
|
|
|
|
|
def restoreColumn(self, id):
|
2023-03-01 22:59:35 +00:00
|
|
|
"""Restore a given column if repairable."""
|
2023-02-28 11:24:37 +00:00
|
|
|
rep = self.block.repairColumn(id)
|
|
|
|
if (rep.any()):
|
|
|
|
# If operation is based on send queues, segments should
|
|
|
|
# be queued after successful repair.
|
|
|
|
for i in range(len(rep)):
|
|
|
|
if rep[i]:
|
2023-03-14 10:16:43 +00:00
|
|
|
self.logger.trace("Rep: %d,%d", i, id, extra=self.format)
|
2023-02-28 11:24:37 +00:00
|
|
|
self.addToSendQueue(i, id)
|
|
|
|
# self.statsRepairInSlot += rep.count(1)
|
2022-12-20 10:13:54 +00:00
|
|
|
|
|
|
|
def checkStatus(self):
|
2023-02-15 14:06:42 +00:00
|
|
|
"""It checks how many expected/arrived samples are for each assigned row/column."""
|
2023-04-09 21:21:23 +00:00
|
|
|
|
|
|
|
def checkStatus(columnIDs, rowIDs):
|
|
|
|
arrived = 0
|
|
|
|
expected = 0
|
|
|
|
for id in columnIDs:
|
|
|
|
line = self.getColumn(id)
|
|
|
|
arrived += line.count(1)
|
|
|
|
expected += len(line)
|
|
|
|
for id in rowIDs:
|
|
|
|
line = self.getRow(id)
|
|
|
|
arrived += line.count(1)
|
|
|
|
expected += len(line)
|
|
|
|
return arrived, expected
|
|
|
|
|
|
|
|
arrived, expected = checkStatus(self.columnIDs, self.rowIDs)
|
2022-12-20 10:13:54 +00:00
|
|
|
self.logger.debug("status: %d / %d", arrived, expected, extra=self.format)
|
|
|
|
|
2023-04-09 21:21:23 +00:00
|
|
|
validated = 0
|
|
|
|
for i in range(self.vpn):
|
|
|
|
a, e = checkStatus(self.vColumnIDs[i], self.vRowIDs[i])
|
|
|
|
if a == e:
|
|
|
|
validated+=1
|
|
|
|
|
|
|
|
return arrived, expected, validated
|