drbd_req.c 55.6 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 35 36
	req->private_bio = bio_clone_fast(bio_src, GFP_NOIO, &drbd_io_bio_set);
	req->private_bio->bi_private = req;
	req->private_bio->bi_end_io = drbd_request_endio;

37 38
	req->rq_state = (bio_data_dir(bio_src) == WRITE ? RQ_WRITE : 0)
		      | (bio_op(bio_src) == REQ_OP_WRITE_SAME ? RQ_WSAME : 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
	m->bio->bi_status = errno_to_blk_status(m->error);
184
	bio_endio(m->bio);
185
	dec_ap_bio(device);
P
Philipp Reisner 已提交
186 187
}

188

P
Philipp Reisner 已提交
189 190 191 192 193 194
/* 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.
 */
195
static
196
void drbd_req_complete(struct drbd_request *req, struct bio_and_error *m)
P
Philipp Reisner 已提交
197
{
198
	const unsigned s = req->rq_state;
199
	struct drbd_device *device = req->device;
200
	int error, ok;
P
Philipp Reisner 已提交
201 202 203 204 205 206 207 208 209 210

	/* 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.
	 */
211 212 213
	if ((s & RQ_LOCAL_PENDING && !(s & RQ_LOCAL_ABORTED)) ||
	    (s & RQ_NET_QUEUED) || (s & RQ_NET_PENDING) ||
	    (s & RQ_COMPLETION_SUSP)) {
214
		drbd_err(device, "drbd_req_complete: Logic BUG rq_state = 0x%x\n", s);
P
Philipp Reisner 已提交
215
		return;
216 217 218
	}

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

223 224 225 226 227 228 229 230 231 232 233 234 235 236 237
	/*
	 * 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 已提交
238

239 240 241 242 243 244 245
	/* 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.
	 */
246
	if (op_is_write(bio_op(req->master_bio)) &&
247 248
	    req->epoch == atomic_read(&first_peer_device(device)->connection->current_tle_nr))
		start_new_tl_epoch(first_peer_device(device)->connection);
P
Philipp Reisner 已提交
249

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

253 254 255 256 257 258 259 260 261 262
	/* 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.
	 *
263
	 * read-ahead may fail, and will not be retried.
264 265 266
	 *
	 * WRITE should have used all available paths already.
	 */
267 268
	if (!ok &&
	    bio_op(req->master_bio) == REQ_OP_READ &&
J
Jens Axboe 已提交
269
	    !(req->master_bio->bi_opf & REQ_RAHEAD) &&
270
	    !list_empty(&req->tl_requests))
271
		req->rq_state |= RQ_POSTPONED;
P
Philipp Reisner 已提交
272

273
	if (!(req->rq_state & RQ_POSTPONED)) {
P
Philipp Reisner 已提交
274 275 276
		m->error = ok ? 0 : (error ?: -EIO);
		m->bio = req->master_bio;
		req->master_bio = NULL;
277 278 279 280 281
		/* 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 已提交
282
	}
283 284 285

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

	/* 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 已提交
292 293
}

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

300 301 302
	if (!put)
		return;

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

306
	drbd_req_complete(req, m);
307

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

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

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

323 324 325 326 327 328 329 330 331 332 333 334 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
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;
}

401 402 403 404
/* 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)
405
{
406
	struct drbd_device *device = req->device;
407
	struct drbd_peer_device *peer_device = first_peer_device(device);
408 409
	unsigned s = req->rq_state;
	int c_put = 0;
410

411
	if (drbd_suspended(device) && !((s | clear) & RQ_COMPLETION_SUSP))
412
		set |= RQ_COMPLETION_SUSP;
413

414
	/* apply */
P
Philipp Reisner 已提交
415

416 417
	req->rq_state &= ~clear;
	req->rq_state |= set;
P
Philipp Reisner 已提交
418

419 420 421
	/* no change? */
	if (req->rq_state == s)
		return;
P
Philipp Reisner 已提交
422

423 424
	/* intent: get references */

425 426
	kref_get(&req->kref);

427 428 429 430
	if (!(s & RQ_LOCAL_PENDING) && (set & RQ_LOCAL_PENDING))
		atomic_inc(&req->completion_ref);

	if (!(s & RQ_NET_PENDING) && (set & RQ_NET_PENDING)) {
431
		inc_ap_pending(device);
432
		atomic_inc(&req->completion_ref);
P
Philipp Reisner 已提交
433 434
	}

435
	if (!(s & RQ_NET_QUEUED) && (set & RQ_NET_QUEUED)) {
436
		atomic_inc(&req->completion_ref);
437
		set_if_null_req_next(peer_device, req);
438
	}
439 440 441 442

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

443
	if (!(s & RQ_NET_SENT) && (set & RQ_NET_SENT)) {
444
		/* potentially already completed in the ack_receiver thread */
445
		if (!(s & RQ_NET_DONE)) {
446
			atomic_add(req->i.size >> 9, &device->ap_in_flight);
447 448
			set_if_null_req_not_net_done(peer_device, req);
		}
449
		if (req->rq_state & RQ_NET_PENDING)
450
			set_if_null_req_ack_pending(peer_device, req);
451
	}
452

453 454 455
	if (!(s & RQ_COMPLETION_SUSP) && (set & RQ_COMPLETION_SUSP))
		atomic_inc(&req->completion_ref);

456 457 458 459 460 461
	/* progress: put references */

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

	if (!(s & RQ_LOCAL_ABORTED) && (set & RQ_LOCAL_ABORTED)) {
462
		D_ASSERT(device, req->rq_state & RQ_LOCAL_PENDING);
463
		++c_put;
P
Philipp Reisner 已提交
464 465
	}

466 467
	if ((s & RQ_LOCAL_PENDING) && (clear & RQ_LOCAL_PENDING)) {
		if (req->rq_state & RQ_LOCAL_ABORTED)
468
			kref_put(&req->kref, drbd_req_destroy);
469 470
		else
			++c_put;
471
		list_del_init(&req->req_pending_local);
472
	}
P
Philipp Reisner 已提交
473

474
	if ((s & RQ_NET_PENDING) && (clear & RQ_NET_PENDING)) {
475
		dec_ap_pending(device);
476
		++c_put;
477
		req->acked_jif = jiffies;
478
		advance_conn_req_ack_pending(peer_device, req);
479 480
	}

481
	if ((s & RQ_NET_QUEUED) && (clear & RQ_NET_QUEUED)) {
482
		++c_put;
483 484
		advance_conn_req_next(peer_device, req);
	}
485

486 487
	if (!(s & RQ_NET_DONE) && (set & RQ_NET_DONE)) {
		if (s & RQ_NET_SENT)
488
			atomic_sub(req->i.size >> 9, &device->ap_in_flight);
489
		if (s & RQ_EXP_BARR_ACK)
490
			kref_put(&req->kref, drbd_req_destroy);
491
		req->net_done_jif = jiffies;
492 493 494 495 496 497 498

		/* 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);
499 500 501 502 503 504
	}

	/* potentially complete and destroy */

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

507 508
	drbd_req_put_completion_ref(req, m, c_put);
	kref_put(&req->kref, drbd_req_destroy);
P
Philipp Reisner 已提交
509 510
}

511
static void drbd_report_io_error(struct drbd_device *device, struct drbd_request *req)
512 513 514
{
        char b[BDEVNAME_SIZE];

515
	if (!__ratelimit(&drbd_ratelimit_state))
516 517
		return;

518
	drbd_warn(device, "local %s IO error sector %llu+%u on %s\n",
519
			(req->rq_state & RQ_WRITE) ? "WRITE" : "READ",
520 521
			(unsigned long long)req->i.sector,
			req->i.size >> 9,
522
			bdevname(device->ldev->backing_bdev, b));
523 524
}

525 526 527 528 529 530 531 532 533 534 535 536 537
/* 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 已提交
538 539 540 541 542 543 544 545 546 547 548 549
/* 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 ...
 */
550
int __req_mod(struct drbd_request *req, enum drbd_req_event what,
P
Philipp Reisner 已提交
551 552
		struct bio_and_error *m)
{
553 554 555
	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;
556
	struct net_conf *nc;
557
	int p, rv = 0;
558 559 560

	if (m)
		m->bio = NULL;
P
Philipp Reisner 已提交
561 562 563

	switch (what) {
	default:
564
		drbd_err(device, "LOGIC BUG in %s:%u\n", __FILE__ , __LINE__);
P
Philipp Reisner 已提交
565 566 567 568
		break;

	/* does not happen...
	 * initialization done in drbd_req_new
569
	case CREATED:
P
Philipp Reisner 已提交
570 571 572
		break;
		*/

573
	case TO_BE_SENT: /* via network */
574
		/* reached via __drbd_make_request
P
Philipp Reisner 已提交
575
		 * and from w_read_retry_remote */
576
		D_ASSERT(device, !(req->rq_state & RQ_NET_MASK));
577
		rcu_read_lock();
578
		nc = rcu_dereference(connection->net_conf);
579 580
		p = nc->wire_protocol;
		rcu_read_unlock();
581 582 583
		req->rq_state |=
			p == DRBD_PROT_C ? RQ_EXP_WRITE_ACK :
			p == DRBD_PROT_B ? RQ_EXP_RECEIVE_ACK : 0;
584
		mod_rq_state(req, m, 0, RQ_NET_PENDING);
P
Philipp Reisner 已提交
585 586
		break;

587
	case TO_BE_SUBMITTED: /* locally */
588
		/* reached via __drbd_make_request */
589
		D_ASSERT(device, !(req->rq_state & RQ_LOCAL_MASK));
590
		mod_rq_state(req, m, 0, RQ_LOCAL_PENDING);
P
Philipp Reisner 已提交
591 592
		break;

593
	case COMPLETED_OK:
594
		if (req->rq_state & RQ_WRITE)
595
			device->writ_cnt += req->i.size >> 9;
P
Philipp Reisner 已提交
596
		else
597
			device->read_cnt += req->i.size >> 9;
P
Philipp Reisner 已提交
598

599 600
		mod_rq_state(req, m, RQ_LOCAL_PENDING,
				RQ_LOCAL_COMPLETED|RQ_LOCAL_OK);
P
Philipp Reisner 已提交
601 602
		break;

603
	case ABORT_DISK_IO:
604
		mod_rq_state(req, m, 0, RQ_LOCAL_ABORTED);
605 606
		break;

607
	case WRITE_COMPLETED_WITH_ERROR:
608 609
		drbd_report_io_error(device, req);
		__drbd_chk_io_error(device, DRBD_WRITE_ERROR);
610
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
P
Philipp Reisner 已提交
611 612
		break;

613
	case READ_COMPLETED_WITH_ERROR:
614 615 616
		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);
617
		fallthrough;
618
	case READ_AHEAD_COMPLETED_WITH_ERROR:
619
		/* it is legal to fail read-ahead, no __drbd_chk_io_error in that case. */
620
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
621 622 623 624 625
		break;

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

630
	case QUEUE_FOR_NET_READ:
631
		/* READ, and
P
Philipp Reisner 已提交
632 633 634
		 * no local disk,
		 * or target area marked as invalid,
		 * or just got an io-error. */
635
		/* from __drbd_make_request
P
Philipp Reisner 已提交
636 637
		 * or from bio_endio during read io-error recovery */

638 639
		/* So we can verify the handle in the answer packet.
		 * Corresponding drbd_remove_request_interval is in
640
		 * drbd_req_complete() */
641
		D_ASSERT(device, drbd_interval_empty(&req->i));
642
		drbd_insert_interval(&device->read_requests, &req->i);
P
Philipp Reisner 已提交
643

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

646 647
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
		D_ASSERT(device, (req->rq_state & RQ_LOCAL_MASK) == 0);
648
		mod_rq_state(req, m, 0, RQ_NET_QUEUED);
649
		req->w.cb = w_send_read_req;
650
		drbd_queue_work(&connection->sender_work,
651
				&req->w);
P
Philipp Reisner 已提交
652 653
		break;

654
	case QUEUE_FOR_NET_WRITE:
P
Philipp Reisner 已提交
655
		/* assert something? */
656
		/* from __drbd_make_request only */
P
Philipp Reisner 已提交
657

658
		/* Corresponding drbd_remove_request_interval is in
659
		 * drbd_req_complete() */
660
		D_ASSERT(device, drbd_interval_empty(&req->i));
661
		drbd_insert_interval(&device->write_requests, &req->i);
P
Philipp Reisner 已提交
662 663 664 665 666 667 668 669 670 671

		/* 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
672
		 * __drbd_make_request, because we now may set the bit
P
Philipp Reisner 已提交
673 674 675 676
		 * again ourselves to close the current epoch.
		 *
		 * Add req to the (now) current epoch (barrier). */

677 678 679
		/* otherwise we may lose an unplug, which may cause some remote
		 * io-scheduler timeout to expire, increasing maximum latency,
		 * hurting performance. */
680
		set_bit(UNPLUG_REMOTE, &device->flags);
P
Philipp Reisner 已提交
681 682

		/* queue work item to send data */
683
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
684
		mod_rq_state(req, m, 0, RQ_NET_QUEUED|RQ_EXP_BARR_ACK);
P
Philipp Reisner 已提交
685
		req->w.cb =  w_send_dblock;
686
		drbd_queue_work(&connection->sender_work,
687
				&req->w);
P
Philipp Reisner 已提交
688 689

		/* close the epoch, in case it outgrew the limit */
690
		rcu_read_lock();
691
		nc = rcu_dereference(connection->net_conf);
692 693
		p = nc->max_epoch_size;
		rcu_read_unlock();
694 695
		if (connection->current_tle_writes >= p)
			start_new_tl_epoch(connection);
P
Philipp Reisner 已提交
696 697 698

		break;

699
	case QUEUE_FOR_SEND_OOS:
700
		mod_rq_state(req, m, 0, RQ_NET_QUEUED);
701
		req->w.cb =  w_send_out_of_sync;
702
		drbd_queue_work(&connection->sender_work,
703
				&req->w);
704 705
		break;

706
	case READ_RETRY_REMOTE_CANCELED:
707 708
	case SEND_CANCELED:
	case SEND_FAILED:
P
Philipp Reisner 已提交
709 710
		/* real cleanup will be done from tl_clear.  just update flags
		 * so it is no longer marked as on the worker queue */
711
		mod_rq_state(req, m, RQ_NET_QUEUED, 0);
P
Philipp Reisner 已提交
712 713
		break;

714
	case HANDED_OVER_TO_NETWORK:
P
Philipp Reisner 已提交
715
		/* assert something? */
716
		if (is_pending_write_protocol_A(req))
P
Philipp Reisner 已提交
717 718
			/* this is what is dangerous about protocol A:
			 * pretend it was successfully written on the peer. */
719 720 721 722 723 724 725
			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. */
726 727
		break;

728
	case OOS_HANDED_TO_NETWORK:
729 730
		/* Was not set PENDING, no longer QUEUED, so is now DONE
		 * as far as this connection is concerned. */
731
		mod_rq_state(req, m, RQ_NET_QUEUED, RQ_NET_DONE);
P
Philipp Reisner 已提交
732 733
		break;

734
	case CONNECTION_LOST_WHILE_PENDING:
P
Philipp Reisner 已提交
735
		/* transfer log cleanup after connection loss */
736 737 738
		mod_rq_state(req, m,
				RQ_NET_OK|RQ_NET_PENDING|RQ_COMPLETION_SUSP,
				RQ_NET_DONE);
P
Philipp Reisner 已提交
739 740
		break;

741 742
	case CONFLICT_RESOLVED:
		/* for superseded conflicting writes of multiple primaries,
P
Philipp Reisner 已提交
743
		 * there is no need to keep anything in the tl, potential
744 745 746
		 * node crashes are covered by the activity log.
		 *
		 * If this request had been marked as RQ_POSTPONED before,
747
		 * it will actually not be completed, but "restarted",
748
		 * resubmitted from the retry worker context. */
749 750
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
		D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
751 752 753
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_DONE|RQ_NET_OK);
		break;

754
	case WRITE_ACKED_BY_PEER_AND_SIS:
755
		req->rq_state |= RQ_NET_SIS;
756
	case WRITE_ACKED_BY_PEER:
757 758 759 760
		/* 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.
761
		 * Nothing more to do here.
P
Philipp Reisner 已提交
762
		 * We want to keep the tl in place for all protocols, to cater
763
		 * for volatile write-back caches on lower level devices. */
764
		goto ack_common;
765
	case RECV_ACKED_BY_PEER:
766
		D_ASSERT(device, req->rq_state & RQ_EXP_RECEIVE_ACK);
P
Philipp Reisner 已提交
767
		/* protocol B; pretends to be successfully written on peer.
768
		 * see also notes above in HANDED_OVER_TO_NETWORK about
P
Philipp Reisner 已提交
769
		 * protocol != C */
770
	ack_common:
771
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK);
P
Philipp Reisner 已提交
772 773
		break;

774
	case POSTPONE_WRITE:
775
		D_ASSERT(device, req->rq_state & RQ_EXP_WRITE_ACK);
776
		/* If this node has already detected the write conflict, the
777 778 779
		 * worker will be waiting on misc_wait.  Wake it up once this
		 * request has completed locally.
		 */
780
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
781
		req->rq_state |= RQ_POSTPONED;
782
		if (req->i.waiting)
783
			wake_up(&device->misc_wait);
784 785 786
		/* Do not clear RQ_NET_PENDING. This request will make further
		 * progress via restart_conflicting_writes() or
		 * fail_postponed_requests(). Hopefully. */
787
		break;
P
Philipp Reisner 已提交
788

789
	case NEG_ACKED:
790
		mod_rq_state(req, m, RQ_NET_OK|RQ_NET_PENDING, 0);
P
Philipp Reisner 已提交
791 792
		break;

793
	case FAIL_FROZEN_DISK_IO:
794 795
		if (!(req->rq_state & RQ_LOCAL_COMPLETED))
			break;
796
		mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
797 798
		break;

799
	case RESTART_FROZEN_DISK_IO:
800 801 802
		if (!(req->rq_state & RQ_LOCAL_COMPLETED))
			break;

803 804 805
		mod_rq_state(req, m,
				RQ_COMPLETION_SUSP|RQ_LOCAL_COMPLETED,
				RQ_LOCAL_PENDING);
806 807 808 809 810

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

811
		get_ldev(device); /* always succeeds in this call path */
812
		req->w.cb = w_restart_disk_io;
813
		drbd_queue_work(&connection->sender_work,
814
				&req->w);
815 816
		break;

817
	case RESEND:
818 819
		/* Simply complete (local only) READs. */
		if (!(req->rq_state & RQ_WRITE) && !req->w.cb) {
820
			mod_rq_state(req, m, RQ_COMPLETION_SUSP, 0);
821 822 823
			break;
		}

824
		/* If RQ_NET_OK is already set, we got a P_WRITE_ACK or P_RECV_ACK
825 826
		   before the connection loss (B&C only); only P_BARRIER_ACK
		   (or the local completion?) was missing when we suspended.
827 828
		   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. */
829
		if (!(req->rq_state & RQ_NET_OK)) {
830
			/* FIXME could this possibly be a req->dw.cb == w_send_out_of_sync?
831 832 833
			 * in that case we must not set RQ_NET_PENDING. */

			mod_rq_state(req, m, RQ_COMPLETION_SUSP, RQ_NET_QUEUED|RQ_NET_PENDING);
834
			if (req->w.cb) {
835 836
				/* w.cb expected to be w_send_dblock, or w_send_read_req */
				drbd_queue_work(&connection->sender_work,
837
						&req->w);
838
				rv = req->rq_state & RQ_WRITE ? MR_WRITE : MR_READ;
839
			} /* else: FIXME can this happen? */
840 841
			break;
		}
842
		fallthrough;	/* to BARRIER_ACKED */
843

844
	case BARRIER_ACKED:
845
		/* barrier ack for READ requests does not make sense */
846 847 848
		if (!(req->rq_state & RQ_WRITE))
			break;

P
Philipp Reisner 已提交
849
		if (req->rq_state & RQ_NET_PENDING) {
850
			/* barrier came in before all requests were acked.
P
Philipp Reisner 已提交
851 852
			 * this is bad, because if the connection is lost now,
			 * we won't be able to clean them up... */
853
			drbd_err(device, "FIXME (BARRIER_ACKED but pending)\n");
P
Philipp Reisner 已提交
854
		}
855 856 857 858 859 860
		/* 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 已提交
861 862
		break;

863
	case DATA_RECEIVED:
864
		D_ASSERT(device, req->rq_state & RQ_NET_PENDING);
865
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK|RQ_NET_DONE);
P
Philipp Reisner 已提交
866
		break;
867 868

	case QUEUE_AS_DRBD_BARRIER:
869
		start_new_tl_epoch(connection);
870 871
		mod_rq_state(req, m, 0, RQ_NET_OK|RQ_NET_DONE);
		break;
Z
zhengbin 已提交
872
	}
873 874

	return rv;
P
Philipp Reisner 已提交
875 876 877 878 879 880 881 882 883
}

/* 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.
 */
884
static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size)
P
Philipp Reisner 已提交
885 886 887 888
{
	unsigned long sbnr, ebnr;
	sector_t esector, nr_sectors;

889
	if (device->state.disk == D_UP_TO_DATE)
890
		return true;
891
	if (device->state.disk != D_INCONSISTENT)
892
		return false;
P
Philipp Reisner 已提交
893
	esector = sector + (size >> 9) - 1;
C
Christoph Hellwig 已提交
894
	nr_sectors = get_capacity(device->vdisk);
895 896
	D_ASSERT(device, sector  < nr_sectors);
	D_ASSERT(device, esector < nr_sectors);
P
Philipp Reisner 已提交
897 898 899 900

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

901
	return drbd_bm_count_bits(device, sbnr, ebnr) == 0;
P
Philipp Reisner 已提交
902 903
}

