Module frequency_control 

CPU Frequency Control Backend (PMAT-038)

Interface with Linux cpufreq to lock CPU frequency for deterministic benchmarks.

Features

• Read current CPU frequency
• Detect CPU governor (performance/powersave/ondemand)
• Frequency lock with RAII guard
• Measure variance before/after locking

Falsification Criteria (F1301-F1310)

See tests/frequency_control_f1301.rs for falsification tests.

Structs

CpuFrequencyInfo

CPU frequency info for a single CPU

FrequencyController

Frequency controller for reading and managing CPU frequencies

FrequencyLock

RAII frequency lock guard

FrequencyReading

Frequency reading result

FrequencyVariance

Frequency variance measurement

Enums

CpuGovernor

CPU governor types