Can we build FT software?

• Notion of a transaction helps!
  • Otherwise, how to restart execution on failure?
• A definition of a Heisen vs. Bohr bugs:
  • Prob (P) of success given a previous abort
  • Heisenbugs are memoryless
• Can push this definition through the system all the way back to the user
  • Doesn't work? Try again....

Previous slide

Next slide

Back to the index

View Graphic Version

No notes for slide 17