drbd_req.c 54.9 KB
Newer Older
P
Philipp Reisner 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
/*
   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>.

   drbd is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   drbd is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with drbd; see the file COPYING.  If not, write to
   the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.

 */

#include <linux/module.h>

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


34
static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size);
35

P
Philipp Reisner 已提交
36
/* Update disk stats at start of I/O request */
37
static void _drbd_start_io_acct(struct drbd_device *device, struct drbd_request *req)
P
Philipp Reisner 已提交
38
{
39 40
	generic_start_io_acct(bio_data_dir(req->master_bio), req->i.size >> 9,
			      &device->vdisk->part0);
P
Philipp Reisner 已提交
41 42 43
}

/* Update disk stats when completing request upwards */
44
static void _drbd_end_io_acct(struct drbd_device *device, struct drbd_request *req)
P
Philipp Reisner 已提交
45
{
46 47
	generic_end_io_acct(bio_data_dir(req->master_bio),
			    &device->vdisk->part0, req->start_jif);
P
Philipp Reisner 已提交
48 49
}

50
static struct drbd_request *drbd_req_new(struct drbd_device *device, struct bio *bio_src)
51 52 53
{
	struct drbd_request *req;

54
	req = mempool_alloc(drbd_request_mempool, GFP_NOIO);
55 56
	if (!req)
		return NULL;
57
	memset(req, 0, sizeof(*req));
58 59

	drbd_req_make_private_bio(req, bio_src);
60 61 62 63 64 65
	req->rq_state = (bio_data_dir(bio_src) == WRITE ? RQ_WRITE : 0)
		      | (bio_op(bio_src) == REQ_OP_WRITE_SAME ? RQ_WSAME : 0)
		      | (bio_op(bio_src) == REQ_OP_DISCARD ? RQ_UNMAP : 0);
	req->device = device;
	req->master_bio = bio_src;
	req->epoch = 0;
66

67
	drbd_clear_interval(&req->i);
68 69
	req->i.sector     = bio_src->bi_iter.bi_sector;
	req->i.size      = bio_src->bi_iter.bi_size;
70
	req->i.local = true;
71 72
	req->i.waiting = false;

73 74
	INIT_LIST_HEAD(&req->tl_requests);
	INIT_LIST_HEAD(&req->w.list);
75 76
	INIT_LIST_HEAD(&req->req_pending_master_completion);
	INIT_LIST_HEAD(&req->req_pending_local);
77

78
	/* one reference to be put by __drbd_make_request */
79
	atomic_set(&req->completion_ref, 1);
80
	/* one kref as long as completion_ref > 0 */
81
	kref_init(&req->kref);
82 83 84
	return req;
}

85 86 87 88 89 90 91 92 93 94 95 96 97
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);
}

98
void drbd_req_destroy(struct kref *kref)
P
Philipp Reisner 已提交
99
{
100
	struct drbd_request *req = container_of(kref, struct drbd_request, kref);
101
	struct drbd_device *device = req->device;
102 103 104 105 106 107
	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))) {
108
		drbd_err(device, "drbd_req_destroy: Logic BUG rq_state = 0x%x, completion_ref = %d\n",
109 110 111
				s, atomic_read(&req->completion_ref));
		return;
	}
112

113 114 115 116 117 118 119 120
	/* 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. */
121
	list_del_init(&req->tl_requests);
122

123 124 125 126 127 128 129 130 131 132 133 134 135 136
	/* 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 已提交
137 138 139
	/* 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. */
