Illumos #1313: Integer overflow in txg_delay()

The function txg_delay() is used to delay txg (transaction group)
threads in ZFS.  The timeout value for this function is calculated
using:

    int timeout = ddi_get_lbolt() + ticks;

Later, the actual wait is performed:

    while (ddi_get_lbolt() < timeout &&
        tx->tx_syncing_txg < txg-1 && !txg_stalled(dp))
            (void) cv_timedwait(&tx->tx_quiesce_more_cv, &tx->tx_sync_lock,
                timeout - ddi_get_lbolt());

The ddi_get_lbolt() function returns current uptime in clock ticks
and is typed as clock_t.  The clock_t type on 64-bit architectures
is int64_t.

The "timeout" variable will overflow depending on the tick frequency
(e.g. for 1000 it will overflow in 28.855 days). This will make the
expression "ddi_get_lbolt() < timeout" always false - txg threads will
not be delayed anymore at all. This leads to a slowdown in ZFS writes.

The attached patch initializes timeout as clock_t to match the return
value of ddi_get_lbolt().

Signed-off-by: Brian Behlendorf <behlendorf1@llnl.gov>
Issue #352
This commit is contained in:
Martin Matuska 2011-08-01 10:34:06 -07:00 committed by Brian Behlendorf
parent 0b7936d5c2
commit cddafdcbc5
1 changed files with 1 additions and 1 deletions

View File

@ -506,7 +506,7 @@ void
txg_delay(dsl_pool_t *dp, uint64_t txg, int ticks) txg_delay(dsl_pool_t *dp, uint64_t txg, int ticks)
{ {
tx_state_t *tx = &dp->dp_tx; tx_state_t *tx = &dp->dp_tx;
int timeout = ddi_get_lbolt() + ticks; clock_t timeout = ddi_get_lbolt() + ticks;
/* don't delay if this txg could transition to quiesing immediately */ /* don't delay if this txg could transition to quiesing immediately */
if (tx->tx_open_txg > txg || if (tx->tx_open_txg > txg ||