1 //
2 //
3 // Copyright 2018 gRPC authors.
4 //
5 // Licensed under the Apache License, Version 2.0 (the "License");
6 // you may not use this file except in compliance with the License.
7 // You may obtain a copy of the License at
8 //
9 // http://www.apache.org/licenses/LICENSE-2.0
10 //
11 // Unless required by applicable law or agreed to in writing, software
12 // distributed under the License is distributed on an "AS IS" BASIS,
13 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 // See the License for the specific language governing permissions and
15 // limitations under the License.
16 //
17 //
18
19 #ifndef GRPCPP_IMPL_CALL_OP_SET_H
20 #define GRPCPP_IMPL_CALL_OP_SET_H
21
22 #include <cstring>
23 #include <map>
24 #include <memory>
25
26 #include <grpc/grpc.h>
27 #include <grpc/impl/compression_types.h>
28 #include <grpc/impl/grpc_types.h>
29 #include <grpc/slice.h>
30 #include <grpc/support/alloc.h>
31 #include <grpc/support/log.h>
32 #include <grpcpp/client_context.h>
33 #include <grpcpp/completion_queue.h>
34 #include <grpcpp/impl/call.h>
35 #include <grpcpp/impl/call_hook.h>
36 #include <grpcpp/impl/call_op_set_interface.h>
37 #include <grpcpp/impl/codegen/intercepted_channel.h>
38 #include <grpcpp/impl/completion_queue_tag.h>
39 #include <grpcpp/impl/interceptor_common.h>
40 #include <grpcpp/impl/serialization_traits.h>
41 #include <grpcpp/support/byte_buffer.h>
42 #include <grpcpp/support/config.h>
43 #include <grpcpp/support/slice.h>
44 #include <grpcpp/support/string_ref.h>
45
46 namespace grpc {
47
48 namespace internal {
49 class Call;
50 class CallHook;
51
52 // TODO(yangg) if the map is changed before we send, the pointers will be a
53 // mess. Make sure it does not happen.
FillMetadataArray(const std::multimap<std::string,std::string> & metadata,size_t * metadata_count,const std::string & optional_error_details)54 inline grpc_metadata* FillMetadataArray(
55 const std::multimap<std::string, std::string>& metadata,
56 size_t* metadata_count, const std::string& optional_error_details) {
57 *metadata_count = metadata.size() + (optional_error_details.empty() ? 0 : 1);
58 if (*metadata_count == 0) {
59 return nullptr;
60 }
61 grpc_metadata* metadata_array = static_cast<grpc_metadata*>(
62 gpr_malloc((*metadata_count) * sizeof(grpc_metadata)));
63 size_t i = 0;
64 for (auto iter = metadata.cbegin(); iter != metadata.cend(); ++iter, ++i) {
65 metadata_array[i].key = SliceReferencingString(iter->first);
66 metadata_array[i].value = SliceReferencingString(iter->second);
67 }
68 if (!optional_error_details.empty()) {
69 metadata_array[i].key = grpc_slice_from_static_buffer(
70 kBinaryErrorDetailsKey, sizeof(kBinaryErrorDetailsKey) - 1);
71 metadata_array[i].value = SliceReferencingString(optional_error_details);
72 }
73 return metadata_array;
74 }
75 } // namespace internal
76
77 /// Per-message write options.
78 class WriteOptions {
79 public:
WriteOptions()80 WriteOptions() : flags_(0), last_message_(false) {}
81
82 /// Clear all flags.
Clear()83 inline void Clear() { flags_ = 0; }
84
85 /// Returns raw flags bitset.
flags()86 inline uint32_t flags() const { return flags_; }
87
88 /// Sets flag for the disabling of compression for the next message write.
89 ///
90 /// \sa GRPC_WRITE_NO_COMPRESS
set_no_compression()91 inline WriteOptions& set_no_compression() {
92 SetBit(GRPC_WRITE_NO_COMPRESS);
93 return *this;
94 }
95
96 /// Clears flag for the disabling of compression for the next message write.
97 ///
98 /// \sa GRPC_WRITE_NO_COMPRESS
clear_no_compression()99 inline WriteOptions& clear_no_compression() {
100 ClearBit(GRPC_WRITE_NO_COMPRESS);
101 return *this;
102 }
103
104 /// Get value for the flag indicating whether compression for the next
105 /// message write is forcefully disabled.
106 ///
107 /// \sa GRPC_WRITE_NO_COMPRESS
get_no_compression()108 inline bool get_no_compression() const {
109 return GetBit(GRPC_WRITE_NO_COMPRESS);
110 }
111
112 /// Sets flag indicating that the write may be buffered and need not go out on
113 /// the wire immediately.
114 ///
115 /// \sa GRPC_WRITE_BUFFER_HINT
set_buffer_hint()116 inline WriteOptions& set_buffer_hint() {
117 SetBit(GRPC_WRITE_BUFFER_HINT);
118 return *this;
119 }
120
121 /// Clears flag indicating that the write may be buffered and need not go out
122 /// on the wire immediately.
123 ///
124 /// \sa GRPC_WRITE_BUFFER_HINT
clear_buffer_hint()125 inline WriteOptions& clear_buffer_hint() {
126 ClearBit(GRPC_WRITE_BUFFER_HINT);
127 return *this;
128 }
129
130 /// Get value for the flag indicating that the write may be buffered and need
131 /// not go out on the wire immediately.
132 ///
133 /// \sa GRPC_WRITE_BUFFER_HINT
get_buffer_hint()134 inline bool get_buffer_hint() const { return GetBit(GRPC_WRITE_BUFFER_HINT); }
135
136 /// corked bit: aliases set_buffer_hint currently, with the intent that
137 /// set_buffer_hint will be removed in the future
set_corked()138 inline WriteOptions& set_corked() {
139 SetBit(GRPC_WRITE_BUFFER_HINT);
140 return *this;
141 }
142
clear_corked()143 inline WriteOptions& clear_corked() {
144 ClearBit(GRPC_WRITE_BUFFER_HINT);
145 return *this;
146 }
147
is_corked()148 inline bool is_corked() const { return GetBit(GRPC_WRITE_BUFFER_HINT); }
149
150 /// last-message bit: indicates this is the last message in a stream
151 /// client-side: makes Write the equivalent of performing Write, WritesDone
152 /// in a single step
153 /// server-side: hold the Write until the service handler returns (sync api)
154 /// or until Finish is called (async api)
set_last_message()155 inline WriteOptions& set_last_message() {
156 last_message_ = true;
157 return *this;
158 }
159
160 /// Clears flag indicating that this is the last message in a stream,
161 /// disabling coalescing.
clear_last_message()162 inline WriteOptions& clear_last_message() {
163 last_message_ = false;
164 return *this;
165 }
166
167 /// Get value for the flag indicating that this is the last message, and
168 /// should be coalesced with trailing metadata.
169 ///
170 /// \sa GRPC_WRITE_LAST_MESSAGE
is_last_message()171 bool is_last_message() const { return last_message_; }
172
173 /// Guarantee that all bytes have been written to the socket before completing
174 /// this write (usually writes are completed when they pass flow control).
set_write_through()175 inline WriteOptions& set_write_through() {
176 SetBit(GRPC_WRITE_THROUGH);
177 return *this;
178 }
179
clear_write_through()180 inline WriteOptions& clear_write_through() {
181 ClearBit(GRPC_WRITE_THROUGH);
182 return *this;
183 }
184
is_write_through()185 inline bool is_write_through() const { return GetBit(GRPC_WRITE_THROUGH); }
186
187 private:
SetBit(const uint32_t mask)188 void SetBit(const uint32_t mask) { flags_ |= mask; }
189
ClearBit(const uint32_t mask)190 void ClearBit(const uint32_t mask) { flags_ &= ~mask; }
191
GetBit(const uint32_t mask)192 bool GetBit(const uint32_t mask) const { return (flags_ & mask) != 0; }
193
194 uint32_t flags_;
195 bool last_message_;
196 };
197
198 namespace internal {
199
200 /// Default argument for CallOpSet. The Unused parameter is unused by
201 /// the class, but can be used for generating multiple names for the
202 /// same thing.
203 template <int Unused>
204 class CallNoOp {
205 protected:
AddOp(grpc_op *,size_t *)206 void AddOp(grpc_op* /*ops*/, size_t* /*nops*/) {}
FinishOp(bool *)207 void FinishOp(bool* /*status*/) {}
SetInterceptionHookPoint(InterceptorBatchMethodsImpl *)208 void SetInterceptionHookPoint(
209 InterceptorBatchMethodsImpl* /*interceptor_methods*/) {}
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl *)210 void SetFinishInterceptionHookPoint(
211 InterceptorBatchMethodsImpl* /*interceptor_methods*/) {}
SetHijackingState(InterceptorBatchMethodsImpl *)212 void SetHijackingState(InterceptorBatchMethodsImpl* /*interceptor_methods*/) {
213 }
214 };
215
216 class CallOpSendInitialMetadata {
217 public:
CallOpSendInitialMetadata()218 CallOpSendInitialMetadata() : send_(false) {
219 maybe_compression_level_.is_set = false;
220 }
221
SendInitialMetadata(std::multimap<std::string,std::string> * metadata,uint32_t flags)222 void SendInitialMetadata(std::multimap<std::string, std::string>* metadata,
223 uint32_t flags) {
224 maybe_compression_level_.is_set = false;
225 send_ = true;
226 flags_ = flags;
227 metadata_map_ = metadata;
228 }
229
set_compression_level(grpc_compression_level level)230 void set_compression_level(grpc_compression_level level) {
231 maybe_compression_level_.is_set = true;
232 maybe_compression_level_.level = level;
233 }
234
235 protected:
AddOp(grpc_op * ops,size_t * nops)236 void AddOp(grpc_op* ops, size_t* nops) {
237 if (!send_ || hijacked_) return;
238 grpc_op* op = &ops[(*nops)++];
239 op->op = GRPC_OP_SEND_INITIAL_METADATA;
240 op->flags = flags_;
241 op->reserved = nullptr;
242 initial_metadata_ =
243 FillMetadataArray(*metadata_map_, &initial_metadata_count_, "");
244 op->data.send_initial_metadata.count = initial_metadata_count_;
245 op->data.send_initial_metadata.metadata = initial_metadata_;
246 op->data.send_initial_metadata.maybe_compression_level.is_set =
247 maybe_compression_level_.is_set;
248 if (maybe_compression_level_.is_set) {
249 op->data.send_initial_metadata.maybe_compression_level.level =
250 maybe_compression_level_.level;
251 }
252 }
FinishOp(bool *)253 void FinishOp(bool* /*status*/) {
254 if (!send_ || hijacked_) return;
255 gpr_free(initial_metadata_);
256 send_ = false;
257 }
258
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)259 void SetInterceptionHookPoint(
260 InterceptorBatchMethodsImpl* interceptor_methods) {
261 if (!send_) return;
262 interceptor_methods->AddInterceptionHookPoint(
263 experimental::InterceptionHookPoints::PRE_SEND_INITIAL_METADATA);
264 interceptor_methods->SetSendInitialMetadata(metadata_map_);
265 }
266
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl *)267 void SetFinishInterceptionHookPoint(
268 InterceptorBatchMethodsImpl* /*interceptor_methods*/) {}
269
SetHijackingState(InterceptorBatchMethodsImpl *)270 void SetHijackingState(InterceptorBatchMethodsImpl* /*interceptor_methods*/) {
271 hijacked_ = true;
272 }
273
274 bool hijacked_ = false;
275 bool send_;
276 uint32_t flags_;
277 size_t initial_metadata_count_;
278 std::multimap<std::string, std::string>* metadata_map_;
279 grpc_metadata* initial_metadata_;
280 struct {
281 bool is_set;
282 grpc_compression_level level;
283 } maybe_compression_level_;
284 };
285
286 class CallOpSendMessage {
287 public:
CallOpSendMessage()288 CallOpSendMessage() : send_buf_() {}
289
290 /// Send \a message using \a options for the write. The \a options are cleared
291 /// after use.
292 template <class M>
293 GRPC_MUST_USE_RESULT Status SendMessage(const M& message,
294 WriteOptions options);
295
296 template <class M>
297 GRPC_MUST_USE_RESULT Status SendMessage(const M& message);
298
299 /// Send \a message using \a options for the write. The \a options are cleared
300 /// after use. This form of SendMessage allows gRPC to reference \a message
301 /// beyond the lifetime of SendMessage.
302 template <class M>
303 GRPC_MUST_USE_RESULT Status SendMessagePtr(const M* message,
304 WriteOptions options);
305
306 /// This form of SendMessage allows gRPC to reference \a message beyond the
307 /// lifetime of SendMessage.
308 template <class M>
309 GRPC_MUST_USE_RESULT Status SendMessagePtr(const M* message);
310
311 protected:
AddOp(grpc_op * ops,size_t * nops)312 void AddOp(grpc_op* ops, size_t* nops) {
313 if (msg_ == nullptr && !send_buf_.Valid()) return;
314 if (hijacked_) {
315 serializer_ = nullptr;
316 return;
317 }
318 if (msg_ != nullptr) {
319 GPR_ASSERT(serializer_(msg_).ok());
320 }
321 serializer_ = nullptr;
322 grpc_op* op = &ops[(*nops)++];
323 op->op = GRPC_OP_SEND_MESSAGE;
324 op->flags = write_options_.flags();
325 op->reserved = nullptr;
326 op->data.send_message.send_message = send_buf_.c_buffer();
327 // Flags are per-message: clear them after use.
328 write_options_.Clear();
329 }
FinishOp(bool * status)330 void FinishOp(bool* status) {
331 if (msg_ == nullptr && !send_buf_.Valid()) return;
332 send_buf_.Clear();
333 if (hijacked_ && failed_send_) {
334 // Hijacking interceptor failed this Op
335 *status = false;
336 } else if (!*status) {
337 // This Op was passed down to core and the Op failed
338 failed_send_ = true;
339 }
340 }
341
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)342 void SetInterceptionHookPoint(
343 InterceptorBatchMethodsImpl* interceptor_methods) {
344 if (msg_ == nullptr && !send_buf_.Valid()) return;
345 interceptor_methods->AddInterceptionHookPoint(
346 experimental::InterceptionHookPoints::PRE_SEND_MESSAGE);
347 interceptor_methods->SetSendMessage(&send_buf_, &msg_, &failed_send_,
348 serializer_);
349 }
350
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)351 void SetFinishInterceptionHookPoint(
352 InterceptorBatchMethodsImpl* interceptor_methods) {
353 if (msg_ != nullptr || send_buf_.Valid()) {
354 interceptor_methods->AddInterceptionHookPoint(
355 experimental::InterceptionHookPoints::POST_SEND_MESSAGE);
356 }
357 send_buf_.Clear();
358 msg_ = nullptr;
359 // The contents of the SendMessage value that was previously set
360 // has had its references stolen by core's operations
361 interceptor_methods->SetSendMessage(nullptr, nullptr, &failed_send_,
362 nullptr);
363 }
364
SetHijackingState(InterceptorBatchMethodsImpl *)365 void SetHijackingState(InterceptorBatchMethodsImpl* /*interceptor_methods*/) {
366 hijacked_ = true;
367 }
368
369 private:
370 const void* msg_ = nullptr; // The original non-serialized message
371 bool hijacked_ = false;
372 bool failed_send_ = false;
373 ByteBuffer send_buf_;
374 WriteOptions write_options_;
375 std::function<Status(const void*)> serializer_;
376 };
377
378 template <class M>
SendMessage(const M & message,WriteOptions options)379 Status CallOpSendMessage::SendMessage(const M& message, WriteOptions options) {
380 write_options_ = options;
381 // Serialize immediately since we do not have access to the message pointer
382 bool own_buf;
383 Status result = SerializationTraits<M>::Serialize(
384 message, send_buf_.bbuf_ptr(), &own_buf);
385 if (!own_buf) {
386 send_buf_.Duplicate();
387 }
388 return result;
389 }
390
391 template <class M>
SendMessage(const M & message)392 Status CallOpSendMessage::SendMessage(const M& message) {
393 return SendMessage(message, WriteOptions());
394 }
395
396 template <class M>
SendMessagePtr(const M * message,WriteOptions options)397 Status CallOpSendMessage::SendMessagePtr(const M* message,
398 WriteOptions options) {
399 msg_ = message;
400 write_options_ = options;
401 // Store the serializer for later since we have access to the message
402 serializer_ = [this](const void* message) {
403 bool own_buf;
404 // TODO(vjpai): Remove the void below when possible
405 // The void in the template parameter below should not be needed
406 // (since it should be implicit) but is needed due to an observed
407 // difference in behavior between clang and gcc for certain internal users
408 Status result = SerializationTraits<M>::Serialize(
409 *static_cast<const M*>(message), send_buf_.bbuf_ptr(), &own_buf);
410 if (!own_buf) {
411 send_buf_.Duplicate();
412 }
413 return result;
414 };
415 return Status();
416 }
417
418 template <class M>
SendMessagePtr(const M * message)419 Status CallOpSendMessage::SendMessagePtr(const M* message) {
420 return SendMessagePtr(message, WriteOptions());
421 }
422
423 template <class R>
424 class CallOpRecvMessage {
425 public:
RecvMessage(R * message)426 void RecvMessage(R* message) { message_ = message; }
427
428 // Do not change status if no message is received.
AllowNoMessage()429 void AllowNoMessage() { allow_not_getting_message_ = true; }
430
431 bool got_message = false;
432
433 protected:
AddOp(grpc_op * ops,size_t * nops)434 void AddOp(grpc_op* ops, size_t* nops) {
435 if (message_ == nullptr || hijacked_) return;
436 grpc_op* op = &ops[(*nops)++];
437 op->op = GRPC_OP_RECV_MESSAGE;
438 op->flags = 0;
439 op->reserved = nullptr;
440 op->data.recv_message.recv_message = recv_buf_.c_buffer_ptr();
441 }
442
FinishOp(bool * status)443 void FinishOp(bool* status) {
444 if (message_ == nullptr) return;
445 if (recv_buf_.Valid()) {
446 if (*status) {
447 got_message = *status =
448 SerializationTraits<R>::Deserialize(recv_buf_.bbuf_ptr(), message_)
449 .ok();
450 recv_buf_.Release();
451 } else {
452 got_message = false;
453 recv_buf_.Clear();
454 }
455 } else if (hijacked_) {
456 if (hijacked_recv_message_failed_) {
457 FinishOpRecvMessageFailureHandler(status);
458 } else {
459 // The op was hijacked and it was successful. There is no further action
460 // to be performed since the message is already in its non-serialized
461 // form.
462 }
463 } else {
464 FinishOpRecvMessageFailureHandler(status);
465 }
466 }
467
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)468 void SetInterceptionHookPoint(
469 InterceptorBatchMethodsImpl* interceptor_methods) {
470 if (message_ == nullptr) return;
471 interceptor_methods->SetRecvMessage(message_,
472 &hijacked_recv_message_failed_);
473 }
474
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)475 void SetFinishInterceptionHookPoint(
476 InterceptorBatchMethodsImpl* interceptor_methods) {
477 if (message_ == nullptr) return;
478 interceptor_methods->AddInterceptionHookPoint(
479 experimental::InterceptionHookPoints::POST_RECV_MESSAGE);
480 if (!got_message) interceptor_methods->SetRecvMessage(nullptr, nullptr);
481 }
SetHijackingState(InterceptorBatchMethodsImpl * interceptor_methods)482 void SetHijackingState(InterceptorBatchMethodsImpl* interceptor_methods) {
483 hijacked_ = true;
484 if (message_ == nullptr) return;
485 interceptor_methods->AddInterceptionHookPoint(
486 experimental::InterceptionHookPoints::PRE_RECV_MESSAGE);
487 got_message = true;
488 }
489
490 private:
491 // Sets got_message and \a status for a failed recv message op
FinishOpRecvMessageFailureHandler(bool * status)492 void FinishOpRecvMessageFailureHandler(bool* status) {
493 got_message = false;
494 if (!allow_not_getting_message_) {
495 *status = false;
496 }
497 }
498
499 R* message_ = nullptr;
500 ByteBuffer recv_buf_;
501 bool allow_not_getting_message_ = false;
502 bool hijacked_ = false;
503 bool hijacked_recv_message_failed_ = false;
504 };
505
506 class DeserializeFunc {
507 public:
508 virtual Status Deserialize(ByteBuffer* buf) = 0;
~DeserializeFunc()509 virtual ~DeserializeFunc() {}
510 };
511
512 template <class R>
513 class DeserializeFuncType final : public DeserializeFunc {
514 public:
DeserializeFuncType(R * message)515 explicit DeserializeFuncType(R* message) : message_(message) {}
Deserialize(ByteBuffer * buf)516 Status Deserialize(ByteBuffer* buf) override {
517 return SerializationTraits<R>::Deserialize(buf->bbuf_ptr(), message_);
518 }
519
~DeserializeFuncType()520 ~DeserializeFuncType() override {}
521
522 private:
523 R* message_; // Not a managed pointer because management is external to this
524 };
525
526 class CallOpGenericRecvMessage {
527 public:
528 template <class R>
RecvMessage(R * message)529 void RecvMessage(R* message) {
530 // Use an explicit base class pointer to avoid resolution error in the
531 // following unique_ptr::reset for some old implementations.
532 DeserializeFunc* func = new DeserializeFuncType<R>(message);
533 deserialize_.reset(func);
534 message_ = message;
535 }
536
537 // Do not change status if no message is received.
AllowNoMessage()538 void AllowNoMessage() { allow_not_getting_message_ = true; }
539
540 bool got_message = false;
541
542 protected:
AddOp(grpc_op * ops,size_t * nops)543 void AddOp(grpc_op* ops, size_t* nops) {
544 if (!deserialize_ || hijacked_) return;
545 grpc_op* op = &ops[(*nops)++];
546 op->op = GRPC_OP_RECV_MESSAGE;
547 op->flags = 0;
548 op->reserved = nullptr;
549 op->data.recv_message.recv_message = recv_buf_.c_buffer_ptr();
550 }
551
FinishOp(bool * status)552 void FinishOp(bool* status) {
553 if (!deserialize_) return;
554 if (recv_buf_.Valid()) {
555 if (*status) {
556 got_message = true;
557 *status = deserialize_->Deserialize(&recv_buf_).ok();
558 recv_buf_.Release();
559 } else {
560 got_message = false;
561 recv_buf_.Clear();
562 }
563 } else if (hijacked_) {
564 if (hijacked_recv_message_failed_) {
565 FinishOpRecvMessageFailureHandler(status);
566 } else {
567 // The op was hijacked and it was successful. There is no further action
568 // to be performed since the message is already in its non-serialized
569 // form.
570 }
571 } else {
572 got_message = false;
573 if (!allow_not_getting_message_) {
574 *status = false;
575 }
576 }
577 }
578
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)579 void SetInterceptionHookPoint(
580 InterceptorBatchMethodsImpl* interceptor_methods) {
581 if (!deserialize_) return;
582 interceptor_methods->SetRecvMessage(message_,
583 &hijacked_recv_message_failed_);
584 }
585
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)586 void SetFinishInterceptionHookPoint(
587 InterceptorBatchMethodsImpl* interceptor_methods) {
588 if (!deserialize_) return;
589 interceptor_methods->AddInterceptionHookPoint(
590 experimental::InterceptionHookPoints::POST_RECV_MESSAGE);
591 if (!got_message) interceptor_methods->SetRecvMessage(nullptr, nullptr);
592 deserialize_.reset();
593 }
SetHijackingState(InterceptorBatchMethodsImpl * interceptor_methods)594 void SetHijackingState(InterceptorBatchMethodsImpl* interceptor_methods) {
595 hijacked_ = true;
596 if (!deserialize_) return;
597 interceptor_methods->AddInterceptionHookPoint(
598 experimental::InterceptionHookPoints::PRE_RECV_MESSAGE);
599 got_message = true;
600 }
601
602 private:
603 // Sets got_message and \a status for a failed recv message op
FinishOpRecvMessageFailureHandler(bool * status)604 void FinishOpRecvMessageFailureHandler(bool* status) {
605 got_message = false;
606 if (!allow_not_getting_message_) {
607 *status = false;
608 }
609 }
610
611 void* message_ = nullptr;
612 std::unique_ptr<DeserializeFunc> deserialize_;
613 ByteBuffer recv_buf_;
614 bool allow_not_getting_message_ = false;
615 bool hijacked_ = false;
616 bool hijacked_recv_message_failed_ = false;
617 };
618
619 class CallOpClientSendClose {
620 public:
CallOpClientSendClose()621 CallOpClientSendClose() : send_(false) {}
622
ClientSendClose()623 void ClientSendClose() { send_ = true; }
624
625 protected:
AddOp(grpc_op * ops,size_t * nops)626 void AddOp(grpc_op* ops, size_t* nops) {
627 if (!send_ || hijacked_) return;
628 grpc_op* op = &ops[(*nops)++];
629 op->op = GRPC_OP_SEND_CLOSE_FROM_CLIENT;
630 op->flags = 0;
631 op->reserved = nullptr;
632 }
FinishOp(bool *)633 void FinishOp(bool* /*status*/) { send_ = false; }
634
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)635 void SetInterceptionHookPoint(
636 InterceptorBatchMethodsImpl* interceptor_methods) {
637 if (!send_) return;
638 interceptor_methods->AddInterceptionHookPoint(
639 experimental::InterceptionHookPoints::PRE_SEND_CLOSE);
640 }
641
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl *)642 void SetFinishInterceptionHookPoint(
643 InterceptorBatchMethodsImpl* /*interceptor_methods*/) {}
644
SetHijackingState(InterceptorBatchMethodsImpl *)645 void SetHijackingState(InterceptorBatchMethodsImpl* /*interceptor_methods*/) {
646 hijacked_ = true;
647 }
648
649 private:
650 bool hijacked_ = false;
651 bool send_;
652 };
653
654 class CallOpServerSendStatus {
655 public:
CallOpServerSendStatus()656 CallOpServerSendStatus() : send_status_available_(false) {}
657
ServerSendStatus(std::multimap<std::string,std::string> * trailing_metadata,const Status & status)658 void ServerSendStatus(
659 std::multimap<std::string, std::string>* trailing_metadata,
660 const Status& status) {
661 send_error_details_ = status.error_details();
662 metadata_map_ = trailing_metadata;
663 send_status_available_ = true;
664 send_status_code_ = static_cast<grpc_status_code>(status.error_code());
665 send_error_message_ = status.error_message();
666 }
667
668 protected:
AddOp(grpc_op * ops,size_t * nops)669 void AddOp(grpc_op* ops, size_t* nops) {
670 if (!send_status_available_ || hijacked_) return;
671 trailing_metadata_ = FillMetadataArray(
672 *metadata_map_, &trailing_metadata_count_, send_error_details_);
673 grpc_op* op = &ops[(*nops)++];
674 op->op = GRPC_OP_SEND_STATUS_FROM_SERVER;
675 op->data.send_status_from_server.trailing_metadata_count =
676 trailing_metadata_count_;
677 op->data.send_status_from_server.trailing_metadata = trailing_metadata_;
678 op->data.send_status_from_server.status = send_status_code_;
679 error_message_slice_ = SliceReferencingString(send_error_message_);
680 op->data.send_status_from_server.status_details =
681 send_error_message_.empty() ? nullptr : &error_message_slice_;
682 op->flags = 0;
683 op->reserved = nullptr;
684 }
685
FinishOp(bool *)686 void FinishOp(bool* /*status*/) {
687 if (!send_status_available_ || hijacked_) return;
688 gpr_free(trailing_metadata_);
689 send_status_available_ = false;
690 }
691
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)692 void SetInterceptionHookPoint(
693 InterceptorBatchMethodsImpl* interceptor_methods) {
694 if (!send_status_available_) return;
695 interceptor_methods->AddInterceptionHookPoint(
696 experimental::InterceptionHookPoints::PRE_SEND_STATUS);
697 interceptor_methods->SetSendTrailingMetadata(metadata_map_);
698 interceptor_methods->SetSendStatus(&send_status_code_, &send_error_details_,
699 &send_error_message_);
700 }
701
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl *)702 void SetFinishInterceptionHookPoint(
703 InterceptorBatchMethodsImpl* /*interceptor_methods*/) {}
704
SetHijackingState(InterceptorBatchMethodsImpl *)705 void SetHijackingState(InterceptorBatchMethodsImpl* /*interceptor_methods*/) {
706 hijacked_ = true;
707 }
708
709 private:
710 bool hijacked_ = false;
711 bool send_status_available_;
712 grpc_status_code send_status_code_;
713 std::string send_error_details_;
714 std::string send_error_message_;
715 size_t trailing_metadata_count_;
716 std::multimap<std::string, std::string>* metadata_map_;
717 grpc_metadata* trailing_metadata_;
718 grpc_slice error_message_slice_;
719 };
720
721 class CallOpRecvInitialMetadata {
722 public:
CallOpRecvInitialMetadata()723 CallOpRecvInitialMetadata() : metadata_map_(nullptr) {}
724
RecvInitialMetadata(grpc::ClientContext * context)725 void RecvInitialMetadata(grpc::ClientContext* context) {
726 context->initial_metadata_received_ = true;
727 metadata_map_ = &context->recv_initial_metadata_;
728 }
729
730 protected:
AddOp(grpc_op * ops,size_t * nops)731 void AddOp(grpc_op* ops, size_t* nops) {
732 if (metadata_map_ == nullptr || hijacked_) return;
733 grpc_op* op = &ops[(*nops)++];
734 op->op = GRPC_OP_RECV_INITIAL_METADATA;
735 op->data.recv_initial_metadata.recv_initial_metadata = metadata_map_->arr();
736 op->flags = 0;
737 op->reserved = nullptr;
738 }
739
FinishOp(bool *)740 void FinishOp(bool* /*status*/) {
741 if (metadata_map_ == nullptr || hijacked_) return;
742 }
743
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)744 void SetInterceptionHookPoint(
745 InterceptorBatchMethodsImpl* interceptor_methods) {
746 interceptor_methods->SetRecvInitialMetadata(metadata_map_);
747 }
748
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)749 void SetFinishInterceptionHookPoint(
750 InterceptorBatchMethodsImpl* interceptor_methods) {
751 if (metadata_map_ == nullptr) return;
752 interceptor_methods->AddInterceptionHookPoint(
753 experimental::InterceptionHookPoints::POST_RECV_INITIAL_METADATA);
754 metadata_map_ = nullptr;
755 }
756
SetHijackingState(InterceptorBatchMethodsImpl * interceptor_methods)757 void SetHijackingState(InterceptorBatchMethodsImpl* interceptor_methods) {
758 hijacked_ = true;
759 if (metadata_map_ == nullptr) return;
760 interceptor_methods->AddInterceptionHookPoint(
761 experimental::InterceptionHookPoints::PRE_RECV_INITIAL_METADATA);
762 }
763
764 private:
765 bool hijacked_ = false;
766 MetadataMap* metadata_map_;
767 };
768
769 class CallOpClientRecvStatus {
770 public:
CallOpClientRecvStatus()771 CallOpClientRecvStatus()
772 : recv_status_(nullptr), debug_error_string_(nullptr) {}
773
ClientRecvStatus(grpc::ClientContext * context,Status * status)774 void ClientRecvStatus(grpc::ClientContext* context, Status* status) {
775 client_context_ = context;
776 metadata_map_ = &client_context_->trailing_metadata_;
777 recv_status_ = status;
778 error_message_ = grpc_empty_slice();
779 }
780
781 protected:
AddOp(grpc_op * ops,size_t * nops)782 void AddOp(grpc_op* ops, size_t* nops) {
783 if (recv_status_ == nullptr || hijacked_) return;
784 grpc_op* op = &ops[(*nops)++];
785 op->op = GRPC_OP_RECV_STATUS_ON_CLIENT;
786 op->data.recv_status_on_client.trailing_metadata = metadata_map_->arr();
787 op->data.recv_status_on_client.status = &status_code_;
788 op->data.recv_status_on_client.status_details = &error_message_;
789 op->data.recv_status_on_client.error_string = &debug_error_string_;
790 op->flags = 0;
791 op->reserved = nullptr;
792 }
793
FinishOp(bool *)794 void FinishOp(bool* /*status*/) {
795 if (recv_status_ == nullptr || hijacked_) return;
796 if (static_cast<StatusCode>(status_code_) == StatusCode::OK) {
797 *recv_status_ = Status();
798 GPR_DEBUG_ASSERT(debug_error_string_ == nullptr);
799 } else {
800 *recv_status_ =
801 Status(static_cast<StatusCode>(status_code_),
802 GRPC_SLICE_IS_EMPTY(error_message_)
803 ? std::string()
804 : std::string(GRPC_SLICE_START_PTR(error_message_),
805 GRPC_SLICE_END_PTR(error_message_)),
806 metadata_map_->GetBinaryErrorDetails());
807 if (debug_error_string_ != nullptr) {
808 client_context_->set_debug_error_string(debug_error_string_);
809 gpr_free(const_cast<char*>(debug_error_string_));
810 }
811 }
812 // TODO(soheil): Find callers that set debug string even for status OK,
813 // and fix them.
814 grpc_slice_unref(error_message_);
815 }
816
SetInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)817 void SetInterceptionHookPoint(
818 InterceptorBatchMethodsImpl* interceptor_methods) {
819 interceptor_methods->SetRecvStatus(recv_status_);
820 interceptor_methods->SetRecvTrailingMetadata(metadata_map_);
821 }
822
SetFinishInterceptionHookPoint(InterceptorBatchMethodsImpl * interceptor_methods)823 void SetFinishInterceptionHookPoint(
824 InterceptorBatchMethodsImpl* interceptor_methods) {
825 if (recv_status_ == nullptr) return;
826 interceptor_methods->AddInterceptionHookPoint(
827 experimental::InterceptionHookPoints::POST_RECV_STATUS);
828 recv_status_ = nullptr;
829 }
830
SetHijackingState(InterceptorBatchMethodsImpl * interceptor_methods)831 void SetHijackingState(InterceptorBatchMethodsImpl* interceptor_methods) {
832 hijacked_ = true;
833 if (recv_status_ == nullptr) return;
834 interceptor_methods->AddInterceptionHookPoint(
835 experimental::InterceptionHookPoints::PRE_RECV_STATUS);
836 }
837
838 private:
839 bool hijacked_ = false;
840 grpc::ClientContext* client_context_;
841 MetadataMap* metadata_map_;
842 Status* recv_status_;
843 const char* debug_error_string_;
844 grpc_status_code status_code_;
845 grpc_slice error_message_;
846 };
847
848 template <class Op1 = CallNoOp<1>, class Op2 = CallNoOp<2>,
849 class Op3 = CallNoOp<3>, class Op4 = CallNoOp<4>,
850 class Op5 = CallNoOp<5>, class Op6 = CallNoOp<6>>
851 class CallOpSet;
852
853 /// Primary implementation of CallOpSetInterface.
854 /// Since we cannot use variadic templates, we declare slots up to
855 /// the maximum count of ops we'll need in a set. We leverage the
856 /// empty base class optimization to slim this class (especially
857 /// when there are many unused slots used). To avoid duplicate base classes,
858 /// the template parameter for CallNoOp is varied by argument position.
859 template <class Op1, class Op2, class Op3, class Op4, class Op5, class Op6>
860 class CallOpSet : public CallOpSetInterface,
861 public Op1,
862 public Op2,
863 public Op3,
864 public Op4,
865 public Op5,
866 public Op6 {
867 public:
CallOpSet()868 CallOpSet() : core_cq_tag_(this), return_tag_(this) {}
869 // The copy constructor and assignment operator reset the value of
870 // core_cq_tag_, return_tag_, done_intercepting_ and interceptor_methods_
871 // since those are only meaningful on a specific object, not across objects.
CallOpSet(const CallOpSet & other)872 CallOpSet(const CallOpSet& other)
873 : core_cq_tag_(this),
874 return_tag_(this),
875 call_(other.call_),
876 done_intercepting_(false),
877 interceptor_methods_(InterceptorBatchMethodsImpl()) {}
878
879 CallOpSet& operator=(const CallOpSet& other) {
880 if (&other == this) {
881 return *this;
882 }
883 core_cq_tag_ = this;
884 return_tag_ = this;
885 call_ = other.call_;
886 done_intercepting_ = false;
887 interceptor_methods_ = InterceptorBatchMethodsImpl();
888 return *this;
889 }
890
FillOps(Call * call)891 void FillOps(Call* call) override {
892 done_intercepting_ = false;
893 grpc_call_ref(call->call());
894 call_ =
895 *call; // It's fine to create a copy of call since it's just pointers
896
897 if (RunInterceptors()) {
898 ContinueFillOpsAfterInterception();
899 } else {
900 // After the interceptors are run, ContinueFillOpsAfterInterception will
901 // be run
902 }
903 }
904
FinalizeResult(void ** tag,bool * status)905 bool FinalizeResult(void** tag, bool* status) override {
906 if (done_intercepting_) {
907 // Complete the avalanching since we are done with this batch of ops
908 call_.cq()->CompleteAvalanching();
909 // We have already finished intercepting and filling in the results. This
910 // round trip from the core needed to be made because interceptors were
911 // run
912 *tag = return_tag_;
913 *status = saved_status_;
914 grpc_call_unref(call_.call());
915 return true;
916 }
917
918 this->Op1::FinishOp(status);
919 this->Op2::FinishOp(status);
920 this->Op3::FinishOp(status);
921 this->Op4::FinishOp(status);
922 this->Op5::FinishOp(status);
923 this->Op6::FinishOp(status);
924 saved_status_ = *status;
925 if (RunInterceptorsPostRecv()) {
926 *tag = return_tag_;
927 grpc_call_unref(call_.call());
928 return true;
929 }
930 // Interceptors are going to be run, so we can't return the tag just yet.
931 // After the interceptors are run, ContinueFinalizeResultAfterInterception
932 return false;
933 }
934
set_output_tag(void * return_tag)935 void set_output_tag(void* return_tag) { return_tag_ = return_tag; }
936
core_cq_tag()937 void* core_cq_tag() override { return core_cq_tag_; }
938
939 /// set_core_cq_tag is used to provide a different core CQ tag than "this".
940 /// This is used for callback-based tags, where the core tag is the core
941 /// callback function. It does not change the use or behavior of any other
942 /// function (such as FinalizeResult)
set_core_cq_tag(void * core_cq_tag)943 void set_core_cq_tag(void* core_cq_tag) { core_cq_tag_ = core_cq_tag; }
944
945 // This will be called while interceptors are run if the RPC is a hijacked
946 // RPC. This should set hijacking state for each of the ops.
SetHijackingState()947 void SetHijackingState() override {
948 this->Op1::SetHijackingState(&interceptor_methods_);
949 this->Op2::SetHijackingState(&interceptor_methods_);
950 this->Op3::SetHijackingState(&interceptor_methods_);
951 this->Op4::SetHijackingState(&interceptor_methods_);
952 this->Op5::SetHijackingState(&interceptor_methods_);
953 this->Op6::SetHijackingState(&interceptor_methods_);
954 }
955
956 // Should be called after interceptors are done running
ContinueFillOpsAfterInterception()957 void ContinueFillOpsAfterInterception() override {
958 static const size_t MAX_OPS = 6;
959 grpc_op ops[MAX_OPS];
960 size_t nops = 0;
961 this->Op1::AddOp(ops, &nops);
962 this->Op2::AddOp(ops, &nops);
963 this->Op3::AddOp(ops, &nops);
964 this->Op4::AddOp(ops, &nops);
965 this->Op5::AddOp(ops, &nops);
966 this->Op6::AddOp(ops, &nops);
967
968 grpc_call_error err =
969 grpc_call_start_batch(call_.call(), ops, nops, core_cq_tag(), nullptr);
970
971 if (err != GRPC_CALL_OK) {
972 // A failure here indicates an API misuse; for example, doing a Write
973 // while another Write is already pending on the same RPC or invoking
974 // WritesDone multiple times
975 gpr_log(GPR_ERROR, "API misuse of type %s observed",
976 grpc_call_error_to_string(err));
977 GPR_ASSERT(false);
978 }
979 }
980
981 // Should be called after interceptors are done running on the finalize result
982 // path
ContinueFinalizeResultAfterInterception()983 void ContinueFinalizeResultAfterInterception() override {
984 done_intercepting_ = true;
985 // The following call_start_batch is internally-generated so no need for an
986 // explanatory log on failure.
987 GPR_ASSERT(grpc_call_start_batch(call_.call(), nullptr, 0, core_cq_tag(),
988 nullptr) == GRPC_CALL_OK);
989 }
990
991 private:
992 // Returns true if no interceptors need to be run
RunInterceptors()993 bool RunInterceptors() {
994 interceptor_methods_.ClearState();
995 interceptor_methods_.SetCallOpSetInterface(this);
996 interceptor_methods_.SetCall(&call_);
997 this->Op1::SetInterceptionHookPoint(&interceptor_methods_);
998 this->Op2::SetInterceptionHookPoint(&interceptor_methods_);
999 this->Op3::SetInterceptionHookPoint(&interceptor_methods_);
1000 this->Op4::SetInterceptionHookPoint(&interceptor_methods_);
1001 this->Op5::SetInterceptionHookPoint(&interceptor_methods_);
1002 this->Op6::SetInterceptionHookPoint(&interceptor_methods_);
1003 if (interceptor_methods_.InterceptorsListEmpty()) {
1004 return true;
1005 }
1006 // This call will go through interceptors and would need to
1007 // schedule new batches, so delay completion queue shutdown
1008 call_.cq()->RegisterAvalanching();
1009 return interceptor_methods_.RunInterceptors();
1010 }
1011 // Returns true if no interceptors need to be run
RunInterceptorsPostRecv()1012 bool RunInterceptorsPostRecv() {
1013 // Call and OpSet had already been set on the set state.
1014 // SetReverse also clears previously set hook points
1015 interceptor_methods_.SetReverse();
1016 this->Op1::SetFinishInterceptionHookPoint(&interceptor_methods_);
1017 this->Op2::SetFinishInterceptionHookPoint(&interceptor_methods_);
1018 this->Op3::SetFinishInterceptionHookPoint(&interceptor_methods_);
1019 this->Op4::SetFinishInterceptionHookPoint(&interceptor_methods_);
1020 this->Op5::SetFinishInterceptionHookPoint(&interceptor_methods_);
1021 this->Op6::SetFinishInterceptionHookPoint(&interceptor_methods_);
1022 return interceptor_methods_.RunInterceptors();
1023 }
1024
1025 void* core_cq_tag_;
1026 void* return_tag_;
1027 Call call_;
1028 bool done_intercepting_ = false;
1029 InterceptorBatchMethodsImpl interceptor_methods_;
1030 bool saved_status_;
1031 };
1032
1033 } // namespace internal
1034 } // namespace grpc
1035
1036 #endif // GRPCPP_IMPL_CALL_OP_SET_H
1037