140
	if (s & RQ_WRITE) {
P
Philipp Reisner 已提交
141 142 143 144 145
		/* 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 */

146 147 148 149 150 151 152
		/* 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 已提交
153
			if (!(s & RQ_NET_OK) || !(s & RQ_LOCAL_OK))
154
				drbd_set_out_of_sync(device, req->i.sector, req->i.size);
P
Philipp Reisner 已提交
155

P
Philipp Reisner 已提交
156
			if ((s & RQ_NET_OK) && (s & RQ_LOCAL_OK) && (s & RQ_NET_SIS))
157
				drbd_set_in_sync(device, req->i.sector, req->i.size);
P
Philipp Reisner 已提交
158
		}
P
Philipp Reisner 已提交
159 160

		/* one might be tempted to move the drbd_al_complete_io
161
		 * to the local io completion callback drbd_request_endio.
P
Philipp Reisner 已提交
162 163 164 165 166 167 168 169
		 * 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 已提交
170
		if (s & RQ_IN_ACT_LOG) {
171 172 173
			if (get_ldev_if_state(device, D_FAILED)) {
				drbd_al_complete_io(device, &req->i);
				put_ldev(device);
P
Philipp Reisner 已提交
174
			} else if (__ratelimit(&drbd_ratelimit_state)) {
175
				drbd_warn(device, "Should have called drbd_al_complete_io(, %llu, %u), "
176 177
					 "but my Disk seems to have failed :(\n",
					 (unsigned long long) req->i.sector, req->i.size);
P
Philipp Reisner 已提交
178 179 180 181
			}
		}
	}

182
	mempool_free(req, drbd_request_mempool);
P
Philipp Reisner 已提交
183 184
}

185 186 187
static void wake_all_senders(struct drbd_connection *connection)
{
	wake_up(&connection->sender_work.q_wait);
P
Philipp Reisner 已提交
188 189
}

190
/* must hold resource->req_lock */
191
void start_new_tl_epoch(struct drbd_connection *connection)
P
Philipp Reisner 已提交
192
{
193
	/* no point closing an epoch, if it is empty, anyways. */
194
	if (connection->current_tle_writes == 0)
195
		return;
P
Philipp Reisner 已提交
196

197 198 199
	connection->current_tle_writes = 0;
	atomic_inc(&connection->current_tle_nr);
	wake_all_senders(connection);
P
Philipp Reisner 已提交
200 201
}

202
void complete_master_bio(struct drbd_device *device,
P
Philipp Reisner 已提交
203 204
		struct bio_and_error *m)
{
205 206
	m->bio->bi_error = m->error;
	bio_endio(m->bio);
207
	dec_ap_bio(device);
P
Philipp Reisner 已提交
208 209
}

210

P
Philipp Reisner 已提交
211 212 213 214 215 216
/* 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.
 */
217
static
218
void drbd_req_complete(struct drbd_request *req, struct bio_and_error *m)
P
Philipp Reisner 已提交
219
{
220
	const unsigned s = req->rq_state;
221
	struct drbd_device *device = req->device;
222 223
	int rw;
	int error, ok;
P
Philipp Reisner 已提交
224 225 226 227 228 229 230 231 232 233

	/* 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.
	 */
234 235 236
	if ((s & RQ_LOCAL_PENDING && !(s & RQ_LOCAL_ABORTED)) ||
	    (s & RQ_NET_QUEUED) || (s & RQ_NET_PENDING) ||
	    (s & RQ_COMPLETION_SUSP)) {
237
		drbd_err(device, "drbd_req_complete: Logic BUG rq_state = 0x%x\n", s);
P
Philipp Reisner 已提交
238
		return;
239 240 241
	}

	if (!req->master_bio) {
242
		drbd_err(device, "drbd_req_complete: Logic BUG, master_bio == NULL!\n");
P
Philipp Reisner 已提交
243
		return;
244
	}
P
Philipp Reisner 已提交
245

246
	rw = bio_rw(req->master_bio);
P
Philipp Reisner 已提交
247

248 249 250 251 252 253 254 255 256 257 258 259 260 261 262
	/*
	 * 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 已提交
263

264 265 266 267 268 269 270 271
	/* 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.
	 */
	if (rw == WRITE &&
272 273
	    req->epoch == atomic_read(&first_peer_device(device)->connection->current_tle_nr))
		start_new_tl_epoch(first_peer_device(device)->connection);
P
Philipp Reisner 已提交
274

275
	/* Update disk stats */
276
	_drbd_end_io_acct(device, req);
P
Philipp Reisner 已提交
277

278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293
	/* 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.
	 *
	 * READA may fail, and will not be retried.
	 *
	 * WRITE should have used all available paths already.
	 */
	if (!ok && rw == READ && !list_empty(&req->tl_requests))
		req->rq_state |= RQ_POSTPONED;
P
Philipp Reisner 已提交
294

295
	if (!(req->rq_state & RQ_POSTPONED)) {
P
Philipp Reisner 已提交
296 297 298
		m->error = ok ? 0 : (error ?: -EIO);
		m->bio = req->master_bio;
		req->master_bio = NULL;
299 300 301 302 303
		/* 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 已提交
304
	}
305 306 307

	if (req->i.waiting)
		wake_up(&device->misc_wait);
308 309 310 311 312 313

	/* 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 已提交
314 315
}

316
/* still holds resource->req_lock */
317
static int drbd_req_put_completion_ref(struct drbd_request *req, struct bio_and_error *m, int put)
318
{
319
	struct drbd_device *device = req->device;
320
	D_ASSERT(device, m || (req->rq_state & RQ_POSTPONED));
321 322 323

	if (!atomic_sub_and_test(put, &req->completion_ref))
		return 0;
324

325
	drbd_req_complete(req, m);
326 327 328 329 330 331

	if (req->rq_state & RQ_POSTPONED) {
		/* don't destroy the req object just yet,
		 * but queue it for retry */
		drbd_restart_request(req);
		return 0;
P
Philipp Reisner 已提交
332
	}
333

334
	return 1;
P
Philipp Reisner 已提交
335 336
}

337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414
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;
	if (!connection)
		return;
	if (connection->req_next != req)
		return;
	list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
		const unsigned s = req->rq_state;
		if (s & RQ_NET_QUEUED)
			break;
	}
	if (&req->tl_requests == &connection->transfer_log)
		req = NULL;
	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;
	if (!connection)
		return;
	if (connection->req_ack_pending != req)
		return;
	list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
		const unsigned s = req->rq_state;
		if ((s & RQ_NET_SENT) && (s & RQ_NET_PENDING))
			break;
	}
	if (&req->tl_requests == &connection->transfer_log)
		req = NULL;
	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;
	if (!connection)
		return;
	if (connection->req_not_net_done != req)
		return;
	list_for_each_entry_continue(req, &connection->transfer_log, tl_requests) {
		const unsigned s = req->rq_state;
		if ((s & RQ_NET_SENT) && !(s & RQ_NET_DONE))
			break;
	}
	if (&req->tl_requests == &connection->transfer_log)
		req = NULL;
	connection->req_not_net_done = req;
}

415 416 417 418
/* 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)
419
{
420
	struct drbd_device *device = req->device;
421
	struct drbd_peer_device *peer_device = first_peer_device(device);
422 423 424
	unsigned s = req->rq_state;
	int c_put = 0;
	int k_put = 0;
425

426
	if (drbd_suspended(device) && !((s | clear) & RQ_COMPLETION_SUSP))
427
		set |= RQ_COMPLETION_SUSP;
428

429
	/* apply */
P
Philipp Reisner 已提交
430

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

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

438 439 440 441 442 443
	/* intent: get references */

	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 477 478 479
		/* local completion may still come in later,
		 * we need to keep the req object around. */
		kref_get(&req->kref);
		++c_put;
P
Philipp Reisner 已提交
480 481
	}

482 483 484 485 486
	if ((s & RQ_LOCAL_PENDING) && (clear & RQ_LOCAL_PENDING)) {
		if (req->rq_state & RQ_LOCAL_ABORTED)
			++k_put;
		else
			++c_put;
487
		list_del_init(&req->req_pending_local);
488
	}
P
Philipp Reisner 已提交
489

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

497
	if ((s & RQ_NET_QUEUED) && (clear & RQ_NET_QUEUED)) {
498
		++c_put;
499 500
		advance_conn_req_next(peer_device, req);
	}
501

