storm::utility::resources Namespace Reference

Classes
class	SignalInformation

Functions
std::size_t	usedCPU ()
	Get used CPU time.
std::size_t	getMemoryLimit ()
	Get memory limit.
void	setMemoryLimit (std::size_t megabytes)
	Set memory limit.
void	signalHandler (int signal)
	Signal handler for aborts, etc.
void	installSignalHandler (int maximalWaitTime)
	Register some signal handlers to detect and correctly handle abortion (due to timeout for example).
void	quickest_exit (int errorCode)
	Exit without cleanup.
void	setTimeoutAlarm (uint_fast64_t timeout)
	Set timeout by raising an alarm after timeout seconds.
void	resetTimeoutAlarm ()
bool	isTerminate ()
	Check whether the program should terminate (due to some abort signal).

Variables
int	maxWaitTime = 0

Function Documentation

getMemoryLimit()

std::size_t storm::utility::resources::getMemoryLimit ( )

inline

Get memory limit.

Returns

Memory limit in MB.

Definition at line 26 of file resources.h.

installSignalHandler()

void storm::utility::resources::installSignalHandler

(

int

maximalWaitTime

)

Register some signal handlers to detect and correctly handle abortion (due to timeout for example).

Definition at line 58 of file SignalHandler.cpp.

isTerminate()

bool storm::utility::resources::isTerminate ( )

inline

Check whether the program should terminate (due to some abort signal).

Returns

True iff program should terminate.

Definition at line 113 of file SignalHandler.h.

quickest_exit()

void storm::utility::resources::quickest_exit ( int  errorCode )

inline

Exit without cleanup.

Parameters

errorCode

Error code to return.

Definition at line 17 of file SignalHandler.h.

resetTimeoutAlarm()

void storm::utility::resources::resetTimeoutAlarm ( )

inline

Definition at line 103 of file SignalHandler.h.

setMemoryLimit()

void storm::utility::resources::setMemoryLimit ( std::size_t  megabytes )

inline

Set memory limit.

Parameters

megabytes

Memory limit in MB.

Definition at line 41 of file resources.h.

setTimeoutAlarm()

void storm::utility::resources::setTimeoutAlarm ( uint_fast64_t  timeout )

inline

Set timeout by raising an alarm after timeout seconds.

Parameters

timeout

Timeout in seconds.

Definition at line 31 of file SignalHandler.h.

signalHandler()

void storm::utility::resources::signalHandler

(

int

signal

)

Signal handler for aborts, etc.

After the first signal the handler waits a number of seconds to let the program print preliminary results which were computed up this point. If the waiting time is exceeded or if a second signal was raised in the mean time, the program immediately terminates.

Parameters

signal

Exit code of signal.

Definition at line 32 of file SignalHandler.cpp.

usedCPU()

std::size_t storm::utility::resources::usedCPU ( )

inline

Get used CPU time.

Returns

CPU time in seconds.

Definition at line 18 of file resources.h.

Variable Documentation

maxWaitTime

int storm::utility::resources::maxWaitTime = 0

Definition at line 11 of file SignalHandler.cpp.