904
static bool remote_due_to_read_balancing(struct drbd_device *device, sector_t sector,
905
		enum drbd_read_balancing rbm)
906 907
{
	struct backing_dev_info *bdi;
908
	int stripe_shift;
909 910 911

	switch (rbm) {
	case RB_CONGESTED_REMOTE:
912
		bdi = device->ldev->backing_bdev->bd_disk->queue->backing_dev_info;
913 914
		return bdi_read_congested(bdi);
	case RB_LEAST_PENDING:
915 916
		return atomic_read(&device->local_cnt) >
			atomic_read(&device->ap_pending_cnt) + atomic_read(&device->rs_pending_cnt);
917 918 919 920 921 922 923 924
	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;
925
	case RB_ROUND_ROBIN:
926
		return test_and_change_bit(READ_BALANCE_RR, &device->flags);
927 928 929 930 931 932 933 934
	case RB_PREFER_REMOTE:
		return true;
	case RB_PREFER_LOCAL:
	default:
		return false;
	}
}

935 936 937 938 939 940
/*
 * 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.
941 942
 *
 * Only way out: remove the conflicting intervals from the tree.
943
 */
944
static void complete_conflicting_writes(struct drbd_request *req)
945
{
946
	DEFINE_WAIT(wait);
947
	struct drbd_device *device = req->device;
948 949 950 951 952
	struct drbd_interval *i;
	sector_t sector = req->i.sector;
	int size = req->i.size;

	for (;;) {
953 954 955 956 957 958
		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. */
959
			break;
960 961 962 963
		}
		if (!i)	/* if any */
			break;

964
		/* Indicate to wake up device->misc_wait on progress.  */
965
		prepare_to_wait(&device->misc_wait, &wait, TASK_UNINTERRUPTIBLE);
966
		i->waiting = true;
967
		spin_unlock_irq(&device->resource->req_lock);
968
		schedule();
969
		spin_lock_irq(&device->resource->req_lock);
970
	}
