drbd_req.c 55.4 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0-or-later
P
Philipp Reisner 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
/*
   drbd_req.c

   This file is part of DRBD by Philipp Reisner and Lars Ellenberg.

   Copyright (C) 2001-2008, LINBIT Information Technologies GmbH.
   Copyright (C) 1999-2008, Philipp Reisner <philipp.reisner@linbit.com>.
   Copyright (C) 2002-2008, Lars Ellenberg <lars.ellenberg@linbit.com>.


 */

#include <linux/module.h>

#include <linux/slab.h>
#include <linux/drbd.h>
#include "drbd_int.h"
#include "drbd_req.h"


22
static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size);
23

24
static struct drbd_request *drbd_req_new(struct drbd_device *device, struct bio *bio_src)
25 26 27
{
	struct drbd_request *req;

28
	req = mempool_alloc(&drbd_request_mempool, GFP_NOIO);
29 30
	if (!req)
		return NULL;
31
	memset(req, 0, sizeof(*req));
32

33 34
	req->private_bio = bio_alloc_clone(device->ldev->backing_bdev, bio_src,
					   GFP_NOIO, &drbd_io_bio_set);
35 36 37
	req->private_bio->bi_private = req;
	req->private_bio->bi_end_io = drbd_request_endio;

38
	req->rq_state = (bio_data_dir(bio_src) == WRITE ? RQ_WRITE : 0)
39
		      | (bio_op(bio_src) == REQ_OP_WRITE_ZEROES ? RQ_ZEROES : 0)
40 41 42 43
		      | (bio_op(bio_src) == REQ_OP_DISCARD ? RQ_UNMAP : 0);
	req->device = device;
	req->master_bio = bio_src;
	req->epoch = 0;
44

45
	drbd_clear_interval(&req->i);
46 47
	req->i.sector     = bio_src->bi_iter.bi_sector;
	req->i.size      = bio_src->bi_iter.bi_size;
48
	req->i.local = true;
49 50
	req->i.waiting = false;

51 52
	INIT_LIST_HEAD(&req->tl_requests);
	INIT_LIST_HEAD(&req->w.list);
53 54
	INIT_LIST_HEAD(&req->req_pending_master_completion);
	INIT_LIST_HEAD(&req->req_pending_local);
55

56
	/* one reference to be put by __drbd_make_request */
57
	atomic_set(&req->completion_ref, 1);
58
	/* one kref as long as completion_ref > 0 */
59
	kref_init(&req->kref);
60 61 62
	return req;
}

63 64 65 66 67 68 69 70 71 72 73 74 75
static void drbd_remove_request_interval(struct rb_root *root,
					 struct drbd_request *req)
{
	struct drbd_device *device = req->device;
	struct drbd_interval *i = &req->i;

	drbd_remove_interval(root, i);

	/* Wake up any processes waiting for this request to complete.  */
	if (i->waiting)
		wake_up(&device->misc_wait);
}

76
void drbd_req_destroy(struct kref *kref)
P
Philipp Reisner 已提交
77
{
78
	struct drbd_request *req = container_of(kref, struct drbd_request, kref);
79
	struct drbd_device *device = req->device;
80 81 82 83 84 85
	const unsigned s = req->rq_state;

	if ((req->master_bio && !(s & RQ_POSTPONED)) ||
		atomic_read(&req->completion_ref) ||
		(s & RQ_LOCAL_PENDING) ||
		((s & RQ_NET_MASK) && !(s & RQ_NET_DONE))) {
86
		drbd_err(device, "drbd_req_destroy: Logic BUG rq_state = 0x%x, completion_ref = %d\n",
87 88 89
				s, atomic_read(&req->completion_ref));
		return;
	}
90

91 92 93 94 95 96 97 98
	/* If called from mod_rq_state (expected normal case) or
	 * drbd_send_and_submit (the less likely normal path), this holds the
	 * req_lock, and req->tl_requests will typicaly be on ->transfer_log,
	 * though it may be still empty (never added to the transfer log).
	 *
	 * If called from do_retry(), we do NOT hold the req_lock, but we are
	 * still allowed to unconditionally list_del(&req->tl_requests),
	 * because it will be on a local on-stack list only. */
99
	list_del_init(&req->tl_requests);
100

101 102 103 104 105 106 107 108 109 110 111 112 113 114
	/* finally remove the request from the conflict detection
	 * respective block_id verification interval tree. */
	if (!drbd_interval_empty(&req->i)) {
		struct rb_root *root;

		if (s & RQ_WRITE)
			root = &device->write_requests;
		else
			root = &device->read_requests;
		drbd_remove_request_interval(root, req);
	} else if (s & (RQ_NET_MASK & ~RQ_NET_DONE) && req->i.size != 0)
		drbd_err(device, "drbd_req_destroy: Logic BUG: interval empty, but: rq_state=0x%x, sect=%llu, size=%u\n",
			s, (unsigned long long)req->i.sector, req->i.size);

P
Philipp Reisner 已提交
115 116 117
	/* if it was a write, we may have to set the corresponding
	 * bit(s) out-of-sync first. If it had a local part, we need to
	 * release the reference to the activity log. */
118
	if (s & RQ_WRITE) {
P
Philipp Reisner 已提交
119 120 121 122 123
		/* Set out-of-sync unless both OK flags are set
		 * (local only or remote failed).
		 * Other places where we set out-of-sync:
		 * READ with local io-error */

124 125 126 127 128 129 130
		/* There is a special case:
		 * we may notice late that IO was suspended,
		 * and postpone, or schedule for retry, a write,
		 * before it even was submitted or sent.
		 * In that case we do not want to touch the bitmap at all.
		 */
		if ((s & (RQ_POSTPONED|RQ_LOCAL_MASK|RQ_NET_MASK)) != RQ_POSTPONED) {
P
Philipp Reisner 已提交
131
			if (!(s & RQ_NET_OK) || !(s & RQ_LOCAL_OK))
132
				drbd_set_out_of_sync(device, req->i.sector, req->i.size);
P
Philipp Reisner 已提交
133

P
Philipp Reisner 已提交
134
			if ((s & RQ_NET_OK) && (s & RQ_LOCAL_OK) && (s & RQ_NET_SIS))
135
				drbd_set_in_sync(device, req->i.sector, req->i.size);
P
Philipp Reisner 已提交
136
		}
P
Philipp Reisner 已提交
137 138

		/* one might be tempted to move the drbd_al_complete_io
139
		 * to the local io completion callback drbd_request_endio.
P
Philipp Reisner 已提交
140 141 142 143 144 145 146 147
		 * but, if this was a mirror write, we may only
		 * drbd_al_complete_io after this is RQ_NET_DONE,
		 * otherwise the extent could be dropped from the al
		 * before it has actually been written on the peer.
		 * if we crash before our peer knows about the request,
		 * but after the extent has been dropped from the al,
		 * we would forget to resync the corresponding extent.
		 */
P
Philipp Reisner 已提交
148
		if (s & RQ_IN_ACT_LOG) {
149 150 151
			if (get_ldev_if_state(device, D_FAILED)) {
				drbd_al_complete_io(device, &req->i);
				put_ldev(device);
P
Philipp Reisner 已提交
152
			} else if (__ratelimit(&drbd_ratelimit_state)) {
153
				drbd_warn(device, "Should have called drbd_al_complete_io(, %llu, %u), "
154 155
					 "but my Disk seems to have failed :(\n",
					 (unsigned long long) req->i.sector, req->i.size);
P
Philipp Reisner 已提交
156 157 158 159
			}
		}
	}

160
	mempool_free(req, &drbd_request_mempool);
P
Philipp Reisner 已提交
161 162
}

163 164 165
static void wake_all_senders(struct drbd_connection *connection)
{
	wake_up(&connection->sender_work.q_wait);
P
Philipp Reisner 已提交
166 167
}

168
/* must hold resource->req_lock */
169
void start_new_tl_epoch(struct drbd_connection *connection)
P
Philipp Reisner 已提交
170
{
171
	/* no point closing an epoch, if it is empty, anyways. */
172
	if (connection->current_tle_writes == 0)
173
		return;
P
Philipp Reisner 已提交
174

175 176 177
	connection->current_tle_writes = 0;
	atomic_inc(&connection->current_tle_nr);
	wake_all_senders(connection);
P
Philipp Reisner 已提交
178 179
}

180
void complete_master_bio(struct drbd_device *device,
P
Philipp Reisner 已提交
181 182
		struct bio_and_error *m)
{
183 184
	if (unlikely(m->error))
		m->bio->bi_status = errno_to_blk_status(m->error);
185
	bio_endio(m->bio);
186
	dec_ap_bio(device);
P
Philipp Reisner 已提交
187 188
}

189

P
Philipp Reisner 已提交
190 191 192 193 194 195
/* Helper for __req_mod().
 * Set m->bio to the master bio, if it is fit to be completed,
 * or leave it alone (it is initialized to NULL in __req_mod),
 * if it has already been completed, or cannot be completed yet.
 * If m->bio is set, the error status to be returned is placed in m->error.
 */
