does there exist an OS that can take a well-behaved binary and enforce a deterministic timeout on its execution? for example by killing it after it executes N user-mode instructions?
Conversation
This Tweet is from a suspended account. Learn more
Replying to
I just want the OS to take care of its part of the problem if I take care of my part, e.g. by providing same inputs, avoiding concurrency, etc.
2
4
It's not easy to always provide the same inputs. Even minimal differences such as the number of digits in the pid could cause executions to diverge.
1
1
true, but let's assume for now that I'm happy to solve problems like this
1
At least the deterministic part looks like what rr-project.org intends to help with. And given that it's running in a debugger like environment, shouldn't be hard to abort its execution at a given point.
2
3
I think rr is the best hope for doing something like this. I was going to mention it before seeing you already did.