Challenges

• Previous works require manual specifications.
• The state space is huge to explore.
• Traditional happens-before relationship is unassisted.

Key insights of FCatch

TOF bugs = A problem of Timing + Unexpected states shared among nodes

FCatch detection flow

True TOF bugs found by FCatch

The details of all the true TOF bugs found by FCatch can be accessed in 3 ways:

• Read the document in Github

• Remotely access the VM and reproduce each bug

  ssh -p2345 fcatch@toadette.cs.uchicago.edu
  > password !QAZ2wsx
  

• Download the VM image

  wget http://toadette.cs.uchicago.edu:5678/fcatch.vdi
  > username: fcatch
  > password: fcatch