Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2006 Oracle. All rights reserved. |
| 3 | * |
| 4 | * This software is available to you under a choice of one of two |
| 5 | * licenses. You may choose to be licensed under the terms of the GNU |
| 6 | * General Public License (GPL) Version 2, available from the file |
| 7 | * COPYING in the main directory of this source tree, or the |
| 8 | * OpenIB.org BSD license below: |
| 9 | * |
| 10 | * Redistribution and use in source and binary forms, with or |
| 11 | * without modification, are permitted provided that the following |
| 12 | * conditions are met: |
| 13 | * |
| 14 | * - Redistributions of source code must retain the above |
| 15 | * copyright notice, this list of conditions and the following |
| 16 | * disclaimer. |
| 17 | * |
| 18 | * - Redistributions in binary form must reproduce the above |
| 19 | * copyright notice, this list of conditions and the following |
| 20 | * disclaimer in the documentation and/or other materials |
| 21 | * provided with the distribution. |
| 22 | * |
| 23 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, |
| 24 | * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
| 25 | * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND |
| 26 | * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS |
| 27 | * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN |
| 28 | * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN |
| 29 | * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE |
| 30 | * SOFTWARE. |
| 31 | * |
| 32 | */ |
| 33 | #include <linux/kernel.h> |
| 34 | #include <linux/random.h> |
Paul Gortmaker | bc3b2d7 | 2011-07-15 11:47:34 -0400 | [diff] [blame] | 35 | #include <linux/export.h> |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 36 | |
| 37 | #include "rds.h" |
| 38 | |
| 39 | /* |
| 40 | * All of connection management is simplified by serializing it through |
| 41 | * work queues that execute in a connection managing thread. |
| 42 | * |
| 43 | * TCP wants to send acks through sendpage() in response to data_ready(), |
| 44 | * but it needs a process context to do so. |
| 45 | * |
| 46 | * The receive paths need to allocate but can't drop packets (!) so we have |
| 47 | * a thread around to block allocating if the receive fast path sees an |
| 48 | * allocation failure. |
| 49 | */ |
| 50 | |
| 51 | /* Grand Unified Theory of connection life cycle: |
| 52 | * At any point in time, the connection can be in one of these states: |
| 53 | * DOWN, CONNECTING, UP, DISCONNECTING, ERROR |
| 54 | * |
| 55 | * The following transitions are possible: |
| 56 | * ANY -> ERROR |
| 57 | * UP -> DISCONNECTING |
| 58 | * ERROR -> DISCONNECTING |
| 59 | * DISCONNECTING -> DOWN |
| 60 | * DOWN -> CONNECTING |
| 61 | * CONNECTING -> UP |
| 62 | * |
| 63 | * Transition to state DISCONNECTING/DOWN: |
| 64 | * - Inside the shutdown worker; synchronizes with xmit path |
Zach Brown | 0f4b1c7 | 2010-06-04 14:41:41 -0700 | [diff] [blame] | 65 | * through RDS_IN_XMIT, and with connection management callbacks |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 66 | * via c_cm_lock. |
| 67 | * |
| 68 | * For receive callbacks, we rely on the underlying transport |
| 69 | * (TCP, IB/RDMA) to provide the necessary synchronisation. |
| 70 | */ |
| 71 | struct workqueue_struct *rds_wq; |
Andy Grover | 616b757 | 2009-08-21 12:28:32 +0000 | [diff] [blame] | 72 | EXPORT_SYMBOL_GPL(rds_wq); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 73 | |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 74 | void rds_connect_path_complete(struct rds_conn_path *cp, int curr) |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 75 | { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 76 | if (!rds_conn_path_transition(cp, curr, RDS_CONN_UP)) { |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 77 | printk(KERN_WARNING "%s: Cannot transition to state UP, " |
| 78 | "current state is %d\n", |
| 79 | __func__, |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 80 | atomic_read(&cp->cp_state)); |
Sowmini Varadhan | aed20a5 | 2017-07-16 16:43:46 -0700 | [diff] [blame] | 81 | rds_conn_path_drop(cp, false); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 82 | return; |
| 83 | } |
| 84 | |
| 85 | rdsdebug("conn %p for %pI4 to %pI4 complete\n", |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 86 | cp->cp_conn, &cp->cp_conn->c_laddr, &cp->cp_conn->c_faddr); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 87 | |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 88 | cp->cp_reconnect_jiffies = 0; |
| 89 | set_bit(0, &cp->cp_conn->c_map_queued); |
Sowmini Varadhan | 3db6e0d | 2018-01-04 06:53:00 -0800 | [diff] [blame] | 90 | rcu_read_lock(); |
Sowmini Varadhan | ebeeb1a | 2018-02-03 04:26:51 -0800 | [diff] [blame] | 91 | if (!rds_destroy_pending(cp->cp_conn)) { |
Sowmini Varadhan | 3db6e0d | 2018-01-04 06:53:00 -0800 | [diff] [blame] | 92 | queue_delayed_work(rds_wq, &cp->cp_send_w, 0); |
| 93 | queue_delayed_work(rds_wq, &cp->cp_recv_w, 0); |
| 94 | } |
| 95 | rcu_read_unlock(); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 96 | } |
Sowmini Varadhan | 9c79440 | 2016-06-04 14:00:00 -0700 | [diff] [blame] | 97 | EXPORT_SYMBOL_GPL(rds_connect_path_complete); |
| 98 | |
| 99 | void rds_connect_complete(struct rds_connection *conn) |
| 100 | { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 101 | rds_connect_path_complete(&conn->c_path[0], RDS_CONN_CONNECTING); |
Sowmini Varadhan | 9c79440 | 2016-06-04 14:00:00 -0700 | [diff] [blame] | 102 | } |
Andy Grover | 616b757 | 2009-08-21 12:28:32 +0000 | [diff] [blame] | 103 | EXPORT_SYMBOL_GPL(rds_connect_complete); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 104 | |
| 105 | /* |
| 106 | * This random exponential backoff is relied on to eventually resolve racing |
| 107 | * connects. |
| 108 | * |
| 109 | * If connect attempts race then both parties drop both connections and come |
| 110 | * here to wait for a random amount of time before trying again. Eventually |
| 111 | * the backoff range will be so much greater than the time it takes to |
| 112 | * establish a connection that one of the pair will establish the connection |
| 113 | * before the other's random delay fires. |
| 114 | * |
| 115 | * Connection attempts that arrive while a connection is already established |
| 116 | * are also considered to be racing connects. This lets a connection from |
| 117 | * a rebooted machine replace an existing stale connection before the transport |
| 118 | * notices that the connection has failed. |
| 119 | * |
| 120 | * We should *always* start with a random backoff; otherwise a broken connection |
| 121 | * will always take several iterations to be re-established. |
| 122 | */ |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 123 | void rds_queue_reconnect(struct rds_conn_path *cp) |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 124 | { |
| 125 | unsigned long rand; |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 126 | struct rds_connection *conn = cp->cp_conn; |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 127 | |
| 128 | rdsdebug("conn %p for %pI4 to %pI4 reconnect jiffies %lu\n", |
| 129 | conn, &conn->c_laddr, &conn->c_faddr, |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 130 | cp->cp_reconnect_jiffies); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 131 | |
Sowmini Varadhan | 8315011 | 2016-06-30 16:11:17 -0700 | [diff] [blame] | 132 | /* let peer with smaller addr initiate reconnect, to avoid duels */ |
| 133 | if (conn->c_trans->t_type == RDS_TRANS_TCP && |
Sowmini Varadhan | 00354de | 2017-06-15 11:28:54 -0700 | [diff] [blame] | 134 | !IS_CANONICAL(conn->c_laddr, conn->c_faddr)) |
Sowmini Varadhan | 8315011 | 2016-06-30 16:11:17 -0700 | [diff] [blame] | 135 | return; |
| 136 | |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 137 | set_bit(RDS_RECONNECT_PENDING, &cp->cp_flags); |
| 138 | if (cp->cp_reconnect_jiffies == 0) { |
| 139 | cp->cp_reconnect_jiffies = rds_sysctl_reconnect_min_jiffies; |
Sowmini Varadhan | 3db6e0d | 2018-01-04 06:53:00 -0800 | [diff] [blame] | 140 | rcu_read_lock(); |
Sowmini Varadhan | ebeeb1a | 2018-02-03 04:26:51 -0800 | [diff] [blame] | 141 | if (!rds_destroy_pending(cp->cp_conn)) |
Sowmini Varadhan | 3db6e0d | 2018-01-04 06:53:00 -0800 | [diff] [blame] | 142 | queue_delayed_work(rds_wq, &cp->cp_conn_w, 0); |
| 143 | rcu_read_unlock(); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 144 | return; |
| 145 | } |
| 146 | |
| 147 | get_random_bytes(&rand, sizeof(rand)); |
| 148 | rdsdebug("%lu delay %lu ceil conn %p for %pI4 -> %pI4\n", |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 149 | rand % cp->cp_reconnect_jiffies, cp->cp_reconnect_jiffies, |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 150 | conn, &conn->c_laddr, &conn->c_faddr); |
Sowmini Varadhan | 3db6e0d | 2018-01-04 06:53:00 -0800 | [diff] [blame] | 151 | rcu_read_lock(); |
Sowmini Varadhan | ebeeb1a | 2018-02-03 04:26:51 -0800 | [diff] [blame] | 152 | if (!rds_destroy_pending(cp->cp_conn)) |
Sowmini Varadhan | 3db6e0d | 2018-01-04 06:53:00 -0800 | [diff] [blame] | 153 | queue_delayed_work(rds_wq, &cp->cp_conn_w, |
| 154 | rand % cp->cp_reconnect_jiffies); |
| 155 | rcu_read_unlock(); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 156 | |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 157 | cp->cp_reconnect_jiffies = min(cp->cp_reconnect_jiffies * 2, |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 158 | rds_sysctl_reconnect_max_jiffies); |
| 159 | } |
| 160 | |
| 161 | void rds_connect_worker(struct work_struct *work) |
| 162 | { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 163 | struct rds_conn_path *cp = container_of(work, |
| 164 | struct rds_conn_path, |
| 165 | cp_conn_w.work); |
| 166 | struct rds_connection *conn = cp->cp_conn; |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 167 | int ret; |
| 168 | |
Sowmini Varadhan | 00354de | 2017-06-15 11:28:54 -0700 | [diff] [blame] | 169 | if (cp->cp_index > 0 && |
| 170 | !IS_CANONICAL(cp->cp_conn->c_laddr, cp->cp_conn->c_faddr)) |
Sowmini Varadhan | 5916e2c | 2016-07-14 03:51:03 -0700 | [diff] [blame] | 171 | return; |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 172 | clear_bit(RDS_RECONNECT_PENDING, &cp->cp_flags); |
Sowmini Varadhan | b04e855 | 2016-06-30 16:11:16 -0700 | [diff] [blame] | 173 | ret = rds_conn_path_transition(cp, RDS_CONN_DOWN, RDS_CONN_CONNECTING); |
| 174 | if (ret) { |
| 175 | ret = conn->c_trans->conn_path_connect(cp); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 176 | rdsdebug("conn %p for %pI4 to %pI4 dispatched, ret %d\n", |
| 177 | conn, &conn->c_laddr, &conn->c_faddr, ret); |
| 178 | |
| 179 | if (ret) { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 180 | if (rds_conn_path_transition(cp, |
| 181 | RDS_CONN_CONNECTING, |
| 182 | RDS_CONN_DOWN)) |
| 183 | rds_queue_reconnect(cp); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 184 | else |
Joe Perches | 9c7cbcf | 2016-10-15 11:53:22 -0700 | [diff] [blame] | 185 | rds_conn_path_error(cp, "connect failed\n"); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 186 | } |
| 187 | } |
| 188 | } |
| 189 | |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 190 | void rds_send_worker(struct work_struct *work) |
| 191 | { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 192 | struct rds_conn_path *cp = container_of(work, |
| 193 | struct rds_conn_path, |
| 194 | cp_send_w.work); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 195 | int ret; |
| 196 | |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 197 | if (rds_conn_path_state(cp) == RDS_CONN_UP) { |
| 198 | clear_bit(RDS_LL_SEND_FULL, &cp->cp_flags); |
Sowmini Varadhan | 1f9ecd7 | 2016-06-13 09:44:34 -0700 | [diff] [blame] | 199 | ret = rds_send_xmit(cp); |
Santosh Shilimkar | db6526d | 2015-09-11 15:44:29 -0700 | [diff] [blame] | 200 | cond_resched(); |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 201 | rdsdebug("conn %p ret %d\n", cp->cp_conn, ret); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 202 | switch (ret) { |
| 203 | case -EAGAIN: |
| 204 | rds_stats_inc(s_send_immediate_retry); |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 205 | queue_delayed_work(rds_wq, &cp->cp_send_w, 0); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 206 | break; |
| 207 | case -ENOMEM: |
| 208 | rds_stats_inc(s_send_delayed_retry); |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 209 | queue_delayed_work(rds_wq, &cp->cp_send_w, 2); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 210 | default: |
| 211 | break; |
| 212 | } |
| 213 | } |
| 214 | } |
| 215 | |
| 216 | void rds_recv_worker(struct work_struct *work) |
| 217 | { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 218 | struct rds_conn_path *cp = container_of(work, |
| 219 | struct rds_conn_path, |
| 220 | cp_recv_w.work); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 221 | int ret; |
| 222 | |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 223 | if (rds_conn_path_state(cp) == RDS_CONN_UP) { |
Sowmini Varadhan | 2da43c4 | 2016-06-30 16:11:15 -0700 | [diff] [blame] | 224 | ret = cp->cp_conn->c_trans->recv_path(cp); |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 225 | rdsdebug("conn %p ret %d\n", cp->cp_conn, ret); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 226 | switch (ret) { |
| 227 | case -EAGAIN: |
| 228 | rds_stats_inc(s_recv_immediate_retry); |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 229 | queue_delayed_work(rds_wq, &cp->cp_recv_w, 0); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 230 | break; |
| 231 | case -ENOMEM: |
| 232 | rds_stats_inc(s_recv_delayed_retry); |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 233 | queue_delayed_work(rds_wq, &cp->cp_recv_w, 2); |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 234 | default: |
| 235 | break; |
| 236 | } |
| 237 | } |
| 238 | } |
| 239 | |
Andy Grover | 2dc3935 | 2010-06-11 13:49:13 -0700 | [diff] [blame] | 240 | void rds_shutdown_worker(struct work_struct *work) |
| 241 | { |
Sowmini Varadhan | 0cb4396 | 2016-06-13 09:44:26 -0700 | [diff] [blame] | 242 | struct rds_conn_path *cp = container_of(work, |
| 243 | struct rds_conn_path, |
| 244 | cp_down_w); |
Andy Grover | 2dc3935 | 2010-06-11 13:49:13 -0700 | [diff] [blame] | 245 | |
Sowmini Varadhan | d769ef8 | 2016-06-13 09:44:41 -0700 | [diff] [blame] | 246 | rds_conn_shutdown(cp); |
Andy Grover | 2dc3935 | 2010-06-11 13:49:13 -0700 | [diff] [blame] | 247 | } |
| 248 | |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 249 | void rds_threads_exit(void) |
| 250 | { |
| 251 | destroy_workqueue(rds_wq); |
| 252 | } |
| 253 | |
Zach Brown | ef87b7e | 2010-07-09 12:26:20 -0700 | [diff] [blame] | 254 | int rds_threads_init(void) |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 255 | { |
Zach Brown | 80c51be | 2010-07-06 15:08:48 -0700 | [diff] [blame] | 256 | rds_wq = create_singlethread_workqueue("krdsd"); |
Andy Grover | 8690bfa | 2010-01-12 11:56:44 -0800 | [diff] [blame] | 257 | if (!rds_wq) |
Andy Grover | 00e0f34 | 2009-02-24 15:30:23 +0000 | [diff] [blame] | 258 | return -ENOMEM; |
| 259 | |
| 260 | return 0; |
| 261 | } |