502 503
	if (!(s & RQ_NET_DONE) && (set & RQ_NET_DONE)) {
		if (s & RQ_NET_SENT)
504
			atomic_sub(req->i.size >> 9, &device->ap_in_flight);
505 506 507
		if (s & RQ_EXP_BARR_ACK)
			++k_put;
		req->net_done_jif = jiffies;
508 509 510 511 512 513 514

		/* 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);
515 516 517 518 519 520 521 522 523 524
	}

	/* potentially complete and destroy */

	if (k_put || c_put) {
		/* Completion does it's own kref_put.  If we are going to
		 * kref_sub below, we need req to be still around then. */
		int at_least = k_put + !!c_put;
		int refcount = atomic_read(&req->kref.refcount);
		if (refcount < at_least)
525
			drbd_err(device,
526 527 528 529 530 531
				"mod_rq_state: Logic BUG: %x -> %x: refcount = %d, should be >= %d\n",
				s, req->rq_state, refcount, at_least);
	}

	/* If we made progress, retry conflicting peer requests, if any. */
	if (req->i.waiting)
532
		wake_up(&device->misc_wait);
533 534 535 536 537

	if (c_put)
		k_put += drbd_req_put_completion_ref(req, m, c_put);
	if (k_put)
		kref_sub(&req->kref, k_put, drbd_req_destroy);
P
Philipp Reisner 已提交
538 539
}

540
static void drbd_report_io_error(struct drbd_device *device, struct drbd_request *req)
541 542 543
{
        char b[BDEVNAME_SIZE];

544
	if (!__ratelimit(&drbd_ratelimit_state))
545 546
		return;

547
	drbd_warn(device, "local %s IO error sector %llu+%u on %s\n",
548
			(req->rq_state & RQ_WRITE) ? "WRITE" : "READ",
549 550
			(unsigned long long)req->i.sector,
			req->i.size >> 9,
551
			bdevname(device->ldev->backing_bdev, b));
552 553
}

554 555 556 557 558 559 560 561 562 563 564 565 566
/* 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 已提交
567 568 569 570 571 572 573 574 575 576 577 578
/* 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 ...
 */
579
int __req_mod(struct drbd_request *req, enum drbd_req_event what,
P
Philipp Reisner 已提交
580 581
		struct bio_and_error *m)
{
582 583 584
	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;
585
	struct net_conf *nc;
586
	int p, rv = 0;
587 588 589

	if (m)
		m->bio = NULL;
P
Philipp Reisner 已提交
590 591 592

	switch (what) {
	default:
593
		drbd_err(device, "LOGIC BUG in %s:%u\n", __FILE__ , __LINE__);
P
Philipp Reisner 已提交
594 595 596 597
		break;

	/* does not happen...
	 * initialization done in drbd_req_new
598
	case CREATED:
P
Philipp Reisner 已提交
599 600 601
		break;
		*/

602
	case TO_BE_SENT: /* via network */
603
		/* reached via __drbd_make_request
P
Philipp Reisner 已提交
604
		 * and from w_read_retry_remote */
605
		D_ASSERT(device, !(req->rq_state & RQ_NET_MASK));
606
		rcu_read_lock();
607
		nc = rcu_dereference(connection->net_conf);
608 609
		p = nc->wire_protocol;
		rcu_read_unlock();
610 611 612
		req->rq_state |=
			p == DRBD_PROT_C ? RQ_EXP_WRITE_ACK :
			p == DRBD_PROT_B ? RQ_EXP_RECEIVE_ACK : 0;
613
		mod_rq_state(req, m, 0, RQ_NET_PENDING);
P
Philipp Reisner 已提交
614 615
		break;

616
	case TO_BE_SUBMITTED: /* locally */
617
		/* reached via __drbd_make_request */
618
		D_ASSERT(device, !(req->rq_state & RQ_LOCAL_MASK));
619
		mod_rq_state(req, m, 0, RQ_LOCAL_PENDING);
P
Philipp Reisner 已提交
620 621
		break;

622
	case COMPLETED_OK:
623
		if (req->rq_state & RQ_WRITE)
624
			device->writ_cnt += req->i.size >> 9;
P
Philipp Reisner 已提交
625
		else
626
			device->read_cnt += req->i.size >> 9;
P
Philipp Reisner 已提交
627

628 629
		mod_rq_state(req, m, RQ_LOCAL_PENDING,
				RQ_LOCAL_COMPLETED|RQ_LOCAL_OK);
P
Philipp Reisner 已提交
630 631
		break;

632
	case ABORT_DISK_IO:
633
		mod_rq_state(req, m, 0, RQ_LOCAL_ABORTED);
634 635
		break;

636
	case WRITE_COMPLETED_WITH_ERROR:
637 638
		drbd_report_io_error(device, req);
		__drbd_chk_io_error(device, DRBD_WRITE_ERROR);
639
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
P
Philipp Reisner 已提交
640 641
		break;

642
	case READ_COMPLETED_WITH_ERROR:
643 644 645
		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);
646 647 648 649
		/* fall through. */
	case READ_AHEAD_COMPLETED_WITH_ERROR:
		/* it is legal to fail READA, no __drbd_chk_io_error in that case. */
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
650 651 652 653 654 655 656
		break;

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

659
	case QUEUE_FOR_NET_READ:
P
Philipp Reisner 已提交
660 661 662 663
		/* READ or READA, and
		 * no local disk,
		 * or target area marked as invalid,
		 * or just got an io-error. */
664
		/* from __drbd_make_request
P
Philipp Reisner 已提交
665 666
		 * or from bio_endio during read io-error recovery */

667 668
		/* So we can verify the handle in the answer packet.
		 * Corresponding drbd_remove_request_interval is in
669
		 * drbd_req_complete() */
670
		D_ASSERT(device, drbd_interval_empty(&req->i));
671
		drbd_insert_interval(&device->read_requests, &req->i);
P
Philipp Reisner 已提交
672

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

675 676
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
		D_ASSERT(device, (req->rq_state & RQ_LOCAL_MASK) == 0);
677
		mod_rq_state(req, m, 0, RQ_NET_QUEUED);
678
		req->w.cb = w_send_read_req;
679
		drbd_queue_work(&connection->sender_work,
680
				&req->w);
P
Philipp Reisner 已提交
681 682
		break;

683
	case QUEUE_FOR_NET_WRITE:
P
Philipp Reisner 已提交
684
		/* assert something? */
685
		/* from __drbd_make_request only */
P
Philipp Reisner 已提交
686

687
		/* Corresponding drbd_remove_request_interval is in
688
		 * drbd_req_complete() */
689
		D_ASSERT(device, drbd_interval_empty(&req->i));
690
		drbd_insert_interval(&device->write_requests, &req->i);
P
Philipp Reisner 已提交
691 692 693 694 695 696 697 698 699 700

