11 KiB
layout, title, description, category, tags
| layout | title | description | category | tags | ||
|---|---|---|---|---|---|---|
| post | The Whole World: Global Memory Usage | Static considered slightly less harmful |
|
The first memory type we'll look at is pretty special: when Rust can prove that
a value is fixed for the life of a program (const), and when a reference is valid for
the duration of the program (static as a declaration, not
'static
as a lifetime).
Understanding the distinction between value and reference is important for reasons
we'll go into below. The
full specification
for these two memory types is available, but we'll take a hands-on approach to the topic.
const
The quick summary is this: const declares a read-only block of memory that is loaded
as part of your program binary (during the call to exec(3)).
Any const value resulting from calling a const fn is guaranteed to be materialized
at compile-time (meaning that access at runtime will not invoke the const fn),
even though the const fn functions are available at run-time as well. The compiler
can choose to copy the constant value wherever it is deemed practical. Getting the address
of a const value is legal, but not guaranteed to be the same even when referring to the
same named identifier.
The first point is a bit strange - "read-only memory".
The Rust book
mentions in a couple places that using mut with constants is illegal,
but it's also important to demonstrate just how immutable they are. Typically in Rust
you can use "inner mutability" to modify things that aren't declared mut.
RefCell provides an API
to guarantee at runtime that some consistency rules are enforced:
use std::cell::RefCell;
fn my_mutator(cell: &RefCell<u8>) {
// Even though we're given an immutable reference,
// the `replace` method allows us to modify the inner value.
cell.replace(14);
}
fn main() {
let cell = RefCell::new(25);
// Prints out 25
println!("Cell: {:?}", cell);
my_mutator(&cell);
// Prints out 14
println!("Cell: {:?}", cell);
}
When const is involved though, modifications are silently ignored:
use std::cell::RefCell;
const CELL: RefCell<u8> = RefCell::new(25);
fn my_mutator(cell: &RefCell<u8>) {
cell.replace(14);
}
fn main() {
// First line prints 25 as expected
println!("Cell: {:?}", &CELL);
my_mutator(&CELL);
// Second line *still* prints 25
println!("Cell: {:?}", &CELL);
}
And a second example using Once:
use std::sync::Once;
const SURPRISE: Once = Once::new();
fn main() {
// This is how `Once` is supposed to be used
SURPRISE.call_once(|| println!("Initializing..."));
// Because `Once` is a `const` value, we never record it
// having been initialized the first time, and this closure
// will also execute.
SURPRISE.call_once(|| println!("Initializing again???"));
}
When the const specification
refers to "rvalues", this is
what they mean. Clippy will treat this as an error,
but it's still something to be aware of.
The next thing to mention is that const values are loaded into memory as part of your program binary.
Because of this, any const values declared in your program will be "realized" at compile-time;
accessing them may trigger a main-memory lookup (with a fixed address, so your CPU may
be able to prefetch the value), but that's it.
use std::cell::RefCell;
const CELL: RefCell<u32> = RefCell::new(24);
pub fn multiply(value: u32) -> u32 {
value * (*CELL.get_mut())
}
The compiler only creates one RefCell, and uses it everywhere. However, that value
is fully realized at compile time, and is fully stored in the .L__unnamed_1 section.
If it's helpful though, the compiler can choose to copy const values.
const FACTOR: u32 = 1000;
pub fn multiply(value: u32) -> u32 {
value * FACTOR
}
pub fn multiply_twice(value: u32) -> u32 {
value * FACTOR * FACTOR
}
In this example, the FACTOR value is turned into the mov edi, 1000 instruction
in both the multiply and multiply_twice functions; the "1000" value is never
"stored" anywhere, as it's small enough to inline into the assembly instructions.
Finally, getting the address of a const value is possible but not guaranteed
to be unique (given that the compiler can choose to copy values). In my testing
I was never able to get the compiler to copy a const value and get differing pointers,
but the specifications are clear enough: don't rely on pointers to const
values being consistent. To be frank, caring about locations for const values
is almost certainly a code smell.
static
Static variables are related to const variables, but take a slightly different approach.
When the compiler can guarantee that a reference is fixed for the life of a program,
you end up with a static variable (as opposed to values that are fixed for the
duration a program is running). Because of this reference/value distinction,
static variables behave much more like what people expect from "global" variables.
We'll look at regular static variables first, and then address the lazy_static!()
and thread_local!() macros later.
More generally, static variables are globally unique locations in memory,
the contents of which are loaded as part of your program being read into main memory.
They allow initialization with both raw values and const fn calls, and the initial
value is loaded along with the program/library binary. All static variables must
be of a type that implements the Sync
marker trait. And while static mut variables are allowed, mutating a static is considered
an unsafe operation.
The single biggest difference between const and static is the guarantees
provided about uniqueness. Where const variables may or may not be copied
in code, static variables are guarantee to be unique. If we take a previous
const example and change it to static, the difference should be clear:
static FACTOR: u32 = 1000;
pub fn multiply(value: u32) -> u32 {
value * FACTOR
}
pub fn multiply_twice(value: u32) -> u32 {
value * FACTOR * FACTOR
}
Where previously there were plenty of
references to multiplying by 1000, the new assembly refers to FACTOR
as a named memory location instead. No initialization work needs to be done,
but the compiler can no longer prove the value never changes during execution.
Next, let's talk about initialization. The simplest case is initializing static variables with either scalar or struct notation:
#[derive(Debug)]
struct MyStruct {
x: u32
}
static MY_STRUCT: MyStruct = MyStruct {
// You can even reference other statics
// declared later
x: MY_VAL
};
static MY_VAL: u32 = 24;
fn main() {
println!("Static MyStruct: {:?}", MY_STRUCT);
}
Things get a bit weirder when using const fn. In most cases, things just work:
#[derive(Debug)]
struct MyStruct {
x: u32
}
impl MyStruct {
const fn new() -> MyStruct {
MyStruct { x: 24 }
}
}
static MY_STRUCT: MyStruct = MyStruct::new();
fn main() {
println!("const fn Static MyStruct: {:?}", MY_STRUCT);
}
However, there's a caveat: you're currently not allowed to use const fn to initialize
static variables of types that aren't marked Sync. As an example, even though
RefCell::new()
is const fn, because RefCell isn't Sync,
you'll get an error at compile time:
use std::cell::RefCell;
// error[E0277]: `std::cell::RefCell<u8>` cannot be shared between threads safely
static MY_LOCK: RefCell<u8> = RefCell::new(0);
It's likely that this will change in the future though.
Which leads well to the next point: static variable types must implement the
Sync marker.
Because they're globally unique, it must be safe for you to access static variables
from any thread at any time. Most struct definitions automatically implement the
Sync trait because they contain only elements which themselves
implement Sync. This is why earlier examples could get away with initializing
statics, even though we never included an impl Sync for MyStruct in the code.
For more on the Sync trait, the Nomicon
has a much more thorough treatment. But as an example, Rust refuses to compile
our earlier example if we add a non-Sync element to the struct definition:
use std::cell::RefCell;
struct MyStruct {
x: u32,
y: RefCell<u8>,
}
// error[E0277]: `std::cell::RefCell<u8>` cannot be shared between threads safely
static MY_STRUCT: MyStruct = MyStruct {
x: 8,
y: RefCell::new(8)
};
Finally, while static mut variables are allowed, mutating them is an unsafe operation.
Unlike const however, interior mutability is acceptable. To demonstrate:
use std::sync::Once;
// This example adapted from https://doc.rust-lang.org/std/sync/struct.Once.html#method.call_once
static INIT: Once = Once::new();
fn main() {
// Note that while `INIT` is declared immutable, we're still allowed
// to mutate its interior
INIT.call_once(|| println!("Initializing..."));
// This code won't panic, as the interior of INIT was modified
// as part of the previous `call_once`
INIT.call_once(|| panic!("INIT was called twice!"));
}