blob: de279fe4e4fdb43a0d9458227b862ecdacb0aaa8 [file] [log] [blame]
Philipp Reisnerb411b362009-09-25 16:07:19 -07001/*
2 drbd_req.c
3
4 This file is part of DRBD by Philipp Reisner and Lars Ellenberg.
5
6 Copyright (C) 2001-2008, LINBIT Information Technologies GmbH.
7 Copyright (C) 1999-2008, Philipp Reisner <philipp.reisner@linbit.com>.
8 Copyright (C) 2002-2008, Lars Ellenberg <lars.ellenberg@linbit.com>.
9
10 drbd is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
12 the Free Software Foundation; either version 2, or (at your option)
13 any later version.
14
15 drbd is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
19
20 You should have received a copy of the GNU General Public License
21 along with drbd; see the file COPYING. If not, write to
22 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
23
24 */
25
Philipp Reisnerb411b362009-09-25 16:07:19 -070026#include <linux/module.h>
27
28#include <linux/slab.h>
29#include <linux/drbd.h>
30#include "drbd_int.h"
Philipp Reisnerb411b362009-09-25 16:07:19 -070031#include "drbd_req.h"
32
33
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +020034static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size);
Philipp Reisner57bcb6c2011-12-03 11:18:56 +010035
Philipp Reisnerb411b362009-09-25 16:07:19 -070036/* Update disk stats at start of I/O request */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +020037static void _drbd_start_io_acct(struct drbd_device *device, struct drbd_request *req)
Philipp Reisnerb411b362009-09-25 16:07:19 -070038{
Gu Zheng24480852014-11-24 11:05:25 +080039 generic_start_io_acct(bio_data_dir(req->master_bio), req->i.size >> 9,
40 &device->vdisk->part0);
Philipp Reisnerb411b362009-09-25 16:07:19 -070041}
42
43/* Update disk stats when completing request upwards */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +020044static void _drbd_end_io_acct(struct drbd_device *device, struct drbd_request *req)
Philipp Reisnerb411b362009-09-25 16:07:19 -070045{
Gu Zheng24480852014-11-24 11:05:25 +080046 generic_end_io_acct(bio_data_dir(req->master_bio),
47 &device->vdisk->part0, req->start_jif);
Philipp Reisnerb411b362009-09-25 16:07:19 -070048}
49
Lars Ellenberg9104d312016-06-14 00:26:31 +020050static struct drbd_request *drbd_req_new(struct drbd_device *device, struct bio *bio_src)
Philipp Reisnerb411b362009-09-25 16:07:19 -070051{
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010052 struct drbd_request *req;
53
David Rientjes23fe8f82015-03-24 16:22:32 -070054 req = mempool_alloc(drbd_request_mempool, GFP_NOIO);
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010055 if (!req)
56 return NULL;
David Rientjes23fe8f82015-03-24 16:22:32 -070057 memset(req, 0, sizeof(*req));
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010058
59 drbd_req_make_private_bio(req, bio_src);
Lars Ellenberg9104d312016-06-14 00:26:31 +020060 req->rq_state = (bio_data_dir(bio_src) == WRITE ? RQ_WRITE : 0)
61 | (bio_op(bio_src) == REQ_OP_WRITE_SAME ? RQ_WSAME : 0)
62 | (bio_op(bio_src) == REQ_OP_DISCARD ? RQ_UNMAP : 0);
63 req->device = device;
64 req->master_bio = bio_src;
65 req->epoch = 0;
Andreas Gruenbacher53840642011-01-28 10:31:04 +010066
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010067 drbd_clear_interval(&req->i);
Kent Overstreet4f024f32013-10-11 15:44:27 -070068 req->i.sector = bio_src->bi_iter.bi_sector;
69 req->i.size = bio_src->bi_iter.bi_size;
Andreas Gruenbacher5e472262011-01-27 14:42:51 +010070 req->i.local = true;
Andreas Gruenbacher53840642011-01-28 10:31:04 +010071 req->i.waiting = false;
72
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010073 INIT_LIST_HEAD(&req->tl_requests);
74 INIT_LIST_HEAD(&req->w.list);
Lars Ellenberg844a6ae2013-11-22 12:52:03 +010075 INIT_LIST_HEAD(&req->req_pending_master_completion);
76 INIT_LIST_HEAD(&req->req_pending_local);
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010077
Lars Ellenberga0d856d2012-01-24 17:19:42 +010078 /* one reference to be put by __drbd_make_request */
Lars Ellenbergb4067772012-01-24 16:58:11 +010079 atomic_set(&req->completion_ref, 1);
Lars Ellenberga0d856d2012-01-24 17:19:42 +010080 /* one kref as long as completion_ref > 0 */
Lars Ellenbergb4067772012-01-24 16:58:11 +010081 kref_init(&req->kref);
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010082 return req;
83}
84
Lars Ellenberg08d0dab2014-03-20 11:19:22 +010085static void drbd_remove_request_interval(struct rb_root *root,
86 struct drbd_request *req)
87{
88 struct drbd_device *device = req->device;
89 struct drbd_interval *i = &req->i;
90
91 drbd_remove_interval(root, i);
92
93 /* Wake up any processes waiting for this request to complete. */
94 if (i->waiting)
95 wake_up(&device->misc_wait);
96}
97
Lars Ellenberg9a278a72012-07-24 10:12:36 +020098void drbd_req_destroy(struct kref *kref)
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010099{
Lars Ellenbergb4067772012-01-24 16:58:11 +0100100 struct drbd_request *req = container_of(kref, struct drbd_request, kref);
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200101 struct drbd_device *device = req->device;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100102 const unsigned s = req->rq_state;
103
104 if ((req->master_bio && !(s & RQ_POSTPONED)) ||
105 atomic_read(&req->completion_ref) ||
106 (s & RQ_LOCAL_PENDING) ||
107 ((s & RQ_NET_MASK) && !(s & RQ_NET_DONE))) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200108 drbd_err(device, "drbd_req_destroy: Logic BUG rq_state = 0x%x, completion_ref = %d\n",
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100109 s, atomic_read(&req->completion_ref));
110 return;
111 }
Philipp Reisner288f4222010-05-27 15:07:43 +0200112
Lars Ellenberg844a6ae2013-11-22 12:52:03 +0100113 /* If called from mod_rq_state (expected normal case) or
114 * drbd_send_and_submit (the less likely normal path), this holds the
115 * req_lock, and req->tl_requests will typicaly be on ->transfer_log,
116 * though it may be still empty (never added to the transfer log).
117 *
118 * If called from do_retry(), we do NOT hold the req_lock, but we are
119 * still allowed to unconditionally list_del(&req->tl_requests),
120 * because it will be on a local on-stack list only. */
Lars Ellenberg2312f0b32011-11-24 10:36:25 +0100121 list_del_init(&req->tl_requests);
Philipp Reisner288f4222010-05-27 15:07:43 +0200122
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100123 /* finally remove the request from the conflict detection
124 * respective block_id verification interval tree. */
125 if (!drbd_interval_empty(&req->i)) {
126 struct rb_root *root;
127
128 if (s & RQ_WRITE)
129 root = &device->write_requests;
130 else
131 root = &device->read_requests;
132 drbd_remove_request_interval(root, req);
133 } else if (s & (RQ_NET_MASK & ~RQ_NET_DONE) && req->i.size != 0)
134 drbd_err(device, "drbd_req_destroy: Logic BUG: interval empty, but: rq_state=0x%x, sect=%llu, size=%u\n",
135 s, (unsigned long long)req->i.sector, req->i.size);
136
Philipp Reisnerb411b362009-09-25 16:07:19 -0700137 /* if it was a write, we may have to set the corresponding
138 * bit(s) out-of-sync first. If it had a local part, we need to
139 * release the reference to the activity log. */
Lars Ellenbergb4067772012-01-24 16:58:11 +0100140 if (s & RQ_WRITE) {
Philipp Reisnerb411b362009-09-25 16:07:19 -0700141 /* Set out-of-sync unless both OK flags are set
142 * (local only or remote failed).
143 * Other places where we set out-of-sync:
144 * READ with local io-error */
Philipp Reisnerb411b362009-09-25 16:07:19 -0700145
Lars Ellenberg70f17b62012-09-03 14:08:35 +0200146 /* There is a special case:
147 * we may notice late that IO was suspended,
148 * and postpone, or schedule for retry, a write,
149 * before it even was submitted or sent.
150 * In that case we do not want to touch the bitmap at all.
151 */
152 if ((s & (RQ_POSTPONED|RQ_LOCAL_MASK|RQ_NET_MASK)) != RQ_POSTPONED) {
Philipp Reisnerd7644012012-08-28 14:39:44 +0200153 if (!(s & RQ_NET_OK) || !(s & RQ_LOCAL_OK))
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200154 drbd_set_out_of_sync(device, req->i.sector, req->i.size);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700155
Philipp Reisnerd7644012012-08-28 14:39:44 +0200156 if ((s & RQ_NET_OK) && (s & RQ_LOCAL_OK) && (s & RQ_NET_SIS))
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200157 drbd_set_in_sync(device, req->i.sector, req->i.size);
Philipp Reisnerd7644012012-08-28 14:39:44 +0200158 }
Philipp Reisnerb411b362009-09-25 16:07:19 -0700159
160 /* one might be tempted to move the drbd_al_complete_io
Andreas Gruenbacherfcefa622011-02-17 16:46:59 +0100161 * to the local io completion callback drbd_request_endio.
Philipp Reisnerb411b362009-09-25 16:07:19 -0700162 * but, if this was a mirror write, we may only
163 * drbd_al_complete_io after this is RQ_NET_DONE,
164 * otherwise the extent could be dropped from the al
165 * before it has actually been written on the peer.
166 * if we crash before our peer knows about the request,
167 * but after the extent has been dropped from the al,
168 * we would forget to resync the corresponding extent.
169 */
Philipp Reisner76590cd2012-08-29 15:23:14 +0200170 if (s & RQ_IN_ACT_LOG) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200171 if (get_ldev_if_state(device, D_FAILED)) {
172 drbd_al_complete_io(device, &req->i);
173 put_ldev(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700174 } else if (__ratelimit(&drbd_ratelimit_state)) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200175 drbd_warn(device, "Should have called drbd_al_complete_io(, %llu, %u), "
Lars Ellenberg181286a2011-03-31 15:18:56 +0200176 "but my Disk seems to have failed :(\n",
177 (unsigned long long) req->i.sector, req->i.size);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700178 }
179 }
180 }
181
Lars Ellenberg9a278a72012-07-24 10:12:36 +0200182 mempool_free(req, drbd_request_mempool);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700183}
184
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200185static void wake_all_senders(struct drbd_connection *connection)
186{
187 wake_up(&connection->sender_work.q_wait);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700188}
Philipp Reisnerb411b362009-09-25 16:07:19 -0700189
Lars Ellenbergb6dd1a82011-11-28 15:04:49 +0100190/* must hold resource->req_lock */
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200191void start_new_tl_epoch(struct drbd_connection *connection)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700192{
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +0200193 /* no point closing an epoch, if it is empty, anyways. */
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200194 if (connection->current_tle_writes == 0)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700195 return;
196
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200197 connection->current_tle_writes = 0;
198 atomic_inc(&connection->current_tle_nr);
199 wake_all_senders(connection);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700200}
201
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200202void complete_master_bio(struct drbd_device *device,
Philipp Reisnerb411b362009-09-25 16:07:19 -0700203 struct bio_and_error *m)
204{
Christoph Hellwig4246a0b2015-07-20 15:29:37 +0200205 m->bio->bi_error = m->error;
206 bio_endio(m->bio);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200207 dec_ap_bio(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700208}
209
Andreas Gruenbacher53840642011-01-28 10:31:04 +0100210
Philipp Reisnerb411b362009-09-25 16:07:19 -0700211/* Helper for __req_mod().
212 * Set m->bio to the master bio, if it is fit to be completed,
213 * or leave it alone (it is initialized to NULL in __req_mod),
214 * if it has already been completed, or cannot be completed yet.
215 * If m->bio is set, the error status to be returned is placed in m->error.
216 */
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200217static
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100218void drbd_req_complete(struct drbd_request *req, struct bio_and_error *m)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700219{
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100220 const unsigned s = req->rq_state;
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200221 struct drbd_device *device = req->device;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100222 int error, ok;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700223
Philipp Reisnerb411b362009-09-25 16:07:19 -0700224 /* we must not complete the master bio, while it is
225 * still being processed by _drbd_send_zc_bio (drbd_send_dblock)
226 * not yet acknowledged by the peer
227 * not yet completed by the local io subsystem
228 * these flags may get cleared in any order by
229 * the worker,
230 * the receiver,
231 * the bio_endio completion callbacks.
232 */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100233 if ((s & RQ_LOCAL_PENDING && !(s & RQ_LOCAL_ABORTED)) ||
234 (s & RQ_NET_QUEUED) || (s & RQ_NET_PENDING) ||
235 (s & RQ_COMPLETION_SUSP)) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200236 drbd_err(device, "drbd_req_complete: Logic BUG rq_state = 0x%x\n", s);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700237 return;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700238 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100239
240 if (!req->master_bio) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200241 drbd_err(device, "drbd_req_complete: Logic BUG, master_bio == NULL!\n");
Philipp Reisnerb411b362009-09-25 16:07:19 -0700242 return;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100243 }
Philipp Reisnerb411b362009-09-25 16:07:19 -0700244
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100245 /*
246 * figure out whether to report success or failure.
247 *
248 * report success when at least one of the operations succeeded.
249 * or, to put the other way,
250 * only report failure, when both operations failed.
251 *
252 * what to do about the failures is handled elsewhere.
253 * what we need to do here is just: complete the master_bio.
254 *
255 * local completion error, if any, has been stored as ERR_PTR
256 * in private_bio within drbd_request_endio.
257 */
258 ok = (s & RQ_LOCAL_OK) || (s & RQ_NET_OK);
259 error = PTR_ERR(req->private_bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700260
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100261 /* Before we can signal completion to the upper layers,
262 * we may need to close the current transfer log epoch.
263 * We are within the request lock, so we can simply compare
264 * the request epoch number with the current transfer log
265 * epoch number. If they match, increase the current_tle_nr,
266 * and reset the transfer log epoch write_cnt.
267 */
Christoph Hellwig70246282016-07-19 11:28:41 +0200268 if (op_is_write(bio_op(req->master_bio)) &&
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +0200269 req->epoch == atomic_read(&first_peer_device(device)->connection->current_tle_nr))
270 start_new_tl_epoch(first_peer_device(device)->connection);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700271
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100272 /* Update disk stats */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200273 _drbd_end_io_acct(device, req);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100274
275 /* If READ failed,
276 * have it be pushed back to the retry work queue,
277 * so it will re-enter __drbd_make_request(),
278 * and be re-assigned to a suitable local or remote path,
279 * or failed if we do not have access to good data anymore.
280 *
281 * Unless it was failed early by __drbd_make_request(),
282 * because no path was available, in which case
283 * it was not even added to the transfer_log.
284 *
Christoph Hellwig70246282016-07-19 11:28:41 +0200285 * read-ahead may fail, and will not be retried.
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100286 *
287 * WRITE should have used all available paths already.
288 */
Christoph Hellwig70246282016-07-19 11:28:41 +0200289 if (!ok &&
290 bio_op(req->master_bio) == REQ_OP_READ &&
Jens Axboe1eff9d32016-08-05 15:35:16 -0600291 !(req->master_bio->bi_opf & REQ_RAHEAD) &&
Christoph Hellwig70246282016-07-19 11:28:41 +0200292 !list_empty(&req->tl_requests))
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100293 req->rq_state |= RQ_POSTPONED;
294
295 if (!(req->rq_state & RQ_POSTPONED)) {
Philipp Reisnerb411b362009-09-25 16:07:19 -0700296 m->error = ok ? 0 : (error ?: -EIO);
297 m->bio = req->master_bio;
298 req->master_bio = NULL;
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100299 /* We leave it in the tree, to be able to verify later
300 * write-acks in protocol != C during resync.
301 * But we mark it as "complete", so it won't be counted as
302 * conflict in a multi-primary setup. */
303 req->i.completed = true;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700304 }
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100305
306 if (req->i.waiting)
307 wake_up(&device->misc_wait);
Lars Ellenberg844a6ae2013-11-22 12:52:03 +0100308
309 /* Either we are about to complete to upper layers,
310 * or we will restart this request.
311 * In either case, the request object will be destroyed soon,
312 * so better remove it from all lists. */
313 list_del_init(&req->req_pending_master_completion);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700314}
315
Lars Ellenberg844a6ae2013-11-22 12:52:03 +0100316/* still holds resource->req_lock */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100317static int drbd_req_put_completion_ref(struct drbd_request *req, struct bio_and_error *m, int put)
Philipp Reisnercfa03412010-06-23 17:18:51 +0200318{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200319 struct drbd_device *device = req->device;
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200320 D_ASSERT(device, m || (req->rq_state & RQ_POSTPONED));
Philipp Reisnercfa03412010-06-23 17:18:51 +0200321
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100322 if (!atomic_sub_and_test(put, &req->completion_ref))
Philipp Reisnerb411b362009-09-25 16:07:19 -0700323 return 0;
324
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100325 drbd_req_complete(req, m);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700326
Lars Ellenberg9a278a72012-07-24 10:12:36 +0200327 if (req->rq_state & RQ_POSTPONED) {
328 /* don't destroy the req object just yet,
329 * but queue it for retry */
330 drbd_restart_request(req);
331 return 0;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700332 }
333
Philipp Reisnerb411b362009-09-25 16:07:19 -0700334 return 1;
335}
336
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100337static void set_if_null_req_next(struct drbd_peer_device *peer_device, struct drbd_request *req)
338{
339 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
340 if (!connection)
341 return;
342 if (connection->req_next == NULL)
343 connection->req_next = req;
344}
345
346static void advance_conn_req_next(struct drbd_peer_device *peer_device, struct drbd_request *req)
347{
348 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
349 if (!connection)
350 return;
351 if (connection->req_next != req)
352 return;
353 list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
354 const unsigned s = req->rq_state;
355 if (s & RQ_NET_QUEUED)
356 break;
357 }
358 if (&req->tl_requests == &connection->transfer_log)
359 req = NULL;
360 connection->req_next = req;
361}
362
363static void set_if_null_req_ack_pending(struct drbd_peer_device *peer_device, struct drbd_request *req)
364{
365 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
366 if (!connection)
367 return;
368 if (connection->req_ack_pending == NULL)
369 connection->req_ack_pending = req;
370}
371
372static void advance_conn_req_ack_pending(struct drbd_peer_device *peer_device, struct drbd_request *req)
373{
374 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
375 if (!connection)
376 return;
377 if (connection->req_ack_pending != req)
378 return;
379 list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
380 const unsigned s = req->rq_state;
381 if ((s & RQ_NET_SENT) && (s & RQ_NET_PENDING))
382 break;
383 }
384 if (&req->tl_requests == &connection->transfer_log)
385 req = NULL;
386 connection->req_ack_pending = req;
387}
388
389static void set_if_null_req_not_net_done(struct drbd_peer_device *peer_device, struct drbd_request *req)
390{
391 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
392 if (!connection)
393 return;
394 if (connection->req_not_net_done == NULL)
395 connection->req_not_net_done = req;
396}
397
398static void advance_conn_req_not_net_done(struct drbd_peer_device *peer_device, struct drbd_request *req)
399{
400 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
401 if (!connection)
402 return;
403 if (connection->req_not_net_done != req)
404 return;
405 list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
406 const unsigned s = req->rq_state;
407 if ((s & RQ_NET_SENT) && !(s & RQ_NET_DONE))
408 break;
409 }
410 if (&req->tl_requests == &connection->transfer_log)
411 req = NULL;
412 connection->req_not_net_done = req;
413}
414
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100415/* I'd like this to be the only place that manipulates
416 * req->completion_ref and req->kref. */
417static void mod_rq_state(struct drbd_request *req, struct bio_and_error *m,
418 int clear, int set)
419{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200420 struct drbd_device *device = req->device;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100421 struct drbd_peer_device *peer_device = first_peer_device(device);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100422 unsigned s = req->rq_state;
423 int c_put = 0;
424 int k_put = 0;
425
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200426 if (drbd_suspended(device) && !((s | clear) & RQ_COMPLETION_SUSP))
Philipp Reisner5af2e8c2012-08-14 11:28:52 +0200427 set |= RQ_COMPLETION_SUSP;
428
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100429 /* apply */
430
431 req->rq_state &= ~clear;
432 req->rq_state |= set;
433
434 /* no change? */
435 if (req->rq_state == s)
436 return;
437
438 /* intent: get references */
439
440 if (!(s & RQ_LOCAL_PENDING) && (set & RQ_LOCAL_PENDING))
441 atomic_inc(&req->completion_ref);
442
443 if (!(s & RQ_NET_PENDING) && (set & RQ_NET_PENDING)) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200444 inc_ap_pending(device);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100445 atomic_inc(&req->completion_ref);
446 }
447
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100448 if (!(s & RQ_NET_QUEUED) && (set & RQ_NET_QUEUED)) {
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100449 atomic_inc(&req->completion_ref);
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100450 set_if_null_req_next(peer_device, req);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100451 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100452
453 if (!(s & RQ_EXP_BARR_ACK) && (set & RQ_EXP_BARR_ACK))
454 kref_get(&req->kref); /* wait for the DONE */
455
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100456 if (!(s & RQ_NET_SENT) && (set & RQ_NET_SENT)) {
Philipp Reisner668700b2015-03-16 16:08:29 +0100457 /* potentially already completed in the ack_receiver thread */
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100458 if (!(s & RQ_NET_DONE)) {
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100459 atomic_add(req->i.size >> 9, &device->ap_in_flight);
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100460 set_if_null_req_not_net_done(peer_device, req);
461 }
Lars Ellenbergf85d9f22015-05-18 14:08:46 +0200462 if (req->rq_state & RQ_NET_PENDING)
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100463 set_if_null_req_ack_pending(peer_device, req);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100464 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100465
Philipp Reisner5af2e8c2012-08-14 11:28:52 +0200466 if (!(s & RQ_COMPLETION_SUSP) && (set & RQ_COMPLETION_SUSP))
467 atomic_inc(&req->completion_ref);
468
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100469 /* progress: put references */
470
471 if ((s & RQ_COMPLETION_SUSP) && (clear & RQ_COMPLETION_SUSP))
472 ++c_put;
473
474 if (!(s & RQ_LOCAL_ABORTED) && (set & RQ_LOCAL_ABORTED)) {
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200475 D_ASSERT(device, req->rq_state & RQ_LOCAL_PENDING);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100476 /* local completion may still come in later,
477 * we need to keep the req object around. */
478 kref_get(&req->kref);
479 ++c_put;
480 }
481
482 if ((s & RQ_LOCAL_PENDING) && (clear & RQ_LOCAL_PENDING)) {
483 if (req->rq_state & RQ_LOCAL_ABORTED)
484 ++k_put;
485 else
486 ++c_put;
Lars Ellenberg844a6ae2013-11-22 12:52:03 +0100487 list_del_init(&req->req_pending_local);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100488 }
489
490 if ((s & RQ_NET_PENDING) && (clear & RQ_NET_PENDING)) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200491 dec_ap_pending(device);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100492 ++c_put;
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100493 req->acked_jif = jiffies;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100494 advance_conn_req_ack_pending(peer_device, req);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100495 }
496
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100497 if ((s & RQ_NET_QUEUED) && (clear & RQ_NET_QUEUED)) {
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100498 ++c_put;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100499 advance_conn_req_next(peer_device, req);
500 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100501
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100502 if (!(s & RQ_NET_DONE) && (set & RQ_NET_DONE)) {
503 if (s & RQ_NET_SENT)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200504 atomic_sub(req->i.size >> 9, &device->ap_in_flight);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100505 if (s & RQ_EXP_BARR_ACK)
506 ++k_put;
507 req->net_done_jif = jiffies;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100508
509 /* in ahead/behind mode, or just in case,
510 * before we finally destroy this request,
511 * the caching pointers must not reference it anymore */
512 advance_conn_req_next(peer_device, req);
513 advance_conn_req_ack_pending(peer_device, req);
514 advance_conn_req_not_net_done(peer_device, req);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100515 }
516
517 /* potentially complete and destroy */
518
519 if (k_put || c_put) {
520 /* Completion does it's own kref_put. If we are going to
521 * kref_sub below, we need req to be still around then. */
522 int at_least = k_put + !!c_put;
523 int refcount = atomic_read(&req->kref.refcount);
524 if (refcount < at_least)
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200525 drbd_err(device,
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100526 "mod_rq_state: Logic BUG: %x -> %x: refcount = %d, should be >= %d\n",
527 s, req->rq_state, refcount, at_least);
528 }
529
530 /* If we made progress, retry conflicting peer requests, if any. */
531 if (req->i.waiting)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200532 wake_up(&device->misc_wait);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100533
534 if (c_put)
535 k_put += drbd_req_put_completion_ref(req, m, c_put);
536 if (k_put)
537 kref_sub(&req->kref, k_put, drbd_req_destroy);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700538}
539
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200540static void drbd_report_io_error(struct drbd_device *device, struct drbd_request *req)
Lars Ellenbergccae7862012-09-26 14:07:04 +0200541{
542 char b[BDEVNAME_SIZE];
543
Lars Ellenberg42839f62012-09-27 15:19:38 +0200544 if (!__ratelimit(&drbd_ratelimit_state))
Lars Ellenbergccae7862012-09-26 14:07:04 +0200545 return;
546
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200547 drbd_warn(device, "local %s IO error sector %llu+%u on %s\n",
Lars Ellenbergccae7862012-09-26 14:07:04 +0200548 (req->rq_state & RQ_WRITE) ? "WRITE" : "READ",
Lars Ellenberg42839f62012-09-27 15:19:38 +0200549 (unsigned long long)req->i.sector,
550 req->i.size >> 9,
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200551 bdevname(device->ldev->backing_bdev, b));
Lars Ellenbergccae7862012-09-26 14:07:04 +0200552}
553
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100554/* Helper for HANDED_OVER_TO_NETWORK.
555 * Is this a protocol A write (neither WRITE_ACK nor RECEIVE_ACK expected)?
556 * Is it also still "PENDING"?
557 * --> If so, clear PENDING and set NET_OK below.
558 * If it is a protocol A write, but not RQ_PENDING anymore, neg-ack was faster
559 * (and we must not set RQ_NET_OK) */
560static inline bool is_pending_write_protocol_A(struct drbd_request *req)
561{
562 return (req->rq_state &
563 (RQ_WRITE|RQ_NET_PENDING|RQ_EXP_WRITE_ACK|RQ_EXP_RECEIVE_ACK))
564 == (RQ_WRITE|RQ_NET_PENDING);
565}
566
Philipp Reisnerb411b362009-09-25 16:07:19 -0700567/* obviously this could be coded as many single functions
568 * instead of one huge switch,
569 * or by putting the code directly in the respective locations
570 * (as it has been before).
571 *
572 * but having it this way
573 * enforces that it is all in this one place, where it is easier to audit,
574 * it makes it obvious that whatever "event" "happens" to a request should
575 * happen "atomically" within the req_lock,
576 * and it enforces that we have to think in a very structured manner
577 * about the "events" that may happen to a request during its life time ...
578 */
Philipp Reisner2a806992010-06-09 14:07:43 +0200579int __req_mod(struct drbd_request *req, enum drbd_req_event what,
Philipp Reisnerb411b362009-09-25 16:07:19 -0700580 struct bio_and_error *m)
581{
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100582 struct drbd_device *const device = req->device;
583 struct drbd_peer_device *const peer_device = first_peer_device(device);
584 struct drbd_connection *const connection = peer_device ? peer_device->connection : NULL;
Philipp Reisner44ed1672011-04-19 17:10:19 +0200585 struct net_conf *nc;
Philipp Reisner303d1442011-04-13 16:24:47 -0700586 int p, rv = 0;
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100587
588 if (m)
589 m->bio = NULL;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700590
Philipp Reisnerb411b362009-09-25 16:07:19 -0700591 switch (what) {
592 default:
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200593 drbd_err(device, "LOGIC BUG in %s:%u\n", __FILE__ , __LINE__);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700594 break;
595
596 /* does not happen...
597 * initialization done in drbd_req_new
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100598 case CREATED:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700599 break;
600 */
601
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100602 case TO_BE_SENT: /* via network */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100603 /* reached via __drbd_make_request
Philipp Reisnerb411b362009-09-25 16:07:19 -0700604 * and from w_read_retry_remote */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200605 D_ASSERT(device, !(req->rq_state & RQ_NET_MASK));
Philipp Reisner44ed1672011-04-19 17:10:19 +0200606 rcu_read_lock();
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100607 nc = rcu_dereference(connection->net_conf);
Philipp Reisner44ed1672011-04-19 17:10:19 +0200608 p = nc->wire_protocol;
609 rcu_read_unlock();
Philipp Reisner303d1442011-04-13 16:24:47 -0700610 req->rq_state |=
611 p == DRBD_PROT_C ? RQ_EXP_WRITE_ACK :
612 p == DRBD_PROT_B ? RQ_EXP_RECEIVE_ACK : 0;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100613 mod_rq_state(req, m, 0, RQ_NET_PENDING);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700614 break;
615
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100616 case TO_BE_SUBMITTED: /* locally */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100617 /* reached via __drbd_make_request */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200618 D_ASSERT(device, !(req->rq_state & RQ_LOCAL_MASK));
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100619 mod_rq_state(req, m, 0, RQ_LOCAL_PENDING);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700620 break;
621
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100622 case COMPLETED_OK:
Philipp Reisner2b4dd362011-03-14 13:01:50 +0100623 if (req->rq_state & RQ_WRITE)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200624 device->writ_cnt += req->i.size >> 9;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700625 else
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200626 device->read_cnt += req->i.size >> 9;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700627
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100628 mod_rq_state(req, m, RQ_LOCAL_PENDING,
629 RQ_LOCAL_COMPLETED|RQ_LOCAL_OK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700630 break;
631
Philipp Reisnercdfda632011-07-05 15:38:59 +0200632 case ABORT_DISK_IO:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100633 mod_rq_state(req, m, 0, RQ_LOCAL_ABORTED);
Philipp Reisner2b4dd362011-03-14 13:01:50 +0100634 break;
635
Lars Ellenbergedc9f5e2012-09-27 15:18:21 +0200636 case WRITE_COMPLETED_WITH_ERROR:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200637 drbd_report_io_error(device, req);
638 __drbd_chk_io_error(device, DRBD_WRITE_ERROR);
Lars Ellenbergedc9f5e2012-09-27 15:18:21 +0200639 mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700640 break;
641
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100642 case READ_COMPLETED_WITH_ERROR:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200643 drbd_set_out_of_sync(device, req->i.sector, req->i.size);
644 drbd_report_io_error(device, req);
645 __drbd_chk_io_error(device, DRBD_READ_ERROR);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100646 /* fall through. */
647 case READ_AHEAD_COMPLETED_WITH_ERROR:
Christoph Hellwig70246282016-07-19 11:28:41 +0200648 /* it is legal to fail read-ahead, no __drbd_chk_io_error in that case. */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100649 mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
Lars Ellenberg4439c402012-03-26 17:29:30 +0200650 break;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700651
Lars Ellenberg2f632ae2014-04-28 18:43:24 +0200652 case DISCARD_COMPLETED_NOTSUPP:
653 case DISCARD_COMPLETED_WITH_ERROR:
654 /* I'd rather not detach from local disk just because it
655 * failed a REQ_DISCARD. */
656 mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
657 break;
658
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100659 case QUEUE_FOR_NET_READ:
Christoph Hellwig70246282016-07-19 11:28:41 +0200660 /* READ, and
Philipp Reisnerb411b362009-09-25 16:07:19 -0700661 * no local disk,
662 * or target area marked as invalid,
663 * or just got an io-error. */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100664 /* from __drbd_make_request
Philipp Reisnerb411b362009-09-25 16:07:19 -0700665 * or from bio_endio during read io-error recovery */
666
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200667 /* So we can verify the handle in the answer packet.
668 * Corresponding drbd_remove_request_interval is in
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100669 * drbd_req_complete() */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200670 D_ASSERT(device, drbd_interval_empty(&req->i));
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200671 drbd_insert_interval(&device->read_requests, &req->i);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700672
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200673 set_bit(UNPLUG_REMOTE, &device->flags);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700674
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200675 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
676 D_ASSERT(device, (req->rq_state & RQ_LOCAL_MASK) == 0);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100677 mod_rq_state(req, m, 0, RQ_NET_QUEUED);
Lars Ellenberg4439c402012-03-26 17:29:30 +0200678 req->w.cb = w_send_read_req;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100679 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200680 &req->w);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700681 break;
682
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100683 case QUEUE_FOR_NET_WRITE:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700684 /* assert something? */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100685 /* from __drbd_make_request only */
Philipp Reisnerb411b362009-09-25 16:07:19 -0700686
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200687 /* Corresponding drbd_remove_request_interval is in
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100688 * drbd_req_complete() */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200689 D_ASSERT(device, drbd_interval_empty(&req->i));
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200690 drbd_insert_interval(&device->write_requests, &req->i);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700691
692 /* NOTE
693 * In case the req ended up on the transfer log before being
694 * queued on the worker, it could lead to this request being
695 * missed during cleanup after connection loss.
696 * So we have to do both operations here,
697 * within the same lock that protects the transfer log.
698 *
699 * _req_add_to_epoch(req); this has to be after the
700 * _maybe_start_new_epoch(req); which happened in
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100701 * __drbd_make_request, because we now may set the bit
Philipp Reisnerb411b362009-09-25 16:07:19 -0700702 * again ourselves to close the current epoch.
703 *
704 * Add req to the (now) current epoch (barrier). */
705
Lars Ellenberg83c38832009-11-03 02:22:06 +0100706 /* otherwise we may lose an unplug, which may cause some remote
707 * io-scheduler timeout to expire, increasing maximum latency,
708 * hurting performance. */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200709 set_bit(UNPLUG_REMOTE, &device->flags);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700710
711 /* queue work item to send data */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200712 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100713 mod_rq_state(req, m, 0, RQ_NET_QUEUED|RQ_EXP_BARR_ACK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700714 req->w.cb = w_send_dblock;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100715 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200716 &req->w);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700717
718 /* close the epoch, in case it outgrew the limit */
Philipp Reisner44ed1672011-04-19 17:10:19 +0200719 rcu_read_lock();
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100720 nc = rcu_dereference(connection->net_conf);
Philipp Reisner44ed1672011-04-19 17:10:19 +0200721 p = nc->max_epoch_size;
722 rcu_read_unlock();
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100723 if (connection->current_tle_writes >= p)
724 start_new_tl_epoch(connection);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700725
726 break;
727
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100728 case QUEUE_FOR_SEND_OOS:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100729 mod_rq_state(req, m, 0, RQ_NET_QUEUED);
Andreas Gruenbacher8f7bed72010-12-19 23:53:14 +0100730 req->w.cb = w_send_out_of_sync;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100731 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200732 &req->w);
Philipp Reisner73a01a12010-10-27 14:33:00 +0200733 break;
734
Lars Ellenbergea9d6722012-03-26 16:46:39 +0200735 case READ_RETRY_REMOTE_CANCELED:
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100736 case SEND_CANCELED:
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100737 case SEND_FAILED:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700738 /* real cleanup will be done from tl_clear. just update flags
739 * so it is no longer marked as on the worker queue */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100740 mod_rq_state(req, m, RQ_NET_QUEUED, 0);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700741 break;
742
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100743 case HANDED_OVER_TO_NETWORK:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700744 /* assert something? */
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100745 if (is_pending_write_protocol_A(req))
Philipp Reisnerb411b362009-09-25 16:07:19 -0700746 /* this is what is dangerous about protocol A:
747 * pretend it was successfully written on the peer. */
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100748 mod_rq_state(req, m, RQ_NET_QUEUED|RQ_NET_PENDING,
749 RQ_NET_SENT|RQ_NET_OK);
750 else
751 mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_SENT);
752 /* It is still not yet RQ_NET_DONE until the
753 * corresponding epoch barrier got acked as well,
754 * so we know what to dirty on connection loss. */
Lars Ellenberg6d49e102012-01-11 09:43:25 +0100755 break;
756
Lars Ellenberg27a434f2012-03-26 16:44:59 +0200757 case OOS_HANDED_TO_NETWORK:
Lars Ellenberg6d49e102012-01-11 09:43:25 +0100758 /* Was not set PENDING, no longer QUEUED, so is now DONE
759 * as far as this connection is concerned. */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100760 mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_DONE);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700761 break;
762
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100763 case CONNECTION_LOST_WHILE_PENDING:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700764 /* transfer log cleanup after connection loss */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100765 mod_rq_state(req, m,
766 RQ_NET_OK|RQ_NET_PENDING|RQ_COMPLETION_SUSP,
767 RQ_NET_DONE);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700768 break;
769
Lars Ellenbergd4dabbe2012-08-01 12:33:51 +0200770 case CONFLICT_RESOLVED:
771 /* for superseded conflicting writes of multiple primaries,
Philipp Reisnerb411b362009-09-25 16:07:19 -0700772 * there is no need to keep anything in the tl, potential
Lars Ellenberg934722a2012-07-24 09:31:18 +0200773 * node crashes are covered by the activity log.
774 *
775 * If this request had been marked as RQ_POSTPONED before,
Lars Ellenbergd4dabbe2012-08-01 12:33:51 +0200776 * it will actually not be completed, but "restarted",
Lars Ellenberg934722a2012-07-24 09:31:18 +0200777 * resubmitted from the retry worker context. */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200778 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
779 D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
Lars Ellenberg934722a2012-07-24 09:31:18 +0200780 mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_DONE|RQ_NET_OK);
781 break;
782
Lars Ellenberg0afd5692012-03-26 16:51:11 +0200783 case WRITE_ACKED_BY_PEER_AND_SIS:
Lars Ellenberg934722a2012-07-24 09:31:18 +0200784 req->rq_state |= RQ_NET_SIS;
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100785 case WRITE_ACKED_BY_PEER:
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100786 /* Normal operation protocol C: successfully written on peer.
787 * During resync, even in protocol != C,
788 * we requested an explicit write ack anyways.
789 * Which means we cannot even assert anything here.
Lars Ellenbergd64957c2012-03-23 14:42:19 +0100790 * Nothing more to do here.
Philipp Reisnerb411b362009-09-25 16:07:19 -0700791 * We want to keep the tl in place for all protocols, to cater
Lars Ellenbergd64957c2012-03-23 14:42:19 +0100792 * for volatile write-back caches on lower level devices. */
Philipp Reisner303d1442011-04-13 16:24:47 -0700793 goto ack_common;
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100794 case RECV_ACKED_BY_PEER:
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200795 D_ASSERT(device, req->rq_state & RQ_EXP_RECEIVE_ACK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700796 /* protocol B; pretends to be successfully written on peer.
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100797 * see also notes above in HANDED_OVER_TO_NETWORK about
Philipp Reisnerb411b362009-09-25 16:07:19 -0700798 * protocol != C */
Philipp Reisner303d1442011-04-13 16:24:47 -0700799 ack_common:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100800 mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700801 break;
802
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100803 case POSTPONE_WRITE:
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200804 D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
Philipp Reisner303d1442011-04-13 16:24:47 -0700805 /* If this node has already detected the write conflict, the
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100806 * worker will be waiting on misc_wait. Wake it up once this
807 * request has completed locally.
808 */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200809 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100810 req->rq_state |= RQ_POSTPONED;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100811 if (req->i.waiting)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200812 wake_up(&device->misc_wait);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100813 /* Do not clear RQ_NET_PENDING. This request will make further
814 * progress via restart_conflicting_writes() or
815 * fail_postponed_requests(). Hopefully. */
Philipp Reisnerb411b362009-09-25 16:07:19 -0700816 break;
817
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100818 case NEG_ACKED:
Lars Ellenberg46e21bb2012-08-07 06:47:14 +0200819 mod_rq_state(req, m, RQ_NET_OK|RQ_NET_PENDING, 0);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700820 break;
821
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100822 case FAIL_FROZEN_DISK_IO:
Philipp Reisner265be2d2010-05-31 10:14:17 +0200823 if (!(req->rq_state & RQ_LOCAL_COMPLETED))
824 break;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100825 mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
Philipp Reisner265be2d2010-05-31 10:14:17 +0200826 break;
827
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100828 case RESTART_FROZEN_DISK_IO:
Philipp Reisner265be2d2010-05-31 10:14:17 +0200829 if (!(req->rq_state & RQ_LOCAL_COMPLETED))
830 break;
831
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100832 mod_rq_state(req, m,
833 RQ_COMPLETION_SUSP|RQ_LOCAL_COMPLETED,
834 RQ_LOCAL_PENDING);
Philipp Reisner265be2d2010-05-31 10:14:17 +0200835
836 rv = MR_READ;
837 if (bio_data_dir(req->master_bio) == WRITE)
838 rv = MR_WRITE;
839
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200840 get_ldev(device); /* always succeeds in this call path */
Philipp Reisner265be2d2010-05-31 10:14:17 +0200841 req->w.cb = w_restart_disk_io;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100842 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200843 &req->w);
Philipp Reisner265be2d2010-05-31 10:14:17 +0200844 break;
845
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100846 case RESEND:
Philipp Reisner509fc012012-07-31 11:22:58 +0200847 /* Simply complete (local only) READs. */
848 if (!(req->rq_state & RQ_WRITE) && !req->w.cb) {
Philipp Reisner8a0bab22012-08-07 13:28:00 +0200849 mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
Philipp Reisner509fc012012-07-31 11:22:58 +0200850 break;
851 }
852
Philipp Reisner11b58e72010-05-12 17:08:26 +0200853 /* If RQ_NET_OK is already set, we got a P_WRITE_ACK or P_RECV_ACK
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100854 before the connection loss (B&C only); only P_BARRIER_ACK
855 (or the local completion?) was missing when we suspended.
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200856 Throwing them out of the TL here by pretending we got a BARRIER_ACK.
857 During connection handshake, we ensure that the peer was not rebooted. */
Philipp Reisner11b58e72010-05-12 17:08:26 +0200858 if (!(req->rq_state & RQ_NET_OK)) {
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200859 /* FIXME could this possibly be a req->dw.cb == w_send_out_of_sync?
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100860 * in that case we must not set RQ_NET_PENDING. */
861
862 mod_rq_state(req, m, RQ_COMPLETION_SUSP, RQ_NET_QUEUED|RQ_NET_PENDING);
Philipp Reisner11b58e72010-05-12 17:08:26 +0200863 if (req->w.cb) {
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100864 /* w.cb expected to be w_send_dblock, or w_send_read_req */
865 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200866 &req->w);
Philipp Reisner11b58e72010-05-12 17:08:26 +0200867 rv = req->rq_state & RQ_WRITE ? MR_WRITE : MR_READ;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100868 } /* else: FIXME can this happen? */
Philipp Reisner11b58e72010-05-12 17:08:26 +0200869 break;
870 }
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100871 /* else, fall through to BARRIER_ACKED */
Philipp Reisner11b58e72010-05-12 17:08:26 +0200872
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100873 case BARRIER_ACKED:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100874 /* barrier ack for READ requests does not make sense */
Philipp Reisner288f4222010-05-27 15:07:43 +0200875 if (!(req->rq_state & RQ_WRITE))
876 break;
877
Philipp Reisnerb411b362009-09-25 16:07:19 -0700878 if (req->rq_state & RQ_NET_PENDING) {
Andreas Gruenbachera209b4a2011-08-17 12:43:25 +0200879 /* barrier came in before all requests were acked.
Philipp Reisnerb411b362009-09-25 16:07:19 -0700880 * this is bad, because if the connection is lost now,
881 * we won't be able to clean them up... */
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200882 drbd_err(device, "FIXME (BARRIER_ACKED but pending)\n");
Philipp Reisnerb411b362009-09-25 16:07:19 -0700883 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100884 /* Allowed to complete requests, even while suspended.
885 * As this is called for all requests within a matching epoch,
886 * we need to filter, and only set RQ_NET_DONE for those that
887 * have actually been on the wire. */
888 mod_rq_state(req, m, RQ_COMPLETION_SUSP,
889 (req->rq_state & RQ_NET_MASK) ? RQ_NET_DONE : 0);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700890 break;
891
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100892 case DATA_RECEIVED:
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200893 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100894 mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK|RQ_NET_DONE);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700895 break;
Lars Ellenberg7074e4a2013-03-27 14:08:41 +0100896
897 case QUEUE_AS_DRBD_BARRIER:
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100898 start_new_tl_epoch(connection);
Lars Ellenberg7074e4a2013-03-27 14:08:41 +0100899 mod_rq_state(req, m, 0, RQ_NET_OK|RQ_NET_DONE);
900 break;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700901 };
Philipp Reisner2a806992010-06-09 14:07:43 +0200902
903 return rv;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700904}
905
906/* we may do a local read if:
907 * - we are consistent (of course),
908 * - or we are generally inconsistent,
909 * BUT we are still/already IN SYNC for this area.
910 * since size may be bigger than BM_BLOCK_SIZE,
911 * we may need to check several bits.
912 */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200913static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700914{
915 unsigned long sbnr, ebnr;
916 sector_t esector, nr_sectors;
917
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200918 if (device->state.disk == D_UP_TO_DATE)
Andreas Gruenbacher0da34df2010-12-19 20:48:29 +0100919 return true;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200920 if (device->state.disk != D_INCONSISTENT)
Andreas Gruenbacher0da34df2010-12-19 20:48:29 +0100921 return false;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700922 esector = sector + (size >> 9) - 1;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200923 nr_sectors = drbd_get_capacity(device->this_bdev);
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200924 D_ASSERT(device, sector < nr_sectors);
925 D_ASSERT(device, esector < nr_sectors);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700926
927 sbnr = BM_SECT_TO_BIT(sector);
928 ebnr = BM_SECT_TO_BIT(esector);
929
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200930 return drbd_bm_count_bits(device, sbnr, ebnr) == 0;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700931}
932
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200933static bool remote_due_to_read_balancing(struct drbd_device *device, sector_t sector,
Lars Ellenberg5da9c832012-03-29 17:04:14 +0200934 enum drbd_read_balancing rbm)
Philipp Reisner380207d2011-11-11 12:31:20 +0100935{
Philipp Reisner380207d2011-11-11 12:31:20 +0100936 struct backing_dev_info *bdi;
Philipp Reisnerd60de032011-11-17 10:12:31 +0100937 int stripe_shift;
Philipp Reisner380207d2011-11-11 12:31:20 +0100938
Philipp Reisner380207d2011-11-11 12:31:20 +0100939 switch (rbm) {
940 case RB_CONGESTED_REMOTE:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200941 bdi = &device->ldev->backing_bdev->bd_disk->queue->backing_dev_info;
Philipp Reisner380207d2011-11-11 12:31:20 +0100942 return bdi_read_congested(bdi);
943 case RB_LEAST_PENDING:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200944 return atomic_read(&device->local_cnt) >
945 atomic_read(&device->ap_pending_cnt) + atomic_read(&device->rs_pending_cnt);
Philipp Reisnerd60de032011-11-17 10:12:31 +0100946 case RB_32K_STRIPING: /* stripe_shift = 15 */
947 case RB_64K_STRIPING:
948 case RB_128K_STRIPING:
949 case RB_256K_STRIPING:
950 case RB_512K_STRIPING:
951 case RB_1M_STRIPING: /* stripe_shift = 20 */
952 stripe_shift = (rbm - RB_32K_STRIPING + 15);
953 return (sector >> (stripe_shift - 9)) & 1;
Philipp Reisner380207d2011-11-11 12:31:20 +0100954 case RB_ROUND_ROBIN:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200955 return test_and_change_bit(READ_BALANCE_RR, &device->flags);
Philipp Reisner380207d2011-11-11 12:31:20 +0100956 case RB_PREFER_REMOTE:
957 return true;
958 case RB_PREFER_LOCAL:
959 default:
960 return false;
961 }
962}
963
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100964/*
965 * complete_conflicting_writes - wait for any conflicting write requests
966 *
967 * The write_requests tree contains all active write requests which we
968 * currently know about. Wait for any requests to complete which conflict with
969 * the new one.
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200970 *
971 * Only way out: remove the conflicting intervals from the tree.
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100972 */
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200973static void complete_conflicting_writes(struct drbd_request *req)
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100974{
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200975 DEFINE_WAIT(wait);
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200976 struct drbd_device *device = req->device;
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200977 struct drbd_interval *i;
978 sector_t sector = req->i.sector;
979 int size = req->i.size;
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100980
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200981 for (;;) {
Lars Ellenberg1b228c92016-06-14 00:26:17 +0200982 drbd_for_each_overlap(i, &device->write_requests, sector, size) {
983 /* Ignore, if already completed to upper layers. */
984 if (i->completed)
985 continue;
986 /* Handle the first found overlap. After the schedule
987 * we have to restart the tree walk. */
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200988 break;
Lars Ellenberg1b228c92016-06-14 00:26:17 +0200989 }
990 if (!i) /* if any */
991 break;
992
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200993 /* Indicate to wake up device->misc_wait on progress. */
Lars Ellenberg1b228c92016-06-14 00:26:17 +0200994 prepare_to_wait(&device->misc_wait, &wait, TASK_UNINTERRUPTIBLE);
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200995 i->waiting = true;
Andreas Gruenbacher05008132011-07-07 14:19:42 +0200996 spin_unlock_irq(&device->resource->req_lock);
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200997 schedule();
Andreas Gruenbacher05008132011-07-07 14:19:42 +0200998 spin_lock_irq(&device->resource->req_lock);
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100999 }
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001000 finish_wait(&device->misc_wait, &wait);
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +01001001}
1002
Fabian Frederick7e5fec32016-06-14 00:26:35 +02001003/* called within req_lock */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001004static void maybe_pull_ahead(struct drbd_device *device)
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001005{
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001006 struct drbd_connection *connection = first_peer_device(device)->connection;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001007 struct net_conf *nc;
1008 bool congested = false;
1009 enum drbd_on_congestion on_congestion;
1010
Lars Ellenberg607f25e2013-03-27 14:08:45 +01001011 rcu_read_lock();
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +02001012 nc = rcu_dereference(connection->net_conf);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001013 on_congestion = nc ? nc->on_congestion : OC_BLOCK;
Lars Ellenberg607f25e2013-03-27 14:08:45 +01001014 rcu_read_unlock();
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001015 if (on_congestion == OC_BLOCK ||
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +02001016 connection->agreed_pro_version < 96)
Lars Ellenberg3b9ef852012-07-30 09:06:26 +02001017 return;
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001018
Lars Ellenberg0c066bc2014-03-20 14:04:35 +01001019 if (on_congestion == OC_PULL_AHEAD && device->state.conn == C_AHEAD)
1020 return; /* nothing to do ... */
1021
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001022 /* If I don't even have good local storage, we can not reasonably try
1023 * to pull ahead of the peer. We also need the local reference to make
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001024 * sure device->act_log is there.
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001025 */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001026 if (!get_ldev_if_state(device, D_UP_TO_DATE))
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001027 return;
1028
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001029 if (nc->cong_fill &&
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001030 atomic_read(&device->ap_in_flight) >= nc->cong_fill) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001031 drbd_info(device, "Congestion-fill threshold reached\n");
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001032 congested = true;
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001033 }
1034
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001035 if (device->act_log->used >= nc->cong_extents) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001036 drbd_info(device, "Congestion-extents threshold reached\n");
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001037 congested = true;
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001038 }
1039
1040 if (congested) {
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +02001041 /* start a new epoch for non-mirrored writes */
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001042 start_new_tl_epoch(first_peer_device(device)->connection);
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001043
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001044 if (on_congestion == OC_PULL_AHEAD)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001045 _drbd_set_state(_NS(device, conn, C_AHEAD), 0, NULL);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001046 else /*nc->on_congestion == OC_DISCONNECT */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001047 _drbd_set_state(_NS(device, conn, C_DISCONNECTING), 0, NULL);
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001048 }
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001049 put_ldev(device);
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001050}
1051
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001052/* If this returns false, and req->private_bio is still set,
1053 * this should be submitted locally.
1054 *
1055 * If it returns false, but req->private_bio is not set,
1056 * we do not have access to good data :(
1057 *
1058 * Otherwise, this destroys req->private_bio, if any,
1059 * and returns true.
1060 */
1061static bool do_remote_read(struct drbd_request *req)
1062{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +02001063 struct drbd_device *device = req->device;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001064 enum drbd_read_balancing rbm;
1065
1066 if (req->private_bio) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001067 if (!drbd_may_do_local_read(device,
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001068 req->i.sector, req->i.size)) {
1069 bio_put(req->private_bio);
1070 req->private_bio = NULL;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001071 put_ldev(device);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001072 }
1073 }
1074
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001075 if (device->state.pdsk != D_UP_TO_DATE)
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001076 return false;
1077
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001078 if (req->private_bio == NULL)
1079 return true;
1080
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001081 /* TODO: improve read balancing decisions, take into account drbd
1082 * protocol, pending requests etc. */
1083
1084 rcu_read_lock();
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001085 rbm = rcu_dereference(device->ldev->disk_conf)->read_balancing;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001086 rcu_read_unlock();
1087
1088 if (rbm == RB_PREFER_LOCAL && req->private_bio)
1089 return false; /* submit locally */
1090
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001091 if (remote_due_to_read_balancing(device, req->i.sector, rbm)) {
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001092 if (req->private_bio) {
1093 bio_put(req->private_bio);
1094 req->private_bio = NULL;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001095 put_ldev(device);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001096 }
1097 return true;
1098 }
1099
1100 return false;
1101}
1102
Andreas Gruenbacher2e9ffde2014-08-08 17:48:00 +02001103bool drbd_should_do_remote(union drbd_dev_state s)
1104{
1105 return s.pdsk == D_UP_TO_DATE ||
1106 (s.pdsk >= D_INCONSISTENT &&
1107 s.conn >= C_WF_BITMAP_T &&
1108 s.conn < C_AHEAD);
1109 /* Before proto 96 that was >= CONNECTED instead of >= C_WF_BITMAP_T.
1110 That is equivalent since before 96 IO was frozen in the C_WF_BITMAP*
1111 states. */
1112}
1113
1114static bool drbd_should_send_out_of_sync(union drbd_dev_state s)
1115{
1116 return s.conn == C_AHEAD || s.conn == C_WF_BITMAP_S;
1117 /* pdsk = D_INCONSISTENT as a consequence. Protocol 96 check not necessary
1118 since we enter state C_AHEAD only if proto >= 96 */
1119}
1120
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001121/* returns number of connections (== 1, for drbd 8.4)
1122 * expected to actually write this data,
1123 * which does NOT include those that we are L_AHEAD for. */
1124static int drbd_process_write_request(struct drbd_request *req)
1125{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +02001126 struct drbd_device *device = req->device;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001127 int remote, send_oos;
1128
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001129 remote = drbd_should_do_remote(device->state);
1130 send_oos = drbd_should_send_out_of_sync(device->state);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001131
Lars Ellenberg519b6d32012-08-03 02:19:09 +02001132 /* Need to replicate writes. Unless it is an empty flush,
1133 * which is better mapped to a DRBD P_BARRIER packet,
1134 * also for drbd wire protocol compatibility reasons.
1135 * If this was a flush, just start a new epoch.
1136 * Unless the current epoch was empty anyways, or we are not currently
1137 * replicating, in which case there is no point. */
1138 if (unlikely(req->i.size == 0)) {
1139 /* The only size==0 bios we expect are empty flushes. */
Jens Axboe1eff9d32016-08-05 15:35:16 -06001140 D_ASSERT(device, req->master_bio->bi_opf & REQ_PREFLUSH);
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +02001141 if (remote)
Lars Ellenberg7074e4a2013-03-27 14:08:41 +01001142 _req_mod(req, QUEUE_AS_DRBD_BARRIER);
1143 return remote;
Lars Ellenberg519b6d32012-08-03 02:19:09 +02001144 }
1145
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001146 if (!remote && !send_oos)
1147 return 0;
1148
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +02001149 D_ASSERT(device, !(remote && send_oos));
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001150
1151 if (remote) {
1152 _req_mod(req, TO_BE_SENT);
1153 _req_mod(req, QUEUE_FOR_NET_WRITE);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001154 } else if (drbd_set_out_of_sync(device, req->i.sector, req->i.size))
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001155 _req_mod(req, QUEUE_FOR_SEND_OOS);
1156
1157 return remote;
1158}
1159
Lars Ellenberg7435e902016-06-14 00:26:22 +02001160static void drbd_process_discard_req(struct drbd_request *req)
1161{
1162 int err = drbd_issue_discard_or_zero_out(req->device,
1163 req->i.sector, req->i.size >> 9, true);
1164
1165 if (err)
1166 req->private_bio->bi_error = -EIO;
1167 bio_endio(req->private_bio);
1168}
1169
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001170static void
1171drbd_submit_req_private_bio(struct drbd_request *req)
1172{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +02001173 struct drbd_device *device = req->device;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001174 struct bio *bio = req->private_bio;
Christoph Hellwig70246282016-07-19 11:28:41 +02001175 unsigned int type;
1176
1177 if (bio_op(bio) != REQ_OP_READ)
1178 type = DRBD_FAULT_DT_WR;
Jens Axboe1eff9d32016-08-05 15:35:16 -06001179 else if (bio->bi_opf & REQ_RAHEAD)
Christoph Hellwig70246282016-07-19 11:28:41 +02001180 type = DRBD_FAULT_DT_RA;
1181 else
1182 type = DRBD_FAULT_DT_RD;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001183
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001184 bio->bi_bdev = device->ldev->backing_bdev;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001185
1186 /* State may have changed since we grabbed our reference on the
1187 * ->ldev member. Double check, and short-circuit to endio.
1188 * In case the last activity log transaction failed to get on
1189 * stable storage, and this is a WRITE, we may not even submit
1190 * this bio. */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001191 if (get_ldev(device)) {
Christoph Hellwig70246282016-07-19 11:28:41 +02001192 if (drbd_insert_fault(device, type))
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001193 bio_io_error(bio);
Lars Ellenberg7435e902016-06-14 00:26:22 +02001194 else if (bio_op(bio) == REQ_OP_DISCARD)
1195 drbd_process_discard_req(req);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001196 else
1197 generic_make_request(bio);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001198 put_ldev(device);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001199 } else
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001200 bio_io_error(bio);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001201}
1202
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001203static void drbd_queue_write(struct drbd_device *device, struct drbd_request *req)
Lars Ellenberg779b3fe2013-03-19 18:16:54 +01001204{
Lars Ellenberg844a6ae2013-11-22 12:52:03 +01001205 spin_lock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001206 list_add_tail(&req->tl_requests, &device->submit.writes);
Lars Ellenberg844a6ae2013-11-22 12:52:03 +01001207 list_add_tail(&req->req_pending_master_completion,
1208 &device->pending_master_completion[1 /* WRITE */]);
1209 spin_unlock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001210 queue_work(device->submit.wq, &device->submit.worker);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001211 /* do_submit() may sleep internally on al_wait, too */
1212 wake_up(&device->al_wait);
Lars Ellenberg779b3fe2013-03-19 18:16:54 +01001213}
1214
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001215/* returns the new drbd_request pointer, if the caller is expected to
1216 * drbd_send_and_submit() it (to save latency), or NULL if we queued the
1217 * request on the submitter thread.
1218 * Returns ERR_PTR(-ENOMEM) if we cannot allocate a drbd_request.
1219 */
Rashika Kheria01cd2632013-12-19 15:12:27 +05301220static struct drbd_request *
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001221drbd_request_prepare(struct drbd_device *device, struct bio *bio, unsigned long start_jif)
Philipp Reisnerb411b362009-09-25 16:07:19 -07001222{
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001223 const int rw = bio_data_dir(bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001224 struct drbd_request *req;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001225
1226 /* allocate outside of all locks; */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001227 req = drbd_req_new(device, bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001228 if (!req) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001229 dec_ap_bio(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001230 /* only pass the error to the upper layers.
1231 * if user cannot handle io errors, that's not our business. */
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001232 drbd_err(device, "could not kmalloc() req\n");
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001233 bio->bi_error = -ENOMEM;
1234 bio_endio(bio);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001235 return ERR_PTR(-ENOMEM);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001236 }
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001237 req->start_jif = start_jif;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001238
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001239 if (!get_ldev(device)) {
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001240 bio_put(req->private_bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001241 req->private_bio = NULL;
1242 }
Philipp Reisnerb411b362009-09-25 16:07:19 -07001243
Lars Ellenberg7e8c2882013-03-19 18:16:57 +01001244 /* Update disk stats */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001245 _drbd_start_io_acct(device, req);
Lars Ellenberg7e8c2882013-03-19 18:16:57 +01001246
Lars Ellenberg7435e902016-06-14 00:26:22 +02001247 /* process discards always from our submitter thread */
1248 if (bio_op(bio) & REQ_OP_DISCARD)
1249 goto queue_for_submitter_thread;
1250
Lars Ellenberg519b6d32012-08-03 02:19:09 +02001251 if (rw == WRITE && req->private_bio && req->i.size
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001252 && !test_bit(AL_SUSPENDED, &device->flags)) {
Lars Ellenberg7435e902016-06-14 00:26:22 +02001253 if (!drbd_al_begin_io_fastpath(device, &req->i))
1254 goto queue_for_submitter_thread;
Philipp Reisner07782862010-08-31 12:00:50 +02001255 req->rq_state |= RQ_IN_ACT_LOG;
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001256 req->in_actlog_jif = jiffies;
Philipp Reisner07782862010-08-31 12:00:50 +02001257 }
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001258 return req;
Lars Ellenberg7435e902016-06-14 00:26:22 +02001259
1260 queue_for_submitter_thread:
1261 atomic_inc(&device->ap_actlog_cnt);
1262 drbd_queue_write(device, req);
1263 return NULL;
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001264}
1265
Lars Ellenberg0ead5cc2016-06-14 00:26:27 +02001266/* Require at least one path to current data.
1267 * We don't want to allow writes on C_STANDALONE D_INCONSISTENT:
1268 * We would not allow to read what was written,
1269 * we would not have bumped the data generation uuids,
1270 * we would cause data divergence for all the wrong reasons.
1271 *
1272 * If we don't see at least one D_UP_TO_DATE, we will fail this request,
1273 * which either returns EIO, or, if OND_SUSPEND_IO is set, suspends IO,
1274 * and queues for retry later.
1275 */
1276static bool may_do_writes(struct drbd_device *device)
1277{
1278 const union drbd_dev_state s = device->state;
1279 return s.disk == D_UP_TO_DATE || s.pdsk == D_UP_TO_DATE;
1280}
1281
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001282static void drbd_send_and_submit(struct drbd_device *device, struct drbd_request *req)
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001283{
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001284 struct drbd_resource *resource = device->resource;
Christoph Hellwig70246282016-07-19 11:28:41 +02001285 const int rw = bio_data_dir(req->master_bio);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001286 struct bio_and_error m = { NULL, };
1287 bool no_remote = false;
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001288 bool submit_private_bio = false;
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001289
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001290 spin_lock_irq(&resource->req_lock);
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +01001291 if (rw == WRITE) {
Lars Ellenberg648e46b2012-03-26 20:12:24 +02001292 /* This may temporarily give up the req_lock,
1293 * but will re-aquire it before it returns here.
1294 * Needs to be before the check on drbd_suspended() */
1295 complete_conflicting_writes(req);
Lars Ellenberg607f25e2013-03-27 14:08:45 +01001296 /* no more giving up req_lock from now on! */
1297
1298 /* check for congestion, and potentially stop sending
1299 * full data updates, but start sending "dirty bits" only. */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001300 maybe_pull_ahead(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001301 }
1302
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001303
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001304 if (drbd_suspended(device)) {
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001305 /* push back and retry: */
1306 req->rq_state |= RQ_POSTPONED;
1307 if (req->private_bio) {
1308 bio_put(req->private_bio);
1309 req->private_bio = NULL;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001310 put_ldev(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001311 }
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001312 goto out;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001313 }
1314
Christoph Hellwig70246282016-07-19 11:28:41 +02001315 /* We fail READ early, if we can not serve it.
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001316 * We must do this before req is registered on any lists.
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001317 * Otherwise, drbd_req_complete() will queue failed READ for retry. */
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001318 if (rw != WRITE) {
1319 if (!do_remote_read(req) && !req->private_bio)
1320 goto nodata;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001321 }
1322
Lars Ellenbergb6dd1a82011-11-28 15:04:49 +01001323 /* which transfer log epoch does this belong to? */
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001324 req->epoch = atomic_read(&first_peer_device(device)->connection->current_tle_nr);
Philipp Reisner288f4222010-05-27 15:07:43 +02001325
Lars Ellenberg227f0522012-07-31 09:31:11 +02001326 /* no point in adding empty flushes to the transfer log,
1327 * they are mapped to drbd barriers already. */
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +02001328 if (likely(req->i.size!=0)) {
1329 if (rw == WRITE)
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001330 first_peer_device(device)->connection->current_tle_writes++;
Philipp Reisner288f4222010-05-27 15:07:43 +02001331
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001332 list_add_tail(&req->tl_requests, &first_peer_device(device)->connection->transfer_log);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001333 }
Philipp Reisner67531712010-10-27 12:21:30 +02001334
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001335 if (rw == WRITE) {
Lars Ellenberg0ead5cc2016-06-14 00:26:27 +02001336 if (req->private_bio && !may_do_writes(device)) {
1337 bio_put(req->private_bio);
1338 req->private_bio = NULL;
1339 put_ldev(device);
1340 goto nodata;
1341 }
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001342 if (!drbd_process_write_request(req))
1343 no_remote = true;
1344 } else {
1345 /* We either have a private_bio, or we can read from remote.
1346 * Otherwise we had done the goto nodata above. */
1347 if (req->private_bio == NULL) {
1348 _req_mod(req, TO_BE_SENT);
1349 _req_mod(req, QUEUE_FOR_NET_READ);
Lars Ellenberg6719fb02010-10-18 23:04:07 +02001350 } else
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001351 no_remote = true;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001352 }
1353
Lars Ellenberg844a6ae2013-11-22 12:52:03 +01001354 /* If it took the fast path in drbd_request_prepare, add it here.
1355 * The slow path has added it already. */
1356 if (list_empty(&req->req_pending_master_completion))
1357 list_add_tail(&req->req_pending_master_completion,
1358 &device->pending_master_completion[rw == WRITE]);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001359 if (req->private_bio) {
1360 /* needs to be marked within the same spinlock */
Lars Ellenberg05cbbb32015-01-16 17:41:55 +01001361 req->pre_submit_jif = jiffies;
Lars Ellenberg844a6ae2013-11-22 12:52:03 +01001362 list_add_tail(&req->req_pending_local,
1363 &device->pending_completion[rw == WRITE]);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001364 _req_mod(req, TO_BE_SUBMITTED);
1365 /* but we need to give up the spinlock to submit */
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001366 submit_private_bio = true;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001367 } else if (no_remote) {
1368nodata:
1369 if (__ratelimit(&drbd_ratelimit_state))
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001370 drbd_err(device, "IO ERROR: neither local nor remote data, sector %llu+%u\n",
Lars Ellenberg42839f62012-09-27 15:19:38 +02001371 (unsigned long long)req->i.sector, req->i.size >> 9);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001372 /* A write may have been queued for send_oos, however.
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001373 * So we can not simply free it, we must go through drbd_req_put_completion_ref() */
Philipp Reisnerb411b362009-09-25 16:07:19 -07001374 }
1375
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001376out:
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001377 if (drbd_req_put_completion_ref(req, &m, 1))
1378 kref_put(&req->kref, drbd_req_destroy);
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001379 spin_unlock_irq(&resource->req_lock);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001380
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001381 /* Even though above is a kref_put(), this is safe.
1382 * As long as we still need to submit our private bio,
1383 * we hold a completion ref, and the request cannot disappear.
1384 * If however this request did not even have a private bio to submit
1385 * (e.g. remote read), req may already be invalid now.
1386 * That's why we cannot check on req->private_bio. */
1387 if (submit_private_bio)
1388 drbd_submit_req_private_bio(req);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001389 if (m.bio)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001390 complete_master_bio(device, &m);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001391}
1392
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001393void __drbd_make_request(struct drbd_device *device, struct bio *bio, unsigned long start_jif)
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001394{
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001395 struct drbd_request *req = drbd_request_prepare(device, bio, start_jif);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001396 if (IS_ERR_OR_NULL(req))
1397 return;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001398 drbd_send_and_submit(device, req);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001399}
1400
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001401static void submit_fast_path(struct drbd_device *device, struct list_head *incoming)
Lars Ellenberg113fef92013-03-22 18:14:40 -06001402{
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001403 struct drbd_request *req, *tmp;
1404 list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
1405 const int rw = bio_data_dir(req->master_bio);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001406
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001407 if (rw == WRITE /* rw != WRITE should not even end up here! */
1408 && req->private_bio && req->i.size
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001409 && !test_bit(AL_SUSPENDED, &device->flags)) {
1410 if (!drbd_al_begin_io_fastpath(device, &req->i))
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001411 continue;
1412
1413 req->rq_state |= RQ_IN_ACT_LOG;
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001414 req->in_actlog_jif = jiffies;
Lars Ellenbergad3fee72013-12-20 11:22:13 +01001415 atomic_dec(&device->ap_actlog_cnt);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001416 }
1417
1418 list_del_init(&req->tl_requests);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001419 drbd_send_and_submit(device, req);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001420 }
Lars Ellenberg113fef92013-03-22 18:14:40 -06001421}
1422
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001423static bool prepare_al_transaction_nonblock(struct drbd_device *device,
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001424 struct list_head *incoming,
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001425 struct list_head *pending,
1426 struct list_head *later)
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001427{
1428 struct drbd_request *req, *tmp;
1429 int wake = 0;
1430 int err;
1431
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001432 spin_lock_irq(&device->al_lock);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001433 list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001434 err = drbd_al_begin_io_nonblock(device, &req->i);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001435 if (err == -ENOBUFS)
1436 break;
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001437 if (err == -EBUSY)
1438 wake = 1;
1439 if (err)
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001440 list_move_tail(&req->tl_requests, later);
1441 else
1442 list_move_tail(&req->tl_requests, pending);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001443 }
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001444 spin_unlock_irq(&device->al_lock);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001445 if (wake)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001446 wake_up(&device->al_wait);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001447 return !list_empty(pending);
1448}
Lars Ellenberg113fef92013-03-22 18:14:40 -06001449
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001450void send_and_submit_pending(struct drbd_device *device, struct list_head *pending)
1451{
1452 struct drbd_request *req, *tmp;
1453
1454 list_for_each_entry_safe(req, tmp, pending, tl_requests) {
1455 req->rq_state |= RQ_IN_ACT_LOG;
1456 req->in_actlog_jif = jiffies;
1457 atomic_dec(&device->ap_actlog_cnt);
1458 list_del_init(&req->tl_requests);
1459 drbd_send_and_submit(device, req);
1460 }
1461}
1462
Lars Ellenberg113fef92013-03-22 18:14:40 -06001463void do_submit(struct work_struct *ws)
1464{
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001465 struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001466 LIST_HEAD(incoming); /* from drbd_make_request() */
1467 LIST_HEAD(pending); /* to be submitted after next AL-transaction commit */
1468 LIST_HEAD(busy); /* blocked by resync requests */
1469
1470 /* grab new incoming requests */
1471 spin_lock_irq(&device->resource->req_lock);
1472 list_splice_tail_init(&device->submit.writes, &incoming);
1473 spin_unlock_irq(&device->resource->req_lock);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001474
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001475 for (;;) {
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001476 DEFINE_WAIT(wait);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001477
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001478 /* move used-to-be-busy back to front of incoming */
1479 list_splice_init(&busy, &incoming);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001480 submit_fast_path(device, &incoming);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001481 if (list_empty(&incoming))
1482 break;
1483
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001484 for (;;) {
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001485 prepare_to_wait(&device->al_wait, &wait, TASK_UNINTERRUPTIBLE);
1486
1487 list_splice_init(&busy, &incoming);
1488 prepare_al_transaction_nonblock(device, &incoming, &pending, &busy);
1489 if (!list_empty(&pending))
1490 break;
1491
1492 schedule();
1493
1494 /* If all currently "hot" activity log extents are kept busy by
1495 * incoming requests, we still must not totally starve new
1496 * requests to "cold" extents.
1497 * Something left on &incoming means there had not been
1498 * enough update slots available, and the activity log
1499 * has been marked as "starving".
1500 *
1501 * Try again now, without looking for new requests,
1502 * effectively blocking all new requests until we made
1503 * at least _some_ progress with what we currently have.
1504 */
1505 if (!list_empty(&incoming))
1506 continue;
1507
1508 /* Nothing moved to pending, but nothing left
1509 * on incoming: all moved to busy!
1510 * Grab new and iterate. */
1511 spin_lock_irq(&device->resource->req_lock);
1512 list_splice_tail_init(&device->submit.writes, &incoming);
1513 spin_unlock_irq(&device->resource->req_lock);
1514 }
1515 finish_wait(&device->al_wait, &wait);
1516
1517 /* If the transaction was full, before all incoming requests
1518 * had been processed, skip ahead to commit, and iterate
1519 * without splicing in more incoming requests from upper layers.
1520 *
1521 * Else, if all incoming have been processed,
1522 * they have become either "pending" (to be submitted after
1523 * next transaction commit) or "busy" (blocked by resync).
1524 *
1525 * Maybe more was queued, while we prepared the transaction?
1526 * Try to stuff those into this transaction as well.
1527 * Be strictly non-blocking here,
1528 * we already have something to commit.
1529 *
1530 * Commit if we don't make any more progres.
1531 */
1532
1533 while (list_empty(&incoming)) {
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001534 LIST_HEAD(more_pending);
1535 LIST_HEAD(more_incoming);
1536 bool made_progress;
1537
1538 /* It is ok to look outside the lock,
1539 * it's only an optimization anyways */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001540 if (list_empty(&device->submit.writes))
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001541 break;
1542
Lars Ellenberg844a6ae2013-11-22 12:52:03 +01001543 spin_lock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001544 list_splice_tail_init(&device->submit.writes, &more_incoming);
Lars Ellenberg844a6ae2013-11-22 12:52:03 +01001545 spin_unlock_irq(&device->resource->req_lock);
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001546
1547 if (list_empty(&more_incoming))
1548 break;
1549
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001550 made_progress = prepare_al_transaction_nonblock(device, &more_incoming, &more_pending, &busy);
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001551
1552 list_splice_tail_init(&more_pending, &pending);
1553 list_splice_tail_init(&more_incoming, &incoming);
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001554 if (!made_progress)
1555 break;
1556 }
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001557
Lars Ellenberg4dd726f2014-02-11 11:15:36 +01001558 drbd_al_begin_io_commit(device);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001559 send_and_submit_pending(device, &pending);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001560 }
1561}
1562
Jens Axboedece1632015-11-05 10:41:16 -07001563blk_qc_t drbd_make_request(struct request_queue *q, struct bio *bio)
Philipp Reisnerb411b362009-09-25 16:07:19 -07001564{
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001565 struct drbd_device *device = (struct drbd_device *) q->queuedata;
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001566 unsigned long start_jif;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001567
Kent Overstreet54efd502015-04-23 22:37:18 -07001568 blk_queue_split(q, &bio, q->bio_split);
1569
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001570 start_jif = jiffies;
Philipp Reisneraeda1cd62010-11-09 17:45:06 +01001571
Philipp Reisnerb411b362009-09-25 16:07:19 -07001572 /*
1573 * what we "blindly" assume:
1574 */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +02001575 D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
Philipp Reisnerb411b362009-09-25 16:07:19 -07001576
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001577 inc_ap_bio(device);
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001578 __drbd_make_request(device, bio, start_jif);
Jens Axboedece1632015-11-05 10:41:16 -07001579 return BLK_QC_T_NONE;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001580}
1581
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001582static bool net_timeout_reached(struct drbd_request *net_req,
1583 struct drbd_connection *connection,
1584 unsigned long now, unsigned long ent,
1585 unsigned int ko_count, unsigned int timeout)
1586{
1587 struct drbd_device *device = net_req->device;
1588
1589 if (!time_after(now, net_req->pre_send_jif + ent))
1590 return false;
1591
1592 if (time_in_range(now, connection->last_reconnect_jif, connection->last_reconnect_jif + ent))
1593 return false;
1594
1595 if (net_req->rq_state & RQ_NET_PENDING) {
1596 drbd_warn(device, "Remote failed to finish a request within %ums > ko-count (%u) * timeout (%u * 0.1s)\n",
1597 jiffies_to_msecs(now - net_req->pre_send_jif), ko_count, timeout);
1598 return true;
1599 }
1600
1601 /* We received an ACK already (or are using protocol A),
1602 * but are waiting for the epoch closing barrier ack.
1603 * Check if we sent the barrier already. We should not blame the peer
1604 * for being unresponsive, if we did not even ask it yet. */
1605 if (net_req->epoch == connection->send.current_epoch_nr) {
1606 drbd_warn(device,
1607 "We did not send a P_BARRIER for %ums > ko-count (%u) * timeout (%u * 0.1s); drbd kernel thread blocked?\n",
1608 jiffies_to_msecs(now - net_req->pre_send_jif), ko_count, timeout);
1609 return false;
1610 }
1611
1612 /* Worst case: we may have been blocked for whatever reason, then
1613 * suddenly are able to send a lot of requests (and epoch separating
1614 * barriers) in quick succession.
1615 * The timestamp of the net_req may be much too old and not correspond
1616 * to the sending time of the relevant unack'ed barrier packet, so
1617 * would trigger a spurious timeout. The latest barrier packet may
1618 * have a too recent timestamp to trigger the timeout, potentially miss
1619 * a timeout. Right now we don't have a place to conveniently store
1620 * these timestamps.
1621 * But in this particular situation, the application requests are still
1622 * completed to upper layers, DRBD should still "feel" responsive.
1623 * No need yet to kill this connection, it may still recover.
1624 * If not, eventually we will have queued enough into the network for
1625 * us to block. From that point of view, the timestamp of the last sent
1626 * barrier packet is relevant enough.
1627 */
1628 if (time_after(now, connection->send.last_sent_barrier_jif + ent)) {
1629 drbd_warn(device, "Remote failed to answer a P_BARRIER (sent at %lu jif; now=%lu jif) within %ums > ko-count (%u) * timeout (%u * 0.1s)\n",
1630 connection->send.last_sent_barrier_jif, now,
1631 jiffies_to_msecs(now - connection->send.last_sent_barrier_jif), ko_count, timeout);
1632 return true;
1633 }
1634 return false;
1635}
1636
1637/* A request is considered timed out, if
1638 * - we have some effective timeout from the configuration,
1639 * with some state restrictions applied,
1640 * - the oldest request is waiting for a response from the network
1641 * resp. the local disk,
1642 * - the oldest request is in fact older than the effective timeout,
1643 * - the connection was established (resp. disk was attached)
1644 * for longer than the timeout already.
1645 * Note that for 32bit jiffies and very stable connections/disks,
1646 * we may have a wrap around, which is catched by
1647 * !time_in_range(now, last_..._jif, last_..._jif + timeout).
1648 *
1649 * Side effect: once per 32bit wrap-around interval, which means every
1650 * ~198 days with 250 HZ, we have a window where the timeout would need
1651 * to expire twice (worst case) to become effective. Good enough.
1652 */
1653
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001654void request_timer_fn(unsigned long data)
1655{
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001656 struct drbd_device *device = (struct drbd_device *) data;
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001657 struct drbd_connection *connection = first_peer_device(device)->connection;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001658 struct drbd_request *req_read, *req_write, *req_peer; /* oldest request */
Philipp Reisner44ed1672011-04-19 17:10:19 +02001659 struct net_conf *nc;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001660 unsigned long oldest_submit_jif;
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001661 unsigned long ent = 0, dt = 0, et, nt; /* effective timeout = ko_count * timeout */
Lars Ellenbergba280c02012-04-25 11:46:14 +02001662 unsigned long now;
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001663 unsigned int ko_count = 0, timeout = 0;
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001664
Philipp Reisner44ed1672011-04-19 17:10:19 +02001665 rcu_read_lock();
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +02001666 nc = rcu_dereference(connection->net_conf);
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001667 if (nc && device->state.conn >= C_WF_REPORT_PARAMS) {
1668 ko_count = nc->ko_count;
1669 timeout = nc->timeout;
1670 }
Philipp Reisnercdfda632011-07-05 15:38:59 +02001671
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001672 if (get_ldev(device)) { /* implicit state.disk >= D_INCONSISTENT */
1673 dt = rcu_dereference(device->ldev->disk_conf)->disk_timeout * HZ / 10;
1674 put_ldev(device);
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001675 }
Philipp Reisner44ed1672011-04-19 17:10:19 +02001676 rcu_read_unlock();
1677
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001678
1679 ent = timeout * HZ/10 * ko_count;
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001680 et = min_not_zero(dt, ent);
1681
Lars Ellenbergba280c02012-04-25 11:46:14 +02001682 if (!et)
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001683 return; /* Recurring timer stopped */
1684
Lars Ellenbergba280c02012-04-25 11:46:14 +02001685 now = jiffies;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001686 nt = now + et;
Lars Ellenbergba280c02012-04-25 11:46:14 +02001687
Andreas Gruenbacher05008132011-07-07 14:19:42 +02001688 spin_lock_irq(&device->resource->req_lock);
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001689 req_read = list_first_entry_or_null(&device->pending_completion[0], struct drbd_request, req_pending_local);
1690 req_write = list_first_entry_or_null(&device->pending_completion[1], struct drbd_request, req_pending_local);
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001691
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001692 /* maybe the oldest request waiting for the peer is in fact still
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001693 * blocking in tcp sendmsg. That's ok, though, that's handled via the
1694 * socket send timeout, requesting a ping, and bumping ko-count in
1695 * we_should_drop_the_connection().
1696 */
1697
1698 /* check the oldest request we did successfully sent,
1699 * but which is still waiting for an ACK. */
1700 req_peer = connection->req_ack_pending;
1701
1702 /* if we don't have such request (e.g. protocoll A)
1703 * check the oldest requests which is still waiting on its epoch
1704 * closing barrier ack. */
1705 if (!req_peer)
1706 req_peer = connection->req_not_net_done;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001707
1708 /* evaluate the oldest peer request only in one timer! */
1709 if (req_peer && req_peer->device != device)
1710 req_peer = NULL;
1711
1712 /* do we have something to evaluate? */
1713 if (req_peer == NULL && req_write == NULL && req_read == NULL)
1714 goto out;
1715
1716 oldest_submit_jif =
1717 (req_write && req_read)
1718 ? ( time_before(req_write->pre_submit_jif, req_read->pre_submit_jif)
1719 ? req_write->pre_submit_jif : req_read->pre_submit_jif )
1720 : req_write ? req_write->pre_submit_jif
1721 : req_read ? req_read->pre_submit_jif : now;
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001722
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001723 if (ent && req_peer && net_timeout_reached(req_peer, connection, now, ent, ko_count, timeout))
Philipp Reisner9581f972014-11-10 17:21:14 +01001724 _conn_request_state(connection, NS(conn, C_TIMEOUT), CS_VERBOSE | CS_HARD);
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001725
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001726 if (dt && oldest_submit_jif != now &&
1727 time_after(now, oldest_submit_jif + dt) &&
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001728 !time_in_range(now, device->last_reattach_jif, device->last_reattach_jif + dt)) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001729 drbd_warn(device, "Local backing device failed to meet the disk-timeout\n");
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001730 __drbd_chk_io_error(device, DRBD_FORCE_DETACH);
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001731 }
Lars Ellenberg08535462014-04-28 18:43:31 +02001732
1733 /* Reschedule timer for the nearest not already expired timeout.
1734 * Fallback to now + min(effective network timeout, disk timeout). */
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001735 ent = (ent && req_peer && time_before(now, req_peer->pre_send_jif + ent))
1736 ? req_peer->pre_send_jif + ent : now + et;
1737 dt = (dt && oldest_submit_jif != now && time_before(now, oldest_submit_jif + dt))
1738 ? oldest_submit_jif + dt : now + et;
Lars Ellenberg08535462014-04-28 18:43:31 +02001739 nt = time_before(ent, dt) ? ent : dt;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001740out:
Andreas Gruenbacher8d4ba3f2014-09-11 14:29:08 +02001741 spin_unlock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001742 mod_timer(&device->request_timer, nt);
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001743}