971
	finish_wait(&device->misc_wait, &wait);
P
Philipp Reisner 已提交
972 973
}

974
/* called within req_lock */
975
static void maybe_pull_ahead(struct drbd_device *device)
976
{
977
	struct drbd_connection *connection = first_peer_device(device)->connection;
978 979 980 981
	struct net_conf *nc;
	bool congested = false;
	enum drbd_on_congestion on_congestion;

982
	rcu_read_lock();
983
	nc = rcu_dereference(connection->net_conf);
984
	on_congestion = nc ? nc->on_congestion : OC_BLOCK;
985
	rcu_read_unlock();
986
	if (on_congestion == OC_BLOCK ||
987
	    connection->agreed_pro_version < 96)
988
		return;
989

990 991 992
	if (on_congestion == OC_PULL_AHEAD && device->state.conn == C_AHEAD)
		return; /* nothing to do ... */

993 994
	/* 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
995
	 * sure device->act_log is there.
996
	 */
997
	if (!get_ldev_if_state(device, D_UP_TO_DATE))
998 999
		return;

1000
	if (nc->cong_fill &&
1001
	    atomic_read(&device->ap_in_flight) >= nc->cong_fill) {
1002
		drbd_info(device, "Congestion-fill threshold reached\n");
1003
		congested = true;
1004 1005
	}

1006
	if (device->act_log->used >= nc->cong_extents) {
1007
		drbd_info(device, "Congestion-extents threshold reached\n");
1008
		congested = true;
1009 1010 1011
	}

	if (congested) {
1012
		/* start a new epoch for non-mirrored writes */
1013
		start_new_tl_epoch(first_peer_device(device)->connection);
1014

1015
		if (on_congestion == OC_PULL_AHEAD)
1016
			_drbd_set_state(_NS(device, conn, C_AHEAD), 0, NULL);
1017
		else  /*nc->on_congestion == OC_DISCONNECT */
1018
			_drbd_set_state(_NS(device, conn, C_DISCONNECTING), 0, NULL);
1019
	}
1020
	put_ldev(device);
1021 1022
}

