Safely exploiting multithreaded processors to tolerate memory latency in real-time systems