Possible ideas for profiling timers: - lifetime performance - per-kernel-function performance - data-transfer time (read and write) - computation time (execution only)