1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033
/* 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)
{
1034
	struct drbd_device *device = req->device;
1035 1036 1037
	enum drbd_read_balancing rbm;

	if (req->private_bio) {
1038
		if (!drbd_may_do_local_read(device,
1039 1040 1041
					req->i.sector, req->i.size)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1042
			put_ldev(device);
1043 1044 1045
		}
	}

1046
	if (device->state.pdsk != D_UP_TO_DATE)
1047 1048
		return false;

1049 1050 1051
	if (req->private_bio == NULL)
		return true;

1052 1053 1054 1055
	/* TODO: improve read balancing decisions, take into account drbd
	 * protocol, pending requests etc. */

	rcu_read_lock();
1056
	rbm = rcu_dereference(device->ldev->disk_conf)->read_balancing;
1057 1058 1059 1060 1061
	rcu_read_unlock();

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

1062
	if (remote_due_to_read_balancing(device, req->i.sector, rbm)) {
1063 1064 1065
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1066
			put_ldev(device);
1067 1068 1069 1070 1071 1072 1073
		}
		return true;
	}

	return false;
}

1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091
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 */
}

1092 1093 1094 1095 1096
/* 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)
{
1097
	struct drbd_device *device = req->device;
1098 1099
	int remote, send_oos;

1100 1101
	remote = drbd_should_do_remote(device->state);
	send_oos = drbd_should_send_out_of_sync(device->state);
1102

1103 1104 1105 1106 1107 1108 1109 1110
	/* 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 已提交
1111
		D_ASSERT(device, req->master_bio->bi_opf & REQ_PREFLUSH);
1112
		if (remote)
1113 1114
			_req_mod(req, QUEUE_AS_DRBD_BARRIER);
		return remote;
1115 1116
	}

1117 1118 1119
	if (!remote && !send_oos)
		return 0;

1120
	D_ASSERT(device, !(remote && send_oos));
1121 1122 1123 1124

	if (remote) {
		_req_mod(req, TO_BE_SENT);
		_req_mod(req, QUEUE_FOR_NET_WRITE);
1125
	} else if (drbd_set_out_of_sync(device, req->i.sector, req->i.size))
1126 1127 1128 1129 1130
		_req_mod(req, QUEUE_FOR_SEND_OOS);

	return remote;
}

1131
static void drbd_process_discard_or_zeroes_req(struct drbd_request *req, int flags)
1132
{
1133 1134 1135
	int err = drbd_issue_discard_or_zero_out(req->device,
				req->i.sector, req->i.size >> 9, flags);
	if (err)
1136
		req->private_bio->bi_status = BLK_STS_IOERR;
1137 1138 1139
	bio_endio(req->private_bio);
}

1140 1141 1142
static void
drbd_submit_req_private_bio(struct drbd_request *req)
{
1143
	struct drbd_device *device = req->device;
1144
	struct bio *bio = req->private_bio;
1145 1146 1147 1148
	unsigned int type;

	if (bio_op(bio) != REQ_OP_READ)
		type = DRBD_FAULT_DT_WR;
J
Jens Axboe 已提交
1149
	else if (bio->bi_opf & REQ_RAHEAD)
1150 1151 1152
		type = DRBD_FAULT_DT_RA;
	else
		type = DRBD_FAULT_DT_RD;
1153

1154
	bio_set_dev(bio, device->ldev->backing_bdev);
1155 1156 1157 1158 1159 1160

	/* 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. */
