15 lines
293 B
INI
15 lines
293 B
INI
SPECIFICATION Spec
|
|
|
|
INVARIANTS
|
|
TypeInvariant
|
|
UniqueOwnerForEveryKey
|
|
DeadPartitionsAreOutsideTree
|
|
|
|
CONSTANTS
|
|
PartitionIds = {p0, p1, p2, p3, p4, p5, p6, p7}
|
|
Threads = {t0, t1, t2, t3}
|
|
NoThread = NoThread
|
|
KeyCount = 1024
|
|
MinPartitionSize = 2
|
|
MaxPartitionSize = 8
|
|
MaxLoad = 9
|