root
API
Generated with
root/org.sigilaris/org.sigilaris.node/org.sigilaris.node.jvm/org.sigilaris.node.jvm.runtime/org.sigilaris.node.jvm.runtime.consensus.hotstuff/HotStuffMaintenanceProgress

HotStuffMaintenanceProgress

org.sigilaris.node.jvm.runtime.consensus.hotstuff.HotStuffMaintenanceProgress
See theHotStuffMaintenanceProgress companion trait
object HotStuffMaintenanceProgress

The budget controls local work only. Exhaustion keeps the target and every safety claim intact; a genuine finalized tracker advance can still complete it. No transaction-bearing ancestor is required to request another round.

Attributes

Companion
trait
Source
MaintenanceFinalityDrive.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def bounded[F[_] : Sync](source: HotStuffMaintenanceSource[F], maxAttempts: Int, maxElapsed: Duration): F[Either[String, HotStuffMaintenanceProgress[F]]]

Attributes

Source
MaintenanceFinalityDrive.scala
def boundedWithCapacity[F[_] : Sync](source: HotStuffMaintenanceSource[F], maxAttempts: Int, maxElapsed: Duration, maximumTargets: Int): F[Either[String, HotStuffMaintenanceProgress[F]]]

Retain at most maximumTargets request identities for this process. At capacity, new requests hold instead of evicting an existing attempt budget or forgetting its target binding. Known targets can still reach finality.

Retain at most maximumTargets request identities for this process. At capacity, new requests hold instead of evicting an existing attempt budget or forgetting its target binding. Known targets can still reach finality.

Attributes

Source
MaintenanceFinalityDrive.scala
def idle[F[_] : Sync]: HotStuffMaintenanceProgress[F]

Attributes

Source
MaintenanceFinalityDrive.scala
Generated with