Mercurial > hg > graal-jvmci-8
diff graal/com.oracle.truffle.object/src/com/oracle/truffle/object/DynamicObjectImpl.java @ 18408:2c3666f44855
Truffle: initial commit of object API implementation
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Tue, 18 Nov 2014 23:19:43 +0100 |
parents | |
children | 8d8523ed37e3 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.object/src/com/oracle/truffle/object/DynamicObjectImpl.java Tue Nov 18 23:19:43 2014 +0100 @@ -0,0 +1,363 @@ +/* + * 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.object.*; +import com.oracle.truffle.object.Locations.ValueLocation; +import com.oracle.truffle.object.debug.*; + +public abstract class DynamicObjectImpl implements DynamicObject, 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(); + } + + 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); + } + + 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) + */ + 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) { + Shape fromShape = fromObject.getShape(); + Shape toShape = getShape(); + assert toShape.isRelated(ancestor); + assert toShape.isValid(); + assert ancestor.isValid(); + for (; toShape != ancestor; toShape = toShape.getParent()) { + Property toProperty = toShape.getLastProperty(); + // assumption: hidden properties won't change and don't need copying + if (!toProperty.isHidden()) { + assert fromShape.hasProperty(toProperty.getKey()); + 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.getLastProperty() == fromProperty) { + // no property is looked up twice, so we can skip over to parent + fromShape = fromShape.getParent(); + } + } + } + } + + @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; + } + } + + @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); + } + + @TruffleBoundary + public Object get(Object id, Object defaultValue) { + Property existing = getShape().getProperty(id); + if (existing != null) { + return existing.get(this, false); + } else { + return defaultValue; + } + } + + @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; + } + } + + @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); + } + } + + @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); + } + } + + @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; + } + } + + public int size() { + return getShape().getPropertyCount(); + } + + public boolean isEmpty() { + return size() == 0; + } + + public final boolean updateShape() { + return getShape().getLayout().getStrategy().updateShape(this); + } + + private static void trackObject(DynamicObject obj) { + ShapeProfiler.getInstance().track(obj); + } +}