summaryrefslogtreecommitdiffstats
path: root/js/src/vm/ShapeZone.h
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-19 01:47:29 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-19 01:47:29 +0000
commit0ebf5bdf043a27fd3dfb7f92e0cb63d88954c44d (patch)
treea31f07c9bcca9d56ce61e9a1ffd30ef350d513aa /js/src/vm/ShapeZone.h
parentInitial commit. (diff)
downloadfirefox-esr-0ebf5bdf043a27fd3dfb7f92e0cb63d88954c44d.tar.xz
firefox-esr-0ebf5bdf043a27fd3dfb7f92e0cb63d88954c44d.zip
Adding upstream version 115.8.0esr.upstream/115.8.0esr
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/vm/ShapeZone.h')
-rw-r--r--js/src/vm/ShapeZone.h244
1 files changed, 244 insertions, 0 deletions
diff --git a/js/src/vm/ShapeZone.h b/js/src/vm/ShapeZone.h
new file mode 100644
index 0000000000..72abfbf1fb
--- /dev/null
+++ b/js/src/vm/ShapeZone.h
@@ -0,0 +1,244 @@
+/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
+ * vim: set ts=8 sts=2 et sw=2 tw=80:
+ * 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/. */
+
+#ifndef vm_ShapeZone_h
+#define vm_ShapeZone_h
+
+#include "mozilla/MemoryReporting.h"
+
+#include "gc/Barrier.h"
+#include "js/GCHashTable.h"
+#include "vm/PropertyKey.h"
+#include "vm/PropMap.h"
+#include "vm/Shape.h"
+#include "vm/TaggedProto.h"
+
+namespace js {
+
+// Hash policy for the per-zone baseShapes set.
+struct BaseShapeHasher {
+ struct Lookup {
+ const JSClass* clasp;
+ JS::Realm* realm;
+ TaggedProto proto;
+
+ Lookup(const JSClass* clasp, JS::Realm* realm, TaggedProto proto)
+ : clasp(clasp), realm(realm), proto(proto) {}
+ };
+
+ static HashNumber hash(const Lookup& lookup) {
+ HashNumber hash = StableCellHasher<TaggedProto>::hash(lookup.proto);
+ return mozilla::AddToHash(hash, lookup.clasp, lookup.realm);
+ }
+ static bool match(const WeakHeapPtr<BaseShape*>& key, const Lookup& lookup) {
+ return key.unbarrieredGet()->clasp() == lookup.clasp &&
+ key.unbarrieredGet()->realm() == lookup.realm &&
+ key.unbarrieredGet()->proto() == lookup.proto;
+ }
+};
+using BaseShapeSet = JS::WeakCache<
+ JS::GCHashSet<WeakHeapPtr<BaseShape*>, BaseShapeHasher, SystemAllocPolicy>>;
+
+// Hash policy for the per-zone initialPropMaps set, mapping property key + info
+// to a shared property map.
+struct InitialPropMapHasher {
+ struct Lookup {
+ PropertyKey key;
+ PropertyInfo prop;
+
+ Lookup(PropertyKey key, PropertyInfo prop) : key(key), prop(prop) {}
+ };
+ static HashNumber hash(const Lookup& lookup) {
+ HashNumber hash = HashPropertyKey(lookup.key);
+ return mozilla::AddToHash(hash, lookup.prop.toRaw());
+ }
+ static bool match(const WeakHeapPtr<SharedPropMap*>& key,
+ const Lookup& lookup) {
+ const SharedPropMap* map = key.unbarrieredGet();
+ return map->matchProperty(0, lookup.key, lookup.prop);
+ }
+};
+using InitialPropMapSet =
+ JS::WeakCache<JS::GCHashSet<WeakHeapPtr<SharedPropMap*>,
+ InitialPropMapHasher, SystemAllocPolicy>>;
+
+// Helper class to hash information relevant for all shapes.
+struct ShapeBaseHasher {
+ struct Lookup {
+ const JSClass* clasp;
+ JS::Realm* realm;
+ TaggedProto proto;
+ ObjectFlags objectFlags;
+
+ Lookup(const JSClass* clasp, JS::Realm* realm, const TaggedProto& proto,
+ ObjectFlags objectFlags)
+ : clasp(clasp), realm(realm), proto(proto), objectFlags(objectFlags) {}
+ };
+
+ static HashNumber hash(const Lookup& lookup) {
+ HashNumber hash = StableCellHasher<TaggedProto>::hash(lookup.proto);
+ return mozilla::AddToHash(hash, lookup.clasp, lookup.realm,
+ lookup.objectFlags.toRaw());
+ }
+ static bool match(const Shape* shape, const Lookup& lookup) {
+ return lookup.clasp == shape->getObjectClass() &&
+ lookup.realm == shape->realm() && lookup.proto == shape->proto() &&
+ lookup.objectFlags == shape->objectFlags();
+ }
+};
+
+// Hash policy for the per-zone initialShapes set storing initial shapes for
+// objects in the zone.
+//
+// These are empty shapes, except for certain classes (e.g. String, RegExp)
+// which may add certain baked-in properties. See insertInitialShape.
+struct InitialShapeHasher {
+ struct Lookup : public ShapeBaseHasher::Lookup {
+ uint32_t nfixed;
+
+ Lookup(const JSClass* clasp, JS::Realm* realm, const TaggedProto& proto,
+ uint32_t nfixed, ObjectFlags objectFlags)
+ : ShapeBaseHasher::Lookup(clasp, realm, proto, objectFlags),
+ nfixed(nfixed) {}
+ };
+
+ static HashNumber hash(const Lookup& lookup) {
+ HashNumber hash = ShapeBaseHasher::hash(lookup);
+ return mozilla::AddToHash(hash, lookup.nfixed);
+ }
+ static bool match(const WeakHeapPtr<SharedShape*>& key,
+ const Lookup& lookup) {
+ const SharedShape* shape = key.unbarrieredGet();
+ return ShapeBaseHasher::match(shape, lookup) &&
+ lookup.nfixed == shape->numFixedSlots();
+ }
+};
+using InitialShapeSet =
+ JS::WeakCache<JS::GCHashSet<WeakHeapPtr<SharedShape*>, InitialShapeHasher,
+ SystemAllocPolicy>>;
+
+// Hash policy for the per-zone propMapShapes set storing shared shapes with
+// shared property maps.
+struct PropMapShapeHasher {
+ struct Lookup {
+ BaseShape* base;
+ SharedPropMap* map;
+ uint32_t mapLength;
+ uint32_t nfixed;
+ ObjectFlags objectFlags;
+
+ Lookup(BaseShape* base, uint32_t nfixed, SharedPropMap* map,
+ uint32_t mapLength, ObjectFlags objectFlags)
+ : base(base),
+ map(map),
+ mapLength(mapLength),
+ nfixed(nfixed),
+ objectFlags(objectFlags) {}
+ };
+
+ static HashNumber hash(const Lookup& lookup) {
+ return mozilla::HashGeneric(lookup.base, lookup.map, lookup.mapLength,
+ lookup.nfixed, lookup.objectFlags.toRaw());
+ }
+ static bool match(const WeakHeapPtr<SharedShape*>& key,
+ const Lookup& lookup) {
+ const SharedShape* shape = key.unbarrieredGet();
+ return lookup.base == shape->base() &&
+ lookup.nfixed == shape->numFixedSlots() &&
+ lookup.map == shape->propMap() &&
+ lookup.mapLength == shape->propMapLength() &&
+ lookup.objectFlags == shape->objectFlags();
+ }
+ static void rekey(WeakHeapPtr<SharedShape*>& k,
+ const WeakHeapPtr<SharedShape*>& newKey) {
+ k = newKey;
+ }
+};
+using PropMapShapeSet =
+ JS::WeakCache<JS::GCHashSet<WeakHeapPtr<SharedShape*>, PropMapShapeHasher,
+ SystemAllocPolicy>>;
+
+// Hash policy for the per-zone proxyShapes set storing shapes for proxy objects
+// in the zone.
+struct ProxyShapeHasher : public ShapeBaseHasher {
+ static bool match(const WeakHeapPtr<ProxyShape*>& key, const Lookup& lookup) {
+ const ProxyShape* shape = key.unbarrieredGet();
+ return ShapeBaseHasher::match(shape, lookup);
+ }
+};
+using ProxyShapeSet =
+ JS::WeakCache<JS::GCHashSet<WeakHeapPtr<ProxyShape*>, ProxyShapeHasher,
+ SystemAllocPolicy>>;
+
+// Hash policy for the per-zone wasmGCShapes set storing shapes for Wasm GC
+// objects in the zone.
+struct WasmGCShapeHasher : public ShapeBaseHasher {
+ struct Lookup : public ShapeBaseHasher::Lookup {
+ const wasm::RecGroup* recGroup;
+
+ Lookup(const JSClass* clasp, JS::Realm* realm, const TaggedProto& proto,
+ const wasm::RecGroup* recGroup, ObjectFlags objectFlags)
+ : ShapeBaseHasher::Lookup(clasp, realm, proto, objectFlags),
+ recGroup(recGroup) {}
+ };
+
+ static HashNumber hash(const Lookup& lookup) {
+ HashNumber hash = ShapeBaseHasher::hash(lookup);
+ hash = mozilla::AddToHash(hash, lookup.recGroup);
+ return hash;
+ }
+
+ static bool match(const WeakHeapPtr<WasmGCShape*>& key,
+ const Lookup& lookup) {
+ const WasmGCShape* shape = key.unbarrieredGet();
+ return ShapeBaseHasher::match(shape, lookup) &&
+ shape->recGroup() == lookup.recGroup;
+ }
+};
+using WasmGCShapeSet =
+ JS::WeakCache<JS::GCHashSet<WeakHeapPtr<WasmGCShape*>, WasmGCShapeHasher,
+ SystemAllocPolicy>>;
+
+struct ShapeZone {
+ // Set of all base shapes in the Zone.
+ BaseShapeSet baseShapes;
+
+ // Set used to look up a shared property map based on the first property's
+ // PropertyKey and PropertyInfo.
+ InitialPropMapSet initialPropMaps;
+
+ // Set of initial shapes in the Zone.
+ InitialShapeSet initialShapes;
+
+ // Set of SharedPropMapShapes in the Zone.
+ PropMapShapeSet propMapShapes;
+
+ // Set of ProxyShapes in the Zone.
+ ProxyShapeSet proxyShapes;
+
+ // Set of WasmGCShapes in the Zone.
+ WasmGCShapeSet wasmGCShapes;
+
+ using ShapeWithCacheVector = js::Vector<js::Shape*, 0, js::SystemAllocPolicy>;
+ ShapeWithCacheVector shapesWithCache;
+
+ explicit ShapeZone(Zone* zone);
+
+ void purgeShapeCaches(JS::GCContext* gcx);
+
+ void addSizeOfExcludingThis(mozilla::MallocSizeOf mallocSizeOf,
+ size_t* initialPropMapTable, size_t* shapeTables);
+
+ void fixupPropMapShapeTableAfterMovingGC();
+
+#ifdef JSGC_HASH_TABLE_CHECKS
+ void checkTablesAfterMovingGC();
+#endif
+};
+
+} // namespace js
+
+#endif /* vm_ShapeZone_h */