Packages

package par

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class DelayedDependersNotification(eventId: Int, newEPS: SomeEPS) extends StoreEvent with Product with Serializable
  2. case class DependerNotification(eventId: Int, newEPS: SomeEPS, dependerEPK: SomeEPK) extends StoreEvent with Product with Serializable
  3. case class FirstException(eventId: Int, t: Throwable, thread: String, stackTrace: String) extends StoreEvent with Product with Serializable
  4. case class Force(eventId: Int, e: Entity, pkId: Int) extends StoreEvent with Product with Serializable
  5. case class ForceForComputedEPK(eventId: Int, e: Entity, pkId: Int) extends StoreEvent with Product with Serializable
  6. case class HandlingResult(eventId: Int, r: PropertyComputationResult, forceEvaluation: Boolean, epksWithNotYetNotifiedDependers: Set[SomeEPK]) extends StoreEvent with Product with Serializable
  7. case class ImmediateDependeeUpdate(eventId: Int, e: Entity, pk: SomePropertyKey, processedDependee: SomeEOptionP, currentDependee: SomeEPS, updateAndNotifyState: UpdateAndNotifyState) extends StoreEvent with Product with Serializable
  8. case class LazyComputationScheduled(eventId: Int, e: Entity, pkId: Int) extends StoreEvent with Product with Serializable
  9. case class MetaInformationDeleted(eventId: Int, finalEP: SomeFinalEP) extends StoreEvent with Product with Serializable
  10. final class PKEParallelTasksPropertyStore extends PropertyStore

    A concurrent implementation of the property store which parallels the execution of the scheduled computations.

    A concurrent implementation of the property store which parallels the execution of the scheduled computations.

    Entities are stored after computation.

    Implementation

    The idea is to use one specific thread (the store updates thread) for processing updates to the store. This enables us to avoid any synchronization w.r.t. updating the depender/dependee relations.

    We use NumberOfThreadsForProcessingPropertyComputations threads for processing the scheduled computations.

  11. trait PropertyStoreTracer extends AnyRef

    Enables the tracing of key events during the analysis progress.

  12. case class PropertyUpdate(eventId: Int, oldEPS: SomeEPS, newEPS: SomeEPS) extends StoreEvent with Product with Serializable
  13. case class ReachedQuiescence(eventId: Int) extends StoreEvent with Product with Serializable
  14. class RecordAllPropertyStoreTracer extends PropertyStoreTracer
  15. sealed trait StoreEvent extends AnyRef
  16. sealed trait UpdateAndNotifyState extends AnyRef
  17. case class UselessPartialResult(eventId: Int, r: SomePartialResult, oldEOptionP: SomeEOptionP) extends StoreEvent with Product with Serializable

Value Members

  1. object NoRelevantUpdate extends UpdateAndNotifyState with Product with Serializable
  2. object PKEParallelTasksPropertyStore extends PropertyStoreFactory

    Factory for creating PKEParallelTasksPropertyStores.

  3. object RelevantUpdateAndNotification extends UpdateAndNotifyState with Product with Serializable
  4. object RelevantUpdateButNoNotification extends UpdateAndNotifyState with Product with Serializable

Ungrouped