14.4.9  Cpu_Timer

The standard library Cpu_Timer api defines access to basic cpu time consumption metering functionality.

The Cpu_Timer api is implemented by the cpu_timer package.

The Cpu_Timer api source code is in src/lib/std/src/cpu-timer.api. The above information is manually maintained and may contain errors.

api {
    Cpu_Timer;
          Cpu_Times  =      {heapcleaner:{kernelmode_cpu_seconds:Float, usermode_cpu_seconds:Float},
                            program:{kernelmode_cpu_seconds:Float, usermode_cpu_seconds:Float}};
    make_cpu_timer : Void -> Cpu_Timer;
    get_cpu_timer : Void -> Cpu_Timer;
    get_elapsed_cpu_seconds : Cpu_Timer -> Float;
        get_elapsed_usermode_and_kernelmode_cpu_seconds :
        Cpu_Timer -> {kernelmode_cpu_seconds:Float, usermode_cpu_seconds:Float};
    get_elapsed_heapcleaner_and_program_usermode_and_kernelmode_cpu_seconds : Cpu_Timer -> Cpu_Times;
    get_elapsed_heapcleaner_cpu_seconds : Cpu_Timer -> Float;
    get_added_cpu_seconds : Cpu_Timer -> Float;
        get_added_usermode_and_kernelmode_cpu_seconds :
        Cpu_Timer -> {kernelmode_cpu_seconds:Float, usermode_cpu_seconds:Float};
        get_added_heapcleaner_and_program_usermode_and_kernelmode_cpu_seconds :
            Cpu_Timer
            ->  {heapcleaner:{kernelmode_cpu_seconds:Float, usermode_cpu_seconds:Float},
                program:{kernelmode_cpu_seconds:Float, usermode_cpu_seconds:Float}};
        gettime__syscall :
        Void -> (one_word_int::Int , Int , one_word_int::Int , Int , one_word_int::Int , Int);
        set__gettime__ref :
                (   {fun_name:String,
                    io_call:Void -> (one_word_int::Int , Int , one_word_int::Int , Int , one_word_int::Int , Int),
                    lib_name:String}
                ->
                Void -> (one_word_int::Int , Int , one_word_int::Int , Int , one_word_int::Int , Int)
                )
            ->
            Void;};