aboutsummaryrefslogtreecommitdiff
path: root/mem
diff options
context:
space:
mode:
Diffstat (limited to 'mem')
-rw-r--r--mem/include/mem.h37
-rw-r--r--mem/src/mem.c16
-rw-r--r--mem/test/mem_test.c8
3 files changed, 47 insertions, 14 deletions
diff --git a/mem/include/mem.h b/mem/include/mem.h
index 892ea4f..224b069 100644
--- a/mem/include/mem.h
+++ b/mem/include/mem.h
@@ -86,9 +86,15 @@
86#define mem_get_chunk_handle(MEM, CHUNK_PTR) \ 86#define mem_get_chunk_handle(MEM, CHUNK_PTR) \
87 mem_get_chunk_handle_(&(MEM)->mem, CHUNK_PTR) 87 mem_get_chunk_handle_(&(MEM)->mem, CHUNK_PTR)
88 88
89/// Return the total capacity of the allocator in bytes. 89/// Return the block size in bytes.
90#define mem_block_size_bytes(MEM) memp_block_size_bytes_(&(MEM)->pool)
91
92/// Return the total capacity of the allocator.
90#define mem_capacity(MEM) mem_capacity_(&(MEM)->mem) 93#define mem_capacity(MEM) mem_capacity_(&(MEM)->mem)
91 94
95/// Return the number of used blocks in the allocator.
96#define mem_size(MEM) mem_size_(&(MEM)->mem)
97
92/// Set whether to trap when attempting to allocate beyond capacity. 98/// Set whether to trap when attempting to allocate beyond capacity.
93#define mem_enable_traps(MEM, enable) mem_enable_traps_(&(MEM)->mem, enable) 99#define mem_enable_traps(MEM, enable) mem_enable_traps_(&(MEM)->mem, enable)
94 100
@@ -97,18 +103,20 @@
97/// The caller can use 'i' as the index of the current chunk. 103/// The caller can use 'i' as the index of the current chunk.
98/// 104///
99/// It is valid to mem_free() the chunk at each step of the iteration. 105/// It is valid to mem_free() the chunk at each step of the iteration.
100#define mem_foreach(MEM, ITER, BODY) \ 106#define mem_foreach(MEM, ITER, BODY) \
101 { \ 107 { \
102 size_t i = 0; \ 108 size_t i = 0; \
103 do { \ 109 if ((MEM)->mem.num_used_blocks > 0) { \
104 if ((MEM)->mem.chunks[i].used) { \ 110 do { \
105 __typeof__((MEM)->object[0])* ITER = \ 111 if ((MEM)->mem.chunks[i].used) { \
106 &(((__typeof__((MEM)->object[0])*)(MEM)->mem.blocks))[i]; \ 112 __typeof__((MEM)->object[0])* ITER = \
107 (void)ITER; \ 113 &(((__typeof__((MEM)->object[0])*)(MEM)->mem.blocks))[i]; \
108 BODY; \ 114 (void)ITER; \
109 } \ 115 BODY; \
110 i = (MEM)->mem.chunks[i].next; \ 116 } \
111 } while (i); \ 117 i = (MEM)->mem.chunks[i].next; \
118 } while (i); \
119 } \
112 } 120 }
113 121
114// ----------------------------------------------------------------------------- 122// -----------------------------------------------------------------------------
@@ -137,6 +145,7 @@ typedef struct Chunk {
137typedef struct Memory { 145typedef struct Memory {
138 size_t block_size_bytes; 146 size_t block_size_bytes;
139 size_t num_blocks; 147 size_t num_blocks;
148 size_t num_used_blocks;
140 size_t next_free_chunk; 149 size_t next_free_chunk;
141 bool dynamic; /// True if blocks and chunks are dynamically-allocated. 150 bool dynamic; /// True if blocks and chunks are dynamically-allocated.
142 bool trap; /// Whether to trap when allocating beyond capacity. 151 bool trap; /// Whether to trap when allocating beyond capacity.
@@ -164,5 +173,7 @@ void* mem_alloc_(Memory*, size_t num_blocks);
164void mem_free_(Memory*, void** chunk_ptr); 173void mem_free_(Memory*, void** chunk_ptr);
165void* mem_get_chunk_(const Memory*, size_t chunk_handle); 174void* mem_get_chunk_(const Memory*, size_t chunk_handle);
166size_t mem_get_chunk_handle_(const Memory*, const void* chunk); 175size_t mem_get_chunk_handle_(const Memory*, const void* chunk);
176size_t mem_block_size_bytes_(const Memory*);
167size_t mem_capacity_(const Memory*); 177size_t mem_capacity_(const Memory*);
178size_t mem_size_(const Memory*);
168void mem_enable_traps_(Memory*, bool); 179void mem_enable_traps_(Memory*, bool);
diff --git a/mem/src/mem.c b/mem/src/mem.c
index 2904035..4f5e5ef 100644
--- a/mem/src/mem.c
+++ b/mem/src/mem.c
@@ -14,6 +14,7 @@ bool mem_make_(
14 14
15 mem->block_size_bytes = block_size_bytes; 15 mem->block_size_bytes = block_size_bytes;
16 mem->num_blocks = num_blocks; 16 mem->num_blocks = num_blocks;
17 mem->num_used_blocks = 0;
17 mem->next_free_chunk = 0; 18 mem->next_free_chunk = 0;
18 mem->trap = true; 19 mem->trap = true;
19 20
@@ -107,6 +108,7 @@ void* mem_alloc_(Memory* mem, size_t num_blocks) {
107 } while (chunk_idx != start); 108 } while (chunk_idx != start);
108 109
109 if (found) { 110 if (found) {
111 mem->num_used_blocks++;
110 mem->next_free_chunk = mem->chunks[chunk_idx].next; 112 mem->next_free_chunk = mem->chunks[chunk_idx].next;
111 return &mem->blocks[chunk_idx * mem->block_size_bytes]; 113 return &mem->blocks[chunk_idx * mem->block_size_bytes];
112 } else { 114 } else {
@@ -168,6 +170,8 @@ void mem_free_(Memory* mem, void** chunk_ptr) {
168 } 170 }
169 } 171 }
170 172
173 mem->num_used_blocks--;
174
171 *chunk_ptr = 0; 175 *chunk_ptr = 0;
172} 176}
173 177
@@ -189,9 +193,19 @@ size_t mem_get_chunk_handle_(const Memory* mem, const void* chunk) {
189 return block_byte_index / mem->block_size_bytes; 193 return block_byte_index / mem->block_size_bytes;
190} 194}
191 195
196size_t mem_block_size_bytes_(const Memory* mem) {
197 assert(mem);
198 return mem->block_size_bytes;
199}
200
192size_t mem_capacity_(const Memory* mem) { 201size_t mem_capacity_(const Memory* mem) {
193 assert(mem); 202 assert(mem);
194 return mem->num_blocks * mem->block_size_bytes; 203 return mem->num_blocks;
204}
205
206size_t mem_size_(const Memory* mem) {
207 assert(mem);
208 return mem->num_used_blocks;
195} 209}
196 210
197void mem_enable_traps_(Memory* mem, bool enable) { 211void mem_enable_traps_(Memory* mem, bool enable) {
diff --git a/mem/test/mem_test.c b/mem/test/mem_test.c
index d3c43b9..97db079 100644
--- a/mem/test/mem_test.c
+++ b/mem/test/mem_test.c
@@ -41,6 +41,8 @@ TEST_CASE(mem_fully_allocate) {
41 const int* block = mem_alloc(&mem, 1); 41 const int* block = mem_alloc(&mem, 1);
42 TEST_TRUE(block != 0); 42 TEST_TRUE(block != 0);
43 } 43 }
44
45 TEST_TRUE(mem_size(&mem) == NUM_BLOCKS);
44} 46}
45 47
46// Allocate N chunks of 1 block each, then free them. 48// Allocate N chunks of 1 block each, then free them.
@@ -60,6 +62,7 @@ TEST_CASE(mem_fill_then_free) {
60 } 62 }
61 63
62 TEST_EQUAL(count(&mem), 0); 64 TEST_EQUAL(count(&mem), 0);
65 TEST_TRUE(mem_size(&mem) == 0);
63} 66}
64 67
65// Attempt to allocate blocks past the maximum allocator size. 68// Attempt to allocate blocks past the maximum allocator size.
@@ -78,6 +81,8 @@ TEST_CASE(mem_allocate_beyond_max_size) {
78 for (int i = 0; i < NUM_BLOCKS; ++i) { 81 for (int i = 0; i < NUM_BLOCKS; ++i) {
79 TEST_EQUAL(mem_alloc(&mem, 1), 0); 82 TEST_EQUAL(mem_alloc(&mem, 1), 0);
80 } 83 }
84
85 TEST_TRUE(mem_size(&mem) == NUM_BLOCKS);
81} 86}
82 87
83// Free blocks should always remain zeroed out. 88// Free blocks should always remain zeroed out.
@@ -114,6 +119,7 @@ TEST_CASE(mem_traverse_empty) {
114 mem_make(&mem); 119 mem_make(&mem);
115 120
116 TEST_EQUAL(count(&mem), 0); 121 TEST_EQUAL(count(&mem), 0);
122 TEST_TRUE(mem_size(&mem) == 0);
117} 123}
118 124
119// Traverse a partially full allocator. 125// Traverse a partially full allocator.
@@ -130,6 +136,7 @@ TEST_CASE(mem_traverse_partially_full) {
130 } 136 }
131 137
132 TEST_EQUAL(sum(&mem), (N) * (N + 1) / 2); 138 TEST_EQUAL(sum(&mem), (N) * (N + 1) / 2);
139 TEST_TRUE(mem_size(&mem) == N);
133} 140}
134 141
135// Traverse a full allocator. 142// Traverse a full allocator.
@@ -144,6 +151,7 @@ TEST_CASE(mem_traverse_full) {
144 } 151 }
145 152
146 TEST_EQUAL(sum(&mem), (NUM_BLOCKS) * (NUM_BLOCKS + 1) / 2); 153 TEST_EQUAL(sum(&mem), (NUM_BLOCKS) * (NUM_BLOCKS + 1) / 2);
154 TEST_TRUE(mem_size(&mem) == NUM_BLOCKS);
147} 155}
148 156
149// Get the ith (allocated) chunk. 157// Get the ith (allocated) chunk.