equal
deleted
inserted
replaced
38 // Returns the currently active GC id. Asserts that there is an active GC id. |
38 // Returns the currently active GC id. Asserts that there is an active GC id. |
39 static const uint current(); |
39 static const uint current(); |
40 // Same as current() but can return undefined() if no GC id is currently active |
40 // Same as current() but can return undefined() if no GC id is currently active |
41 static const uint current_raw(); |
41 static const uint current_raw(); |
42 static const uint undefined() { return UNDEFINED; } |
42 static const uint undefined() { return UNDEFINED; } |
|
43 static size_t print_prefix(char* buf, size_t len); |
43 }; |
44 }; |
44 |
45 |
45 class GCIdMark : public StackObj { |
46 class GCIdMark : public StackObj { |
46 uint _gc_id; |
47 uint _gc_id; |
47 public: |
48 public: |