196
static
197
void drbd_req_complete(struct drbd_request *req, struct bio_and_error *m)
P
Philipp Reisner 已提交
198
{
199
	const unsigned s = req->rq_state;
200
	struct drbd_device *device = req->device;
201
	int error, ok;
P
Philipp Reisner 已提交
202 203 204 205 206 207 208 209 210 211

	/* we must not complete the master bio, while it is
	 *	still being processed by _drbd_send_zc_bio (drbd_send_dblock)
	 *	not yet acknowledged by the peer
	 *	not yet completed by the local io subsystem
	 * these flags may get cleared in any order by
	 *	the worker,
	 *	the receiver,
	 *	the bio_endio completion callbacks.
	 */
212 213 214
	if ((s & RQ_LOCAL_PENDING && !(s & RQ_LOCAL_ABORTED)) ||
	    (s & RQ_NET_QUEUED) || (s & RQ_NET_PENDING) ||
	    (s & RQ_COMPLETION_SUSP)) {
215
		drbd_err(device, "drbd_req_complete: Logic BUG rq_state = 0x%x\n", s);
P
Philipp Reisner 已提交
216
		return;
217 218 219
	}

	if (!req->master_bio) {
220
		drbd_err(device, "drbd_req_complete: Logic BUG, master_bio == NULL!\n");
P
Philipp Reisner 已提交
221
		return;
222
	}
P
Philipp Reisner 已提交
223

224 225 226 227 228 229 230 231 232 233 234 235 236 237 238
	/*
	 * figure out whether to report success or failure.
	 *
	 * report success when at least one of the operations succeeded.
	 * or, to put the other way,
	 * only report failure, when both operations failed.
	 *
	 * what to do about the failures is handled elsewhere.
	 * what we need to do here is just: complete the master_bio.
	 *
	 * local completion error, if any, has been stored as ERR_PTR
	 * in private_bio within drbd_request_endio.
	 */
	ok = (s & RQ_LOCAL_OK) || (s & RQ_NET_OK);
	error = PTR_ERR(req->private_bio);
P
Philipp Reisner 已提交
239

240 241 242 243 244 245 246
	/* Before we can signal completion to the upper layers,
	 * we may need to close the current transfer log epoch.
	 * We are within the request lock, so we can simply compare
	 * the request epoch number with the current transfer log
	 * epoch number.  If they match, increase the current_tle_nr,
	 * and reset the transfer log epoch write_cnt.
	 */
247
	if (op_is_write(bio_op(req->master_bio)) &&
248 249
	    req->epoch == atomic_read(&first_peer_device(device)->connection->current_tle_nr))
		start_new_tl_epoch(first_peer_device(device)->connection);
P
Philipp Reisner 已提交
250

251
	/* Update disk stats */
252
	bio_end_io_acct(req->master_bio, req->start_jif);
P
Philipp Reisner 已提交
253

254 255 256 257 258 259 260 261 262 263
	/* If READ failed,
	 * have it be pushed back to the retry work queue,
	 * so it will re-enter __drbd_make_request(),
	 * and be re-assigned to a suitable local or remote path,
	 * or failed if we do not have access to good data anymore.
	 *
	 * Unless it was failed early by __drbd_make_request(),
	 * because no path was available, in which case
	 * it was not even added to the transfer_log.
	 *
264
	 * read-ahead may fail, and will not be retried.
265 266 267
	 *
	 * WRITE should have used all available paths already.
	 */
268 269
	if (!ok &&
	    bio_op(req->master_bio) == REQ_OP_READ &&
J
Jens Axboe 已提交
270
	    !(req->master_bio->bi_opf & REQ_RAHEAD) &&
271
	    !list_empty(&req->tl_requests))
272
		req->rq_state |= RQ_POSTPONED;
P
Philipp Reisner 已提交
273

274
	if (!(req->rq_state & RQ_POSTPONED)) {
P
Philipp Reisner 已提交
275 276 277
		m->error = ok ? 0 : (error ?: -EIO);
		m->bio = req->master_bio;
		req->master_bio = NULL;
278 279 280 281 282
		/* We leave it in the tree, to be able to verify later
		 * write-acks in protocol != C during resync.
		 * But we mark it as "complete", so it won't be counted as
		 * conflict in a multi-primary setup. */
		req->i.completed = true;
P
Philipp Reisner 已提交
283
	}
284 285 286

	if (req->i.waiting)
		wake_up(&device->misc_wait);
287 288 289 290 291 292

	/* Either we are about to complete to upper layers,
	 * or we will restart this request.
	 * In either case, the request object will be destroyed soon,
	 * so better remove it from all lists. */
	list_del_init(&req->req_pending_master_completion);
P
Philipp Reisner 已提交
293 294
}

295
/* still holds resource->req_lock */
296
static void drbd_req_put_completion_ref(struct drbd_request *req, struct bio_and_error *m, int put)
297
{
298
	struct drbd_device *device = req->device;
299
	D_ASSERT(device, m || (req->rq_state & RQ_POSTPONED));
300

301 302 303
	if (!put)
		return;

304
	if (!atomic_sub_and_test(put, &req->completion_ref))
305
		return;
306

307
	drbd_req_complete(req, m);
308

309 310 311 312 313
	/* local completion may still come in later,
	 * we need to keep the req object around. */
	if (req->rq_state & RQ_LOCAL_ABORTED)
		return;

314 315 316 317
	if (req->rq_state & RQ_POSTPONED) {
		/* don't destroy the req object just yet,
		 * but queue it for retry */
		drbd_restart_request(req);
318
		return;
P
Philipp Reisner 已提交
319
	}
320

321
	kref_put(&req->kref, drbd_req_destroy);
P
Philipp Reisner 已提交
322 323
}

324 325 326 327 328 329 330 331 332 333 334 335
static void set_if_null_req_next(struct drbd_peer_device *peer_device, struct drbd_request *req)
{
	struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
	if (!connection)
		return;
	if (connection->req_next == NULL)
		connection->req_next = req;
}

static void advance_conn_req_next(struct drbd_peer_device *peer_device, struct drbd_request *req)
{
	struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
336
	struct drbd_request *iter = req;
337 338 339 340
	if (!connection)
		return;
	if (connection->req_next != req)
		return;
341 342 343 344 345 346 347

	req = NULL;
	list_for_each_entry_continue(iter, &connection->transfer_log, tl_requests) {
		const unsigned int s = iter->rq_state;

		if (s & RQ_NET_QUEUED) {
			req = iter;
348
			break;
349
		}
350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365
	}
	connection->req_next = req;
}

static void set_if_null_req_ack_pending(struct drbd_peer_device *peer_device, struct drbd_request *req)
{
	struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
	if (!connection)
		return;
	if (connection->req_ack_pending == NULL)
		connection->req_ack_pending = req;
}

static void advance_conn_req_ack_pending(struct drbd_peer_device *peer_device, struct drbd_request *req)
{
	struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
366
	struct drbd_request *iter = req;
367 368 369 370
	if (!connection)
		return;
	if (connection->req_ack_pending != req)
		return;
371 372 373 374 375 376 377

	req = NULL;
	list_for_each_entry_continue(iter, &connection->transfer_log, tl_requests) {
		const unsigned int s = iter->rq_state;

		if ((s & RQ_NET_SENT) && (s & RQ_NET_PENDING)) {
			req = iter;
378
			break;
379
		}
380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395
	}
	connection->req_ack_pending = req;
}

static void set_if_null_req_not_net_done(struct drbd_peer_device *peer_device, struct drbd_request *req)
{
	struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
	if (!connection)
		return;
	if (connection->req_not_net_done == NULL)
		connection->req_not_net_done = req;
}

static void advance_conn_req_not_net_done(struct drbd_peer_device *peer_device, struct drbd_request *req)
{
	struct drbd_connection *connection = peer_device ? peer_device->connection : NULL;
396
	struct drbd_request *iter = req;
397 398 399 400
	if (!connection)
		return;
	if (connection->req_not_net_done != req)
		return;
401 402 403 404 405 406 407

	req = NULL;
	list_for_each_entry_continue(iter, &connection->transfer_log, tl_requests) {
		const unsigned int s = iter->rq_state;

		if ((s & RQ_NET_SENT) && !(s & RQ_NET_DONE)) {
			req = iter;
408
			break;
409
		}
410 411 412 413
	}
	connection->req_not_net_done = req;
}

414 415 416 417
/* I'd like this to be the only place that manipulates
 * req->completion_ref and req->kref. */
static void mod_rq_state(struct drbd_request *req, struct bio_and_error *m,
		int clear, int set)
