Files
etcd/pkg
Gyuho Lee 46f04b3c15 pkg/adt: add "IntervalTree.Delete" failure case
Described in https://github.com/etcd-io/etcd/issues/10877.

"black-height" property: Every path from a node to any descendant leaf node must have the same number of black nodes.

Expected

    After deleting 11 (requires rebalancing):
                            [510,511]
                             /      \
                   ----------        --------------------------
                  /                                            \
              [383,384]                                       [830,831]
              /       \                                      /          \
             /         \                                    /            \
      [261,262](red)  [410,411]                     [647,648]           [899,900](red)
          /               \                              \                      /    \
         /                 \                              \                    /      \
      [82,83]           [292,293]                      [815,816](red)   [888,889]    [972,973]
            \                                                           /
             \                                                         /
          [238,239](red)                                       [953,954](red)

Got

    After deleting 11 (requires rebalancing):
                            [510,511]
                             /      \
                   ----------        --------------------------
                  /                                            \
              [82,83]                                       [830,831]
                    \                                      /          \
                     \                                    /            \
                  [383,384]                        [647,648]            [899,900]
                  /       \                              \                  /    \
                 /         \                              \                /      \
           [261,262]      [410,411]                      [815,816]   [888,889]    [972,973]
             /   \                                                                  /
            /     \                                                                /
     [238,239]   [292,293]                                                  [953,954]

This violates "black-height" property.

Signed-off-by: Gyuho Lee <leegyuho@amazon.com>
2019-07-31 10:05:32 -07:00
..
2018-07-21 15:49:58 -07:00
2015-11-17 20:54:10 -08:00
2019-07-24 14:09:50 -07:00
2019-05-28 15:39:35 -07:00
2018-02-28 17:27:40 -08:00
2019-05-28 15:39:35 -07:00
2019-05-28 15:39:35 -07:00
2019-05-28 15:39:35 -07:00
2016-05-12 20:48:53 -07:00
2019-05-28 15:39:35 -07:00
2018-04-30 15:32:16 -07:00
2016-05-12 20:48:53 -07:00
2019-05-28 15:39:35 -07:00
2018-04-08 14:18:09 -07:00
2019-05-28 15:39:35 -07:00
2019-05-28 15:39:35 -07:00

pkg/ is a collection of utility packages used by etcd without being specific to etcd itself. A package belongs here only if it could possibly be moved out into its own repository in the future.