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,