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

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

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

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

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

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

 */

#include <linux/module.h>

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


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

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

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

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

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

	drbd_req_make_private_bio(req, bio_src);
	req->rq_state    = bio_data_dir(bio_src) == WRITE ? RQ_WRITE : 0;
62
	req->device   = device;
63 64
	req->master_bio  = bio_src;
	req->epoch       = 0;
65

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

209

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

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

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

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

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

263 264 265 266 267 268 269 270
	/* Before we can signal completion to the upper layers,
	 * we may need to close the current transfer log epoch.
	 * We are within the request lock, so we can simply compare
	 * the request epoch number with the current transfer log
	 * epoch number.  If they match, increase the current_tle_nr,
	 * and reset the transfer log epoch write_cnt.
	 */
	if (rw == WRITE &&
271 272
	    req->epoch == atomic_read(&first_peer_device(device)->connection->current_tle_nr))
		start_new_tl_epoch(first_peer_device(device)->connection);
P
Philipp Reisner 已提交
273

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

277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292
	/* If READ failed,
	 * have it be pushed back to the retry work queue,
	 * so it will re-enter __drbd_make_request(),
	 * and be re-assigned to a suitable local or remote path,
	 * or failed if we do not have access to good data anymore.
	 *
	 * Unless it was failed early by __drbd_make_request(),
	 * because no path was available, in which case
	 * it was not even added to the transfer_log.
	 *
	 * READA may fail, and will not be retried.
	 *
	 * WRITE should have used all available paths already.
	 */
	if (!ok && rw == READ && !list_empty(&req->tl_requests))
		req->rq_state |= RQ_POSTPONED;
P
Philipp Reisner 已提交
293

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

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

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

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

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

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

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

333
	return 1;
P
Philipp Reisner 已提交
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 401 402 403 404 405 406 407 408 409 410 411 412 413
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;
}

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 423
	unsigned s = req->rq_state;
	int c_put = 0;
	int k_put = 0;
424

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

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

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

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

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

	if (!(s & RQ_LOCAL_PENDING) && (set & RQ_LOCAL_PENDING))
		atomic_inc(&req->completion_ref);

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

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

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

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

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

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

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

	if (!(s & RQ_LOCAL_ABORTED) && (set & RQ_LOCAL_ABORTED)) {
474
		D_ASSERT(device, req->rq_state & RQ_LOCAL_PENDING);
475 476 477 478
		/* local completion may still come in later,
		 * we need to keep the req object around. */
		kref_get(&req->kref);
		++c_put;
P
Philipp Reisner 已提交
479 480
	}

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

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

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

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

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

	/* potentially complete and destroy */

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

		break;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

980
	i = drbd_find_overlap(&device->write_requests, sector, size);
981 982
	if (!i)
		return;
983

984
	for (;;) {
985 986
		prepare_to_wait(&device->misc_wait, &wait, TASK_UNINTERRUPTIBLE);
		i = drbd_find_overlap(&device->write_requests, sector, size);
987
		if (!i)
988 989 990
			break;
		/* Indicate to wake up device->misc_wait on progress.  */
		i->waiting = true;
991
		spin_unlock_irq(&device->resource->req_lock);
992
		schedule();
993
		spin_lock_irq(&device->resource->req_lock);
994
	}
995
	finish_wait(&device->misc_wait, &wait);
P
Philipp Reisner 已提交
996 997
}

