3 stable releases
new 1.0.2 | Nov 6, 2024 |
---|---|
1.0.1 | Nov 1, 2024 |
1.0.0 | Oct 30, 2024 |
#1117 in Rust patterns
247 downloads per month
100KB
1.5K
SLoC
Lithium
Lightweight exceptions.
Lithium provides a custom exception mechanism as an alternative to Rust panics. Compared to Rust panics, this mechanism is allocation-free, avoids indirections and RTTI, and is hence faster, if less applicable.
On nightly, Lithium is more than 2x faster than Rust panics on common Result
-like usecases. See the benchmark.
See documentation for usage and installation instructions.
lib.rs
:
Lightweight exceptions.
Lithium provides a custom exception mechanism as an alternative to Rust panics. Compared to Rust panics, this mechanism is allocation-free, avoids indirections and RTTI, and is hence faster, if less applicable.
On nightly, Lithium is more than 2x faster than Rust panics on common Result
-like usecases.
See the benchmark.
Usage
Throw an exception with throw
, catch it with catch
or the more low-level intercept
.
Unlike with Rust panics, non-Send
and non-'static
types can be used soundly.
Using the panic = "abort"
strategy breaks Lithium; avoid doing that.
For interop, all crates that depend on Lithium need to use the same version:
[dependencies]
lithium = "1"
If you break either of these two requirements, cargo will scream at you.
Platform support
On stable Rust, Lithium uses the built-in panic mechanism, tweaking it to increase performance just a little bit.
On nightly Rust, Lithium uses a custom mechanism on the following targets:
Target | Implementation | Performance | no_std support |
---|---|---|---|
Linux, macOS | Itanium EH ABI | 2.5x faster than panics | Yes |
Windows (MSVC ABI) | SEH | 1.5x faster than panics | Yes |
Windows (GNU ABI) | Itanium EH ABI | 2.5x faster than panics, but slower than MSVC | No |
Emscripten | C++ exceptions | 2x faster than panics | Yes |
WASI | Itanium EH ABI | 2.5x faster than panics | Yes |
Lithium strives to support all targets that Rust panics support. If Lithium does not work correctly on such a target, please open an issue.
no_std
support can be enabled by using default-features = false
(only on nightly). This
requires an Itanium EH unwinder to be linked in on targets that use it as the implementation.
Safety
Exceptions lack dynamic typing information. For soundness, the thrown and caught types must match exactly. Note that the functions are generic, and if the type is inferred wrong, UB will happen. Use turbofish to avoid this pitfall.
The matching types requirement only applies to exceptions that aren't caught inside the
catch
/intercept
callback. For example, this is sound:
use lithium::{catch, throw};
struct A;
struct B;
unsafe {
let _ = catch::<_, A>(|| {
let _ = catch::<_, B>(|| throw(B));
throw(A);
});
}
The responsibility of upholding this safety requirement is split between the throwing and the
catching functions. All throwing functions must be unsafe
, listing "only caught by type E
"
as a safety requirement. All catching functions that take a user-supplied callback must be
unsafe
too, listing "callback only throws type E
" as a safety requirement.
Although seemingly redundant, this enables safe abstractions over exceptions when both the throwing and the catching functions are provided by one crate. As long as the exception types used by the crate match, all safe user-supplied callbacks are sound to call, because safe callbacks can only interact with exceptions in an isolated manner.
Dependencies
~80KB