1161
	if (get_ldev(device)) {
1162
		if (drbd_insert_fault(device, type))
1163
			bio_io_error(bio);
1164 1165 1166 1167 1168
		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);
1169
		else
1170
			submit_bio_noacct(bio);
1171
		put_ldev(device);
1172
	} else
1173
		bio_io_error(bio);
1174 1175
}

1176
static void drbd_queue_write(struct drbd_device *device, struct drbd_request *req)
1177
{
1178
	spin_lock_irq(&device->resource->req_lock);
1179
	list_add_tail(&req->tl_requests, &device->submit.writes);
1180 1181 1182
	list_add_tail(&req->req_pending_master_completion,
			&device->pending_master_completion[1 /* WRITE */]);
	spin_unlock_irq(&device->resource->req_lock);
1183
	queue_work(device->submit.wq, &device->submit.worker);
1184 1185
	/* do_submit() may sleep internally on al_wait, too */
	wake_up(&device->al_wait);
1186 1187
}

1188 1189 1190 1191 1192
/* 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.
 */
1193
static struct drbd_request *
1194
drbd_request_prepare(struct drbd_device *device, struct bio *bio)
P
Philipp Reisner 已提交
1195
{
1196
	const int rw = bio_data_dir(bio);
P
Philipp Reisner 已提交
1197 1198 1199
	struct drbd_request *req;

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

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

1214
	if (!get_ldev(device)) {
1215
		bio_put(req->private_bio);
P
Philipp Reisner 已提交
1216 1217 1218
		req->private_bio = NULL;
	}

1219
	/* process discards always from our submitter thread */
1220 1221
	if (bio_op(bio) == REQ_OP_WRITE_ZEROES ||
	    bio_op(bio) == REQ_OP_DISCARD)
1222 1223
		goto queue_for_submitter_thread;

1224
	if (rw == WRITE && req->private_bio && req->i.size
1225
	&& !test_bit(AL_SUSPENDED, &device->flags)) {
1226 1227
		if (!drbd_al_begin_io_fastpath(device, &req->i))
			goto queue_for_submitter_thread;
1228
		req->rq_state |= RQ_IN_ACT_LOG;
1229
		req->in_actlog_jif = jiffies;
1230
	}
1231
	return req;
1232 1233 1234 1235 1236

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

1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254
/* 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;
}

1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266
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;

1267
	kfree(cb);
1268 1269 1270 1271 1272 1273 1274 1275 1276 1277
	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);
1278
	spin_unlock_irq(&resource->req_lock);
1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305
}

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);
}

1306
static void drbd_send_and_submit(struct drbd_device *device, struct drbd_request *req)
1307
{
1308
	struct drbd_resource *resource = device->resource;
1309
	const int rw = bio_data_dir(req->master_bio);
1310 1311
	struct bio_and_error m = { NULL, };
	bool no_remote = false;
1312
	bool submit_private_bio = false;
1313

1314
	spin_lock_irq(&resource->req_lock);
1315
	if (rw == WRITE) {
1316 1317 1318 1319
		/* 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);
1320 1321 1322 1323
		/* 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. */
1324
		maybe_pull_ahead(device);
P
Philipp Reisner 已提交
1325 1326
	}