418
{
419
	struct drbd_device *device = req->device;
420
	struct drbd_peer_device *peer_device = first_peer_device(device);
421 422
	unsigned s = req->rq_state;
	int c_put = 0;
423

424
	if (drbd_suspended(device) && !((s | clear) & RQ_COMPLETION_SUSP))
425
		set |= RQ_COMPLETION_SUSP;
426

427
	/* apply */
P
Philipp Reisner 已提交
428

429 430
	req->rq_state &= ~clear;
	req->rq_state |= set;
P
Philipp Reisner 已提交
431

432 433 434
	/* no change? */
	if (req->rq_state == s)
		return;
P
Philipp Reisner 已提交
435

436 437
	/* intent: get references */

438 439
	kref_get(&req->kref);

440 441 442 443
	if (!(s & RQ_LOCAL_PENDING) && (set & RQ_LOCAL_PENDING))
		atomic_inc(&req->completion_ref);

	if (!(s & RQ_NET_PENDING) && (set & RQ_NET_PENDING)) {
444
		inc_ap_pending(device);
445
		atomic_inc(&req->completion_ref);
P
Philipp Reisner 已提交
446 447
	}

448
	if (!(s & RQ_NET_QUEUED) && (set & RQ_NET_QUEUED)) {
449
		atomic_inc(&req->completion_ref);
450
		set_if_null_req_next(peer_device, req);
451
	}
452 453 454 455

	if (!(s & RQ_EXP_BARR_ACK) && (set & RQ_EXP_BARR_ACK))
		kref_get(&req->kref); /* wait for the DONE */

456
	if (!(s & RQ_NET_SENT) && (set & RQ_NET_SENT)) {
457
		/* potentially already completed in the ack_receiver thread */
458
		if (!(s & RQ_NET_DONE)) {
459
			atomic_add(req->i.size >> 9, &device->ap_in_flight);
460 461
			set_if_null_req_not_net_done(peer_device, req);
		}
462
		if (req->rq_state & RQ_NET_PENDING)
463
			set_if_null_req_ack_pending(peer_device, req);
464
	}
465

466 467 468
	if (!(s & RQ_COMPLETION_SUSP) && (set & RQ_COMPLETION_SUSP))
		atomic_inc(&req->completion_ref);

469 470 471 472 473 474
	/* progress: put references */

	if ((s & RQ_COMPLETION_SUSP) && (clear & RQ_COMPLETION_SUSP))
		++c_put;

	if (!(s & RQ_LOCAL_ABORTED) && (set & RQ_LOCAL_ABORTED)) {
475
		D_ASSERT(device, req->rq_state & RQ_LOCAL_PENDING);
476
		++c_put;
P
Philipp Reisner 已提交
477 478
	}

479 480
	if ((s & RQ_LOCAL_PENDING) && (clear & RQ_LOCAL_PENDING)) {
		if (req->rq_state & RQ_LOCAL_ABORTED)
481
			kref_put(&req->kref, drbd_req_destroy);
482 483
		else
			++c_put;
484
		list_del_init(&req->req_pending_local);
485
	}
P
Philipp Reisner 已提交
486

487
	if ((s & RQ_NET_PENDING) && (clear & RQ_NET_PENDING)) {
488
		dec_ap_pending(device);
489
		++c_put;
490
		req->acked_jif = jiffies;
491
		advance_conn_req_ack_pending(peer_device, req);
492 493
	}

494
	if ((s & RQ_NET_QUEUED) && (clear & RQ_NET_QUEUED)) {
495
		++c_put;
496 497
		advance_conn_req_next(peer_device, req);
	}
498

499 500
	if (!(s & RQ_NET_DONE) && (set & RQ_NET_DONE)) {
		if (s & RQ_NET_SENT)
501
			atomic_sub(req->i.size >> 9, &device->ap_in_flight);
502
		if (s & RQ_EXP_BARR_ACK)
503
			kref_put(&req->kref, drbd_req_destroy);
504
		req->net_done_jif = jiffies;
505 506 507 508 509 510 511

		/* in ahead/behind mode, or just in case,
		 * before we finally destroy this request,
		 * the caching pointers must not reference it anymore */
		advance_conn_req_next(peer_device, req);
		advance_conn_req_ack_pending(peer_device, req);
		advance_conn_req_not_net_done(peer_device, req);
512 513 514 515 516 517
	}

	/* potentially complete and destroy */

	/* If we made progress, retry conflicting peer requests, if any. */
	if (req->i.waiting)
518
		wake_up(&device->misc_wait);
519

520 521
	drbd_req_put_completion_ref(req, m, c_put);
	kref_put(&req->kref, drbd_req_destroy);
P
Philipp Reisner 已提交
522 523
}

524
static void drbd_report_io_error(struct drbd_device *device, struct drbd_request *req)
525
{
526
	if (!__ratelimit(&drbd_ratelimit_state))
527 528
		return;

529
	drbd_warn(device, "local %s IO error sector %llu+%u on %pg\n",
530
			(req->rq_state & RQ_WRITE) ? "WRITE" : "READ",
531 532
			(unsigned long long)req->i.sector,
			req->i.size >> 9,
533
			device->ldev->backing_bdev);
534 535
}

536 537 538 539 540 541 542 543 544 545 546 547 548
/* Helper for HANDED_OVER_TO_NETWORK.
 * Is this a protocol A write (neither WRITE_ACK nor RECEIVE_ACK expected)?
 * Is it also still "PENDING"?
 * --> If so, clear PENDING and set NET_OK below.
 * If it is a protocol A write, but not RQ_PENDING anymore, neg-ack was faster
 * (and we must not set RQ_NET_OK) */
static inline bool is_pending_write_protocol_A(struct drbd_request *req)
{
	return (req->rq_state &
		   (RQ_WRITE|RQ_NET_PENDING|RQ_EXP_WRITE_ACK|RQ_EXP_RECEIVE_ACK))
		== (RQ_WRITE|RQ_NET_PENDING);
}

P
Philipp Reisner 已提交
549 550 551 552 553 554 555 556 557 558 559 560
/* obviously this could be coded as many single functions
 * instead of one huge switch,
 * or by putting the code directly in the respective locations
 * (as it has been before).
 *
 * but having it this way
 *  enforces that it is all in this one place, where it is easier to audit,
 *  it makes it obvious that whatever "event" "happens" to a request should
 *  happen "atomically" within the req_lock,
 *  and it enforces that we have to think in a very structured manner
 *  about the "events" that may happen to a request during its life time ...
 */
561
int __req_mod(struct drbd_request *req, enum drbd_req_event what,
P
Philipp Reisner 已提交
562 563
		struct bio_and_error *m)
{
564 565 566
	struct drbd_device *const device = req->device;
	struct drbd_peer_device *const peer_device = first_peer_device(device);
	struct drbd_connection *const connection = peer_device ? peer_device->connection : NULL;
567
	struct net_conf *nc;
568
	int p, rv = 0;
569 570 571

	if (m)
		m->bio = NULL;
P
Philipp Reisner 已提交
572 573 574

	switch (what) {
	default:
575
		drbd_err(device, "LOGIC BUG in %s:%u\n", __FILE__ , __LINE__);
P
Philipp Reisner 已提交
576 577 578 579
		break;

	/* does not happen...
	 * initialization done in drbd_req_new
580
	case CREATED:
P
Philipp Reisner 已提交
581 582 583
		break;
		*/

584
	case TO_BE_SENT: /* via network */
585
		/* reached via __drbd_make_request
P
Philipp Reisner 已提交
586
		 * and from w_read_retry_remote */
587
		D_ASSERT(device, !(req->rq_state & RQ_NET_MASK));
588
		rcu_read_lock();
589
		nc = rcu_dereference(connection->net_conf);
590 591
		p = nc->wire_protocol;
		rcu_read_unlock();
592 593 594
		req->rq_state |=
			p == DRBD_PROT_C ? RQ_EXP_WRITE_ACK :
			p == DRBD_PROT_B ? RQ_EXP_RECEIVE_ACK : 0;
595
		mod_rq_state(req, m, 0, RQ_NET_PENDING);
P
Philipp Reisner 已提交
596 597
		break;

598
	case TO_BE_SUBMITTED: /* locally */
599
		/* reached via __drbd_make_request */
600
		D_ASSERT(device, !(req->rq_state & RQ_LOCAL_MASK));
601
		mod_rq_state(req, m, 0, RQ_LOCAL_PENDING);
P
Philipp Reisner 已提交
602 603
		break;

604
	case COMPLETED_OK:
605
		if (req->rq_state & RQ_WRITE)
606
			device->writ_cnt += req->i.size >> 9;
P
Philipp Reisner 已提交
607
		else
608
			device->read_cnt += req->i.size >> 9;
P
Philipp Reisner 已提交
609

610 611
		mod_rq_state(req, m, RQ_LOCAL_PENDING,
				RQ_LOCAL_COMPLETED|RQ_LOCAL_OK);
P
Philipp Reisner 已提交
612 613
		break;

614
	case ABORT_DISK_IO:
615
		mod_rq_state(req, m, 0, RQ_LOCAL_ABORTED);
616 617
		break;

618
	case WRITE_COMPLETED_WITH_ERROR:
619 620
		drbd_report_io_error(device, req);
		__drbd_chk_io_error(device, DRBD_WRITE_ERROR);
621
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
P
Philipp Reisner 已提交
622 623
		break;

624
	case READ_COMPLETED_WITH_ERROR:
625 626 627
		drbd_set_out_of_sync(device, req->i.sector, req->i.size);
		drbd_report_io_error(device, req);
		__drbd_chk_io_error(device, DRBD_READ_ERROR);
628
		fallthrough;
629
	case READ_AHEAD_COMPLETED_WITH_ERROR:
630
		/* it is legal to fail read-ahead, no __drbd_chk_io_error in that case. */
631
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
632 633 634 635 636
		break;

	case DISCARD_COMPLETED_NOTSUPP:
	case DISCARD_COMPLETED_WITH_ERROR:
		/* I'd rather not detach from local disk just because it
637
		 * failed a REQ_OP_DISCARD. */
638
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
639
		break;
P
Philipp Reisner 已提交
640

641
	case QUEUE_FOR_NET_READ:
642
		/* READ, and
P
Philipp Reisner 已提交
643 644 645
		 * no local disk,
		 * or target area marked as invalid,
		 * or just got an io-error. */
646
		/* from __drbd_make_request
P
Philipp Reisner 已提交
647 648
		 * or from bio_endio during read io-error recovery */

649 650
		/* So we can verify the handle in the answer packet.
		 * Corresponding drbd_remove_request_interval is in
651
		 * drbd_req_complete() */
652
		D_ASSERT(device, drbd_interval_empty(&req->i));
653
		drbd_insert_interval(&device->read_requests, &req->i);
P
Philipp Reisner 已提交
654

655
		set_bit(UNPLUG_REMOTE, &device->flags);
P
Philipp Reisner 已提交
656

657 658
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
		D_ASSERT(device, (req->rq_state & RQ_LOCAL_MASK) == 0);
659
		mod_rq_state(req, m, 0, RQ_NET_QUEUED);
660
		req->w.cb = w_send_read_req;
661
		drbd_queue_work(&connection->sender_work,
662
				&req->w);
P
Philipp Reisner 已提交
663 664
		break;

665
	case QUEUE_FOR_NET_WRITE:
P
Philipp Reisner 已提交
666
		/* assert something? */
667
		/* from __drbd_make_request only */
P
Philipp Reisner 已提交
668

669
		/* Corresponding drbd_remove_request_interval is in
670
		 * drbd_req_complete() */
671
		D_ASSERT(device, drbd_interval_empty(&req->i));
672
		drbd_insert_interval(&device->write_requests, &req->i);
P
Philipp Reisner 已提交
673 674 675 676 677 678 679 680 681 682

		/* NOTE
		 * In case the req ended up on the transfer log before being
		 * queued on the worker, it could lead to this request being
		 * missed during cleanup after connection loss.
		 * So we have to do both operations here,
		 * within the same lock that protects the transfer log.
		 *
		 * _req_add_to_epoch(req); this has to be after the
		 * _maybe_start_new_epoch(req); which happened in
683
		 * __drbd_make_request, because we now may set the bit
P
Philipp Reisner 已提交
684 685 686 687
		 * again ourselves to close the current epoch.
		 *
		 * Add req to the (now) current epoch (barrier). */

688 689 690
		/* otherwise we may lose an unplug, which may cause some remote
		 * io-scheduler timeout to expire, increasing maximum latency,
		 * hurting performance. */
691
		set_bit(UNPLUG_REMOTE, &device->flags);
P
Philipp Reisner 已提交
692 693

		/* queue work item to send data */
694
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
695
		mod_rq_state(req, m, 0, RQ_NET_QUEUED|RQ_EXP_BARR_ACK);
P
Philipp Reisner 已提交
696
		req->w.cb =  w_send_dblock;
697
		drbd_queue_work(&connection->sender_work,
698
				&req->w);
P
Philipp Reisner 已提交
699 700

		/* close the epoch, in case it outgrew the limit */
701
		rcu_read_lock();
702
		nc = rcu_dereference(connection->net_conf);
703 704
		p = nc->max_epoch_size;
		rcu_read_unlock();
705 706
		if (connection->current_tle_writes >= p)
			start_new_tl_epoch(connection);
P
Philipp Reisner 已提交
707 708 709

		break;

710
	case QUEUE_FOR_SEND_OOS:
711
		mod_rq_state(req, m, 0, RQ_NET_QUEUED);
712
		req->w.cb =  w_send_out_of_sync;
713
		drbd_queue_work(&connection->sender_work,
714
				&req->w);
715 716
		break;

717
	case READ_RETRY_REMOTE_CANCELED:
718 719
	case SEND_CANCELED:
	case SEND_FAILED:
P
Philipp Reisner 已提交
720 721
		/* real cleanup will be done from tl_clear.  just update flags
		 * so it is no longer marked as on the worker queue */
722
		mod_rq_state(req, m, RQ_NET_QUEUED, 0);
P
Philipp Reisner 已提交
723 724
		break;

725
	case HANDED_OVER_TO_NETWORK:
P
Philipp Reisner 已提交
726
		/* assert something? */
727
		if (is_pending_write_protocol_A(req))
P
Philipp Reisner 已提交
728 729
			/* this is what is dangerous about protocol A:
			 * pretend it was successfully written on the peer. */
730 731 732 733 734 735 736
			mod_rq_state(req, m, RQ_NET_QUEUED|RQ_NET_PENDING,
						RQ_NET_SENT|RQ_NET_OK);
		else
			mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_SENT);
		/* It is still not yet RQ_NET_DONE until the
		 * corresponding epoch barrier got acked as well,
		 * so we know what to dirty on connection loss. */
737 738
		break;

739
	case OOS_HANDED_TO_NETWORK:
740 741
		/* Was not set PENDING, no longer QUEUED, so is now DONE
		 * as far as this connection is concerned. */
742
		mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_DONE);
