tck/me.ahoo.wow.tck.subscription/LeaseStoreSpec

LeaseStoreSpec

abstract class LeaseStoreSpec

The LeaseStore contract (documentation/designs/04-subscriptions.md §1) every backend passes. A backend's test extends it and supplies a store whose time comes from clock; each test uses its own group, so the tests may share one table.

Inheritors

Constructors

constructor()

Functions

a free partition is acquired at epoch 1 until now plus the ttl

@Test

fun a free partition is acquired at epoch 1 until now plus the ttl()

a live lease cannot be taken, an expired one can

@Test

fun a live lease cannot be taken, an expired one can()

a member records the lease groups it serves, and a heartbeat replaces them

@Test

fun a member records the lease groups it serves, and a heartbeat replaces them()

Membership is recorded per service, with the lease groups a node serves on its one record: a heartbeat replaces them, and a record without groups lists none.

a node that leaves is no longer a member but keeps its leases

@Test

fun a node that leaves is no longer a member but keeps its leases()

a released lease can be acquired at once

@Test

fun a released lease can be acquired at once()

a renewal renews the live leases the owner holds and leaves the others out

@Test

fun a renewal renews the live leases the owner holds and leaves the others out()

an owner taking back its expired lease starts a new epoch

@Test

fun an owner taking back its expired lease starts a new epoch()

concurrent acquisitions of a partition have exactly one winner

@Test

fun concurrent acquisitions of a partition have exactly one winner()

concurrent acquisitions of an expired partition have exactly one winner

@Test

fun concurrent acquisitions of an expired partition have exactly one winner()

members are the nodes whose heartbeat is live

@Test

fun members are the nodes whose heartbeat is live()

members carry the address of their last heartbeat

@Test

fun members carry the address of their last heartbeat()

only the owner renews, and only while the lease is live

@Test

fun only the owner renews, and only while the lease is live()

owners lists the live leases of one group in partition order

@Test

fun owners lists the live leases of one group in partition order()

the owner acquiring again extends its lease and keeps the epoch

@Test

fun the owner acquiring again extends its lease and keeps the epoch()