/**
* Log a message from within 'poll'
*
* @param space
* @param message
*/
private void logPoll(Space space, String message) {
if (Options.verbose.getValue() >= 3) {
Log.write(" [POLL] ");
Log.write(space.getName());
Log.write(": ");
Log.writeln(message);
}
}
/**
* Constructor
*
* @param space The space to which this resource is attached
*/
private PageResource(Space space, boolean contiguous) {
this.contiguous = contiguous;
this.space = space;
lock = VM.newLock(space.getName() + ".lock");
}
