/* Web Polygraph       http://www.web-polygraph.org/
 * (C) 2003-2006 The Measurement Factory
 * Licensed under the Apache License, Version 2.0 */

#include "base/polygraph.h"

#include "xstd/h/iomanip.h"

#include "xstd/Rnd.h"
#include "base/RndPermut.h"
#include "runtime/HotSet.h"


HotSet::HotSet(): thePos(0) {
}

void HotSet::reset() {
	thePos = 0;
}

void HotSet::syncPos(int size, int wss) {
	if (size && wss != 0) {
		if (wss < 0) {
			// the best we can do w/o storing size-at-change?
			thePos = size/2; 
		} else
		if (thePos <= size - wss) {
			// random position within working set
			Assert(wss <= size);
			RndGen rng(LclPermut(thePos, rndHotSetPos));
			thePos = size - rng(0, wss);
		}
	}
	Assert(0 <= thePos && thePos <= size);
}


syntax highlighted by Code2HTML, v. 0.9.1