		/* 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
701
		 * __drbd_make_request, because we now may set the bit
P
Philipp Reisner 已提交
702 703 704 705
		 * again ourselves to close the current epoch.
		 *
		 * Add req to the (now) current epoch (barrier). */

706 707 708
		/* otherwise we may lose an unplug, which may cause some remote
		 * io-scheduler timeout to expire, increasing maximum latency,
		 * hurting performance. */
709
		set_bit(UNPLUG_REMOTE, &device->flags);
P
Philipp Reisner 已提交
710 711

		/* queue work item to send data */
712
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
713
		mod_rq_state(req, m, 0, RQ_NET_QUEUED|RQ_EXP_BARR_ACK);
P
Philipp Reisner 已提交
714
		req->w.cb =  w_send_dblock;
715
		drbd_queue_work(&connection->sender_work,
716
				&req->w);
P
Philipp Reisner 已提交
717 718

		/* close the epoch, in case it outgrew the limit */
719
		rcu_read_lock();
720
		nc = rcu_dereference(connection->net_conf);
721 722
		p = nc->max_epoch_size;
		rcu_read_unlock();
723 724
		if (connection->current_tle_writes >= p)
			start_new_tl_epoch(connection);
P
Philipp Reisner 已提交
725 726 727

		break;

728
	case QUEUE_FOR_SEND_OOS:
729
		mod_rq_state(req, m, 0, RQ_NET_QUEUED);
730
		req->w.cb =  w_send_out_of_sync;
731
		drbd_queue_work(&connection->sender_work,
732
				&req->w);
733 734
		break;

735
	case READ_RETRY_REMOTE_CANCELED:
736 737
	case SEND_CANCELED:
	case SEND_FAILED:
P
Philipp Reisner 已提交
738 739
		/* real cleanup will be done from tl_clear.  just update flags
		 * so it is no longer marked as on the worker queue */
740
		mod_rq_state(req, m, RQ_NET_QUEUED, 0);
P
Philipp Reisner 已提交
741 742
		break;

743
	case HANDED_OVER_TO_NETWORK:
P
Philipp Reisner 已提交
744
		/* assert something? */
745
		if (is_pending_write_protocol_A(req))
P
Philipp Reisner 已提交
746 747
			/* this is what is dangerous about protocol A:
			 * pretend it was successfully written on the peer. */
748 749 750 751 752 753 754
			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. */
755 756
		break;

757
	case OOS_HANDED_TO_NETWORK:
758 759
		/* Was not set PENDING, no longer QUEUED, so is now DONE
		 * as far as this connection is concerned. */
760
		mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_DONE);
P
Philipp Reisner 已提交
761 762
		break;

763
	case CONNECTION_LOST_WHILE_PENDING:
P
Philipp Reisner 已提交
764
		/* transfer log cleanup after connection loss */
765 766 767
		mod_rq_state(req, m,
				RQ_NET_OK|RQ_NET_PENDING|RQ_COMPLETION_SUSP,
				RQ_NET_DONE);
P
Philipp Reisner 已提交
768 769
		break;

770 771
	case CONFLICT_RESOLVED:
		/* for superseded conflicting writes of multiple primaries,
P
Philipp Reisner 已提交
772
		 * there is no need to keep anything in the tl, potential
773 774 775
		 * node crashes are covered by the activity log.
		 *
		 * If this request had been marked as RQ_POSTPONED before,
776
		 * it will actually not be completed, but "restarted",
777
		 * resubmitted from the retry worker context. */
778 779
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
		D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
780 781 782
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_DONE|RQ_NET_OK);
		break;

783
	case WRITE_ACKED_BY_PEER_AND_SIS:
784
		req->rq_state |= RQ_NET_SIS;
785
	case WRITE_ACKED_BY_PEER:
786 787 788 789
		/* 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.
790
		 * Nothing more to do here.
P
Philipp Reisner 已提交
791
		 * We want to keep the tl in place for all protocols, to cater
792
		 * for volatile write-back caches on lower level devices. */
793
		goto ack_common;
794
	case RECV_ACKED_BY_PEER:
795
		D_ASSERT(device, req->rq_state & RQ_EXP_RECEIVE_ACK);
P
Philipp Reisner 已提交
796
		/* protocol B; pretends to be successfully written on peer.
797
		 * see also notes above in HANDED_OVER_TO_NETWORK about
P
Philipp Reisner 已提交
798
		 * protocol != C */
799
	ack_common:
800
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK);
P
Philipp Reisner 已提交
801 802
		break;

803
	case POSTPONE_WRITE:
804
		D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
805
		/* If this node has already detected the write conflict, the
806 807 808
		 * worker will be waiting on misc_wait.  Wake it up once this
		 * request has completed locally.
		 */
809
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
810
		req->rq_state |= RQ_POSTPONED;
811
		if (req->i.waiting)
812
			wake_up(&device->misc_wait);
813 814 815
		/* Do not clear RQ_NET_PENDING. This request will make further
		 * progress via restart_conflicting_writes() or
		 * fail_postponed_requests(). Hopefully. */
816
		break;
P
Philipp Reisner 已提交
817

818
	case NEG_ACKED:
819
		mod_rq_state(req, m, RQ_NET_OK|RQ_NET_PENDING, 0);
P
Philipp Reisner 已提交
820 821
		break;

822
	case FAIL_FROZEN_DISK_IO:
823 824
		if (!(req->rq_state & RQ_LOCAL_COMPLETED))
			break;
825
		mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
826 827
		break;

828
	case RESTART_FROZEN_DISK_IO:
829 830 831
		if (!(req->rq_state & RQ_LOCAL_COMPLETED))
			break;

832 833 834
		mod_rq_state(req, m,
				RQ_COMPLETION_SUSP|RQ_LOCAL_COMPLETED,
				RQ_LOCAL_PENDING);
835 836 837 838 839

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

840
		get_ldev(device); /* always succeeds in this call path */
