blob: 7b8c9c0449003df5200c4312b5f4196634f7caea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
// Copyright 2021 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#ifndef V8_HEAP_LINEAR_ALLOCATION_AREA_H_
#define V8_HEAP_LINEAR_ALLOCATION_AREA_H_
// This header file is included outside of src/heap/.
// Avoid including src/heap/ internals.
#include "include/v8-internal.h"
#include "src/common/checks.h"
namespace v8 {
namespace internal {
// A linear allocation area to allocate objects from.
//
// Invariant that must hold at all times:
// start <= top <= limit
class LinearAllocationArea final {
public:
LinearAllocationArea() = default;
LinearAllocationArea(Address top, Address limit)
: start_(top), top_(top), limit_(limit) {
Verify();
}
void Reset(Address top, Address limit) {
start_ = top;
top_ = top;
limit_ = limit;
Verify();
}
void ResetStart() { start_ = top_; }
V8_INLINE bool CanIncrementTop(size_t bytes) const {
Verify();
return (top_ + bytes) <= limit_;
}
V8_INLINE Address IncrementTop(size_t bytes) {
Address old_top = top_;
top_ += bytes;
Verify();
return old_top;
}
V8_INLINE bool DecrementTopIfAdjacent(Address new_top, size_t bytes) {
Verify();
if ((new_top + bytes) == top_) {
top_ = new_top;
if (start_ > top_) {
ResetStart();
}
Verify();
return true;
}
return false;
}
V8_INLINE bool MergeIfAdjacent(LinearAllocationArea& other) {
Verify();
other.Verify();
if (top_ == other.limit_) {
top_ = other.top_;
start_ = other.start_;
other.Reset(kNullAddress, kNullAddress);
Verify();
return true;
}
return false;
}
V8_INLINE void SetLimit(Address limit) {
limit_ = limit;
Verify();
}
V8_INLINE Address start() const {
Verify();
return start_;
}
V8_INLINE Address top() const {
Verify();
return top_;
}
V8_INLINE Address limit() const {
Verify();
return limit_;
}
const Address* top_address() const { return &top_; }
Address* top_address() { return &top_; }
const Address* limit_address() const { return &limit_; }
Address* limit_address() { return &limit_; }
void Verify() const {
#ifdef DEBUG
SLOW_DCHECK(start_ <= top_);
SLOW_DCHECK(top_ <= limit_);
if (V8_COMPRESS_POINTERS_8GB_BOOL) {
SLOW_DCHECK(IsAligned(top_, kObjectAlignment8GbHeap));
} else {
SLOW_DCHECK(IsAligned(top_, kObjectAlignment));
}
#endif // DEBUG
}
static constexpr int kSize = 3 * kSystemPointerSize;
private:
// The start of the LAB. Initially coincides with `top_`. As top is moved
// ahead, the area [start_, top_[ denotes a range of new objects. This range
// is reset with `ResetStart()`.
Address start_ = kNullAddress;
// The top of the LAB that is used for allocation.
Address top_ = kNullAddress;
// Limit of the LAB the denotes the end of the valid range for allocation.
Address limit_ = kNullAddress;
};
static_assert(sizeof(LinearAllocationArea) == LinearAllocationArea::kSize,
"LinearAllocationArea's size must be small because it "
"is included in IsolateData.");
} // namespace internal
} // namespace v8
#endif // V8_HEAP_LINEAR_ALLOCATION_AREA_H_
|