1 | //
|
---|
2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
|
---|
3 | //
|
---|
4 | // The contents of this file are covered under the licence agreement in the
|
---|
5 | // file "LICENCE" distributed with Cforall.
|
---|
6 | //
|
---|
7 | // GC.h --
|
---|
8 | //
|
---|
9 | // Author : Aaron B. Moss
|
---|
10 | // Created On : Thu Mar 15 14:47:00 2018
|
---|
11 | // Last Modified By : Aaron B. Moss
|
---|
12 | // Last Modified On : Thu Mar 15 14:47:00 2018
|
---|
13 | // Update Count : 1
|
---|
14 | //
|
---|
15 |
|
---|
16 | #pragma once
|
---|
17 |
|
---|
18 | #include <cassert>
|
---|
19 | #include <vector>
|
---|
20 |
|
---|
21 | class GC_Object;
|
---|
22 | class BaseSyntaxNode;
|
---|
23 | class GC_Guard;
|
---|
24 |
|
---|
25 | /// Manually traced and called garbage collector
|
---|
26 | class GC {
|
---|
27 | friend class GcTracer;
|
---|
28 | friend class GC_Guard;
|
---|
29 |
|
---|
30 | /// Collects the youngest generation, placing survivors in previous generation.
|
---|
31 | /// Young generation objects cannot be kept alive by pointers from older generation.
|
---|
32 | /// Older generation is used for subsequent new objects.
|
---|
33 | void collect_young();
|
---|
34 | public:
|
---|
35 | /// Gets singleton GC instance
|
---|
36 | static GC& get();
|
---|
37 |
|
---|
38 | /// Traces a traceable object
|
---|
39 | const GC& operator<< (const GC_Object*) const;
|
---|
40 |
|
---|
41 | /// No-trace mark; returns true if the object exists and was not already marked
|
---|
42 | bool notrace_mark(const GC_Object*) const;
|
---|
43 |
|
---|
44 | /// Adds a new object to garbage collection
|
---|
45 | void register_object(GC_Object*);
|
---|
46 |
|
---|
47 | /// Adds an object to the set of static roots
|
---|
48 | void register_static_root(BaseSyntaxNode*);
|
---|
49 |
|
---|
50 | /// Start new generation for subsequent new objects
|
---|
51 | GC_Guard new_generation();
|
---|
52 |
|
---|
53 | /// Traces all static roots
|
---|
54 | void trace_static_roots();
|
---|
55 |
|
---|
56 | /// Collects oldest generation; use oldest generation afterward.
|
---|
57 | /// Error if currently using younger generation
|
---|
58 | void collect();
|
---|
59 |
|
---|
60 | /// Collects all contained objects
|
---|
61 | ~GC();
|
---|
62 |
|
---|
63 | private:
|
---|
64 | GC();
|
---|
65 |
|
---|
66 | using Generation = std::vector<GC_Object*>;
|
---|
67 | std::vector<Generation> gens; ///< Set of generations; always at least one
|
---|
68 |
|
---|
69 | using StaticRoots = std::vector<BaseSyntaxNode*>;
|
---|
70 | StaticRoots static_roots; ///< Set of static-lifetime roots
|
---|
71 |
|
---|
72 | bool mark; ///< The current collection's mark bit
|
---|
73 | unsigned g; ///< The current number generation in use
|
---|
74 |
|
---|
75 | /// Trace a traceable object (enabled by SFINAE)
|
---|
76 | template<typename T>
|
---|
77 | static inline auto do_trace(const GC& gc, T& obj, int) -> decltype(gc << obj, void()) {
|
---|
78 | gc << obj;
|
---|
79 | }
|
---|
80 |
|
---|
81 | /// Do not trace an untraceable object
|
---|
82 | template<typename T>
|
---|
83 | static inline auto do_trace(const GC&, T&, long) -> void {}
|
---|
84 |
|
---|
85 | /// Base case for maybe_trace
|
---|
86 | void maybe_trace() const {}
|
---|
87 |
|
---|
88 | public:
|
---|
89 | /// Trace any objects that are traceable
|
---|
90 | template<typename T, typename... Args>
|
---|
91 | void maybe_trace(T& obj, Args&... args) const {
|
---|
92 | // uses SFINAE trick to select proper overload; prefers actually tracing version
|
---|
93 | // (because of int->long conversion), but will fall back to non-tracing
|
---|
94 | do_trace(*this, obj, 0);
|
---|
95 | maybe_trace(args...);
|
---|
96 | }
|
---|
97 | };
|
---|
98 |
|
---|
99 | /// Cleanup object for young generation
|
---|
100 | class GC_Guard {
|
---|
101 | friend class GC;
|
---|
102 |
|
---|
103 | GC& gc; ///< GC associated with
|
---|
104 | unsigned g; ///< Generation constructed for
|
---|
105 |
|
---|
106 | GC_Guard( GC& gc, unsigned g ) : gc(gc), g(g) {}
|
---|
107 |
|
---|
108 | public:
|
---|
109 | ~GC_Guard() {
|
---|
110 | assert( gc.g == g && "collecting current generation" );
|
---|
111 | gc.collect_young();
|
---|
112 | }
|
---|
113 | };
|
---|
114 |
|
---|
115 | /// Use young generation until next collection
|
---|
116 | inline GC_Guard new_generation() { return GC::get().new_generation(); }
|
---|
117 |
|
---|
118 | // /// no-op default trace
|
---|
119 | // template<typename T>
|
---|
120 | // inline const GC& operator<< (const GC& gc, const T& x) { return gc; }
|
---|
121 |
|
---|
122 | inline void traceAll(const GC&) {}
|
---|
123 |
|
---|
124 | /// Marks all arguments as live in current generation
|
---|
125 | template<typename T, typename... Args>
|
---|
126 | inline void traceAll(const GC& gc, T& x, Args&... xs) {
|
---|
127 | gc << x;
|
---|
128 | traceAll(gc, xs...);
|
---|
129 | }
|
---|
130 |
|
---|
131 | /// Traces roots without collecting
|
---|
132 | template<typename... Args>
|
---|
133 | inline void trace(Args&... roots) {
|
---|
134 | GC& gc = GC::get();
|
---|
135 | traceAll(gc, roots...);
|
---|
136 | }
|
---|
137 |
|
---|
138 | /// Traces roots and collects other elements; should not be any young generations live
|
---|
139 | template<typename... Args>
|
---|
140 | inline void collect(Args&... roots) {
|
---|
141 | GC& gc = GC::get();
|
---|
142 | traceAll(gc, roots...);
|
---|
143 | gc.collect();
|
---|
144 | }
|
---|
145 |
|
---|
146 | /// Makes a new expression as a static root
|
---|
147 | template<typename T, typename... Args>
|
---|
148 | inline T* new_static_root( Args&&... args ) {
|
---|
149 | T* root = new T( std::forward<Args>(args)... );
|
---|
150 | GC::get().register_static_root( root );
|
---|
151 | return root;
|
---|
152 | }
|
---|
153 |
|
---|
154 | /// Class that is managed by the GC
|
---|
155 | class GC_Object {
|
---|
156 | friend class GC;
|
---|
157 | protected:
|
---|
158 | mutable bool mark;
|
---|
159 |
|
---|
160 | // Override default constructors to ensure clones are registered and properly marked
|
---|
161 | GC_Object();
|
---|
162 |
|
---|
163 | GC_Object(const GC_Object&);
|
---|
164 |
|
---|
165 | GC_Object(GC_Object&&);
|
---|
166 |
|
---|
167 | GC_Object& operator= (const GC_Object&) { /* do not assign mark */ return *this; }
|
---|
168 |
|
---|
169 | GC_Object& operator= (GC_Object&&) { /* do not assign mark */ return *this; }
|
---|
170 |
|
---|
171 | // Ensure subclasses can be deleted by garbage collector
|
---|
172 | virtual ~GC_Object() {}
|
---|
173 |
|
---|
174 | /// override to trace any child objects
|
---|
175 | virtual void trace(const GC&) const {}
|
---|
176 | };
|
---|
177 |
|
---|
178 | // Local Variables: //
|
---|
179 | // tab-width: 4 //
|
---|
180 | // mode: c++ //
|
---|
181 | // compile-command: "make install" //
|
---|
182 | // End: //
|
---|