Mercurial > hg > graal-compiler
view graal/com.oracle.truffle.object/src/com/oracle/truffle/object/DynamicObjectImpl.java @ 19741:b53f87e24a7b
Truffle: deactivate assertion that is cause performance problems
author | Christian Wirth <christian.wirth@oracle.com> |
---|---|
date | Tue, 10 Mar 2015 09:22:10 +0100 |
parents | 723142fed324 |
children | 5f3dda39d205 |
line wrap: on
line source
/* * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.truffle.object; import java.util.*; import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary; import com.oracle.truffle.api.interop.*; import com.oracle.truffle.api.object.*; import com.oracle.truffle.object.Locations.ValueLocation; import com.oracle.truffle.object.debug.*; public abstract class DynamicObjectImpl extends DynamicObject implements Cloneable { private ShapeImpl shape; public static final DebugCounter reshapeCount = DebugCounter.create("Reshape count"); public DynamicObjectImpl(Shape shape) { assert shape instanceof ShapeImpl; initialize(shape); setShape(shape); if (ObjectStorageOptions.Profile) { trackObject(this); } } public Object getTypeIdentifier() { return getShape(); } @Override public ShapeImpl getShape() { return shape; } protected void setShape(Shape shape) { assert shape.getLayout().getType().isInstance(this); this.shape = (ShapeImpl) shape; } protected abstract void initialize(Shape initialShape); public final void setShapeAndResize(Shape newShape) { setShapeAndResize(getShape(), newShape); } @Override public final void setShapeAndResize(Shape oldShape, Shape newShape) { assert getShape() == oldShape : "wrong old shape"; if (oldShape != newShape) { setShape(newShape); resizeStore(oldShape, newShape); assert checkExtensionArrayInvariants(newShape); } } /** * Set shape to an immediate child of the current shape, optionally growing the extension array. * Typically this would add a single property. Cannot shrink or grow more than one property at a * time. * * @see #setShapeAndResize(Shape, Shape) */ @Override public final void setShapeAndGrow(Shape oldShape, Shape newShape) { assert getShape() == oldShape : "wrong old shape"; if (oldShape != newShape) { assert checkSetShape(oldShape, newShape); setShape(newShape); growStore(oldShape, newShape); assert checkExtensionArrayInvariants(newShape); } } /** * Simpler version of {@link #resizeStore} when the object is only increasing in size. */ private void growStore(Shape oldShape, Shape newShape) { growObjectStore(oldShape, newShape); if (((ShapeImpl) newShape).hasPrimitiveArray) { growPrimitiveStore(oldShape, newShape); } } protected abstract void growObjectStore(Shape oldShape, Shape newShape); protected abstract void growPrimitiveStore(Shape oldShape, Shape newShape); private void resizeStore(Shape oldShape, Shape newShape) { resizeObjectStore(oldShape, newShape); if (((ShapeImpl) newShape).hasPrimitiveArray) { resizePrimitiveStore(oldShape, newShape); } } protected abstract void resizePrimitiveStore(Shape oldShape, Shape newShape); protected abstract void resizeObjectStore(Shape oldShape, Shape newShape); /** * Check whether fast transition is valid. * * @see #setShapeAndGrow */ private boolean checkSetShape(Shape oldShape, Shape newShape) { Shape currentShape = getShape(); assert oldShape != newShape : "Wrong old shape assumption?"; assert newShape != currentShape : "Redundant shape change? shape=" + currentShape; // assert oldShape == currentShape || (oldShape.getLastProperty() == ((EnterpriseLayout) // oldShape.getLayout()).getPrimitiveArrayProperty() && oldShape.getParent() == // currentShape) : "Out-of-order shape change?" + "\nparentShape=" + currentShape + // "\noldShape=" + oldShape + "\nnewShape=" + newShape; return true; } /** * Check whether the extension arrays are in accordance with the description in the shape. */ protected abstract boolean checkExtensionArrayInvariants(Shape newShape); @Override protected final DynamicObject clone() { try { return (DynamicObject) super.clone(); } catch (CloneNotSupportedException e) { throw new IllegalStateException(); } } protected abstract DynamicObject cloneWithShape(Shape currentShape); void reshapeAfterDelete(final Shape newShape, final Shape deletedParentShape) { DynamicObject original = this.cloneWithShape(getShape()); setShapeAndResize(newShape); copyProperties(original, deletedParentShape); } public final void copyProperties(DynamicObject fromObject, Shape ancestor) { ShapeImpl fromShape = (ShapeImpl) fromObject.getShape(); ShapeImpl toShape = getShape(); assert toShape.isRelated(ancestor); assert toShape.isValid(); assert ancestor.isValid(); for (; toShape != ancestor; toShape = toShape.getParent()) { Transition transitionFromParent = toShape.getTransitionFromParent(); if (transitionFromParent instanceof Transition.AddPropertyTransition) { Property toProperty = ((Transition.AddPropertyTransition) transitionFromParent).getProperty(); Property fromProperty = fromShape.getProperty(toProperty.getKey()); // copy only if property has a location and it's not the same as the source location if (toProperty.getLocation() != null && !(toProperty.getLocation() instanceof ValueLocation) && !toProperty.getLocation().equals(fromProperty.getLocation())) { toProperty.setInternal(this, fromProperty.get(fromObject, false)); assert toShape.isValid(); } if (fromShape.getTransitionFromParent() instanceof Transition.AddPropertyTransition && ((Transition.AddPropertyTransition) fromShape.getTransitionFromParent()).getProperty() == fromProperty) { // no property is looked up twice, so we can skip over to parent fromShape = fromShape.getParent(); } } } } @Override @TruffleBoundary public boolean changeFlags(Object id, int newFlags) { Shape oldShape = getShape(); Property existing = oldShape.getProperty(id); if (existing != null) { if (existing.getFlags() != newFlags) { Property newProperty = existing.copyWithFlags(newFlags); Shape newShape = oldShape.replaceProperty(existing, newProperty); this.setShape(newShape); } return true; } else { return false; } } @Override @TruffleBoundary public boolean changeFlags(Object id, FlagsFunction updateFunction) { Shape oldShape = getShape(); Property existing = oldShape.getProperty(id); if (existing != null) { Integer newFlags = updateFunction.apply(existing.getFlags()); if (newFlags != null && existing.getFlags() != newFlags.intValue()) { Property newProperty = existing.copyWithFlags(newFlags); Shape newShape = oldShape.replaceProperty(existing, newProperty); this.setShape(newShape); } return true; } else { return false; } } public String debugDump(int level) { return debugDump(0, level); } public String debugDump(int level, int levelStop) { List<Property> properties = this.getShape().getPropertyListInternal(true); StringBuilder sb = new StringBuilder(properties.size() * 10); sb.append("{\n"); for (Property property : properties) { indent(sb, level + 1); sb.append(property.getKey()); sb.append('[').append(property.getLocation()).append(']'); Object value = property.get(this, false); if (value instanceof DynamicObjectImpl) { if (level < levelStop) { value = ((DynamicObjectImpl) value).debugDump(level + 1, levelStop); } else { value = value.toString(); } } sb.append(": "); sb.append(value); if (property != properties.get(properties.size() - 1)) { sb.append(","); } sb.append("\n"); } indent(sb, level); sb.append("}"); return sb.toString(); } private static StringBuilder indent(StringBuilder sb, int level) { for (int i = 0; i < level; i++) { sb.append(' '); } return sb; } @Override public String toString() { return getShape().getObjectType().toString(this); } @Override public boolean equals(Object obj) { return getShape().getObjectType().equals(this, obj); } @Override public int hashCode() { return getShape().getObjectType().hashCode(this); } @Override @TruffleBoundary public Object get(Object id, Object defaultValue) { Property existing = getShape().getProperty(id); if (existing != null) { return existing.get(this, false); } else { return defaultValue; } } @Override @TruffleBoundary public boolean set(Object id, Object value) { Property existing = getShape().getProperty(id); if (existing != null) { existing.setGeneric(this, value, null); return true; } else { return false; } } @Override @TruffleBoundary public void define(Object id, Object value, int flags) { ShapeImpl oldShape = getShape(); Property existing = oldShape.getProperty(id); if (existing == null) { updateShape(); oldShape = getShape(); Shape newShape = oldShape.addProperty(Property.create(id, oldShape.allocator().locationForValue(value, true, true), flags)); updateShape(); newShape.getLastProperty().setGeneric(this, value, oldShape, newShape); } else { defineExisting(id, value, flags, existing, oldShape); } } private void defineExisting(Object id, Object value, int flags, Property existing, ShapeImpl oldShape) { if (existing.getFlags() == flags) { existing.setGeneric(this, value, null); } else { Property newProperty = Property.create(id, oldShape.getLayout().existingLocationForValue(value, existing.getLocation(), oldShape), flags); Shape newShape = oldShape.replaceProperty(existing, newProperty); this.setShapeAndResize(newShape); newProperty.setInternal(this, value); } } @Override @TruffleBoundary public void define(Object id, Object value, int flags, LocationFactory locationFactory) { ShapeImpl oldShape = getShape(); Property existing = oldShape.getProperty(id); if (existing == null) { updateShape(); oldShape = getShape(); Shape newShape = oldShape.addProperty(Property.create(id, locationFactory.createLocation(oldShape, value), flags)); updateShape(); newShape.getLastProperty().setGeneric(this, value, oldShape, newShape); } else { defineExisting(id, value, flags, existing, oldShape); } } @Override @TruffleBoundary public boolean delete(Object id) { ShapeImpl oldShape = getShape(); Property existing = oldShape.getProperty(id); if (existing != null) { ShapeImpl newShape = oldShape.removeProperty(existing); this.reshapeAfterDelete(newShape, ShapeImpl.findCommonAncestor(oldShape, newShape)); // TODO ancestor should be the parent of found property's shape return true; } else { return false; } } @Override public int size() { return getShape().getPropertyCount(); } @Override public boolean isEmpty() { return size() == 0; } @Override public final boolean updateShape() { return getShape().getLayout().getStrategy().updateShape(this); } private static void trackObject(DynamicObject obj) { ShapeProfiler.getInstance().track(obj); } public ForeignAccessFactory getForeignAccessFactory() { return getShape().getForeignAccessFactory(); } }