The following illustration shows a problem with lock-free skiplist - - PowerPoint PPT Presentation

▶

Dec 25, 2023 186 likes •300 views

The following illustration shows a problem with lock-free skiplist ghost nodes on a spray list It shows why not maintaining the skiplist property in LockFree skiplist does not work well for a spray list priority queue Note that this is just

SLIDE 1

The following illustration shows a problem with lock-free skiplist ghost nodes on a spray list

It shows why not maintaining the skiplist property in LockFree skiplist does not work well for a spray list priority queue

Note that this is just an example, and there are more possible problems

SLIDE 2

Order of operations Insert blue Insert orange Remove pink Initial state

SLIDE 3

Blue find Order of operations Insert blue Insert orange Remove pink

SLIDE 4

Blue connect level 0 Order of operations Insert blue Insert orange Remove pink

SLIDE 5

Orange find Order of operations Insert blue Insert orange Remove pink

SLIDE 6

Orange connect level 0 Order of operations Insert blue Insert orange Remove pink

SLIDE 7

Finish insert blue Order of operations Insert blue Insert orange Remove pink

SLIDE 8

Finish insert orange Order of operations Insert blue Insert orange Remove pink

SLIDE 9

Remove pink + find pink Order of operations Insert blue Insert orange Remove pink

SLIDE 10

Final state: Pink is sprayable, but not findable, causing many delete-min calls to fail/retry Order of operations Insert blue Insert orange Remove pink