def init_all_processes(self, config):
try:
cl = da.import_da('client')
co = da.import_da('coordinator')
d = da.import_da('database')
except ImportError:
self.output('Error in import', sep='|')
try:
coord = da.new(co.Coordinator, num=config.num_coordinator)
data = da.new(d.Database, num=1)
clie = da.new(cl.Client, num=config.num_client)
except:
self.output('Error in process creation')
try:
coord_list = list(coord)
data_list = list(data)
counter = 0
for a in clie:
da.setup(a, (config, coord_list, counter))
counter += 1
da.setup(coord, (config, coord_list, 0, data, None, None))
m = list()
m.append(self.data_file)
da.setup(data, m)
except:
self.output('Error in setup')
try:
da.start(clie)
da.start(coord)
da.start(data)
except:
self.output('Error in starting processes')
import da
PatternExpr_1088 = da.pat.TuplePattern(
[da.pat.ConstantPattern('req_res'),
da.pat.FreePattern('msg')])
PatternExpr_1112 = da.pat.TuplePattern(
[da.pat.ConstantPattern('reply_db_read'),
da.pat.FreePattern('msg')])
PatternExpr_1139 = da.pat.TuplePattern(
[da.pat.FreePattern('a'), da.pat.FreePattern('b')])
_config_object = {'clock': 'Lamport', 'channel': 'fifo'}
import sys
import xml.etree.ElementTree as ET
TIMEOUT = 1
d = da.import_da('database')
class Worker(da.DistProcess):
def __init__(self, parent, initq, channel, props):
super().__init__(parent, initq, channel, props)
self._WorkerReceivedEvent_0 = []
self._WorkerReceivedEvent_1 = []
self._events.extend([
da.pat.EventPattern(da.pat.ReceivedEvent,
'_WorkerReceivedEvent_0',
PatternExpr_1088,
sources=None,
destinations=None,
timestamps=None,
record_history=True,
handlers=[]),
da.pat.EventPattern(da.pat.ReceivedEvent,
import da
PatternExpr_818 = da.pat.TuplePattern([da.pat.ConstantPattern('reply_db_read'), da.pat.FreePattern('req1')])
PatternExpr_1764 = da.pat.TuplePattern([da.pat.ConstantPattern('handleReq'), da.pat.TuplePattern([da.pat.FreePattern('req'), da.pat.FreePattern('i')])])
PatternExpr_1793 = da.pat.TuplePattern([da.pat.ConstantPattern('readAttr'), da.pat.TuplePattern([da.pat.FreePattern('req'), da.pat.FreePattern('i')])])
PatternExpr_1820 = da.pat.TuplePattern([da.pat.ConstantPattern('result'), da.pat.FreePattern('req')])
PatternExpr_1843 = da.pat.TuplePattern([da.pat.ConstantPattern('restart'), da.pat.FreePattern('req')])
PatternExpr_1866 = da.pat.TuplePattern([da.pat.ConstantPattern('reply_db_read'), da.pat.FreePattern('req')])
PatternExpr_1894 = da.pat.TuplePattern([da.pat.FreePattern('a'), da.pat.FreePattern('b')])
_config_object = {'clock': 'Lamport', 'channel': 'fifo'}
import random, time, sys
import version
import staticAnalysis
sys.path.insert(0, '../config')
import config
w = da.import_da('worker')
from request import Request
MAXDBLatency = 0.1
MINDBLatency = 0.01
TIMEOUT = 1
class Coordinator(da.DistProcess):
def __init__(self, parent, initq, channel, props):
super().__init__(parent, initq, channel, props)
self._CoordinatorReceivedEvent_0 = []
self._CoordinatorReceivedEvent_1 = []
self._CoordinatorReceivedEvent_2 = []
self._CoordinatorReceivedEvent_3 = []
self._CoordinatorReceivedEvent_4 = []
self._CoordinatorReceivedEvent_5 = []
PatternExpr_472 = da.pat.TuplePattern([
da.pat.ConstantPattern('REPLY'),
da.pat.BoundPattern('_BoundPattern475_'),
da.pat.BoundPattern('_BoundPattern476_'),
da.pat.FreePattern(None),
da.pat.BoundPattern('_BoundPattern478_'),
da.pat.BoundPattern('_BoundPattern479_')
])
PatternExpr_482 = da.pat.FreePattern('a')
_config_object = {'channnel': 'fifo', 'clock': 'lamport'}
import sys
sys.setrecursionlimit(100000)
import time
import random
import hashlib
controller_module = da.import_da('controller')
NOPS = 4
class Client(controller_module.Controllee, da.DistProcess):
def __init__(self, procimpl, props):
super().__init__(procimpl, props)
self._ClientReceivedEvent_1 = []
self._events.extend([
da.pat.EventPattern(da.pat.ReceivedEvent,
'_ClientReceivedEvent_0',
PatternExpr_432,
sources=None,
destinations=None,
timestamps=None,
record_history=None,
import da
_config_object = {}
import os, sys, traceback, json, random
try:
database = da.import_da('database')
coordinator = da.import_da('coordinator')
client = da.import_da('client')
except ImportError:
self.output('Failed to import class files')
class Init(da.DistProcess):
def __init__(self, parent, initq, channel, props):
super().__init__(parent, initq, channel, props)
self._events.extend([])
def setup(self):
pass
def _da_run_internal(self):
if (not os.path.exists(sys.argv[2])):
self.output(('Config file %s does not exist.' % sys.argv[2]))
sys.exit((-1))
configData = json.loads(open(sys.argv[2]).read())
numCoordinator = configData.get('globalConfig').get('numCoordinators')
numWorkerPerCoordinator = configData.get('globalConfig').get(
'numWorkerPerCoordinator')
if self.initProcesses(int(numCoordinator),
int(numWorkerPerCoordinator)):
self.output('Failed to setup the environment')
sys.exit((-1))
# -*- generated by 1.0.9 -*-
import da
_config_object = {}
import sys
import nacl.encoding
import nacl.hash
import nacl.signing
from nacl.bindings.utils import sodium_memcmp
from re import split
import time
import logging
Olympus = da.import_da('Olympus')
Parent = da.import_da('Parent')
Client = da.import_da('Client')
Replica = da.import_da('Replica')
class Node_(da.NodeProcess):
def __init__(self, procimpl, props):
super().__init__(procimpl, props)
self._events.extend([])
_config_object = {'channel': {'reliable', 'fifo'}}
def run(self):
config = dict()
failure = dict()
with open(sys.argv[(- 1)], 'r') as f:
for line in f:
if (not (line[0] == '#')):
(key, sep, val) = line.partition('=')
if (not (len(sep) == 0)):
_config_object = {'channel': {'fifo', 'reliable'}, 'clock': 'lamport'}
import os
import sys
import logging
import time
import datetime
import pickle
import copy
import nacl.encoding
import nacl
import nacl.signing
from nacl.bindings.utils import sodium_memcmp
from copy import deepcopy
from collections import OrderedDict
from itertools import combinations
da_client = da.import_da('client')
da_replica = da.import_da('replica')
class Olympus(da.DistProcess):
def __init__(self, procimpl, props):
super().__init__(procimpl, props)
self._events.extend([da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_0', PatternExpr_962, sources=[PatternExpr_966], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_961]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_1', PatternExpr_981, sources=[PatternExpr_990], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_980]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_2', PatternExpr_1037, sources=[PatternExpr_1046], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_1036]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_3', PatternExpr_1101, sources=None, destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_1100]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_4', PatternExpr_1826, sources=[PatternExpr_1833], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_1825]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_5', PatternExpr_2631, sources=[PatternExpr_2638], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_2630]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_6', PatternExpr_2865, sources=[PatternExpr_2872], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_2864]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_7', PatternExpr_2974, sources=[PatternExpr_2981], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_2973]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_8', PatternExpr_3004, sources=[PatternExpr_3011], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_3003]), da.pat.EventPattern(da.pat.ReceivedEvent, '_OlympusReceivedEvent_9', PatternExpr_3300, sources=[PatternExpr_3307], destinations=None, timestamps=None, record_history=None, handlers=[self._Olympus_handler_3299])])
def setup(self, config, master, **rest_3325):
super().setup(config=config, master=master, **rest_3325)
self._state.config = config
self._state.master = master
self._state.config_id = (- 1)
self._state.config = self._state.config
self._state.configuration = OrderedDict()
PatternExpr_1508 = da.pat.TuplePattern([da.pat.ConstantPattern('learned')])
PatternExpr_1513 = da.pat.BoundPattern('_BoundPattern1514_')
PatternExpr_773 = da.pat.TuplePattern([da.pat.FreePattern(None), da.pat.TuplePattern([da.pat.FreePattern(None), da.pat.FreePattern(None), da.pat.BoundPattern('_BoundPattern779_')]), da.pat.TuplePattern([da.pat.ConstantPattern('learned')])])
PatternExpr_1151 = da.pat.TuplePattern([da.pat.FreePattern(None), da.pat.TuplePattern([da.pat.FreePattern(None), da.pat.FreePattern(None), da.pat.BoundPattern('_BoundPattern1157_')]), da.pat.TuplePattern([da.pat.ConstantPattern('learned')])])
PatternExpr_1515 = da.pat.TuplePattern([da.pat.FreePattern(None), da.pat.TuplePattern([da.pat.FreePattern(None), da.pat.FreePattern(None), da.pat.BoundPattern('_BoundPattern1521_')]), da.pat.TuplePattern([da.pat.ConstantPattern('learned')])])
_config_object = {}
import sys
import os
import random
import time
import matplotlib.pyplot as plot1
import matplotlib.pyplot as plot2
import numpy as np
from statistics import stdev
from subprocess import call
BasicPaxos = da.import_da('basic_paxos')
PreemptPaxos = da.import_da('preempt_paxos')
class Monitor(da.DistProcess):
def __init__(self, procimpl, props):
super().__init__(procimpl, props)
self._MonitorReceivedEvent_0 = []
self._events.extend([da.pat.EventPattern(da.pat.ReceivedEvent, '_MonitorReceivedEvent_0', PatternExpr_234, sources=[PatternExpr_239], destinations=None, timestamps=None, record_history=True, handlers=[]), da.pat.EventPattern(da.pat.ReceivedEvent, '_MonitorReceivedEvent_1', PatternExpr_267, sources=[PatternExpr_276], destinations=None, timestamps=None, record_history=None, handlers=[self._Monitor_handler_266]), da.pat.EventPattern(da.pat.ReceivedEvent, '_MonitorReceivedEvent_2', PatternExpr_290, sources=[PatternExpr_299], destinations=None, timestamps=None, record_history=None, handlers=[self._Monitor_handler_289]), da.pat.EventPattern(da.pat.ReceivedEvent, '_MonitorReceivedEvent_3', PatternExpr_313, sources=[PatternExpr_322], destinations=None, timestamps=None, record_history=None, handlers=[self._Monitor_handler_312])])
def setup(self, learners, acceptors, proposers, **rest_1728):
super().setup(learners=learners, acceptors=acceptors, proposers=proposers, **rest_1728)
self._state.learners = learners
self._state.acceptors = acceptors
self._state.proposers = proposers
self._state.proposerVal = set()
import da
PatternExpr_936 = da.pat.TuplePattern(
[da.pat.ConstantPattern('req_cord'),
da.pat.FreePattern('req')])
PatternExpr_964 = da.pat.TuplePattern(
[da.pat.FreePattern('a'), da.pat.FreePattern('b')])
_config_object = {'clock': 'Lamport', 'channel': 'fifo'}
import sys
import xml.etree.ElementTree as ET
sys.path.insert(0, '../config')
import config
import staticAnalysis
d = da.import_da('database')
co = da.import_da('coordinator')
TIMEOUT = 1
class Worker(da.DistProcess):
def __init__(self, parent, initq, channel, props):
super().__init__(parent, initq, channel, props)
self._WorkerReceivedEvent_0 = []
self._events.extend([
da.pat.EventPattern(da.pat.ReceivedEvent,
'_WorkerReceivedEvent_0',
PatternExpr_936,
sources=None,
destinations=None,
timestamps=None,
da.pat.FreePattern(None),
da.pat.FreePattern(None),
da.pat.FreePattern(None)
]),
da.pat.ConstantPattern('done')
])
_config_object = {'channel': {'fifo', 'reliable'}, 'clock': 'lamport'}
import os
import sys
import logging
import time
import datetime
import uuid
import traceback
da_client = da.import_da('client')
da_replica = da.import_da('replica')
da_olympus = da.import_da('olympus')
class Master(da.DistProcess):
def __init__(self, procimpl, props):
super().__init__(procimpl, props)
self._MasterReceivedEvent_0 = []
self._events.extend([
da.pat.EventPattern(da.pat.ReceivedEvent,
'_MasterReceivedEvent_0',
PatternExpr_469,
sources=None,
destinations=None,
timestamps=None,
da.pat.FreePattern(None),
da.pat.FreePattern(None),
da.pat.BoundPattern('_BoundPattern901_')
]),
da.pat.TuplePattern([da.pat.ConstantPattern('done')])
])
_config_object = {'channnel': 'fifo', 'clock': 'lamport'}
import sys
import sys
import time
import random
import hashlib
import csv
import os
import psutil
client_module = da.import_da('Client')
replica_module = da.import_da('Replica')
test_module = da.import_da('Test')
controller_module = da.import_da('controller')
class Driver(da.DistProcess):
def __init__(self, procimpl, props):
super().__init__(procimpl, props)
self._DriverReceivedEvent_0 = []
self._DriverReceivedEvent_1 = []
self._DriverReceivedEvent_2 = []
self._events.extend([
da.pat.EventPattern(da.pat.ReceivedEvent,
'_DriverReceivedEvent_0',
PatternExpr_481,
