Skip to content

Commit fbd8f9a

Browse files
authored
Merge pull request #43 from Shopify/darray-improvements
rb_darray_make and bug fixes
2 parents a5906f9 + c544c3a commit fbd8f9a

File tree

2 files changed

+67
-27
lines changed

2 files changed

+67
-27
lines changed

darray.h

Lines changed: 61 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -42,20 +42,33 @@
4242
//
4343
// bool rb_darray_append(rb_darray(T) *ptr_to_ary, T element);
4444
//
45-
#define rb_darray_append(ptr_to_ary, element) ( \
46-
rb_darray_ensure_space((ptr_to_ary)) ? ( \
47-
rb_darray_set(*(ptr_to_ary), \
48-
(*(ptr_to_ary))->meta.size, \
49-
(element)), \
50-
++((*(ptr_to_ary))->meta.size), \
51-
1 \
45+
#define rb_darray_append(ptr_to_ary, element) ( \
46+
rb_darray_ensure_space((ptr_to_ary), sizeof(**(ptr_to_ary)), sizeof((*(ptr_to_ary))->data[0])) ? ( \
47+
rb_darray_set(*(ptr_to_ary), \
48+
(*(ptr_to_ary))->meta.size, \
49+
(element)), \
50+
++((*(ptr_to_ary))->meta.size), \
51+
1 \
5252
) : 0)
5353

54+
// Remove the last element of the array.
55+
//
56+
#define rb_darray_pop_back(ary) ((ary)->meta.size--)
57+
5458
// Iterate over items of the array in a for loop
5559
//
5660
#define rb_darray_foreach(ary, idx_name, elem_ptr_var) \
5761
for (int idx_name = 0; idx_name < rb_darray_size(ary) && ((elem_ptr_var) = rb_darray_ref(ary, idx_name)); ++idx_name)
5862

63+
// Make a dynamic array of a certain size. All bytes backing the elements are set to zero.
64+
// Return 1 on success and 0 on failure.
65+
//
66+
// Note that NULL is a valid empty dynamic array.
67+
//
68+
// bool rb_darray_make(rb_darray(T) *ptr_to_ary, int32_t size);
69+
//
70+
#define rb_darray_make(ptr_to_ary, size) rb_darray_make_impl((ptr_to_ary), size, sizeof(**(ptr_to_ary)), sizeof((*(ptr_to_ary))->data[0]))
71+
5972
typedef struct rb_darray_meta {
6073
int32_t size;
6174
int32_t capa;
@@ -87,25 +100,24 @@ rb_darray_free(void *ary)
87100
free(ary);
88101
}
89102

90-
// Remove the last element of the array.
91-
//
92-
#define rb_darray_pop_back(ary) ((ary)->meta.size--)
93-
94-
// Internal macro
95-
// Ensure there is space for one more element. Return 1 on success and 0 on failure.
96-
// `ptr_to_ary` is evaluated multiple times.
97-
#define rb_darray_ensure_space(ptr_to_ary) ( \
98-
(rb_darray_capa(*(ptr_to_ary)) > rb_darray_size(*(ptr_to_ary))) ? \
99-
1 : \
100-
rb_darray_double(ptr_to_ary, sizeof((*(ptr_to_ary))->data[0])))
103+
// Internal function. Calculate buffer size on malloc heap.
104+
static inline size_t
105+
rb_darray_buffer_size(int32_t capacity, size_t header_size, size_t element_size)
106+
{
107+
if (capacity == 0) return 0;
108+
return header_size + (size_t)capacity * element_size;
109+
}
101110