P
Philipp Reisner 已提交
743 744
		break;

745
	case CONNECTION_LOST_WHILE_PENDING:
P
Philipp Reisner 已提交
746
		/* transfer log cleanup after connection loss */
747 748 749
		mod_rq_state(req, m,
				RQ_NET_OK|RQ_NET_PENDING|RQ_COMPLETION_SUSP,
				RQ_NET_DONE);
P
Philipp Reisner 已提交
750 751
		break;

752 753
	case CONFLICT_RESOLVED:
		/* for superseded conflicting writes of multiple primaries,
P
Philipp Reisner 已提交
754
		 * there is no need to keep anything in the tl, potential
755 756 757
		 * node crashes are covered by the activity log.
		 *
		 * If this request had been marked as RQ_POSTPONED before,
758
		 * it will actually not be completed, but "restarted",
759
		 * resubmitted from the retry worker context. */
760 761
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
		D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
762 763 764
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_DONE|RQ_NET_OK);
		break;

765
	case WRITE_ACKED_BY_PEER_AND_SIS:
766
		req->rq_state |= RQ_NET_SIS;
767
		fallthrough;
768
	case WRITE_ACKED_BY_PEER:
769 770 771 772
		/* Normal operation protocol C: successfully written on peer.
		 * During resync, even in protocol != C,
		 * we requested an explicit write ack anyways.
		 * Which means we cannot even assert anything here.
773
		 * Nothing more to do here.
P
Philipp Reisner 已提交
774
		 * We want to keep the tl in place for all protocols, to cater
775
		 * for volatile write-back caches on lower level devices. */
776
		goto ack_common;
777
	case RECV_ACKED_BY_PEER:
778
		D_ASSERT(device, req->rq_state & RQ_EXP_RECEIVE_ACK);
P
Philipp Reisner 已提交
779
		/* protocol B; pretends to be successfully written on peer.
780
		 * see also notes above in HANDED_OVER_TO_NETWORK about
P
Philipp Reisner 已提交
781
		 * protocol != C */
782
	ack_common:
783
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK);
P
Philipp Reisner 已提交
784 785
		break;

786
	case POSTPONE_WRITE:
787
		D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
788
		/* If this node has already detected the write conflict, the
789 790 791
		 * worker will be waiting on misc_wait.  Wake it up once this
		 * request has completed locally.
		 */
792
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
793
		req->rq_state |= RQ_POSTPONED;
794
		if (req->i.waiting)
795
			wake_up(&device->misc_wait);
796 797 798
		/* Do not clear RQ_NET_PENDING. This request will make further
		 * progress via restart_conflicting_writes() or
		 * fail_postponed_requests(). Hopefully. */
799
		break;
P
Philipp Reisner 已提交
800

801
	case NEG_ACKED:
802
		mod_rq_state(req, m, RQ_NET_OK|RQ_NET_PENDING, 0);
P
Philipp Reisner 已提交
803 804
		break;

805
	case FAIL_FROZEN_DISK_IO:
806 807
		if (!(req->rq_state & RQ_LOCAL_COMPLETED))
			break;
808
		mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
809 810
		break;

811
	case RESTART_FROZEN_DISK_IO:
812 813 814
		if (!(req->rq_state & RQ_LOCAL_COMPLETED))
			break;

815 816 817
		mod_rq_state(req, m,
				RQ_COMPLETION_SUSP|RQ_LOCAL_COMPLETED,
				RQ_LOCAL_PENDING);
818 819 820 821 822

		rv = MR_READ;
		if (bio_data_dir(req->master_bio) == WRITE)
			rv = MR_WRITE;

823
		get_ldev(device); /* always succeeds in this call path */
824
		req->w.cb = w_restart_disk_io;
825
		drbd_queue_work(&connection->sender_work,
826
				&req->w);
827 828
		break;

829
	case RESEND:
830 831
		/* Simply complete (local only) READs. */
		if (!(req->rq_state & RQ_WRITE) && !req->w.cb) {
832
			mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
833 834 835
			break;
		}

836
		/* If RQ_NET_OK is already set, we got a P_WRITE_ACK or P_RECV_ACK
837 838
		   before the connection loss (B&C only); only P_BARRIER_ACK
		   (or the local completion?) was missing when we suspended.
839 840
		   Throwing them out of the TL here by pretending we got a BARRIER_ACK.
		   During connection handshake, we ensure that the peer was not rebooted. */
841
		if (!(req->rq_state & RQ_NET_OK)) {
842
			/* FIXME could this possibly be a req->dw.cb == w_send_out_of_sync?
843 844 845
			 * in that case we must not set RQ_NET_PENDING. */

			mod_rq_state(req, m, RQ_COMPLETION_SUSP, RQ_NET_QUEUED|RQ_NET_PENDING);
846
			if (req->w.cb) {
847 848
				/* w.cb expected to be w_send_dblock, or w_send_read_req */
				drbd_queue_work(&connection->sender_work,
849
						&req->w);
850
				rv = req->rq_state & RQ_WRITE ? MR_WRITE : MR_READ;
851
			} /* else: FIXME can this happen? */
852 853
			break;
		}
854
		fallthrough;	/* to BARRIER_ACKED */
855

856
	case BARRIER_ACKED:
857
		/* barrier ack for READ requests does not make sense */
858 859 860
		if (!(req->rq_state & RQ_WRITE))
			break;

P
Philipp Reisner 已提交
861
		if (req->rq_state & RQ_NET_PENDING) {
862
			/* barrier came in before all requests were acked.
P
Philipp Reisner 已提交
863 864
			 * this is bad, because if the connection is lost now,
			 * we won't be able to clean them up... */
865
			drbd_err(device, "FIXME (BARRIER_ACKED but pending)\n");
P
Philipp Reisner 已提交
866
		}
