Open spall opened 3 years ago
I would have guessed that option 1 makes most sense?
But I guess you found this because you failed to find a proof of correctness? Did you then manage to find a proof of correctness? Can we mirror the proof into executable code?
I agree option 1 seems the best. In the model I followed something more closely to option 2, but that is just because that fit the model better, not because its the best solution.
Ok i'll work on an option 1 solution.
Rattle will miss speculative hazards in the case where the would be "required" command of a speculative hazard finished executing and went through hazard checking before the command became "required".
I think there are a couple of possible solutions to this:
Thoughts?