Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

record sensor min/max values and times #1582

Merged
merged 6 commits into from
Jan 18, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion app/psc/base.toml
Original file line number Diff line number Diff line change
Expand Up @@ -215,7 +215,7 @@ notifications = ["timer"]
[tasks.sensor]
name = "task-sensor"
priority = 3
max-sizes = {flash = 8192, ram = 4096 }
max-sizes = {flash = 8192, ram = 8192 }
stacksize = 1024
start = true
notifications = ["timer"]
Expand Down
2 changes: 1 addition & 1 deletion app/sidecar/base.toml
Original file line number Diff line number Diff line change
Expand Up @@ -180,7 +180,7 @@ task-slots = ["sys", "i2c_driver", "sprot"]
name = "task-sensor"
features = []
priority = 4
max-sizes = {flash = 8192, ram = 4096 }
max-sizes = {flash = 8192, ram = 8192 }
stacksize = 1024
start = true
notifications = ["timer"]
Expand Down
22 changes: 21 additions & 1 deletion drv/i2c-devices/src/max31790.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ use crate::Validate;
use bitfield::bitfield;
use core::convert::TryFrom;
use drv_i2c_api::*;
use ringbuf::*;
use userlib::units::*;
use userlib::*;

Expand Down Expand Up @@ -250,6 +251,14 @@ fn write_reg16(
device.write(&[register as u8, (val >> 8) as u8, (val & 0xff) as u8])
}

#[derive(Copy, Clone, PartialEq)]
enum Trace {
ZeroTach(Fan),
None,
}

ringbuf!(Trace, 6, Trace::None);

impl Max31790 {
pub fn new(device: &I2cDevice) -> Self {
Self { device: *device }
Expand Down Expand Up @@ -311,7 +320,18 @@ impl Max31790 {
const NP: u32 = 2;
const FREQ: u32 = 8192;

if count == TACH_POR_VALUE {
if count == 0 {
//
// We don't really expect this: generally, if a fan is off (or is
// otherwise emiting non-detectable tach input pulses), the
// controller will report the power-on-reset value for the tach
// count, not 0. So if we see a zero count, we will assume that
// this is an error rather than a 0 RPM reading, and record it to
// a (small) ring buffer and return accordingly.
//
ringbuf_entry!(Trace::ZeroTach(fan));
bcantrill marked this conversation as resolved.
Show resolved Hide resolved
Err(ResponseCode::BadDeviceState)
} else if count == TACH_POR_VALUE {
Ok(Rpm(0))
} else {
let rpm = (60 * FREQ * SR) / (count * NP);
Expand Down
28 changes: 28 additions & 0 deletions idl/sensor.idol
Original file line number Diff line number Diff line change
Expand Up @@ -71,6 +71,34 @@ Interface(
encoding: Hubpack,
idempotent: true,
),
"get_min": (
description: "returns the minimum value recorded and its timestamp",
args: {
"id": (
type: "SensorId",
)
},
reply: Result(
ok: "(f32, u64)",
err: CLike("SensorApiError"),
),
encoding: Hubpack,
idempotent: true,
),
"get_max": (
description: "returns the maximum value recorded and its timestamp",
args: {
"id": (
type: "SensorId",
)
},
reply: Result(
ok: "(f32, u64)",
err: CLike("SensorApiError"),
),
encoding: Hubpack,
idempotent: true,
),
"post": (
args: {
"id": (
Expand Down
1 change: 1 addition & 0 deletions task/sensor/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ cortex-m.workspace = true
hubpack.workspace = true
idol-runtime.workspace = true
num-traits.workspace = true
paste.workspace = true
serde.workspace = true
zerocopy.workspace = true

Expand Down
98 changes: 80 additions & 18 deletions task/sensor/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,12 @@ struct ServerImpl {
data_value: SensorArray<f32>,
data_time: SensorArray<u64>,

min_value: SensorArray<f32>,
min_time: SensorArray<u64>,

max_value: SensorArray<f32>,
max_time: SensorArray<u64>,

err_value: SensorArray<NoData>,
err_time: SensorArray<u64>,

Expand Down Expand Up @@ -136,6 +142,40 @@ impl idl::InOrderSensorImpl for ServerImpl {
}
}

fn get_min(
&mut self,
_: &RecvMessage,
id: SensorId,
) -> Result<(f32, u64), RequestError<SensorApiError>> {
Ok((
self.min_value
.get(id)
.cloned()
.ok_or(SensorApiError::InvalidSensor)?,
self.min_time
.get(id)
.cloned()
.ok_or(SensorApiError::InvalidSensor)?,
))
}

fn get_max(
&mut self,
_: &RecvMessage,
id: SensorId,
) -> Result<(f32, u64), RequestError<SensorApiError>> {
Ok((
self.max_value
.get(id)
.cloned()
.ok_or(SensorApiError::InvalidSensor)?,
self.max_time
.get(id)
.cloned()
.ok_or(SensorApiError::InvalidSensor)?,
))
}

fn post(
&mut self,
_: &RecvMessage,
Expand All @@ -153,6 +193,17 @@ impl idl::InOrderSensorImpl for ServerImpl {
self.last_reading[id] = Some(r);
self.data_value[id] = value;
self.data_time[id] = timestamp;

if value < self.min_value[id] {
self.min_value[id] = value;
self.min_time[id] = timestamp;
}

if value > self.max_value[id] {
self.max_value[id] = value;
self.max_time[id] = timestamp;
}

Ok(())
}

Expand Down Expand Up @@ -238,24 +289,35 @@ fn main() -> ! {
//
sys_set_timer(Some(deadline), notifications::TIMER_MASK);

let (last_reading, data_value, data_time, err_value, err_time, nerrors) = mutable_statics::mutable_statics! {
static mut LAST_READING: [Option<LastReading>; NUM_SENSORS] = [|| None; _];
static mut DATA_VALUE: [f32; NUM_SENSORS] = [|| f32::NAN; _];
static mut DATA_TIME: [u64; NUM_SENSORS] = [|| 0u64; _];
static mut ERR_VALUE: [NoData; NUM_SENSORS] = [|| NoData::DeviceUnavailable; _];
static mut ERR_TIME: [u64; NUM_SENSORS] = [|| 0; _];
static mut NERRORS: [u32; NUM_SENSORS] = [|| 0; _];
};

let mut server = ServerImpl {
last_reading: SensorArray(last_reading),
data_value: SensorArray(data_value),
data_time: SensorArray(data_time),
err_value: SensorArray(err_value),
err_time: SensorArray(err_time),
nerrors: SensorArray(nerrors),
deadline,
};
macro_rules! declare_server {
($($name:ident: $t:ty = $n:expr;)*) => {{
paste::paste! {
let ($($name),*) = mutable_statics::mutable_statics! {
$(
static mut [<$name:upper>]: [$t; NUM_SENSORS] = [|| $n; _];
)*
};
let ($($name),*) = ($(SensorArray($name)),*);
ServerImpl {
deadline,
$($name),*
}
}}
};
}

let mut server = declare_server!(
last_reading: Option<LastReading> = None;
data_value: f32 = f32::NAN;
data_time: u64 = 0u64;
min_value: f32 = f32::MAX;
min_time: u64 = 0u64;
max_value: f32 = f32::MIN;
max_time: u64 = 0u64;
err_value: NoData = NoData::DeviceUnavailable;
err_time: u64 = 0;
nerrors: u32 = 0;
);

let mut buffer = [0; idl::INCOMING_SIZE];

Expand Down