Log.write("TreadmillDriver: super=", sp); Log.write(", index=", index); int pp = lospace.getSize(sp); Log.write(", pages=", pp); int bb = Conversions.pagesToBytes(pp).toInt(); Log.write(", bytes=", bb); Log.writeln(", max=", usedSpaceStream.getMaxValue()); */
* Log.write("TreadmillDriver: super=", sp); Log.write(", index=", index); * int pp = lospace.getSize(sp); Log.write(", pages=", pp); int bb = * Conversions.pagesToBytes(pp).toInt(); Log.write(", bytes=", bb); * Log.writeln(", max=", usedSpaceStream.getMaxValue()); */
  public void traceObject(Address addr) {    int index = subspace.getIndex(addr);    int length = lospace.getSize(addr).toInt();    /*    Log.write("TreadmillDriver: super=", sp);    Log.write(", index=", index);    int pp = lospace.getSize(sp);    Log.write(", pages=", pp);    int bb = Conversions.pagesToBytes(pp).toInt();    Log.write(", bytes=", bb);    Log.writeln(", max=", usedSpaceStream.getMaxValue());    */    totalObjects++;    tiles[index].objects++;    totalUsedSpace += length;    distributeSpace(tiles, subspace, subspace.getBlockSize(),                    LOS_USED_SPACE_STREAM, addr, length);    Address tmp = addr.plus(length);    if (tmp.GT(maxAddr)) maxAddr = tmp;  }