diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-13 13:57:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 06:57:41 -0500 |
| commit | df642ec7d4eef0e2f994751be53e66201f2b92f9 (patch) | |
| tree | 9ec55084270252c8e67dd117fd5f57a52a845fba /src/util/sampler.h | |
| parent | c7ec792a2086c5b92c4a96d18f7cedb293712dfd (diff) | |
Implement --tlimit for windows (#4716)
The new mechanism for --tlimit only works for POSIX compatible systems (that implement setitimer). This PR implements an alternative (though roughly equivalent) approach for windows, based on SetWaitableTimer().
To make this work (without code duplication) we need to call the timeout_handler function from time_limit.cpp as the windows solution employs an asynchronous callback instead of signals. I used the opportunity to rename util.cpp to signal_handlers.cpp (as it really does not do anything else) and reformat the file.
As I do not have a windows system at hand, I have not been able to actually test this apart from making sure that it compiles with the mingw setup.
Diffstat (limited to 'src/util/sampler.h')
0 files changed, 0 insertions, 0 deletions