int struct_equal(Scheme_Object *obj1, Scheme_Object *obj2, Equal_Info *eql)
{
Scheme_Structure *s1, *s2;
int i;
s1 = (Scheme_Structure *)obj1;
s2 = (Scheme_Structure *)obj2;
for (i = SCHEME_STRUCT_NUM_SLOTS(s1); i--; ) {
if (!is_equal(s1->slots[i], s2->slots[i], eql))
return 0;
}
return 1;
}
int struct_equal (Scheme_Object *s1, Scheme_Object *orig_s1,
Scheme_Object *s2, Scheme_Object *orig_s2,
Equal_Info *eql)
{
Scheme_Object *v1, *v2;
int i;
for (i = SCHEME_STRUCT_NUM_SLOTS(((Scheme_Structure *)s1)); i--; ) {
if (SAME_OBJ(s1, orig_s1))
v1 = ((Scheme_Structure *)s1)->slots[i];
else
v1 = scheme_struct_ref(orig_s1, i);
if (SAME_OBJ(s2, orig_s2))
v2 = ((Scheme_Structure *)s2)->slots[i];
else
v2 = scheme_struct_ref(orig_s2, i);
if (!is_equal(v1, v2, eql))
return 0;
}
return 1;
}
long scheme_count_memory(Scheme_Object *root, Scheme_Hash_Table *ht)
{
Scheme_Type type;
long s = sizeof(Scheme_Simple_Object), e = 0;
int need_align = 0;
struct GC_Set *home;
if (!root || SCHEME_INTP(root))
return 0;
type = SCHEME_TYPE(root);
if (type >= _scheme_last_type_)
return 0;
if (ht && scheme_hash_get(ht, root))
return 0;
home = GC_set(root);
#if CAN_TRACE_HOME
if ((home != real_tagged)
&& (home != tagged_atomic)
&& (home != tagged_uncollectable)
&& (home != tagged_eternal)) {
scheme_console_printf("Bad Scheme object: %lx\n", (unsigned long)root);
return 0;
}
#endif
if (ht)
scheme_hash_set(ht, root, scheme_true);
#define COUNT(x) (ht ? scheme_count_memory((Scheme_Object *)x, ht) : 0)
switch (type) {
case scheme_variable_type:
s = sizeof(Scheme_Bucket);
#if FORCE_SUBPARTS
e = COUNT(((Scheme_Bucket *)root)->key)
+ COUNT(((Scheme_Bucket *)root)->val);
#endif
break;
case scheme_local_type:
case scheme_local_unbox_type:
s = sizeof(Scheme_Local);
break;
case scheme_syntax_type:
#if FORCE_KNOWN_SUBPARTS
e = COUNT(SCHEME_IPTR_VAL(root));
#endif
break;
case scheme_application_type:
{
Scheme_App_Rec *app = (Scheme_App_Rec *)root;
int i;
s = sizeof(Scheme_App_Rec) + (app->num_args * sizeof(Scheme_Object *))
+ (app->num_args + 1);
need_align = 1;
#if FORCE_KNOWN_SUBPARTS
e = COUNT(app->args[0]);
for (i = 1; i <= app->num_args; i++) {
e += COUNT(app->args[i]);
}
#endif
}
break;
case scheme_sequence_type:
case scheme_case_lambda_sequence_type:
case scheme_begin0_sequence_type:
{
Scheme_Sequence *seq = (Scheme_Sequence *)root;
int i;
s = sizeof(Scheme_Sequence) + (seq->count - 1) * sizeof(Scheme_Object *);
#if FORCE_KNOWN_SUBPARTS
for (i = e = 0; i < seq->count; i++) {
e += COUNT(seq->array[i]);
}
#endif
}
break;
case scheme_branch_type:
{
Scheme_Branch_Rec *rec = (Scheme_Branch_Rec *)root;
s = sizeof(Scheme_Branch_Rec);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(rec->test) + COUNT(rec->tbranch) + COUNT(rec->fbranch);
#endif
}
break;
case scheme_unclosed_procedure_type:
case scheme_compiled_unclosed_procedure_type:
{
Scheme_Closure_Data *data =
(Scheme_Closure_Data *)root;
s = sizeof(Scheme_Closure_Data);
s += data->closure_size * sizeof(mzshort);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(data->code);
#endif
}
break;
case scheme_let_value_type:
{
Scheme_Let_Value *let = (Scheme_Let_Value *)root;
s = sizeof(Scheme_Let_Value);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(let->value) + COUNT(let->body);
#endif
}
break;
case scheme_compiled_let_value_type:
{
Scheme_Compiled_Let_Value *let = (Scheme_Compiled_Let_Value *)root;
s = sizeof(Scheme_Compiled_Let_Value);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(let->value) + COUNT(let->body);
#endif
}
break;
case scheme_let_void_type:
{
Scheme_Let_Void *let = (Scheme_Let_Void *)root;
s = sizeof(Scheme_Let_Void);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(let->body);
#endif
}
break;
case scheme_compiled_let_void_type:
{
Scheme_Let_Header *let = (Scheme_Let_Header *)root;
s = sizeof(Scheme_Let_Header);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(let->body);
#endif
}
break;
case scheme_letrec_type:
{
Scheme_Letrec *let = (Scheme_Letrec *)root;
int i;
s = sizeof(Scheme_Letrec);
s += let->count * sizeof(Scheme_Object *);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(let->body);
for (i = 0; i < let->count; i++) {
e += COUNT(let->procs[i]);
}
#endif
}
break;
case scheme_char_type:
s = sizeof(Scheme_Small_Object);
break;
case scheme_integer_type:
s = 0;
break;
case scheme_double_type:
s = sizeof(Scheme_Double);
break;
case scheme_float_type:
break;
case scheme_char_string_type:
s += (SCHEME_CHAR_STRTAG_VAL(root) + 1) * sizeof(mzchar);
need_align = 1;
break;
case scheme_byte_string_type:
s += SCHEME_BYTE_STRTAG_VAL(root) + 1;
need_align = 1;
break;
case scheme_symbol_type:
s = sizeof(Scheme_Symbol) + SCHEME_SYM_LEN(root) - 1;
need_align = 1;
break;
case scheme_null_type:
break;
case scheme_pair_type:
#if FORCE_KNOWN_SUBPARTS
e = COUNT(SCHEME_CAR(root)) + COUNT(SCHEME_CDR(root));
#endif
break;
case scheme_vector_type:
{
int count = SCHEME_VEC_SIZE(root), i;
Scheme_Object **array = SCHEME_VEC_ELS(root);
s += count * sizeof(Scheme_Object*);
#if FORCE_KNOWN_SUBPARTS
for (i = e = 0; i < count; i++) {
e += COUNT(array[i]);
}
#endif
}
break;
case scheme_prim_type:
{
if (((Scheme_Primitive_Proc *)root)->pp.flags & SCHEME_PRIM_IS_MULTI_RESULT)
s = sizeof(Scheme_Prim_W_Result_Arity);
else
s = sizeof(Scheme_Primitive_Proc);
}
break;
case scheme_closure_type:
{
Scheme_Closure_Data *data;
Scheme_Object **vals;
data = SCHEME_COMPILED_CLOS_CODE(root);
vals = SCHEME_COMPILED_CLOS_ENV(root);
s += (data->closure_size * sizeof(Scheme_Object *));
#if FORCE_KNOWN_SUBPARTS
e = COUNT(data) + scheme_count_closure(vals, data->closure_size, ht);
#endif
}
break;
case scheme_closed_prim_type:
{
if (((Scheme_Closed_Primitive_Proc *)root)->pp.flags & SCHEME_PRIM_IS_MULTI_RESULT)
s = sizeof(Scheme_Closed_Prim_W_Result_Arity);
else
s = sizeof(Scheme_Closed_Primitive_Proc);
}
break;
case scheme_cont_type:
{
Scheme_Cont *c = (Scheme_Cont *)root;
Scheme_Saved_Stack *rs;
s = sizeof(Scheme_Cont);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(c->home);
#endif
for (rs = c->runstack_copied; rs; rs = rs->prev) {
s += sizeof(Scheme_Saved_Stack);
scheme_count_closure(rs->runstack,
rs->runstack_size
- (rs->runstack
- rs->runstack_start),
ht);
}
}
break;
case scheme_input_port_type:
scheme_count_input_port(root, &s, &e, ht);
break;
case scheme_output_port_type:
scheme_count_output_port(root, &s, &e, ht);
break;
case scheme_eof_type:
case scheme_true_type:
case scheme_false_type:
case scheme_void_type:
case scheme_undefined_type:
/* Only one */
break;
case scheme_syntax_compiler_type:
break;
case scheme_macro_type:
case scheme_set_macro_type:
s = sizeof(Scheme_Small_Object);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(SCHEME_PTR_VAL(root));
#endif
break;
case scheme_box_type:
s = sizeof(Scheme_Small_Object);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(SCHEME_BOX_VAL(root));
#endif
break;
case scheme_will_executor_type:
s = sizeof(Scheme_Simple_Object);
break;
case scheme_custodian_type:
{
Scheme_Custodian *m = (Scheme_Custodian *)root;
s = sizeof(Scheme_Custodian);
e = m->alloc * (sizeof(Scheme_Object **)
+ sizeof(Scheme_Custodian_Reference *)
+ sizeof(void *)
+ sizeof(void *));
}
break;
case scheme_thread_type:
{
Scheme_Thread *p = (Scheme_Thread *)root;
Scheme_Saved_Stack *saved;
s = sizeof(Scheme_Thread)
+ ((p->runstack_size + p->tail_buffer_size) * sizeof(Scheme_Object *));
#if FORCE_KNOWN_SUBPARTS
e = COUNT(p->init_config);
#endif
/* Check stack: */
scheme_count_closure(p->runstack, /* p->runstack may be wrong, but count_closure is turned off */
p->runstack_size
- (p->runstack
- p->runstack_start),
ht);
for (saved = p->runstack_saved; saved; saved = saved->prev) {
s += (saved->runstack_size * sizeof(Scheme_Object *));
scheme_count_closure(saved->runstack,
saved->runstack_size
- (saved->runstack
- saved->runstack_start),
ht);
}
}
break;
case scheme_namespace_type:
{
Scheme_Env *env = (Scheme_Env *)root;
s = sizeof(Scheme_Env);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(env->toplevel);
#endif
}
break;
case scheme_config_type:
{
s = sizeof(Scheme_Config) + (sizeof(Scheme_Object *) * __MZCONFIG_BUILTIN_COUNT__);
#if FORCE_SUBPARTS
{
Scheme_Config *c = (Scheme_Config *)root;
int i;
e = COUNT(c->extensions) + COUNT(c->base);
for (i = 0; i < __MZCONFIG_BUILTIN_COUNT__; i++) {
e += COUNT(*c->configs[i]);
}
}
#endif
}
break;
case scheme_proc_struct_type:
case scheme_structure_type:
{
Scheme_Object **slots = ((Scheme_Structure *)root)->slots;
int i, count = SCHEME_STRUCT_NUM_SLOTS(root);
s = sizeof(Scheme_Structure) + (count - 1) * sizeof(Scheme_Object *);
#if FORCE_KNOWN_SUBPARTS
for (i = e = 0; i < count; i++) {
e += COUNT(slots[i]);
}
e += COUNT(((Scheme_Structure *)root)->stype);
#endif
}
break;
case scheme_bignum_type:
{
int count = SCHEME_BIGLEN(root);
if (count < 0)
count = -count;
s = sizeof(Small_Bignum) + (count - 1) * sizeof(bigdig);
}
break;
case scheme_escaping_cont_type:
s = sizeof(Scheme_Escaping_Cont);
break;
case scheme_sema_type:
s = sizeof(Scheme_Sema);
break;
case scheme_compilation_top_type:
s = sizeof(Scheme_Compilation_Top);
break;
case scheme_hash_table_type:
{
Scheme_Hash_Table *ht = (Scheme_Hash_Table *)root;
s = sizeof(Scheme_Hash_Table)
+ ht->size * sizeof(Scheme_Object *);
#if FORCE_SUBPARTS
{
int i;
for (i = e = 0; i < ht->size; i++) {
if (ht->buckets[i]) {
if (ht->by_address)
e += COUNT(ht->buckets[i]);
else
e += COUNT(ht->buckets[i]->val);
}
}
}
#endif
}
break;
case scheme_weak_box_type:
s = sizeof(Scheme_Small_Object);
e = COUNT(SCHEME_BOX_VAL(root));
break;
case scheme_complex_type:
case scheme_complex_izi_type:
s = sizeof(Scheme_Complex);
e = COUNT(((Scheme_Complex *)root)->r) + COUNT(((Scheme_Complex *)root)->i);
break;
case scheme_rational_type:
s = sizeof(Scheme_Rational);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(((Scheme_Rational *)root)->num)
+ COUNT(((Scheme_Rational *)root)->denom);
#endif
break;
case scheme_struct_type_type:
{
Scheme_Struct_Type *st = (Scheme_Struct_Type *)root;
s = sizeof(Scheme_Struct_Type) + st->name_pos * sizeof(Scheme_Object*);
#if FORCE_KNOWN_SUBPARTS
e = COUNT(st->name);
if (st->name_pos)
e += COUNT(st->parent_types[st->name_pos - 1]);
#endif
}
break;
case scheme_listener_type:
s = sizeof(Scheme_Small_Object);
break;
case scheme_random_state_type:
s = 130; /* wild guess */
break;
case scheme_eval_waiting_type:
case scheme_tail_call_waiting_type:
/* Only one */
break;
case scheme_multiple_values_type:
/* Only one */
break;
case scheme_placeholder_type:
s = 0; /* Infrequent */
break;
default:
s = 0;
break;
}
if (need_align) {
/* Round up to sizeof(void*) boundary: */
if (s & (sizeof(void*) - 1))
s += sizeof(void*) - (s & (sizeof(void*) - 1));
}
scheme_memory_count[type]++;
scheme_memory_size[type] += s;
return s;
}
