change the built in slots to be allocated on the fly, making the objects smaller but faster

This commit is contained in:
William Bell
2025-09-09 17:55:54 +01:00
parent fc7cfc7cfb
commit 774890de1d
5 changed files with 69 additions and 27 deletions

View File

@@ -98,12 +98,19 @@ struct argon_function_struct {
uint64_t column; uint64_t column;
}; };
struct built_in_slot {
built_in_fields field;
ArgonObject*value;
};
// full definition of ArgonObject (no typedef again!) // full definition of ArgonObject (no typedef again!)
struct ArgonObject { struct ArgonObject {
ArgonType type; ArgonType type;
ArgonType child_type; ArgonType child_type;
struct hashmap_GC *dict; struct hashmap_GC *dict;
ArgonObject* Builtin_slots[BUILT_IN_FIELDS_COUNT]; struct built_in_slot* built_in_slot;
size_t built_in_slot_size;
size_t built_in_slot_length;
bool as_bool; bool as_bool;
union { union {
struct as_number { struct as_number {

View File

@@ -498,7 +498,6 @@ void init_small_ints() {
small_ints[i].type = TYPE_NUMBER; small_ints[i].type = TYPE_NUMBER;
small_ints[i].dict = createHashmap_GC(); small_ints[i].dict = createHashmap_GC();
add_builtin_field(&small_ints[i], __class__, ARGON_NUMBER_TYPE); add_builtin_field(&small_ints[i], __class__, ARGON_NUMBER_TYPE);
add_builtin_field(&small_ints[i], __base__, BASE_CLASS);
small_ints[i].value.as_number.is_int64 = true; small_ints[i].value.as_number.is_int64 = true;
small_ints[i].value.as_number.n.i64 = n; small_ints[i].value.as_number.n.i64 = n;
small_ints[i].as_bool = n; small_ints[i].as_bool = n;

View File

@@ -12,6 +12,20 @@
#include <stdio.h> #include <stdio.h>
#include <string.h> #include <string.h>
int strcmp_len(const char *s1, size_t len, const char *s2) {
size_t s2len = strlen(s2); // length of null-terminated string
size_t n = (len < s2len) ? len : s2len;
int cmp = memcmp(s1, s2, n);
if (cmp != 0)
return cmp;
// If prefixes match, decide based on length
if (len == s2len)
return 0;
return (len < s2len) ? -1 : 1;
}
ArgonObject *BASE_CLASS = NULL; ArgonObject *BASE_CLASS = NULL;
const char *built_in_field_names[BUILT_IN_FIELDS_COUNT] = { const char *built_in_field_names[BUILT_IN_FIELDS_COUNT] = {
@@ -21,10 +35,11 @@ const char *built_in_field_names[BUILT_IN_FIELDS_COUNT] = {
"__binding__", "__function__", "address", "__call__", "__binding__", "__function__", "address", "__call__",
"__number__", "log", "length", "__getattribute__"}; "__number__", "log", "length", "__getattribute__"};
ArgonObject *new_object() { ArgonObject *new_object() {
ArgonObject *object = ar_alloc(sizeof(ArgonObject)); ArgonObject *object = ar_alloc(sizeof(ArgonObject));
memset(object->Builtin_slots, 0, sizeof(object->Builtin_slots)); object->built_in_slot = NULL;
object->built_in_slot_size = 0;
object->built_in_slot_length = 0;
object->type = TYPE_OBJECT; object->type = TYPE_OBJECT;
object->dict = NULL; object->dict = NULL;
object->as_bool = true; object->as_bool = true;
@@ -46,16 +61,31 @@ ArgonObject *new_instance(ArgonObject *of) {
inline void add_builtin_field(ArgonObject *target, built_in_fields field, inline void add_builtin_field(ArgonObject *target, built_in_fields field,
ArgonObject *object) { ArgonObject *object) {
target->Builtin_slots[field] = object; for (size_t i = 0; i < target->built_in_slot_length; i++) {
if (target->built_in_slot[i].field == field) {
target->built_in_slot[i].value = object;
return;
}
}
size_t position = target->built_in_slot_length++;
if (target->built_in_slot_length > target->built_in_slot_size) {
target->built_in_slot_size *= 2;
if (target->built_in_slot_size == 0) target->built_in_slot_size = 2;
else if (target->built_in_slot_size>BUILT_IN_FIELDS_COUNT) target->built_in_slot_size = BUILT_IN_FIELDS_COUNT;
target->built_in_slot =
ar_realloc(target->built_in_slot, target->built_in_slot_size *
sizeof(struct built_in_slot));
}
target->built_in_slot[position] = (struct built_in_slot){field, object};
// hashmap_insert_GC(target->dict, built_in_field_hashes[field], // hashmap_insert_GC(target->dict, built_in_field_hashes[field],
// (char *)built_in_field_names[field], object, 0); // (char *)built_in_field_names[field], object, 0);
} }
void add_field(ArgonObject *target, char *name, uint64_t hash, void add_field_l(ArgonObject *target, char *name, uint64_t hash, size_t length,
ArgonObject *object) { ArgonObject *object) {
for (size_t i = 0; i < BUILT_IN_FIELDS_COUNT; i++) { for (size_t i = 0; i < BUILT_IN_FIELDS_COUNT; i++) {
if (strcmp(name, built_in_field_names[i])) { if (strcmp_len(name, length, built_in_field_names[i]) == 0) {
target->Builtin_slots[i] = object; add_builtin_field(target, i, object);
return; return;
} }
} }
@@ -71,8 +101,7 @@ ArgonObject *bind_object_to_function(ArgonObject *object,
add_builtin_field(bound_method_wrapper, __class__, ARGON_METHOD_TYPE); add_builtin_field(bound_method_wrapper, __class__, ARGON_METHOD_TYPE);
add_builtin_field(bound_method_wrapper, __binding__, object); add_builtin_field(bound_method_wrapper, __binding__, object);
add_builtin_field(bound_method_wrapper, __function__, function); add_builtin_field(bound_method_wrapper, __function__, function);
ArgonObject *function_name = ArgonObject *function_name = get_builtin_field(function, __name__);
get_builtin_field(function, __name__);
if (function_name) if (function_name)
add_builtin_field(bound_method_wrapper, __name__, function_name); add_builtin_field(bound_method_wrapper, __name__, function_name);
return bound_method_wrapper; return bound_method_wrapper;
@@ -100,8 +129,8 @@ ArgonObject *get_field_l(ArgonObject *target, char *name, uint64_t hash,
size_t length, bool recursive, size_t length, bool recursive,
bool disable_method_wrapper) { bool disable_method_wrapper) {
for (size_t i = 0; i < BUILT_IN_FIELDS_COUNT; i++) { for (size_t i = 0; i < BUILT_IN_FIELDS_COUNT; i++) {
if (strcmp(name, built_in_field_names[i])) { if (strcmp_len(name, length, built_in_field_names[i]) == 0) {
return target->Builtin_slots[i]; return get_builtin_field(target, i);
} }
} }
if (!target->dict) if (!target->dict)
@@ -112,14 +141,14 @@ ArgonObject *get_field_l(ArgonObject *target, char *name, uint64_t hash,
ArgonObject *binding = target; ArgonObject *binding = target;
if (disable_method_wrapper) if (disable_method_wrapper)
binding = NULL; binding = NULL;
return get_field_for_class_l( return get_field_for_class_l(get_builtin_field(target, __class__), name, hash,
get_builtin_field(target, __class__), name, length, binding);
hash, length, binding);
} }
ArgonObject *get_builtin_field_for_class(ArgonObject *target, ArgonObject *get_builtin_field_for_class(ArgonObject *target,
built_in_fields field, built_in_fields field,
ArgonObject *binding_object) { ArgonObject *binding_object) {
while (target) {
ArgonObject *object = get_builtin_field(target, field); ArgonObject *object = get_builtin_field(target, field);
if (object) { if (object) {
if ((object->type == TYPE_FUNCTION || if ((object->type == TYPE_FUNCTION ||
@@ -129,11 +158,18 @@ ArgonObject *get_builtin_field_for_class(ArgonObject *target,
} }
return object; return object;
} }
target = get_builtin_field(target, __base__);
}
return NULL; return NULL;
} }
ArgonObject *get_builtin_field(ArgonObject *target, built_in_fields field) { ArgonObject *get_builtin_field(ArgonObject *target, built_in_fields field) {
return target->Builtin_slots[field]; for (size_t i = 0; i < target->built_in_slot_length; i++) {
if (target->built_in_slot[i].field == field) {
return target->built_in_slot[i].value;
}
}
return NULL;
// ArgonObject *object = // ArgonObject *object =
// hashmap_lookup_GC(target->dict, built_in_field_hashes[field]); // hashmap_lookup_GC(target->dict, built_in_field_hashes[field]);
// if (!recursive || object) // if (!recursive || object)

View File

@@ -21,7 +21,7 @@ ArgonObject *new_instance(ArgonObject * of);
void add_builtin_field(ArgonObject *target, built_in_fields field, void add_builtin_field(ArgonObject *target, built_in_fields field,
ArgonObject *object); ArgonObject *object);
void add_field(ArgonObject *target, char *name, uint64_t hash, void add_field_l(ArgonObject *target, char *name, uint64_t hash, size_t length,
ArgonObject *object); ArgonObject *object);
ArgonObject *bind_object_to_function(ArgonObject *object, ArgonObject *bind_object_to_function(ArgonObject *object,

View File

@@ -1,3 +1,3 @@
let i = 1e6 let i = 1e7
while (i) do while (i) do
i=i-1 i=i-1