998
/* called within req_lock and rcu_read_lock() */
999
static void maybe_pull_ahead(struct drbd_device *device)
1000
{
1001
	struct drbd_connection *connection = first_peer_device(device)->connection;
1002 1003 1004 1005
	struct net_conf *nc;
	bool congested = false;
	enum drbd_on_congestion on_congestion;

1006
	rcu_read_lock();
1007
	nc = rcu_dereference(connection->net_conf);
1008
	on_congestion = nc ? nc->on_congestion : OC_BLOCK;
1009
	rcu_read_unlock();
1010
	if (on_congestion == OC_BLOCK ||
1011
	    connection->agreed_pro_version < 96)
1012
		return;
1013

1014 1015 1016
	if (on_congestion == OC_PULL_AHEAD && device->state.conn == C_AHEAD)
		return; /* nothing to do ... */

1017 1018
	/* 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
1019
	 * sure device->act_log is there.
1020
	 */
1021
	if (!get_ldev_if_state(device, D_UP_TO_DATE))
1022 1023
		return;

1024
	if (nc->cong_fill &&
1025
	    atomic_read(&device->ap_in_flight) >= nc->cong_fill) {
1026
		drbd_info(device, "Congestion-fill threshold reached\n");
1027
		congested = true;
1028 1029
	}

1030
	if (device->act_log->used >= nc->cong_extents) {
1031
		drbd_info(device, "Congestion-extents threshold reached\n");
1032
		congested = true;
1033 1034 1035
	}

	if (congested) {
1036
		/* start a new epoch for non-mirrored writes */
1037
		start_new_tl_epoch(first_peer_device(device)->connection);
1038

1039
		if (on_congestion == OC_PULL_AHEAD)
1040
			_drbd_set_state(_NS(device, conn, C_AHEAD), 0, NULL);
1041
		else  /*nc->on_congestion == OC_DISCONNECT */
1042
			_drbd_set_state(_NS(device, conn, C_DISCONNECTING), 0, NULL);
1043
	}
1044
	put_ldev(device);
1045 1046
}

1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057
/* 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)
{
1058
	struct drbd_device *device = req->device;
1059 1060 1061
	enum drbd_read_balancing rbm;

	if (req->private_bio) {
1062
		if (!drbd_may_do_local_read(device,
1063 1064 1065
					req->i.sector, req->i.size)) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1066
			put_ldev(device);
1067 1068 1069
		}
	}

1070
	if (device->state.pdsk != D_UP_TO_DATE)
1071 1072
		return false;

1073 1074 1075
	if (req->private_bio == NULL)
		return true;

1076 1077 1078 1079
	/* TODO: improve read balancing decisions, take into account drbd
	 * protocol, pending requests etc. */

	rcu_read_lock();
1080
	rbm = rcu_dereference(device->ldev->disk_conf)->read_balancing;
1081 1082 1083 1084 1085
	rcu_read_unlock();

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

1086
	if (remote_due_to_read_balancing(device, req->i.sector, rbm)) {
1087 1088 1089
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1090
			put_ldev(device);
1091 1092 1093 1094 1095 1096 1097
		}
		return true;
	}

	return false;
}

1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115
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 */
}

1116 1117 1118 1119 1120
/* 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)
{
1121
	struct drbd_device *device = req->device;
1122 1123
	int remote, send_oos;

1124 1125
	remote = drbd_should_do_remote(device->state);
	send_oos = drbd_should_send_out_of_sync(device->state);
1126

1127 1128 1129 1130 1131 1132 1133 1134
	/* 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. */
1135
		D_ASSERT(device, req->master_bio->bi_rw & REQ_FLUSH);
1136
		if (remote)
1137 1138
			_req_mod(req, QUEUE_AS_DRBD_BARRIER);
		return remote;
1139 1140
	}

1141 1142 1143
	if (!remote && !send_oos)
		return 0;

1144
	D_ASSERT(device, !(remote && send_oos));
1145 1146 1147 1148

	if (remote) {
		_req_mod(req, TO_BE_SENT);
		_req_mod(req, QUEUE_FOR_NET_WRITE);
1149
	} else if (drbd_set_out_of_sync(device, req->i.sector, req->i.size))
1150 1151 1152 1153 1154 1155 1156 1157
		_req_mod(req, QUEUE_FOR_SEND_OOS);

	return remote;
}

static void
drbd_submit_req_private_bio(struct drbd_request *req)
{
1158
	struct drbd_device *device = req->device;
1159 1160 1161
	struct bio *bio = req->private_bio;
	const int rw = bio_rw(bio);

1162
	bio->bi_bdev = device->ldev->backing_bdev;
1163 1164 1165 1166 1167 1168

	/* State may have changed since we grabbed our reference on the
	 * ->ldev member. Double check, and short-circuit to endio.
	 * In case the last activity log transaction failed to get on
	 * stable storage, and this is a WRITE, we may not even submit
	 * this bio. */
1169 1170
	if (get_ldev(device)) {
		if (drbd_insert_fault(device,
1171 1172 1173
				      rw == WRITE ? DRBD_FAULT_DT_WR
				    : rw == READ  ? DRBD_FAULT_DT_RD
				    :               DRBD_FAULT_DT_RA))
1174
			bio_io_error(bio);
1175 1176
		else
			generic_make_request(bio);
1177
		put_ldev(device);
1178
	} else
1179
		bio_io_error(bio);
1180 1181
}

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

