Source code for

    This file is part of PM4Py (More Info:

    PM4Py is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    PM4Py is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with PM4Py.  If not, see <>.
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)