1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
use crate::AllocError;
use std::alloc::Layout;
use std::cell::Cell;
use std::panic::{PanicInfo, UnwindSafe};
use std::sync::atomic::{AtomicBool, Ordering};
thread_local! {
static THREAD_ALLOC_ERROR: Cell<Option<AllocError>> = Cell::new(None);
}
struct ThreadAllocError;
impl ThreadAllocError {
#[inline]
fn inject(e: AllocError) {
debug_assert!(!ThreadAllocError::has_error());
THREAD_ALLOC_ERROR.with(|error| {
error.set(Some(e));
})
}
#[inline]
fn has_error() -> bool {
THREAD_ALLOC_ERROR.with(|error| error.get().is_some())
}
#[inline]
fn take() -> Option<AllocError> {
THREAD_ALLOC_ERROR.with(|error| error.take())
}
#[inline]
fn clear() {
let _ = ThreadAllocError::take();
}
}
fn oom_hook(layout: Layout) {
ThreadAllocError::inject(AllocError(layout));
panic!("memory allocation of {} bytes failed", layout.size());
}
type PanicHook = Box<dyn Fn(&PanicInfo<'_>) + 'static + Sync + Send>;
fn panic_hook(_: &PanicInfo<'_>) {
if !ThreadAllocError::has_error() {
std::process::abort();
}
}
#[inline]
pub fn catch_oom<F: FnOnce() -> R + UnwindSafe, R>(f: F) -> Result<R, AllocError> {
static SET_HOOK: AtomicBool = AtomicBool::new(false);
if !SET_HOOK.load(Ordering::Acquire) {
let hook: PanicHook =
Box::try_new(panic_hook).map_err(|_| AllocError::new(Layout::new::<PanicHook>()))?;
std::panic::set_hook(hook);
std::alloc::set_alloc_error_hook(oom_hook);
SET_HOOK.store(true, Ordering::Release);
}
ThreadAllocError::clear();
let result = std::panic::catch_unwind(f);
match result {
Ok(r) => Ok(r),
Err(_) => match ThreadAllocError::take() {
None => {
unreachable!()
}
Some(e) => Err(e),
},
}
}