Crate state[−][src]
Expand description
state - safe and effortless state management
This crate allows you to safely and effortlessly manage global and/or thread-local state. Three primitives are provided for state management:
- Container: Type-based global and thread-local storage for many values.
- Storage: Global storage for a single instance.
- LocalStorage: Thread-local storage for a single instance.
Usage
Include state in your Cargo.toml [dependencies]:
[dependencies]
state = "0.4"Thread-local state management is not enabled by default. You can enable it
via the tls feature:
[dependencies]
state = { version = "0.4", features = ["tls"] }Use Cases
Read-Only Singleton
Suppose you have the following structure which is initialized in main
after receiving input from the user:
struct Configuration {
name: String,
number: isize,
verbose: bool
}
fn main() {
let config = Configuration {
/* fill in structure at run-time from user input */
};
}You’d like to access this structure later, at any point in the program,
without any synchronization overhead. Prior to state, assuming you needed
to setup the structure after program start, your options were:
- Use
static mutandunsafeto set anOption<Configuration>toSome. Retrieve by checking forSome. - Use
lazy_staticwith aRwLockto set anRwLock<Option<Configuration>>toSome. Retrieve bylocking and checking forSome, paying the cost of synchronization.
With state, you can use LocalStorage and call
set and get, as follows:
static CONFIG: LocalStorage<Configuration> = LocalStorage::new();
fn main() {
CONFIG.set(|| Configuration {
/* fill in structure at run-time from user input */
});
/* at any point later in the program, in any thread */
let config = CONFIG.get();
}Read/Write Singleton
Following from the previous example, let’s now say that we want to be able
to modify our singleton Configuration structure as the program evolves. We
have two options:
- If we want to maintain the same state in any thread, we can use a
Storagestructure and wrap ourConfigurationstructure in a synchronization primitive. - If we want to maintain different state in any thread, we can continue
to use a
LocalStoragestructure and wrap ourLocalStoragetype in aCellstructure for internal mutability.
In this example, we’ll choose 1. The next example illustrates an instance of 2.
The following implements 1 by using a Storage structure and wrapping
the Configuration type with a RwLock:
static CONFIG: Storage<RwLock<Configuration>> = Storage::new();
fn main() {
let config = Configuration {
/* fill in structure at run-time from user input */
};
// Make the config avaiable globally.
CONFIG.set(RwLock::new(config));
/* at any point later in the program, in any thread */
let mut_config = CONFIG.get().write();
}Mutable, thread-local data
Imagine you want to count the number of invocations to a function per
thread. You’d like to store the count in a Cell<usize> and use
count.set(count.get() + 1) to increment the count. Prior to state, your
only option was to use the thread_local! macro. state provides a more
flexible, and arguably simpler solution via LocalStorage. This scanario
is implemented in the folloiwng:
static COUNT: LocalStorage<Cell<usize>> = LocalStorage::new();
fn function_to_measure() {
let count = COUNT.get();
count.set(count.get() + 1);
}
fn main() {
// setup the initializer for thread-local state
COUNT.set(|| Cell::new(0));
// spin up many threads that call `function_to_measure`.
let mut threads = vec![];
for i in 0..10 {
threads.push(thread::spawn(|| {
// Thread IDs may be reusued, so we reset the state.
COUNT.get().set(0);
function_to_measure();
COUNT.get().get()
}));
}
// retrieve the total
let total: usize = threads.into_iter()
.map(|t| t.join().unwrap())
.sum();
assert_eq!(total, 10);
}Performance
state is heavily tuned to perform optimally. get{_local} and
set{_local} calls to a Container incur overhead due to type lookup.
Storage, on the other hand, is optimal for global storage retrieval; it is
slightly faster than accessing global state initialized through
lazy_static!, more so across many threads. LocalStorage incurs slight
overhead due to thread lookup. However, LocalStorage has no
synchronization overhead, so retrieval from LocalStorage is faster than
through Storage across many threads.
Keep in mind that state allows global initialization at any point in the
program. Other solutions, such as lazy_static! and thread_local! allow
initialization only a priori. In other words, state’s abilities are a
superset of those provided by lazy_static! and thread_local!.
When To Use
You should avoid using state as much as possible. Instead, thread state
manually throughout your program when feasible.