protected override void OnRequest(ulong reqNum, KeyValueStoreClient client, Random rng) { Debug.Assert(client != null, "client is expected to be non-null"); Debug.Assert(rng != null, "random is expected to be non-null"); Debug.Assert(this.keys != null, "key vocabulary is expected to be non-null"); Debug.Assert(this.values != null, "value vocabulary is expected to be non-null"); var key = this.keys.Pick(rng); /*if ((reqNum & 1) == 0) { var value = this.values.Pick(rng); client.SetValue(key, value); } else*/ { client.GetValue(key); } }
protected override void OnRequest(ulong reqNum, KeyValueStoreClient client, Random rng) { Debug.Assert(client != null, "client is expected to be non-null"); Debug.Assert(rng != null, "random is expected to be non-null"); Debug.Assert(this.keys != null, "key vocabulary is expected to be non-null"); Debug.Assert(this.values != null, "value vocabulary is expected to be non-null"); var key = this.keys.Pick(rng); /*if ((reqNum & 1) == 0) * { * var value = this.values.Pick(rng); * client.SetValue(key, value); * } * else*/ { client.GetValue(key); } }
protected abstract void OnRequest(ulong reqNum, KeyValueStoreClient client, Random random);
protected abstract void OnRequest(ulong reqNum, KeyValueStoreClient client, Random random);