1327

1328
	if (drbd_suspended(device)) {
1329 1330 1331 1332 1333
		/* push back and retry: */
		req->rq_state |= RQ_POSTPONED;
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1334
			put_ldev(device);
P
Philipp Reisner 已提交
1335
		}
1336
		goto out;
P
Philipp Reisner 已提交
1337 1338
	}

1339
	/* We fail READ early, if we can not serve it.
1340
	 * We must do this before req is registered on any lists.
1341
	 * Otherwise, drbd_req_complete() will queue failed READ for retry. */
1342 1343 1344
	if (rw != WRITE) {
		if (!do_remote_read(req) && !req->private_bio)
			goto nodata;
P
Philipp Reisner 已提交
1345 1346
	}

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

1350 1351
	/* no point in adding empty flushes to the transfer log,
	 * they are mapped to drbd barriers already. */
1352 1353
	if (likely(req->i.size!=0)) {
		if (rw == WRITE)
1354
			first_peer_device(device)->connection->current_tle_writes++;
1355

1356
		list_add_tail(&req->tl_requests, &first_peer_device(device)->connection->transfer_log);
P
Philipp Reisner 已提交
1357
	}
1358

1359
	if (rw == WRITE) {
1360 1361 1362 1363 1364 1365
		if (req->private_bio && !may_do_writes(device)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
			put_ldev(device);
			goto nodata;
		}
1366 1367 1368 1369 1370 1371 1372 1373
		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);