841
		req->w.cb = w_restart_disk_io;
842
		drbd_queue_work(&connection->sender_work,
843
				&req->w);
844 845
		break;

846
	case RESEND:
847 848
		/* Simply complete (local only) READs. */
		if (!(req->rq_state & RQ_WRITE) && !req->w.cb) {
849
			mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
850 851 852
			break;
		}

853
		/* If RQ_NET_OK is already set, we got a P_WRITE_ACK or P_RECV_ACK
854 855
		   before the connection loss (B&C only); only P_BARRIER_ACK
		   (or the local completion?) was missing when we suspended.
856 857
		   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. */
858
		if (!(req->rq_state & RQ_NET_OK)) {
859
			/* FIXME could this possibly be a req->dw.cb == w_send_out_of_sync?
860 861 862
			 * in that case we must not set RQ_NET_PENDING. */

			mod_rq_state(req, m, RQ_COMPLETION_SUSP, RQ_NET_QUEUED|RQ_NET_PENDING);
863
			if (req->w.cb) {
864 865
				/* w.cb expected to be w_send_dblock, or w_send_read_req */
				drbd_queue_work(&connection->sender_work,
866
						&req->w);
867
				rv = req->rq_state & RQ_WRITE ? MR_WRITE : MR_READ;
868
			} /* else: FIXME can this happen? */
869 870
			break;
		}
871
		/* else, fall through to BARRIER_ACKED */
872

873
	case BARRIER_ACKED:
874
		/* barrier ack for READ requests does not make sense */
875 876 877
		if (!(req->rq_state & RQ_WRITE))
			break;

P
Philipp Reisner 已提交
878
		if (req->rq_state & RQ_NET_PENDING) {
879
			/* barrier came in before all requests were acked.
P
Philipp Reisner 已提交
880 881
			 * this is bad, because if the connection is lost now,
			 * we won't be able to clean them up... */
882
			drbd_err(device, "FIXME (BARRIER_ACKED but pending)\n");
P
Philipp Reisner 已提交
883
		}
884 885 886 887 888 889
		/* 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 已提交
890 891
		break;

892
	case DATA_RECEIVED:
893
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
894
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK|RQ_NET_DONE);
P
Philipp Reisner 已提交
895
		break;
896 897

	case QUEUE_AS_DRBD_BARRIER:
898
		start_new_tl_epoch(connection);
899 900
		mod_rq_state(req, m, 0, RQ_NET_OK|RQ_NET_DONE);
		break;
P
Philipp Reisner 已提交
901
	};
902 903

	return rv;
P
Philipp Reisner 已提交
904 905 906 907 908 909 910 911 912
}

/* 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.
 */
913
static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size)
P
Philipp Reisner 已提交
914 915 916 917
{
	unsigned long sbnr, ebnr;
	sector_t esector, nr_sectors;

918
	if (device->state.disk == D_UP_TO_DATE)
919
		return true;
920
	if (device->state.disk != D_INCONSISTENT)
921
		return false;
P
Philipp Reisner 已提交
922
	esector = sector + (size >> 9) - 1;
923
	nr_sectors = drbd_get_capacity(device->this_bdev);
924 925
	D_ASSERT(device, sector  < nr_sectors);
	D_ASSERT(device, esector < nr_sectors);
P
Philipp Reisner 已提交
926 927 928 929

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

930
	return drbd_bm_count_bits(device, sbnr, ebnr) == 0;
P
Philipp Reisner 已提交
931 932
}

933
static bool remote_due_to_read_balancing(struct drbd_device *device, sector_t sector,
934
		enum drbd_read_balancing rbm)
935 936
{
	struct backing_dev_info *bdi;
937
	int stripe_shift;
938 939 940

	switch (rbm) {
	case RB_CONGESTED_REMOTE:
941
		bdi = &device->ldev->backing_bdev->bd_disk->queue->backing_dev_info;
942 943
		return bdi_read_congested(bdi);
	case RB_LEAST_PENDING:
944 945
		return atomic_read(&device->local_cnt) >
			atomic_read(&device->ap_pending_cnt) + atomic_read(&device->rs_pending_cnt);
946 947 948 949 950 951 952 953
	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;
954
	case RB_ROUND_ROBIN:
955
		return test_and_change_bit(READ_BALANCE_RR, &device->flags);
956 957 958 959 960 961 962 963
	case RB_PREFER_REMOTE:
		return true;
	case RB_PREFER_LOCAL:
	default:
		return false;
	}
}

964 965 966 967 968 969
/*
 * 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.
970 971
 *
 * Only way out: remove the conflicting intervals from the tree.
972
 */
973
static void complete_conflicting_writes(struct drbd_request *req)
974
{
975
	DEFINE_WAIT(wait);
976
	struct drbd_device *device = req->device;
977 978 979 980 981
	struct drbd_interval *i;
	sector_t sector = req->i.sector;
	int size = req->i.size;

	for (;;) {
982 983 984 985 986 987
		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. */
988
			break;
989 990 991 992
		}
		if (!i)	/* if any */
			break;

993
		/* Indicate to wake up device->misc_wait on progress.  */
994
		prepare_to_wait(&device->misc_wait, &wait, TASK_UNINTERRUPTIBLE);
995
		i->waiting = true;
996
		spin_unlock_irq(&device->resource->req_lock);
997
		schedule();
998
		spin_lock_irq(&device->resource->req_lock);
999
	}
1000
	finish_wait(&device->misc_wait, &wait);
P
Philipp Reisner 已提交
1001 1002
}