1194 1195 1196 1197 1198
/* 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.
 */
1199
static struct drbd_request *
1200
drbd_request_prepare(struct drbd_device *device, struct bio *bio, unsigned long start_jif)
P
Philipp Reisner 已提交
1201
{
1202
	const int rw = bio_data_dir(bio);
P
Philipp Reisner 已提交
1203 1204 1205
	struct drbd_request *req;

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

1218
	if (!get_ldev(device)) {
1219
		bio_put(req->private_bio);
P
Philipp Reisner 已提交
1220 1221 1222
		req->private_bio = NULL;
	}

1223
	/* Update disk stats */
1224
	_drbd_start_io_acct(device, req);
1225

1226
	if (rw == WRITE && req->private_bio && req->i.size
1227 1228
	&& !test_bit(AL_SUSPENDED, &device->flags)) {
		if (!drbd_al_begin_io_fastpath(device, &req->i)) {
1229
			atomic_inc(&device->ap_actlog_cnt);
1230
			drbd_queue_write(device, req);
1231 1232
			return NULL;
		}
1233
		req->rq_state |= RQ_IN_ACT_LOG;
1234
		req->in_actlog_jif = jiffies;
1235
	}
P
Philipp Reisner 已提交
1236

1237 1238 1239
	return req;
}

1240
static void drbd_send_and_submit(struct drbd_device *device, struct drbd_request *req)
1241
{
1242
	struct drbd_resource *resource = device->resource;
1243 1244 1245
	const int rw = bio_rw(req->master_bio);
	struct bio_and_error m = { NULL, };
	bool no_remote = false;
1246
	bool submit_private_bio = false;
1247

1248
	spin_lock_irq(&resource->req_lock);
1249
	if (rw == WRITE) {
1250 1251 1252 1253
		/* 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);
1254 1255 1256 1257
		/* 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. */
1258
		maybe_pull_ahead(device);
P
Philipp Reisner 已提交
1259 1260
	}

1261

1262
	if (drbd_suspended(device)) {
1263 1264 1265 1266 1267
		/* push back and retry: */
		req->rq_state |= RQ_POSTPONED;
		if (req->private_bio) {
			bio_put(req->private_bio);
			req->private_bio = NULL;
1268
			put_ldev(device);
P
Philipp Reisner 已提交
1269
		}
1270
		goto out;
P
Philipp Reisner 已提交
1271 1272
	}

1273 1274
	/* We fail READ/READA early, if we can not serve it.
	 * We must do this before req is registered on any lists.
1275
	 * Otherwise, drbd_req_complete() will queue failed READ for retry. */
1276 1277 1278
	if (rw != WRITE) {
		if (!do_remote_read(req) && !req->private_bio)
			goto nodata;
P
Philipp Reisner 已提交
1279 1280
	}

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

1284 1285
	/* no point in adding empty flushes to the transfer log,
	 * they are mapped to drbd barriers already. */
1286 1287
	if (likely(req->i.size!=0)) {
		if (rw == WRITE)
1288
			first_peer_device(device)->connection->current_tle_writes++;
1289

1290
		list_add_tail(&req->tl_requests, &first_peer_device(device)->connection->transfer_log);
P
Philipp Reisner 已提交
1291
	}
1292

1293 1294 1295 1296 1297 1298 1299 1300 1301
	if (rw == WRITE) {
		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);
1302
		} else
1303
			no_remote = true;
P
Philipp Reisner 已提交
1304 1305
	}

1306 1307 1308 1309 1310
	/* 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]);
1311 1312
	if (req->private_bio) {
		/* needs to be marked within the same spinlock */
L
Lars Ellenberg 已提交
1313
		req->pre_submit_jif = jiffies;
1314 1315
		list_add_tail(&req->req_pending_local,
			&device->pending_completion[rw == WRITE]);
1316 1317
		_req_mod(req, TO_BE_SUBMITTED);
		/* but we need to give up the spinlock to submit */
1318
		submit_private_bio = true;
