|
|
107947899c
|
random: remove generator choice from easy API
it's supposed to be an easy replacement for std::rand, we don't need to
let the user choose their generator.
|
2017-08-28 14:12:36 +10:00 |
|
|
|
25e19b5810
|
build: use explicit constructors
|
2017-05-23 12:50:51 +10:00 |
|
|
|
353cf839d4
|
use nested namespace declarations
|
2017-01-05 15:06:49 +11:00 |
|
|
|
246357e279
|
random: remove typed randomisers without generators
|
2016-11-17 18:38:08 +11:00 |
|
|
|
9a798446b5
|
build: remove unnecessary includes
discovered with include-what-you-use
|
2016-10-12 15:08:22 +11:00 |
|
|
|
c4daffc001
|
build: add forgotten includes
|
2016-07-28 13:39:27 +10:00 |
|
|
|
8dc4abb69c
|
m/b/circular: use correct fd for MAP_ANONYMOUS
|
2016-05-13 13:56:53 +10:00 |
|
|
|
7d96d8dd2f
|
m/b/paged: use correct fd for MAP_ANONYMOUS
linux ignores the fd if you pass MAP_ANONYMOUS, but freebsd will return
with an error
|
2016-05-12 17:42:21 +10:00 |
|
|
|
1cdc6b4bad
|
use more explicit constructors
|
2016-03-17 18:14:40 +11:00 |
|
|
|
ab330cc520
|
add ref-qualifiers to avoid dangling refs/ptrs
|
2016-03-17 18:05:28 +11:00 |
|
|
|
93c08b048c
|
memory/deleter: add function calling deleter
used with unique_ptr in the deletion phase
|
2015-11-24 16:53:10 +11:00 |
|
|
|
00f6f614be
|
memory: rename object_deleter to owner_deleter
|
2015-11-19 16:46:19 +11:00 |
|
|
|
37268d6215
|
memory/deleter: remove nullptr callback restriction
if you want to pass in null then it's your head...
|
2015-11-19 15:04:19 +11:00 |
|
|
|
7dcaca2681
|
memory: add object based deleter for unique_ptr
|
2015-11-17 17:20:52 +11:00 |
|
|
|
424e6e8701
|
cast: move types/casts to cast
|
2015-11-17 16:19:27 +11:00 |
|
|
|
584b57b669
|
m/b/circular: check ftruncate return value
|
2015-11-13 17:18:10 +11:00 |
|
|
|
cd58dc8cc3
|
maths: rename align as round_to
reduces confusion between pointer align, and number rounding
|
2015-11-13 13:48:46 +11:00 |
|
|
|
6561e46018
|
memory: remove legacy scoped_malloc
|
2015-11-13 13:48:46 +11:00 |
|
|
|
32ca27abdf
|
memory: add paged and circular buffers
|
2015-11-11 16:56:35 +11:00 |
|
|
|
597fda0dfa
|
memory: add pagesize query
|
2015-11-11 16:56:00 +11:00 |
|
