mirror of
https://github.com/kaspanet/kaspad.git
synced 2025-09-13 13:00:10 +00:00

* [NOD-540] Implement reachability (#545) * [NOD-540] Begin implementing reachability. * [NOD-540] Finish implementing reachability. * [NOD-540] Implement TestIsFutureBlock. * [NOD-540] Implement TestInsertFutureBlock. * [NOD-540] Add comments. * [NOD-540] Add comment for interval in blockNode. * [NOD-540] Updated comments over insertFutureBlock and isFutureBlock. * [NOD-540] Implement interval splitting methods. * [NOD-540] Begin implementing tree manipulation in blockNode. * [NOD-540] Implement countSubtreesUp. * [NOD-540] Add a comment explaining an impossible condition. * [NOD-540] Implement applyIntervalDown. * [NOD-540] Moved the reachability tree stuff into reachability.go. * [NOD-540] Add some comments. * [NOD-540] Add more comments, implement isInPast. * [NOD-540] Fix comments. * [NOD-540] Implement TestSplitFraction. * [NOD-540] Implement TestSplitExact. * [NOD-540] Implement TestSplit. * [NOD-540] Add comments to structs. * [NOD-540] Implement TestAddTreeChild. * [NOD-540] Fix a comment. * [NOD-540] Rename isInPast to isAncestorOf. * [NOD-540] Rename futureBlocks to futureCoveringSet. * [NOD-540] Rename isFutureBlock to isInFuture. * [NOD-540] move reachabilityInterval to the top of reachability.go. * [NOD-540] Change "s.t." to "such that" in a comment. * [NOD-540] Fix indentation. * [NOD-540] Fix a potential bug involving float inaccuracy. * [NOD-540] Wrote a more descriptive error message. * [NOD-540] Fix error messsage. * [NOD-540] Fix the recursive countSubtreesUp. * [NOD-540] Rename countSubtreesUp to countSubtrees and applyIntervalDown to propagateInterval. * [NOD-540] Implement updating reachability for a valid new block. * [NOD-540] Implement a disk storage for reachability data. * [NOD-540] Fix not all tree nodes being written to the database. * [NOD-540] Implement serialization for reachabilityData. * [NOD-540] Implement some deserialization for reachabilityData. * [NOD-540] Implement restoring the reachabilityStore on node restart. * [NOD-540] Made interval and remainingInterval pointers. * [NOD-540] Rename setTreeInterval to setInterval. * [NOD-540] Rename reindexTreeIntervals to reindexIntervals and fixed the comment above it. * [NOD-540] Expand the comment above reindexIntervals. * [NOD-540] Fix comment above countSubtrees. * [NOD-540] Fix comment above countSubtrees some more. * [NOD-540] Fix comment above split. * [NOD-540] Fix comment above isAncestorOf. * [NOD-540] Fix comment above reachabilityTreeNode. * [NOD-540] Fix weird condition in addTreeChild. * [NOD-540] Rename addTreeChild to addChild. * [NOD-540] Fix weird condition in splitFraction. * [NOD-540] Reverse the lines in reachabilityTreeNode.String(). * [NOD-540] Renamed f to fraction and x to size. * [NOD-540] Fix comment above bisect. * [NOD-540] Implement rtn.isAncestorOf(). * [NOD-540] Use treeNode isAncestorOf instead of treeInterval isAncestorOf. * [NOD-540] Use newReachabilityInterval instead of struct initialization. * [NOD-540] Make reachabilityTreeNode.String() use strings.Join. * [NOD-540] Use sync.RWMutex instead of locks.PriorityMutex. * [NOD-540] Rename thisTreeNode to newTreeNode. * [NOD-540] Rename setTreeNode to addTreeNode. * [NOD-540] Extracted selectedParentAnticone to a separate function. * [NOD-540] Rename node to this. * [NOD-540] Move updateReachability and isAncestorOf from dag.go to reachability.go. * [NOD-540] Add whitespace after multiline function signatures in reachability.go. * [NOD-540] Make splitFraction return an error on empty interval. * [NOD-540] Add a comment about rounding to splitFraction. * [NOD-540] Replace sneaky tabs with spaces. * [NOD-540] Rename split to splitExponential. * [NOD-540] Extract exponentialFractions to a separate function. * [NOD-540] Rename bisect to findIndex. * [NOD-540] Add call to reachabilityStore.clearDirtyEntries at the end of saveChangesFromBlock. * [NOD-540] Explain the dirty hack in reachabilityStore.init(). * [NOD-540] Split the function signature for deserializeReachabilityData to two lines. * [NOD-540] Add a comment about float precision loss to exponentialFractions. * [NOD-540] Corrected a comment about float precision loss to exponentialFractions. * [NOD-540] Fixed a comment about float precision loss to exponentialFractions some more. * [NOD-540] Added further comments above futureCoveringBlockSet. * [NOD-540] Rename addTreeNode to setTreeNode. * [NOD-540] Rename splitExponential to splitWithExponentialBias. * [NOD-540] Fix object references in reachabilityData deserialization (#563) * [NOD-540] Fix broken references in deserialization. * [NOD-540] Fix broken references in futureCoveringSet deserialization. Also add comments. * [NOD-540] Don't deserialize on the first pass in reachabilityStore.init(). * [NOD-540] Remove redundant assignment to loaded[hash]. * [NOD-540] Use NewHash instead of SetBytes. Rename data to destination. * [NOD-540] Preallocate futureCoveringSet. * [NOD-541] Implement GHOSTDAG (#560) * [NOD-541] Implement GHOSTDAG * [NOD-541] Replace the old PHANTOM variant with GHOSTDAG * [NOD-541] Move dag.updateReachability to the top of dag.applyDAGChanges to update reachability before the virtual block is updated * [NOD-541] Fix blueAnticoneSize * [NOD-541] Initialize node.bluesAnticoneSizes * [NOD-541] Fix pastUTXO and applyBlueBlocks blues order * [NOD-541] Add serialization logic to node.bluesAnticoneSizes * [NOD-541] Fix GHOSTDAG to not count the new block and the blue candidates anticone, add selected parent to blues, and save to node.bluesAnticoneSizes properly * [NOD-541] Fix test names in inner strings * [NOD-541] Writing TestGHOSTDAG * [NOD-541] In blueAnticoneSize change node->current * [NOD-541] name ghostdag return values * [NOD-541] fix ghostdag to return slice * [NOD-541] Split k-cluster violation rules * [NOD-541] Add missing space * [NOD-541] Add comment to ghostdag * [NOD-541] In selectedParentAnticone rename past->selectedParentPast * [NOD-541] Fix misrefernces to TestChainUpdates * [NOD-541] Fix ghostdag comment * [NOD-541] Make PrepareBlockForTest in blockdag package * [NOD-541] Make PrepareBlockForTest in blockdag package * [NOD-541] Assign to selectedParentAnticone[i] instead of appending * [NOD-541] Remove redundant forceTransactions arguments from PrepareBlockForTEST * [NOD-541] Add non-selected parents to anticoneHeap * [NOD-541] add test for ghostdag * [NOD-541] Add comments * [NOD-541] Use adjusted time for initializing blockNode * [NOD-541] Rename isAncestorOf -> isAncestorOfBlueCandidate * [NOD-541] Remove params from PrepareBlockForTest * [NOD-541] Fix TestChainHeight * [NOD-541] Remove recursive lock * [NOD-541] Fix TestTxIndexConnectBlock * [NOD-541] Fix TestBlueBlockWindow * [NOD-541] Put prepareAndProcessBlock in common_test.go * [NOD-541] Fix TestConfirmations * [NOD-541] Fix TestAcceptingBlock * [NOD-541] Fix TestDifficulty * [NOD-541] Fix TestVirtualBlock * [NOD-541] Fix TestSelectedPath * [NOD-541] Fix TestChainUpdates * [NOD-541] Shorten TestDifficulty test time * [NOD-541] Make PrepareBlockForTest use minimal valid block time * [NOD-541] Remove TODO comment * [NOD-541] Move blockdag related mining functions to mining.go * [NOD-541] Use NextBlockCoinbaseTransaction instead of NextBlockCoinbaseTransactionNoLock in NextCoinbaseFromAddress * [NOD-541] Remove useMinimalTime from BlockForMining * [NOD-541] Make MedianAdjustedTime a *BlockDAG method * [NOD-541] Fix ghostdag to use anticone slice instead of heap * [NOD-541] Fix NewBlockTemplate locks * [NOD-541] Fix ghostdag comments * [NOD-541] Convert MedianAdjustedTime to NextBlockTime * [NOD-541] Fix ghostdag comment * [NOD-541] Fix TestGHOSTDAG comment * [NOD-541] Add comment before sanity check * [NOD-541] Explicitly initialize .blues in ghostdag * [NOD-541] Rename *blockNode.lessThan to *blockNode.less * [NOD-541] Remove redundant check if block != chainBlock * [NOD-541] Fix comment * [NOD-541] Fix comment * [NOD-497] Add comment; General refactoring * [NOD-497] General refactoring. * [NOD-497] Use isAncestor of the tree rather than the node * [NOD-497] Remove reachability mutex lock as it is redundant (dag lock is held so no need); General refactoring. * [NOD-497] Update comment * [NOD-497] Undo test blocktimestamp * [NOD-497] Update comments; Use BlockNode.less for blockset; * [NOD-497] Change processBlock to return boolean and not the delay duration (merge conflict) * [NOD-497] Undo change for bluest to use less; Change blocknode less to use daghash.Less Co-authored-by: stasatdaglabs <39559713+stasatdaglabs@users.noreply.github.com> Co-authored-by: Dan Aharoni <dereeno@protonmail.com>
476 lines
16 KiB
Go
476 lines
16 KiB
Go
package blockdag
|
|
|
|
import (
|
|
"reflect"
|
|
"testing"
|
|
)
|
|
|
|
func TestAddChild(t *testing.T) {
|
|
// Scenario 1: test addChild in a chain
|
|
// root -> a -> b -> c...
|
|
// Create the root node of a new reachability tree
|
|
root := newReachabilityTreeNode(&blockNode{})
|
|
root.setInterval(newReachabilityInterval(1, 100))
|
|
|
|
// Add a chain of child nodes just before a reindex occurs (2^6=64 < 100)
|
|
currentTip := root
|
|
for i := 0; i < 6; i++ {
|
|
node := newReachabilityTreeNode(&blockNode{})
|
|
modifiedNodes, err := currentTip.addChild(node)
|
|
if err != nil {
|
|
t.Fatalf("TestAddChild: addChild failed: %s", err)
|
|
}
|
|
|
|
// Expect only the node and its parent to be affected
|
|
expectedModifiedNodes := []*reachabilityTreeNode{currentTip, node}
|
|
if !reflect.DeepEqual(modifiedNodes, expectedModifiedNodes) {
|
|
t.Fatalf("TestAddChild: unexpected modifiedNodes. "+
|
|
"want: %s, got: %s", expectedModifiedNodes, modifiedNodes)
|
|
}
|
|
|
|
currentTip = node
|
|
}
|
|
|
|
// Add another node to the tip of the chain to trigger a reindex (100 < 2^7=128)
|
|
lastChild := newReachabilityTreeNode(&blockNode{})
|
|
modifiedNodes, err := currentTip.addChild(lastChild)
|
|
if err != nil {
|
|
t.Fatalf("TestAddChild: addChild failed: %s", err)
|
|
}
|
|
|
|
// Expect more than just the node and its parent to be modified but not
|
|
// all the nodes
|
|
if len(modifiedNodes) <= 2 && len(modifiedNodes) >= 7 {
|
|
t.Fatalf("TestAddChild: unexpected amount of modifiedNodes.")
|
|
}
|
|
|
|
// Expect the tip to have an interval of 1 and remaining interval of 0
|
|
tipInterval := lastChild.interval.size()
|
|
if tipInterval != 1 {
|
|
t.Fatalf("TestAddChild: unexpected tip interval size: want: 1, got: %d", tipInterval)
|
|
}
|
|
tipRemainingInterval := lastChild.remainingInterval.size()
|
|
if tipRemainingInterval != 0 {
|
|
t.Fatalf("TestAddChild: unexpected tip interval size: want: 0, got: %d", tipRemainingInterval)
|
|
}
|
|
|
|
// Expect all nodes to be descendant nodes of root
|
|
currentNode := currentTip
|
|
for currentNode != nil {
|
|
if !root.isAncestorOf(currentNode) {
|
|
t.Fatalf("TestAddChild: currentNode is not a descendant of root")
|
|
}
|
|
currentNode = currentNode.parent
|
|
}
|
|
|
|
// Scenario 2: test addChild where all nodes are direct descendants of root
|
|
// root -> a, b, c...
|
|
// Create the root node of a new reachability tree
|
|
root = newReachabilityTreeNode(&blockNode{})
|
|
root.setInterval(newReachabilityInterval(1, 100))
|
|
|
|
// Add child nodes to root just before a reindex occurs (2^6=64 < 100)
|
|
childNodes := make([]*reachabilityTreeNode, 6)
|
|
for i := 0; i < len(childNodes); i++ {
|
|
childNodes[i] = newReachabilityTreeNode(&blockNode{})
|
|
modifiedNodes, err := root.addChild(childNodes[i])
|
|
if err != nil {
|
|
t.Fatalf("TestAddChild: addChild failed: %s", err)
|
|
}
|
|
|
|
// Expect only the node and the root to be affected
|
|
expectedModifiedNodes := []*reachabilityTreeNode{root, childNodes[i]}
|
|
if !reflect.DeepEqual(modifiedNodes, expectedModifiedNodes) {
|
|
t.Fatalf("TestAddChild: unexpected modifiedNodes. "+
|
|
"want: %s, got: %s", expectedModifiedNodes, modifiedNodes)
|
|
}
|
|
}
|
|
|
|
// Add another node to the root to trigger a reindex (100 < 2^7=128)
|
|
lastChild = newReachabilityTreeNode(&blockNode{})
|
|
modifiedNodes, err = root.addChild(lastChild)
|
|
if err != nil {
|
|
t.Fatalf("TestAddChild: addChild failed: %s", err)
|
|
}
|
|
|
|
// Expect more than just the node and the root to be modified but not
|
|
// all the nodes
|
|
if len(modifiedNodes) <= 2 && len(modifiedNodes) >= 7 {
|
|
t.Fatalf("TestAddChild: unexpected amount of modifiedNodes.")
|
|
}
|
|
|
|
// Expect the last-added child to have an interval of 1 and remaining interval of 0
|
|
lastChildInterval := lastChild.interval.size()
|
|
if lastChildInterval != 1 {
|
|
t.Fatalf("TestAddChild: unexpected lastChild interval size: want: 1, got: %d", lastChildInterval)
|
|
}
|
|
lastChildRemainingInterval := lastChild.remainingInterval.size()
|
|
if lastChildRemainingInterval != 0 {
|
|
t.Fatalf("TestAddChild: unexpected lastChild interval size: want: 0, got: %d", lastChildRemainingInterval)
|
|
}
|
|
|
|
// Expect all nodes to be descendant nodes of root
|
|
for _, childNode := range childNodes {
|
|
if !root.isAncestorOf(childNode) {
|
|
t.Fatalf("TestAddChild: childNode is not a descendant of root")
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestSplitFraction(t *testing.T) {
|
|
tests := []struct {
|
|
interval *reachabilityInterval
|
|
fraction float64
|
|
expectedLeft *reachabilityInterval
|
|
expectedRight *reachabilityInterval
|
|
}{
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
fraction: 0.5,
|
|
expectedLeft: newReachabilityInterval(1, 50),
|
|
expectedRight: newReachabilityInterval(51, 100),
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(2, 100),
|
|
fraction: 0.5,
|
|
expectedLeft: newReachabilityInterval(2, 51),
|
|
expectedRight: newReachabilityInterval(52, 100),
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 99),
|
|
fraction: 0.5,
|
|
expectedLeft: newReachabilityInterval(1, 50),
|
|
expectedRight: newReachabilityInterval(51, 99),
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
fraction: 0.2,
|
|
expectedLeft: newReachabilityInterval(1, 20),
|
|
expectedRight: newReachabilityInterval(21, 100),
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
fraction: 0,
|
|
expectedLeft: newReachabilityInterval(1, 0),
|
|
expectedRight: newReachabilityInterval(1, 100),
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
fraction: 1,
|
|
expectedLeft: newReachabilityInterval(1, 100),
|
|
expectedRight: newReachabilityInterval(101, 100),
|
|
},
|
|
}
|
|
|
|
for i, test := range tests {
|
|
left, right, err := test.interval.splitFraction(test.fraction)
|
|
if err != nil {
|
|
t.Fatalf("TestSplitFraction: splitFraction unexpectedly failed in test #%d: %s", i, err)
|
|
}
|
|
if !reflect.DeepEqual(left, test.expectedLeft) {
|
|
t.Errorf("TestSplitFraction: unexpected left in test #%d. "+
|
|
"want: %s, got: %s", i, test.expectedLeft, left)
|
|
}
|
|
if !reflect.DeepEqual(right, test.expectedRight) {
|
|
t.Errorf("TestSplitFraction: unexpected right in test #%d. "+
|
|
"want: %s, got: %s", i, test.expectedRight, right)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestSplitExact(t *testing.T) {
|
|
tests := []struct {
|
|
interval *reachabilityInterval
|
|
sizes []uint64
|
|
expectedIntervals []*reachabilityInterval
|
|
}{
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{100},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{50, 50},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 50),
|
|
newReachabilityInterval(51, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{10, 20, 30, 40},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 10),
|
|
newReachabilityInterval(11, 30),
|
|
newReachabilityInterval(31, 60),
|
|
newReachabilityInterval(61, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{0, 100},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 0),
|
|
newReachabilityInterval(1, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{100, 0},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 100),
|
|
newReachabilityInterval(101, 100),
|
|
},
|
|
},
|
|
}
|
|
|
|
for i, test := range tests {
|
|
intervals, err := test.interval.splitExact(test.sizes)
|
|
if err != nil {
|
|
t.Fatalf("TestSplitExact: splitExact unexpectedly failed in test #%d: %s", i, err)
|
|
}
|
|
if !reflect.DeepEqual(intervals, test.expectedIntervals) {
|
|
t.Errorf("TestSplitExact: unexpected intervals in test #%d. "+
|
|
"want: %s, got: %s", i, test.expectedIntervals, intervals)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestSplitWithExponentialBias(t *testing.T) {
|
|
tests := []struct {
|
|
interval *reachabilityInterval
|
|
sizes []uint64
|
|
expectedIntervals []*reachabilityInterval
|
|
}{
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{100},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{50, 50},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 50),
|
|
newReachabilityInterval(51, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{10, 20, 30, 40},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 10),
|
|
newReachabilityInterval(11, 30),
|
|
newReachabilityInterval(31, 60),
|
|
newReachabilityInterval(61, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{25, 25},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 50),
|
|
newReachabilityInterval(51, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{1, 1},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 50),
|
|
newReachabilityInterval(51, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{33, 33, 33},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 33),
|
|
newReachabilityInterval(34, 66),
|
|
newReachabilityInterval(67, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{10, 15, 25},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 10),
|
|
newReachabilityInterval(11, 25),
|
|
newReachabilityInterval(26, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 100),
|
|
sizes: []uint64{25, 15, 10},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 75),
|
|
newReachabilityInterval(76, 90),
|
|
newReachabilityInterval(91, 100),
|
|
},
|
|
},
|
|
{
|
|
interval: newReachabilityInterval(1, 10_000),
|
|
sizes: []uint64{10, 10, 20},
|
|
expectedIntervals: []*reachabilityInterval{
|
|
newReachabilityInterval(1, 20),
|
|
newReachabilityInterval(21, 40),
|
|
newReachabilityInterval(41, 10_000),
|
|
},
|
|
},
|
|
}
|
|
|
|
for i, test := range tests {
|
|
intervals, err := test.interval.splitWithExponentialBias(test.sizes)
|
|
if err != nil {
|
|
t.Fatalf("TestSplitWithExponentialBias: splitWithExponentialBias unexpectedly failed in test #%d: %s", i, err)
|
|
}
|
|
if !reflect.DeepEqual(intervals, test.expectedIntervals) {
|
|
t.Errorf("TestSplitWithExponentialBias: unexpected intervals in test #%d. "+
|
|
"want: %s, got: %s", i, test.expectedIntervals, intervals)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestIsInFuture(t *testing.T) {
|
|
blocks := futureCoveringBlockSet{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(2, 3)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(4, 67)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(67, 77)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(657, 789)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1000, 1000)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1921)}},
|
|
}
|
|
|
|
tests := []struct {
|
|
block *futureCoveringBlock
|
|
expectedResult bool
|
|
}{
|
|
{
|
|
block: &futureCoveringBlock{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1, 1)}},
|
|
expectedResult: false,
|
|
},
|
|
{
|
|
block: &futureCoveringBlock{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(5, 7)}},
|
|
expectedResult: true,
|
|
},
|
|
{
|
|
block: &futureCoveringBlock{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(67, 76)}},
|
|
expectedResult: true,
|
|
},
|
|
{
|
|
block: &futureCoveringBlock{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(78, 100)}},
|
|
expectedResult: false,
|
|
},
|
|
{
|
|
block: &futureCoveringBlock{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1980, 2000)}},
|
|
expectedResult: false,
|
|
},
|
|
{
|
|
block: &futureCoveringBlock{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1920)}},
|
|
expectedResult: true,
|
|
},
|
|
}
|
|
|
|
for i, test := range tests {
|
|
result := blocks.isInFuture(test.block)
|
|
if result != test.expectedResult {
|
|
t.Errorf("TestIsInFuture: unexpected result in test #%d. Want: %t, got: %t",
|
|
i, test.expectedResult, result)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestInsertBlock(t *testing.T) {
|
|
blocks := futureCoveringBlockSet{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1, 3)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(4, 67)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(67, 77)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(657, 789)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1000, 1000)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1921)}},
|
|
}
|
|
|
|
tests := []struct {
|
|
toInsert []*futureCoveringBlock
|
|
expectedResult futureCoveringBlockSet
|
|
}{
|
|
{
|
|
toInsert: []*futureCoveringBlock{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(5, 7)}},
|
|
},
|
|
expectedResult: futureCoveringBlockSet{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1, 3)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(4, 67)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(67, 77)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(657, 789)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1000, 1000)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1921)}},
|
|
},
|
|
},
|
|
{
|
|
toInsert: []*futureCoveringBlock{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(65, 78)}},
|
|
},
|
|
expectedResult: futureCoveringBlockSet{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1, 3)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(4, 67)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(65, 78)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(657, 789)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1000, 1000)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1921)}},
|
|
},
|
|
},
|
|
{
|
|
toInsert: []*futureCoveringBlock{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(88, 97)}},
|
|
},
|
|
expectedResult: futureCoveringBlockSet{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1, 3)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(4, 67)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(67, 77)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(88, 97)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(657, 789)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1000, 1000)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1921)}},
|
|
},
|
|
},
|
|
{
|
|
toInsert: []*futureCoveringBlock{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(88, 97)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(3000, 3010)}},
|
|
},
|
|
expectedResult: futureCoveringBlockSet{
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1, 3)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(4, 67)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(67, 77)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(88, 97)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(657, 789)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1000, 1000)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(1920, 1921)}},
|
|
{treeNode: &reachabilityTreeNode{interval: newReachabilityInterval(3000, 3010)}},
|
|
},
|
|
},
|
|
}
|
|
|
|
for i, test := range tests {
|
|
// Create a clone of blocks so that we have a clean start for every test
|
|
blocksClone := make(futureCoveringBlockSet, len(blocks))
|
|
for i, block := range blocks {
|
|
blocksClone[i] = block
|
|
}
|
|
|
|
for _, block := range test.toInsert {
|
|
blocksClone.insertBlock(block)
|
|
}
|
|
if !reflect.DeepEqual(blocksClone, test.expectedResult) {
|
|
t.Errorf("TestInsertBlock: unexpected result in test #%d. Want: %s, got: %s",
|
|
i, test.expectedResult, blocksClone)
|
|
}
|
|
}
|
|
}
|