867 868 869 870 871 872
		/* Allowed to complete requests, even while suspended.
		 * As this is called for all requests within a matching epoch,
		 * we need to filter, and only set RQ_NET_DONE for those that
		 * have actually been on the wire. */
		mod_rq_state(req, m, RQ_COMPLETION_SUSP,
				(req->rq_state & RQ_NET_MASK) ? RQ_NET_DONE : 0);
P
Philipp Reisner 已提交
873 874
		break;

875
	case DATA_RECEIVED:
876
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
877
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK|RQ_NET_DONE);
P
Philipp Reisner 已提交
878
		break;
879 880

	case QUEUE_AS_DRBD_BARRIER:
881
		start_new_tl_epoch(connection);
882 883
		mod_rq_state(req, m, 0, RQ_NET_OK|RQ_NET_DONE);
		break;
Z
zhengbin 已提交
884
	}
885 886

	return rv;
P
Philipp Reisner 已提交
887 888 889 890 891 892 893 894 895
}

/* we may do a local read if:
 * - we are consistent (of course),
 * - or we are generally inconsistent,
 *   BUT we are still/already IN SYNC for this area.
 *   since size may be bigger than BM_BLOCK_SIZE,
 *   we may need to check several bits.
 */
896
static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size)
P
Philipp Reisner 已提交
897 898 899 900
{
	unsigned long sbnr, ebnr;
	sector_t esector, nr_sectors;

901
	if (device->state.disk == D_UP_TO_DATE)
902
		return true;
903
	if (device->state.disk != D_INCONSISTENT)
904
		return false;
P
Philipp Reisner 已提交
905
	esector = sector + (size >> 9) - 1;
C
Christoph Hellwig 已提交
906
	nr_sectors = get_capacity(device->vdisk);
907 908
	D_ASSERT(device, sector  < nr_sectors);
	D_ASSERT(device, esector < nr_sectors);
P
Philipp Reisner 已提交
909 910 911 912

	sbnr = BM_SECT_TO_BIT(sector);
	ebnr = BM_SECT_TO_BIT(esector);

913
	return drbd_bm_count_bits(device, sbnr, ebnr) == 0;
P
Philipp Reisner 已提交
914 915
}

916
static bool remote_due_to_read_balancing(struct drbd_device *device, sector_t sector,
917
		enum drbd_read_balancing rbm)
918
{
919
	int stripe_shift;
920 921 922

	switch (rbm) {
	case RB_CONGESTED_REMOTE:
923
		return false;
924
	case RB_LEAST_PENDING:
925 926
		return atomic_read(&device->local_cnt) >
			atomic_read(&device->ap_pending_cnt) + atomic_read(&device->rs_pending_cnt);
927 928 929 930 931 932 933 934
	case RB_32K_STRIPING:  /* stripe_shift = 15 */
	case RB_64K_STRIPING:
	case RB_128K_STRIPING:
	case RB_256K_STRIPING:
	case RB_512K_STRIPING:
	case RB_1M_STRIPING:   /* stripe_shift = 20 */
		stripe_shift = (rbm - RB_32K_STRIPING + 15);
		return (sector >> (stripe_shift - 9)) & 1;
935
	case RB_ROUND_ROBIN:
936
		return test_and_change_bit(READ_BALANCE_RR, &device->flags);
937 938 939 940 941 942 943 944
	case RB_PREFER_REMOTE:
		return true;
	case RB_PREFER_LOCAL:
	default:
		return false;
	}
}

945 946 947 948 949 950
/*
 * complete_conflicting_writes  -  wait for any conflicting write requests
 *
 * The write_requests tree contains all active write requests which we
 * currently know about.  Wait for any requests to complete which conflict with
 * the new one.
951 952
 *
 * Only way out: remove the conflicting intervals from the tree.
953
 */
954
static void complete_conflicting_writes(struct drbd_request *req)
955
{
956
	DEFINE_WAIT(wait);
957
	struct drbd_device *device = req->device;
958 959 960 961 962
	struct drbd_interval *i;
	sector_t sector = req->i.sector;
	int size = req->i.size;

	for (;;) {
963 964 965 966 967 968
		drbd_for_each_overlap(i, &device->write_requests, sector, size) {
			/* Ignore, if already completed to upper layers. */
			if (i->completed)
				continue;
			/* Handle the first found overlap.  After the schedule
			 * we have to restart the tree walk. */
969
			break;
970 971 972 973
		}
		if (!i)	/* if any */
			break;

974
		/* Indicate to wake up device->misc_wait on progress.  */
975
		prepare_to_wait(&device->misc_wait, &wait, TASK_UNINTERRUPTIBLE);
976
		i->waiting = true;
977
		spin_unlock_irq(&device->resource->req_lock);
978
		schedule();
979
		spin_lock_irq(&device->resource->req_lock);
980
	}
981
	finish_wait(&device->misc_wait, &wait);
P
Philipp Reisner 已提交
982 983
}

984
/* called within req_lock */
985
static void maybe_pull_ahead(struct drbd_device *device)
986
{
987
	struct drbd_connection *connection = first_peer_device(device)->connection;
988 989 990 991
	struct net_conf *nc;
	bool congested = false;
	enum drbd_on_congestion on_congestion;

992
	rcu_read_lock();
993
	nc = rcu_dereference(connection->net_conf);
994
	on_congestion = nc ? nc->on_congestion : OC_BLOCK;
995
	rcu_read_unlock();
996
	if (on_congestion == OC_BLOCK ||
997
	    connection->agreed_pro_version < 96)
998
		return;
999

1000 1001 1002
	if (on_congestion == OC_PULL_AHEAD && device->state.conn == C_AHEAD)
		return; /* nothing to do ... */

1003 1004
	/* If I don't even have good local storage, we can not reasonably try
	 * to pull ahead of the peer. We also need the local reference to make
1005
	 * sure device->act_log is there.
1006
	 */
1007
	if (!get_ldev_if_state(device, D_UP_TO_DATE))
1008 1009
		return;

1010
	if (nc->cong_fill &&
1011
	    atomic_read(&device->ap_in_flight) >= nc->cong_fill) {
1012
		drbd_info(device, "Congestion-fill threshold reached\n");
1013
		congested = true;
1014 1015
	}

1016
	if (device->act_log->used >= nc->cong_extents) {
1017
		drbd_info(device, "Congestion-extents threshold reached\n");
1018
		congested = true;
1019 1020 1021
	}

	if (congested) {
1022
		/* start a new epoch for non-mirrored writes */
1023
		start_new_tl_epoch(first_peer_device(device)->connection);
1024

1025
		if (on_congestion == OC_PULL_AHEAD)
1026
			_drbd_set_state(_NS(device, conn, C_AHEAD), 0, NULL);
1027
		else  /*nc->on_congestion == OC_DISCONNECT */
1028
			_drbd_set_state(_NS(device, conn, C_DISCONNECTING), 0, NULL);
1029
	}
1030
	put_ldev(device);
1031 1032
}

1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043
/* If this returns false, and req->private_bio is still set,
 * this should be submitted locally.
 *
 * If it returns false, but req->private_bio is not set,
 * we do not have access to good data :(
 *
 * Otherwise, this destroys req->private_bio, if any,
 * and returns true.
 */
static bool do_remote_read(struct drbd_request *req)
{
1044
	struct drbd_device *device = req->device;
1045 1046 1047
	enum drbd_read_balancing rbm;

	if (req->private_bio) {
1048
		if (!drbd_may_do_local_read(device,
1049 1050 1051
					req->i.sector, req->i.size)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1052
			put_ldev(device);
1053 1054 1055
		}
	}

1056
	if (device->state.pdsk != D_UP_TO_DATE)
1057 1058
		return false;

1059 1060 1061
	if (req->private_bio == NULL)
		return true;

1062 1063 1064 1065
	/* TODO: improve read balancing decisions, take into account drbd
	 * protocol, pending requests etc. */

	rcu_read_lock();
1066
	rbm = rcu_dereference(device->ldev->disk_conf)->read_balancing;
1067 1068 1069 1070 1071
	rcu_read_unlock();

	if (rbm == RB_PREFER_LOCAL && req->private_bio)
		return false; /* submit locally */

1072
	if (remote_due_to_read_balancing(device, req->i.sector, rbm)) {
1073 1074 1075
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1076
			put_ldev(device);
1077 1078 1079 1080 1081 1082 1083
		}
		return true;
	}

	return false;
}

1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
bool drbd_should_do_remote(union drbd_dev_state s)
{
	return s.pdsk == D_UP_TO_DATE ||
		(s.pdsk >= D_INCONSISTENT &&
		 s.conn >= C_WF_BITMAP_T &&
		 s.conn < C_AHEAD);
	/* Before proto 96 that was >= CONNECTED instead of >= C_WF_BITMAP_T.
	   That is equivalent since before 96 IO was frozen in the C_WF_BITMAP*
	   states. */
}

static bool drbd_should_send_out_of_sync(union drbd_dev_state s)
{
	return s.conn == C_AHEAD || s.conn == C_WF_BITMAP_S;
	/* pdsk = D_INCONSISTENT as a consequence. Protocol 96 check not necessary
	   since we enter state C_AHEAD only if proto >= 96 */
}

1102 1103 1104 1105 1106
/* returns number of connections (== 1, for drbd 8.4)
 * expected to actually write this data,
 * which does NOT include those that we are L_AHEAD for. */