1319 1320 1321
	} else if (no_remote) {
nodata:
		if (__ratelimit(&drbd_ratelimit_state))
1322
			drbd_err(device, "IO ERROR: neither local nor remote data, sector %llu+%u\n",
1323
					(unsigned long long)req->i.sector, req->i.size >> 9);
1324
		/* A write may have been queued for send_oos, however.
1325
		 * So we can not simply free it, we must go through drbd_req_put_completion_ref() */
P
Philipp Reisner 已提交
1326 1327
	}

1328
out:
1329 1330
	if (drbd_req_put_completion_ref(req, &m, 1))
		kref_put(&req->kref, drbd_req_destroy);
1331 1332 1333 1334 1335 1336 1337 1338 1339 1340
	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);
1341
	if (m.bio)
1342
		complete_master_bio(device, &m);
1343 1344
}

1345
void __drbd_make_request(struct drbd_device *device, struct bio *bio, unsigned long start_jif)
1346
{
1347
	struct drbd_request *req = drbd_request_prepare(device, bio, start_jif);
1348 1349
	if (IS_ERR_OR_NULL(req))
		return;
1350
	drbd_send_and_submit(device, req);
P
Philipp Reisner 已提交
1351 1352
}

1353
static void submit_fast_path(struct drbd_device *device, struct list_head *incoming)
1354
{
1355 1356 1357
	struct drbd_request *req, *tmp;
	list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
		const int rw = bio_data_dir(req->master_bio);
1358

1359 1360
		if (rw == WRITE /* rw != WRITE should not even end up here! */
		&& req->private_bio && req->i.size
1361 1362
		&& !test_bit(AL_SUSPENDED, &device->flags)) {
			if (!drbd_al_begin_io_fastpath(device, &req->i))
1363 1364 1365
				continue;

			req->rq_state |= RQ_IN_ACT_LOG;
1366
			req->in_actlog_jif = jiffies;
1367
			atomic_dec(&device->ap_actlog_cnt);
1368 1369 1370
		}

		list_del_init(&req->tl_requests);
1371
		drbd_send_and_submit(device, req);
1372 1373 1374
	}
}

1375
static bool prepare_al_transaction_nonblock(struct drbd_device *device,
1376
					    struct list_head *incoming,
1377 1378
					    struct list_head *pending,
					    struct list_head *later)
1379 1380 1381 1382 1383
{
	struct drbd_request *req, *tmp;
	int wake = 0;
	int err;

1384
	spin_lock_irq(&device->al_lock);
1385
	list_for_each_entry_safe(req, tmp, incoming, tl_requests) {
1386
		err = drbd_al_begin_io_nonblock(device, &req->i);
1387 1388
		if (err == -ENOBUFS)
			break;
1389 1390 1391
		if (err == -EBUSY)
			wake = 1;
		if (err)
1392 1393 1394
			list_move_tail(&req->tl_requests, later);
		else
			list_move_tail(&req->tl_requests, pending);
1395
	}
1396
	spin_unlock_irq(&device->al_lock);
1397
	if (wake)
1398
		wake_up(&device->al_wait);
1399 1400
	return !list_empty(pending);
}
1401

1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414
void send_and_submit_pending(struct drbd_device *device, struct list_head *pending)
{
	struct drbd_request *req, *tmp;

	list_for_each_entry_safe(req, tmp, pending, tl_requests) {
		req->rq_state |= RQ_IN_ACT_LOG;
		req->in_actlog_jif = jiffies;
		atomic_dec(&device->ap_actlog_cnt);
		list_del_init(&req->tl_requests);
		drbd_send_and_submit(device, req);
	}
}

1415 1416
void do_submit(struct work_struct *ws)
{
1417
	struct drbd_device *device = container_of(ws, struct drbd_device, submit.worker);
1418 1419 1420 1421 1422 1423 1424 1425
	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);
1426

1427
	for (;;) {
1428
		DEFINE_WAIT(wait);
1429

1430 1431
		/* move used-to-be-busy back to front of incoming */
		list_splice_init(&busy, &incoming);
1432
		submit_fast_path(device, &incoming);
1433 1434 1435
		if (list_empty(&incoming))
			break;

1436
		for (;;) {
1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485
			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)) {
1486 1487 1488 1489 1490 1491
			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 */
1492
			if (list_empty(&device->submit.writes))
1493 1494
				break;

1495
			spin_lock_irq(&device->resource->req_lock);
1496
			list_splice_tail_init(&device->submit.writes, &more_incoming);
1497
			spin_unlock_irq(&device->resource->req_lock);
1498 1499 1500 1501

			if (list_empty(&more_incoming))
				break;

1502
			made_progress = prepare_al_transaction_nonblock(device, &more_incoming, &more_pending, &busy);
1503 1504 1505 1506 1507 1508

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

1510 1511
		drbd_al_begin_io_commit(device);
		send_and_submit_pending(device, &pending);
1512 1513 1514
	}
}

