LeaseParameters

io.github.jchapuis.leases4s.LeaseRepository.LeaseParameters
See theLeaseParameters companion object
final case class LeaseParameters(leaseDuration: FiniteDuration, renewalFrequencyRatio: Double, initialOnErrorRetryDelay: FiniteDuration, watcherStreamTimeout: FiniteDuration)

Parameters for lease acquisition and renewal

Value parameters

initialOnErrorRetryDelay

base delay between retries in case of error, grows exponentially with each retry

leaseDuration

duration of the lease, after which the lease can be considered expired (unless it is renewed, which happens automatically while the lease is actively held)

renewalFrequencyRatio

ratio of the lease duration at which the lease is renewed: this should be smaller than 1 to ensure safe operation (typically 1/3)

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product