Describir: Two Hardware-Based Approaches for Deterministic Multiprocessor Replay.