qemu/util/throttle.c
<<
>>
Prefs
   1/*
   2 * QEMU throttling infrastructure
   3 *
   4 * Copyright (C) Nodalink, EURL. 2013-2014
   5 * Copyright (C) Igalia, S.L. 2015
   6 *
   7 * Authors:
   8 *   BenoƮt Canet <benoit.canet@nodalink.com>
   9 *   Alberto Garcia <berto@igalia.com>
  10 *
  11 * This program is free software; you can redistribute it and/or
  12 * modify it under the terms of the GNU General Public License as
  13 * published by the Free Software Foundation; either version 2 or
  14 * (at your option) version 3 of the License.
  15 *
  16 * This program is distributed in the hope that it will be useful,
  17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
  18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  19 * GNU General Public License for more details.
  20 *
  21 * You should have received a copy of the GNU General Public License
  22 * along with this program; if not, see <http://www.gnu.org/licenses/>.
  23 */
  24
  25#include "qemu/osdep.h"
  26#include "qapi/error.h"
  27#include "qemu/throttle.h"
  28#include "qemu/timer.h"
  29#include "block/aio.h"
  30
  31/* This function make a bucket leak
  32 *
  33 * @bkt:   the bucket to make leak
  34 * @delta_ns: the time delta
  35 */
  36void throttle_leak_bucket(LeakyBucket *bkt, int64_t delta_ns)
  37{
  38    double leak;
  39
  40    /* compute how much to leak */
  41    leak = (bkt->avg * (double) delta_ns) / NANOSECONDS_PER_SECOND;
  42
  43    /* make the bucket leak */
  44    bkt->level = MAX(bkt->level - leak, 0);
  45
  46    /* if we allow bursts for more than one second we also need to
  47     * keep track of bkt->burst_level so the bkt->max goal per second
  48     * is attained */
  49    if (bkt->burst_length > 1) {
  50        leak = (bkt->max * (double) delta_ns) / NANOSECONDS_PER_SECOND;
  51        bkt->burst_level = MAX(bkt->burst_level - leak, 0);
  52    }
  53}
  54
  55/* Calculate the time delta since last leak and make proportionals leaks
  56 *
  57 * @now:      the current timestamp in ns
  58 */
  59static void throttle_do_leak(ThrottleState *ts, int64_t now)
  60{
  61    /* compute the time elapsed since the last leak */
  62    int64_t delta_ns = now - ts->previous_leak;
  63    int i;
  64
  65    ts->previous_leak = now;
  66
  67    if (delta_ns <= 0) {
  68        return;
  69    }
  70
  71    /* make each bucket leak */
  72    for (i = 0; i < BUCKETS_COUNT; i++) {
  73        throttle_leak_bucket(&ts->cfg.buckets[i], delta_ns);
  74    }
  75}
  76
  77/* do the real job of computing the time to wait
  78 *
  79 * @limit: the throttling limit
  80 * @extra: the number of operation to delay
  81 * @ret:   the time to wait in ns
  82 */
  83static int64_t throttle_do_compute_wait(double limit, double extra)
  84{
  85    double wait = extra * NANOSECONDS_PER_SECOND;
  86    wait /= limit;
  87    return wait;
  88}
  89
  90/* This function compute the wait time in ns that a leaky bucket should trigger
  91 *
  92 * @bkt: the leaky bucket we operate on
  93 * @ret: the resulting wait time in ns or 0 if the operation can go through
  94 */
  95int64_t throttle_compute_wait(LeakyBucket *bkt)
  96{
  97    double extra; /* the number of extra units blocking the io */
  98
  99    if (!bkt->avg) {
 100        return 0;
 101    }
 102
 103    /* If the bucket is full then we have to wait */
 104    extra = bkt->level - bkt->max * bkt->burst_length;
 105    if (extra > 0) {
 106        return throttle_do_compute_wait(bkt->avg, extra);
 107    }
 108
 109    /* If the bucket is not full yet we have to make sure that we
 110     * fulfill the goal of bkt->max units per second. */
 111    if (bkt->burst_length > 1) {
 112        /* We use 1/10 of the max value to smooth the throttling.
 113         * See throttle_fix_bucket() for more details. */
 114        extra = bkt->burst_level - bkt->max / 10;
 115        if (extra > 0) {
 116            return throttle_do_compute_wait(bkt->max, extra);
 117        }
 118    }
 119
 120    return 0;
 121}
 122
 123/* This function compute the time that must be waited while this IO
 124 *
 125 * @is_write:   true if the current IO is a write, false if it's a read
 126 * @ret:        time to wait
 127 */
 128static int64_t throttle_compute_wait_for(ThrottleState *ts,
 129                                         bool is_write)
 130{
 131    BucketType to_check[2][4] = { {THROTTLE_BPS_TOTAL,
 132                                   THROTTLE_OPS_TOTAL,
 133                                   THROTTLE_BPS_READ,
 134                                   THROTTLE_OPS_READ},
 135                                  {THROTTLE_BPS_TOTAL,
 136                                   THROTTLE_OPS_TOTAL,
 137                                   THROTTLE_BPS_WRITE,
 138                                   THROTTLE_OPS_WRITE}, };
 139    int64_t wait, max_wait = 0;
 140    int i;
 141
 142    for (i = 0; i < 4; i++) {
 143        BucketType index = to_check[is_write][i];
 144        wait = throttle_compute_wait(&ts->cfg.buckets[index]);
 145        if (wait > max_wait) {
 146            max_wait = wait;
 147        }
 148    }
 149
 150    return max_wait;
 151}
 152
 153/* compute the timer for this type of operation
 154 *
 155 * @is_write:   the type of operation
 156 * @now:        the current clock timestamp
 157 * @next_timestamp: the resulting timer
 158 * @ret:        true if a timer must be set
 159 */
 160static bool throttle_compute_timer(ThrottleState *ts,
 161                                   bool is_write,
 162                                   int64_t now,
 163                                   int64_t *next_timestamp)
 164{
 165    int64_t wait;
 166
 167    /* leak proportionally to the time elapsed */
 168    throttle_do_leak(ts, now);
 169
 170    /* compute the wait time if any */
 171    wait = throttle_compute_wait_for(ts, is_write);
 172
 173    /* if the code must wait compute when the next timer should fire */
 174    if (wait) {
 175        *next_timestamp = now + wait;
 176        return true;
 177    }
 178
 179    /* else no need to wait at all */
 180    *next_timestamp = now;
 181    return false;
 182}
 183
 184/* Add timers to event loop */
 185void throttle_timers_attach_aio_context(ThrottleTimers *tt,
 186                                        AioContext *new_context)
 187{
 188    tt->timers[0] = aio_timer_new(new_context, tt->clock_type, SCALE_NS,
 189                                  tt->read_timer_cb, tt->timer_opaque);
 190    tt->timers[1] = aio_timer_new(new_context, tt->clock_type, SCALE_NS,
 191                                  tt->write_timer_cb, tt->timer_opaque);
 192}
 193
 194/*
 195 * Initialize the ThrottleConfig structure to a valid state
 196 * @cfg: the config to initialize
 197 */
 198void throttle_config_init(ThrottleConfig *cfg)
 199{
 200    unsigned i;
 201    memset(cfg, 0, sizeof(*cfg));
 202    for (i = 0; i < BUCKETS_COUNT; i++) {
 203        cfg->buckets[i].burst_length = 1;
 204    }
 205}
 206
 207/* To be called first on the ThrottleState */
 208void throttle_init(ThrottleState *ts)
 209{
 210    memset(ts, 0, sizeof(ThrottleState));
 211    throttle_config_init(&ts->cfg);
 212}
 213
 214/* To be called first on the ThrottleTimers */
 215void throttle_timers_init(ThrottleTimers *tt,
 216                          AioContext *aio_context,
 217                          QEMUClockType clock_type,
 218                          QEMUTimerCB *read_timer_cb,
 219                          QEMUTimerCB *write_timer_cb,
 220                          void *timer_opaque)
 221{
 222    memset(tt, 0, sizeof(ThrottleTimers));
 223
 224    tt->clock_type = clock_type;
 225    tt->read_timer_cb = read_timer_cb;
 226    tt->write_timer_cb = write_timer_cb;
 227    tt->timer_opaque = timer_opaque;
 228    throttle_timers_attach_aio_context(tt, aio_context);
 229}
 230
 231/* destroy a timer */
 232static void throttle_timer_destroy(QEMUTimer **timer)
 233{
 234    assert(*timer != NULL);
 235
 236    timer_del(*timer);
 237    timer_free(*timer);
 238    *timer = NULL;
 239}
 240
 241/* Remove timers from event loop */
 242void throttle_timers_detach_aio_context(ThrottleTimers *tt)
 243{
 244    int i;
 245
 246    for (i = 0; i < 2; i++) {
 247        throttle_timer_destroy(&tt->timers[i]);
 248    }
 249}
 250
 251/* To be called last on the ThrottleTimers */
 252void throttle_timers_destroy(ThrottleTimers *tt)
 253{
 254    throttle_timers_detach_aio_context(tt);
 255}
 256
 257/* is any throttling timer configured */
 258bool throttle_timers_are_initialized(ThrottleTimers *tt)
 259{
 260    if (tt->timers[0]) {
 261        return true;
 262    }
 263
 264    return false;
 265}
 266
 267/* Does any throttling must be done
 268 *
 269 * @cfg: the throttling configuration to inspect
 270 * @ret: true if throttling must be done else false
 271 */
 272bool throttle_enabled(ThrottleConfig *cfg)
 273{
 274    int i;
 275
 276    for (i = 0; i < BUCKETS_COUNT; i++) {
 277        if (cfg->buckets[i].avg > 0) {
 278            return true;
 279        }
 280    }
 281
 282    return false;
 283}
 284
 285/* check if a throttling configuration is valid
 286 * @cfg: the throttling configuration to inspect
 287 * @ret: true if valid else false
 288 * @errp: error object
 289 */
 290bool throttle_is_valid(ThrottleConfig *cfg, Error **errp)
 291{
 292    int i;
 293    bool bps_flag, ops_flag;
 294    bool bps_max_flag, ops_max_flag;
 295
 296    bps_flag = cfg->buckets[THROTTLE_BPS_TOTAL].avg &&
 297               (cfg->buckets[THROTTLE_BPS_READ].avg ||
 298                cfg->buckets[THROTTLE_BPS_WRITE].avg);
 299
 300    ops_flag = cfg->buckets[THROTTLE_OPS_TOTAL].avg &&
 301               (cfg->buckets[THROTTLE_OPS_READ].avg ||
 302                cfg->buckets[THROTTLE_OPS_WRITE].avg);
 303
 304    bps_max_flag = cfg->buckets[THROTTLE_BPS_TOTAL].max &&
 305                  (cfg->buckets[THROTTLE_BPS_READ].max  ||
 306                   cfg->buckets[THROTTLE_BPS_WRITE].max);
 307
 308    ops_max_flag = cfg->buckets[THROTTLE_OPS_TOTAL].max &&
 309                   (cfg->buckets[THROTTLE_OPS_READ].max ||
 310                   cfg->buckets[THROTTLE_OPS_WRITE].max);
 311
 312    if (bps_flag || ops_flag || bps_max_flag || ops_max_flag) {
 313        error_setg(errp, "bps/iops/max total values and read/write values"
 314                   " cannot be used at the same time");
 315        return false;
 316    }
 317
 318    for (i = 0; i < BUCKETS_COUNT; i++) {
 319        if (cfg->buckets[i].avg < 0 ||
 320            cfg->buckets[i].max < 0 ||
 321            cfg->buckets[i].avg > THROTTLE_VALUE_MAX ||
 322            cfg->buckets[i].max > THROTTLE_VALUE_MAX) {
 323            error_setg(errp, "bps/iops/max values must be within [0, %lld]",
 324                       THROTTLE_VALUE_MAX);
 325            return false;
 326        }
 327
 328        if (!cfg->buckets[i].burst_length) {
 329            error_setg(errp, "the burst length cannot be 0");
 330            return false;
 331        }
 332
 333        if (cfg->buckets[i].burst_length > 1 && !cfg->buckets[i].max) {
 334            error_setg(errp, "burst length set without burst rate");
 335            return false;
 336        }
 337
 338        if (cfg->buckets[i].max && !cfg->buckets[i].avg) {
 339            error_setg(errp, "bps_max/iops_max require corresponding"
 340                       " bps/iops values");
 341            return false;
 342        }
 343    }
 344
 345    return true;
 346}
 347
 348/* fix bucket parameters */
 349static void throttle_fix_bucket(LeakyBucket *bkt)
 350{
 351    double min;
 352
 353    /* zero bucket level */
 354    bkt->level = bkt->burst_level = 0;
 355
 356    /* The following is done to cope with the Linux CFQ block scheduler
 357     * which regroup reads and writes by block of 100ms in the guest.
 358     * When they are two process one making reads and one making writes cfq
 359     * make a pattern looking like the following:
 360     * WWWWWWWWWWWRRRRRRRRRRRRRRWWWWWWWWWWWWWwRRRRRRRRRRRRRRRRR
 361     * Having a max burst value of 100ms of the average will help smooth the
 362     * throttling
 363     */
 364    min = bkt->avg / 10;
 365    if (bkt->avg && !bkt->max) {
 366        bkt->max = min;
 367    }
 368}
 369
 370/* take care of canceling a timer */
 371static void throttle_cancel_timer(QEMUTimer *timer)
 372{
 373    assert(timer != NULL);
 374
 375    timer_del(timer);
 376}
 377
 378/* Used to configure the throttle
 379 *
 380 * @ts: the throttle state we are working on
 381 * @tt: the throttle timers we use in this aio context
 382 * @cfg: the config to set
 383 */
 384void throttle_config(ThrottleState *ts,
 385                     ThrottleTimers *tt,
 386                     ThrottleConfig *cfg)
 387{
 388    int i;
 389
 390    ts->cfg = *cfg;
 391
 392    for (i = 0; i < BUCKETS_COUNT; i++) {
 393        throttle_fix_bucket(&ts->cfg.buckets[i]);
 394    }
 395
 396    ts->previous_leak = qemu_clock_get_ns(tt->clock_type);
 397
 398    for (i = 0; i < 2; i++) {
 399        throttle_cancel_timer(tt->timers[i]);
 400    }
 401}
 402
 403/* used to get config
 404 *
 405 * @ts:  the throttle state we are working on
 406 * @cfg: the config to write
 407 */
 408void throttle_get_config(ThrottleState *ts, ThrottleConfig *cfg)
 409{
 410    *cfg = ts->cfg;
 411}
 412
 413
 414/* Schedule the read or write timer if needed
 415 *
 416 * NOTE: this function is not unit tested due to it's usage of timer_mod
 417 *
 418 * @tt:       the timers structure
 419 * @is_write: the type of operation (read/write)
 420 * @ret:      true if the timer has been scheduled else false
 421 */
 422bool throttle_schedule_timer(ThrottleState *ts,
 423                             ThrottleTimers *tt,
 424                             bool is_write)
 425{
 426    int64_t now = qemu_clock_get_ns(tt->clock_type);
 427    int64_t next_timestamp;
 428    bool must_wait;
 429
 430    must_wait = throttle_compute_timer(ts,
 431                                       is_write,
 432                                       now,
 433                                       &next_timestamp);
 434
 435    /* request not throttled */
 436    if (!must_wait) {
 437        return false;
 438    }
 439
 440    /* request throttled and timer pending -> do nothing */
 441    if (timer_pending(tt->timers[is_write])) {
 442        return true;
 443    }
 444
 445    /* request throttled and timer not pending -> arm timer */
 446    timer_mod(tt->timers[is_write], next_timestamp);
 447    return true;
 448}
 449
 450/* do the accounting for this operation
 451 *
 452 * @is_write: the type of operation (read/write)
 453 * @size:     the size of the operation
 454 */
 455void throttle_account(ThrottleState *ts, bool is_write, uint64_t size)
 456{
 457    const BucketType bucket_types_size[2][2] = {
 458        { THROTTLE_BPS_TOTAL, THROTTLE_BPS_READ },
 459        { THROTTLE_BPS_TOTAL, THROTTLE_BPS_WRITE }
 460    };
 461    const BucketType bucket_types_units[2][2] = {
 462        { THROTTLE_OPS_TOTAL, THROTTLE_OPS_READ },
 463        { THROTTLE_OPS_TOTAL, THROTTLE_OPS_WRITE }
 464    };
 465    double units = 1.0;
 466    unsigned i;
 467
 468    /* if cfg.op_size is defined and smaller than size we compute unit count */
 469    if (ts->cfg.op_size && size > ts->cfg.op_size) {
 470        units = (double) size / ts->cfg.op_size;
 471    }
 472
 473    for (i = 0; i < 2; i++) {
 474        LeakyBucket *bkt;
 475
 476        bkt = &ts->cfg.buckets[bucket_types_size[is_write][i]];
 477        bkt->level += size;
 478        if (bkt->burst_length > 1) {
 479            bkt->burst_level += size;
 480        }
 481
 482        bkt = &ts->cfg.buckets[bucket_types_units[is_write][i]];
 483        bkt->level += units;
 484        if (bkt->burst_length > 1) {
 485            bkt->burst_level += units;
 486        }
 487    }
 488}
 489
 490