Eine aufbereitete Darstellung der Quelle
Stufen
Anforderungen
|
Konzepte
|
Entwurf
|
Entwicklung
|
Qualitätssicherung
|
Lebenszyklus
|
Steuerung
Ziele
Untersuchung
mit Columbo
Integrität von
Datenbanken
Interaktion und
Portierbarkeit
Ergonomie der
Schnittstellen
Angebot
Produkte
Projekt
Beratung
Mittel
Analytik
Modellierung
Sprachen
Algebra
Logik
Hardware
Denken
Kreativität
Zusammenhänge
Gesellschaft
Wirtschaft
Branche
Firma
Benutzer
products
/
Sources
/
formale Sprachen
/
C
/
Firefox
/
devtools
/
client
/
themes
/
images
/ (
Firefox Browser
Version 153.0.1
©
) Datei vom 27.6.2026 mit Größe 661 B
Bilddatei
AllocKind.h
products/Sources/formale Sprachen/C/Firefox/js/src/gc/AllocKind.h
/* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ /* * GC-internal definition of GC cell kinds. */ #ifndef gc_AllocKind_h #define gc_AllocKind_h #include "mozilla/EnumeratedArray.h" #include "mozilla/EnumeratedRange.h" #include
#include "js/TraceKind.h" class JSDependentString; class JSExternalString; class JSFatInlineString; class JSLinearString; class JSRope; class JSThinInlineString; namespace js { class CompactPropMap; class FatInlineAtom; class ThinInlineAtom; class NormalAtom; class NormalPropMap; class DictionaryPropMap; class DictionaryShape; class SharedShape; class ProxyShape; class WasmGCShape; namespace gc { // The GC allocation kinds. // // These are defined by macros which enumerate the different allocation kinds // and supply the following information: // // - the corresponding AllocKind // - their JS::TraceKind // - their C++ base type // - a C++ type of the correct size // - their FinalizeKind (see above) // - whether they can be allocated in the nursery (this is true for foreground // finalized objects but these will can only actually be allocated in the // nursery if JSCLASS_SKIP_NURSERY_FINALIZE is set) // - whether they can be compacted // clang-format off #define FOR_EACH_OBJECT_ALLOCKIND(D) \ /* AllocKind TraceKind TypeName SizedType Finalize Nursery Compact */ \ D(FUNCTION, Object, JSObject, JSObject_Slots4, None, true, true) \ D(FUNCTION_EXTENDED, Object, JSObject, JSObject_Slots7, None, true, true) \ D(OBJECT0, Object, JSObject, JSObject_Slots0, None, true, true) \ D(OBJECT0_FOREGROUND, Object, JSObject, JSObject_Slots0, Foreground, true, true) \ D(OBJECT0_BACKGROUND, Object, JSObject, JSObject_Slots0, Background, true, true) \ D(OBJECT2, Object, JSObject, JSObject_Slots2, None, true, true) \ D(OBJECT2_FOREGROUND, Object, JSObject, JSObject_Slots2, Foreground, true, true) \ D(OBJECT2_BACKGROUND, Object, JSObject, JSObject_Slots2, Background, true, true) \ D(ARRAYBUFFER4, Object, JSObject, JSObject_Slots4, Background, true, true) \ D(OBJECT4, Object, JSObject, JSObject_Slots4, None, true, true) \ D(OBJECT4_FOREGROUND, Object, JSObject, JSObject_Slots4, Foreground, true, true) \ D(OBJECT4_BACKGROUND, Object, JSObject, JSObject_Slots4, Background, true, true) \ D(ARRAYBUFFER6, Object, JSObject, JSObject_Slots6, Background, true, true) \ D(OBJECT6, Object, JSObject, JSObject_Slots6, None, true, true) \ D(OBJECT6_FOREGROUND, Object, JSObject, JSObject_Slots6, Foreground, true, true) \ D(OBJECT6_BACKGROUND, Object, JSObject, JSObject_Slots6, Background, true, true) \ D(ARRAYBUFFER8, Object, JSObject, JSObject_Slots8, Background, true, true) \ D(OBJECT8, Object, JSObject, JSObject_Slots8, None, true, true) \ D(OBJECT8_FOREGROUND, Object, JSObject, JSObject_Slots8, Foreground, true, true) \ D(OBJECT8_BACKGROUND, Object, JSObject, JSObject_Slots8, Background, true, true) \ D(ARRAYBUFFER12, Object, JSObject, JSObject_Slots12, Background, true, true) \ D(OBJECT12, Object, JSObject, JSObject_Slots12, None, true, true) \ D(OBJECT12_FOREGROUND, Object, JSObject, JSObject_Slots12, Foreground, true, true) \ D(OBJECT12_BACKGROUND, Object, JSObject, JSObject_Slots12, Background, true, true) \ D(ARRAYBUFFER16, Object, JSObject, JSObject_Slots16, Background, true, true) \ D(OBJECT16, Object, JSObject, JSObject_Slots16, None, true, true) \ D(OBJECT16_FOREGROUND, Object, JSObject, JSObject_Slots16, Foreground, true, true) \ D(OBJECT16_BACKGROUND, Object, JSObject, JSObject_Slots16, Background, true, true) #define FOR_EACH_NONOBJECT_NONNURSERY_ALLOCKIND(D) \ /* AllocKind TraceKind TypeName SizedType Finalize Nursery Compact */ \ D(SCRIPT, Script, js::BaseScript, js::BaseScript, Foreground, false, true) \ D(SHAPE, Shape, js::Shape, js::SizedShape, Background, false, true) \ D(BASE_SHAPE, BaseShape, js::BaseShape, js::BaseShape, None, false, true) \ D(GETTER_SETTER, GetterSetter, js::GetterSetter, js::GetterSetter, None, true, true) \ D(COMPACT_PROP_MAP, PropMap, js::CompactPropMap, js::CompactPropMap, Background, false, true) \ D(NORMAL_PROP_MAP, PropMap, js::NormalPropMap, js::NormalPropMap, Background, false, true) \ D(DICT_PROP_MAP, PropMap, js::DictionaryPropMap, js::DictionaryPropMap, Background, false, true) \ D(EXTERNAL_STRING, String, JSExternalString, JSExternalString, Background, false, true) \ D(FAT_INLINE_ATOM, String, js::FatInlineAtom, js::FatInlineAtom, None, false, false) \ D(ATOM, String, js::NormalAtom, js::NormalAtom, Background, false, false) \ D(SYMBOL, Symbol, JS::Symbol, JS::Symbol, None, false, false) \ D(JITCODE, JitCode, js::jit::JitCode, js::jit::JitCode, Foreground, false, false) \ D(SCOPE, Scope, js::Scope, js::Scope, None, false, true) \ D(REGEXP_SHARED, RegExpShared, js::RegExpShared, js::RegExpShared, Background, false, true) #define FOR_EACH_NONOBJECT_NURSERY_ALLOCKIND(D) \ /* AllocKind TraceKind TypeName SizedType Finalize Nursery Compact */ \ D(BIGINT, BigInt, JS::BigInt, JS::BigInt, None, true, true) #define FOR_EACH_NURSERY_STRING_ALLOCKIND(D) \ /* AllocKind TraceKind TypeName SizedType Finalize Nursery Compact */ \ D(FAT_INLINE_STRING, String, JSFatInlineString, JSFatInlineString, None, true, true) \ D(STRING, String, JSString, JSString, Background, true, true) #define FOR_EACH_NONOBJECT_NONBUFFER_ALLOCKIND(D) \ FOR_EACH_NONOBJECT_NONNURSERY_ALLOCKIND(D) \ FOR_EACH_NONOBJECT_NURSERY_ALLOCKIND(D) \ FOR_EACH_NURSERY_STRING_ALLOCKIND(D) #define FOR_EACH_ALLOCKIND(D) \ FOR_EACH_OBJECT_ALLOCKIND(D) \ FOR_EACH_NONOBJECT_NONBUFFER_ALLOCKIND(D) #define DEFINE_ALLOC_KIND(allocKind, _1, _2, _3, _4, _5, _6) allocKind, enum class AllocKind : uint8_t { // clang-format off FOR_EACH_OBJECT_ALLOCKIND(DEFINE_ALLOC_KIND) OBJECT_LIMIT, OBJECT_LAST = OBJECT_LIMIT - 1, FOR_EACH_NONOBJECT_NONBUFFER_ALLOCKIND(DEFINE_ALLOC_KIND) LIMIT, LAST = LIMIT - 1, INVALID = LIMIT, FIRST = 0, OBJECT_FIRST = FUNCTION, // Hardcoded to first object kind. // clang-format on }; #undef DEFINE_ALLOC_KIND static_assert(int(AllocKind::FIRST) == 0, "Various places depend on AllocKind starting at 0"); static_assert(int(AllocKind::OBJECT_FIRST) == 0, "OBJECT_FIRST must be defined as the first object kind"); constexpr size_t AllocKindCount = size_t(AllocKind::LIMIT); /* * A flag specifying either the tenured heap or a default heap (which may be * either the nursery or the tenured heap). * * This allows an allocation site to request a heap based upon the estimated * lifetime or lifetime requirements of objects allocated from that site. * * Order is important as these are numerically compared. */ enum class Heap : uint8_t { Default = 0, Tenured = 1 }; enum class FinalizeKind { // Cells are not finalized. Arenas containing these cells are swept on a // background thread. None = 0, // Requires foreground finalization. May have client-supplied finalizer. Foreground, // Does not require foreground finalization but is non-trivial. May have // client-supplied finalizer. Finalized on a background thread. Background }; constexpr bool IsAllocKind(AllocKind kind) { return kind >= AllocKind::FIRST && kind <= AllocKind::LIMIT; } constexpr bool IsValidAllocKind(AllocKind kind) { return kind >= AllocKind::FIRST && kind <= AllocKind::LAST; } const char* AllocKindName(AllocKind kind); constexpr bool IsObjectAllocKind(AllocKind kind) { return kind >= AllocKind::OBJECT_FIRST && kind <= AllocKind::OBJECT_LAST; } constexpr bool IsShapeAllocKind(AllocKind kind) { return kind == AllocKind::SHAPE; } // Returns a sequence for use in a range-based for loop, // to iterate over all alloc kinds. constexpr auto AllAllocKinds() { return mozilla::MakeEnumeratedRange(AllocKind::FIRST, AllocKind::LIMIT); } // Returns a sequence for use in a range-based for loop, // to iterate over all object alloc kinds. constexpr auto ObjectAllocKinds() { return mozilla::MakeEnumeratedRange(AllocKind::OBJECT_FIRST, AllocKind::OBJECT_LIMIT); } // Returns a sequence for use in a range-based for loop, // to iterate over alloc kinds from |first| to |limit|, exclusive. constexpr auto SomeAllocKinds(AllocKind first = AllocKind::FIRST, AllocKind limit = AllocKind::LIMIT) { MOZ_ASSERT(IsAllocKind(first), "|first| is not a valid AllocKind!"); MOZ_ASSERT(IsAllocKind(limit), "|limit| is not a valid AllocKind!"); return mozilla::MakeEnumeratedRange(first, limit); } // AllAllocKindArray
gives an enumerated array of ValueTypes, // with each index corresponding to a particular alloc kind. template
using AllAllocKindArray = mozilla::EnumeratedArray
; // ObjectAllocKindArray
gives an enumerated array of ValueTypes, // with each index corresponding to a particular object alloc kind. template
using ObjectAllocKindArray = mozilla::EnumeratedArray
; /* * Map from C++ type to alloc kind for non-object types. JSObject does not have * a 1:1 mapping, so must use Arena::thingSize. * * The AllocKind is available as MapTypeToAllocKind
::kind. * * There are specializations for strings and shapes since more than one derived * type shares the same alloc kind. */ template
struct MapTypeToAllocKind {}; #define EXPAND_MAPTYPETOALLOCKIND(allocKind, _1, type, _2, _3, _4, _5) \ template <> \ struct MapTypeToAllocKind
{ \ static const AllocKind kind = AllocKind::allocKind; \ }; FOR_EACH_NONOBJECT_NONBUFFER_ALLOCKIND(EXPAND_MAPTYPETOALLOCKIND) #undef EXPAND_MAPTYPETOALLOCKIND template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::STRING; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::STRING; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::STRING; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::STRING; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::ATOM; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::SHAPE; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::SHAPE; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::SHAPE; }; template <> struct MapTypeToAllocKind
{ static const AllocKind kind = AllocKind::SHAPE; }; constexpr JS::TraceKind MapAllocToTraceKind(AllocKind kind) { constexpr JS::TraceKind map[] = { #define EXPAND_ELEMENT(_1, traceKind, _2, _3, _4, _5, _6) \ JS::TraceKind::traceKind, FOR_EACH_ALLOCKIND(EXPAND_ELEMENT) #undef EXPAND_ELEMENT }; static_assert(std::size(map) == AllocKindCount, "AllocKind-to-TraceKind mapping must be in sync"); return map[size_t(kind)]; } constexpr bool IsNurseryAllocable(AllocKind kind) { MOZ_ASSERT(IsValidAllocKind(kind)); constexpr bool map[] = { #define DEFINE_NURSERY_ALLOCABLE(_1, _2, _3, _4, _5, nursery, _6) nursery, FOR_EACH_ALLOCKIND(DEFINE_NURSERY_ALLOCABLE) #undef DEFINE_NURSERY_ALLOCABLE }; static_assert(std::size(map) == AllocKindCount, "IsNurseryAllocable sanity check"); return map[size_t(kind)]; } constexpr FinalizeKind GetFinalizeKind(AllocKind kind) { MOZ_ASSERT(IsValidAllocKind(kind)); constexpr FinalizeKind map[] = { #define DEFINE_FINALIZE_KIND(_1, _2, _3, _4, finalizeKind, _5, _6) \ FinalizeKind::finalizeKind, FOR_EACH_ALLOCKIND(DEFINE_FINALIZE_KIND) #undef DEFINE_FINALIZE_KIND }; static_assert(std::size(map) == AllocKindCount); return map[size_t(kind)]; } constexpr bool IsFinalizedKind(AllocKind kind) { return GetFinalizeKind(kind) != FinalizeKind::None; } constexpr bool IsForegroundFinalized(AllocKind kind) { return GetFinalizeKind(kind) == FinalizeKind::Foreground; } constexpr bool IsBackgroundFinalized(AllocKind kind) { return GetFinalizeKind(kind) == FinalizeKind::Background; } // Arenas containing cells of kind FinalizeKind::None and // FinalizeKind::Background are swept on a background thread. constexpr bool IsBackgroundSwept(AllocKind kind) { return !IsForegroundFinalized(kind); } constexpr bool IsCompactingKind(AllocKind kind) { MOZ_ASSERT(IsValidAllocKind(kind)); constexpr bool map[] = { #define DEFINE_COMPACTING_KIND(_1, _2, _3, _4, _5, _6, compact) compact, FOR_EACH_ALLOCKIND(DEFINE_COMPACTING_KIND) #undef DEFINE_COMPACTING_KIND }; static_assert(std::size(map) == AllocKindCount, "IsCompactingKind sanity check"); return map[size_t(kind)]; } constexpr bool IsMovableKind(AllocKind kind) { return IsNurseryAllocable(kind) || IsCompactingKind(kind); } } /* namespace gc */ } /* namespace js */ #endif /* gc_AllocKind_h */
2026-10-10
Neuigkeiten
Aktuelles
Motto des Tages
Open Source Software
Quellcodebibliothek
Eigene Quellcodes
Fremde Quellcodes
Suchen
Jenseits des Üblichen ....
Besucherstatistik
Statistik
#Sources=1126438
#Domains=1897691
Impressum
|
Ethik und Gesetz
|
Haftungsausschluß
|
Kontakt
|
Seitenstruktur
|
©
2026 JDD
|
