Light-PREM: automatically transforming existing applications to the Predictable Execution Model