private static int[] RandomSortedPageIds(int maxPagesInMemory)
{
MutableIntSet setIds = new IntHashSet();
ThreadLocalRandom rng = ThreadLocalRandom.current();
for (int i = 0; i < maxPagesInMemory; i++)
{
setIds.add(rng.Next(maxPagesInMemory * 7));
}
int[] pageIds = new int[setIds.size()];
IntIterator itr = setIds.intIterator();
int i = 0;
while (itr.hasNext())
{
pageIds[i] = itr.next();
i++;
}
Arrays.sort(pageIds);
return(pageIds);
}
