SignalHandler.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <cstdlib>
 
#include "storm-config.h"
#include "storm/utility/OsDetection.h"
 
namespace storm {
namespace utility {
namespace resources {
 
inline void quickest_exit(int errorCode) {
#if defined LINUX
    std::quick_exit(errorCode);
#elif defined MACOS
    std::_Exit(errorCode);
#else
    std::abort();
#endif
}
 
inline void setTimeoutAlarm(uint_fast64_t timeout) {
    alarm(timeout);
}
 
class SignalInformation {
   public:
    // Explicitly delete copy constructor
    SignalInformation(SignalInformation const&) = delete;
 
    // Explicitly delete copy constructor
    void operator=(SignalInformation const&) = delete;
 
    static SignalInformation& infos();
 
    inline bool isTerminate() const {
        return terminate;
    }
 
    inline void setTerminate(bool terminate) {
        this->terminate = terminate;
    }
 
    inline int getErrorCode() const {
        return lastSignal;
    }
 
    inline void setErrorCode(int errorCode) {
        lastSignal = errorCode;
    }
 
   private:
    SignalInformation();
 
    virtual ~SignalInformation();
 
    // Flag whether the program should terminate
    bool terminate;
    // Store last signal code
    int lastSignal;
};
 
inline void resetTimeoutAlarm() {
    SignalInformation::infos().setTerminate(false);
    alarm(0);
}
 
inline bool isTerminate() {
    return SignalInformation::infos().isTerminate();
}
 
void installSignalHandler(int maximalWaitTime);
 
}  // namespace resources
}  // namespace utility
}  // namespace storm