单例

在软件工程中，单例模式是一种软件设计模式，它限制类只有一个实例。

维基百科：单例模式

为什么我们不能直接使用全局变量？

我们可以像这样将所有外设相关变量设为公共静态

static mut THE_SERIAL_PORT: SerialPort = SerialPort;

fn main() {
    let _ = unsafe {
        THE_SERIAL_PORT.read_speed();
    };
}

但在Rust中，读写全局可变变量都是不安全的。这些变量在整个程序中也是可见的，这意味着借用检查器无法帮助您跟踪这些变量的引用和所有权。

我们如何在Rust中实现单例？

我们不是简单地将外设设为全局变量，而是创建一个全局变量，姑且称为PERIPHERALS，其中每个PERIPHERALS都包含一个Option <T>。

struct Peripherals {
    serial: Option<SerialPort>,
}
impl Peripherals {
    fn take_serial(&mut self) -> SerialPort {
        let p = replace(&mut self.serial, None);
        p.unwrap()
    }
}
static mut PERIPHERALS: Peripherals = Peripherals {
    serial: Some(SerialPort),
};

这种结构使我们可以获得外围设备的单个实例。如果我们尝试多次调用take_serial()，程序将会发生恐慌(panic)！

fn main() {
    let serial_1 = unsafe { PERIPHERALS.take_serial() };
    // This panics!
    // let serial_2 = unsafe { PERIPHERALS.take_serial() };
}

尽管与此结构进行交互是unsafe，但一旦取得了它内部的SerialPort，我们将不再需要使用unsafe或PERIPHERALS结构体。

我们必须将SerialPort结构包装在一个Option中,这具有很小的运行时开销，因为需要调用一次take_serial()，但是这笔小小的一次性成本使我们能够在其余所有过程中利用借用检查器检查我们的程序。

现有库支持

尽管我们在上面创建了自己的Peripherals结构体，但实际上你的代码中无需这么操作。 cortex_mcrate包含一个名为singleton!()的宏，它将为您执行此操作。

#[macro_use(singleton)]
extern crate cortex_m;

fn main() {
    // OK if `main` is executed only once
    let x: &'static mut bool =
        singleton!(: bool = false).unwrap();
}

[cortex_m docs] todo 这里需要提交pr

此外，cortex-m-rtfmcrate 已经帮您将定义和获取这些外围设备封装好了，您将获得一个Peripherals结构体，该结构体没有Option <T>并且功能齐全。

// cortex-m-rtfm v0.3.x
app! {
    resources: {
        static RX: Rx<USART1>;
        static TX: Tx<USART1>;
    }
}
fn init(p: init::Peripherals) -> init::LateResources {
    // Note that this is now an owned value, not a reference
    let usart1: USART1 = p.device.USART1;
}

japaric.io rtfm v3

但为什么？

但是这些单例化能产生什么显著不同?

impl SerialPort {
    const SER_PORT_SPEED_REG: *mut u32 = 0x4000_1000 as _;

    fn read_speed(
        &self // <------ This is really, really important
    ) -> u32 {
        unsafe {
            ptr::read_volatile(Self::SER_PORT_SPEED_REG)
        }
    }
}

这里有两个重要因素：

因为我们使用的是单例，所以只有一种方法可以获得SerialPort实例
要调用read_speed()方法，我们必须对SerialPort实例拥有只读借用或者所有权

这两个因素放在一起，再加上Rust的借用规则，这意味着我们绝对不会对同一外设有多个可变引用！

fn main() {
    // missing reference to `self`! Won't work.
    // SerialPort::read_speed();

    let serial_1 = unsafe { PERIPHERALS.take_serial() };

    // you can only read what you have access to
    let _ = serial_1.read_speed();
}

将您的硬件视为数据

此外，由于某些引用是可变的，而有些则是不可变的，因此通过函数签名就可以判断是否可能潜在地修改硬件的状态。例如，

下面这个函数允许更改硬件设置：

fn setup_spi_port(
    spi: &mut SpiPort,
    cs_pin: &mut GpioPin
) -> Result<()> {
    // ...
}

下面这个则不可以：

fn read_button(gpio: &GpioPin) -> bool {
    // ...
}

这使我们能够在编译时(而不是在运行时)限制代码是否应该更改硬件。需要注意的是，这通常仅适用于单个应用程序，但是对于裸机系统，我们的软件只能被编译到单个应用程序中，因此不是问题。(这里说的是如果存在多个进程,它们可以分别构建单例,但是实际上外设只有一个,还是不安全)

The Embedded Rust Book

单例

为什么我们不能直接使用全局变量？

我们如何在Rust中实现单例？

现有库支持

但为什么？

将您的硬件视为数据