blob: 5af8eb9a9b9ba9df3347a033b5cc72390c8df096 [file]
// Copyright 2017 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_OBJECTS_FIXED_ARRAY_INL_H_
#define V8_OBJECTS_FIXED_ARRAY_INL_H_
#include "src/objects/fixed-array.h"
// Include the non-inl header before the rest of the headers.
#include <optional>
#include "src/base/strong-alias.h"
#include "src/common/globals.h"
#include "src/common/ptr-compr-inl.h"
#include "src/handles/handles-inl.h"
#include "src/heap/factory.h"
#include "src/heap/heap-write-barrier-inl.h"
#include "src/heap/read-only-heap-inl.h"
#include "src/objects/fixed-array-base-inl.h"
#include "src/objects/heap-object-inl.h"
#include "src/objects/heap-object-set-map-inl.h"
#include "src/objects/map.h"
#include "src/objects/maybe-object-inl.h"
#include "src/objects/oddball-predicates-inl.h"
#include "src/objects/slots-inl.h"
#include "src/objects/slots.h"
#include "src/objects/tagged-field-inl.h"
#include "src/roots/roots-inl.h"
#include "src/sandbox/sandboxed-pointer-inl.h"
// Has to be the last include (doesn't have include guards):
#include "src/objects/object-macros.h"
namespace v8::internal {
template <class D, class ElementT_, class P>
bool TaggedArrayBase<D, ElementT_, P>::IsInBounds(int index) const {
return static_cast<uint32_t>(index) < this->capacity().value();
}
template <class D, class ElementT_, class P>
bool TaggedArrayBase<D, ElementT_, P>::IsCowArray() const {
return this->map() == ReadOnlyHeap::EarlyGetReadOnlyRoots(this)
.unchecked_fixed_cow_array_map();
}
template <class D, class ElementT_, class P>
Tagged<ElementT_> TaggedArrayBase<D, ElementT_, P>::get(uint32_t index) const {
DCHECK(IsInBounds(index));
// TODO(jgruber): This tag-less overload shouldn't be relaxed.
return derived()->objects()[index].Relaxed_Load();
}
template <class D, class ElementT_, class P>
Tagged<ElementT_> TaggedArrayBase<D, ElementT_, P>::get(uint32_t index,
RelaxedLoadTag) const {
DCHECK(IsInBounds(index));
return derived()->objects()[index].Relaxed_Load();
}
template <class D, class ElementT_, class P>
Tagged<ElementT_> TaggedArrayBase<D, ElementT_, P>::get(uint32_t index,
AcquireLoadTag) const {
DCHECK(IsInBounds(index));
return derived()->objects()[index].Acquire_Load();
}
template <class D, class ElementT_, class P>
Tagged<ElementT_> TaggedArrayBase<D, ElementT_, P>::get(uint32_t index,
SeqCstAccessTag) const {
DCHECK(IsInBounds(index));
return derived()->objects()[index].SeqCst_Load();
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index,
Tagged<ElementT_> value,
WriteBarrierMode mode) {
DCHECK(!IsCowArray());
DCHECK(IsInBounds(index));
// TODO(jgruber): This tag-less overload shouldn't be relaxed.
derived()->objects()[index].Relaxed_Store(derived(), value, mode);
}
template <class D, class ElementT_, class P>
template <typename, typename>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index, Tagged<Smi> value) {
set(index, value, SKIP_WRITE_BARRIER);
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index,
Tagged<ElementT_> value,
RelaxedStoreTag tag,
WriteBarrierMode mode) {
DCHECK(!IsCowArray());
DCHECK(IsInBounds(index));
derived()->objects()[index].Relaxed_Store(derived(), value, mode);
}
template <class D, class ElementT_, class P>
template <typename, typename>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index, Tagged<Smi> value,
RelaxedStoreTag tag) {
set(index, value, tag, SKIP_WRITE_BARRIER);
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index,
Tagged<ElementT_> value,
ReleaseStoreTag tag,
WriteBarrierMode mode) {
DCHECK(!IsCowArray());
DCHECK(IsInBounds(index));
derived()->objects()[index].Release_Store(derived(), value, mode);
}
template <class D, class ElementT_, class P>
template <typename, typename>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index, Tagged<Smi> value,
ReleaseStoreTag tag) {
set(index, value, tag, SKIP_WRITE_BARRIER);
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index,
Tagged<ElementT_> value,
SeqCstAccessTag tag,
WriteBarrierMode mode) {
DCHECK(!IsCowArray());
DCHECK(IsInBounds(index));
derived()->objects()[index].SeqCst_Store(derived(), value, mode);
}
template <class D, class ElementT_, class P>
template <typename, typename>
void TaggedArrayBase<D, ElementT_, P>::set(uint32_t index, Tagged<Smi> value,
SeqCstAccessTag tag) {
set(index, value, tag, SKIP_WRITE_BARRIER);
}
template <class D, class ElementT_, class P>
Tagged<ElementT_> TaggedArrayBase<D, ElementT_, P>::swap(
uint32_t index, Tagged<ElementT_> value, SeqCstAccessTag,
WriteBarrierMode mode) {
DCHECK(!IsCowArray());
DCHECK(IsInBounds(index));
return derived()->objects()[index].SeqCst_Swap(derived(), value, mode);
}
template <class D, class ElementT_, class P>
Tagged<ElementT_> TaggedArrayBase<D, ElementT_, P>::compare_and_swap(
uint32_t index, Tagged<ElementT_> expected, Tagged<ElementT_> value,
SeqCstAccessTag, WriteBarrierMode mode) {
DCHECK(!IsCowArray());
DCHECK(IsInBounds(index));
return derived()->objects()[index].SeqCst_CompareAndSwap(derived(), expected,
value, mode);
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::MoveElements(
Isolate* isolate, Tagged<D> dst, uint32_t dst_index, Tagged<D> src,
uint32_t src_index, uint32_t len, WriteBarrierMode mode) {
if (len == 0) return;
DCHECK_GE(len, 0);
DCHECK(dst->IsInBounds(dst_index));
DCHECK_LE(dst_index + len, dst->ulength().value());
DCHECK(src->IsInBounds(src_index));
DCHECK_LE(src_index + len, src->ulength().value());
DisallowGarbageCollection no_gc;
SlotType dst_slot(&dst->objects()[dst_index]);
SlotType src_slot(&src->objects()[src_index]);
isolate->heap()->MoveRange(dst, dst_slot, src_slot, len, mode);
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::CopyElements(
Isolate* isolate, Tagged<D> dst, uint32_t dst_index, Tagged<D> src,
uint32_t src_index, uint32_t len, WriteBarrierMode mode) {
if (len == 0) return;
DCHECK_GE(len, 0);
DCHECK(dst->IsInBounds(dst_index));
DCHECK_LE(dst_index + len, dst->capacity().value());
DCHECK(src->IsInBounds(src_index));
DCHECK_LE(src_index + len, src->capacity().value());
DisallowGarbageCollection no_gc;
SlotType dst_slot(&dst->objects()[dst_index]);
SlotType src_slot(&src->objects()[src_index]);
isolate->heap()->CopyRange(dst, dst_slot, src_slot, len, mode);
}
template <class D, class ElementT_, class P>
void TaggedArrayBase<D, ElementT_, P>::RightTrim(Isolate* isolate,
uint32_t new_capacity) {
const uint32_t old_capacity = this->capacity().value();
CHECK_GT(new_capacity, 0); // Due to possible canonicalization.
CHECK_LE(new_capacity, old_capacity);
if (new_capacity == old_capacity) return;
isolate->heap()->RightTrimArray(Cast<D>(this), new_capacity, old_capacity);
}
// Due to right-trimming (which creates a filler object before publishing the
// length through a release-store, see Heap::RightTrimArray), concurrent
// visitors need to read the length with acquire semantics.
template <class D, class ElementT_, class P>
int TaggedArrayBase<D, ElementT_, P>::AllocatedSize() const {
return SizeFor(static_cast<int>(this->capacity(kAcquireLoad).value()));
}
template <class D, class ElementT_, class P>
typename TaggedArrayBase<D, ElementT_, P>::SlotType
TaggedArrayBase<D, ElementT_, P>::RawFieldOfFirstElement() const {
return RawFieldOfElementAt(0);
}
template <class D, class ElementT_, class P>
typename TaggedArrayBase<D, ElementT_, P>::SlotType
TaggedArrayBase<D, ElementT_, P>::RawFieldOfElementAt(uint32_t index) const {
return SlotType(&derived()->objects()[index]);
}
// static
template <class IsolateT>
Handle<FixedArray> FixedArray::New(IsolateT* isolate, uint32_t length,
AllocationType allocation,
AllocationHint hint) {
if (V8_UNLIKELY(length > FixedArrayBase::kMaxLength)) {
base::FatalNoSecurityImpact(
"Fatal JavaScript invalid size error %d (see crbug.com/1201626)",
length);
} else if (V8_UNLIKELY(length == 0)) {
return isolate->roots_table().empty_fixed_array();
}
std::optional<DisallowGarbageCollection> no_gc;
Handle<FixedArray> result =
Cast<FixedArray>(Allocate(isolate, length, &no_gc, allocation, hint));
ReadOnlyRoots roots{isolate};
MemsetTagged((*result)->RawFieldOfFirstElement(), roots.undefined_value(),
length);
return result;
}
// static
template <class IsolateT, typename ElementsCallback>
Handle<FixedArray> FixedArray::New(IsolateT* isolate, uint32_t length,
ElementsCallback elements_callback,
AllocationType allocation,
AllocationHint hint) {
if (V8_UNLIKELY(length > FixedArrayBase::kMaxLength)) {
base::FatalNoSecurityImpact(
"Fatal JavaScript invalid size error %d (see crbug.com/1201626)",
length);
} else if (V8_UNLIKELY(length == 0)) {
return isolate->roots_table().empty_fixed_array();
}
std::optional<DisallowGarbageCollection> no_gc;
Handle<FixedArray> result =
Cast<FixedArray>(Allocate(isolate, length, &no_gc, allocation, hint));
const WriteBarrierMode write_barrier =
allocation == AllocationType::kYoung
? WriteBarrierMode::SKIP_WRITE_BARRIER
: WriteBarrierMode::UPDATE_WRITE_BARRIER;
for (uint32_t i = 0; i < length; ++i) {
result->set(i, elements_callback(i), write_barrier);
}
return result;
}
// static
template <class IsolateT>
Handle<TrustedFixedArray> TrustedFixedArray::New(IsolateT* isolate,
uint32_t capacity,
AllocationType allocation) {
DCHECK(allocation == AllocationType::kTrusted ||
allocation == AllocationType::kSharedTrusted);
if (V8_UNLIKELY(capacity > TrustedFixedArray::kMaxLength)) {
base::FatalNoSecurityImpact(
"Fatal JavaScript invalid size error %d (see crbug.com/1201626)",
capacity);
}
// TODO(saelo): once we have trusted read-only roots, we can return the
// empty_trusted_fixed_array here. Currently this isn't possible because the
// (mutable) empty_trusted_fixed_array will be created via this function.
// The same is true for the other trusted-space arrays below.
std::optional<DisallowGarbageCollection> no_gc;
Handle<TrustedFixedArray> result = TrustedCast<TrustedFixedArray>(
Allocate(isolate, capacity, &no_gc, allocation));
MemsetTagged((*result)->RawFieldOfFirstElement(), Smi::zero(), capacity);
return result;
}
// static
template <class IsolateT>
Handle<ProtectedFixedArray> ProtectedFixedArray::New(IsolateT* isolate,
uint32_t capacity) {
if (V8_UNLIKELY(capacity > ProtectedFixedArray::kMaxLength)) {
base::FatalNoSecurityImpact(
"Fatal JavaScript invalid size error %d (see crbug.com/1201626)",
capacity);
}
std::optional<DisallowGarbageCollection> no_gc;
Handle<ProtectedFixedArray> result = TrustedCast<ProtectedFixedArray>(
Allocate(isolate, capacity, &no_gc, AllocationType::kTrusted));
MemsetTagged((*result)->RawFieldOfFirstElement(), Smi::zero(), capacity);
return result;
}
// static
template <class D, class ElementT_, class P>
template <class IsolateT>
Handle<D> TaggedArrayBase<D, ElementT_, P>::Allocate(
IsolateT* isolate, uint32_t capacity,
std::optional<DisallowGarbageCollection>* no_gc_out,
AllocationType allocation, AllocationHint hint) {
// Note 0-capacity is explicitly allowed since not all subtypes can be
// assumed to have canonical 0-capacity instances.
DCHECK_LE(capacity, kMaxCapacity);
DCHECK(!no_gc_out->has_value());
Tagged<D> xs = UncheckedCast<D>(isolate->factory()->AllocateRawArray(
SizeFor(capacity), allocation, hint));
ReadOnlyRoots roots{isolate};
if (DEBUG_BOOL) no_gc_out->emplace();
Tagged<Map> map = Cast<Map>(roots.object_at(D::kMapRootIndex));
DCHECK(ReadOnlyHeap::Contains(map));
xs->set_map_after_allocation(isolate, map, SKIP_WRITE_BARRIER);
xs->set_capacity(capacity);
#if TAGGED_SIZE_8_BYTES
if constexpr (requires(D d) { d.clear_optional_padding(); }) {
xs->clear_optional_padding();
}
#endif // TAGGED_SIZE_8_BYTES
return handle(xs, isolate);
}
// static
template <class D, class ElementT_, class P>
constexpr uint32_t TaggedArrayBase<D, ElementT_, P>::NewCapacityForIndex(
uint32_t index, uint32_t old_capacity) {
DCHECK_GE(index, old_capacity);
// Note this is currently based on JSObject::NewElementsCapacity.
uint32_t capacity = old_capacity;
do {
capacity = capacity + (capacity >> 1) + 16;
} while (capacity <= index);
return capacity;
}
inline SafeHeapObjectSize WeakArrayList::capacity() const {
return SafeHeapObjectSize(capacity_);
}
inline SafeHeapObjectSize WeakArrayList::capacity(RelaxedLoadTag) const {
return SafeHeapObjectSize(base::AsAtomic32::Relaxed_Load(&capacity_));
}
inline SafeHeapObjectSize WeakArrayList::length() const {
return SafeHeapObjectSize(length_);
}
inline SafeHeapObjectSize WeakArrayList::ulength() const { return length(); }
inline void WeakArrayList::set_length(uint32_t value) { length_ = value; }
bool FixedArray::is_the_hole(Isolate* isolate, uint32_t index) {
return IsTheHole(get(index));
}
void FixedArray::set_the_hole(Isolate* isolate, uint32_t index) {
set_the_hole(ReadOnlyRoots(isolate), index);
}
void FixedArray::set_the_hole(ReadOnlyRoots ro_roots, uint32_t index) {
set(index, ro_roots.the_hole_value(), SKIP_WRITE_BARRIER);
}
void FixedArray::FillWithHoles(uint32_t from, uint32_t to) {
ReadOnlyRoots roots = GetReadOnlyRoots();
for (uint32_t i = from; i < to; i++) {
set(i, roots.the_hole_value(), SKIP_WRITE_BARRIER);
}
}
void FixedArray::MoveElements(Isolate* isolate, uint32_t dst_index,
uint32_t src_index, uint32_t len,
WriteBarrierMode mode) {
MoveElements(isolate, this, dst_index, this, src_index, len, mode);
}
void FixedArray::CopyElements(Isolate* isolate, uint32_t dst_index,
Tagged<FixedArray> src, uint32_t src_index,
uint32_t len, WriteBarrierMode mode) {
CopyElements(isolate, this, dst_index, src, src_index, len, mode);
}
// static
Handle<FixedArray> FixedArray::Resize(Isolate* isolate,
DirectHandle<FixedArray> xs,
uint32_t new_capacity,
AllocationType allocation,
WriteBarrierMode mode) {
Handle<FixedArray> ys = New(isolate, new_capacity, allocation);
const uint32_t elements_to_copy =
std::min(new_capacity, xs->capacity().value());
FixedArray::CopyElements(isolate, *ys, 0, *xs, 0, elements_to_copy, mode);
return ys;
}
inline int WeakArrayList::AllocatedSize() const {
// TODO(375937549): Convert to uint32_t.
return SizeFor(static_cast<int>(capacity(kRelaxedLoad).value()));
}
// static
template <class IsolateT>
Handle<WeakFixedArray> WeakFixedArray::New(
IsolateT* isolate, uint32_t capacity, AllocationType allocation,
MaybeDirectHandle<Object> initial_value) {
CHECK_LE(capacity, kMaxCapacity);
if (V8_UNLIKELY(capacity == 0)) {
return isolate->roots_table().empty_weak_fixed_array();
}
std::optional<DisallowGarbageCollection> no_gc;
Handle<WeakFixedArray> result =
Cast<WeakFixedArray>(Allocate(isolate, capacity, &no_gc, allocation));
ReadOnlyRoots roots{isolate};
MemsetTagged((*result)->RawFieldOfFirstElement(),
initial_value.is_null() ? roots.undefined_value()
: *initial_value.ToHandleChecked(),
capacity);
return result;
}
template <class IsolateT>
Handle<WeakHomomorphicFixedArray> WeakHomomorphicFixedArray::New(
IsolateT* isolate, uint32_t capacity, AllocationType allocation,
MaybeDirectHandle<Object> initial_value) {
CHECK_LE(capacity, kMaxCapacity);
DCHECK_NE(capacity, 0);
std::optional<DisallowGarbageCollection> no_gc;
Handle<WeakHomomorphicFixedArray> result = Cast<WeakHomomorphicFixedArray>(
Allocate(isolate, capacity, &no_gc, allocation));
ReadOnlyRoots roots{isolate};
MemsetTagged((*result)->RawFieldOfFirstElement(),
initial_value.is_null() ? roots.undefined_value()
: *initial_value.ToHandleChecked(),
capacity);
return result;
}
template <class IsolateT>
Handle<TrustedWeakFixedArray> TrustedWeakFixedArray::New(IsolateT* isolate,
uint32_t capacity) {
if (V8_UNLIKELY(capacity > TrustedFixedArray::kMaxLength)) {
base::FatalNoSecurityImpact(
"Fatal JavaScript invalid size error %d (see crbug.com/1201626)",
capacity);
}
std::optional<DisallowGarbageCollection> no_gc;
Handle<TrustedWeakFixedArray> result = TrustedCast<TrustedWeakFixedArray>(
Allocate(isolate, capacity, &no_gc, AllocationType::kTrusted));
MemsetTagged((*result)->RawFieldOfFirstElement(), Smi::zero(), capacity);
return result;
}
template <class IsolateT>
Handle<ProtectedWeakFixedArray> ProtectedWeakFixedArray::New(
IsolateT* isolate, uint32_t capacity) {
if (V8_UNLIKELY(capacity > TrustedFixedArray::kMaxLength)) {
base::FatalNoSecurityImpact(
"Fatal JavaScript invalid size error %d (see crbug.com/1201626)",
capacity);
}
std::optional<DisallowGarbageCollection> no_gc;
Handle<ProtectedWeakFixedArray> result = TrustedCast<ProtectedWeakFixedArray>(
Allocate(isolate, capacity, &no_gc, AllocationType::kTrusted));
MemsetTagged((*result)->RawFieldOfFirstElement(), Smi::zero(), capacity);
return result;
}
Tagged<MaybeObject> WeakArrayList::Get(uint32_t index) const {
return get(index);
}
void WeakArrayList::Set(uint32_t index, Tagged<MaybeObject> value,
WriteBarrierMode mode) {
set(index, value, kRelaxedStore, mode);
}
void WeakArrayList::Set(uint32_t index, Tagged<Smi> value) {
Set(index, value, SKIP_WRITE_BARRIER);
}
void WeakArrayList::CopyElements(Isolate* isolate, uint32_t dst_index,
Tagged<WeakArrayList> src, uint32_t src_index,
uint32_t len, WriteBarrierMode mode) {
Super::CopyElements(isolate, this, dst_index, src, src_index, len, mode);
}
Tagged<HeapObject> WeakArrayList::Iterator::Next() {
if (!array_.is_null()) {
const uint32_t array_len = array_->length().value();
while (index_ < array_len) {
Tagged<MaybeObject> item = array_->Get(index_++);
DCHECK(item.IsWeakOrCleared());
if (!item.IsCleared()) return item.GetHeapObjectAssumeWeak();
}
array_ = Tagged<WeakArrayList>();
}
return Tagged<HeapObject>();
}
int ArrayList::length() const {
DCHECK_LE(length_, kMaxInt);
return static_cast<int>(length_);
}
SafeHeapObjectSize ArrayList::ulength() const {
return SafeHeapObjectSize(static_cast<uint32_t>(length()));
}
void ArrayList::set_length(uint32_t value) { length_ = value; }
// static
template <class IsolateT>
DirectHandle<ArrayList> ArrayList::New(IsolateT* isolate, uint32_t capacity,
AllocationType allocation) {
if (capacity == 0) return isolate->roots_table().empty_array_list();
DCHECK_LE(capacity, kMaxCapacity);
std::optional<DisallowGarbageCollection> no_gc;
DirectHandle<ArrayList> result =
Cast<ArrayList>(Allocate(isolate, capacity, &no_gc, allocation));
result->set_length(0);
ReadOnlyRoots roots{isolate};
MemsetTagged(result->RawFieldOfFirstElement(), roots.undefined_value(),
capacity);
return result;
}
} // namespace v8::internal
#include "src/objects/object-macros-undef.h"
#endif // V8_OBJECTS_FIXED_ARRAY_INL_H_