blob: fda099b0211e060bb8b94cdc1b20dc87ad214c84 [file] [log] [blame]
Mark D. Roth14c072c2016-08-26 08:31:34 -07001//
2// Copyright 2016, Google Inc.
3// All rights reserved.
4//
5// Redistribution and use in source and binary forms, with or without
6// modification, are permitted provided that the following conditions are
7// met:
8//
9// * Redistributions of source code must retain the above copyright
10// notice, this list of conditions and the following disclaimer.
11// * Redistributions in binary form must reproduce the above
12// copyright notice, this list of conditions and the following disclaimer
13// in the documentation and/or other materials provided with the
14// distribution.
15// * Neither the name of Google Inc. nor the names of its
16// contributors may be used to endorse or promote products derived from
17// this software without specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
20// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
21// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
22// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
23// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
25// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
26// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
27// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
28// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30//
31
32#include "src/core/lib/channel/deadline_filter.h"
33
34#include <stdbool.h>
35#include <string.h>
36
Mark D. Rothf28763c2016-09-14 15:18:40 -070037#include <grpc/support/alloc.h>
Mark D. Roth14c072c2016-08-26 08:31:34 -070038#include <grpc/support/log.h>
Mark D. Roth1bbe6cb2016-08-31 08:33:37 -070039#include <grpc/support/sync.h>
Mark D. Roth14c072c2016-08-26 08:31:34 -070040#include <grpc/support/time.h>
41
Mark D. Rothf28763c2016-09-14 15:18:40 -070042#include "src/core/lib/iomgr/exec_ctx.h"
Mark D. Roth14c072c2016-08-26 08:31:34 -070043#include "src/core/lib/iomgr/timer.h"
Craig Tillera59c16c2016-10-31 07:25:01 -070044#include "src/core/lib/slice/slice_internal.h"
Mark D. Roth14c072c2016-08-26 08:31:34 -070045
Mark D. Roth72f6da82016-09-02 13:42:38 -070046//
47// grpc_deadline_state
48//
49
50// Timer callback.
Mark D. Roth932b10c2016-09-09 08:44:30 -070051static void timer_callback(grpc_exec_ctx* exec_ctx, void* arg,
52 grpc_error* error) {
Mark D. Roth72f6da82016-09-02 13:42:38 -070053 grpc_call_element* elem = arg;
54 grpc_deadline_state* deadline_state = elem->call_data;
Mark D. Roth72f6da82016-09-02 13:42:38 -070055 if (error != GRPC_ERROR_CANCELLED) {
Craig Tiller7c70b6c2017-01-23 07:48:42 -080056 grpc_call_element_signal_error(
57 exec_ctx, elem,
ncteisen4b36a3d2017-03-13 19:08:06 -070058 grpc_error_set_int(
59 GRPC_ERROR_CREATE_FROM_STATIC_STRING("Deadline Exceeded"),
60 GRPC_ERROR_INT_GRPC_STATUS, GRPC_STATUS_DEADLINE_EXCEEDED));
Mark D. Roth72f6da82016-09-02 13:42:38 -070061 }
62 GRPC_CALL_STACK_UNREF(exec_ctx, deadline_state->call_stack, "deadline_timer");
63}
64
65// Starts the deadline timer.
Mark D. Roth932b10c2016-09-09 08:44:30 -070066static void start_timer_if_needed(grpc_exec_ctx* exec_ctx,
Mark D. Roth72f6da82016-09-02 13:42:38 -070067 grpc_call_element* elem,
68 gpr_timespec deadline) {
Craig Tiller4447c2c2017-02-16 12:35:13 -080069 deadline = gpr_convert_clock_type(deadline, GPR_CLOCK_MONOTONIC);
Craig Tiller0a77de82017-02-16 12:39:33 -080070 if (gpr_time_cmp(deadline, gpr_inf_future(GPR_CLOCK_MONOTONIC)) == 0) {
Craig Tiller4447c2c2017-02-16 12:35:13 -080071 return;
72 }
Mark D. Roth72f6da82016-09-02 13:42:38 -070073 grpc_deadline_state* deadline_state = elem->call_data;
Craig Tillerc84886b2017-02-16 13:10:38 -080074 grpc_deadline_timer_state cur_state;
75 grpc_closure* closure = NULL;
76retry:
77 cur_state =
78 (grpc_deadline_timer_state)gpr_atm_acq_load(&deadline_state->timer_state);
79 switch (cur_state) {
80 case GRPC_DEADLINE_STATE_PENDING:
Craig Tillerac942f42017-02-22 09:13:14 -080081 // Note: We do not start the timer if there is already a timer
Craig Tillerc84886b2017-02-16 13:10:38 -080082 return;
83 case GRPC_DEADLINE_STATE_FINISHED:
84 if (gpr_atm_rel_cas(&deadline_state->timer_state,
85 GRPC_DEADLINE_STATE_FINISHED,
86 GRPC_DEADLINE_STATE_PENDING)) {
Craig Tillerac942f42017-02-22 09:13:14 -080087 // If we've already created and destroyed a timer, we always create a
88 // new closure: we have no other guarantee that the inlined closure is
89 // not in use (it may hold a pending call to timer_callback)
Craig Tillerc84886b2017-02-16 13:10:38 -080090 closure = grpc_closure_create(timer_callback, elem,
91 grpc_schedule_on_exec_ctx);
92 } else {
93 goto retry;
Craig Tiller4447c2c2017-02-16 12:35:13 -080094 }
Craig Tillerc84886b2017-02-16 13:10:38 -080095 break;
96 case GRPC_DEADLINE_STATE_INITIAL:
97 if (gpr_atm_rel_cas(&deadline_state->timer_state,
98 GRPC_DEADLINE_STATE_INITIAL,
99 GRPC_DEADLINE_STATE_PENDING)) {
100 closure =
101 grpc_closure_init(&deadline_state->timer_callback, timer_callback,
102 elem, grpc_schedule_on_exec_ctx);
103 } else {
104 goto retry;
105 }
106 break;
Craig Tiller4447c2c2017-02-16 12:35:13 -0800107 }
Craig Tillerc84886b2017-02-16 13:10:38 -0800108 GPR_ASSERT(closure);
Craig Tillerac942f42017-02-22 09:13:14 -0800109 GRPC_CALL_STACK_REF(deadline_state->call_stack, "deadline_timer");
Craig Tillerc84886b2017-02-16 13:10:38 -0800110 grpc_timer_init(exec_ctx, &deadline_state->timer, deadline, closure,
111 gpr_now(GPR_CLOCK_MONOTONIC));
Mark D. Roth72f6da82016-09-02 13:42:38 -0700112}
113
114// Cancels the deadline timer.
Mark D. Rothe40dd292016-10-05 14:58:37 -0700115static void cancel_timer_if_needed(grpc_exec_ctx* exec_ctx,
116 grpc_deadline_state* deadline_state) {
Craig Tillerac942f42017-02-22 09:13:14 -0800117 if (gpr_atm_rel_cas(&deadline_state->timer_state, GRPC_DEADLINE_STATE_PENDING,
118 GRPC_DEADLINE_STATE_FINISHED)) {
Craig Tillerc84886b2017-02-16 13:10:38 -0800119 grpc_timer_cancel(exec_ctx, &deadline_state->timer);
Craig Tillerac942f42017-02-22 09:13:14 -0800120 } else {
121 // timer was either in STATE_INITAL (nothing to cancel)
122 // OR in STATE_FINISHED (again nothing to cancel)
Craig Tiller4447c2c2017-02-16 12:35:13 -0800123 }
Mark D. Roth72f6da82016-09-02 13:42:38 -0700124}
125
126// Callback run when the call is complete.
Mark D. Roth932b10c2016-09-09 08:44:30 -0700127static void on_complete(grpc_exec_ctx* exec_ctx, void* arg, grpc_error* error) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700128 grpc_deadline_state* deadline_state = arg;
Mark D. Roth72f6da82016-09-02 13:42:38 -0700129 cancel_timer_if_needed(exec_ctx, deadline_state);
130 // Invoke the next callback.
Craig Tillerc84886b2017-02-16 13:10:38 -0800131 grpc_closure_run(exec_ctx, deadline_state->next_on_complete,
132 GRPC_ERROR_REF(error));
Mark D. Roth72f6da82016-09-02 13:42:38 -0700133}
134
135// Inject our own on_complete callback into op.
136static void inject_on_complete_cb(grpc_deadline_state* deadline_state,
Craig Tillera0f3abd2017-03-31 15:42:16 -0700137 grpc_transport_stream_op_batch* op) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700138 deadline_state->next_on_complete = op->on_complete;
Craig Tiller91031da2016-12-28 15:44:25 -0800139 grpc_closure_init(&deadline_state->on_complete, on_complete, deadline_state,
140 grpc_schedule_on_exec_ctx);
Mark D. Roth72f6da82016-09-02 13:42:38 -0700141 op->on_complete = &deadline_state->on_complete;
142}
143
Mark D. Rothe40dd292016-10-05 14:58:37 -0700144void grpc_deadline_state_init(grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
145 grpc_call_stack* call_stack) {
146 grpc_deadline_state* deadline_state = elem->call_data;
Mark D. Rothe40dd292016-10-05 14:58:37 -0700147 deadline_state->call_stack = call_stack;
Mark D. Rothe40dd292016-10-05 14:58:37 -0700148}
149
150void grpc_deadline_state_destroy(grpc_exec_ctx* exec_ctx,
151 grpc_call_element* elem) {
152 grpc_deadline_state* deadline_state = elem->call_data;
153 cancel_timer_if_needed(exec_ctx, deadline_state);
Mark D. Rothe40dd292016-10-05 14:58:37 -0700154}
155
Mark D. Rothf28763c2016-09-14 15:18:40 -0700156// Callback and associated state for starting the timer after call stack
157// initialization has been completed.
158struct start_timer_after_init_state {
159 grpc_call_element* elem;
160 gpr_timespec deadline;
161 grpc_closure closure;
162};
163static void start_timer_after_init(grpc_exec_ctx* exec_ctx, void* arg,
164 grpc_error* error) {
165 struct start_timer_after_init_state* state = arg;
166 start_timer_if_needed(exec_ctx, state->elem, state->deadline);
167 gpr_free(state);
168}
169
Mark D. Rothe40dd292016-10-05 14:58:37 -0700170void grpc_deadline_state_start(grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
171 gpr_timespec deadline) {
Mark D. Rothf28763c2016-09-14 15:18:40 -0700172 // Deadline will always be infinite on servers, so the timer will only be
173 // set on clients with a finite deadline.
Mark D. Rothe40dd292016-10-05 14:58:37 -0700174 deadline = gpr_convert_clock_type(deadline, GPR_CLOCK_MONOTONIC);
Mark D. Rothf28763c2016-09-14 15:18:40 -0700175 if (gpr_time_cmp(deadline, gpr_inf_future(GPR_CLOCK_MONOTONIC)) != 0) {
176 // When the deadline passes, we indicate the failure by sending down
177 // an op with cancel_error set. However, we can't send down any ops
178 // until after the call stack is fully initialized. If we start the
179 // timer here, we have no guarantee that the timer won't pop before
180 // call stack initialization is finished. To avoid that problem, we
181 // create a closure to start the timer, and we schedule that closure
182 // to be run after call stack initialization is done.
183 struct start_timer_after_init_state* state = gpr_malloc(sizeof(*state));
184 state->elem = elem;
185 state->deadline = deadline;
Craig Tiller91031da2016-12-28 15:44:25 -0800186 grpc_closure_init(&state->closure, start_timer_after_init, state,
187 grpc_schedule_on_exec_ctx);
188 grpc_closure_sched(exec_ctx, &state->closure, GRPC_ERROR_NONE);
Mark D. Rothf28763c2016-09-14 15:18:40 -0700189 }
Mark D. Roth72f6da82016-09-02 13:42:38 -0700190}
191
Mark D. Rothe40dd292016-10-05 14:58:37 -0700192void grpc_deadline_state_reset(grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
193 gpr_timespec new_deadline) {
Mark D. Rothf28763c2016-09-14 15:18:40 -0700194 grpc_deadline_state* deadline_state = elem->call_data;
Craig Tiller4447c2c2017-02-16 12:35:13 -0800195 cancel_timer_if_needed(exec_ctx, deadline_state);
196 start_timer_if_needed(exec_ctx, elem, new_deadline);
Mark D. Roth72f6da82016-09-02 13:42:38 -0700197}
198
Craig Tillera0f3abd2017-03-31 15:42:16 -0700199void grpc_deadline_state_client_start_transport_stream_op_batch(
Mark D. Roth72f6da82016-09-02 13:42:38 -0700200 grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
Craig Tillera0f3abd2017-03-31 15:42:16 -0700201 grpc_transport_stream_op_batch* op) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700202 grpc_deadline_state* deadline_state = elem->call_data;
Craig Tiller759965c2017-03-02 08:50:18 -0800203 if (op->cancel_stream) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700204 cancel_timer_if_needed(exec_ctx, deadline_state);
205 } else {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700206 // Make sure we know when the call is complete, so that we can cancel
207 // the timer.
Craig Tiller759965c2017-03-02 08:50:18 -0800208 if (op->recv_trailing_metadata) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700209 inject_on_complete_cb(deadline_state, op);
210 }
211 }
212}
213
214//
215// filter code
216//
217
Mark D. Roth72f6da82016-09-02 13:42:38 -0700218// Constructor for channel_data. Used for both client and server filters.
Mark D. Roth5e2566e2016-11-18 10:53:13 -0800219static grpc_error* init_channel_elem(grpc_exec_ctx* exec_ctx,
220 grpc_channel_element* elem,
221 grpc_channel_element_args* args) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700222 GPR_ASSERT(!args->is_last);
Mark D. Roth5e2566e2016-11-18 10:53:13 -0800223 return GRPC_ERROR_NONE;
Mark D. Roth72f6da82016-09-02 13:42:38 -0700224}
225
226// Destructor for channel_data. Used for both client and server filters.
227static void destroy_channel_elem(grpc_exec_ctx* exec_ctx,
Mark D. Roth932b10c2016-09-09 08:44:30 -0700228 grpc_channel_element* elem) {}
Mark D. Roth72f6da82016-09-02 13:42:38 -0700229
Mark D. Roth14c072c2016-08-26 08:31:34 -0700230// Call data used for both client and server filter.
231typedef struct base_call_data {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700232 grpc_deadline_state deadline_state;
Mark D. Roth14c072c2016-08-26 08:31:34 -0700233} base_call_data;
234
235// Additional call data used only for the server filter.
236typedef struct server_call_data {
237 base_call_data base; // Must be first.
238 // The closure for receiving initial metadata.
239 grpc_closure recv_initial_metadata_ready;
240 // Received initial metadata batch.
241 grpc_metadata_batch* recv_initial_metadata;
242 // The original recv_initial_metadata_ready closure, which we chain to
243 // after our own closure is invoked.
244 grpc_closure* next_recv_initial_metadata_ready;
245} server_call_data;
246
Mark D. Roth14c072c2016-08-26 08:31:34 -0700247// Constructor for call_data. Used for both client and server filters.
Mark D. Roth932b10c2016-09-09 08:44:30 -0700248static grpc_error* init_call_elem(grpc_exec_ctx* exec_ctx,
Mark D. Roth14c072c2016-08-26 08:31:34 -0700249 grpc_call_element* elem,
Craig Tillerc52ba3a2017-02-15 22:57:43 -0800250 const grpc_call_element_args* args) {
Mark D. Rothe40dd292016-10-05 14:58:37 -0700251 grpc_deadline_state_init(exec_ctx, elem, args->call_stack);
252 grpc_deadline_state_start(exec_ctx, elem, args->deadline);
Mark D. Roth14c072c2016-08-26 08:31:34 -0700253 return GRPC_ERROR_NONE;
254}
255
256// Destructor for call_data. Used for both client and server filters.
257static void destroy_call_elem(grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
258 const grpc_call_final_info* final_info,
Craig Tillere7a17022017-03-13 10:20:38 -0700259 grpc_closure* ignored) {
Mark D. Rothf28763c2016-09-14 15:18:40 -0700260 grpc_deadline_state_destroy(exec_ctx, elem);
Mark D. Rothd2b45332016-08-26 11:18:00 -0700261}
262
Mark D. Roth14c072c2016-08-26 08:31:34 -0700263// Method for starting a call op for client filter.
Craig Tillere1b51da2017-03-31 15:44:33 -0700264static void client_start_transport_stream_op_batch(
265 grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
266 grpc_transport_stream_op_batch* op) {
267 grpc_deadline_state_client_start_transport_stream_op_batch(exec_ctx, elem,
268 op);
Mark D. Roth14c072c2016-08-26 08:31:34 -0700269 // Chain to next filter.
270 grpc_call_next_op(exec_ctx, elem, op);
271}
272
273// Callback for receiving initial metadata on the server.
Mark D. Roth932b10c2016-09-09 08:44:30 -0700274static void recv_initial_metadata_ready(grpc_exec_ctx* exec_ctx, void* arg,
275 grpc_error* error) {
Mark D. Roth14c072c2016-08-26 08:31:34 -0700276 grpc_call_element* elem = arg;
277 server_call_data* calld = elem->call_data;
278 // Get deadline from metadata and start the timer if needed.
Mark D. Roth932b10c2016-09-09 08:44:30 -0700279 start_timer_if_needed(exec_ctx, elem, calld->recv_initial_metadata->deadline);
Mark D. Roth14c072c2016-08-26 08:31:34 -0700280 // Invoke the next callback.
281 calld->next_recv_initial_metadata_ready->cb(
282 exec_ctx, calld->next_recv_initial_metadata_ready->cb_arg, error);
283}
284
285// Method for starting a call op for server filter.
Craig Tillere1b51da2017-03-31 15:44:33 -0700286static void server_start_transport_stream_op_batch(
287 grpc_exec_ctx* exec_ctx, grpc_call_element* elem,
288 grpc_transport_stream_op_batch* op) {
Mark D. Roth14c072c2016-08-26 08:31:34 -0700289 server_call_data* calld = elem->call_data;
Craig Tiller759965c2017-03-02 08:50:18 -0800290 if (op->cancel_stream) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700291 cancel_timer_if_needed(exec_ctx, &calld->base.deadline_state);
Mark D. Roth1bbe6cb2016-08-31 08:33:37 -0700292 } else {
293 // If we're receiving initial metadata, we need to get the deadline
294 // from the recv_initial_metadata_ready callback. So we inject our
295 // own callback into that hook.
Craig Tiller759965c2017-03-02 08:50:18 -0800296 if (op->recv_initial_metadata) {
297 calld->next_recv_initial_metadata_ready =
298 op->payload->recv_initial_metadata.recv_initial_metadata_ready;
299 calld->recv_initial_metadata =
300 op->payload->recv_initial_metadata.recv_initial_metadata;
Mark D. Roth1bbe6cb2016-08-31 08:33:37 -0700301 grpc_closure_init(&calld->recv_initial_metadata_ready,
Craig Tiller91031da2016-12-28 15:44:25 -0800302 recv_initial_metadata_ready, elem,
303 grpc_schedule_on_exec_ctx);
Craig Tiller759965c2017-03-02 08:50:18 -0800304 op->payload->recv_initial_metadata.recv_initial_metadata_ready =
305 &calld->recv_initial_metadata_ready;
Mark D. Roth1bbe6cb2016-08-31 08:33:37 -0700306 }
307 // Make sure we know when the call is complete, so that we can cancel
308 // the timer.
309 // Note that we trigger this on recv_trailing_metadata, even though
310 // the client never sends trailing metadata, because this is the
311 // hook that tells us when the call is complete on the server side.
Craig Tiller759965c2017-03-02 08:50:18 -0800312 if (op->recv_trailing_metadata) {
Mark D. Roth72f6da82016-09-02 13:42:38 -0700313 inject_on_complete_cb(&calld->base.deadline_state, op);
Mark D. Roth1bbe6cb2016-08-31 08:33:37 -0700314 }
Mark D. Rothd2b45332016-08-26 11:18:00 -0700315 }
Mark D. Roth14c072c2016-08-26 08:31:34 -0700316 // Chain to next filter.
317 grpc_call_next_op(exec_ctx, elem, op);
318}
319
320const grpc_channel_filter grpc_client_deadline_filter = {
Craig Tillera0f3abd2017-03-31 15:42:16 -0700321 client_start_transport_stream_op_batch,
Mark D. Roth14c072c2016-08-26 08:31:34 -0700322 grpc_channel_next_op,
323 sizeof(base_call_data),
324 init_call_elem,
325 grpc_call_stack_ignore_set_pollset_or_pollset_set,
326 destroy_call_elem,
Mark D. Rothb3405f0a2016-09-09 08:46:28 -0700327 0, // sizeof(channel_data)
Mark D. Roth14c072c2016-08-26 08:31:34 -0700328 init_channel_elem,
329 destroy_channel_elem,
330 grpc_call_next_get_peer,
Mark D. Rothb2d24882016-10-27 15:44:07 -0700331 grpc_channel_next_get_info,
Mark D. Roth14c072c2016-08-26 08:31:34 -0700332 "deadline",
333};
334
335const grpc_channel_filter grpc_server_deadline_filter = {
Craig Tillera0f3abd2017-03-31 15:42:16 -0700336 server_start_transport_stream_op_batch,
Mark D. Roth14c072c2016-08-26 08:31:34 -0700337 grpc_channel_next_op,
338 sizeof(server_call_data),
339 init_call_elem,
340 grpc_call_stack_ignore_set_pollset_or_pollset_set,
341 destroy_call_elem,
Mark D. Rothb3405f0a2016-09-09 08:46:28 -0700342 0, // sizeof(channel_data)
Mark D. Roth14c072c2016-08-26 08:31:34 -0700343 init_channel_elem,
344 destroy_channel_elem,
345 grpc_call_next_get_peer,
Mark D. Rothb2d24882016-10-27 15:44:07 -0700346 grpc_channel_next_get_info,
Mark D. Roth14c072c2016-08-26 08:31:34 -0700347 "deadline",
348};