Log-based architectures: using multicore to help software behave correctly