blob: 557f95991f01c9285f75036996d981e20d76af56 [file] [log] [blame]
/*
* Copyright (c) 2014, 2016, 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 org.graalvm.compiler.code;
import static jdk.vm.ci.meta.MetaUtil.identityHashCodeString;
import java.nio.ByteBuffer;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.Objects;
import java.util.function.BiConsumer;
import org.graalvm.compiler.code.DataSection.Data;
import jdk.vm.ci.code.site.DataSectionReference;
import jdk.vm.ci.meta.SerializableConstant;
import jdk.vm.ci.meta.VMConstant;
public final class DataSection implements Iterable<Data> {
public interface Patches {
void registerPatch(VMConstant c);
}
public abstract static class Data {
private int alignment;
private final int size;
private DataSectionReference ref;
protected Data(int alignment, int size) {
this.alignment = alignment;
this.size = size;
// initialized in DataSection.insertData(Data)
ref = null;
}
protected abstract void emit(ByteBuffer buffer, Patches patches);
public void updateAlignment(int newAlignment) {
if (newAlignment == alignment) {
return;
}
alignment = lcm(alignment, newAlignment);
}
public int getAlignment() {
return alignment;
}
public int getSize() {
return size;
}
@Override
public int hashCode() {
// Data instances should not be used as hash map keys
throw new UnsupportedOperationException("hashCode");
}
@Override
public String toString() {
return identityHashCodeString(this);
}
@Override
public boolean equals(Object obj) {
assert ref != null;
if (obj == this) {
return true;
}
if (obj instanceof Data) {
Data that = (Data) obj;
if (this.alignment == that.alignment && this.size == that.size && this.ref.equals(that.ref)) {
return true;
}
}
return false;
}
}
public static final class RawData extends Data {
private final byte[] data;
public RawData(byte[] data, int alignment) {
super(alignment, data.length);
this.data = data;
}
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
buffer.put(data);
}
}
public static final class SerializableData extends Data {
private final SerializableConstant constant;
public SerializableData(SerializableConstant constant) {
this(constant, 1);
}
public SerializableData(SerializableConstant constant, int alignment) {
super(alignment, constant.getSerializedSize());
this.constant = constant;
}
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
int position = buffer.position();
constant.serialize(buffer);
assert buffer.position() - position == constant.getSerializedSize() : "wrong number of bytes written";
}
}
public static class ZeroData extends Data {
protected ZeroData(int alignment, int size) {
super(alignment, size);
}
public static ZeroData create(int alignment, int size) {
switch (size) {
case 1:
return new ZeroData(alignment, size) {
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
buffer.put((byte) 0);
}
};
case 2:
return new ZeroData(alignment, size) {
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
buffer.putShort((short) 0);
}
};
case 4:
return new ZeroData(alignment, size) {
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
buffer.putInt(0);
}
};
case 8:
return new ZeroData(alignment, size) {
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
buffer.putLong(0);
}
};
default:
return new ZeroData(alignment, size);
}
}
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
int rest = getSize();
while (rest > 8) {
buffer.putLong(0L);
rest -= 8;
}
while (rest > 0) {
buffer.put((byte) 0);
rest--;
}
}
}
public static final class PackedData extends Data {
private final Data[] nested;
private PackedData(int alignment, int size, Data[] nested) {
super(alignment, size);
this.nested = nested;
}
public static PackedData create(Data[] nested) {
int size = 0;
int alignment = 1;
for (int i = 0; i < nested.length; i++) {
assert size % nested[i].getAlignment() == 0 : "invalid alignment in packed constants";
alignment = DataSection.lcm(alignment, nested[i].getAlignment());
size += nested[i].getSize();
}
return new PackedData(alignment, size, nested);
}
@Override
protected void emit(ByteBuffer buffer, Patches patches) {
for (Data data : nested) {
data.emit(buffer, patches);
}
}
}
private final ArrayList<Data> dataItems = new ArrayList<>();
private boolean closed;
private int sectionAlignment;
private int sectionSize;
@Override
public int hashCode() {
// DataSection instances should not be used as hash map keys
throw new UnsupportedOperationException("hashCode");
}
@Override
public String toString() {
return identityHashCodeString(this);
}
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (obj instanceof DataSection) {
DataSection that = (DataSection) obj;
if (this.closed == that.closed && this.sectionAlignment == that.sectionAlignment && this.sectionSize == that.sectionSize && Objects.equals(this.dataItems, that.dataItems)) {
return true;
}
}
return false;
}
/**
* Inserts a {@link Data} item into the data section. If the item is already in the data
* section, the same {@link DataSectionReference} is returned.
*
* @param data the {@link Data} item to be inserted
* @return a unique {@link DataSectionReference} identifying the {@link Data} item
*/
public DataSectionReference insertData(Data data) {
checkOpen();
synchronized (data) {
if (data.ref == null) {
data.ref = new DataSectionReference();
dataItems.add(data);
}
return data.ref;
}
}
/**
* Transfers all {@link Data} from the provided other {@link DataSection} to this
* {@link DataSection}, and empties the other section.
*/
public void addAll(DataSection other) {
checkOpen();
other.checkOpen();
for (Data data : other.dataItems) {
assert data.ref != null;
dataItems.add(data);
}
other.dataItems.clear();
}
/**
* Determines if this object has been {@link #close() closed}.
*/
public boolean closed() {
return closed;
}
/**
* Computes the layout of the data section and closes this object to further updates.
*
* This must be called exactly once.
*/
public void close() {
checkOpen();
closed = true;
// simple heuristic: put items with larger alignment requirement first
dataItems.sort((a, b) -> a.alignment - b.alignment);
int position = 0;
int alignment = 1;
for (Data d : dataItems) {
alignment = lcm(alignment, d.alignment);
position = align(position, d.alignment);
d.ref.setOffset(position);
position += d.size;
}
sectionAlignment = alignment;
sectionSize = position;
}
/**
* Gets the size of the data section.
*
* This must only be called once this object has been {@linkplain #closed() closed}.
*/
public int getSectionSize() {
checkClosed();
return sectionSize;
}
/**
* Gets the minimum alignment requirement of the data section.
*
* This must only be called once this object has been {@linkplain #closed() closed}.
*/
public int getSectionAlignment() {
checkClosed();
return sectionAlignment;
}
/**
* Builds the data section into a given buffer.
*
* This must only be called once this object has been {@linkplain #closed() closed}.
*
* @param buffer the {@link ByteBuffer} where the data section should be built. The buffer must
* hold at least {@link #getSectionSize()} bytes.
* @param patch a {@link Patches} instance to receive {@link VMConstant constants} for
* relocations in the data section
*/
public void buildDataSection(ByteBuffer buffer, Patches patch) {
buildDataSection(buffer, patch, (r, s) -> {
});
}
/**
* Builds the data section into a given buffer.
*
* This must only be called once this object has been {@linkplain #closed() closed}. When this
* method returns, the buffers' position is just after the last data item.
*
* @param buffer the {@link ByteBuffer} where the data section should be built. The buffer must
* hold at least {@link #getSectionSize()} bytes.
* @param patch a {@link Patches} instance to receive {@link VMConstant constants} for
* @param onEmit a function that is called before emitting each data item with the
* {@link DataSectionReference} and the size of the data.
*/
public void buildDataSection(ByteBuffer buffer, Patches patch, BiConsumer<DataSectionReference, Integer> onEmit) {
checkClosed();
assert buffer.remaining() >= sectionSize;
int start = buffer.position();
for (Data d : dataItems) {
buffer.position(start + d.ref.getOffset());
onEmit.accept(d.ref, d.getSize());
d.emit(buffer, patch);
}
buffer.position(start + sectionSize);
}
public Data findData(DataSectionReference ref) {
for (Data d : dataItems) {
if (d.ref == ref) {
return d;
}
}
return null;
}
public static void emit(ByteBuffer buffer, Data data, Patches patch) {
data.emit(buffer, patch);
}
@Override
public Iterator<Data> iterator() {
return dataItems.iterator();
}
private static int lcm(int x, int y) {
if (x == 0) {
return y;
} else if (y == 0) {
return x;
}
int a = Math.max(x, y);
int b = Math.min(x, y);
while (b > 0) {
int tmp = a % b;
a = b;
b = tmp;
}
int gcd = a;
return x * y / gcd;
}
private static int align(int position, int alignment) {
return ((position + alignment - 1) / alignment) * alignment;
}
private void checkClosed() {
if (!closed) {
throw new IllegalStateException();
}
}
private void checkOpen() {
if (closed) {
throw new IllegalStateException();
}
}
public void clear() {
checkOpen();
this.dataItems.clear();
this.sectionAlignment = 0;
this.sectionSize = 0;
}
}