diff options
| author | Tejun Heo <tj@kernel.org> | 2011-12-13 18:33:38 -0500 |
|---|---|---|
| committer | Jens Axboe <axboe@kernel.dk> | 2011-12-13 18:33:38 -0500 |
| commit | 216284c352a0061f5b20acff2c4e50fb43fea183 (patch) | |
| tree | 01611f6d35c041a941269cb3dd3926c0711722ae /block | |
| parent | dc86900e0a8f665122de6faadd27fb4c6d2b3e4d (diff) | |
block, cfq: fix race condition in cic creation path and tighten locking
cfq_get_io_context() would fail if multiple tasks race to insert cic's
for the same association. This patch restructures
cfq_get_io_context() such that slow path insertion race is handled
properly.
Note that the restructuring also makes cfq_get_io_context() called
under queue_lock and performs both ioc and cfqd insertions while
holding both ioc and queue locks. This is part of on-going locking
tightening and will be used to simplify synchronization rules.
Signed-off-by: Tejun Heo <tj@kernel.org>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
Diffstat (limited to 'block')
| -rw-r--r-- | block/cfq-iosched.c | 135 |
1 files changed, 76 insertions, 59 deletions
diff --git a/block/cfq-iosched.c b/block/cfq-iosched.c index 51aece2eea7c..181a63d36691 100644 --- a/block/cfq-iosched.c +++ b/block/cfq-iosched.c | |||
| @@ -2908,13 +2908,10 @@ static void changed_ioprio(struct cfq_io_context *cic) | |||
| 2908 | { | 2908 | { |
| 2909 | struct cfq_data *cfqd = cic_to_cfqd(cic); | 2909 | struct cfq_data *cfqd = cic_to_cfqd(cic); |
| 2910 | struct cfq_queue *cfqq; | 2910 | struct cfq_queue *cfqq; |
| 2911 | unsigned long flags; | ||
| 2912 | 2911 | ||
| 2913 | if (unlikely(!cfqd)) | 2912 | if (unlikely(!cfqd)) |
| 2914 | return; | 2913 | return; |
| 2915 | 2914 | ||
| 2916 | spin_lock_irqsave(cfqd->queue->queue_lock, flags); | ||
| 2917 | |||
| 2918 | cfqq = cic->cfqq[BLK_RW_ASYNC]; | 2915 | cfqq = cic->cfqq[BLK_RW_ASYNC]; |
| 2919 | if (cfqq) { | 2916 | if (cfqq) { |
| 2920 | struct cfq_queue *new_cfqq; | 2917 | struct cfq_queue *new_cfqq; |
| @@ -2929,8 +2926,6 @@ static void changed_ioprio(struct cfq_io_context *cic) | |||
| 2929 | cfqq = cic->cfqq[BLK_RW_SYNC]; | 2926 | cfqq = cic->cfqq[BLK_RW_SYNC]; |
| 2930 | if (cfqq) | 2927 | if (cfqq) |
| 2931 | cfq_mark_cfqq_prio_changed(cfqq); | 2928 | cfq_mark_cfqq_prio_changed(cfqq); |
| 2932 | |||
| 2933 | spin_unlock_irqrestore(cfqd->queue->queue_lock, flags); | ||
| 2934 | } | 2929 | } |
| 2935 | 2930 | ||
| 2936 | static void cfq_init_cfqq(struct cfq_data *cfqd, struct cfq_queue *cfqq, | 2931 | static void cfq_init_cfqq(struct cfq_data *cfqd, struct cfq_queue *cfqq, |
| @@ -2958,7 +2953,6 @@ static void changed_cgroup(struct cfq_io_context *cic) | |||
| 2958 | { | 2953 | { |
| 2959 | struct cfq_queue *sync_cfqq = cic_to_cfqq(cic, 1); | 2954 | struct cfq_queue *sync_cfqq = cic_to_cfqq(cic, 1); |
| 2960 | struct cfq_data *cfqd = cic_to_cfqd(cic); | 2955 | struct cfq_data *cfqd = cic_to_cfqd(cic); |
| 2961 | unsigned long flags; | ||
| 2962 | struct request_queue *q; | 2956 | struct request_queue *q; |
| 2963 | 2957 | ||
| 2964 | if (unlikely(!cfqd)) | 2958 | if (unlikely(!cfqd)) |
| @@ -2966,8 +2960,6 @@ static void changed_cgroup(struct cfq_io_context *cic) | |||
| 2966 | 2960 | ||
| 2967 | q = cfqd->queue; | 2961 | q = cfqd->queue; |
| 2968 | 2962 | ||
| 2969 | spin_lock_irqsave(q->queue_lock, flags); | ||
| 2970 | |||
| 2971 | if (sync_cfqq) { | 2963 | if (sync_cfqq) { |
| 2972 | /* | 2964 | /* |
| 2973 | * Drop reference to sync queue. A new sync queue will be | 2965 | * Drop reference to sync queue. A new sync queue will be |
| @@ -2977,8 +2969,6 @@ static void changed_cgroup(struct cfq_io_context *cic) | |||
| 2977 | cic_set_cfqq(cic, NULL, 1); | 2969 | cic_set_cfqq(cic, NULL, 1); |
| 2978 | cfq_put_queue(sync_cfqq); | 2970 | cfq_put_queue(sync_cfqq); |
| 2979 | } | 2971 | } |
| 2980 | |||
| 2981 | spin_unlock_irqrestore(q->queue_lock, flags); | ||
| 2982 | } | 2972 | } |
| 2983 | #endif /* CONFIG_CFQ_GROUP_IOSCHED */ | 2973 | #endif /* CONFIG_CFQ_GROUP_IOSCHED */ |
| 2984 | 2974 | ||
| @@ -3142,16 +3132,31 @@ cfq_cic_lookup(struct cfq_data *cfqd, struct io_context *ioc) | |||
| 3142 | return cic; | 3132 | return cic; |
| 3143 | } | 3133 | } |
| 3144 | 3134 | ||
| 3145 | /* | 3135 | /** |
| 3146 | * Add cic into ioc, using cfqd as the search key. This enables us to lookup | 3136 | * cfq_create_cic - create and link a cfq_io_context |
| 3147 | * the process specific cfq io context when entered from the block layer. | 3137 | * @cfqd: cfqd of interest |
| 3148 | * Also adds the cic to a per-cfqd list, used when this queue is removed. | 3138 | * @gfp_mask: allocation mask |
| 3139 | * | ||
| 3140 | * Make sure cfq_io_context linking %current->io_context and @cfqd exists. | ||
| 3141 | * If ioc and/or cic doesn't exist, they will be created using @gfp_mask. | ||
| 3149 | */ | 3142 | */ |
| 3150 | static int cfq_cic_link(struct cfq_data *cfqd, struct io_context *ioc, | 3143 | static int cfq_create_cic(struct cfq_data *cfqd, gfp_t gfp_mask) |
| 3151 | struct cfq_io_context *cic, gfp_t gfp_mask) | ||
| 3152 | { | 3144 | { |
| 3153 | unsigned long flags; | 3145 | struct request_queue *q = cfqd->queue; |
| 3154 | int ret; | 3146 | struct cfq_io_context *cic = NULL; |
| 3147 | struct io_context *ioc; | ||
| 3148 | int ret = -ENOMEM; | ||
| 3149 | |||
| 3150 | might_sleep_if(gfp_mask & __GFP_WAIT); | ||
| 3151 | |||
| 3152 | /* allocate stuff */ | ||
| 3153 | ioc = current_io_context(gfp_mask, q->node); | ||
| 3154 | if (!ioc) | ||
| 3155 | goto out; | ||
| 3156 | |||
| 3157 | cic = cfq_alloc_io_context(cfqd, gfp_mask); | ||
| 3158 | if (!cic) | ||
| 3159 | goto out; | ||
| 3155 | 3160 | ||
| 3156 | ret = radix_tree_preload(gfp_mask); | 3161 | ret = radix_tree_preload(gfp_mask); |
| 3157 | if (ret) | 3162 | if (ret) |
| @@ -3161,53 +3166,72 @@ static int cfq_cic_link(struct cfq_data *cfqd, struct io_context *ioc, | |||
| 3161 | cic->key = cfqd; | 3166 | cic->key = cfqd; |
| 3162 | cic->q = cfqd->queue; | 3167 | cic->q = cfqd->queue; |
| 3163 | 3168 | ||
| 3164 | spin_lock_irqsave(&ioc->lock, flags); | 3169 | /* lock both q and ioc and try to link @cic */ |
| 3165 | ret = radix_tree_insert(&ioc->radix_root, cfqd->queue->id, cic); | 3170 | spin_lock_irq(q->queue_lock); |
| 3166 | if (!ret) | 3171 | spin_lock(&ioc->lock); |
| 3167 | hlist_add_head_rcu(&cic->cic_list, &ioc->cic_list); | ||
| 3168 | spin_unlock_irqrestore(&ioc->lock, flags); | ||
| 3169 | |||
| 3170 | radix_tree_preload_end(); | ||
| 3171 | 3172 | ||
| 3172 | if (!ret) { | 3173 | ret = radix_tree_insert(&ioc->radix_root, q->id, cic); |
| 3173 | spin_lock_irqsave(cfqd->queue->queue_lock, flags); | 3174 | if (likely(!ret)) { |
| 3175 | hlist_add_head_rcu(&cic->cic_list, &ioc->cic_list); | ||
| 3174 | list_add(&cic->queue_list, &cfqd->cic_list); | 3176 | list_add(&cic->queue_list, &cfqd->cic_list); |
| 3175 | spin_unlock_irqrestore(cfqd->queue->queue_lock, flags); | 3177 | cic = NULL; |
| 3178 | } else if (ret == -EEXIST) { | ||
| 3179 | /* someone else already did it */ | ||
| 3180 | ret = 0; | ||
| 3176 | } | 3181 | } |
| 3182 | |||
| 3183 | spin_unlock(&ioc->lock); | ||
| 3184 | spin_unlock_irq(q->queue_lock); | ||
| 3185 | |||
| 3186 | radix_tree_preload_end(); | ||
| 3177 | out: | 3187 | out: |
| 3178 | if (ret) | 3188 | if (ret) |
| 3179 | printk(KERN_ERR "cfq: cic link failed!\n"); | 3189 | printk(KERN_ERR "cfq: cic link failed!\n"); |
| 3190 | if (cic) | ||
| 3191 | cfq_cic_free(cic); | ||
| 3180 | return ret; | 3192 | return ret; |
| 3181 | } | 3193 | } |
| 3182 | 3194 | ||
| 3183 | /* | 3195 | /** |
| 3184 | * Setup general io context and cfq io context. There can be several cfq | 3196 | * cfq_get_io_context - acquire cfq_io_context and bump refcnt on io_context |
| 3185 | * io contexts per general io context, if this process is doing io to more | 3197 | * @cfqd: cfqd to setup cic for |
| 3186 | * than one device managed by cfq. | 3198 | * @gfp_mask: allocation mask |
| 3199 | * | ||
| 3200 | * Return cfq_io_context associating @cfqd and %current->io_context and | ||
| 3201 | * bump refcnt on io_context. If ioc or cic doesn't exist, they're created | ||
| 3202 | * using @gfp_mask. | ||
| 3203 | * | ||
| 3204 | * Must be called under queue_lock which may be released and re-acquired. | ||
| 3205 | * This function also may sleep depending on @gfp_mask. | ||
| 3187 | */ | 3206 | */ |
| 3188 | static struct cfq_io_context * | 3207 | static struct cfq_io_context * |
| 3189 | cfq_get_io_context(struct cfq_data *cfqd, gfp_t gfp_mask) | 3208 | cfq_get_io_context(struct cfq_data *cfqd, gfp_t gfp_mask) |
| 3190 | { | 3209 | { |
| 3191 | struct io_context *ioc = NULL; | 3210 | struct request_queue *q = cfqd->queue; |
| 3192 | struct cfq_io_context *cic = NULL; | 3211 | struct cfq_io_context *cic = NULL; |
| 3212 | struct io_context *ioc; | ||
| 3213 | int err; | ||
| 3214 | |||
| 3215 | lockdep_assert_held(q->queue_lock); | ||
| 3216 | |||
| 3217 | while (true) { | ||
| 3218 | /* fast path */ | ||
| 3219 | ioc = current->io_context; | ||
| 3220 | if (likely(ioc)) { | ||
| 3221 | cic = cfq_cic_lookup(cfqd, ioc); | ||
| 3222 | if (likely(cic)) | ||
| 3223 | break; | ||
| 3224 | } | ||
| 3193 | 3225 | ||
| 3194 | might_sleep_if(gfp_mask & __GFP_WAIT); | 3226 | /* slow path - unlock, create missing ones and retry */ |
| 3195 | 3227 | spin_unlock_irq(q->queue_lock); | |
| 3196 | ioc = current_io_context(gfp_mask, cfqd->queue->node); | 3228 | err = cfq_create_cic(cfqd, gfp_mask); |
| 3197 | if (!ioc) | 3229 | spin_lock_irq(q->queue_lock); |
| 3198 | goto err; | 3230 | if (err) |
| 3199 | 3231 | return NULL; | |
| 3200 | cic = cfq_cic_lookup(cfqd, ioc); | 3232 | } |
