4 ms·
...our validation pipeline produced an interesting assertion... What is a validation pipeline?
by quietpain 3y ago
...our validation pipeline produced an interesting assertion...
What is a validation pipeline?
- ForkMeOnTinder 3y agoIt's described one paragraph earlier. > I’ve written previously about a processor validation technique called Oracle Serialization that we’ve been using. The idea is to generate two forms of the same randomly generated program and verify their final state is identical.
- 1f60c 3y agoSounds like the real story should be that Google solved the halting problem. :-P
- kadoban 3y agoYou're free to solve the halting problem for restricted sets of programs, that doesn't break any rules of the universe. They also could be just discarding any where it runs for longer than X time, or a bunch of other possibilities.
- tgv 3y agoThey might be generating programs that they know will halt. Like: applications with finite loops and such. There are not enough details.
- mgaunard 3y ago[flagged]
- boneitis 3y agoRather, it looks to be: https://en.wikipedia.org/wiki/Instruction_pipelining https://en.wikipedia.org/wiki/Instruction_pipelining From the Zenbleed link in sibling: > I found this bug by fuzzing, big surprise [..] In fact, vendors fuzz their own products extensively - the industry term for it is Post-Silicon Validation. That is, "a pipeline to validate the pipeline".
- tonfa 3y agoThe blog has a link to https://lock.cmpxchg8b.com/zenbleed.html#discovery https://lock.cmpxchg8b.com/zenbleed.html#discovery which presents the concept.