Skip to content

Commit 65fdc37

Browse files
committed
Merge #9856: Terminate immediately when allocation fails
d4ee7ba prevector: assert successful allocation (Cory Fields) c5f008a don't throw std::bad_alloc when out of memory. Instead, terminate immediately (Cory Fields) Tree-SHA512: 699ce8df5b1775a99c71d3cfc952b45da1c0091e1a4b6adfac52d5be6144c3d98f88ac3af90e5c73fff2f74666a499feb4a34434683ce5979814e869c0aeddc3
2 parents 88c2ae3 + d4ee7ba commit 65fdc37

File tree

2 files changed

+22
-0
lines changed

2 files changed

+22
-0
lines changed

src/init.cpp

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -797,6 +797,19 @@ ServiceFlags nLocalServices = NODE_NETWORK;
797797

798798
}
799799

800+
[[noreturn]] static void new_handler_terminate()
801+
{
802+
// Rather than throwing std::bad-alloc if allocation fails, terminate
803+
// immediately to (try to) avoid chain corruption.
804+
// Since LogPrintf may itself allocate memory, set the handler directly
805+
// to terminate first.
806+
std::set_new_handler(std::terminate);
807+
LogPrintf("Error: Out of memory. Terminating.\n");
808+
809+
// The log was successful, terminate now.
810+
std::terminate();
811+
};
812+
800813
bool AppInitBasicSetup()
801814
{
802815
// ********************************************************* Step 1: setup
@@ -849,6 +862,9 @@ bool AppInitBasicSetup()
849862
// Ignore SIGPIPE, otherwise it will bring the daemon down if the client closes unexpectedly
850863
signal(SIGPIPE, SIG_IGN);
851864
#endif
865+
866+
std::set_new_handler(new_handler_terminate);
867+
852868
return true;
853869
}
854870

src/prevector.h

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
#ifndef _BITCOIN_PREVECTOR_H_
66
#define _BITCOIN_PREVECTOR_H_
77

8+
#include <assert.h>
89
#include <stdlib.h>
910
#include <stdint.h>
1011
#include <string.h>
@@ -170,10 +171,15 @@ class prevector {
170171
}
171172
} else {
172173
if (!is_direct()) {
174+
/* FIXME: Because malloc/realloc here won't call new_handler if allocation fails, assert
175+
success. These should instead use an allocator or new/delete so that handlers
176+
are called as necessary, but performance would be slightly degraded by doing so. */
173177
_union.indirect = static_cast<char*>(realloc(_union.indirect, ((size_t)sizeof(T)) * new_capacity));
178+
assert(_union.indirect);
174179
_union.capacity = new_capacity;
175180
} else {
176181
char* new_indirect = static_cast<char*>(malloc(((size_t)sizeof(T)) * new_capacity));
182+
assert(new_indirect);
177183
T* src = direct_ptr(0);
178184
T* dst = reinterpret_cast<T*>(new_indirect);
179185
memcpy(dst, src, size() * sizeof(T));

0 commit comments

Comments
 (0)