source: src/examples/gc_no_raii/src/internal/collector.c @ c44e622

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglergc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since c44e622 was c44e622, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

intermediate implementation of vector

  • Property mode set to 100644
File size: 3.3 KB
Line 
1#include "collector.h"
2
3#include <stdbool.h>
4#include <stdint.h>
5#include <stdlib.h>
6#include <string.h>
7
8#include <fstream>
9
10#include "memory_pool.h"
11
12void* gc_finish_alloc_block(void* block, size_t actual_size, size_t target_size);
13void gc_assign_reference(void** ref, gc_object_header* ptr);
14
15gcpointer_t** gc_find_previous_ref(gcpointer_t* target)
16{
17        if(!(target)) return NULL;
18
19        bool managed = gc_is_managed(target);
20        gc_object_header* obj = gc_get_object_ptr((void*)target->ptr);
21
22        check(gc_is_valide(obj));
23
24        gcpointer_t** prev_next_ptr = managed ? &obj->type_chain : &obj->root_chain;
25        while((*prev_next_ptr) && (*prev_next_ptr) != target)
26        {
27                prev_next_ptr = &(*prev_next_ptr)->next;
28        }
29
30        return prev_next_ptr;
31}
32
33void* gc_allocate(size_t target_size)
34{
35        size_t size = gc_compute_size(target_size + sizeof(gc_object_header));
36
37        check(size < POOL_SIZE_BYTES);
38
39        void* block = NULL;
40        gc_state* gc = gc_get_state();
41
42        if((intptr_t)(block = gc_try_allocate(gc, size))) return gc_finish_alloc_block(block, size, target_size);
43
44        gc_collect(gc);
45
46        if((intptr_t)(block = gc_try_allocate(gc, size))) return gc_finish_alloc_block(block, size, target_size);
47
48        gc_allocate_pool(gc);
49
50        if((intptr_t)(block = gc_try_allocate(gc, size))) return gc_finish_alloc_block(block, size, target_size);
51
52        ofstream_stderr() | "ERROR: allocation in new pool failed" | endl;
53        abort();
54
55        return NULL;
56}
57
58void* gc_finish_alloc_block(void* block, size_t actual_size, size_t target_size)
59{
60        void* data = (void*)(((intptr_t)block) + sizeof(gc_object_header));
61        void* header = block;
62
63        check(((intptr_t)data) > ((intptr_t)block));
64        check(((intptr_t)data) >= ((intptr_t)header));
65        check(is_aligned(data));
66        check(((intptr_t)data) + target_size <= ((intptr_t)block) + actual_size);
67
68        gc_object_header* obj = gc_object_header_placement_ctor(header, actual_size);
69
70        // (void)obj; //remove unsused warning since this is for debug
71        check(obj == get_object_ptr(data));
72
73        gc_register_allocation(gc_get_state(), actual_size);
74
75        return data;
76}
77
78void gc_process_reference(void** ref, worklist_t* worklist)
79{
80        check(!gc_is_in_heap(gc_get_state(), ref));
81
82        gc_object_header* ptr = gc_get_object_ptr(*ref);
83        if(ptr)
84        {
85                if(!ptr->is_forwarded)
86                {
87                        gc_copy_object(ptr);
88
89                        gc_scan_object(ptr->forward, worklist);
90
91                        gc_assign_reference(ref, ptr->forward);
92                }
93                else
94                {
95                        //duplication to help debug
96                        gc_assign_reference(ref, ptr->forward);
97                }
98        }
99}
100
101void gc_assign_reference(void** ref, gc_object_header* ptr)
102{
103        void* address = (void*)(((intptr_t)ptr) + sizeof(gc_object_header));
104
105        gc_write_aligned_ptr(ref, address);
106}
107
108gc_object_header* gc_copy_object(gc_object_header* ptr)
109{
110        check(!ptr->forward);
111        check(!ptr->is_forwarded);
112        check(gc_is_from_space(gc_pool_of(ptr)));
113
114        gc_memory_pool* pool = gc_pool_of(ptr)->mirror;
115
116        void* new_block = gc_pool_allocate(pool, ptr->size, true);
117
118        memcpy(new_block, ptr, ptr->size);
119
120        gc_object_header* fwd_ptr = gc_object_header_placement_copy_ctor(new_block, ptr);
121
122        ptr->forward = fwd_ptr;
123        ptr->is_forwarded = true;
124
125        return fwd_ptr;
126}
127
128void gc_scan_object(gc_object_header* object, worklist_t* worklist)
129{
130        gcpointer_t* field = object->type_chain;
131        while(field)
132        {
133                check(((intptr_t)field) > ((intptr_t)object));
134                check(((intptr_t)field) < ((intptr_t)((intptr_t)object) + object->size));
135
136                check(gc_is_in_to_space(gc_get_state(), &type->ptr));
137
138                push_back(worklist, &field->ptr);
139
140                field = field->next;
141        }
142}
Note: See TracBrowser for help on using the repository browser.