Looking for general principles for debugging randomized programs, as well as any specific guidelines for doing it in Python.
As example consider the following implementation of insertion in Skip Lists:
#inserts key into the lowest level list and then promotes it upwards based on coin flips
def insert(self,key):
new_node = SkipListNode()
new_node.val = key
#insert in order in the lowest list
self.orderedInsert(new_node,self.search(key,True))
flip = random.randint(0,1)
level = 0
level_node= new_node
#promote upwards based on coin flips
while flip == 1:
level_up_node = SkipListNode()
level_up_node.val = key
#see if an upper level exists, if not create it
if(len(self.lists)-1<=level):
...
#upper level exists, move back find the first element with an up
#insert new node as it's next
else:
...
...
level +=1
flip = random.randint(0,1)
Here insert
depends on random coin flips. So a bug in that function becomes hard to detect because it may or may not appear in each run. How do we simplify debugging in this case?