summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: ef05970)
rawpatchinlineside by side (parent: ef05970)
| author | Peter Zhu <[email protected]> | |
| Mon, 21 Oct 2024 14:02:31 +0000 (21 10:02 -0400) | ||
| committer | Peter Zhu <[email protected]> | |
| Mon, 21 Oct 2024 15:00:15 +0000 (21 11:00 -0400) |
Since we hash by the address of the key in the WeakMap, we cannot change
the key in the same entry because deleting the key could require hashing.
This commit changes it to allocate and insert a new entry if the key has
moved.
the key in the same entry because deleting the key could require hashing.
This commit changes it to allocate and insert a new entry if the key has
moved.
| weakmap.c | patchblobblamehistory |
diff --git a/weakmap.c b/weakmap.c
--- a/weakmap.c
+++ b/weakmap.c
return size;
}
+struct wmap_compact_table_data {
+ st_table *table;
+ struct weakmap_entry *dead_entry;
+};
+
static int
-wmap_compact_table_i(struct weakmap_entry *entry, st_data_t data)
+wmap_compact_table_i(st_data_t key, st_data_t val, st_data_t d)
{
- st_table *table = (st_table *)data;
+ struct wmap_compact_table_data *data = (struct wmap_compact_table_data *)d;
+ if (data->dead_entry != NULL) {
+ ruby_sized_xfree(data->dead_entry, sizeof(struct weakmap_entry));
+ data->dead_entry = NULL;
+ }
- VALUE new_key = rb_gc_location(entry->key);
+ struct weakmap_entry *entry = (struct weakmap_entry *)key;
entry->val = rb_gc_location(entry->val);
+ VALUE new_key = rb_gc_location(entry->key);
+
/* If the key object moves, then we must reinsert because the hash is
* based on the pointer rather than the object itself. */
if (entry->key != new_key) {
- entry->key = new_key;
-
DURING_GC_COULD_MALLOC_REGION_START();
{
- st_insert(table, (st_data_t)&entry->key, (st_data_t)&entry->val);
+ struct weakmap_entry *new_entry = xmalloc(sizeof(struct weakmap_entry));
+ new_entry->key = new_key;
+ new_entry->val = entry->val;
+ st_insert(data->table, (st_data_t)&new_entry->key, (st_data_t)&new_entry->val);
}
DURING_GC_COULD_MALLOC_REGION_END();
+ /* We cannot free the weakmap_entry here because the ST_DELETE could
+ * hash the key which would read the weakmap_entry and would cause a
+ * use-after-free. Instead, we store this entry and free it on the next
+ * iteration. */
+ data->dead_entry = entry;
+
return ST_DELETE;
}
struct weakmap *w = ptr;
if (w->table) {
- wmap_foreach(w, wmap_compact_table_i, (st_data_t)w->table);
+ struct wmap_compact_table_data compact_data = {
+ .table = w->table,
+ .dead_entry = NULL,
+ };
+
+ st_foreach(w->table, wmap_compact_table_i, (st_data_t)&compact_data);
+
+ ruby_sized_xfree(compact_data.dead_entry, sizeof(struct weakmap_entry));
}
}