1515
blk_qc_t drbd_make_request(struct request_queue *q, struct bio *bio)
P
Philipp Reisner 已提交
1516
{
1517
	struct drbd_device *device = (struct drbd_device *) q->queuedata;
1518
	unsigned long start_jif;
P
Philipp Reisner 已提交
1519

1520 1521
	blk_queue_split(q, &bio, q->bio_split);

1522
	start_jif = jiffies;
1523

P
Philipp Reisner 已提交
1524 1525 1526
	/*
	 * what we "blindly" assume:
	 */
1527
	D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
P
Philipp Reisner 已提交
1528

1529
	inc_ap_bio(device);
1530
	__drbd_make_request(device, bio, start_jif);
1531
	return BLK_QC_T_NONE;
P
Philipp Reisner 已提交
1532 1533
}

1534 1535
void request_timer_fn(unsigned long data)
{
1536
	struct drbd_device *device = (struct drbd_device *) data;
1537
	struct drbd_connection *connection = first_peer_device(device)->connection;
1538
	struct drbd_request *req_read, *req_write, *req_peer; /* oldest request */
1539
	struct net_conf *nc;
1540
	unsigned long oldest_submit_jif;
1541
	unsigned long ent = 0, dt = 0, et, nt; /* effective timeout = ko_count * timeout */
1542
	unsigned long now;
1543

1544
	rcu_read_lock();
1545
	nc = rcu_dereference(connection->net_conf);
1546
	if (nc && device->state.conn >= C_WF_REPORT_PARAMS)
1547
		ent = nc->timeout * HZ/10 * nc->ko_count;
1548

1549 1550 1551
	if (get_ldev(device)) { /* implicit state.disk >= D_INCONSISTENT */
		dt = rcu_dereference(device->ldev->disk_conf)->disk_timeout * HZ / 10;
		put_ldev(device);
1552
	}
1553
	rcu_read_unlock();
1554

1555 1556
	et = min_not_zero(dt, ent);

1557
	if (!et)
1558 1559
		return; /* Recurring timer stopped */

1560
	now = jiffies;
1561
	nt = now + et;
1562

1563
	spin_lock_irq(&device->resource->req_lock);
1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585
	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);
	req_peer = connection->req_not_net_done;
	/* maybe the oldest request waiting for the peer is in fact still
	 * blocking in tcp sendmsg */
	if (!req_peer && connection->req_next && connection->req_next->pre_send_jif)
		req_peer = connection->req_next;

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

1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602
	/* The request is considered timed out, if
	 * - we have some effective timeout from the configuration,
	 *   with above 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.
	 */
1603
	if (ent && req_peer &&
1604
		 time_after(now, req_peer->pre_send_jif + ent) &&
1605
		!time_in_range(now, connection->last_reconnect_jif, connection->last_reconnect_jif + ent)) {
1606
		drbd_warn(device, "Remote failed to finish a request within ko-count * timeout\n");
1607
		_conn_request_state(connection, NS(conn, C_TIMEOUT), CS_VERBOSE | CS_HARD);
1608
	}
1609 1610
	if (dt && oldest_submit_jif != now &&
		 time_after(now, oldest_submit_jif + dt) &&
1611
		!time_in_range(now, device->last_reattach_jif, device->last_reattach_jif + dt)) {
1612
		drbd_warn(device, "Local backing device failed to meet the disk-timeout\n");
1613
		__drbd_chk_io_error(device, DRBD_FORCE_DETACH);
1614
	}
1615 1616 1617

	/* Reschedule timer for the nearest not already expired timeout.
	 * Fallback to now + min(effective network timeout, disk timeout). */
1618 1619 1620 1621
	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;
1622
	nt = time_before(ent, dt) ? ent : dt;
1623
out:
1624
	spin_unlock_irq(&device->resource->req_lock);
1625
	mod_timer(&device->request_timer, nt);
1626
}