blob: 3235532ae0778873d6d22b3ed5374f6b04826097 [file] [log] [blame]
Thomas Gleixnerc6ae4c02019-05-22 09:51:37 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Philipp Reisnerb411b362009-09-25 16:07:19 -07002/*
3 drbd_req.c
4
5 This file is part of DRBD by Philipp Reisner and Lars Ellenberg.
6
7 Copyright (C) 2001-2008, LINBIT Information Technologies GmbH.
8 Copyright (C) 1999-2008, Philipp Reisner <philipp.reisner@linbit.com>.
9 Copyright (C) 2002-2008, Lars Ellenberg <lars.ellenberg@linbit.com>.
10
Philipp Reisnerb411b362009-09-25 16:07:19 -070011
12 */
13
Philipp Reisnerb411b362009-09-25 16:07:19 -070014#include <linux/module.h>
15
16#include <linux/slab.h>
17#include <linux/drbd.h>
18#include "drbd_int.h"
Philipp Reisnerb411b362009-09-25 16:07:19 -070019#include "drbd_req.h"
20
21
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +020022static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size);
Philipp Reisner57bcb6c2011-12-03 11:18:56 +010023
Lars Ellenberg9104d312016-06-14 00:26:31 +020024static struct drbd_request *drbd_req_new(struct drbd_device *device, struct bio *bio_src)
Philipp Reisnerb411b362009-09-25 16:07:19 -070025{
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010026 struct drbd_request *req;
27
Kent Overstreet0892fac2018-05-20 18:25:48 -040028 req = mempool_alloc(&drbd_request_mempool, GFP_NOIO);
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010029 if (!req)
30 return NULL;
David Rientjes23fe8f82015-03-24 16:22:32 -070031 memset(req, 0, sizeof(*req));
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010032
Christoph Hellwigae7153f2021-01-26 15:52:40 +010033 req->private_bio = bio_clone_fast(bio_src, GFP_NOIO, &drbd_io_bio_set);
34 req->private_bio->bi_private = req;
35 req->private_bio->bi_end_io = drbd_request_endio;
36
Lars Ellenberg9104d312016-06-14 00:26:31 +020037 req->rq_state = (bio_data_dir(bio_src) == WRITE ? RQ_WRITE : 0)
38 | (bio_op(bio_src) == REQ_OP_WRITE_SAME ? RQ_WSAME : 0)
Lars Ellenbergf31e5832018-12-20 17:23:42 +010039 | (bio_op(bio_src) == REQ_OP_WRITE_ZEROES ? RQ_ZEROES : 0)
Lars Ellenberg9104d312016-06-14 00:26:31 +020040 | (bio_op(bio_src) == REQ_OP_DISCARD ? RQ_UNMAP : 0);
41 req->device = device;
42 req->master_bio = bio_src;
43 req->epoch = 0;
Andreas Gruenbacher53840642011-01-28 10:31:04 +010044
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010045 drbd_clear_interval(&req->i);
Kent Overstreet4f024f32013-10-11 15:44:27 -070046 req->i.sector = bio_src->bi_iter.bi_sector;
47 req->i.size = bio_src->bi_iter.bi_size;
Andreas Gruenbacher5e472262011-01-27 14:42:51 +010048 req->i.local = true;
Andreas Gruenbacher53840642011-01-28 10:31:04 +010049 req->i.waiting = false;
50
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010051 INIT_LIST_HEAD(&req->tl_requests);
52 INIT_LIST_HEAD(&req->w.list);
Lars Ellenberg844a6ae72013-11-22 12:52:03 +010053 INIT_LIST_HEAD(&req->req_pending_master_completion);
54 INIT_LIST_HEAD(&req->req_pending_local);
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010055
Lars Ellenberga0d856d2012-01-24 17:19:42 +010056 /* one reference to be put by __drbd_make_request */
Lars Ellenbergb4067772012-01-24 16:58:11 +010057 atomic_set(&req->completion_ref, 1);
Lars Ellenberga0d856d2012-01-24 17:19:42 +010058 /* one kref as long as completion_ref > 0 */
Lars Ellenbergb4067772012-01-24 16:58:11 +010059 kref_init(&req->kref);
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010060 return req;
61}
62
Lars Ellenberg08d0dab2014-03-20 11:19:22 +010063static void drbd_remove_request_interval(struct rb_root *root,
64 struct drbd_request *req)
65{
66 struct drbd_device *device = req->device;
67 struct drbd_interval *i = &req->i;
68
69 drbd_remove_interval(root, i);
70
71 /* Wake up any processes waiting for this request to complete. */
72 if (i->waiting)
73 wake_up(&device->misc_wait);
74}
75
Lars Ellenberg9a278a72012-07-24 10:12:36 +020076void drbd_req_destroy(struct kref *kref)
Andreas Gruenbacher9e204cd2011-01-26 18:45:11 +010077{
Lars Ellenbergb4067772012-01-24 16:58:11 +010078 struct drbd_request *req = container_of(kref, struct drbd_request, kref);
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +020079 struct drbd_device *device = req->device;
Lars Ellenberga0d856d2012-01-24 17:19:42 +010080 const unsigned s = req->rq_state;
81
82 if ((req->master_bio && !(s & RQ_POSTPONED)) ||
83 atomic_read(&req->completion_ref) ||
84 (s & RQ_LOCAL_PENDING) ||
85 ((s & RQ_NET_MASK) && !(s & RQ_NET_DONE))) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +020086 drbd_err(device, "drbd_req_destroy: Logic BUG rq_state = 0x%x, completion_ref = %d\n",
Lars Ellenberga0d856d2012-01-24 17:19:42 +010087 s, atomic_read(&req->completion_ref));
88 return;
89 }
Philipp Reisner288f4222010-05-27 15:07:43 +020090
Lars Ellenberg844a6ae72013-11-22 12:52:03 +010091 /* If called from mod_rq_state (expected normal case) or
92 * drbd_send_and_submit (the less likely normal path), this holds the
93 * req_lock, and req->tl_requests will typicaly be on ->transfer_log,
94 * though it may be still empty (never added to the transfer log).
95 *
96 * If called from do_retry(), we do NOT hold the req_lock, but we are
97 * still allowed to unconditionally list_del(&req->tl_requests),
98 * because it will be on a local on-stack list only. */
Lars Ellenberg2312f0b32011-11-24 10:36:25 +010099 list_del_init(&req->tl_requests);
Philipp Reisner288f4222010-05-27 15:07:43 +0200100
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100101 /* finally remove the request from the conflict detection
102 * respective block_id verification interval tree. */
103 if (!drbd_interval_empty(&req->i)) {
104 struct rb_root *root;
105
106 if (s & RQ_WRITE)
107 root = &device->write_requests;
108 else
109 root = &device->read_requests;
110 drbd_remove_request_interval(root, req);
111 } else if (s & (RQ_NET_MASK & ~RQ_NET_DONE) && req->i.size != 0)
112 drbd_err(device, "drbd_req_destroy: Logic BUG: interval empty, but: rq_state=0x%x, sect=%llu, size=%u\n",
113 s, (unsigned long long)req->i.sector, req->i.size);
114
Philipp Reisnerb411b362009-09-25 16:07:19 -0700115 /* if it was a write, we may have to set the corresponding
116 * bit(s) out-of-sync first. If it had a local part, we need to
117 * release the reference to the activity log. */
Lars Ellenbergb4067772012-01-24 16:58:11 +0100118 if (s & RQ_WRITE) {
Philipp Reisnerb411b362009-09-25 16:07:19 -0700119 /* Set out-of-sync unless both OK flags are set
120 * (local only or remote failed).
121 * Other places where we set out-of-sync:
122 * READ with local io-error */
Philipp Reisnerb411b362009-09-25 16:07:19 -0700123
Lars Ellenberg70f17b62012-09-03 14:08:35 +0200124 /* There is a special case:
125 * we may notice late that IO was suspended,
126 * and postpone, or schedule for retry, a write,
127 * before it even was submitted or sent.
128 * In that case we do not want to touch the bitmap at all.
129 */
130 if ((s & (RQ_POSTPONED|RQ_LOCAL_MASK|RQ_NET_MASK)) != RQ_POSTPONED) {
Philipp Reisnerd7644012012-08-28 14:39:44 +0200131 if (!(s & RQ_NET_OK) || !(s & RQ_LOCAL_OK))
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200132 drbd_set_out_of_sync(device, req->i.sector, req->i.size);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700133
Philipp Reisnerd7644012012-08-28 14:39:44 +0200134 if ((s & RQ_NET_OK) && (s & RQ_LOCAL_OK) && (s & RQ_NET_SIS))
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200135 drbd_set_in_sync(device, req->i.sector, req->i.size);
Philipp Reisnerd7644012012-08-28 14:39:44 +0200136 }
Philipp Reisnerb411b362009-09-25 16:07:19 -0700137
138 /* one might be tempted to move the drbd_al_complete_io
Andreas Gruenbacherfcefa622011-02-17 16:46:59 +0100139 * to the local io completion callback drbd_request_endio.
Philipp Reisnerb411b362009-09-25 16:07:19 -0700140 * but, if this was a mirror write, we may only
141 * drbd_al_complete_io after this is RQ_NET_DONE,
142 * otherwise the extent could be dropped from the al
143 * before it has actually been written on the peer.
144 * if we crash before our peer knows about the request,
145 * but after the extent has been dropped from the al,
146 * we would forget to resync the corresponding extent.
147 */
Philipp Reisner76590cd2012-08-29 15:23:14 +0200148 if (s & RQ_IN_ACT_LOG) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200149 if (get_ldev_if_state(device, D_FAILED)) {
150 drbd_al_complete_io(device, &req->i);
151 put_ldev(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700152 } else if (__ratelimit(&drbd_ratelimit_state)) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200153 drbd_warn(device, "Should have called drbd_al_complete_io(, %llu, %u), "
Lars Ellenberg181286a2011-03-31 15:18:56 +0200154 "but my Disk seems to have failed :(\n",
155 (unsigned long long) req->i.sector, req->i.size);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700156 }
157 }
158 }
159
Kent Overstreet0892fac2018-05-20 18:25:48 -0400160 mempool_free(req, &drbd_request_mempool);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700161}
162
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200163static void wake_all_senders(struct drbd_connection *connection)
164{
165 wake_up(&connection->sender_work.q_wait);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700166}
Philipp Reisnerb411b362009-09-25 16:07:19 -0700167
Lars Ellenbergb6dd1a82011-11-28 15:04:49 +0100168/* must hold resource->req_lock */
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200169void start_new_tl_epoch(struct drbd_connection *connection)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700170{
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +0200171 /* no point closing an epoch, if it is empty, anyways. */
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200172 if (connection->current_tle_writes == 0)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700173 return;
174
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200175 connection->current_tle_writes = 0;
176 atomic_inc(&connection->current_tle_nr);
177 wake_all_senders(connection);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700178}
179
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200180void complete_master_bio(struct drbd_device *device,
Philipp Reisnerb411b362009-09-25 16:07:19 -0700181 struct bio_and_error *m)
182{
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +0200183 m->bio->bi_status = errno_to_blk_status(m->error);
Christoph Hellwig4246a0b2015-07-20 15:29:37 +0200184 bio_endio(m->bio);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200185 dec_ap_bio(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700186}
187
Andreas Gruenbacher53840642011-01-28 10:31:04 +0100188
Philipp Reisnerb411b362009-09-25 16:07:19 -0700189/* Helper for __req_mod().
190 * Set m->bio to the master bio, if it is fit to be completed,
191 * or leave it alone (it is initialized to NULL in __req_mod),
192 * if it has already been completed, or cannot be completed yet.
193 * If m->bio is set, the error status to be returned is placed in m->error.
194 */
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200195static
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100196void drbd_req_complete(struct drbd_request *req, struct bio_and_error *m)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700197{
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100198 const unsigned s = req->rq_state;
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200199 struct drbd_device *device = req->device;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100200 int error, ok;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700201
Philipp Reisnerb411b362009-09-25 16:07:19 -0700202 /* we must not complete the master bio, while it is
203 * still being processed by _drbd_send_zc_bio (drbd_send_dblock)
204 * not yet acknowledged by the peer
205 * not yet completed by the local io subsystem
206 * these flags may get cleared in any order by
207 * the worker,
208 * the receiver,
209 * the bio_endio completion callbacks.
210 */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100211 if ((s & RQ_LOCAL_PENDING && !(s & RQ_LOCAL_ABORTED)) ||
212 (s & RQ_NET_QUEUED) || (s & RQ_NET_PENDING) ||
213 (s & RQ_COMPLETION_SUSP)) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200214 drbd_err(device, "drbd_req_complete: Logic BUG rq_state = 0x%x\n", s);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700215 return;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700216 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100217
218 if (!req->master_bio) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200219 drbd_err(device, "drbd_req_complete: Logic BUG, master_bio == NULL!\n");
Philipp Reisnerb411b362009-09-25 16:07:19 -0700220 return;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100221 }
Philipp Reisnerb411b362009-09-25 16:07:19 -0700222
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100223 /*
224 * figure out whether to report success or failure.
225 *
226 * report success when at least one of the operations succeeded.
227 * or, to put the other way,
228 * only report failure, when both operations failed.
229 *
230 * what to do about the failures is handled elsewhere.
231 * what we need to do here is just: complete the master_bio.
232 *
233 * local completion error, if any, has been stored as ERR_PTR
234 * in private_bio within drbd_request_endio.
235 */
236 ok = (s & RQ_LOCAL_OK) || (s & RQ_NET_OK);
237 error = PTR_ERR(req->private_bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700238
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100239 /* Before we can signal completion to the upper layers,
240 * we may need to close the current transfer log epoch.
241 * We are within the request lock, so we can simply compare
242 * the request epoch number with the current transfer log
243 * epoch number. If they match, increase the current_tle_nr,
244 * and reset the transfer log epoch write_cnt.
245 */
Christoph Hellwig70246282016-07-19 11:28:41 +0200246 if (op_is_write(bio_op(req->master_bio)) &&
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +0200247 req->epoch == atomic_read(&first_peer_device(device)->connection->current_tle_nr))
248 start_new_tl_epoch(first_peer_device(device)->connection);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700249
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100250 /* Update disk stats */
Christoph Hellwig24d69292020-05-27 07:24:05 +0200251 bio_end_io_acct(req->master_bio, req->start_jif);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100252
253 /* If READ failed,
254 * have it be pushed back to the retry work queue,
255 * so it will re-enter __drbd_make_request(),
256 * and be re-assigned to a suitable local or remote path,
257 * or failed if we do not have access to good data anymore.
258 *
259 * Unless it was failed early by __drbd_make_request(),
260 * because no path was available, in which case
261 * it was not even added to the transfer_log.
262 *
Christoph Hellwig70246282016-07-19 11:28:41 +0200263 * read-ahead may fail, and will not be retried.
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100264 *
265 * WRITE should have used all available paths already.
266 */
Christoph Hellwig70246282016-07-19 11:28:41 +0200267 if (!ok &&
268 bio_op(req->master_bio) == REQ_OP_READ &&
Jens Axboe1eff9d32016-08-05 15:35:16 -0600269 !(req->master_bio->bi_opf & REQ_RAHEAD) &&
Christoph Hellwig70246282016-07-19 11:28:41 +0200270 !list_empty(&req->tl_requests))
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100271 req->rq_state |= RQ_POSTPONED;
272
273 if (!(req->rq_state & RQ_POSTPONED)) {
Philipp Reisnerb411b362009-09-25 16:07:19 -0700274 m->error = ok ? 0 : (error ?: -EIO);
275 m->bio = req->master_bio;
276 req->master_bio = NULL;
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100277 /* We leave it in the tree, to be able to verify later
278 * write-acks in protocol != C during resync.
279 * But we mark it as "complete", so it won't be counted as
280 * conflict in a multi-primary setup. */
281 req->i.completed = true;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700282 }
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100283
284 if (req->i.waiting)
285 wake_up(&device->misc_wait);
Lars Ellenberg844a6ae72013-11-22 12:52:03 +0100286
287 /* Either we are about to complete to upper layers,
288 * or we will restart this request.
289 * In either case, the request object will be destroyed soon,
290 * so better remove it from all lists. */
291 list_del_init(&req->req_pending_master_completion);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700292}
293
Lars Ellenberg844a6ae72013-11-22 12:52:03 +0100294/* still holds resource->req_lock */
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200295static void drbd_req_put_completion_ref(struct drbd_request *req, struct bio_and_error *m, int put)
Philipp Reisnercfa03412010-06-23 17:18:51 +0200296{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200297 struct drbd_device *device = req->device;
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200298 D_ASSERT(device, m || (req->rq_state & RQ_POSTPONED));
Philipp Reisnercfa03412010-06-23 17:18:51 +0200299
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200300 if (!put)
301 return;
302
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100303 if (!atomic_sub_and_test(put, &req->completion_ref))
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200304 return;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700305
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100306 drbd_req_complete(req, m);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700307
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200308 /* local completion may still come in later,
309 * we need to keep the req object around. */
310 if (req->rq_state & RQ_LOCAL_ABORTED)
311 return;
312
Lars Ellenberg9a278a72012-07-24 10:12:36 +0200313 if (req->rq_state & RQ_POSTPONED) {
314 /* don't destroy the req object just yet,
315 * but queue it for retry */
316 drbd_restart_request(req);
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200317 return;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700318 }
319
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200320 kref_put(&req->kref, drbd_req_destroy);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700321}
322
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100323static void set_if_null_req_next(struct drbd_peer_device *peer_device, struct drbd_request *req)
324{
325 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
326 if (!connection)
327 return;
328 if (connection->req_next == NULL)
329 connection->req_next = req;
330}
331
332static void advance_conn_req_next(struct drbd_peer_device *peer_device, struct drbd_request *req)
333{
334 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
335 if (!connection)
336 return;
337 if (connection->req_next != req)
338 return;
339 list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
340 const unsigned s = req->rq_state;
341 if (s & RQ_NET_QUEUED)
342 break;
343 }
344 if (&req->tl_requests == &connection->transfer_log)
345 req = NULL;
346 connection->req_next = req;
347}
348
349static void set_if_null_req_ack_pending(struct drbd_peer_device *peer_device, struct drbd_request *req)
350{
351 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
352 if (!connection)
353 return;
354 if (connection->req_ack_pending == NULL)
355 connection->req_ack_pending = req;
356}
357
358static void advance_conn_req_ack_pending(struct drbd_peer_device *peer_device, struct drbd_request *req)
359{
360 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
361 if (!connection)
362 return;
363 if (connection->req_ack_pending != req)
364 return;
365 list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
366 const unsigned s = req->rq_state;
367 if ((s & RQ_NET_SENT) && (s & RQ_NET_PENDING))
368 break;
369 }
370 if (&req->tl_requests == &connection->transfer_log)
371 req = NULL;
372 connection->req_ack_pending = req;
373}
374
375static void set_if_null_req_not_net_done(struct drbd_peer_device *peer_device, struct drbd_request *req)
376{
377 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
378 if (!connection)
379 return;
380 if (connection->req_not_net_done == NULL)
381 connection->req_not_net_done = req;
382}
383
384static void advance_conn_req_not_net_done(struct drbd_peer_device *peer_device, struct drbd_request *req)
385{
386 struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
387 if (!connection)
388 return;
389 if (connection->req_not_net_done != req)
390 return;
391 list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
392 const unsigned s = req->rq_state;
393 if ((s & RQ_NET_SENT) && !(s & RQ_NET_DONE))
394 break;
395 }
396 if (&req->tl_requests == &connection->transfer_log)
397 req = NULL;
398 connection->req_not_net_done = req;
399}
400
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100401/* I'd like this to be the only place that manipulates
402 * req->completion_ref and req->kref. */
403static void mod_rq_state(struct drbd_request *req, struct bio_and_error *m,
404 int clear, int set)
405{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200406 struct drbd_device *device = req->device;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100407 struct drbd_peer_device *peer_device = first_peer_device(device);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100408 unsigned s = req->rq_state;
409 int c_put = 0;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100410
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200411 if (drbd_suspended(device) && !((s | clear) & RQ_COMPLETION_SUSP))
Philipp Reisner5af2e8c2012-08-14 11:28:52 +0200412 set |= RQ_COMPLETION_SUSP;
413
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100414 /* apply */
415
416 req->rq_state &= ~clear;
417 req->rq_state |= set;
418
419 /* no change? */
420 if (req->rq_state == s)
421 return;
422
423 /* intent: get references */
424
Peter Zijlstrabdfafc42016-11-14 17:34:19 +0100425 kref_get(&req->kref);
426
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100427 if (!(s & RQ_LOCAL_PENDING) && (set & RQ_LOCAL_PENDING))
428 atomic_inc(&req->completion_ref);
429
430 if (!(s & RQ_NET_PENDING) && (set & RQ_NET_PENDING)) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200431 inc_ap_pending(device);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100432 atomic_inc(&req->completion_ref);
433 }
434
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100435 if (!(s & RQ_NET_QUEUED) && (set & RQ_NET_QUEUED)) {
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100436 atomic_inc(&req->completion_ref);
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100437 set_if_null_req_next(peer_device, req);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100438 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100439
440 if (!(s & RQ_EXP_BARR_ACK) && (set & RQ_EXP_BARR_ACK))
441 kref_get(&req->kref); /* wait for the DONE */
442
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100443 if (!(s & RQ_NET_SENT) && (set & RQ_NET_SENT)) {
Philipp Reisner668700b2015-03-16 16:08:29 +0100444 /* potentially already completed in the ack_receiver thread */
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100445 if (!(s & RQ_NET_DONE)) {
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100446 atomic_add(req->i.size >> 9, &device->ap_in_flight);
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100447 set_if_null_req_not_net_done(peer_device, req);
448 }
Lars Ellenbergf85d9f22015-05-18 14:08:46 +0200449 if (req->rq_state & RQ_NET_PENDING)
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100450 set_if_null_req_ack_pending(peer_device, req);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100451 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100452
Philipp Reisner5af2e8c2012-08-14 11:28:52 +0200453 if (!(s & RQ_COMPLETION_SUSP) && (set & RQ_COMPLETION_SUSP))
454 atomic_inc(&req->completion_ref);
455
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100456 /* progress: put references */
457
458 if ((s & RQ_COMPLETION_SUSP) && (clear & RQ_COMPLETION_SUSP))
459 ++c_put;
460
461 if (!(s & RQ_LOCAL_ABORTED) && (set & RQ_LOCAL_ABORTED)) {
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200462 D_ASSERT(device, req->rq_state & RQ_LOCAL_PENDING);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100463 ++c_put;
464 }
465
466 if ((s & RQ_LOCAL_PENDING) && (clear & RQ_LOCAL_PENDING)) {
467 if (req->rq_state & RQ_LOCAL_ABORTED)
Peter Zijlstrabdfafc42016-11-14 17:34:19 +0100468 kref_put(&req->kref, drbd_req_destroy);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100469 else
470 ++c_put;
Lars Ellenberg844a6ae72013-11-22 12:52:03 +0100471 list_del_init(&req->req_pending_local);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100472 }
473
474 if ((s & RQ_NET_PENDING) && (clear & RQ_NET_PENDING)) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200475 dec_ap_pending(device);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100476 ++c_put;
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100477 req->acked_jif = jiffies;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100478 advance_conn_req_ack_pending(peer_device, req);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100479 }
480
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100481 if ((s & RQ_NET_QUEUED) && (clear & RQ_NET_QUEUED)) {
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100482 ++c_put;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100483 advance_conn_req_next(peer_device, req);
484 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100485
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100486 if (!(s & RQ_NET_DONE) && (set & RQ_NET_DONE)) {
487 if (s & RQ_NET_SENT)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200488 atomic_sub(req->i.size >> 9, &device->ap_in_flight);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100489 if (s & RQ_EXP_BARR_ACK)
Peter Zijlstrabdfafc42016-11-14 17:34:19 +0100490 kref_put(&req->kref, drbd_req_destroy);
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100491 req->net_done_jif = jiffies;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +0100492
493 /* in ahead/behind mode, or just in case,
494 * before we finally destroy this request,
495 * the caching pointers must not reference it anymore */
496 advance_conn_req_next(peer_device, req);
497 advance_conn_req_ack_pending(peer_device, req);
498 advance_conn_req_not_net_done(peer_device, req);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100499 }
500
501 /* potentially complete and destroy */
502
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100503 /* If we made progress, retry conflicting peer requests, if any. */
504 if (req->i.waiting)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200505 wake_up(&device->misc_wait);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100506
Lars Ellenberga00ebd12017-05-11 10:21:46 +0200507 drbd_req_put_completion_ref(req, m, c_put);
508 kref_put(&req->kref, drbd_req_destroy);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700509}
510
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200511static void drbd_report_io_error(struct drbd_device *device, struct drbd_request *req)
Lars Ellenbergccae7862012-09-26 14:07:04 +0200512{
513 char b[BDEVNAME_SIZE];
514
Lars Ellenberg42839f62012-09-27 15:19:38 +0200515 if (!__ratelimit(&drbd_ratelimit_state))
Lars Ellenbergccae7862012-09-26 14:07:04 +0200516 return;
517
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200518 drbd_warn(device, "local %s IO error sector %llu+%u on %s\n",
Lars Ellenbergccae7862012-09-26 14:07:04 +0200519 (req->rq_state & RQ_WRITE) ? "WRITE" : "READ",
Lars Ellenberg42839f62012-09-27 15:19:38 +0200520 (unsigned long long)req->i.sector,
521 req->i.size >> 9,
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200522 bdevname(device->ldev->backing_bdev, b));
Lars Ellenbergccae7862012-09-26 14:07:04 +0200523}
524
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100525/* Helper for HANDED_OVER_TO_NETWORK.
526 * Is this a protocol A write (neither WRITE_ACK nor RECEIVE_ACK expected)?
527 * Is it also still "PENDING"?
528 * --> If so, clear PENDING and set NET_OK below.
529 * If it is a protocol A write, but not RQ_PENDING anymore, neg-ack was faster
530 * (and we must not set RQ_NET_OK) */
531static inline bool is_pending_write_protocol_A(struct drbd_request *req)
532{
533 return (req->rq_state &
534 (RQ_WRITE|RQ_NET_PENDING|RQ_EXP_WRITE_ACK|RQ_EXP_RECEIVE_ACK))
535 == (RQ_WRITE|RQ_NET_PENDING);
536}
537
Philipp Reisnerb411b362009-09-25 16:07:19 -0700538/* obviously this could be coded as many single functions
539 * instead of one huge switch,
540 * or by putting the code directly in the respective locations
541 * (as it has been before).
542 *
543 * but having it this way
544 * enforces that it is all in this one place, where it is easier to audit,
545 * it makes it obvious that whatever "event" "happens" to a request should
546 * happen "atomically" within the req_lock,
547 * and it enforces that we have to think in a very structured manner
548 * about the "events" that may happen to a request during its life time ...
549 */
Philipp Reisner2a806992010-06-09 14:07:43 +0200550int __req_mod(struct drbd_request *req, enum drbd_req_event what,
Philipp Reisnerb411b362009-09-25 16:07:19 -0700551 struct bio_and_error *m)
552{
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100553 struct drbd_device *const device = req->device;
554 struct drbd_peer_device *const peer_device = first_peer_device(device);
555 struct drbd_connection *const connection = peer_device ? peer_device->connection : NULL;
Philipp Reisner44ed1672011-04-19 17:10:19 +0200556 struct net_conf *nc;
Philipp Reisner303d1442011-04-13 16:24:47 -0700557 int p, rv = 0;
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100558
559 if (m)
560 m->bio = NULL;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700561
Philipp Reisnerb411b362009-09-25 16:07:19 -0700562 switch (what) {
563 default:
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200564 drbd_err(device, "LOGIC BUG in %s:%u\n", __FILE__ , __LINE__);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700565 break;
566
567 /* does not happen...
568 * initialization done in drbd_req_new
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100569 case CREATED:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700570 break;
571 */
572
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100573 case TO_BE_SENT: /* via network */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100574 /* reached via __drbd_make_request
Philipp Reisnerb411b362009-09-25 16:07:19 -0700575 * and from w_read_retry_remote */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200576 D_ASSERT(device, !(req->rq_state & RQ_NET_MASK));
Philipp Reisner44ed1672011-04-19 17:10:19 +0200577 rcu_read_lock();
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100578 nc = rcu_dereference(connection->net_conf);
Philipp Reisner44ed1672011-04-19 17:10:19 +0200579 p = nc->wire_protocol;
580 rcu_read_unlock();
Philipp Reisner303d1442011-04-13 16:24:47 -0700581 req->rq_state |=
582 p == DRBD_PROT_C ? RQ_EXP_WRITE_ACK :
583 p == DRBD_PROT_B ? RQ_EXP_RECEIVE_ACK : 0;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100584 mod_rq_state(req, m, 0, RQ_NET_PENDING);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700585 break;
586
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100587 case TO_BE_SUBMITTED: /* locally */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100588 /* reached via __drbd_make_request */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200589 D_ASSERT(device, !(req->rq_state & RQ_LOCAL_MASK));
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100590 mod_rq_state(req, m, 0, RQ_LOCAL_PENDING);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700591 break;
592
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100593 case COMPLETED_OK:
Philipp Reisner2b4dd362011-03-14 13:01:50 +0100594 if (req->rq_state & RQ_WRITE)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200595 device->writ_cnt += req->i.size >> 9;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700596 else
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200597 device->read_cnt += req->i.size >> 9;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700598
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100599 mod_rq_state(req, m, RQ_LOCAL_PENDING,
600 RQ_LOCAL_COMPLETED|RQ_LOCAL_OK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700601 break;
602
Philipp Reisnercdfda632011-07-05 15:38:59 +0200603 case ABORT_DISK_IO:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100604 mod_rq_state(req, m, 0, RQ_LOCAL_ABORTED);
Philipp Reisner2b4dd362011-03-14 13:01:50 +0100605 break;
606
Lars Ellenbergedc9f5e2012-09-27 15:18:21 +0200607 case WRITE_COMPLETED_WITH_ERROR:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200608 drbd_report_io_error(device, req);
609 __drbd_chk_io_error(device, DRBD_WRITE_ERROR);
Lars Ellenbergedc9f5e2012-09-27 15:18:21 +0200610 mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700611 break;
612
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100613 case READ_COMPLETED_WITH_ERROR:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200614 drbd_set_out_of_sync(device, req->i.sector, req->i.size);
615 drbd_report_io_error(device, req);
616 __drbd_chk_io_error(device, DRBD_READ_ERROR);
Gustavo A. R. Silvadf561f662020-08-23 17:36:59 -0500617 fallthrough;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100618 case READ_AHEAD_COMPLETED_WITH_ERROR:
Christoph Hellwig70246282016-07-19 11:28:41 +0200619 /* it is legal to fail read-ahead, no __drbd_chk_io_error in that case. */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100620 mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
Lars Ellenberg4439c402012-03-26 17:29:30 +0200621 break;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700622
Lars Ellenberg2f632ae2014-04-28 18:43:24 +0200623 case DISCARD_COMPLETED_NOTSUPP:
624 case DISCARD_COMPLETED_WITH_ERROR:
625 /* I'd rather not detach from local disk just because it
Bart Van Assche93054552018-10-03 13:56:25 -0700626 * failed a REQ_OP_DISCARD. */
Lars Ellenberg2f632ae2014-04-28 18:43:24 +0200627 mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
628 break;
629
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100630 case QUEUE_FOR_NET_READ:
Christoph Hellwig70246282016-07-19 11:28:41 +0200631 /* READ, and
Philipp Reisnerb411b362009-09-25 16:07:19 -0700632 * no local disk,
633 * or target area marked as invalid,
634 * or just got an io-error. */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100635 /* from __drbd_make_request
Philipp Reisnerb411b362009-09-25 16:07:19 -0700636 * or from bio_endio during read io-error recovery */
637
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200638 /* So we can verify the handle in the answer packet.
639 * Corresponding drbd_remove_request_interval is in
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100640 * drbd_req_complete() */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200641 D_ASSERT(device, drbd_interval_empty(&req->i));
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200642 drbd_insert_interval(&device->read_requests, &req->i);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700643
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200644 set_bit(UNPLUG_REMOTE, &device->flags);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700645
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200646 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
647 D_ASSERT(device, (req->rq_state & RQ_LOCAL_MASK) == 0);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100648 mod_rq_state(req, m, 0, RQ_NET_QUEUED);
Lars Ellenberg4439c402012-03-26 17:29:30 +0200649 req->w.cb = w_send_read_req;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100650 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200651 &req->w);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700652 break;
653
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100654 case QUEUE_FOR_NET_WRITE:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700655 /* assert something? */
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100656 /* from __drbd_make_request only */
Philipp Reisnerb411b362009-09-25 16:07:19 -0700657
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200658 /* Corresponding drbd_remove_request_interval is in
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100659 * drbd_req_complete() */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200660 D_ASSERT(device, drbd_interval_empty(&req->i));
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200661 drbd_insert_interval(&device->write_requests, &req->i);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700662
663 /* NOTE
664 * In case the req ended up on the transfer log before being
665 * queued on the worker, it could lead to this request being
666 * missed during cleanup after connection loss.
667 * So we have to do both operations here,
668 * within the same lock that protects the transfer log.
669 *
670 * _req_add_to_epoch(req); this has to be after the
671 * _maybe_start_new_epoch(req); which happened in
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100672 * __drbd_make_request, because we now may set the bit
Philipp Reisnerb411b362009-09-25 16:07:19 -0700673 * again ourselves to close the current epoch.
674 *
675 * Add req to the (now) current epoch (barrier). */
676
Lars Ellenberg83c38832009-11-03 02:22:06 +0100677 /* otherwise we may lose an unplug, which may cause some remote
678 * io-scheduler timeout to expire, increasing maximum latency,
679 * hurting performance. */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200680 set_bit(UNPLUG_REMOTE, &device->flags);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700681
682 /* queue work item to send data */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200683 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100684 mod_rq_state(req, m, 0, RQ_NET_QUEUED|RQ_EXP_BARR_ACK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700685 req->w.cb = w_send_dblock;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100686 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200687 &req->w);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700688
689 /* close the epoch, in case it outgrew the limit */
Philipp Reisner44ed1672011-04-19 17:10:19 +0200690 rcu_read_lock();
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100691 nc = rcu_dereference(connection->net_conf);
Philipp Reisner44ed1672011-04-19 17:10:19 +0200692 p = nc->max_epoch_size;
693 rcu_read_unlock();
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100694 if (connection->current_tle_writes >= p)
695 start_new_tl_epoch(connection);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700696
697 break;
698
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100699 case QUEUE_FOR_SEND_OOS:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100700 mod_rq_state(req, m, 0, RQ_NET_QUEUED);
Andreas Gruenbacher8f7bed72010-12-19 23:53:14 +0100701 req->w.cb = w_send_out_of_sync;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100702 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200703 &req->w);
Philipp Reisner73a01a12010-10-27 14:33:00 +0200704 break;
705
Lars Ellenbergea9d6722012-03-26 16:46:39 +0200706 case READ_RETRY_REMOTE_CANCELED:
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100707 case SEND_CANCELED:
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100708 case SEND_FAILED:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700709 /* real cleanup will be done from tl_clear. just update flags
710 * so it is no longer marked as on the worker queue */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100711 mod_rq_state(req, m, RQ_NET_QUEUED, 0);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700712 break;
713
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100714 case HANDED_OVER_TO_NETWORK:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700715 /* assert something? */
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100716 if (is_pending_write_protocol_A(req))
Philipp Reisnerb411b362009-09-25 16:07:19 -0700717 /* this is what is dangerous about protocol A:
718 * pretend it was successfully written on the peer. */
Lars Ellenberge5f891b2013-11-22 12:32:01 +0100719 mod_rq_state(req, m, RQ_NET_QUEUED|RQ_NET_PENDING,
720 RQ_NET_SENT|RQ_NET_OK);
721 else
722 mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_SENT);
723 /* It is still not yet RQ_NET_DONE until the
724 * corresponding epoch barrier got acked as well,
725 * so we know what to dirty on connection loss. */
Lars Ellenberg6d49e102012-01-11 09:43:25 +0100726 break;
727
Lars Ellenberg27a434f2012-03-26 16:44:59 +0200728 case OOS_HANDED_TO_NETWORK:
Lars Ellenberg6d49e102012-01-11 09:43:25 +0100729 /* Was not set PENDING, no longer QUEUED, so is now DONE
730 * as far as this connection is concerned. */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100731 mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_DONE);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700732 break;
733
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100734 case CONNECTION_LOST_WHILE_PENDING:
Philipp Reisnerb411b362009-09-25 16:07:19 -0700735 /* transfer log cleanup after connection loss */
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100736 mod_rq_state(req, m,
737 RQ_NET_OK|RQ_NET_PENDING|RQ_COMPLETION_SUSP,
738 RQ_NET_DONE);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700739 break;
740
Lars Ellenbergd4dabbe2012-08-01 12:33:51 +0200741 case CONFLICT_RESOLVED:
742 /* for superseded conflicting writes of multiple primaries,
Philipp Reisnerb411b362009-09-25 16:07:19 -0700743 * there is no need to keep anything in the tl, potential
Lars Ellenberg934722a2012-07-24 09:31:18 +0200744 * node crashes are covered by the activity log.
745 *
746 * If this request had been marked as RQ_POSTPONED before,
Lars Ellenbergd4dabbe2012-08-01 12:33:51 +0200747 * it will actually not be completed, but "restarted",
Lars Ellenberg934722a2012-07-24 09:31:18 +0200748 * resubmitted from the retry worker context. */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200749 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
750 D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
Lars Ellenberg934722a2012-07-24 09:31:18 +0200751 mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_DONE|RQ_NET_OK);
752 break;
753
Lars Ellenberg0afd5692012-03-26 16:51:11 +0200754 case WRITE_ACKED_BY_PEER_AND_SIS:
Lars Ellenberg934722a2012-07-24 09:31:18 +0200755 req->rq_state |= RQ_NET_SIS;
Gustavo A. R. Silva6327c9112021-04-20 15:25:51 -0500756 fallthrough;
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100757 case WRITE_ACKED_BY_PEER:
Lars Ellenberg08d0dab2014-03-20 11:19:22 +0100758 /* Normal operation protocol C: successfully written on peer.
759 * During resync, even in protocol != C,
760 * we requested an explicit write ack anyways.
761 * Which means we cannot even assert anything here.
Lars Ellenbergd64957c2012-03-23 14:42:19 +0100762 * Nothing more to do here.
Philipp Reisnerb411b362009-09-25 16:07:19 -0700763 * We want to keep the tl in place for all protocols, to cater
Lars Ellenbergd64957c2012-03-23 14:42:19 +0100764 * for volatile write-back caches on lower level devices. */
Philipp Reisner303d1442011-04-13 16:24:47 -0700765 goto ack_common;
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100766 case RECV_ACKED_BY_PEER:
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200767 D_ASSERT(device, req->rq_state & RQ_EXP_RECEIVE_ACK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700768 /* protocol B; pretends to be successfully written on peer.
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100769 * see also notes above in HANDED_OVER_TO_NETWORK about
Philipp Reisnerb411b362009-09-25 16:07:19 -0700770 * protocol != C */
Philipp Reisner303d1442011-04-13 16:24:47 -0700771 ack_common:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100772 mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700773 break;
774
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100775 case POSTPONE_WRITE:
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200776 D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
Philipp Reisner303d1442011-04-13 16:24:47 -0700777 /* If this node has already detected the write conflict, the
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100778 * worker will be waiting on misc_wait. Wake it up once this
779 * request has completed locally.
780 */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200781 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
Andreas Gruenbacher7be8da02011-02-22 02:15:32 +0100782 req->rq_state |= RQ_POSTPONED;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100783 if (req->i.waiting)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200784 wake_up(&device->misc_wait);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100785 /* Do not clear RQ_NET_PENDING. This request will make further
786 * progress via restart_conflicting_writes() or
787 * fail_postponed_requests(). Hopefully. */
Philipp Reisnerb411b362009-09-25 16:07:19 -0700788 break;
789
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100790 case NEG_ACKED:
Lars Ellenberg46e21bb2012-08-07 06:47:14 +0200791 mod_rq_state(req, m, RQ_NET_OK|RQ_NET_PENDING, 0);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700792 break;
793
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100794 case FAIL_FROZEN_DISK_IO:
Philipp Reisner265be2d2010-05-31 10:14:17 +0200795 if (!(req->rq_state & RQ_LOCAL_COMPLETED))
796 break;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100797 mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
Philipp Reisner265be2d2010-05-31 10:14:17 +0200798 break;
799
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100800 case RESTART_FROZEN_DISK_IO:
Philipp Reisner265be2d2010-05-31 10:14:17 +0200801 if (!(req->rq_state & RQ_LOCAL_COMPLETED))
802 break;
803
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100804 mod_rq_state(req, m,
805 RQ_COMPLETION_SUSP|RQ_LOCAL_COMPLETED,
806 RQ_LOCAL_PENDING);
Philipp Reisner265be2d2010-05-31 10:14:17 +0200807
808 rv = MR_READ;
809 if (bio_data_dir(req->master_bio) == WRITE)
810 rv = MR_WRITE;
811
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200812 get_ldev(device); /* always succeeds in this call path */
Philipp Reisner265be2d2010-05-31 10:14:17 +0200813 req->w.cb = w_restart_disk_io;
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100814 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200815 &req->w);
Philipp Reisner265be2d2010-05-31 10:14:17 +0200816 break;
817
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100818 case RESEND:
Philipp Reisner509fc012012-07-31 11:22:58 +0200819 /* Simply complete (local only) READs. */
820 if (!(req->rq_state & RQ_WRITE) && !req->w.cb) {
Philipp Reisner8a0bab22012-08-07 13:28:00 +0200821 mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
Philipp Reisner509fc012012-07-31 11:22:58 +0200822 break;
823 }
824
Philipp Reisner11b58e72010-05-12 17:08:26 +0200825 /* If RQ_NET_OK is already set, we got a P_WRITE_ACK or P_RECV_ACK
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100826 before the connection loss (B&C only); only P_BARRIER_ACK
827 (or the local completion?) was missing when we suspended.
Lars Ellenberg6870ca62012-03-26 17:02:45 +0200828 Throwing them out of the TL here by pretending we got a BARRIER_ACK.
829 During connection handshake, we ensure that the peer was not rebooted. */
Philipp Reisner11b58e72010-05-12 17:08:26 +0200830 if (!(req->rq_state & RQ_NET_OK)) {
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200831 /* FIXME could this possibly be a req->dw.cb == w_send_out_of_sync?
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100832 * in that case we must not set RQ_NET_PENDING. */
833
834 mod_rq_state(req, m, RQ_COMPLETION_SUSP, RQ_NET_QUEUED|RQ_NET_PENDING);
Philipp Reisner11b58e72010-05-12 17:08:26 +0200835 if (req->w.cb) {
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100836 /* w.cb expected to be w_send_dblock, or w_send_read_req */
837 drbd_queue_work(&connection->sender_work,
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200838 &req->w);
Philipp Reisner11b58e72010-05-12 17:08:26 +0200839 rv = req->rq_state & RQ_WRITE ? MR_WRITE : MR_READ;
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100840 } /* else: FIXME can this happen? */
Philipp Reisner11b58e72010-05-12 17:08:26 +0200841 break;
842 }
Gustavo A. R. Silvadf561f662020-08-23 17:36:59 -0500843 fallthrough; /* to BARRIER_ACKED */
Philipp Reisner11b58e72010-05-12 17:08:26 +0200844
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100845 case BARRIER_ACKED:
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100846 /* barrier ack for READ requests does not make sense */
Philipp Reisner288f4222010-05-27 15:07:43 +0200847 if (!(req->rq_state & RQ_WRITE))
848 break;
849
Philipp Reisnerb411b362009-09-25 16:07:19 -0700850 if (req->rq_state & RQ_NET_PENDING) {
Andreas Gruenbachera209b4a2011-08-17 12:43:25 +0200851 /* barrier came in before all requests were acked.
Philipp Reisnerb411b362009-09-25 16:07:19 -0700852 * this is bad, because if the connection is lost now,
853 * we won't be able to clean them up... */
Andreas Gruenbacherd0180172011-07-03 17:53:52 +0200854 drbd_err(device, "FIXME (BARRIER_ACKED but pending)\n");
Philipp Reisnerb411b362009-09-25 16:07:19 -0700855 }
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100856 /* Allowed to complete requests, even while suspended.
857 * As this is called for all requests within a matching epoch,
858 * we need to filter, and only set RQ_NET_DONE for those that
859 * have actually been on the wire. */
860 mod_rq_state(req, m, RQ_COMPLETION_SUSP,
861 (req->rq_state & RQ_NET_MASK) ? RQ_NET_DONE : 0);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700862 break;
863
Andreas Gruenbacher8554df12011-01-25 15:37:43 +0100864 case DATA_RECEIVED:
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200865 D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
Lars Ellenberga0d856d2012-01-24 17:19:42 +0100866 mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK|RQ_NET_DONE);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700867 break;
Lars Ellenberg7074e4a2013-03-27 14:08:41 +0100868
869 case QUEUE_AS_DRBD_BARRIER:
Lars Ellenberg44a4d552013-11-22 12:40:58 +0100870 start_new_tl_epoch(connection);
Lars Ellenberg7074e4a2013-03-27 14:08:41 +0100871 mod_rq_state(req, m, 0, RQ_NET_OK|RQ_NET_DONE);
872 break;
zhengbinec45a262019-11-28 11:09:30 +0800873 }
Philipp Reisner2a806992010-06-09 14:07:43 +0200874
875 return rv;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700876}
877
878/* we may do a local read if:
879 * - we are consistent (of course),
880 * - or we are generally inconsistent,
881 * BUT we are still/already IN SYNC for this area.
882 * since size may be bigger than BM_BLOCK_SIZE,
883 * we may need to check several bits.
884 */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200885static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size)
Philipp Reisnerb411b362009-09-25 16:07:19 -0700886{
887 unsigned long sbnr, ebnr;
888 sector_t esector, nr_sectors;
889
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200890 if (device->state.disk == D_UP_TO_DATE)
Andreas Gruenbacher0da34df2010-12-19 20:48:29 +0100891 return true;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200892 if (device->state.disk != D_INCONSISTENT)
Andreas Gruenbacher0da34df2010-12-19 20:48:29 +0100893 return false;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700894 esector = sector + (size >> 9) - 1;
Christoph Hellwig155bd9d2020-09-25 18:06:17 +0200895 nr_sectors = get_capacity(device->vdisk);
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +0200896 D_ASSERT(device, sector < nr_sectors);
897 D_ASSERT(device, esector < nr_sectors);
Philipp Reisnerb411b362009-09-25 16:07:19 -0700898
899 sbnr = BM_SECT_TO_BIT(sector);
900 ebnr = BM_SECT_TO_BIT(esector);
901
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200902 return drbd_bm_count_bits(device, sbnr, ebnr) == 0;
Philipp Reisnerb411b362009-09-25 16:07:19 -0700903}
904
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200905static bool remote_due_to_read_balancing(struct drbd_device *device, sector_t sector,
Lars Ellenberg5da9c832012-03-29 17:04:14 +0200906 enum drbd_read_balancing rbm)
Philipp Reisner380207d2011-11-11 12:31:20 +0100907{
Philipp Reisnerd60de032011-11-17 10:12:31 +0100908 int stripe_shift;
Philipp Reisner380207d2011-11-11 12:31:20 +0100909
Philipp Reisner380207d2011-11-11 12:31:20 +0100910 switch (rbm) {
911 case RB_CONGESTED_REMOTE:
Christoph Hellwigedb08722021-08-09 16:17:43 +0200912 return bdi_read_congested(
913 device->ldev->backing_bdev->bd_disk->bdi);
Philipp Reisner380207d2011-11-11 12:31:20 +0100914 case RB_LEAST_PENDING:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200915 return atomic_read(&device->local_cnt) >
916 atomic_read(&device->ap_pending_cnt) + atomic_read(&device->rs_pending_cnt);
Philipp Reisnerd60de032011-11-17 10:12:31 +0100917 case RB_32K_STRIPING: /* stripe_shift = 15 */
918 case RB_64K_STRIPING:
919 case RB_128K_STRIPING:
920 case RB_256K_STRIPING:
921 case RB_512K_STRIPING:
922 case RB_1M_STRIPING: /* stripe_shift = 20 */
923 stripe_shift = (rbm - RB_32K_STRIPING + 15);
924 return (sector >> (stripe_shift - 9)) & 1;
Philipp Reisner380207d2011-11-11 12:31:20 +0100925 case RB_ROUND_ROBIN:
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200926 return test_and_change_bit(READ_BALANCE_RR, &device->flags);
Philipp Reisner380207d2011-11-11 12:31:20 +0100927 case RB_PREFER_REMOTE:
928 return true;
929 case RB_PREFER_LOCAL:
930 default:
931 return false;
932 }
933}
934
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100935/*
936 * complete_conflicting_writes - wait for any conflicting write requests
937 *
938 * The write_requests tree contains all active write requests which we
939 * currently know about. Wait for any requests to complete which conflict with
940 * the new one.
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200941 *
942 * Only way out: remove the conflicting intervals from the tree.
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100943 */
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200944static void complete_conflicting_writes(struct drbd_request *req)
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100945{
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200946 DEFINE_WAIT(wait);
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +0200947 struct drbd_device *device = req->device;
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200948 struct drbd_interval *i;
949 sector_t sector = req->i.sector;
950 int size = req->i.size;
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100951
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200952 for (;;) {
Lars Ellenberg1b228c92016-06-14 00:26:17 +0200953 drbd_for_each_overlap(i, &device->write_requests, sector, size) {
954 /* Ignore, if already completed to upper layers. */
955 if (i->completed)
956 continue;
957 /* Handle the first found overlap. After the schedule
958 * we have to restart the tree walk. */
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200959 break;
Lars Ellenberg1b228c92016-06-14 00:26:17 +0200960 }
961 if (!i) /* if any */
962 break;
963
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200964 /* Indicate to wake up device->misc_wait on progress. */
Lars Ellenberg1b228c92016-06-14 00:26:17 +0200965 prepare_to_wait(&device->misc_wait, &wait, TASK_UNINTERRUPTIBLE);
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200966 i->waiting = true;
Andreas Gruenbacher05008132011-07-07 14:19:42 +0200967 spin_unlock_irq(&device->resource->req_lock);
Lars Ellenberg648e46b2012-03-26 20:12:24 +0200968 schedule();
Andreas Gruenbacher05008132011-07-07 14:19:42 +0200969 spin_lock_irq(&device->resource->req_lock);
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100970 }
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200971 finish_wait(&device->misc_wait, &wait);
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +0100972}
973
Fabian Frederick7e5fec32016-06-14 00:26:35 +0200974/* called within req_lock */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200975static void maybe_pull_ahead(struct drbd_device *device)
Lars Ellenberg0d5934e2012-06-08 14:17:36 +0200976{
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +0200977 struct drbd_connection *connection = first_peer_device(device)->connection;
Lars Ellenberg5da9c832012-03-29 17:04:14 +0200978 struct net_conf *nc;
979 bool congested = false;
980 enum drbd_on_congestion on_congestion;
981
Lars Ellenberg607f25e2013-03-27 14:08:45 +0100982 rcu_read_lock();
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200983 nc = rcu_dereference(connection->net_conf);
Lars Ellenberg5da9c832012-03-29 17:04:14 +0200984 on_congestion = nc ? nc->on_congestion : OC_BLOCK;
Lars Ellenberg607f25e2013-03-27 14:08:45 +0100985 rcu_read_unlock();
Lars Ellenberg5da9c832012-03-29 17:04:14 +0200986 if (on_congestion == OC_BLOCK ||
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +0200987 connection->agreed_pro_version < 96)
Lars Ellenberg3b9ef852012-07-30 09:06:26 +0200988 return;
Lars Ellenberg0d5934e2012-06-08 14:17:36 +0200989
Lars Ellenberg0c066bc2014-03-20 14:04:35 +0100990 if (on_congestion == OC_PULL_AHEAD && device->state.conn == C_AHEAD)
991 return; /* nothing to do ... */
992
Lars Ellenberg0d5934e2012-06-08 14:17:36 +0200993 /* If I don't even have good local storage, we can not reasonably try
994 * to pull ahead of the peer. We also need the local reference to make
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200995 * sure device->act_log is there.
Lars Ellenberg0d5934e2012-06-08 14:17:36 +0200996 */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +0200997 if (!get_ldev_if_state(device, D_UP_TO_DATE))
Lars Ellenberg0d5934e2012-06-08 14:17:36 +0200998 return;
999
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001000 if (nc->cong_fill &&
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001001 atomic_read(&device->ap_in_flight) >= nc->cong_fill) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001002 drbd_info(device, "Congestion-fill threshold reached\n");
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001003 congested = true;
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001004 }
1005
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001006 if (device->act_log->used >= nc->cong_extents) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001007 drbd_info(device, "Congestion-extents threshold reached\n");
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001008 congested = true;
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001009 }
1010
1011 if (congested) {
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +02001012 /* start a new epoch for non-mirrored writes */
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001013 start_new_tl_epoch(first_peer_device(device)->connection);
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001014
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001015 if (on_congestion == OC_PULL_AHEAD)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001016 _drbd_set_state(_NS(device, conn, C_AHEAD), 0, NULL);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001017 else /*nc->on_congestion == OC_DISCONNECT */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001018 _drbd_set_state(_NS(device, conn, C_DISCONNECTING), 0, NULL);
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001019 }
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001020 put_ldev(device);
Lars Ellenberg0d5934e2012-06-08 14:17:36 +02001021}
1022
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001023/* If this returns false, and req->private_bio is still set,
1024 * this should be submitted locally.
1025 *
1026 * If it returns false, but req->private_bio is not set,
1027 * we do not have access to good data :(
1028 *
1029 * Otherwise, this destroys req->private_bio, if any,
1030 * and returns true.
1031 */
1032static bool do_remote_read(struct drbd_request *req)
1033{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +02001034 struct drbd_device *device = req->device;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001035 enum drbd_read_balancing rbm;
1036
1037 if (req->private_bio) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001038 if (!drbd_may_do_local_read(device,
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001039 req->i.sector, req->i.size)) {
1040 bio_put(req->private_bio);
1041 req->private_bio = NULL;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001042 put_ldev(device);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001043 }
1044 }
1045
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001046 if (device->state.pdsk != D_UP_TO_DATE)
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001047 return false;
1048
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001049 if (req->private_bio == NULL)
1050 return true;
1051
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001052 /* TODO: improve read balancing decisions, take into account drbd
1053 * protocol, pending requests etc. */
1054
1055 rcu_read_lock();
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001056 rbm = rcu_dereference(device->ldev->disk_conf)->read_balancing;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001057 rcu_read_unlock();
1058
1059 if (rbm == RB_PREFER_LOCAL && req->private_bio)
1060 return false; /* submit locally */
1061
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001062 if (remote_due_to_read_balancing(device, req->i.sector, rbm)) {
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001063 if (req->private_bio) {
1064 bio_put(req->private_bio);
1065 req->private_bio = NULL;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001066 put_ldev(device);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001067 }
1068 return true;
1069 }
1070
1071 return false;
1072}
1073
Andreas Gruenbacher2e9ffde2014-08-08 17:48:00 +02001074bool drbd_should_do_remote(union drbd_dev_state s)
1075{
1076 return s.pdsk == D_UP_TO_DATE ||
1077 (s.pdsk >= D_INCONSISTENT &&
1078 s.conn >= C_WF_BITMAP_T &&
1079 s.conn < C_AHEAD);
1080 /* Before proto 96 that was >= CONNECTED instead of >= C_WF_BITMAP_T.
1081 That is equivalent since before 96 IO was frozen in the C_WF_BITMAP*
1082 states. */
1083}
1084
1085static bool drbd_should_send_out_of_sync(union drbd_dev_state s)
1086{
1087 return s.conn == C_AHEAD || s.conn == C_WF_BITMAP_S;
1088 /* pdsk = D_INCONSISTENT as a consequence. Protocol 96 check not necessary
1089 since we enter state C_AHEAD only if proto >= 96 */
1090}
1091
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001092/* returns number of connections (== 1, for drbd 8.4)
1093 * expected to actually write this data,
1094 * which does NOT include those that we are L_AHEAD for. */
1095static int drbd_process_write_request(struct drbd_request *req)
1096{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +02001097 struct drbd_device *device = req->device;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001098 int remote, send_oos;
1099
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001100 remote = drbd_should_do_remote(device->state);
1101 send_oos = drbd_should_send_out_of_sync(device->state);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001102
Lars Ellenberg519b6d3e2012-08-03 02:19:09 +02001103 /* Need to replicate writes. Unless it is an empty flush,
1104 * which is better mapped to a DRBD P_BARRIER packet,
1105 * also for drbd wire protocol compatibility reasons.
1106 * If this was a flush, just start a new epoch.
1107 * Unless the current epoch was empty anyways, or we are not currently
1108 * replicating, in which case there is no point. */
1109 if (unlikely(req->i.size == 0)) {
1110 /* The only size==0 bios we expect are empty flushes. */
Jens Axboe1eff9d32016-08-05 15:35:16 -06001111 D_ASSERT(device, req->master_bio->bi_opf & REQ_PREFLUSH);
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +02001112 if (remote)
Lars Ellenberg7074e4a2013-03-27 14:08:41 +01001113 _req_mod(req, QUEUE_AS_DRBD_BARRIER);
1114 return remote;
Lars Ellenberg519b6d3e2012-08-03 02:19:09 +02001115 }
1116
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001117 if (!remote && !send_oos)
1118 return 0;
1119
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +02001120 D_ASSERT(device, !(remote && send_oos));
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001121
1122 if (remote) {
1123 _req_mod(req, TO_BE_SENT);
1124 _req_mod(req, QUEUE_FOR_NET_WRITE);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001125 } else if (drbd_set_out_of_sync(device, req->i.sector, req->i.size))
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001126 _req_mod(req, QUEUE_FOR_SEND_OOS);
1127
1128 return remote;
1129}
1130
Lars Ellenbergf31e5832018-12-20 17:23:42 +01001131static void drbd_process_discard_or_zeroes_req(struct drbd_request *req, int flags)
Lars Ellenberg7435e902016-06-14 00:26:22 +02001132{
Lars Ellenbergf31e5832018-12-20 17:23:42 +01001133 int err = drbd_issue_discard_or_zero_out(req->device,
1134 req->i.sector, req->i.size >> 9, flags);
1135 if (err)
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +02001136 req->private_bio->bi_status = BLK_STS_IOERR;
Lars Ellenberg7435e902016-06-14 00:26:22 +02001137 bio_endio(req->private_bio);
1138}
1139
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001140static void
1141drbd_submit_req_private_bio(struct drbd_request *req)
1142{
Andreas Gruenbacher84b8c062011-07-28 15:27:51 +02001143 struct drbd_device *device = req->device;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001144 struct bio *bio = req->private_bio;
Christoph Hellwig70246282016-07-19 11:28:41 +02001145 unsigned int type;
1146
1147 if (bio_op(bio) != REQ_OP_READ)
1148 type = DRBD_FAULT_DT_WR;
Jens Axboe1eff9d32016-08-05 15:35:16 -06001149 else if (bio->bi_opf & REQ_RAHEAD)
Christoph Hellwig70246282016-07-19 11:28:41 +02001150 type = DRBD_FAULT_DT_RA;
1151 else
1152 type = DRBD_FAULT_DT_RD;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001153
Christoph Hellwig74d46992017-08-23 19:10:32 +02001154 bio_set_dev(bio, device->ldev->backing_bdev);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001155
1156 /* State may have changed since we grabbed our reference on the
1157 * ->ldev member. Double check, and short-circuit to endio.
1158 * In case the last activity log transaction failed to get on
1159 * stable storage, and this is a WRITE, we may not even submit
1160 * this bio. */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001161 if (get_ldev(device)) {
Christoph Hellwig70246282016-07-19 11:28:41 +02001162 if (drbd_insert_fault(device, type))
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001163 bio_io_error(bio);
Lars Ellenbergf31e5832018-12-20 17:23:42 +01001164 else if (bio_op(bio) == REQ_OP_WRITE_ZEROES)
1165 drbd_process_discard_or_zeroes_req(req, EE_ZEROOUT |
1166 ((bio->bi_opf & REQ_NOUNMAP) ? 0 : EE_TRIM));
1167 else if (bio_op(bio) == REQ_OP_DISCARD)
1168 drbd_process_discard_or_zeroes_req(req, EE_TRIM);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001169 else
Christoph Hellwiged00aab2020-07-01 10:59:44 +02001170 submit_bio_noacct(bio);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001171 put_ldev(device);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001172 } else
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001173 bio_io_error(bio);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001174}
1175
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001176static void drbd_queue_write(struct drbd_device *device, struct drbd_request *req)
Lars Ellenberg779b3fe2013-03-19 18:16:54 +01001177{
Lars Ellenberg844a6ae72013-11-22 12:52:03 +01001178 spin_lock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001179 list_add_tail(&req->tl_requests, &device->submit.writes);
Lars Ellenberg844a6ae72013-11-22 12:52:03 +01001180 list_add_tail(&req->req_pending_master_completion,
1181 &device->pending_master_completion[1 /* WRITE */]);
1182 spin_unlock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001183 queue_work(device->submit.wq, &device->submit.worker);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001184 /* do_submit() may sleep internally on al_wait, too */
1185 wake_up(&device->al_wait);
Lars Ellenberg779b3fe2013-03-19 18:16:54 +01001186}
1187
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001188/* returns the new drbd_request pointer, if the caller is expected to
1189 * drbd_send_and_submit() it (to save latency), or NULL if we queued the
1190 * request on the submitter thread.
1191 * Returns ERR_PTR(-ENOMEM) if we cannot allocate a drbd_request.
1192 */
Rashika Kheria01cd2632013-12-19 15:12:27 +05301193static struct drbd_request *
Guoqing Jiang370276b2021-01-21 15:21:50 +01001194drbd_request_prepare(struct drbd_device *device, struct bio *bio)
Philipp Reisnerb411b362009-09-25 16:07:19 -07001195{
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001196 const int rw = bio_data_dir(bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001197 struct drbd_request *req;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001198
1199 /* allocate outside of all locks; */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001200 req = drbd_req_new(device, bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001201 if (!req) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001202 dec_ap_bio(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001203 /* only pass the error to the upper layers.
1204 * if user cannot handle io errors, that's not our business. */
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001205 drbd_err(device, "could not kmalloc() req\n");
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +02001206 bio->bi_status = BLK_STS_RESOURCE;
Christoph Hellwig4246a0b2015-07-20 15:29:37 +02001207 bio_endio(bio);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001208 return ERR_PTR(-ENOMEM);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001209 }
Christoph Hellwig24d69292020-05-27 07:24:05 +02001210
1211 /* Update disk stats */
1212 req->start_jif = bio_start_io_acct(req->master_bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001213
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001214 if (!get_ldev(device)) {
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001215 bio_put(req->private_bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001216 req->private_bio = NULL;
1217 }
Philipp Reisnerb411b362009-09-25 16:07:19 -07001218
Lars Ellenberg7435e902016-06-14 00:26:22 +02001219 /* process discards always from our submitter thread */
Bart Van Asschefad2d4e2018-06-25 15:51:30 -07001220 if (bio_op(bio) == REQ_OP_WRITE_ZEROES ||
1221 bio_op(bio) == REQ_OP_DISCARD)
Lars Ellenberg7435e902016-06-14 00:26:22 +02001222 goto queue_for_submitter_thread;
1223
Lars Ellenberg519b6d3e2012-08-03 02:19:09 +02001224 if (rw == WRITE && req->private_bio && req->i.size
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001225 && !test_bit(AL_SUSPENDED, &device->flags)) {
Lars Ellenberg7435e902016-06-14 00:26:22 +02001226 if (!drbd_al_begin_io_fastpath(device, &req->i))
1227 goto queue_for_submitter_thread;
Philipp Reisner07782862010-08-31 12:00:50 +02001228 req->rq_state |= RQ_IN_ACT_LOG;
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001229 req->in_actlog_jif = jiffies;
Philipp Reisner07782862010-08-31 12:00:50 +02001230 }
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001231 return req;
Lars Ellenberg7435e902016-06-14 00:26:22 +02001232
1233 queue_for_submitter_thread:
1234 atomic_inc(&device->ap_actlog_cnt);
1235 drbd_queue_write(device, req);
1236 return NULL;
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001237}
1238
Lars Ellenberg0ead5cc2016-06-14 00:26:27 +02001239/* Require at least one path to current data.
1240 * We don't want to allow writes on C_STANDALONE D_INCONSISTENT:
1241 * We would not allow to read what was written,
1242 * we would not have bumped the data generation uuids,
1243 * we would cause data divergence for all the wrong reasons.
1244 *
1245 * If we don't see at least one D_UP_TO_DATE, we will fail this request,
1246 * which either returns EIO, or, if OND_SUSPEND_IO is set, suspends IO,
1247 * and queues for retry later.
1248 */
1249static bool may_do_writes(struct drbd_device *device)
1250{
1251 const union drbd_dev_state s = device->state;
1252 return s.disk == D_UP_TO_DATE || s.pdsk == D_UP_TO_DATE;
1253}
1254
Lars Ellenbergc51a0ef2017-08-29 10:20:32 +02001255struct drbd_plug_cb {
1256 struct blk_plug_cb cb;
1257 struct drbd_request *most_recent_req;
1258 /* do we need more? */
1259};
1260
1261static void drbd_unplug(struct blk_plug_cb *cb, bool from_schedule)
1262{
1263 struct drbd_plug_cb *plug = container_of(cb, struct drbd_plug_cb, cb);
1264 struct drbd_resource *resource = plug->cb.data;
1265 struct drbd_request *req = plug->most_recent_req;
1266
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001267 kfree(cb);
Lars Ellenbergc51a0ef2017-08-29 10:20:32 +02001268 if (!req)
1269 return;
1270
1271 spin_lock_irq(&resource->req_lock);
1272 /* In case the sender did not process it yet, raise the flag to
1273 * have it followed with P_UNPLUG_REMOTE just after. */
1274 req->rq_state |= RQ_UNPLUG;
1275 /* but also queue a generic unplug */
1276 drbd_queue_unplug(req->device);
Lars Ellenbergc51a0ef2017-08-29 10:20:32 +02001277 kref_put(&req->kref, drbd_req_destroy);
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001278 spin_unlock_irq(&resource->req_lock);
Lars Ellenbergc51a0ef2017-08-29 10:20:32 +02001279}
1280
1281static struct drbd_plug_cb* drbd_check_plugged(struct drbd_resource *resource)
1282{
1283 /* A lot of text to say
1284 * return (struct drbd_plug_cb*)blk_check_plugged(); */
1285 struct drbd_plug_cb *plug;
1286 struct blk_plug_cb *cb = blk_check_plugged(drbd_unplug, resource, sizeof(*plug));
1287
1288 if (cb)
1289 plug = container_of(cb, struct drbd_plug_cb, cb);
1290 else
1291 plug = NULL;
1292 return plug;
1293}
1294
1295static void drbd_update_plug(struct drbd_plug_cb *plug, struct drbd_request *req)
1296{
1297 struct drbd_request *tmp = plug->most_recent_req;
1298 /* Will be sent to some peer.
1299 * Remember to tag it with UNPLUG_REMOTE on unplug */
1300 kref_get(&req->kref);
1301 plug->most_recent_req = req;
1302 if (tmp)
1303 kref_put(&tmp->kref, drbd_req_destroy);
1304}
1305
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001306static void drbd_send_and_submit(struct drbd_device *device, struct drbd_request *req)
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001307{
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001308 struct drbd_resource *resource = device->resource;
Christoph Hellwig70246282016-07-19 11:28:41 +02001309 const int rw = bio_data_dir(req->master_bio);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001310 struct bio_and_error m = { NULL, };
1311 bool no_remote = false;
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001312 bool submit_private_bio = false;
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001313
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001314 spin_lock_irq(&resource->req_lock);
Andreas Gruenbacher6024fec2011-01-28 15:53:51 +01001315 if (rw == WRITE) {
Lars Ellenberg648e46b2012-03-26 20:12:24 +02001316 /* This may temporarily give up the req_lock,
1317 * but will re-aquire it before it returns here.
1318 * Needs to be before the check on drbd_suspended() */
1319 complete_conflicting_writes(req);
Lars Ellenberg607f25e2013-03-27 14:08:45 +01001320 /* no more giving up req_lock from now on! */
1321
1322 /* check for congestion, and potentially stop sending
1323 * full data updates, but start sending "dirty bits" only. */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001324 maybe_pull_ahead(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001325 }
1326
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001327
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001328 if (drbd_suspended(device)) {
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001329 /* push back and retry: */
1330 req->rq_state |= RQ_POSTPONED;
1331 if (req->private_bio) {
1332 bio_put(req->private_bio);
1333 req->private_bio = NULL;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001334 put_ldev(device);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001335 }
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001336 goto out;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001337 }
1338
Christoph Hellwig70246282016-07-19 11:28:41 +02001339 /* We fail READ early, if we can not serve it.
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001340 * We must do this before req is registered on any lists.
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001341 * Otherwise, drbd_req_complete() will queue failed READ for retry. */
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001342 if (rw != WRITE) {
1343 if (!do_remote_read(req) && !req->private_bio)
1344 goto nodata;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001345 }
1346
Lars Ellenbergb6dd1a82011-11-28 15:04:49 +01001347 /* which transfer log epoch does this belong to? */
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001348 req->epoch = atomic_read(&first_peer_device(device)->connection->current_tle_nr);
Philipp Reisner288f4222010-05-27 15:07:43 +02001349
Lars Ellenberg227f0522012-07-31 09:31:11 +02001350 /* no point in adding empty flushes to the transfer log,
1351 * they are mapped to drbd barriers already. */
Lars Ellenberg99b4d8f2012-08-07 06:42:09 +02001352 if (likely(req->i.size!=0)) {
1353 if (rw == WRITE)
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001354 first_peer_device(device)->connection->current_tle_writes++;
Philipp Reisner288f4222010-05-27 15:07:43 +02001355
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001356 list_add_tail(&req->tl_requests, &first_peer_device(device)->connection->transfer_log);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001357 }
Philipp Reisner67531712010-10-27 12:21:30 +02001358
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001359 if (rw == WRITE) {
Lars Ellenberg0ead5cc2016-06-14 00:26:27 +02001360 if (req->private_bio && !may_do_writes(device)) {
1361 bio_put(req->private_bio);
1362 req->private_bio = NULL;
1363 put_ldev(device);
1364 goto nodata;
1365 }
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001366 if (!drbd_process_write_request(req))
1367 no_remote = true;
1368 } else {
1369 /* We either have a private_bio, or we can read from remote.
1370 * Otherwise we had done the goto nodata above. */
1371 if (req->private_bio == NULL) {
1372 _req_mod(req, TO_BE_SENT);
1373 _req_mod(req, QUEUE_FOR_NET_READ);
Lars Ellenberg6719fb02010-10-18 23:04:07 +02001374 } else
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001375 no_remote = true;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001376 }
1377
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001378 if (no_remote == false) {
1379 struct drbd_plug_cb *plug = drbd_check_plugged(resource);
1380 if (plug)
1381 drbd_update_plug(plug, req);
1382 }
Lars Ellenbergc51a0ef2017-08-29 10:20:32 +02001383
Lars Ellenberg844a6ae72013-11-22 12:52:03 +01001384 /* If it took the fast path in drbd_request_prepare, add it here.
1385 * The slow path has added it already. */
1386 if (list_empty(&req->req_pending_master_completion))
1387 list_add_tail(&req->req_pending_master_completion,
1388 &device->pending_master_completion[rw == WRITE]);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001389 if (req->private_bio) {
1390 /* needs to be marked within the same spinlock */
Lars Ellenberg05cbbb32015-01-16 17:41:55 +01001391 req->pre_submit_jif = jiffies;
Lars Ellenberg844a6ae72013-11-22 12:52:03 +01001392 list_add_tail(&req->req_pending_local,
1393 &device->pending_completion[rw == WRITE]);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001394 _req_mod(req, TO_BE_SUBMITTED);
1395 /* but we need to give up the spinlock to submit */
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001396 submit_private_bio = true;
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001397 } else if (no_remote) {
1398nodata:
1399 if (__ratelimit(&drbd_ratelimit_state))
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001400 drbd_err(device, "IO ERROR: neither local nor remote data, sector %llu+%u\n",
Lars Ellenberg42839f62012-09-27 15:19:38 +02001401 (unsigned long long)req->i.sector, req->i.size >> 9);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001402 /* A write may have been queued for send_oos, however.
Lars Ellenberga0d856d2012-01-24 17:19:42 +01001403 * So we can not simply free it, we must go through drbd_req_put_completion_ref() */
Philipp Reisnerb411b362009-09-25 16:07:19 -07001404 }
1405
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001406out:
Lars Ellenberga00ebd12017-05-11 10:21:46 +02001407 drbd_req_put_completion_ref(req, &m, 1);
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001408 spin_unlock_irq(&resource->req_lock);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001409
Lars Ellenberg35b5ed52013-12-04 12:07:09 +01001410 /* Even though above is a kref_put(), this is safe.
1411 * As long as we still need to submit our private bio,
1412 * we hold a completion ref, and the request cannot disappear.
1413 * If however this request did not even have a private bio to submit
1414 * (e.g. remote read), req may already be invalid now.
1415 * That's why we cannot check on req->private_bio. */
1416 if (submit_private_bio)
1417 drbd_submit_req_private_bio(req);
Lars Ellenberg5da9c832012-03-29 17:04:14 +02001418 if (m.bio)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001419 complete_master_bio(device, &m);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001420}
1421
Guoqing Jiang370276b2021-01-21 15:21:50 +01001422void __drbd_make_request(struct drbd_device *device, struct bio *bio)
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001423{
Guoqing Jiang370276b2021-01-21 15:21:50 +01001424 struct drbd_request *req = drbd_request_prepare(device, bio);
Lars Ellenberg6d9febe2013-03-19 18:16:50 +01001425 if (IS_ERR_OR_NULL(req))
1426 return;
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001427 drbd_send_and_submit(device, req);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001428}
1429
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001430static void submit_fast_path(struct drbd_device *device, struct list_head *incoming)
Lars Ellenberg113fef92013-03-22 18:14:40 -06001431{
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001432 struct blk_plug plug;
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001433 struct drbd_request *req, *tmp;
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001434
1435 blk_start_plug(&plug);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001436 list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
1437 const int rw = bio_data_dir(req->master_bio);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001438
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001439 if (rw == WRITE /* rw != WRITE should not even end up here! */
1440 && req->private_bio && req->i.size
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001441 && !test_bit(AL_SUSPENDED, &device->flags)) {
1442 if (!drbd_al_begin_io_fastpath(device, &req->i))
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001443 continue;
1444
1445 req->rq_state |= RQ_IN_ACT_LOG;
Lars Ellenberge5f891b2013-11-22 12:32:01 +01001446 req->in_actlog_jif = jiffies;
Lars Ellenbergad3fee72013-12-20 11:22:13 +01001447 atomic_dec(&device->ap_actlog_cnt);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001448 }
1449
1450 list_del_init(&req->tl_requests);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001451 drbd_send_and_submit(device, req);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001452 }
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001453 blk_finish_plug(&plug);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001454}
1455
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001456static bool prepare_al_transaction_nonblock(struct drbd_device *device,
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001457 struct list_head *incoming,
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001458 struct list_head *pending,
1459 struct list_head *later)
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001460{
Lars Ellenberg9da10e82017-08-29 10:20:33 +02001461 struct drbd_request *req;
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001462 int wake = 0;
1463 int err;
1464
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001465 spin_lock_irq(&device->al_lock);
Lars Ellenberg9da10e82017-08-29 10:20:33 +02001466 while ((req = list_first_entry_or_null(incoming, struct drbd_request, tl_requests))) {
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001467 err = drbd_al_begin_io_nonblock(device, &req->i);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001468 if (err == -ENOBUFS)
1469 break;
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001470 if (err == -EBUSY)
1471 wake = 1;
1472 if (err)
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001473 list_move_tail(&req->tl_requests, later);
1474 else
1475 list_move_tail(&req->tl_requests, pending);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001476 }
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001477 spin_unlock_irq(&device->al_lock);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001478 if (wake)
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001479 wake_up(&device->al_wait);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001480 return !list_empty(pending);
1481}
Lars Ellenberg113fef92013-03-22 18:14:40 -06001482
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001483static void send_and_submit_pending(struct drbd_device *device, struct list_head *pending)
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001484{
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001485 struct blk_plug plug;
Lars Ellenberg9da10e82017-08-29 10:20:33 +02001486 struct drbd_request *req;
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001487
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001488 blk_start_plug(&plug);
Lars Ellenberg9da10e82017-08-29 10:20:33 +02001489 while ((req = list_first_entry_or_null(pending, struct drbd_request, tl_requests))) {
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001490 req->rq_state |= RQ_IN_ACT_LOG;
1491 req->in_actlog_jif = jiffies;
1492 atomic_dec(&device->ap_actlog_cnt);
1493 list_del_init(&req->tl_requests);
1494 drbd_send_and_submit(device, req);
1495 }
Lars Ellenbergde6978b2017-08-29 10:20:34 +02001496 blk_finish_plug(&plug);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001497}
1498
Lars Ellenberg113fef92013-03-22 18:14:40 -06001499void do_submit(struct work_struct *ws)
1500{
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001501 struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001502 LIST_HEAD(incoming); /* from drbd_make_request() */
1503 LIST_HEAD(pending); /* to be submitted after next AL-transaction commit */
1504 LIST_HEAD(busy); /* blocked by resync requests */
1505
1506 /* grab new incoming requests */
1507 spin_lock_irq(&device->resource->req_lock);
1508 list_splice_tail_init(&device->submit.writes, &incoming);
1509 spin_unlock_irq(&device->resource->req_lock);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001510
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001511 for (;;) {
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001512 DEFINE_WAIT(wait);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001513
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001514 /* move used-to-be-busy back to front of incoming */
1515 list_splice_init(&busy, &incoming);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001516 submit_fast_path(device, &incoming);
Lars Ellenberg08a1dda2013-03-19 18:16:56 +01001517 if (list_empty(&incoming))
1518 break;
1519
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001520 for (;;) {
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001521 prepare_to_wait(&device->al_wait, &wait, TASK_UNINTERRUPTIBLE);
1522
1523 list_splice_init(&busy, &incoming);
1524 prepare_al_transaction_nonblock(device, &incoming, &pending, &busy);
1525 if (!list_empty(&pending))
1526 break;
1527
1528 schedule();
1529
1530 /* If all currently "hot" activity log extents are kept busy by
1531 * incoming requests, we still must not totally starve new
1532 * requests to "cold" extents.
1533 * Something left on &incoming means there had not been
1534 * enough update slots available, and the activity log
1535 * has been marked as "starving".
1536 *
1537 * Try again now, without looking for new requests,
1538 * effectively blocking all new requests until we made
1539 * at least _some_ progress with what we currently have.
1540 */
1541 if (!list_empty(&incoming))
1542 continue;
1543
1544 /* Nothing moved to pending, but nothing left
1545 * on incoming: all moved to busy!
1546 * Grab new and iterate. */
1547 spin_lock_irq(&device->resource->req_lock);
1548 list_splice_tail_init(&device->submit.writes, &incoming);
1549 spin_unlock_irq(&device->resource->req_lock);
1550 }
1551 finish_wait(&device->al_wait, &wait);
1552
1553 /* If the transaction was full, before all incoming requests
1554 * had been processed, skip ahead to commit, and iterate
1555 * without splicing in more incoming requests from upper layers.
1556 *
1557 * Else, if all incoming have been processed,
1558 * they have become either "pending" (to be submitted after
1559 * next transaction commit) or "busy" (blocked by resync).
1560 *
1561 * Maybe more was queued, while we prepared the transaction?
1562 * Try to stuff those into this transaction as well.
1563 * Be strictly non-blocking here,
1564 * we already have something to commit.
1565 *
1566 * Commit if we don't make any more progres.
1567 */
1568
1569 while (list_empty(&incoming)) {
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001570 LIST_HEAD(more_pending);
1571 LIST_HEAD(more_incoming);
1572 bool made_progress;
1573
1574 /* It is ok to look outside the lock,
1575 * it's only an optimization anyways */
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001576 if (list_empty(&device->submit.writes))
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001577 break;
1578
Lars Ellenberg844a6ae72013-11-22 12:52:03 +01001579 spin_lock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001580 list_splice_tail_init(&device->submit.writes, &more_incoming);
Lars Ellenberg844a6ae72013-11-22 12:52:03 +01001581 spin_unlock_irq(&device->resource->req_lock);
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001582
1583 if (list_empty(&more_incoming))
1584 break;
1585
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001586 made_progress = prepare_al_transaction_nonblock(device, &more_incoming, &more_pending, &busy);
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001587
1588 list_splice_tail_init(&more_pending, &pending);
1589 list_splice_tail_init(&more_incoming, &incoming);
Lars Ellenberg45ad07b2013-03-19 18:16:58 +01001590 if (!made_progress)
1591 break;
1592 }
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001593
Lars Ellenberg4dd726f2014-02-11 11:15:36 +01001594 drbd_al_begin_io_commit(device);
Lars Ellenbergf5b90b62014-05-07 22:41:28 +02001595 send_and_submit_pending(device, &pending);
Lars Ellenberg113fef92013-03-22 18:14:40 -06001596 }
1597}
1598
Christoph Hellwig3e087732021-10-12 13:12:24 +02001599void drbd_submit_bio(struct bio *bio)
Philipp Reisnerb411b362009-09-25 16:07:19 -07001600{
Christoph Hellwig309dca302021-01-24 11:02:34 +01001601 struct drbd_device *device = bio->bi_bdev->bd_disk->private_data;
Philipp Reisnerb411b362009-09-25 16:07:19 -07001602
Christoph Hellwigf695ca32020-07-01 10:59:39 +02001603 blk_queue_split(&bio);
Kent Overstreet54efd502015-04-23 22:37:18 -07001604
Philipp Reisnerb411b362009-09-25 16:07:19 -07001605 /*
1606 * what we "blindly" assume:
1607 */
Andreas Gruenbacher0b0ba1e2011-06-27 16:23:33 +02001608 D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
Philipp Reisnerb411b362009-09-25 16:07:19 -07001609
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001610 inc_ap_bio(device);
Guoqing Jiang370276b2021-01-21 15:21:50 +01001611 __drbd_make_request(device, bio);
Philipp Reisnerb411b362009-09-25 16:07:19 -07001612}
1613
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001614static bool net_timeout_reached(struct drbd_request *net_req,
1615 struct drbd_connection *connection,
1616 unsigned long now, unsigned long ent,
1617 unsigned int ko_count, unsigned int timeout)
1618{
1619 struct drbd_device *device = net_req->device;
1620
1621 if (!time_after(now, net_req->pre_send_jif + ent))
1622 return false;
1623
1624 if (time_in_range(now, connection->last_reconnect_jif, connection->last_reconnect_jif + ent))
1625 return false;
1626
1627 if (net_req->rq_state & RQ_NET_PENDING) {
1628 drbd_warn(device, "Remote failed to finish a request within %ums > ko-count (%u) * timeout (%u * 0.1s)\n",
1629 jiffies_to_msecs(now - net_req->pre_send_jif), ko_count, timeout);
1630 return true;
1631 }
1632
1633 /* We received an ACK already (or are using protocol A),
1634 * but are waiting for the epoch closing barrier ack.
1635 * Check if we sent the barrier already. We should not blame the peer
1636 * for being unresponsive, if we did not even ask it yet. */
1637 if (net_req->epoch == connection->send.current_epoch_nr) {
1638 drbd_warn(device,
1639 "We did not send a P_BARRIER for %ums > ko-count (%u) * timeout (%u * 0.1s); drbd kernel thread blocked?\n",
1640 jiffies_to_msecs(now - net_req->pre_send_jif), ko_count, timeout);
1641 return false;
1642 }
1643
1644 /* Worst case: we may have been blocked for whatever reason, then
1645 * suddenly are able to send a lot of requests (and epoch separating
1646 * barriers) in quick succession.
1647 * The timestamp of the net_req may be much too old and not correspond
1648 * to the sending time of the relevant unack'ed barrier packet, so
1649 * would trigger a spurious timeout. The latest barrier packet may
1650 * have a too recent timestamp to trigger the timeout, potentially miss
1651 * a timeout. Right now we don't have a place to conveniently store
1652 * these timestamps.
1653 * But in this particular situation, the application requests are still
1654 * completed to upper layers, DRBD should still "feel" responsive.
1655 * No need yet to kill this connection, it may still recover.
1656 * If not, eventually we will have queued enough into the network for
1657 * us to block. From that point of view, the timestamp of the last sent
1658 * barrier packet is relevant enough.
1659 */
1660 if (time_after(now, connection->send.last_sent_barrier_jif + ent)) {
1661 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",
1662 connection->send.last_sent_barrier_jif, now,
1663 jiffies_to_msecs(now - connection->send.last_sent_barrier_jif), ko_count, timeout);
1664 return true;
1665 }
1666 return false;
1667}
1668
1669/* A request is considered timed out, if
1670 * - we have some effective timeout from the configuration,
1671 * with some state restrictions applied,
1672 * - the oldest request is waiting for a response from the network
1673 * resp. the local disk,
1674 * - the oldest request is in fact older than the effective timeout,
1675 * - the connection was established (resp. disk was attached)
1676 * for longer than the timeout already.
1677 * Note that for 32bit jiffies and very stable connections/disks,
1678 * we may have a wrap around, which is catched by
1679 * !time_in_range(now, last_..._jif, last_..._jif + timeout).
1680 *
1681 * Side effect: once per 32bit wrap-around interval, which means every
1682 * ~198 days with 250 HZ, we have a window where the timeout would need
1683 * to expire twice (worst case) to become effective. Good enough.
1684 */
1685
Kees Cook2bccef32017-10-17 20:33:01 -07001686void request_timer_fn(struct timer_list *t)
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001687{
Kees Cook2bccef32017-10-17 20:33:01 -07001688 struct drbd_device *device = from_timer(device, t, request_timer);
Andreas Gruenbachera6b32bc2011-05-31 14:33:49 +02001689 struct drbd_connection *connection = first_peer_device(device)->connection;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001690 struct drbd_request *req_read, *req_write, *req_peer; /* oldest request */
Philipp Reisner44ed1672011-04-19 17:10:19 +02001691 struct net_conf *nc;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001692 unsigned long oldest_submit_jif;
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001693 unsigned long ent = 0, dt = 0, et, nt; /* effective timeout = ko_count * timeout */
Lars Ellenbergba280c02012-04-25 11:46:14 +02001694 unsigned long now;
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001695 unsigned int ko_count = 0, timeout = 0;
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001696
Philipp Reisner44ed1672011-04-19 17:10:19 +02001697 rcu_read_lock();
Andreas Gruenbacherbde89a92011-05-30 16:32:41 +02001698 nc = rcu_dereference(connection->net_conf);
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001699 if (nc && device->state.conn >= C_WF_REPORT_PARAMS) {
1700 ko_count = nc->ko_count;
1701 timeout = nc->timeout;
1702 }
Philipp Reisnercdfda632011-07-05 15:38:59 +02001703
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001704 if (get_ldev(device)) { /* implicit state.disk >= D_INCONSISTENT */
1705 dt = rcu_dereference(device->ldev->disk_conf)->disk_timeout * HZ / 10;
1706 put_ldev(device);
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001707 }
Philipp Reisner44ed1672011-04-19 17:10:19 +02001708 rcu_read_unlock();
1709
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001710
1711 ent = timeout * HZ/10 * ko_count;
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001712 et = min_not_zero(dt, ent);
1713
Lars Ellenbergba280c02012-04-25 11:46:14 +02001714 if (!et)
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001715 return; /* Recurring timer stopped */
1716
Lars Ellenbergba280c02012-04-25 11:46:14 +02001717 now = jiffies;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001718 nt = now + et;
Lars Ellenbergba280c02012-04-25 11:46:14 +02001719
Andreas Gruenbacher05008132011-07-07 14:19:42 +02001720 spin_lock_irq(&device->resource->req_lock);
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001721 req_read = list_first_entry_or_null(&device->pending_completion[0], struct drbd_request, req_pending_local);
1722 req_write = list_first_entry_or_null(&device->pending_completion[1], struct drbd_request, req_pending_local);
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001723
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001724 /* maybe the oldest request waiting for the peer is in fact still
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001725 * blocking in tcp sendmsg. That's ok, though, that's handled via the
1726 * socket send timeout, requesting a ping, and bumping ko-count in
1727 * we_should_drop_the_connection().
1728 */
1729
1730 /* check the oldest request we did successfully sent,
1731 * but which is still waiting for an ACK. */
1732 req_peer = connection->req_ack_pending;
1733
1734 /* if we don't have such request (e.g. protocoll A)
1735 * check the oldest requests which is still waiting on its epoch
1736 * closing barrier ack. */
1737 if (!req_peer)
1738 req_peer = connection->req_not_net_done;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001739
1740 /* evaluate the oldest peer request only in one timer! */
1741 if (req_peer && req_peer->device != device)
1742 req_peer = NULL;
1743
1744 /* do we have something to evaluate? */
1745 if (req_peer == NULL && req_write == NULL && req_read == NULL)
1746 goto out;
1747
1748 oldest_submit_jif =
1749 (req_write && req_read)
1750 ? ( time_before(req_write->pre_submit_jif, req_read->pre_submit_jif)
1751 ? req_write->pre_submit_jif : req_read->pre_submit_jif )
1752 : req_write ? req_write->pre_submit_jif
1753 : req_read ? req_read->pre_submit_jif : now;
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001754
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001755 if (ent && req_peer && net_timeout_reached(req_peer, connection, now, ent, ko_count, timeout))
Philipp Reisner9581f972014-11-10 17:21:14 +01001756 _conn_request_state(connection, NS(conn, C_TIMEOUT), CS_VERBOSE | CS_HARD);
Lars Ellenberg84d34f22015-02-19 13:54:11 +01001757
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001758 if (dt && oldest_submit_jif != now &&
1759 time_after(now, oldest_submit_jif + dt) &&
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001760 !time_in_range(now, device->last_reattach_jif, device->last_reattach_jif + dt)) {
Andreas Gruenbacherd0180172011-07-03 17:53:52 +02001761 drbd_warn(device, "Local backing device failed to meet the disk-timeout\n");
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001762 __drbd_chk_io_error(device, DRBD_FORCE_DETACH);
Philipp Reisnerdfa8bed2011-06-29 14:06:08 +02001763 }
Lars Ellenberg08535462014-04-28 18:43:31 +02001764
1765 /* Reschedule timer for the nearest not already expired timeout.
1766 * Fallback to now + min(effective network timeout, disk timeout). */
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001767 ent = (ent && req_peer && time_before(now, req_peer->pre_send_jif + ent))
1768 ? req_peer->pre_send_jif + ent : now + et;
1769 dt = (dt && oldest_submit_jif != now && time_before(now, oldest_submit_jif + dt))
1770 ? oldest_submit_jif + dt : now + et;
Lars Ellenberg08535462014-04-28 18:43:31 +02001771 nt = time_before(ent, dt) ? ent : dt;
Lars Ellenberg7753a4c12013-11-22 13:00:12 +01001772out:
Andreas Gruenbacher8d4ba3f2014-09-11 14:29:08 +02001773 spin_unlock_irq(&device->resource->req_lock);
Andreas Gruenbacherb30ab792011-07-03 13:26:43 +02001774 mod_timer(&device->request_timer, nt);
Philipp Reisner7fde2be2011-03-01 11:08:28 +01001775}