static int drbd_process_write_request(struct drbd_request *req)
{
1107
	struct drbd_device *device = req->device;
1108 1109
	int remote, send_oos;

1110 1111
	remote = drbd_should_do_remote(device->state);
	send_oos = drbd_should_send_out_of_sync(device->state);
1112

1113 1114 1115 1116 1117 1118 1119 1120
	/* Need to replicate writes.  Unless it is an empty flush,
	 * which is better mapped to a DRBD P_BARRIER packet,
	 * also for drbd wire protocol compatibility reasons.
	 * If this was a flush, just start a new epoch.
	 * Unless the current epoch was empty anyways, or we are not currently
	 * replicating, in which case there is no point. */
	if (unlikely(req->i.size == 0)) {
		/* The only size==0 bios we expect are empty flushes. */
J
Jens Axboe 已提交
1121
		D_ASSERT(device, req->master_bio->bi_opf & REQ_PREFLUSH);
1122
		if (remote)
1123 1124
			_req_mod(req, QUEUE_AS_DRBD_BARRIER);
		return remote;
1125 1126
	}

1127 1128 1129
	if (!remote && !send_oos)
		return 0;

1130
	D_ASSERT(device, !(remote && send_oos));
1131 1132 1133 1134

	if (remote) {
		_req_mod(req, TO_BE_SENT);
		_req_mod(req, QUEUE_FOR_NET_WRITE);
1135
	} else if (drbd_set_out_of_sync(device, req->i.sector, req->i.size))
1136 1137 1138 1139 1140
		_req_mod(req, QUEUE_FOR_SEND_OOS);

	return remote;
}

1141
static void drbd_process_discard_or_zeroes_req(struct drbd_request *req, int flags)
1142
{
1143 1144 1145
	int err = drbd_issue_discard_or_zero_out(req->device,
				req->i.sector, req->i.size >> 9, flags);
	if (err)
1146
		req->private_bio->bi_status = BLK_STS_IOERR;
1147 1148 1149
	bio_endio(req->private_bio);
}

1150 1151 1152
static void
drbd_submit_req_private_bio(struct drbd_request *req)
{
1153
	struct drbd_device *device = req->device;
1154
	struct bio *bio = req->private_bio;
1155 1156 1157 1158
	unsigned int type;

	if (bio_op(bio) != REQ_OP_READ)
		type = DRBD_FAULT_DT_WR;
J
Jens Axboe 已提交
1159
	else if (bio->bi_opf & REQ_RAHEAD)
1160 1161 1162
		type = DRBD_FAULT_DT_RA;
	else
		type = DRBD_FAULT_DT_RD;
1163 1164 1165 1166 1167 1168

	/* State may have changed since we grabbed our reference on the
	 * ->ldev member. Double check, and short-circuit to endio.
	 * In case the last activity log transaction failed to get on
	 * stable storage, and this is a WRITE, we may not even submit
	 * this bio. */
1169
	if (get_ldev(device)) {
1170
		if (drbd_insert_fault(device, type))
1171
			bio_io_error(bio);
1172 1173 1174 1175 1176
		else if (bio_op(bio) == REQ_OP_WRITE_ZEROES)
			drbd_process_discard_or_zeroes_req(req, EE_ZEROOUT |
			    ((bio->bi_opf & REQ_NOUNMAP) ? 0 : EE_TRIM));
		else if (bio_op(bio) == REQ_OP_DISCARD)
			drbd_process_discard_or_zeroes_req(req, EE_TRIM);
1177
		else
1178
			submit_bio_noacct(bio);
1179
		put_ldev(device);
1180
	} else
1181
		bio_io_error(bio);
1182 1183
}

1184
static void drbd_queue_write(struct drbd_device *device, struct drbd_request *req)
1185
{
1186
	spin_lock_irq(&device->resource->req_lock);
1187
	list_add_tail(&req->tl_requests, &device->submit.writes);
1188 1189 1190
	list_add_tail(&req->req_pending_master_completion,
			&device->pending_master_completion[1 /* WRITE */]);
	spin_unlock_irq(&device->resource->req_lock);
1191
	queue_work(device->submit.wq, &device->submit.worker);
1192 1193
	/* do_submit() may sleep internally on al_wait, too */
	wake_up(&device->al_wait);
1194 1195
}

1196 1197 1198 1199 1200
/* returns the new drbd_request pointer, if the caller is expected to
 * drbd_send_and_submit() it (to save latency), or NULL if we queued the
 * request on the submitter thread.
 * Returns ERR_PTR(-ENOMEM) if we cannot allocate a drbd_request.
 */
1201
static struct drbd_request *
1202
drbd_request_prepare(struct drbd_device *device, struct bio *bio)
P
Philipp Reisner 已提交
1203
{
1204
	const int rw = bio_data_dir(bio);
P
Philipp Reisner 已提交
1205 1206 1207
	struct drbd_request *req;

	/* allocate outside of all locks; */
1208
	req = drbd_req_new(device, bio);
P
Philipp Reisner 已提交
1209
	if (!req) {
1210
		dec_ap_bio(device);
P
Philipp Reisner 已提交
1211 1212
		/* only pass the error to the upper layers.
		 * if user cannot handle io errors, that's not our business. */
1213
		drbd_err(device, "could not kmalloc() req\n");
1214
		bio->bi_status = BLK_STS_RESOURCE;
1215
		bio_endio(bio);
1216
		return ERR_PTR(-ENOMEM);
P
Philipp Reisner 已提交
1217
	}
1218 1219 1220

	/* Update disk stats */
	req->start_jif = bio_start_io_acct(req->master_bio);
P
Philipp Reisner 已提交
1221

1222
	if (!get_ldev(device)) {
1223
		bio_put(req->private_bio);
P
Philipp Reisner 已提交
1224 1225 1226
		req->private_bio = NULL;
	}

1227
	/* process discards always from our submitter thread */
1228 1229
	if (bio_op(bio) == REQ_OP_WRITE_ZEROES ||
	    bio_op(bio) == REQ_OP_DISCARD)
1230 1231
		goto queue_for_submitter_thread;

1232
	if (rw == WRITE && req->private_bio && req->i.size
1233
	&& !test_bit(AL_SUSPENDED, &device->flags)) {
1234 1235
		if (!drbd_al_begin_io_fastpath(device, &req->i))
			goto queue_for_submitter_thread;
1236
		req->rq_state |= RQ_IN_ACT_LOG;
1237
		req->in_actlog_jif = jiffies;
1238
	}
1239
	return req;
1240 1241 1242 1243 1244

 queue_for_submitter_thread:
	atomic_inc(&device->ap_actlog_cnt);
	drbd_queue_write(device, req);
	return NULL;
1245 1246
}

1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262
/* Require at least one path to current data.
 * We don't want to allow writes on C_STANDALONE D_INCONSISTENT:
 * We would not allow to read what was written,
 * we would not have bumped the data generation uuids,
 * we would cause data divergence for all the wrong reasons.
 *
 * If we don't see at least one D_UP_TO_DATE, we will fail this request,
 * which either returns EIO, or, if OND_SUSPEND_IO is set, suspends IO,
 * and queues for retry later.
 */
static bool may_do_writes(struct drbd_device *device)
{
	const union drbd_dev_state s = device->state;
	return s.disk == D_UP_TO_DATE || s.pdsk == D_UP_TO_DATE;
}

1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274
struct drbd_plug_cb {
	struct blk_plug_cb cb;
	struct drbd_request *most_recent_req;
	/* do we need more? */
};

static void drbd_unplug(struct blk_plug_cb *cb, bool from_schedule)
{
	struct drbd_plug_cb *plug = container_of(cb, struct drbd_plug_cb, cb);
	struct drbd_resource *resource = plug->cb.data;
	struct drbd_request *req = plug->most_recent_req;

1275
	kfree(cb);
1276 1277 1278 1279 1280 1281 1282 1283 1284 1285
	if (!req)
		return;

	spin_lock_irq(&resource->req_lock);
	/* In case the sender did not process it yet, raise the flag to
	 * have it followed with P_UNPLUG_REMOTE just after. */
	req->rq_state |= RQ_UNPLUG;
	/* but also queue a generic unplug */
	drbd_queue_unplug(req->device);
	kref_put(&req->kref, drbd_req_destroy);
1286
	spin_unlock_irq(&resource->req_lock);
1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313
}

static struct drbd_plug_cb* drbd_check_plugged(struct drbd_resource *resource)
{
	/* A lot of text to say
	 * return (struct drbd_plug_cb*)blk_check_plugged(); */
	struct drbd_plug_cb *plug;
	struct blk_plug_cb *cb = blk_check_plugged(drbd_unplug, resource, sizeof(*plug));

	if (cb)
		plug = container_of(cb, struct drbd_plug_cb, cb);
	else
		plug = NULL;
	return plug;
}

static void drbd_update_plug(struct drbd_plug_cb *plug, struct drbd_request *req)
{
	struct drbd_request *tmp = plug->most_recent_req;
	/* Will be sent to some peer.
	 * Remember to tag it with UNPLUG_REMOTE on unplug */
	kref_get(&req->kref);
	plug->most_recent_req = req;
	if (tmp)
		kref_put(&tmp->kref, drbd_req_destroy);
}