1003
/* called within req_lock */
1004
static void maybe_pull_ahead(struct drbd_device *device)
1005
{
1006
	struct drbd_connection *connection = first_peer_device(device)->connection;
1007 1008 1009 1010
	struct net_conf *nc;
	bool congested = false;
	enum drbd_on_congestion on_congestion;

1011
	rcu_read_lock();
1012
	nc = rcu_dereference(connection->net_conf);
1013
	on_congestion = nc ? nc->on_congestion : OC_BLOCK;
1014
	rcu_read_unlock();
1015
	if (on_congestion == OC_BLOCK ||
1016
	    connection->agreed_pro_version < 96)
1017
		return;
1018

1019 1020 1021
	if (on_congestion == OC_PULL_AHEAD && device->state.conn == C_AHEAD)
		return; /* nothing to do ... */

1022 1023
	/* 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
1024
	 * sure device->act_log is there.
1025
	 */
1026
	if (!get_ldev_if_state(device, D_UP_TO_DATE))
1027 1028
		return;

1029
	if (nc->cong_fill &&
1030
	    atomic_read(&device->ap_in_flight) >= nc->cong_fill) {
1031
		drbd_info(device, "Congestion-fill threshold reached\n");
1032
		congested = true;
1033 1034
	}

1035
	if (device->act_log->used >= nc->cong_extents) {
1036
		drbd_info(device, "Congestion-extents threshold reached\n");
1037
		congested = true;
1038 1039 1040
	}

	if (congested) {
1041
		/* start a new epoch for non-mirrored writes */
1042
		start_new_tl_epoch(first_peer_device(device)->connection);
1043

1044
		if (on_congestion == OC_PULL_AHEAD)
1045
			_drbd_set_state(_NS(device, conn, C_AHEAD), 0, NULL);
1046
		else  /*nc->on_congestion == OC_DISCONNECT */
1047
			_drbd_set_state(_NS(device, conn, C_DISCONNECTING), 0, NULL);
1048
	}
1049
	put_ldev(device);
1050 1051
}

1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062
/* 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)
{
1063
	struct drbd_device *device = req->device;
1064 1065 1066
	enum drbd_read_balancing rbm;

	if (req->private_bio) {
1067
		if (!drbd_may_do_local_read(device,
1068 1069 1070
					req->i.sector, req->i.size)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1071
			put_ldev(device);
1072 1073 1074
		}
	}

1075
	if (device->state.pdsk != D_UP_TO_DATE)
1076 1077
		return false;

1078 1079 1080
	if (req->private_bio == NULL)
		return true;

1081 1082 1083 1084
	/* TODO: improve read balancing decisions, take into account drbd
	 * protocol, pending requests etc. */

	rcu_read_lock();
1085
	rbm = rcu_dereference(device->ldev->disk_conf)->read_balancing;
1086 1087 1088 1089 1090
	rcu_read_unlock();

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

1091
	if (remote_due_to_read_balancing(device, req->i.sector, rbm)) {
1092 1093 1094
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1095
			put_ldev(device);
1096 1097 1098 1099 1100 1101 1102
		}
		return true;
	}

	return false;
}

1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120
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 */
}

1121 1122 1123 1124 1125
/* 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)
{
1126
	struct drbd_device *device = req->device;
1127 1128
	int remote, send_oos;

1129 1130
	remote = drbd_should_do_remote(device->state);
	send_oos = drbd_should_send_out_of_sync(device->state);
1131

1132 1133 1134 1135 1136 1137 1138 1139
	/* 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. */
1140
		D_ASSERT(device, req->master_bio->bi_rw & REQ_PREFLUSH);
1141
		if (remote)
1142 1143
			_req_mod(req, QUEUE_AS_DRBD_BARRIER);
		return remote;
1144 1145
	}

1146 1147 1148
	if (!remote && !send_oos)
		return 0;

1149
	D_ASSERT(device, !(remote && send_oos));
1150 1151 1152 1153

	if (remote) {
		_req_mod(req, TO_BE_SENT);
		_req_mod(req, QUEUE_FOR_NET_WRITE);
1154
	} else if (drbd_set_out_of_sync(device, req->i.sector, req->i.size))
1155 1156 1157 1158 1159
		_req_mod(req, QUEUE_FOR_SEND_OOS);

	return remote;
}

1160 1161 1162 1163 1164 1165 1166 1167 1168 1169
static void drbd_process_discard_req(struct drbd_request *req)
{
	int err = drbd_issue_discard_or_zero_out(req->device,
				req->i.sector, req->i.size >> 9, true);

	if (err)
		req->private_bio->bi_error = -EIO;
	bio_endio(req->private_bio);
}

1170 1171 1172
static void
drbd_submit_req_private_bio(struct drbd_request *req)
{
1173
	struct drbd_device *device = req->device;
1174 1175 1176
	struct bio *bio = req->private_bio;
	const int rw = bio_rw(bio);

1177
	bio->bi_bdev = device->ldev->backing_bdev;
1178 1179 1180 1181 1182 1183

	/* 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. */
1184 1185
	if (get_ldev(device)) {
		if (drbd_insert_fault(device,
1186 1187 1188
				      rw == WRITE ? DRBD_FAULT_DT_WR
				    : rw == READ  ? DRBD_FAULT_DT_RD
				    :               DRBD_FAULT_DT_RA))
1189
			bio_io_error(bio);
1190 1191
		else if (bio_op(bio) == REQ_OP_DISCARD)
			drbd_process_discard_req(req);
1192 1193
		else
			generic_make_request(bio);
1194
		put_ldev(device);
1195
	} else
1196
		bio_io_error(bio);
1197 1198
}

1199
static void drbd_queue_write(struct drbd_device *device, struct drbd_request *req)
1200
{
1201
	spin_lock_irq(&device->resource->req_lock);
1202
	list_add_tail(&req->tl_requests, &device->submit.writes);
1203 1204 1205
	list_add_tail(&req->req_pending_master_completion,
			&device->pending_master_completion[1 /* WRITE */]);
	spin_unlock_irq(&device->resource->req_lock);
1206
	queue_work(device->submit.wq, &device->submit.worker);
1207 1208
	/* do_submit() may sleep internally on al_wait, too */
	wake_up(&device->al_wait);
1209 1210
}

1211 1212 1213 1214 1215
/* 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.
 */
