Source code for pm4py.streaming.stream.live_trace_stream

import collections
import threading
from concurrent.futures import ThreadPoolExecutor
from enum import Enum
from pm4py.util import exec_utils


[docs] class StreamState(Enum): INACTIVE = 1 ACTIVE = 2 FINISHED = 3
[docs] class Parameters(Enum): THREAD_POOL_SIZE = "thread_pool_size"
[docs] class LiveTraceStream: def __init__(self, parameters=None): self._dq = collections.deque() self._state = StreamState.INACTIVE self._lock = threading.Lock() self._cond = threading.Condition(self._lock) self._observers = set() self._mail_man = None self._tp = ThreadPoolExecutor( exec_utils.get_param_value( Parameters.THREAD_POOL_SIZE, parameters, 6 ) )
[docs] def append(self, event): self._cond.acquire() if self._state != StreamState.FINISHED: self._dq.append(event) self._cond.notify() self._cond.release()
def _deliver(self): while self._state != StreamState.INACTIVE: self._cond.acquire() while len(self._dq) == 0: self._cond.notify() if self._state != StreamState.FINISHED: self._cond.wait() else: self._cond.release() return event = self._dq.popleft() for algo in self._observers: self._tp.submit(algo.receive, event) self._cond.release()
[docs] def start(self): self._cond.acquire() self._state = StreamState.ACTIVE self._mail_man = threading.Thread(target=self._deliver) self._mail_man.start() self._cond.release()
[docs] def stop(self): self._cond.acquire() while len(self._dq) > 0: self._cond.wait() self._tp.shutdown() if self._state == StreamState.ACTIVE: self._state = StreamState.FINISHED self._cond.notify() self._cond.release()
[docs] def register(self, algo): self._cond.acquire() self._observers.add(algo) self._cond.release()
[docs] async def deregister(self, algo): self._cond.acquire() self._observers.remove(algo) self._cond.release()
def _get_state(self): return self._state state = property(_get_state)