zig/mach
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

module: perform type checking of object IDs to avoid subtle bugs

Browse source 
Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
This commit is contained in:
Stephen Gutekanst 2024-12-24 17:00:39 -07:00
parent a28b9798a8
commit 15c3f772ef
1 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/module.zig
View file

@ -309,7 +309,8 @@ pub fn Objects(options: ObjectsOptions, comptime T: type) type {
};
}
// TODO: this doesn't type check currently, but it should (verify id is from this pool of objects.)
/// Validates the given object is from this list (type check) and alive (not a use after delete
/// situation.)
fn validateAndUnpack(objs: *const @This(), id: ObjectID, comptime fn_name: []const u8) PackedID {
const dead = &objs.internal.dead;
const generation = &objs.internal.generation;
@ -317,11 +318,14 @@ pub fn Objects(options: ObjectsOptions, comptime T: type) type {
// TODO(object): decide whether to disable safety checks like this in some conditions,
// e.g. in release builds
const unpacked: PackedID = @bitCast(id);
if (unpacked.type_id != objs.internal.type_id) {
@panic("mach: " ++ fn_name ++ "() called with object not from this list");
}
if (unpacked.generation != generation.items[unpacked.index]) {
@panic("mach: " ++ fn_name ++ "() called on a dead object (use after delete)");
@panic("mach: " ++ fn_name ++ "() called with a dead object (use after delete, recycled slot)");
}
if (dead.isSet(unpacked.index)) {
@panic("mach: " ++ fn_name ++ "() called on a dead object");
@panic("mach: " ++ fn_name ++ "() called with a dead object (use after delete)");
}
return unpacked;
}