1314
static void drbd_send_and_submit(struct drbd_device *device, struct drbd_request *req)
1315
{
1316
	struct drbd_resource *resource = device->resource;
1317
	const int rw = bio_data_dir(req->master_bio);
1318 1319
	struct bio_and_error m = { NULL, };
	bool no_remote = false;
1320
	bool submit_private_bio = false;
1321

1322
	spin_lock_irq(&resource->req_lock);
1323
	if (rw == WRITE) {
1324 1325 1326 1327
		/* This may temporarily give up the req_lock,
		 * but will re-aquire it before it returns here.
		 * Needs to be before the check on drbd_suspended() */
		complete_conflicting_writes(req);
1328 1329 1330 1331
		/* no more giving up req_lock from now on! */

		/* check for congestion, and potentially stop sending
		 * full data updates, but start sending "dirty bits" only. */
1332
		maybe_pull_ahead(device);
P
Philipp Reisner 已提交
1333 1334
	}

1335

1336
	if (drbd_suspended(device)) {
1337 1338 1339 1340 1341
		/* push back and retry: */
		req->rq_state |= RQ_POSTPONED;
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1342
			put_ldev(device);
P
Philipp Reisner 已提交
1343
		}
1344
		goto out;
P
Philipp Reisner 已提交
1345 1346
	}

1347
	/* We fail READ early, if we can not serve it.
1348
	 * We must do this before req is registered on any lists.
1349
	 * Otherwise, drbd_req_complete() will queue failed READ for retry. */
1350 1351 1352
	if (rw != WRITE) {
		if (!do_remote_read(req) && !req->private_bio)
			goto nodata;
P
Philipp Reisner 已提交
1353 1354
	}

1355
	/* which transfer log epoch does this belong to? */
1356
	req->epoch = atomic_read(&first_peer_device(device)->connection->current_tle_nr);
1357

1358 1359
	/* no point in adding empty flushes to the transfer log,
	 * they are mapped to drbd barriers already. */
1360 1361
	if (likely(req->i.size!=0)) {
		if (rw == WRITE)
1362
			first_peer_device(device)->connection->current_tle_writes++;
1363

1364
		list_add_tail(&req->tl_requests, &first_peer_device(device)->connection->transfer_log);
P
Philipp Reisner 已提交
1365
	}
1366

1367
	if (rw == WRITE) {
1368 1369 1370 1371 1372 1373
		if (req->private_bio && !may_do_writes(device)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
			put_ldev(device);
			goto nodata;
		}
1374 1375 1376 1377 1378 1379 1380 1381
		if (!drbd_process_write_request(req))
			no_remote = true;
	} else {
		/* We either have a private_bio, or we can read from remote.
		 * Otherwise we had done the goto nodata above. */
		if (req->private_bio == NULL) {
			_req_mod(req, TO_BE_SENT);
			_req_mod(req, QUEUE_FOR_NET_READ);
1382
		} else
1383
			no_remote = true;
P
Philipp Reisner 已提交
1384 1385
	}

1386 1387 1388 1389 1390
	if (no_remote == false) {
		struct drbd_plug_cb *plug = drbd_check_plugged(resource);
		if (plug)
			drbd_update_plug(plug, req);
	}
1391

1392 1393 1394 1395 1396
	/* If it took the fast path in drbd_request_prepare, add it here.
	 * The slow path has added it already. */
	if (list_empty(&req->req_pending_master_completion))
		list_add_tail(&req->req_pending_master_completion,
			&device->pending_master_completion[rw == WRITE]);
1397 1398
	if (req->private_bio) {
		/* needs to be marked within the same spinlock */
L
Lars Ellenberg 已提交
1399
		req->pre_submit_jif = jiffies;
1400 1401
		list_add_tail(&req->req_pending_local,
			&device->pending_completion[rw == WRITE]);
1402 1403
		_req_mod(req, TO_BE_SUBMITTED);
		/* but we need to give up the spinlock to submit */
1404
		submit_private_bio = true;
1405 1406 1407
	} else if (no_remote) {
nodata:
		if (__ratelimit(&drbd_ratelimit_state))
1408
			drbd_err(device, "IO ERROR: neither local nor remote data, sector %llu+%u\n",
1409
					(unsigned long long)req->i.sector, req->i.size >> 9);
1410
		/* A write may have been queued for send_oos, however.
1411
		 * So we can not simply free it, we must go through drbd_req_put_completion_ref() */
P
Philipp Reisner 已提交
1412 1413
	}

1414
out:
1415
	drbd_req_put_completion_ref(req, &m, 1);
1416 1417 1418 1419 1420 1421 1422 1423 1424 1425
	spin_unlock_irq(&resource->req_lock);

	/* Even though above is a kref_put(), this is safe.
	 * As long as we still need to submit our private bio,
	 * we hold a completion ref, and the request cannot disappear.
	 * If however this request did not even have a private bio to submit
	 * (e.g. remote read), req may already be invalid now.
	 * That's why we cannot check on req->private_bio. */
	if (submit_private_bio)
		drbd_submit_req_private_bio(req);
1426
	if (m.bio)
1427
		complete_master_bio(device, &m);
1428 1429
}

1430
void __drbd_make_request(struct drbd_device *device, struct bio *bio)
1431
{
1432
	struct drbd_request *req = drbd_request_prepare(device, bio);
1433 1434
	if (IS_ERR_OR_NULL(req))
		return;
1435
	drbd_send_and_submit(device, req);
P
Philipp Reisner 已提交
1436 1437
}

1438
static void submit_fast_path(struct drbd_device *device, struct list_head *incoming)
1439
{
1440
	struct blk_plug plug;
1441
	struct drbd_request *req, *tmp;
1442 1443

	blk_start_plug(&plug);
1444 1445
	list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
		const int rw = bio_data_dir(req->master_bio);
1446

1447 1448
		if (rw == WRITE /* rw != WRITE should not even end up here! */
		&& req->private_bio && req->i.size
1449 1450
		&& !test_bit(AL_SUSPENDED, &device->flags)) {
			if (!drbd_al_begin_io_fastpath(device, &req->i))
1451 1452 1453
				continue;

			req->rq_state |= RQ_IN_ACT_LOG;
1454
			req->in_actlog_jif = jiffies;
1455
			atomic_dec(&device->ap_actlog_cnt);
1456 1457 1458
		}

		list_del_init(&req->tl_requests);
1459
		drbd_send_and_submit(device, req);
1460
	}
1461
	blk_finish_plug(&plug);
1462 1463
}

1464
static bool prepare_al_transaction_nonblock(struct drbd_device *device,
1465
					    struct list_head *incoming,
1466 1467
					    struct list_head *pending,
					    struct list_head *later)
1468
{
1469
	struct drbd_request *req;
1470 1471 1472
	int wake = 0;
	int err;

1473
	spin_lock_irq(&device->al_lock);
1474
	while ((req = list_first_entry_or_null(incoming, struct drbd_request, tl_requests))) {
1475
		err = drbd_al_begin_io_nonblock(device, &req->i);
1476 1477
		if (err == -ENOBUFS)
			break;
1478 1479 1480
		if (err == -EBUSY)
			wake = 1;
		if (err)
1481 1482 1483
			list_move_tail(&req->tl_requests, later);
		else
			list_move_tail(&req->tl_requests, pending);
1484
	}
1485
	spin_unlock_irq(&device->al_lock);
1486
	if (wake)
1487
		wake_up(&device->al_wait);
1488 1489
	return !list_empty(pending);
}
1490

1491
static void send_and_submit_pending(struct drbd_device *device, struct list_head *pending)
1492
{
1493
	struct blk_plug plug;
1494
	struct drbd_request *req;
1495

1496
	blk_start_plug(&plug);
1497
	while ((req = list_first_entry_or_null(pending, struct drbd_request, tl_requests))) {
1498 1499 1500 1501 1502 1503
		req->rq_state |= RQ_IN_ACT_LOG;
		req->in_actlog_jif = jiffies;
		atomic_dec(&device->ap_actlog_cnt);
		list_del_init(&req->tl_requests);
		drbd_send_and_submit(device, req);
	}
1504
	blk_finish_plug(&plug);
1505 1506
}

1507 1508
void do_submit(struct work_struct *ws)
{
1509
	struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
1510 1511 1512 1513 1514 1515 1516 1517
	LIST_HEAD(incoming);	/* from drbd_make_request() */
	LIST_HEAD(pending);	/* to be submitted after next AL-transaction commit */
	LIST_HEAD(busy);	/* blocked by resync requests */

	/* grab new incoming requests */
	spin_lock_irq(&device->resource->req_lock);
	list_splice_tail_init(&device->submit.writes, &incoming);
	spin_unlock_irq(&device->resource->req_lock);
1518

1519
	for (;;) {
1520
		DEFINE_WAIT(wait);
1521

1522 1523
		/* move used-to-be-busy back to front of incoming */
		list_splice_init(&busy, &incoming);
1524
		submit_fast_path(device, &incoming);
1525 1526 1527
		if (list_empty(&incoming))
			break;

1528
		for (;;) {
1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577
			prepare_to_wait(&device->al_wait, &wait, TASK_UNINTERRUPTIBLE);

			list_splice_init(&busy, &incoming);
			prepare_al_transaction_nonblock(device, &incoming, &pending, &busy);
			if (!list_empty(&pending))
				break;

			schedule();

			/* If all currently "hot" activity log extents are kept busy by
			 * incoming requests, we still must not totally starve new
			 * requests to "cold" extents.
			 * Something left on &incoming means there had not been
			 * enough update slots available, and the activity log
			 * has been marked as "starving".
			 *
			 * Try again now, without looking for new requests,
			 * effectively blocking all new requests until we made
			 * at least _some_ progress with what we currently have.
			 */
			if (!list_empty(&incoming))
				continue;

			/* Nothing moved to pending, but nothing left
			 * on incoming: all moved to busy!
			 * Grab new and iterate. */
			spin_lock_irq(&device->resource->req_lock);
			list_splice_tail_init(&device->submit.writes, &incoming);
			spin_unlock_irq(&device->resource->req_lock);
		}
		finish_wait(&device->al_wait, &wait);

		/* If the transaction was full, before all incoming requests
		 * had been processed, skip ahead to commit, and iterate
		 * without splicing in more incoming requests from upper layers.
		 *
		 * Else, if all incoming have been processed,
		 * they have become either "pending" (to be submitted after
		 * next transaction commit) or "busy" (blocked by resync).
		 *
		 * Maybe more was queued, while we prepared the transaction?
		 * Try to stuff those into this transaction as well.
		 * Be strictly non-blocking here,
		 * we already have something to commit.
		 *
		 * Commit if we don't make any more progres.
		 */

		while (list_empty(&incoming)) {
1578 1579 1580 1581 1582 1583
			LIST_HEAD(more_pending);
			LIST_HEAD(more_incoming);
			bool made_progress;

			/* It is ok to look outside the lock,
			 * it's only an optimization anyways */
1584
			if (list_empty(&device->submit.writes))
1585 1586
				break;

1587
			spin_lock_irq(&device->resource->req_lock);
1588
			list_splice_tail_init(&device->submit.writes, &more_incoming);
1589
			spin_unlock_irq(&device->resource->req_lock);
1590 1591 1592 1593

			if (list_empty(&more_incoming))
				break;

1594
			made_progress = prepare_al_transaction_nonblock(device, &more_incoming, &more_pending, &busy);
1595 1596 1597 1598 1599 1600

			list_splice_tail_init(&more_pending, &pending);
			list_splice_tail_init(&more_incoming, &incoming);
			if (!made_progress)
				break;
		}
1601

1602 1603
		drbd_al_begin_io_commit(device);
		send_and_submit_pending(device, &pending);
1604 1605 1606
	}
}

