Hello, On Wed, Oct 09, 2019 at 05:36:29PM +0200, Michal Koutný wrote: > Because I'm not fully convinced using the root cgroup for the latter is > a good idea and I don't have a better one (what about > /sys/kernel/cgroup/?), I'd like to question the former to potentially > postpone finding the place for its parameters :-) Yeah, I mean, I don't know. If these params were useful outside iocost controller itself, under /sys/block would be a better place but it's kind tightly tied to vrate. We likely can talk on the subject for a really long time probalby because there's no clearly technically better choice here, so... > On Wed, Aug 28, 2019 at 03:05:58PM -0700, Tejun Heo <tj@xxxxxxxxxx> wrote: > > [...] > > Please see the top comment in blk-iocost.c and documentation for > > more details. > I admit I did't grasp the explanations in the cgroup-v2.rst, perhaps > some of the explanations from blk-iocost.c would be useful there as > well. > > IIUC, the controls are supposed to be abstracted and generic to express > high-level ideas and be independent of particular details. > Here a bunch of parameters is introduced whose tuning may become a > complex optimization task. > > What is the metric that is the QoS controller striving to guarantee? > How does it differ from the io.latency policy? Yeah, it's kinda unfortunate that it requires this many parameters but at least my opinion is that that's reflecting the inherent complexities of the underlying devices and how workloads interact with them. Andy knows and can explain this a lot better than me but here's what's we're working on: For the cost model, the plan is to build a database of model-specific model parameters which are loaded during boot. The cost model parameters are pretty straight forward to determine, so hopefully this won't be too difficult. For QoS parameters, Andy is currently working on a method to determine the set of parametesr which are at the edge of total work cliff - ie. the point where tighetning QoS params further starts reducing the total amount of work the device can do significantly. This would be the neutral parameters to use for a given device unless there are overriding latency requirements, so it's likely that this can be part of the model-specific parameter set. We're currently deploying the controller to a lot of machines and gathering data to verify model accuracies and controller behaviors. It's working pretty well already and once the methods become more mature, we'll upstream them (whichever projects they end up belonging). > > [...] > > + * 2-2. Vrate Adjustment > > + * [...] When this delay becomes noticeable, it's a clear > > + * indication that the device is saturated and we lower the vrate. This > > + * saturation signal is fairly conservative as it only triggers when both > > + * hardware and software queues are filled up, and is used as the default > > + * busy signal. > (The following paragraph is based only on naïve understanding of the > block layer.) So the device's vrate is lowered, causing its vtime > growing slower, i.e. postponing issuing an IO later for all cgroups > accessing the device. But what's the purpose of this? If the queues fill > up, wouldn't be all naturally pushed back by the longer queue time > anyway? And wouldn't slowing down the device's vtime just cause queueing > elsewhere? Nothing can issue IOs indefinitely without some of them completing and the total amount of work a workload can do is conjoined with the completion latencies. Most IO devices have queue depth which is at some level reasonable given the performance characteritics of the device; otherwise, the device would develop a really fat pipe in it which can frustrate various use cases. On top, block layer adds some limited amount of queueing to avoid command bubbles (2x qd, usually), so, while definitely not stringent in any way, the queueing is already regulated so that things don't get too crazy. Regulating based on qd may not be enough for latency sensitive synchronous workloads; however, for a lot of workloads such as reading file contents or copying them which have in-kernel windowing mechanisms, it can provide a reasonable level of protection to keep the effectiveness of the windowing mechanisms without sacrificing noticeable level of total work. Thanks. -- tejun