1216
static struct drbd_request *
1217
drbd_request_prepare(struct drbd_device *device, struct bio *bio, unsigned long start_jif)
P
Philipp Reisner 已提交
1218
{
1219
	const int rw = bio_data_dir(bio);
P
Philipp Reisner 已提交
1220 1221 1222
	struct drbd_request *req;

	/* allocate outside of all locks; */
1223
	req = drbd_req_new(device, bio);
P
Philipp Reisner 已提交
1224
	if (!req) {
1225
		dec_ap_bio(device);
P
Philipp Reisner 已提交
1226 1227
		/* only pass the error to the upper layers.
		 * if user cannot handle io errors, that's not our business. */
1228
		drbd_err(device, "could not kmalloc() req\n");
1229 1230
		bio->bi_error = -ENOMEM;
		bio_endio(bio);
1231
		return ERR_PTR(-ENOMEM);
P
Philipp Reisner 已提交
1232
	}
1233
	req->start_jif = start_jif;
P
Philipp Reisner 已提交
1234

1235
	if (!get_ldev(device)) {
1236
		bio_put(req->private_bio);
P
Philipp Reisner 已提交
1237 1238 1239
		req->private_bio = NULL;
	}

1240
	/* Update disk stats */
1241
	_drbd_start_io_acct(device, req);
1242

1243 1244 1245 1246
	/* process discards always from our submitter thread */
	if (bio_op(bio) & REQ_OP_DISCARD)
		goto queue_for_submitter_thread;

1247
	if (rw == WRITE && req->private_bio && req->i.size
1248
	&& !test_bit(AL_SUSPENDED, &device->flags)) {
1249 1250
		if (!drbd_al_begin_io_fastpath(device, &req->i))
			goto queue_for_submitter_thread;
1251
		req->rq_state |= RQ_IN_ACT_LOG;
1252
		req->in_actlog_jif = jiffies;
1253
	}
1254
	return req;
1255 1256 1257 1258 1259

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

1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277
/* 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;
}

1278
static void drbd_send_and_submit(struct drbd_device *device, struct drbd_request *req)
1279
{
1280
	struct drbd_resource *resource = device->resource;
1281 1282 1283
	const int rw = bio_rw(req->master_bio);
	struct bio_and_error m = { NULL, };
	bool no_remote = false;
1284
	bool submit_private_bio = false;
1285

1286
	spin_lock_irq(&resource->req_lock);
1287
	if (rw == WRITE) {
1288 1289 1290 1291
		/* 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);
1292 1293 1294 1295
		/* 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. */
1296
		maybe_pull_ahead(device);
P
Philipp Reisner 已提交
1297 1298
	}

1299

1300
	if (drbd_suspended(device)) {
1301 1302 1303 1304 1305
		/* push back and retry: */
		req->rq_state |= RQ_POSTPONED;
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1306
			put_ldev(device);
P
Philipp Reisner 已提交
1307
		}
1308
		goto out;
P
Philipp Reisner 已提交
1309 1310
	}

1311 1312
	/* We fail READ/READA early, if we can not serve it.
	 * We must do this before req is registered on any lists.
1313
	 * Otherwise, drbd_req_complete() will queue failed READ for retry. */
1314 1315 1316
	if (rw != WRITE) {
		if (!do_remote_read(req) && !req->private_bio)
			goto nodata;
P
Philipp Reisner 已提交
1317 1318
	}

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

1322 1323
	/* no point in adding empty flushes to the transfer log,
	 * they are mapped to drbd barriers already. */
1324 1325
	if (likely(req->i.size!=0)) {
		if (rw == WRITE)
1326
			first_peer_device(device)->connection->current_tle_writes++;
1327

1328
		list_add_tail(&req->tl_requests, &first_peer_device(device)->connection->transfer_log);
P
Philipp Reisner 已提交
1329
	}
1330

1331
	if (rw == WRITE) {
1332 1333 1334 1335 1336 1337
		if (req->private_bio && !may_do_writes(device)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
			put_ldev(device);
			goto nodata;
		}
1338 1339 1340 1341 1342 1343 1344 1345
		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);
1346
		} else
1347
			no_remote = true;
P
Philipp Reisner 已提交
1348 1349
	}

1350 1351 1352 1353 1354
	/* 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]);
1355 1356
	if (req->private_bio) {
		/* needs to be marked within the same spinlock */
L
Lars Ellenberg 已提交
1357
		req->pre_submit_jif = jiffies;
1358 1359
		list_add_tail(&req->req_pending_local,
			&device->pending_completion[rw == WRITE]);
1360 1361
		_req_mod(req, TO_BE_SUBMITTED);
		/* but we need to give up the spinlock to submit */
1362
		submit_private_bio = true;
1363 1364 1365
	} else if (no_remote) {
nodata:
		if (__ratelimit(&drbd_ratelimit_state))
1366
			drbd_err(device, "IO ERROR: neither local nor remote data, sector %llu+%u\n",
1367
					(unsigned long long)req->i.sector, req->i.size >> 9);
1368
		/* A write may have been queued for send_oos, however.
1369
		 * So we can not simply free it, we must go through drbd_req_put_completion_ref() */
P
Philipp Reisner 已提交
1370 1371
	}

1372
out:
1373 1374
	if (drbd_req_put_completion_ref(req, &m, 1))
		kref_put(&req->kref, drbd_req_destroy);
1375 1376 1377 1378 1379 1380 1381 1382 1383 1384
	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);
1385
	if (m.bio)
1386
		complete_master_bio(device, &m);
1387 1388
}

1389
void __drbd_make_request(struct drbd_device *device, struct bio *bio, unsigned long start_jif)
1390
{
1391
	struct drbd_request *req = drbd_request_prepare(device, bio, start_jif);
1392 1393
	if (IS_ERR_OR_NULL(req))
		return;
1394
	drbd_send_and_submit(device, req);
P
Philipp Reisner 已提交
1395 1396
}

1397
static void submit_fast_path(struct drbd_device *device, struct list_head *incoming)
1398
{
1399 1400 1401
	struct drbd_request *req, *tmp;
	list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
		const int rw = bio_data_dir(req->master_bio);
1402

1403 1404
		if (rw == WRITE /* rw != WRITE should not even end up here! */
		&& req->private_bio && req->i.size
1405 1406
		&& !test_bit(AL_SUSPENDED, &device->flags)) {
			if (!drbd_al_begin_io_fastpath(device, &req->i))
1407 1408 1409
				continue;

			req->rq_state |= RQ_IN_ACT_LOG;
1410
			req->in_actlog_jif = jiffies;
1411
			atomic_dec(&device->ap_actlog_cnt);
1412 1413 1414
		}

		list_del_init(&req->tl_requests);
1415
		drbd_send_and_submit(device, req);
1416 1417 1418
	}
}

