Package org.sosy_lab.common.time

Class Tickers

java.lang.Object

org.sosy_lab.common.time.Tickers

public final class Tickers
extends Object

Class providing several convenient Ticker implementations.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Tickers.TickerWithUnit

Method Summary

Modifier and Type	Method	Description
static Tickers.TickerWithUnit	getCurrentThreadCputime()	Return a Tickers.TickerWithUnit that delegates to ThreadMXBean.getCurrentThreadCpuTime().
static Tickers.TickerWithUnit	getNullTicker()	Return a dummy Tickers.TickerWithUnit that always returns 0.
static Tickers.TickerWithUnit	getProcessCputime()	Return a Tickers.TickerWithUnit that delegates to com.sun.management.OperatingSystemMXBean.getProcessCpuTime().
static Tickers.TickerWithUnit	getWalltimeMillis()	Return a Tickers.TickerWithUnit that delegates to System.currentTimeMillis().
static Tickers.TickerWithUnit	getWalltimeNanos()	Return a Tickers.TickerWithUnit that delegates to System.nanoTime().

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getNullTicker

public static Tickers.TickerWithUnit getNullTicker()

Return a dummy Tickers.TickerWithUnit that always returns 0.

getWalltimeMillis

public static Tickers.TickerWithUnit getWalltimeMillis()

Return a Tickers.TickerWithUnit that delegates to System.currentTimeMillis(). Note that the returned instance validates the contract of Ticker because it provides values in milliseconds, not in nanoseconds.

getWalltimeNanos

public static Tickers.TickerWithUnit getWalltimeNanos()

Return a Tickers.TickerWithUnit that delegates to System.nanoTime().

getCurrentThreadCputime

public static Tickers.TickerWithUnit getCurrentThreadCputime()

Return a Tickers.TickerWithUnit that delegates to ThreadMXBean.getCurrentThreadCpuTime().

Throws:

UnsupportedOperationException - If the JVM does not support measuring per-thread CPU time.

getProcessCputime

public static Tickers.TickerWithUnit getProcessCputime()

Return a Tickers.TickerWithUnit that delegates to com.sun.management.OperatingSystemMXBean.getProcessCpuTime(). This is available on Sun/Oracle/OpenJDK JVM for Linux, but not guaranteed on other platforms.

Throws:

UnsupportedOperationException - If the JVM does not support measuring process CPU time.