src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/RecordingInput.java
author egahlin
Tue, 15 May 2018 20:24:34 +0200
changeset 50113 caf115bb98ad
child 57360 5d043a159d5c
child 58863 c16ac7a2eba4
permissions -rw-r--r--
8199712: Flight Recorder Reviewed-by: coleenp, ihse, erikj, dsamersoff, mseledtsov, egahlin, mgronlun Contributed-by: erik.gahlin@oracle.com, markus.gronlund@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     1
/*
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     2
 * Copyright (c) 2016, 2018, Oracle and/or its affiliates. All rights reserved.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     4
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    10
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    15
 * accompanied this code).
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    16
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    20
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    23
 * questions.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    24
 */
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    25
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    26
package jdk.jfr.internal.consumer;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    27
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    28
import java.io.DataInput;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    29
import java.io.EOFException;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    30
import java.io.File;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    31
import java.io.IOException;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    32
import java.io.RandomAccessFile;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    33
import java.nio.charset.Charset;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    34
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    35
public final class RecordingInput implements DataInput, AutoCloseable {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    36
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    37
    public static final byte STRING_ENCODING_NULL = 0;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    38
    public static final byte STRING_ENCODING_EMPTY_STRING = 1;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    39
    public static final byte STRING_ENCODING_CONSTANT_POOL = 2;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    40
    public static final byte STRING_ENCODING_UTF8_BYTE_ARRAY = 3;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    41
    public static final byte STRING_ENCODING_CHAR_ARRAY = 4;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    42
    public static final byte STRING_ENCODING_LATIN1_BYTE_ARRAY = 5;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    43
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    44
    private final static int DEFAULT_BLOCK_SIZE = 16 * 1024 * 1024;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    45
    private final static Charset UTF8 = Charset.forName("UTF-8");
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    46
    private final static Charset LATIN1 = Charset.forName("ISO-8859-1");
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    47
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    48
    private static final class Block {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    49
        private byte[] bytes = new byte[0];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    50
        private long blockPosition;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    51
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    52
        boolean contains(long position) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    53
            return position >= blockPosition && position < blockPosition + bytes.length;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    54
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    55
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    56
        public void read(RandomAccessFile file, int amount) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    57
            blockPosition = file.getFilePointer();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    58
            // reuse byte array, if possible
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    59
            if (amount != bytes.length) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    60
                bytes = new byte[amount];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    61
            }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    62
            file.readFully(bytes);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    63
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    64
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    65
        public byte get(long position) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    66
            return bytes[(int) (position - blockPosition)];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    67
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    68
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    69
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    70
    private final RandomAccessFile file;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    71
    private final long size;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    72
    private Block currentBlock = new Block();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    73
    private Block previousBlock = new Block();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    74
    private long position;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    75
    private final int blockSize;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    76
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    77
    private RecordingInput(File f, int blockSize) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    78
        this.size = f.length();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    79
        this.blockSize = blockSize;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    80
        this.file = new RandomAccessFile(f, "r");
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    81
        if (size < 8) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    82
            throw new IOException("Not a valid Flight Recorder file. File length is only " + size + " bytes.");
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    83
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    84
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    85
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    86
    public RecordingInput(File f) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    87
        this(f, DEFAULT_BLOCK_SIZE);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    88
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    89
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    90
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    91
    public final byte readByte() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    92
        if (!currentBlock.contains(position)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    93
            position(position);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    94
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    95
        return currentBlock.get(position++);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    96
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    97
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    98
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    99
    public final void readFully(byte[] dest, int offset, int length) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   100
        // TODO: Optimize, use Arrays.copy if all bytes are in current block
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   101
        // array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   102
        for (int i = 0; i < length; i++) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   103
            dest[i + offset] = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   104
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   105
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   106
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   107
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   108
    public final void readFully(byte[] dst) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   109
        readFully(dst, 0, dst.length);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   110
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   111
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   112
    public final short readRawShort() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   113
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   114
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   115
        byte b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   116
        return (short) ((b1 & 0xFF) + (b0 << 8));
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   117
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   118
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   119
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   120
    public final double readDouble() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   121
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   122
        return Double.longBitsToDouble(readRawLong());
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   123
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   124
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   125
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   126
    public final float readFloat() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   127
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   128
        return Float.intBitsToFloat(readRawInt());
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   129
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   130
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   131
    public final int readRawInt() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   132
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   133
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   134
        byte b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   135
        byte b2 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   136
        byte b3 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   137
        return ((b3 & 0xFF)) + ((b2 & 0xFF) << 8) + ((b1 & 0xFF) << 16) + ((b0) << 24);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   138
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   139
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   140
    public final long readRawLong() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   141
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   142
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   143
        byte b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   144
        byte b2 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   145
        byte b3 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   146
        byte b4 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   147
        byte b5 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   148
        byte b6 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   149
        byte b7 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   150
        return ((b7 & 0xFFL)) + ((b6 & 0xFFL) << 8) + ((b5 & 0xFFL) << 16) + ((b4 & 0xFFL) << 24) + ((b3 & 0xFFL) << 32) + ((b2 & 0xFFL) << 40) + ((b1 & 0xFFL) << 48) + (((long) b0) << 56);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   151
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   152
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   153
    public final long position() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   154
        return position;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   155
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   156
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   157
    public final void position(long newPosition) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   158
        if (!currentBlock.contains(newPosition)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   159
            if (!previousBlock.contains(newPosition)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   160
                if (newPosition > size()) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   161
                    throw new EOFException("Trying to read at " + newPosition + ", but file is only " + size() + " bytes.");
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   162
                }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   163
                long blockStart = trimToFileSize(calculateBlockStart(newPosition));
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   164
                file.seek(blockStart);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   165
                // trim amount to file size
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   166
                long amount = Math.min(size() - blockStart, blockSize);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   167
                previousBlock.read(file, (int) amount);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   168
            }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   169
            // swap previous and current
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   170
            Block tmp = currentBlock;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   171
            currentBlock = previousBlock;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   172
            previousBlock = tmp;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   173
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   174
        position = newPosition;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   175
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   176
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   177
    private final long trimToFileSize(long position) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   178
        return Math.min(size(), Math.max(0, position));
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   179
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   180
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   181
    private final long calculateBlockStart(long newPosition) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   182
        // align to end of current block
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   183
        if (currentBlock.contains(newPosition - blockSize)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   184
            return currentBlock.blockPosition + currentBlock.bytes.length;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   185
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   186
        // align before current block
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   187
        if (currentBlock.contains(newPosition + blockSize)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   188
            return currentBlock.blockPosition - blockSize;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   189
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   190
        // not near current block, pick middle
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   191
        return newPosition - blockSize / 2;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   192
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   193
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   194
    public final long size() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   195
        return size;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   196
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   197
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   198
    public final void close() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   199
        file.close();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   200
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   201
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   202
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   203
    public final int skipBytes(int n) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   204
        long position = position();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   205
        position(position + n);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   206
        return (int) (position() - position);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   207
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   208
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   209
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   210
    public final boolean readBoolean() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   211
        return readByte() != 0;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   212
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   213
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   214
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   215
    public int readUnsignedByte() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   216
        return readByte() & 0x00FF;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   217
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   218
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   219
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   220
    public int readUnsignedShort() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   221
        return readShort() & 0xFFFF;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   222
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   223
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   224
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   225
    public final String readLine() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   226
        throw new UnsupportedOperationException();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   227
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   228
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   229
    // NOTE, this method should really be called readString
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   230
    // but can't be renamed without making RecordingInput a
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   231
    // public class.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   232
    //
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   233
    // This method DOES Not read as expected (s2 + utf8 encoded character)
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   234
    // instead it read:
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   235
    // byte encoding
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   236
    // int size
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   237
    // data (byte or char)
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   238
    //
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   239
    // where encoding
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   240
    //
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   241
    // 0, means null
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   242
    // 1, means UTF8 encoded byte array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   243
    // 2, means char array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   244
    // 3, means latin-1 (ISO-8859-1) encoded byte array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   245
    // 4, means ""
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   246
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   247
    public String readUTF() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   248
        return readEncodedString(readByte());
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   249
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   250
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   251
    public String readEncodedString(byte encoding) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   252
        if (encoding == STRING_ENCODING_NULL) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   253
            return null;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   254
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   255
        if (encoding == STRING_ENCODING_EMPTY_STRING) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   256
            return "";
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   257
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   258
        int size = readInt();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   259
        if (encoding == STRING_ENCODING_CHAR_ARRAY) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   260
            char[] c = new char[size];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   261
            for (int i = 0; i < size; i++) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   262
                c[i] = readChar();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   263
            }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   264
            return new String(c);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   265
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   266
        byte[] bytes = new byte[size];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   267
        readFully(bytes); // TODO: optimize, check size, and copy only if needed
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   268
        if (encoding == STRING_ENCODING_UTF8_BYTE_ARRAY) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   269
            return new String(bytes, UTF8);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   270
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   271
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   272
        if (encoding == STRING_ENCODING_LATIN1_BYTE_ARRAY) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   273
            return new String(bytes, LATIN1);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   274
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   275
        throw new IOException("Unknown string encoding " + encoding);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   276
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   277
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   278
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   279
    public char readChar() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   280
        return (char) readLong();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   281
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   282
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   283
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   284
    public short readShort() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   285
        return (short) readLong();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   286
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   287
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   288
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   289
    public int readInt() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   290
        return (int) readLong();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   291
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   292
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   293
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   294
    public long readLong() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   295
        // can be optimized by branching checks, but will do for now
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   296
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   297
        long ret = (b0 & 0x7FL);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   298
        if (b0 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   299
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   300
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   301
        int b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   302
        ret += (b1 & 0x7FL) << 7;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   303
        if (b1 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   304
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   305
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   306
        int b2 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   307
        ret += (b2 & 0x7FL) << 14;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   308
        if (b2 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   309
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   310
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   311
        int b3 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   312
        ret += (b3 & 0x7FL) << 21;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   313
        if (b3 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   314
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   315
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   316
        int b4 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   317
        ret += (b4 & 0x7FL) << 28;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   318
        if (b4 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   319
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   320
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   321
        int b5 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   322
        ret += (b5 & 0x7FL) << 35;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   323
        if (b5 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   324
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   325
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   326
        int b6 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   327
        ret += (b6 & 0x7FL) << 42;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   328
        if (b6 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   329
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   330
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   331
        int b7 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   332
        ret += (b7 & 0x7FL) << 49;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   333
        if (b7 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   334
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   335
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   336
        int b8 = readByte(); // read last byte raw
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   337
        return ret + (((long) (b8 & 0XFF)) << 56);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   338
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   339
}