thermostat/src/main.rs

485 lines
25 KiB
Rust
Raw Normal View History

#![cfg_attr(not(test), no_std)]
#![cfg_attr(not(test), no_main)]
2020-09-11 05:17:31 +08:00
#![feature(maybe_uninit_extra, maybe_uninit_ref)]
2020-09-18 07:22:41 +08:00
#![cfg_attr(test, allow(unused))]
2020-03-12 06:17:17 +08:00
// TODO: #![deny(warnings, unused)]
2019-03-07 23:27:33 +08:00
#[cfg(not(any(feature = "semihosting", test)))]
2019-04-27 21:23:50 +08:00
use panic_abort as _;
2020-09-18 06:23:30 +08:00
#[cfg(all(feature = "semihosting", not(test)))]
2019-04-27 21:23:50 +08:00
use panic_semihosting as _;
2019-03-07 23:27:33 +08:00
2019-04-27 21:23:50 +08:00
use log::{info, warn};
2019-03-15 02:58:41 +08:00
use core::fmt::Write;
2019-03-12 01:23:52 +08:00
use cortex_m::asm::wfi;
2019-03-07 23:27:33 +08:00
use cortex_m_rt::entry;
2019-03-12 01:23:52 +08:00
use stm32f4xx_hal::{
2020-09-18 06:55:53 +08:00
hal::watchdog::{WatchdogEnable, Watchdog},
2019-03-12 01:23:52 +08:00
rcc::RccExt,
watchdog::IndependentWatchdog,
time::{U32Ext, MegaHertz},
2019-03-12 01:23:52 +08:00
stm32::{CorePeripherals, Peripherals},
};
use smoltcp::{
time::Instant,
wire::EthernetAddress,
};
2020-09-14 04:52:20 +08:00
use uom::{
fmt::DisplayStyle::Abbreviation,
si::{
f64::{
2020-09-17 04:05:31 +08:00
ElectricCurrent,
2020-09-14 04:52:20 +08:00
ElectricPotential,
ElectricalResistance,
2020-09-17 00:40:07 +08:00
ThermodynamicTemperature,
2020-09-14 04:52:20 +08:00
},
electric_current::ampere,
electric_potential::volt,
electrical_resistance::ohm,
2020-09-17 00:40:07 +08:00
thermodynamic_temperature::degree_celsius,
2020-09-14 04:52:20 +08:00
},
};
2019-03-12 01:23:52 +08:00
2020-03-12 07:50:24 +08:00
mod init_log;
use init_log::init_log;
2020-09-11 05:17:31 +08:00
mod usb;
2020-09-07 03:10:10 +08:00
mod leds;
2020-03-09 07:27:35 +08:00
mod pins;
use pins::Pins;
mod ad7172;
2020-03-13 04:27:03 +08:00
mod ad5680;
2019-03-13 05:52:39 +08:00
mod net;
mod server;
use server::Server;
2020-03-14 06:39:22 +08:00
mod session;
2020-05-13 06:04:55 +08:00
use session::{Session, SessionOutput};
2020-03-14 06:39:22 +08:00
mod command_parser;
2020-09-24 04:30:04 +08:00
use command_parser::{CenterPoint, Command, ShowCommand, PwmPin};
2019-03-15 01:13:25 +08:00
mod timer;
2020-03-19 04:51:30 +08:00
mod pid;
mod steinhart_hart;
2020-05-13 05:16:57 +08:00
mod channels;
2020-05-13 06:04:55 +08:00
use channels::{CHANNELS, Channels};
2020-05-13 05:16:57 +08:00
mod channel;
mod channel_state;
2020-09-24 07:18:33 +08:00
mod config;
use config::Config;
2020-03-14 06:39:22 +08:00
2019-03-07 23:27:33 +08:00
2020-03-20 01:34:57 +08:00
const HSE: MegaHertz = MegaHertz(8);
2020-03-12 06:17:34 +08:00
#[cfg(not(feature = "semihosting"))]
const WATCHDOG_INTERVAL: u32 = 1_000;
2020-03-12 06:17:34 +08:00
#[cfg(feature = "semihosting")]
const WATCHDOG_INTERVAL: u32 = 30_000;
2020-03-12 06:17:34 +08:00
2020-03-14 06:39:22 +08:00
const TCP_PORT: u16 = 23;
2019-03-15 02:58:41 +08:00
2019-03-19 04:41:51 +08:00
/// Initialization and main loop
#[cfg(not(test))]
2019-03-07 23:27:33 +08:00
#[entry]
fn main() -> ! {
2019-03-15 02:58:41 +08:00
init_log();
2020-03-14 06:39:22 +08:00
info!("tecpak");
2019-03-12 01:23:52 +08:00
let mut cp = CorePeripherals::take().unwrap();
2019-03-13 05:52:39 +08:00
cp.SCB.enable_icache();
cp.SCB.enable_dcache(&mut cp.CPUID);
2019-03-12 01:23:52 +08:00
let dp = Peripherals::take().unwrap();
2019-03-15 01:13:25 +08:00
let clocks = dp.RCC.constrain()
2019-03-12 01:23:52 +08:00
.cfgr
.use_hse(HSE)
.sysclk(168.mhz())
.hclk(168.mhz())
.pclk1(32.mhz())
.pclk2(64.mhz())
2019-03-12 01:23:52 +08:00
.freeze();
let mut wd = IndependentWatchdog::new(dp.IWDG);
2020-03-12 06:17:34 +08:00
wd.start(WATCHDOG_INTERVAL.ms());
2019-03-12 01:23:52 +08:00
wd.feed();
2020-05-29 02:45:42 +08:00
timer::setup(cp.SYST, clocks);
let (pins, mut leds, mut eeprom, eth_pins, usb) = Pins::setup(
2020-03-13 00:26:14 +08:00
clocks, dp.TIM1, dp.TIM3,
2020-09-07 03:10:10 +08:00
dp.GPIOA, dp.GPIOB, dp.GPIOC, dp.GPIOD, dp.GPIOE, dp.GPIOF, dp.GPIOG,
dp.I2C1,
2020-04-11 03:05:05 +08:00
dp.SPI2, dp.SPI4, dp.SPI5,
2020-05-29 02:43:34 +08:00
dp.ADC1,
2020-09-11 05:17:31 +08:00
dp.OTG_FS_GLOBAL,
dp.OTG_FS_DEVICE,
dp.OTG_FS_PWRCLK,
2020-03-13 00:26:14 +08:00
);
2020-09-07 03:10:10 +08:00
leds.r1.on();
leds.g3.off();
leds.g4.off();
2020-09-11 05:17:31 +08:00
usb::State::setup(usb);
2020-05-13 05:16:57 +08:00
let mut channels = Channels::new(pins);
2019-03-15 01:13:25 +08:00
// EEPROM ships with a read-only EUI-48 identifier
let mut eui48 = [0; 6];
eeprom.read_data(0xFA, &mut eui48).unwrap();
let hwaddr = EthernetAddress(eui48);
info!("EEPROM MAC address: {}", hwaddr);
2020-09-04 03:38:56 +08:00
net::run(clocks, dp.ETHERNET_MAC, dp.ETHERNET_DMA, eth_pins, hwaddr, |iface| {
2020-03-14 06:39:22 +08:00
Server::<Session>::run(iface, |server| {
2020-09-07 03:10:10 +08:00
leds.r1.off();
2019-03-19 03:02:57 +08:00
loop {
let instant = Instant::from_millis(i64::from(timer::now()));
2020-05-13 06:04:55 +08:00
let updated_channel = channels.poll_adc(instant);
if let Some(channel) = updated_channel {
2020-03-14 06:39:22 +08:00
server.for_each(|_, session| session.set_report_pending(channel.into()));
2020-05-13 06:04:55 +08:00
}
2020-03-14 06:39:22 +08:00
let instant = Instant::from_millis(i64::from(timer::now()));
cortex_m::interrupt::free(net::clear_pending);
server.poll(instant)
.unwrap_or_else(|e| {
warn!("poll: {:?}", e);
});
2020-03-14 06:39:22 +08:00
// TCP protocol handling
server.for_each(|mut socket, session| {
2020-03-21 07:37:24 +08:00
if ! socket.is_active() {
2020-03-14 06:39:22 +08:00
let _ = socket.listen(TCP_PORT);
2020-03-21 06:20:38 +08:00
session.reset();
2020-03-21 07:11:23 +08:00
} else if socket.can_send() && socket.can_recv() && socket.send_capacity() - socket.send_queue() > 1024 {
2020-03-14 06:39:22 +08:00
match socket.recv(|buf| session.feed(buf)) {
Ok(SessionOutput::Nothing) => {}
Ok(SessionOutput::Command(command)) => match command {
Command::Quit =>
socket.close(),
Command::Reporting(reporting) => {
let _ = writeln!(socket, "report={}", if reporting { "on" } else { "off" });
}
Command::Show(ShowCommand::Reporting) => {
let _ = writeln!(socket, "report={}", if session.reporting() { "on" } else { "off" });
}
Command::Show(ShowCommand::Input) => {
2020-05-13 06:04:55 +08:00
for channel in 0..CHANNELS {
2020-09-17 02:49:24 +08:00
if let Some(adc_input) = channels.channel_state(channel).get_adc() {
2020-09-17 05:31:49 +08:00
let vref = channels.channel_state(channel).vref;
2020-05-17 08:18:25 +08:00
let dac_feedback = channels.read_dac_feedback(channel);
2020-05-17 05:59:31 +08:00
let itec = channels.read_itec(channel);
2020-09-17 05:31:49 +08:00
let tec_i = (itec - vref) / ElectricalResistance::new::<ohm>(0.4);
2020-05-19 03:38:13 +08:00
let tec_u_meas = channels.read_tec_u_meas(channel);
2020-05-13 06:15:29 +08:00
let state = channels.channel_state(channel);
2020-03-14 06:39:22 +08:00
let _ = writeln!(
2020-09-17 05:32:48 +08:00
socket, "channel {}: t={:.0} adc{}={:.3} adc_r={:.3} vref={:.3} dac_feedback={:.3} itec={:.3} tec={:.3} tec_u_meas={:.3} r={:.3}",
2020-09-17 02:49:24 +08:00
channel, state.adc_time,
channel, adc_input.into_format_args(volt, Abbreviation),
state.get_sens().unwrap().into_format_args(ohm, Abbreviation),
2020-09-14 04:52:20 +08:00
vref.into_format_args(volt, Abbreviation), dac_feedback.into_format_args(volt, Abbreviation),
itec.into_format_args(volt, Abbreviation), tec_i.into_format_args(ampere, Abbreviation),
tec_u_meas.into_format_args(volt, Abbreviation),
2020-09-17 07:20:31 +08:00
((tec_u_meas - vref) / tec_i).into_format_args(ohm, Abbreviation),
2020-03-14 06:39:22 +08:00
);
} else {
let _ = writeln!(socket, "channel {}: no adc input", channel);
2020-03-14 06:39:22 +08:00
}
}
}
Command::Show(ShowCommand::Pid) => {
2020-05-13 06:04:55 +08:00
for channel in 0..CHANNELS {
let state = channels.channel_state(channel);
2020-03-20 01:34:57 +08:00
let _ = writeln!(socket, "PID settings for channel {}", channel);
let pid = &state.pid;
2020-09-18 06:09:30 +08:00
let _ = writeln!(socket, "- target={:.4} °C", pid.target);
2020-03-20 05:00:22 +08:00
macro_rules! show_pid_parameter {
2020-03-20 01:34:57 +08:00
($p: tt) => {
2020-03-20 05:00:22 +08:00
let _ = writeln!(
socket, "- {}={:.4}",
stringify!($p), pid.parameters.$p
);
2020-03-20 01:34:57 +08:00
};
}
2020-03-20 05:00:22 +08:00
show_pid_parameter!(kp);
show_pid_parameter!(ki);
show_pid_parameter!(kd);
show_pid_parameter!(integral_min);
show_pid_parameter!(integral_max);
2020-03-24 06:02:50 +08:00
show_pid_parameter!(output_min);
show_pid_parameter!(output_max);
2020-03-20 05:00:22 +08:00
if let Some(last_output) = pid.last_output {
2020-09-18 06:09:30 +08:00
let _ = writeln!(socket, "- last_output={:.3} A", last_output);
2020-03-20 05:00:22 +08:00
}
2020-03-20 01:34:57 +08:00
let _ = writeln!(socket, "");
}
2020-03-14 06:39:22 +08:00
}
Command::Show(ShowCommand::Pwm) => {
2020-05-13 06:04:55 +08:00
for channel in 0..CHANNELS {
2020-09-24 04:30:04 +08:00
let i_set = channels.get_i(channel);
2020-05-13 06:04:55 +08:00
let state = channels.channel_state(channel);
2020-03-20 01:34:57 +08:00
let _ = writeln!(
socket, "channel {}: PID={}",
channel,
2020-05-13 06:04:55 +08:00
if state.pid_engaged { "engaged" } else { "disengaged" }
2020-03-20 01:34:57 +08:00
);
2020-09-24 04:30:04 +08:00
let _ = write!(
socket, "- i_set={:.3} / {:.3} ",
2020-09-17 04:22:48 +08:00
i_set.0.into_format_args(ampere, Abbreviation),
i_set.1.into_format_args(ampere, Abbreviation),
);
2020-09-24 04:30:04 +08:00
match state.center {
CenterPoint::Vref => {
let _ = writeln!(
socket, "center=vref vref={:.3}",
state.vref.into_format_args(volt, Abbreviation),
);
}
CenterPoint::Override(volts) => {
let _ = writeln!(
socket, "center={:.3} V",
volts,
);
}
}
2020-09-17 04:05:31 +08:00
let max_v = channels.get_max_v(channel);
let _ = writeln!(
socket, "- max_v={:.3} / {:.3}",
max_v.0.into_format_args(volt, Abbreviation),
max_v.1.into_format_args(volt, Abbreviation),
);
let max_i_pos = channels.get_max_i_pos(channel);
let _ = writeln!(
socket, "- max_i_pos={:.3} / {:.3}",
max_i_pos.0.into_format_args(ampere, Abbreviation),
max_i_pos.1.into_format_args(ampere, Abbreviation),
);
let max_i_neg = channels.get_max_i_neg(channel);
let _ = writeln!(
socket, "- max_i_neg={:.3} / {:.3}",
max_i_neg.0.into_format_args(ampere, Abbreviation),
max_i_neg.1.into_format_args(ampere, Abbreviation),
);
2020-03-20 01:34:57 +08:00
}
2020-09-17 04:05:31 +08:00
let _ = writeln!(socket, "");
2020-03-14 06:39:22 +08:00
}
Command::Show(ShowCommand::SteinhartHart) => {
2020-05-13 06:04:55 +08:00
for channel in 0..CHANNELS {
let state = channels.channel_state(channel);
2020-03-20 01:34:57 +08:00
let _ = writeln!(
socket, "channel {}: Steinhart-Hart equation parameters",
channel,
);
2020-09-17 00:40:07 +08:00
let _ = writeln!(socket, "- t0={}", state.sh.t0.into_format_args(degree_celsius, Abbreviation));
2020-03-20 05:56:14 +08:00
let _ = writeln!(socket, "- b={}", state.sh.b);
2020-09-17 00:40:07 +08:00
let _ = writeln!(socket, "- r0={}", state.sh.r0.into_format_args(ohm, Abbreviation));
2020-09-17 02:49:24 +08:00
match (state.get_adc(), state.get_sens(), state.get_temperature()) {
(Some(adc), Some(sens), Some(temp)) => {
2020-09-17 00:40:07 +08:00
let _ = writeln!(
2020-09-17 07:20:31 +08:00
socket, "- adc={:.6} r={:.0} temp{}={:.3}",
2020-09-17 00:40:07 +08:00
adc.into_format_args(volt, Abbreviation),
2020-09-17 02:49:24 +08:00
sens.into_format_args(ohm, Abbreviation),
2020-09-17 05:32:48 +08:00
channel,
2020-09-17 00:40:07 +08:00
temp.into_format_args(degree_celsius, Abbreviation),
);
}
_ => {}
}
2020-03-20 01:34:57 +08:00
let _ = writeln!(socket, "");
}
2020-03-14 06:39:22 +08:00
}
Command::Show(ShowCommand::PostFilter) => {
2020-05-13 06:04:55 +08:00
for channel in 0..CHANNELS {
2020-05-13 05:16:57 +08:00
match channels.adc.get_postfilter(channel as u8).unwrap() {
2020-03-20 01:34:57 +08:00
Some(filter) => {
let _ = writeln!(
socket, "channel {}: postfilter={:.2} SPS",
channel, filter.output_rate().unwrap()
);
}
None => {
let _ = writeln!(
socket, "channel {}: no postfilter",
channel
);
}
}
}
}
Command::PwmPid { channel } => {
2020-05-13 06:04:55 +08:00
channels.channel_state(channel).pid_engaged = true;
2020-09-07 03:10:10 +08:00
leds.g3.on();
2020-03-20 01:34:57 +08:00
let _ = writeln!(socket, "channel {}: PID enabled to control PWM", channel
);
}
2020-09-17 04:05:31 +08:00
Command::Pwm { channel, pin, value } => {
match pin {
PwmPin::ISet => {
channels.channel_state(channel).pid_engaged = false;
leds.g3.off();
let current = ElectricCurrent::new::<ampere>(value);
let (current, max) = channels.set_i(channel, current);
let _ = writeln!(
socket, "channel {}: i_set DAC output set to {:.3} / {:.3}",
channel,
current.into_format_args(ampere, Abbreviation),
max.into_format_args(ampere, Abbreviation),
);
}
2020-09-17 04:05:31 +08:00
PwmPin::MaxV => {
let voltage = ElectricPotential::new::<volt>(value);
let (voltage, max) = channels.set_max_v(channel, voltage);
let _ = writeln!(
2020-09-24 04:30:04 +08:00
socket, "channel {}: max_v set to {:.3} / {:.3}",
2020-09-17 04:05:31 +08:00
channel,
voltage.into_format_args(volt, Abbreviation),
max.into_format_args(volt, Abbreviation),
);
}
PwmPin::MaxIPos => {
let current = ElectricCurrent::new::<ampere>(value);
let (current, max) = channels.set_max_i_pos(channel, current);
let _ = writeln!(
2020-09-24 04:30:04 +08:00
socket, "channel {}: max_i_pos set to {:.3} / {:.3}",
2020-09-17 04:05:31 +08:00
channel,
current.into_format_args(ampere, Abbreviation),
max.into_format_args(ampere, Abbreviation),
);
}
PwmPin::MaxINeg => {
let current = ElectricCurrent::new::<ampere>(value);
let (current, max) = channels.set_max_i_neg(channel, current);
let _ = writeln!(
2020-09-24 04:30:04 +08:00
socket, "channel {}: max_i_neg set to {:.3} / {:.3}",
2020-09-17 04:05:31 +08:00
channel,
current.into_format_args(ampere, Abbreviation),
max.into_format_args(ampere, Abbreviation),
);
}
}
2020-03-14 06:39:22 +08:00
}
2020-09-24 04:30:04 +08:00
Command::CenterPoint { channel, center } => {
let (i_tec, _) = channels.get_i(channel);
let state = channels.channel_state(channel);
state.center = center;
if !state.pid_engaged {
channels.set_i(channel, i_tec);
let _ = writeln!(
socket, "channel {}: center point updated, output readjusted for {:.3}",
channel, i_tec.into_format_args(ampere, Abbreviation),
);
} else {
let _ = writeln!(
socket, "channel {}: center point updated",
channel,
);
}
}
2020-03-14 06:39:22 +08:00
Command::Pid { channel, parameter, value } => {
2020-05-13 06:04:55 +08:00
let pid = &mut channels.channel_state(channel).pid;
2020-03-20 01:34:57 +08:00
use command_parser::PidParameter::*;
match parameter {
2020-09-18 06:24:00 +08:00
Target => {
pid.target = value;
// reset pid.integral
pid.reset();
}
2020-03-20 01:34:57 +08:00
KP =>
2020-03-20 05:01:16 +08:00
pid.parameters.kp = value,
2020-03-20 01:34:57 +08:00
KI =>
2020-03-20 05:01:16 +08:00
pid.parameters.ki = value,
2020-03-20 01:34:57 +08:00
KD =>
2020-03-20 05:01:16 +08:00
pid.parameters.kd = value,
2020-03-20 01:34:57 +08:00
OutputMin =>
2020-03-20 05:01:16 +08:00
pid.parameters.output_min = value,
2020-03-20 01:34:57 +08:00
OutputMax =>
2020-03-20 05:01:16 +08:00
pid.parameters.output_max = value,
2020-03-20 01:34:57 +08:00
IntegralMin =>
2020-03-20 05:01:16 +08:00
pid.parameters.integral_min = value,
2020-03-20 01:34:57 +08:00
IntegralMax =>
2020-03-20 05:01:16 +08:00
pid.parameters.integral_max = value,
2020-03-20 01:34:57 +08:00
}
let _ = writeln!(socket, "PID parameter updated");
2020-03-14 06:39:22 +08:00
}
Command::SteinhartHart { channel, parameter, value } => {
2020-05-13 06:04:55 +08:00
let sh = &mut channels.channel_state(channel).sh;
2020-03-20 01:34:57 +08:00
use command_parser::ShParameter::*;
match parameter {
2020-09-17 00:40:07 +08:00
T0 => sh.t0 = ThermodynamicTemperature::new::<degree_celsius>(value),
2020-03-20 05:56:14 +08:00
B => sh.b = value,
2020-09-17 00:40:07 +08:00
R0 => sh.r0 = ElectricalResistance::new::<ohm>(value),
2020-03-20 01:34:57 +08:00
}
let _ = writeln!(socket, "Steinhart-Hart equation parameter updated");
2020-03-14 06:39:22 +08:00
}
Command::PostFilter { channel, rate } => {
2020-03-20 01:34:57 +08:00
let filter = ad7172::PostFilter::closest(rate);
match filter {
Some(filter) => {
2020-05-13 05:16:57 +08:00
channels.adc.set_postfilter(channel as u8, Some(filter)).unwrap();
2020-03-20 01:34:57 +08:00
let _ = writeln!(
socket, "channel {}: postfilter set to {:.2} SPS",
channel, filter.output_rate().unwrap()
);
}
None => {
let _ = writeln!(socket, "Unable to choose postfilter");
}
}
}
2020-09-24 07:17:50 +08:00
Command::Load => {}
2020-09-24 07:18:33 +08:00
Command::Save => {
let config = Config::new(&mut channels);
let mut buf = [0; 0x200];
match config.encode(&mut buf) {
Ok(len) => {
let _ = writeln!(socket, "Encoded: {:?}", &buf[..len]);
}
Err(e) => {
let _ = writeln!(socket, "Error encoding configuration: {}", e);
}
}
}
2020-03-14 06:39:22 +08:00
}
Ok(SessionOutput::Error(e)) => {
let _ = writeln!(socket, "Command error: {:?}", e);
}
Err(_) =>
socket.close(),
}
} else if socket.can_send() && socket.send_capacity() - socket.send_queue() > 256 {
while let Some(channel) = session.is_report_pending() {
2020-05-13 06:04:55 +08:00
let state = &mut channels.channel_state(usize::from(channel));
let adc_data = state.adc_data.unwrap_or(0);
2020-03-14 06:39:22 +08:00
let _ = writeln!(
socket, "t={} raw{}=0x{:06X} value={}",
state.adc_time, channel, adc_data,
state.get_adc().unwrap().into_format_args(volt, Abbreviation),
2020-03-14 06:39:22 +08:00
).map(|_| {
session.mark_report_sent(channel);
});
}
}
});
2020-03-12 07:44:15 +08:00
2019-03-19 03:02:57 +08:00
// Update watchdog
wd.feed();
2020-09-07 03:10:10 +08:00
leds.g4.off();
cortex_m::interrupt::free(|cs| {
if !net::is_pending(cs) {
// Wait for interrupts
2020-09-11 05:17:31 +08:00
// (Ethernet, SysTick, or USB)
wfi();
}
});
2020-09-07 03:10:10 +08:00
leds.g4.on();
2019-03-15 01:13:25 +08:00
}
2019-03-19 03:02:57 +08:00
});
});
2019-03-15 03:43:35 +08:00
unreachable!()
2019-03-07 23:27:33 +08:00
}