42.5.0.0.2 Configuring request generation

For every request, https/Client uses PagePool to generate a random page ID, and use a random variable to generate intervals between two consecutive requests: ^42.2

        $client set-page-generator $pgp # attach a configured PagePool;
        $client set-interval-generator $ranvar # attach a random variable;

Here we assume that PagePools of https/Client share the same set of pages as PagePools of the server. Usually we simplify our simulation by letting all clients and servers share the same PagePool, i.e., they have the same set of pages. When there are multiple servers, or servers' PagePools are separated from those of clients', care must be taken to make sure that every client sees the same set of pages as the servers to which they are attached.