1607
void drbd_submit_bio(struct bio *bio)
P
Philipp Reisner 已提交
1608
{
1609
	struct drbd_device *device = bio->bi_bdev->bd_disk->private_data;
P
Philipp Reisner 已提交
1610

1611
	blk_queue_split(&bio);
1612

P
Philipp Reisner 已提交
1613 1614 1615
	/*
	 * what we "blindly" assume:
	 */
1616
	D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
P
Philipp Reisner 已提交
1617

1618
	inc_ap_bio(device);
1619
	__drbd_make_request(device, bio);
P
Philipp Reisner 已提交
1620 1621
}

1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693
static bool net_timeout_reached(struct drbd_request *net_req,
		struct drbd_connection *connection,
		unsigned long now, unsigned long ent,
		unsigned int ko_count, unsigned int timeout)
{
	struct drbd_device *device = net_req->device;

	if (!time_after(now, net_req->pre_send_jif + ent))
		return false;

	if (time_in_range(now, connection->last_reconnect_jif, connection->last_reconnect_jif + ent))
		return false;

	if (net_req->rq_state & RQ_NET_PENDING) {
		drbd_warn(device, "Remote failed to finish a request within %ums > ko-count (%u) * timeout (%u * 0.1s)\n",
			jiffies_to_msecs(now - net_req->pre_send_jif), ko_count, timeout);
		return true;
	}

	/* We received an ACK already (or are using protocol A),
	 * but are waiting for the epoch closing barrier ack.
	 * Check if we sent the barrier already.  We should not blame the peer
	 * for being unresponsive, if we did not even ask it yet. */
	if (net_req->epoch == connection->send.current_epoch_nr) {
		drbd_warn(device,
			"We did not send a P_BARRIER for %ums > ko-count (%u) * timeout (%u * 0.1s); drbd kernel thread blocked?\n",
			jiffies_to_msecs(now - net_req->pre_send_jif), ko_count, timeout);
		return false;
	}

	/* Worst case: we may have been blocked for whatever reason, then
	 * suddenly are able to send a lot of requests (and epoch separating
	 * barriers) in quick succession.
	 * The timestamp of the net_req may be much too old and not correspond
	 * to the sending time of the relevant unack'ed barrier packet, so
	 * would trigger a spurious timeout.  The latest barrier packet may
	 * have a too recent timestamp to trigger the timeout, potentially miss
	 * a timeout.  Right now we don't have a place to conveniently store
	 * these timestamps.
	 * But in this particular situation, the application requests are still
	 * completed to upper layers, DRBD should still "feel" responsive.
	 * No need yet to kill this connection, it may still recover.
	 * If not, eventually we will have queued enough into the network for
	 * us to block. From that point of view, the timestamp of the last sent
	 * barrier packet is relevant enough.
	 */
	if (time_after(now, connection->send.last_sent_barrier_jif + ent)) {
		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",
			connection->send.last_sent_barrier_jif, now,
			jiffies_to_msecs(now - connection->send.last_sent_barrier_jif), ko_count, timeout);
		return true;
	}
	return false;
}

/* A request is considered timed out, if
 * - we have some effective timeout from the configuration,
 *   with some state restrictions applied,
 * - the oldest request is waiting for a response from the network
 *   resp. the local disk,
 * - the oldest request is in fact older than the effective timeout,
 * - the connection was established (resp. disk was attached)
 *   for longer than the timeout already.
 * Note that for 32bit jiffies and very stable connections/disks,
 * we may have a wrap around, which is catched by
 *   !time_in_range(now, last_..._jif, last_..._jif + timeout).
 *
 * Side effect: once per 32bit wrap-around interval, which means every
 * ~198 days with 250 HZ, we have a window where the timeout would need
 * to expire twice (worst case) to become effective. Good enough.
 */

1694
void request_timer_fn(struct timer_list *t)
1695
{
1696
	struct drbd_device *device = from_timer(device, t, request_timer);
1697
	struct drbd_connection *connection = first_peer_device(device)->connection;
1698
	struct drbd_request *req_read, *req_write, *req_peer; /* oldest request */
1699
	struct net_conf *nc;
1700
	unsigned long oldest_submit_jif;
1701
	unsigned long ent = 0, dt = 0, et, nt; /* effective timeout = ko_count * timeout */
1702
	unsigned long now;
1703
	unsigned int ko_count = 0, timeout = 0;
1704

1705
	rcu_read_lock();
1706
	nc = rcu_dereference(connection->net_conf);
1707 1708 1709 1710
	if (nc && device->state.conn >= C_WF_REPORT_PARAMS) {
		ko_count = nc->ko_count;
		timeout = nc->timeout;
	}
1711

1712 1713 1714
	if (get_ldev(device)) { /* implicit state.disk >= D_INCONSISTENT */
		dt = rcu_dereference(device->ldev->disk_conf)->disk_timeout * HZ / 10;
		put_ldev(device);
1715
	}
1716
	rcu_read_unlock();
1717

1718 1719

	ent = timeout * HZ/10 * ko_count;
1720 1721
	et = min_not_zero(dt, ent);

1722
	if (!et)
1723 1724
		return; /* Recurring timer stopped */

1725
	now = jiffies;
1726
	nt = now + et;
1727

1728
	spin_lock_irq(&device->resource->req_lock);
1729 1730
	req_read = list_first_entry_or_null(&device->pending_completion[0], struct drbd_request, req_pending_local);
	req_write = list_first_entry_or_null(&device->pending_completion[1], struct drbd_request, req_pending_local);
1731

1732
	/* maybe the oldest request waiting for the peer is in fact still
1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746
	 * blocking in tcp sendmsg.  That's ok, though, that's handled via the
	 * socket send timeout, requesting a ping, and bumping ko-count in
	 * we_should_drop_the_connection().
	 */

	/* check the oldest request we did successfully sent,
	 * but which is still waiting for an ACK. */
	req_peer = connection->req_ack_pending;

	/* if we don't have such request (e.g. protocoll A)
	 * check the oldest requests which is still waiting on its epoch
	 * closing barrier ack. */
	if (!req_peer)
		req_peer = connection->req_not_net_done;
1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761

	/* evaluate the oldest peer request only in one timer! */
	if (req_peer && req_peer->device != device)
		req_peer = NULL;

	/* do we have something to evaluate? */
	if (req_peer == NULL && req_write == NULL && req_read == NULL)
		goto out;

	oldest_submit_jif =
		(req_write && req_read)
		? ( time_before(req_write->pre_submit_jif, req_read->pre_submit_jif)
		  ? req_write->pre_submit_jif : req_read->pre_submit_jif )
		: req_write ? req_write->pre_submit_jif
		: req_read ? req_read->pre_submit_jif : now;
1762

1763
	if (ent && req_peer && net_timeout_reached(req_peer, connection, now, ent, ko_count, timeout))
1764
		_conn_request_state(connection, NS(conn, C_TIMEOUT), CS_VERBOSE | CS_HARD);
1765

1766 1767
	if (dt && oldest_submit_jif != now &&
		 time_after(now, oldest_submit_jif + dt) &&
1768
		!time_in_range(now, device->last_reattach_jif, device->last_reattach_jif + dt)) {
1769
		drbd_warn(device, "Local backing device failed to meet the disk-timeout\n");
1770
		__drbd_chk_io_error(device, DRBD_FORCE_DETACH);
1771
	}
1772 1773 1774

	/* Reschedule timer for the nearest not already expired timeout.
	 * Fallback to now + min(effective network timeout, disk timeout). */
1775 1776 1777 1778
	ent = (ent && req_peer && time_before(now, req_peer->pre_send_jif + ent))
		? req_peer->pre_send_jif + ent : now + et;
	dt = (dt && oldest_submit_jif != now && time_before(now, oldest_submit_jif + dt))
		? oldest_submit_jif + dt : now + et;
1779
	nt = time_before(ent, dt) ? ent : dt;
1780
out:
1781
	spin_unlock_irq(&device->resource->req_lock);
1782
	mod_timer(&device->request_timer, nt);
1783
}