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

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

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


 */

#include <linux/module.h>

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


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

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

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

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

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

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

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

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

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

	drbd_remove_interval(root, i);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

189

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

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

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

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

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

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

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

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

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

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

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

301 302 303
	if (!put)
		return;

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

307
	drbd_req_complete(req, m);
308

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

436 437
	/* intent: get references */

438 439
	kref_get(&req->kref);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

	/* potentially complete and destroy */

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

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

524
static void drbd_report_io_error(struct drbd_device *device, struct drbd_request *req)
525 526 527
{
        char b[BDEVNAME_SIZE];

528
	if (!__ratelimit(&drbd_ratelimit_state))
529 530
		return;

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

538 539 540 541 542 543 544 545 546 547 548 549 550
/* 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 已提交
551 552 553 554 555 556 557 558 559 560 561 562
/* 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 ...
 */
563
int __req_mod(struct drbd_request *req, enum drbd_req_event what,
P
Philipp Reisner 已提交
564 565
		struct bio_and_error *m)
{
566 567 568
	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;
569
	struct net_conf *nc;
570
	int p, rv = 0;
571 572 573

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

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

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

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

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

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

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

616
	case ABORT_DISK_IO:
617
		mod_rq_state(req, m, 0, RQ_LOCAL_ABORTED);
618 619
		break;

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

626
	case READ_COMPLETED_WITH_ERROR:
627 628 629
		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);
630
		fallthrough;
631
	case READ_AHEAD_COMPLETED_WITH_ERROR:
632
		/* it is legal to fail read-ahead, no __drbd_chk_io_error in that case. */
633
		mod_rq_state(req, m, RQ_LOCAL_PENDING, RQ_LOCAL_COMPLETED);
634 635 636 637 638
		break;

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

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

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

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

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

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

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

		/* 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
685
		 * __drbd_make_request, because we now may set the bit
P
Philipp Reisner 已提交
686 687 688 689
		 * again ourselves to close the current epoch.
		 *
		 * Add req to the (now) current epoch (barrier). */

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

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

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

		break;

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

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

727
	case HANDED_OVER_TO_NETWORK:
P
Philipp Reisner 已提交
728
		/* assert something? */
729
		if (is_pending_write_protocol_A(req))
P
Philipp Reisner 已提交
730 731
			/* this is what is dangerous about protocol A:
			 * pretend it was successfully written on the peer. */
732 733 734 735 736 737 738
			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. */
739 740
		break;

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

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

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

767
	case WRITE_ACKED_BY_PEER_AND_SIS:
768
		req->rq_state |= RQ_NET_SIS;
769
		fallthrough;
770
	case WRITE_ACKED_BY_PEER:
771 772 773 774
		/* 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.
775
		 * Nothing more to do here.
P
Philipp Reisner 已提交
776
		 * We want to keep the tl in place for all protocols, to cater
777
		 * for volatile write-back caches on lower level devices. */
778
		goto ack_common;
779
	case RECV_ACKED_BY_PEER:
780
		D_ASSERT(device, req->rq_state & RQ_EXP_RECEIVE_ACK);
P
Philipp Reisner 已提交
781
		/* protocol B; pretends to be successfully written on peer.
782
		 * see also notes above in HANDED_OVER_TO_NETWORK about
P
Philipp Reisner 已提交
783
		 * protocol != C */
784
	ack_common:
785
		mod_rq_state(req, m, RQ_NET_PENDING, RQ_NET_OK);
P
Philipp Reisner 已提交
786 787
		break;

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

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

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

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

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

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

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

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

838
		/* If RQ_NET_OK is already set, we got a P_WRITE_ACK or P_RECV_ACK
839 840
		   before the connection loss (B&C only); only P_BARRIER_ACK
		   (or the local completion?) was missing when we suspended.
841 842
		   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. */
843
		if (!(req->rq_state & RQ_NET_OK)) {
844
			/* FIXME could this possibly be a req->dw.cb == w_send_out_of_sync?
845 846 847
			 * in that case we must not set RQ_NET_PENDING. */

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

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

P
Philipp Reisner 已提交
863
		if (req->rq_state & RQ_NET_PENDING) {
864
			/* barrier came in before all requests were acked.
P
Philipp Reisner 已提交
865 866
			 * this is bad, because if the connection is lost now,
			 * we won't be able to clean them up... */
867
			drbd_err(device, "FIXME (BARRIER_ACKED but pending)\n");
P
Philipp Reisner 已提交
868
		}
869 870 871 872 873 874
		/* 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 已提交
875 876
		break;

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

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

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

/* 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.
 */
898
static bool drbd_may_do_local_read(struct drbd_device *device, sector_t sector, int size)
P
Philipp Reisner 已提交
899 900 901 902
{
	unsigned long sbnr, ebnr;
	sector_t esector, nr_sectors;

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

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

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

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

	switch (rbm) {
	case RB_CONGESTED_REMOTE:
925
		return false;
926
	case RB_LEAST_PENDING:
927 928
		return atomic_read(&device->local_cnt) >
			atomic_read(&device->ap_pending_cnt) + atomic_read(&device->rs_pending_cnt);
929 930 931 932 933 934 935 936
	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;
937
	case RB_ROUND_ROBIN:
938
		return test_and_change_bit(READ_BALANCE_RR, &device->flags);
939 940 941 942 943 944 945 946
	case RB_PREFER_REMOTE:
		return true;
	case RB_PREFER_LOCAL:
	default:
		return false;
	}
}

947 948 949 950 951 952
/*
 * 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.
953 954
 *
 * Only way out: remove the conflicting intervals from the tree.
955
 */
956
static void complete_conflicting_writes(struct drbd_request *req)
957
{
958
	DEFINE_WAIT(wait);
959
	struct drbd_device *device = req->device;
960 961 962 963 964
	struct drbd_interval *i;
	sector_t sector = req->i.sector;
	int size = req->i.size;

	for (;;) {
965 966 967 968 969 970
		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. */
971
			break;
972 973 974 975
		}
		if (!i)	/* if any */
			break;

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

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

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

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

1005 1006
	/* 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
1007
	 * sure device->act_log is there.
1008
	 */
1009
	if (!get_ldev_if_state(device, D_UP_TO_DATE))
1010 1011
		return;

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

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

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

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

1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045
/* 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)
{
1046
	struct drbd_device *device = req->device;
1047 1048 1049
	enum drbd_read_balancing rbm;

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

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

1061 1062 1063
	if (req->private_bio == NULL)
		return true;

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

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

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

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

	return false;
}

1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103
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 */
}

1104 1105 1106 1107 1108
/* 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)
{
1109
	struct drbd_device *device = req->device;
1110 1111
	int remote, send_oos;

1112 1113
	remote = drbd_should_do_remote(device->state);
	send_oos = drbd_should_send_out_of_sync(device->state);
1114

1115 1116 1117 1118 1119 1120 1121 1122
	/* 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 已提交
1123
		D_ASSERT(device, req->master_bio->bi_opf & REQ_PREFLUSH);
1124
		if (remote)
1125 1126
			_req_mod(req, QUEUE_AS_DRBD_BARRIER);
		return remote;
1127 1128
	}

1129 1130 1131
	if (!remote && !send_oos)
		return 0;

1132
	D_ASSERT(device, !(remote && send_oos));
1133 1134 1135 1136

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

	return remote;
}

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

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

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

	/* 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. */
1171
	if (get_ldev(device)) {
1172
		if (drbd_insert_fault(device, type))
1173
			bio_io_error(bio);
1174 1175 1176 1177 1178
		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);
1179
		else
1180
			submit_bio_noacct(bio);
1181
		put_ldev(device);
1182
	} else
1183
		bio_io_error(bio);
1184 1185
}

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

