Path: blob/main/system/lib/mimalloc/src/random.c
6175 views
/* ----------------------------------------------------------------------------1Copyright (c) 2019-2021, Microsoft Research, Daan Leijen2This is free software; you can redistribute it and/or modify it under the3terms of the MIT license. A copy of the license can be found in the file4"LICENSE" at the root of this distribution.5-----------------------------------------------------------------------------*/6#include "mimalloc.h"7#include "mimalloc/internal.h"8#include "mimalloc/prim.h" // _mi_prim_random_buf9#include <string.h> // memset1011/* ----------------------------------------------------------------------------12We use our own PRNG to keep predictable performance of random number generation13and to avoid implementations that use a lock. We only use the OS provided14random source to initialize the initial seeds. Since we do not need ultimate15performance but we do rely on the security (for secret cookies in secure mode)16we use a cryptographically secure generator (chacha20).17-----------------------------------------------------------------------------*/1819#define MI_CHACHA_ROUNDS (20) // perhaps use 12 for better performance?202122/* ----------------------------------------------------------------------------23Chacha20 implementation as the original algorithm with a 64-bit nonce24and counter: https://en.wikipedia.org/wiki/Salsa2025The input matrix has sixteen 32-bit values:26Position 0 to 3: constant key27Position 4 to 11: the key28Position 12 to 13: the counter.29Position 14 to 15: the nonce.3031The implementation uses regular C code which compiles very well on modern compilers.32(gcc x64 has no register spills, and clang 6+ uses SSE instructions)33-----------------------------------------------------------------------------*/3435static inline uint32_t rotl(uint32_t x, uint32_t shift) {36return (x << shift) | (x >> (32 - shift));37}3839static inline void qround(uint32_t x[16], size_t a, size_t b, size_t c, size_t d) {40x[a] += x[b]; x[d] = rotl(x[d] ^ x[a], 16);41x[c] += x[d]; x[b] = rotl(x[b] ^ x[c], 12);42x[a] += x[b]; x[d] = rotl(x[d] ^ x[a], 8);43x[c] += x[d]; x[b] = rotl(x[b] ^ x[c], 7);44}4546static void chacha_block(mi_random_ctx_t* ctx)47{48// scramble into `x`49uint32_t x[16];50for (size_t i = 0; i < 16; i++) {51x[i] = ctx->input[i];52}53for (size_t i = 0; i < MI_CHACHA_ROUNDS; i += 2) {54qround(x, 0, 4, 8, 12);55qround(x, 1, 5, 9, 13);56qround(x, 2, 6, 10, 14);57qround(x, 3, 7, 11, 15);58qround(x, 0, 5, 10, 15);59qround(x, 1, 6, 11, 12);60qround(x, 2, 7, 8, 13);61qround(x, 3, 4, 9, 14);62}6364// add scrambled data to the initial state65for (size_t i = 0; i < 16; i++) {66ctx->output[i] = x[i] + ctx->input[i];67}68ctx->output_available = 16;6970// increment the counter for the next round71ctx->input[12] += 1;72if (ctx->input[12] == 0) {73ctx->input[13] += 1;74if (ctx->input[13] == 0) { // and keep increasing into the nonce75ctx->input[14] += 1;76}77}78}7980static uint32_t chacha_next32(mi_random_ctx_t* ctx) {81if (ctx->output_available <= 0) {82chacha_block(ctx);83ctx->output_available = 16; // (assign again to suppress static analysis warning)84}85const uint32_t x = ctx->output[16 - ctx->output_available];86ctx->output[16 - ctx->output_available] = 0; // reset once the data is handed out87ctx->output_available--;88return x;89}9091static inline uint32_t read32(const uint8_t* p, size_t idx32) {92const size_t i = 4*idx32;93return ((uint32_t)p[i+0] | (uint32_t)p[i+1] << 8 | (uint32_t)p[i+2] << 16 | (uint32_t)p[i+3] << 24);94}9596static void chacha_init(mi_random_ctx_t* ctx, const uint8_t key[32], uint64_t nonce)97{98// since we only use chacha for randomness (and not encryption) we99// do not _need_ to read 32-bit values as little endian but we do anyways100// just for being compatible :-)101memset(ctx, 0, sizeof(*ctx));102for (size_t i = 0; i < 4; i++) {103const uint8_t* sigma = (uint8_t*)"expand 32-byte k";104ctx->input[i] = read32(sigma,i);105}106for (size_t i = 0; i < 8; i++) {107ctx->input[i + 4] = read32(key,i);108}109ctx->input[12] = 0;110ctx->input[13] = 0;111ctx->input[14] = (uint32_t)nonce;112ctx->input[15] = (uint32_t)(nonce >> 32);113}114115static void chacha_split(mi_random_ctx_t* ctx, uint64_t nonce, mi_random_ctx_t* ctx_new) {116memset(ctx_new, 0, sizeof(*ctx_new));117_mi_memcpy(ctx_new->input, ctx->input, sizeof(ctx_new->input));118ctx_new->input[12] = 0;119ctx_new->input[13] = 0;120ctx_new->input[14] = (uint32_t)nonce;121ctx_new->input[15] = (uint32_t)(nonce >> 32);122mi_assert_internal(ctx->input[14] != ctx_new->input[14] || ctx->input[15] != ctx_new->input[15]); // do not reuse nonces!123chacha_block(ctx_new);124}125126127/* ----------------------------------------------------------------------------128Random interface129-----------------------------------------------------------------------------*/130131#if MI_DEBUG>1132static bool mi_random_is_initialized(mi_random_ctx_t* ctx) {133return (ctx != NULL && ctx->input[0] != 0);134}135#endif136137void _mi_random_split(mi_random_ctx_t* ctx, mi_random_ctx_t* ctx_new) {138mi_assert_internal(mi_random_is_initialized(ctx));139mi_assert_internal(ctx != ctx_new);140chacha_split(ctx, (uintptr_t)ctx_new /*nonce*/, ctx_new);141}142143uintptr_t _mi_random_next(mi_random_ctx_t* ctx) {144mi_assert_internal(mi_random_is_initialized(ctx));145#if MI_INTPTR_SIZE <= 4146return chacha_next32(ctx);147#elif MI_INTPTR_SIZE == 8148return (((uintptr_t)chacha_next32(ctx) << 32) | chacha_next32(ctx));149#else150# error "define mi_random_next for this platform"151#endif152}153154155/* ----------------------------------------------------------------------------156To initialize a fresh random context.157If we cannot get good randomness, we fall back to weak randomness based on a timer and ASLR.158-----------------------------------------------------------------------------*/159160uintptr_t _mi_os_random_weak(uintptr_t extra_seed) {161uintptr_t x = (uintptr_t)&_mi_os_random_weak ^ extra_seed; // ASLR makes the address random162x ^= _mi_prim_clock_now();163// and do a few randomization steps164uintptr_t max = ((x ^ (x >> 17)) & 0x0F) + 1;165for (uintptr_t i = 0; i < max; i++) {166x = _mi_random_shuffle(x);167}168mi_assert_internal(x != 0);169return x;170}171172static void mi_random_init_ex(mi_random_ctx_t* ctx, bool use_weak) {173uint8_t key[32];174if (use_weak || !_mi_prim_random_buf(key, sizeof(key))) {175// if we fail to get random data from the OS, we fall back to a176// weak random source based on the current time177#if !defined(__wasi__)178if (!use_weak) { _mi_warning_message("unable to use secure randomness\n"); }179#endif180uintptr_t x = _mi_os_random_weak(0);181for (size_t i = 0; i < 8; i++) { // key is eight 32-bit words.182x = _mi_random_shuffle(x);183((uint32_t*)key)[i] = (uint32_t)x;184}185ctx->weak = true;186}187else {188ctx->weak = false;189}190chacha_init(ctx, key, (uintptr_t)ctx /*nonce*/ );191}192193void _mi_random_init(mi_random_ctx_t* ctx) {194mi_random_init_ex(ctx, false);195}196197void _mi_random_init_weak(mi_random_ctx_t * ctx) {198mi_random_init_ex(ctx, true);199}200201void _mi_random_reinit_if_weak(mi_random_ctx_t * ctx) {202if (ctx->weak) {203_mi_random_init(ctx);204}205}206207/* --------------------------------------------------------208test vectors from <https://tools.ietf.org/html/rfc8439>209----------------------------------------------------------- */210/*211static bool array_equals(uint32_t* x, uint32_t* y, size_t n) {212for (size_t i = 0; i < n; i++) {213if (x[i] != y[i]) return false;214}215return true;216}217static void chacha_test(void)218{219uint32_t x[4] = { 0x11111111, 0x01020304, 0x9b8d6f43, 0x01234567 };220uint32_t x_out[4] = { 0xea2a92f4, 0xcb1cf8ce, 0x4581472e, 0x5881c4bb };221qround(x, 0, 1, 2, 3);222mi_assert_internal(array_equals(x, x_out, 4));223224uint32_t y[16] = {2250x879531e0, 0xc5ecf37d, 0x516461b1, 0xc9a62f8a,2260x44c20ef3, 0x3390af7f, 0xd9fc690b, 0x2a5f714c,2270x53372767, 0xb00a5631, 0x974c541a, 0x359e9963,2280x5c971061, 0x3d631689, 0x2098d9d6, 0x91dbd320 };229uint32_t y_out[16] = {2300x879531e0, 0xc5ecf37d, 0xbdb886dc, 0xc9a62f8a,2310x44c20ef3, 0x3390af7f, 0xd9fc690b, 0xcfacafd2,2320xe46bea80, 0xb00a5631, 0x974c541a, 0x359e9963,2330x5c971061, 0xccc07c79, 0x2098d9d6, 0x91dbd320 };234qround(y, 2, 7, 8, 13);235mi_assert_internal(array_equals(y, y_out, 16));236237mi_random_ctx_t r = {238{ 0x61707865, 0x3320646e, 0x79622d32, 0x6b206574,2390x03020100, 0x07060504, 0x0b0a0908, 0x0f0e0d0c,2400x13121110, 0x17161514, 0x1b1a1918, 0x1f1e1d1c,2410x00000001, 0x09000000, 0x4a000000, 0x00000000 },242{0},2430244};245uint32_t r_out[16] = {2460xe4e7f110, 0x15593bd1, 0x1fdd0f50, 0xc47120a3,2470xc7f4d1c7, 0x0368c033, 0x9aaa2204, 0x4e6cd4c3,2480x466482d2, 0x09aa9f07, 0x05d7c214, 0xa2028bd9,2490xd19c12b5, 0xb94e16de, 0xe883d0cb, 0x4e3c50a2 };250chacha_block(&r);251mi_assert_internal(array_equals(r.output, r_out, 16));252}253*/254255256