1374
		} else
1375
			no_remote = true;
P
Philipp Reisner 已提交
1376 1377
	}

1378 1379 1380 1381 1382
	if (no_remote == false) {
		struct drbd_plug_cb *plug = drbd_check_plugged(resource);
		if (plug)
			drbd_update_plug(plug, req);
	}
1383

1384 1385 1386 1387 1388
	/* 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]);
1389 1390
	if (req->private_bio) {
		/* needs to be marked within the same spinlock */
L
Lars Ellenberg 已提交
1391
		req->pre_submit_jif = jiffies;
1392 1393
		list_add_tail(&req->req_pending_local,
			&device->pending_completion[rw == WRITE]);
1394 1395
		_req_mod(req, TO_BE_SUBMITTED);
		/* but we need to give up the spinlock to submit */
1396
		submit_private_bio = true;
1397 1398 1399
	} else if (no_remote) {
nodata:
		if (__ratelimit(&drbd_ratelimit_state))
1400
			drbd_err(device, "IO ERROR: neither local nor remote data, sector %llu+%u\n",
1401
					(unsigned long long)req->i.sector, req->i.size >> 9);
1402
		/* A write may have been queued for send_oos, however.
1403
		 * So we can not simply free it, we must go through drbd_req_put_completion_ref() */
P
Philipp Reisner 已提交
1404 1405
	}

1406
out:
1407
	drbd_req_put_completion_ref(req, &m, 1);
1408 1409 1410 1411 1412 1413 1414 1415 1416 1417
	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);
1418
	if (m.bio)
1419
		complete_master_bio(device, &m);
1420 1421
}

1422
void __drbd_make_request(struct drbd_device *device, struct bio *bio)
1423
{
1424
	struct drbd_request *req = drbd_request_prepare(device, bio);
1425 1426
	if (IS_ERR_OR_NULL(req))
		return;
1427
	drbd_send_and_submit(device, req);
P
Philipp Reisner 已提交
1428 1429
}

1430
static void submit_fast_path(struct drbd_device *device, struct list_head *incoming)
1431
{
1432
	struct blk_plug plug;
1433
	struct drbd_request *req, *tmp;
1434 1435

	blk_start_plug(&plug);
1436 1437
	list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
		const int rw = bio_data_dir(req->master_bio);
1438

1439 1440
		if (rw == WRITE /* rw != WRITE should not even end up here! */
		&& req->private_bio && req->i.size
1441 1442
		&& !test_bit(AL_SUSPENDED, &device->flags)) {
			if (!drbd_al_begin_io_fastpath(device, &req->i))
1443 1444 1445
				continue;

			req->rq_state |= RQ_IN_ACT_LOG;
1446
			req->in_actlog_jif = jiffies;
1447
			atomic_dec(&device->ap_actlog_cnt);
1448 1449 1450
		}

		list_del_init(&req->tl_requests);
1451
		drbd_send_and_submit(device, req);
1452
	}
1453
	blk_finish_plug(&plug);
1454 1455
}

1456
static bool prepare_al_transaction_nonblock(struct drbd_device *device,
1457
					    struct list_head *incoming,
1458 1459
					    struct list_head *pending,
					    struct list_head *later)
1460
{
1461
	struct drbd_request *req;
1462 1463 1464
	int wake = 0;
	int err;

1465
	spin_lock_irq(&device->al_lock);
1466
	while ((req = list_first_entry_or_null(incoming, struct drbd_request, tl_requests))) {
1467
		err = drbd_al_begin_io_nonblock(device, &req->i);
1468 1469
		if (err == -ENOBUFS)
			break;
1470 1471 1472
		if (err == -EBUSY)
			wake = 1;
		if (err)
1473 1474 1475
			list_move_tail(&req->tl_requests, later);
		else
			list_move_tail(&req->tl_requests, pending);
1476
	}
1477
	spin_unlock_irq(&device->al_lock);
1478
	if (wake)
1479
		wake_up(&device->al_wait);
1480 1481
	return !list_empty(pending);
}
1482