102111
// Internal function
112+
// Ensure there is space for one more element. Return 1 on success and 0 on failure.
113+
// Note: header_size can be bigger than sizeof(rb_darray_meta_t) when T is __int128_t, for example.
103114
static inline int
104-
rb_darray_double(void *ptr_to_ary, size_t element_size)
115+
rb_darray_ensure_space(void *ptr_to_ary, size_t header_size, size_t element_size)
105116
{
106117
rb_darray_meta_t **ptr_to_ptr_to_meta = ptr_to_ary;
107-
const rb_darray_meta_t *meta = *ptr_to_ptr_to_meta;
118+
rb_darray_meta_t *meta = *ptr_to_ptr_to_meta;
108119
int32_t current_capa = rb_darray_capa(meta);
120+
if (rb_darray_size(meta) < current_capa) return 1;
109121

110122
int32_t new_capa;
111123
// Calculate new capacity
@@ -119,11 +131,11 @@ rb_darray_double(void *ptr_to_ary, size_t element_size)
119131
}
120132

121133
// Calculate new buffer size
122-
size_t current_buffer_size = element_size * (size_t)current_capa + (meta ? sizeof(*meta) : 0);
123-
size_t new_buffer_size = element_size * (size_t)new_capa + sizeof(*meta);
134+
size_t current_buffer_size = rb_darray_buffer_size(current_capa, header_size, element_size);
135+
size_t new_buffer_size = rb_darray_buffer_size(new_capa, header_size, element_size);
124136
if (new_buffer_size <= current_buffer_size) return 0;
125137

126-
rb_darray_meta_t *doubled_ary = realloc(*ptr_to_ptr_to_meta, new_buffer_size);
138+
rb_darray_meta_t *doubled_ary = realloc(meta, new_buffer_size);
127139
if (!doubled_ary) return 0;
128140

129141
if (meta == NULL) {
@@ -134,7 +146,32 @@ rb_darray_double(void *ptr_to_ary, size_t element_size)
134146

135147
doubled_ary->capa = new_capa;
136148

137-
*ptr_to_ptr_to_meta = doubled_ary;
149+
// We don't have access to the type of the dynamic array in function context.
150+
// Write out result with memcpy to avoid strict aliasing issue.
151+
memcpy(ptr_to_ary, &doubled_ary, sizeof(doubled_ary));
152+
return 1;
153+
}
154+
155+
static inline int
156+
rb_darray_make_impl(void *ptr_to_ary, int32_t array_size, size_t header_size, size_t element_size)
157+
{
158+
rb_darray_meta_t **ptr_to_ptr_to_meta = ptr_to_ary;
159+
if (array_size < 0) return 0;
160+
if (array_size == 0) {
161+
*ptr_to_ptr_to_meta = NULL;
162+
return 1;
163+
}
164+
165+
size_t buffer_size = rb_darray_buffer_size(array_size, header_size, element_size);
166+
rb_darray_meta_t *meta = calloc(buffer_size, 1);
167+
if (!meta) return 0;
168+
169+
meta->size = array_size;
170+
meta->capa = array_size;
171+
172+
// We don't have access to the type of the dynamic array in function context.
173+
// Write out result with memcpy to avoid strict aliasing issue.
174+
memcpy(ptr_to_ary, &meta, sizeof(meta));
138175
return 1;
139176
}
140177

ujit_core.c

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -167,9 +167,12 @@ add_block_version(blockid_t blockid, block_t* block)
167167
// Ensure ujit_blocks is initialized for this iseq
168168
if (rb_darray_size(body->ujit_blocks) == 0) {
169169
// Initialize ujit_blocks to be as wide as body->iseq_encoded
170-
// TODO: add resize API for dary
171-
while ((unsigned)rb_darray_size(body->ujit_blocks) < body->iseq_size) {
172-
(void)rb_darray_append(&body->ujit_blocks, NULL);
170+
int32_t casted = (int32_t)body->iseq_size;
171+
if ((unsigned)casted != body->iseq_size) {
172+
rb_bug("iseq too large");
173+
}
174+
if (!rb_darray_make(&body->ujit_blocks, casted)) {
175+
rb_bug("allocation failed");
173176
}
174177

175178
// First block compiled for this iseq

0 commit comments

Comments
 (0)