Schedule.py

from Operation import Operation
from ConflictOperation import ConflictOperation


class Schedule(object):
    def __init__(self, schedule):
        self._scheduleList = schedule

    def get_printable_schedule(self):
        result = ""
        for operation in self._scheduleList:
            result += operation.get_operation() + str(operation.get_tid()) + operation.get_var() + " "
        return result

    def is_conflict_serializable(self):
        conflicts = self._create_precedence_graph()
        for outer in conflicts:
            outerFrom = outer.get_from()
            outerTo = outer.get_to()
            for inner in conflicts:
                innerFrom = inner.get_from()
                innerTo = inner.get_to()
                if outerFrom == innerTo and outerTo == innerFrom:
                    return False
        return True

    def _create_precedence_graph(self):
        conflicts = []
        for i in range(0, len(self._scheduleList)):
            out_op = self._scheduleList[i]
            for j in range(0, len(self._scheduleList)):
                in_op = self._scheduleList[j]
                if out_op == in_op:
                    continue
                if out_op.get_operation() == "r" == in_op.get_operation():
                    continue
                if out_op.get_var() != in_op.get_var():
                    continue
                if i < j:
                    confl_op = ConflictOperation(out_op, in_op)
                    conflicts.append(confl_op)
                elif i > j:
                    confl_op = ConflictOperation(in_op, out_op)
                    conflicts.append(confl_op)
        return conflicts

    @staticmethod
    def _is_string(string):
        return isinstance(string, str)