1198 1199 1200 1201 1202
/* 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.
 */
1203
static struct drbd_request *
1204
drbd_request_prepare(struct drbd_device *device, struct bio *bio)
P
Philipp Reisner 已提交
1205
{
1206
	const int rw = bio_data_dir(bio);
P
Philipp Reisner 已提交
1207 1208 1209
	struct drbd_request *req;

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

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

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

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

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

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

1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264
/* 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;
}

1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276
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;

1277
	kfree(cb);
1278 1279 1280 1281 1282 1283 1284 1285 1286 1287
	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);
1288
	spin_unlock_irq(&resource->req_lock);
1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315
}

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

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

1324
	spin_lock_irq(&resource->req_lock);
1325
	if (rw == WRITE) {
1326 1327 1328 1329
		/* 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);
1330 1331 1332 1333
		/* 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. */
1334
		maybe_pull_ahead(device);
P
Philipp Reisner 已提交
1335 1336
	}

1337

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

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

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

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

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

1369
	if (rw == WRITE) {
1370 1371 1372 1373 1374 1375
		if (req->private_bio && !may_do_writes(device)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
			put_ldev(device);
			goto nodata;
		}
1376 1377 1378 1379 1380 1381 1382 1383
		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);
1384
		} else
1385
			no_remote = true;
P
Philipp Reisner 已提交
1386 1387
	}

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

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

1416
out:
1417
	drbd_req_put_completion_ref(req, &m, 1);
1418 1419 1420 1421 1422 1423 1424 1425 1426 1427
	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);
1428
	if (m.bio)
1429
		complete_master_bio(device, &m);
1430 1431
}

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

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

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

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

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

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

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

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

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

1498
	blk_start_plug(&plug);
1499
	while ((req = list_first_entry_or_null(pending, struct drbd_request, tl_requests))) {
1500 1501 1502 1503 1504 1505
		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);
	}
1506
	blk_finish_plug(&plug);
1507 1508
}

1509 1510
void do_submit(struct work_struct *ws)
{
1511
	struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
1512 1513 1514 1515 1516 1517 1518 1519
	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);
1520

1521
	for (;;) {
1522
		DEFINE_WAIT(wait);
1523

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

1530
		for (;;) {
1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579
			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)) {
1580 1581 1582 1583 1584 1585
			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 */
1586
			if (list_empty(&device->submit.writes))
1587 1588
				break;

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

			if (list_empty(&more_incoming))
				break;

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

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

1604 1605
		drbd_al_begin_io_commit(device);
		send_and_submit_pending(device, &pending);
1606 1607 1608
	}
}

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

1613
	blk_queue_split(&bio);
1614

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

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

1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695
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.
 */

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

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

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

1720 1721

	ent = timeout * HZ/10 * ko_count;
1722 1723
	et = min_not_zero(dt, ent);

1724
	if (!et)
1725 1726
		return; /* Recurring timer stopped */

1727
	now = jiffies;
1728
	nt = now + et;
1729

1730
	spin_lock_irq(&device->resource->req_lock);
1731 1732
	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);
1733

1734
	/* maybe the oldest request waiting for the peer is in fact still
1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748
	 * 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;
1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763

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

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

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

	/* Reschedule timer for the nearest not already expired timeout.
	 * Fallback to now + min(effective network timeout, disk timeout). */
1777 1778 1779 1780
	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;
1781
	nt = time_before(ent, dt) ? ent : dt;
1782
out:
1783
	spin_unlock_irq(&device->resource->req_lock);
1784
	mod_timer(&device->request_timer, nt);
1785
}