1419
static bool prepare_al_transaction_nonblock(struct drbd_device *device,
1420
					    struct list_head *incoming,
1421 1422
					    struct list_head *pending,
					    struct list_head *later)
1423 1424 1425 1426 1427
{
	struct drbd_request *req, *tmp;
	int wake = 0;
	int err;

1428
	spin_lock_irq(&device->al_lock);
1429
	list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
1430
		err = drbd_al_begin_io_nonblock(device, &req->i);
1431 1432
		if (err == -ENOBUFS)
			break;
1433 1434 1435
		if (err == -EBUSY)
			wake = 1;
		if (err)
1436 1437 1438
			list_move_tail(&req->tl_requests, later);
		else
			list_move_tail(&req->tl_requests, pending);
1439
	}
1440
	spin_unlock_irq(&device->al_lock);
1441
	if (wake)
1442
		wake_up(&device->al_wait);
1443 1444
	return !list_empty(pending);
}
1445

1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458
void send_and_submit_pending(struct drbd_device *device, struct list_head *pending)
{
	struct drbd_request *req, *tmp;

	list_for_each_entry_safe(req, tmp, pending, tl_requests) {
		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);
	}
}

1459 1460
void do_submit(struct work_struct *ws)
{
1461
	struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
1462 1463 1464 1465 1466 1467 1468 1469
	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);
1470

1471
	for (;;) {
1472
		DEFINE_WAIT(wait);
1473

1474 1475
		/* move used-to-be-busy back to front of incoming */
		list_splice_init(&busy, &incoming);
1476
		submit_fast_path(device, &incoming);
1477 1478 1479
		if (list_empty(&incoming))
			break;

1480
		for (;;) {
1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529
			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)) {
1530 1531 1532 1533 1534 1535
			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 */
1536
			if (list_empty(&device->submit.writes))
1537 1538
				break;

1539
			spin_lock_irq(&device->resource->req_lock);
1540
			list_splice_tail_init(&device->submit.writes, &more_incoming);
1541
			spin_unlock_irq(&device->resource->req_lock);
1542 1543 1544 1545

			if (list_empty(&more_incoming))
				break;

1546
			made_progress = prepare_al_transaction_nonblock(device, &more_incoming, &more_pending, &busy);
1547 1548 1549 1550 1551 1552

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

1554 1555
		drbd_al_begin_io_commit(device);
		send_and_submit_pending(device, &pending);
1556 1557 1558
	}
}

1559
blk_qc_t drbd_make_request(struct request_queue *q, struct bio *bio)
P
Philipp Reisner 已提交
1560
{
1561
	struct drbd_device *device = (struct drbd_device *) q->queuedata;
1562
	unsigned long start_jif;
P
Philipp Reisner 已提交
1563

1564 1565
	blk_queue_split(q, &bio, q->bio_split);

1566
	start_jif = jiffies;
1567

P
Philipp Reisner 已提交
1568 1569 1570
	/*
	 * what we "blindly" assume:
	 */
1571
	D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
P
Philipp Reisner 已提交
1572

1573
	inc_ap_bio(device);
1574
	__drbd_make_request(device, bio, start_jif);
1575
	return BLK_QC_T_NONE;
P
Philipp Reisner 已提交
1576 1577
}

1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 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
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.
 */

1650 1651
void request_timer_fn(unsigned long data)
{
1652
	struct drbd_device *device = (struct drbd_device *) data;
1653
	struct drbd_connection *connection = first_peer_device(device)->connection;
1654
	struct drbd_request *req_read, *req_write, *req_peer; /* oldest request */
1655
	struct net_conf *nc;
1656
	unsigned long oldest_submit_jif;
1657
	unsigned long ent = 0, dt = 0, et, nt; /* effective timeout = ko_count * timeout */
1658
	unsigned long now;
1659
	unsigned int ko_count = 0, timeout = 0;
1660

1661
	rcu_read_lock();
1662
	nc = rcu_dereference(connection->net_conf);
1663 1664 1665 1666
	if (nc && device->state.conn >= C_WF_REPORT_PARAMS) {
		ko_count = nc->ko_count;
		timeout = nc->timeout;
	}
1667

1668 1669 1670
	if (get_ldev(device)) { /* implicit state.disk >= D_INCONSISTENT */
		dt = rcu_dereference(device->ldev->disk_conf)->disk_timeout * HZ / 10;
		put_ldev(device);
1671
	}
1672
	rcu_read_unlock();
1673

1674 1675

	ent = timeout * HZ/10 * ko_count;
1676 1677
	et = min_not_zero(dt, ent);

1678
	if (!et)
1679 1680
		return; /* Recurring timer stopped */

1681
	now = jiffies;
1682
	nt = now + et;
1683

1684
	spin_lock_irq(&device->resource->req_lock);
1685 1686
	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);
1687

1688
	/* maybe the oldest request waiting for the peer is in fact still
1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702
	 * 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;
1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717

	/* 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;
1718

1719
	if (ent && req_peer && net_timeout_reached(req_peer, connection, now, ent, ko_count, timeout))
1720
		_conn_request_state(connection, NS(conn, C_TIMEOUT), CS_VERBOSE | CS_HARD);
1721

1722 1723
	if (dt && oldest_submit_jif != now &&
		 time_after(now, oldest_submit_jif + dt) &&
1724
		!time_in_range(now, device->last_reattach_jif, device->last_reattach_jif + dt)) {
1725
		drbd_warn(device, "Local backing device failed to meet the disk-timeout\n");
1726
		__drbd_chk_io_error(device, DRBD_FORCE_DETACH);
1727
	}
1728 1729 1730

	/* Reschedule timer for the nearest not already expired timeout.
	 * Fallback to now + min(effective network timeout, disk timeout). */
1731 1732 1733 1734
	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;
1735
	nt = time_before(ent, dt) ? ent : dt;
1736
out:
1737
	spin_unlock_irq(&device->resource->req_lock);
1738
	mod_timer(&device->request_timer, nt);
1739
}