Path: blob/main/contrib/llvm-project/compiler-rt/lib/scudo/standalone/chunk.h
35291 views
//===-- chunk.h -------------------------------------------------*- C++ -*-===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//78#ifndef SCUDO_CHUNK_H_9#define SCUDO_CHUNK_H_1011#include "platform.h"1213#include "atomic_helpers.h"14#include "checksum.h"15#include "common.h"16#include "report.h"1718namespace scudo {1920extern Checksum HashAlgorithm;2122inline u16 computeChecksum(u32 Seed, uptr Value, uptr *Array, uptr ArraySize) {23// If the hardware CRC32 feature is defined here, it was enabled everywhere,24// as opposed to only for crc32_hw.cpp. This means that other hardware25// specific instructions were likely emitted at other places, and as a result26// there is no reason to not use it here.27#if defined(__CRC32__) || defined(__SSE4_2__) || defined(__ARM_FEATURE_CRC32)28u32 Crc = static_cast<u32>(CRC32_INTRINSIC(Seed, Value));29for (uptr I = 0; I < ArraySize; I++)30Crc = static_cast<u32>(CRC32_INTRINSIC(Crc, Array[I]));31return static_cast<u16>(Crc ^ (Crc >> 16));32#else33if (HashAlgorithm == Checksum::HardwareCRC32) {34u32 Crc = computeHardwareCRC32(Seed, Value);35for (uptr I = 0; I < ArraySize; I++)36Crc = computeHardwareCRC32(Crc, Array[I]);37return static_cast<u16>(Crc ^ (Crc >> 16));38} else {39u16 Checksum = computeBSDChecksum(static_cast<u16>(Seed), Value);40for (uptr I = 0; I < ArraySize; I++)41Checksum = computeBSDChecksum(Checksum, Array[I]);42return Checksum;43}44#endif // defined(__CRC32__) || defined(__SSE4_2__) ||45// defined(__ARM_FEATURE_CRC32)46}4748namespace Chunk {4950// Note that in an ideal world, `State` and `Origin` should be `enum class`, and51// the associated `UnpackedHeader` fields of their respective enum class type52// but https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61414 prevents it from53// happening, as it will error, complaining the number of bits is not enough.54enum Origin : u8 {55Malloc = 0,56New = 1,57NewArray = 2,58Memalign = 3,59};6061enum State : u8 { Available = 0, Allocated = 1, Quarantined = 2 };6263typedef u64 PackedHeader;64// Update the 'Mask' constants to reflect changes in this structure.65struct UnpackedHeader {66uptr ClassId : 8;67u8 State : 2;68// Origin if State == Allocated, or WasZeroed otherwise.69u8 OriginOrWasZeroed : 2;70uptr SizeOrUnusedBytes : 20;71uptr Offset : 16;72uptr Checksum : 16;73};74typedef atomic_u64 AtomicPackedHeader;75static_assert(sizeof(UnpackedHeader) == sizeof(PackedHeader), "");7677// Those constants are required to silence some -Werror=conversion errors when78// assigning values to the related bitfield variables.79constexpr uptr ClassIdMask = (1UL << 8) - 1;80constexpr u8 StateMask = (1U << 2) - 1;81constexpr u8 OriginMask = (1U << 2) - 1;82constexpr uptr SizeOrUnusedBytesMask = (1UL << 20) - 1;83constexpr uptr OffsetMask = (1UL << 16) - 1;84constexpr uptr ChecksumMask = (1UL << 16) - 1;8586constexpr uptr getHeaderSize() {87return roundUp(sizeof(PackedHeader), 1U << SCUDO_MIN_ALIGNMENT_LOG);88}8990inline AtomicPackedHeader *getAtomicHeader(void *Ptr) {91return reinterpret_cast<AtomicPackedHeader *>(reinterpret_cast<uptr>(Ptr) -92getHeaderSize());93}9495inline const AtomicPackedHeader *getConstAtomicHeader(const void *Ptr) {96return reinterpret_cast<const AtomicPackedHeader *>(97reinterpret_cast<uptr>(Ptr) - getHeaderSize());98}99100// We do not need a cryptographically strong hash for the checksum, but a CRC101// type function that can alert us in the event a header is invalid or102// corrupted. Ideally slightly better than a simple xor of all fields.103static inline u16 computeHeaderChecksum(u32 Cookie, const void *Ptr,104UnpackedHeader *Header) {105UnpackedHeader ZeroChecksumHeader = *Header;106ZeroChecksumHeader.Checksum = 0;107uptr HeaderHolder[sizeof(UnpackedHeader) / sizeof(uptr)];108memcpy(&HeaderHolder, &ZeroChecksumHeader, sizeof(HeaderHolder));109return computeChecksum(Cookie, reinterpret_cast<uptr>(Ptr), HeaderHolder,110ARRAY_SIZE(HeaderHolder));111}112113inline void storeHeader(u32 Cookie, void *Ptr,114UnpackedHeader *NewUnpackedHeader) {115NewUnpackedHeader->Checksum =116computeHeaderChecksum(Cookie, Ptr, NewUnpackedHeader);117PackedHeader NewPackedHeader = bit_cast<PackedHeader>(*NewUnpackedHeader);118atomic_store_relaxed(getAtomicHeader(Ptr), NewPackedHeader);119}120121inline void loadHeader(u32 Cookie, const void *Ptr,122UnpackedHeader *NewUnpackedHeader) {123PackedHeader NewPackedHeader = atomic_load_relaxed(getConstAtomicHeader(Ptr));124*NewUnpackedHeader = bit_cast<UnpackedHeader>(NewPackedHeader);125if (UNLIKELY(NewUnpackedHeader->Checksum !=126computeHeaderChecksum(Cookie, Ptr, NewUnpackedHeader)))127reportHeaderCorruption(const_cast<void *>(Ptr));128}129130inline bool isValid(u32 Cookie, const void *Ptr,131UnpackedHeader *NewUnpackedHeader) {132PackedHeader NewPackedHeader = atomic_load_relaxed(getConstAtomicHeader(Ptr));133*NewUnpackedHeader = bit_cast<UnpackedHeader>(NewPackedHeader);134return NewUnpackedHeader->Checksum ==135computeHeaderChecksum(Cookie, Ptr, NewUnpackedHeader);136}137138} // namespace Chunk139140} // namespace scudo141142#endif // SCUDO_CHUNK_H_143144145