xref: /aosp_15_r20/external/grpc-grpc/include/grpcpp/impl/call_op_set.h (revision cc02d7e222339f7a4f6ba5f422e6413f4bd931f2)
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