1483
static void send_and_submit_pending(struct drbd_device *device, struct list_head *pending)
1484
{
1485
	struct blk_plug plug;
1486
	struct drbd_request *req;
1487

1488
	blk_start_plug(&plug);
1489
	while ((req = list_first_entry_or_null(pending, struct drbd_request, tl_requests))) {
1490 1491 1492 1493 1494 1495
		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);
	}
1496
	blk_finish_plug(&plug);
1497 1498
}

1499 1500
void do_submit(struct work_struct *ws)
{
1501
	struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
1502 1503 1504 1505 1506 1507 1508 1509
	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);
1510

1511
	for (;;) {
1512
		DEFINE_WAIT(wait);
1513

1514 1515
		/* move used-to-be-busy back to front of incoming */
		list_splice_init(&busy, &incoming);
1516
		submit_fast_path(device, &incoming);
1517 1518 1519
		if (list_empty(&incoming))
			break;

1520
		for (;;) {
1521 1522 1523 1524 1525 1526 1527 1528 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
			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)) {
1570 1571 1572 1573 1574 1575
			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 */
1576
			if (list_empty(&device->submit.writes))
1577 1578
				break;

1579
			spin_lock_irq(&device->resource->req_lock);
1580
			list_splice_tail_init(&device->submit.writes, &more_incoming);
1581
			spin_unlock_irq(&device->resource->req_lock);
1582 1583 1584 1585

			if (list_empty(&more_incoming))
				break;

1586
			made_progress = prepare_al_transaction_nonblock(device, &more_incoming, &more_pending, &busy);
1587 1588 1589 1590 1591 1592

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

1594 1595
		drbd_al_begin_io_commit(device);
		send_and_submit_pending(device, &pending);
1596 1597 1598
	}
}

1599
blk_qc_t drbd_submit_bio(struct bio *bio)
P
Philipp Reisner 已提交
1600
{
1601
	struct drbd_device *device = bio->bi_bdev->bd_disk->private_data;
P
Philipp Reisner 已提交
1602

1603
	blk_queue_split(&bio);
1604

P
Philipp Reisner 已提交
1605 1606 1607
	/*
	 * what we "blindly" assume:
	 */
1608
	D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
P
Philipp Reisner 已提交
1609

1610
	inc_ap_bio(device);
1611
	__drbd_make_request(device, bio);
1612
	return BLK_QC_T_NONE;
P
Philipp Reisner 已提交
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 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
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.
 */

1687
void request_timer_fn(struct timer_list *t)
1688
{
1689
	struct drbd_device *device = from_timer(device, t, request_timer);
1690
	struct drbd_connection *connection = first_peer_device(device)->connection;
1691
	struct drbd_request *req_read, *req_write, *req_peer; /* oldest request */
1692
	struct net_conf *nc;
1693
	unsigned long oldest_submit_jif;
1694
	unsigned long ent = 0, dt = 0, et, nt; /* effective timeout = ko_count * timeout */
1695
	unsigned long now;
1696
	unsigned int ko_count = 0, timeout = 0;
1697

1698
	rcu_read_lock();
1699
	nc = rcu_dereference(connection->net_conf);
1700 1701 1702 1703
	if (nc && device->state.conn >= C_WF_REPORT_PARAMS) {
		ko_count = nc->ko_count;
		timeout = nc->timeout;
	}
1704

1705 1706 1707
	if (get_ldev(device)) { /* implicit state.disk >= D_INCONSISTENT */
		dt = rcu_dereference(device->ldev->disk_conf)->disk_timeout * HZ / 10;
		put_ldev(device);
1708
	}
1709
	rcu_read_unlock();
1710

1711 1712

	ent = timeout * HZ/10 * ko_count;
1713 1714
	et = min_not_zero(dt, ent);

1715
	if (!et)
1716 1717
		return; /* Recurring timer stopped */

1718
	now = jiffies;
1719
	nt = now + et;
1720

1721
	spin_lock_irq(&device->resource->req_lock);
1722 1723
	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);
1724

1725
	/* maybe the oldest request waiting for the peer is in fact still
1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739
	 * 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;
1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754

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

1756
	if (ent && req_peer && net_timeout_reached(req_peer, connection, now, ent, ko_count, timeout))
1757
		_conn_request_state(connection, NS(conn, C_TIMEOUT), CS_VERBOSE | CS_HARD);
1758

1759 1760
	if (dt && oldest_submit_jif != now &&
		 time_after(now, oldest_submit_jif + dt) &&
1761
		!time_in_range(now, device->last_reattach_jif, device->last_reattach_jif + dt)) {
1762
		drbd_warn(device, "Local backing device failed to meet the disk-timeout\n");
1763
		__drbd_chk_io_error(device, DRBD_FORCE_DETACH);
1764
	}
1765 1766 1767

	/* Reschedule timer for the nearest not already expired timeout.
	 * Fallback to now + min(effective network timeout, disk timeout). */
1768 1769 1770 1771
	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;
1772
	nt = time_before(ent, dt) ? ent : dt;
1773
out:
1774
	spin_unlock_irq(&device->resource->req_lock);
1775
	mod_timer(&device->request_timer, nt);
1776
}