检测EOF是在readInt的开头还是中间的某个地方

DataInputStream

    DataInputStream ins = ....;
    boolean cleanBreak = true;

    try {

        synchronized (readLock) {

            // read: message length
            int ml = ins.readInt();
            cleanBreak = false;

            // read: message data
            byte[] msg = IO.readBytes(ins, ml);

        }

    } catch (IOException e) {


            final boolean eof = e instanceof EOFException && cleanBreak;

        ...

public final int readInt() throws IOException {
    int ch1 = in.read();
    int ch2 = in.read();
    int ch3 = in.read();
    int ch4 = in.read();
    if ((ch1 | ch2 | ch3 | ch4) < 0)
        throw new EOFException();
    return ((ch1 << 24) + (ch2 << 16) + (ch3 << 8) + (ch4 << 0));
}