123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455 |
- //
- //
- // Copyright 2015 gRPC authors.
- //
- // Licensed under the Apache License, Version 2.0 (the "License");
- // you may not use this file except in compliance with the License.
- // You may obtain a copy of the License at
- //
- // http://www.apache.org/licenses/LICENSE-2.0
- //
- // Unless required by applicable law or agreed to in writing, software
- // distributed under the License is distributed on an "AS IS" BASIS,
- // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- // See the License for the specific language governing permissions and
- // limitations under the License.
- //
- //
- /// A completion queue implements a concurrent producer-consumer queue, with
- /// two main API-exposed methods: \a Next and \a AsyncNext. These
- /// methods are the essential component of the gRPC C++ asynchronous API.
- /// There is also a \a Shutdown method to indicate that a given completion queue
- /// will no longer have regular events. This must be called before the
- /// completion queue is destroyed.
- /// All completion queue APIs are thread-safe and may be used concurrently with
- /// any other completion queue API invocation; it is acceptable to have
- /// multiple threads calling \a Next or \a AsyncNext on the same or different
- /// completion queues, or to call these methods concurrently with a \a Shutdown
- /// elsewhere.
- /// \remark{All other API calls on completion queue should be completed before
- /// a completion queue destructor is called.}
- #ifndef GRPCPP_COMPLETION_QUEUE_H
- #define GRPCPP_COMPLETION_QUEUE_H
- #include <list>
- #include <grpc/grpc.h>
- #include <grpc/support/atm.h>
- #include <grpc/support/log.h>
- #include <grpc/support/time.h>
- #include <grpcpp/impl/codegen/rpc_service_method.h>
- #include <grpcpp/impl/codegen/status.h>
- #include <grpcpp/impl/codegen/sync.h>
- #include <grpcpp/impl/codegen/time.h>
- #include <grpcpp/impl/completion_queue_tag.h>
- #include <grpcpp/impl/grpc_library.h>
- #include <grpcpp/impl/sync.h>
- struct grpc_completion_queue;
- namespace grpc {
- template <class R>
- class ClientReader;
- template <class W>
- class ClientWriter;
- template <class W, class R>
- class ClientReaderWriter;
- template <class R>
- class ServerReader;
- template <class W>
- class ServerWriter;
- namespace internal {
- template <class W, class R>
- class ServerReaderWriterBody;
- template <class ResponseType>
- void UnaryRunHandlerHelper(
- const grpc::internal::MethodHandler::HandlerParameter&, ResponseType*,
- grpc::Status&);
- template <class ServiceType, class RequestType, class ResponseType,
- class BaseRequestType, class BaseResponseType>
- class RpcMethodHandler;
- template <class ServiceType, class RequestType, class ResponseType>
- class ClientStreamingHandler;
- template <class ServiceType, class RequestType, class ResponseType>
- class ServerStreamingHandler;
- template <class Streamer, bool WriteNeeded>
- class TemplatedBidiStreamingHandler;
- template <grpc::StatusCode code>
- class ErrorMethodHandler;
- } // namespace internal
- class Channel;
- class ChannelInterface;
- class Server;
- class ServerBuilder;
- class ServerContextBase;
- class ServerInterface;
- namespace internal {
- class CompletionQueueTag;
- class RpcMethod;
- template <class InputMessage, class OutputMessage>
- class BlockingUnaryCallImpl;
- template <class Op1, class Op2, class Op3, class Op4, class Op5, class Op6>
- class CallOpSet;
- } // namespace internal
- /// A thin wrapper around \ref grpc_completion_queue (see \ref
- /// src/core/lib/surface/completion_queue.h).
- /// See \ref doc/cpp/perf_notes.md for notes on best practices for high
- /// performance servers.
- class CompletionQueue : private grpc::internal::GrpcLibrary {
- public:
- /// Default constructor. Implicitly creates a \a grpc_completion_queue
- /// instance.
- CompletionQueue()
- : CompletionQueue(grpc_completion_queue_attributes{
- GRPC_CQ_CURRENT_VERSION, GRPC_CQ_NEXT, GRPC_CQ_DEFAULT_POLLING,
- nullptr}) {}
- /// Wrap \a take, taking ownership of the instance.
- ///
- /// \param take The completion queue instance to wrap. Ownership is taken.
- explicit CompletionQueue(grpc_completion_queue* take);
- /// Destructor. Destroys the owned wrapped completion queue / instance.
- ~CompletionQueue() override { grpc_completion_queue_destroy(cq_); }
- /// Tri-state return for AsyncNext: SHUTDOWN, GOT_EVENT, TIMEOUT.
- enum NextStatus {
- SHUTDOWN, ///< The completion queue has been shutdown and fully-drained
- GOT_EVENT, ///< Got a new event; \a tag will be filled in with its
- ///< associated value; \a ok indicating its success.
- TIMEOUT ///< deadline was reached.
- };
- /// Read from the queue, blocking until an event is available or the queue is
- /// shutting down.
- ///
- /// \param[out] tag Updated to point to the read event's tag.
- /// \param[out] ok true if read a successful event, false otherwise.
- ///
- /// Note that each tag sent to the completion queue (through RPC operations
- /// or alarms) will be delivered out of the completion queue by a call to
- /// Next (or a related method), regardless of whether the operation succeeded
- /// or not. Success here means that this operation completed in the normal
- /// valid manner.
- ///
- /// Server-side RPC request: \a ok indicates that the RPC has indeed
- /// been started. If it is false, the server has been Shutdown
- /// before this particular call got matched to an incoming RPC.
- ///
- /// Client-side StartCall/RPC invocation: \a ok indicates that the RPC is
- /// going to go to the wire. If it is false, it not going to the wire. This
- /// would happen if the channel is either permanently broken or
- /// transiently broken but with the fail-fast option. (Note that async unary
- /// RPCs don't post a CQ tag at this point, nor do client-streaming
- /// or bidi-streaming RPCs that have the initial metadata corked option set.)
- ///
- /// Client-side Write, Client-side WritesDone, Server-side Write,
- /// Server-side Finish, Server-side SendInitialMetadata (which is
- /// typically included in Write or Finish when not done explicitly):
- /// \a ok means that the data/metadata/status/etc is going to go to the
- /// wire. If it is false, it not going to the wire because the call
- /// is already dead (i.e., canceled, deadline expired, other side
- /// dropped the channel, etc).
- ///
- /// Client-side Read, Server-side Read, Client-side
- /// RecvInitialMetadata (which is typically included in Read if not
- /// done explicitly): \a ok indicates whether there is a valid message
- /// that got read. If not, you know that there are certainly no more
- /// messages that can ever be read from this stream. For the client-side
- /// operations, this only happens because the call is dead. For the
- /// server-sider operation, though, this could happen because the client
- /// has done a WritesDone already.
- ///
- /// Client-side Finish: \a ok should always be true
- ///
- /// Server-side AsyncNotifyWhenDone: \a ok should always be true
- ///
- /// Alarm: \a ok is true if it expired, false if it was canceled
- ///
- /// \return true if got an event, false if the queue is fully drained and
- /// shut down.
- bool Next(void** tag, bool* ok) {
- // Check return type == GOT_EVENT... cases:
- // SHUTDOWN - queue has been shutdown, return false.
- // TIMEOUT - we passed infinity time => queue has been shutdown, return
- // false.
- // GOT_EVENT - we actually got an event, return true.
- return (AsyncNextInternal(tag, ok, gpr_inf_future(GPR_CLOCK_REALTIME)) ==
- GOT_EVENT);
- }
- /// Read from the queue, blocking up to \a deadline (or the queue's shutdown).
- /// Both \a tag and \a ok are updated upon success (if an event is available
- /// within the \a deadline). A \a tag points to an arbitrary location usually
- /// employed to uniquely identify an event.
- ///
- /// \param[out] tag Upon success, updated to point to the event's tag.
- /// \param[out] ok Upon success, true if a successful event, false otherwise
- /// See documentation for CompletionQueue::Next for explanation of ok
- /// \param[in] deadline How long to block in wait for an event.
- ///
- /// \return The type of event read.
- template <typename T>
- NextStatus AsyncNext(void** tag, bool* ok, const T& deadline) {
- grpc::TimePoint<T> deadline_tp(deadline);
- return AsyncNextInternal(tag, ok, deadline_tp.raw_time());
- }
- /// EXPERIMENTAL
- /// First executes \a F, then reads from the queue, blocking up to
- /// \a deadline (or the queue's shutdown).
- /// Both \a tag and \a ok are updated upon success (if an event is available
- /// within the \a deadline). A \a tag points to an arbitrary location usually
- /// employed to uniquely identify an event.
- ///
- /// \param[in] f Function to execute before calling AsyncNext on this queue.
- /// \param[out] tag Upon success, updated to point to the event's tag.
- /// \param[out] ok Upon success, true if read a regular event, false
- /// otherwise.
- /// \param[in] deadline How long to block in wait for an event.
- ///
- /// \return The type of event read.
- template <typename T, typename F>
- NextStatus DoThenAsyncNext(F&& f, void** tag, bool* ok, const T& deadline) {
- CompletionQueueTLSCache cache = CompletionQueueTLSCache(this);
- f();
- if (cache.Flush(tag, ok)) {
- return GOT_EVENT;
- } else {
- return AsyncNext(tag, ok, deadline);
- }
- }
- /// Request the shutdown of the queue.
- ///
- /// \warning This method must be called at some point if this completion queue
- /// is accessed with Next or AsyncNext. \a Next will not return false
- /// until this method has been called and all pending tags have been drained.
- /// (Likewise for \a AsyncNext returning \a NextStatus::SHUTDOWN .)
- /// Only once either one of these methods does that (that is, once the queue
- /// has been \em drained) can an instance of this class be destroyed.
- /// Also note that applications must ensure that no work is enqueued on this
- /// completion queue after this method is called.
- void Shutdown();
- /// Returns a \em raw pointer to the underlying \a grpc_completion_queue
- /// instance.
- ///
- /// \warning Remember that the returned instance is owned. No transfer of
- /// ownership is performed.
- grpc_completion_queue* cq() { return cq_; }
- protected:
- /// Private constructor of CompletionQueue only visible to friend classes
- explicit CompletionQueue(const grpc_completion_queue_attributes& attributes) {
- cq_ = grpc_completion_queue_create(
- grpc_completion_queue_factory_lookup(&attributes), &attributes,
- nullptr);
- InitialAvalanching(); // reserve this for the future shutdown
- }
- private:
- // Friends for access to server registration lists that enable checking and
- // logging on shutdown
- friend class grpc::ServerBuilder;
- friend class grpc::Server;
- // Friend synchronous wrappers so that they can access Pluck(), which is
- // a semi-private API geared towards the synchronous implementation.
- template <class R>
- friend class grpc::ClientReader;
- template <class W>
- friend class grpc::ClientWriter;
- template <class W, class R>
- friend class grpc::ClientReaderWriter;
- template <class R>
- friend class grpc::ServerReader;
- template <class W>
- friend class grpc::ServerWriter;
- template <class W, class R>
- friend class grpc::internal::ServerReaderWriterBody;
- template <class ResponseType>
- friend void grpc::internal::UnaryRunHandlerHelper(
- const grpc::internal::MethodHandler::HandlerParameter&, ResponseType*,
- grpc::Status&);
- template <class ServiceType, class RequestType, class ResponseType>
- friend class grpc::internal::ClientStreamingHandler;
- template <class ServiceType, class RequestType, class ResponseType>
- friend class grpc::internal::ServerStreamingHandler;
- template <class Streamer, bool WriteNeeded>
- friend class grpc::internal::TemplatedBidiStreamingHandler;
- template <grpc::StatusCode code>
- friend class grpc::internal::ErrorMethodHandler;
- friend class grpc::ServerContextBase;
- friend class grpc::ServerInterface;
- template <class InputMessage, class OutputMessage>
- friend class grpc::internal::BlockingUnaryCallImpl;
- // Friends that need access to constructor for callback CQ
- friend class grpc::Channel;
- // For access to Register/CompleteAvalanching
- template <class Op1, class Op2, class Op3, class Op4, class Op5, class Op6>
- friend class grpc::internal::CallOpSet;
- /// EXPERIMENTAL
- /// Creates a Thread Local cache to store the first event
- /// On this completion queue queued from this thread. Once
- /// initialized, it must be flushed on the same thread.
- class CompletionQueueTLSCache {
- public:
- explicit CompletionQueueTLSCache(CompletionQueue* cq);
- ~CompletionQueueTLSCache();
- bool Flush(void** tag, bool* ok);
- private:
- CompletionQueue* cq_;
- bool flushed_;
- };
- NextStatus AsyncNextInternal(void** tag, bool* ok, gpr_timespec deadline);
- /// Wraps \a grpc_completion_queue_pluck.
- /// \warning Must not be mixed with calls to \a Next.
- bool Pluck(grpc::internal::CompletionQueueTag* tag) {
- auto deadline = gpr_inf_future(GPR_CLOCK_REALTIME);
- while (true) {
- auto ev = grpc_completion_queue_pluck(cq_, tag, deadline, nullptr);
- bool ok = ev.success != 0;
- void* ignored = tag;
- if (tag->FinalizeResult(&ignored, &ok)) {
- GPR_ASSERT(ignored == tag);
- return ok;
- }
- }
- }
- /// Performs a single polling pluck on \a tag.
- /// \warning Must not be mixed with calls to \a Next.
- ///
- /// TODO: sreek - This calls tag->FinalizeResult() even if the cq_ is already
- /// shutdown. This is most likely a bug and if it is a bug, then change this
- /// implementation to simple call the other TryPluck function with a zero
- /// timeout. i.e:
- /// TryPluck(tag, gpr_time_0(GPR_CLOCK_REALTIME))
- void TryPluck(grpc::internal::CompletionQueueTag* tag) {
- auto deadline = gpr_time_0(GPR_CLOCK_REALTIME);
- auto ev = grpc_completion_queue_pluck(cq_, tag, deadline, nullptr);
- if (ev.type == GRPC_QUEUE_TIMEOUT) return;
- bool ok = ev.success != 0;
- void* ignored = tag;
- // the tag must be swallowed if using TryPluck
- GPR_ASSERT(!tag->FinalizeResult(&ignored, &ok));
- }
- /// Performs a single polling pluck on \a tag. Calls tag->FinalizeResult if
- /// the pluck() was successful and returned the tag.
- ///
- /// This exects tag->FinalizeResult (if called) to return 'false' i.e expects
- /// that the tag is internal not something that is returned to the user.
- void TryPluck(grpc::internal::CompletionQueueTag* tag,
- gpr_timespec deadline) {
- auto ev = grpc_completion_queue_pluck(cq_, tag, deadline, nullptr);
- if (ev.type == GRPC_QUEUE_TIMEOUT || ev.type == GRPC_QUEUE_SHUTDOWN) {
- return;
- }
- bool ok = ev.success != 0;
- void* ignored = tag;
- GPR_ASSERT(!tag->FinalizeResult(&ignored, &ok));
- }
- /// Manage state of avalanching operations : completion queue tags that
- /// trigger other completion queue operations. The underlying core completion
- /// queue should not really shutdown until all avalanching operations have
- /// been finalized. Note that we maintain the requirement that an avalanche
- /// registration must take place before CQ shutdown (which must be maintained
- /// elsewhere)
- void InitialAvalanching() {
- gpr_atm_rel_store(&avalanches_in_flight_, gpr_atm{1});
- }
- void RegisterAvalanching() {
- gpr_atm_no_barrier_fetch_add(&avalanches_in_flight_, gpr_atm{1});
- }
- void CompleteAvalanching() {
- if (gpr_atm_no_barrier_fetch_add(&avalanches_in_flight_, gpr_atm{-1}) ==
- 1) {
- grpc_completion_queue_shutdown(cq_);
- }
- }
- void RegisterServer(const grpc::Server* server) {
- (void)server;
- #ifndef NDEBUG
- grpc::internal::MutexLock l(&server_list_mutex_);
- server_list_.push_back(server);
- #endif
- }
- void UnregisterServer(const grpc::Server* server) {
- (void)server;
- #ifndef NDEBUG
- grpc::internal::MutexLock l(&server_list_mutex_);
- server_list_.remove(server);
- #endif
- }
- bool ServerListEmpty() const {
- #ifndef NDEBUG
- grpc::internal::MutexLock l(&server_list_mutex_);
- return server_list_.empty();
- #endif
- return true;
- }
- static CompletionQueue* CallbackAlternativeCQ();
- static void ReleaseCallbackAlternativeCQ(CompletionQueue* cq);
- grpc_completion_queue* cq_; // owned
- gpr_atm avalanches_in_flight_;
- // List of servers associated with this CQ. Even though this is only used with
- // NDEBUG, instantiate it in all cases since otherwise the size will be
- // inconsistent.
- mutable grpc::internal::Mutex server_list_mutex_;
- std::list<const grpc::Server*>
- server_list_ /* GUARDED_BY(server_list_mutex_) */;
- };
- /// A specific type of completion queue used by the processing of notifications
- /// by servers. Instantiated by \a ServerBuilder or Server (for health checker).
- class ServerCompletionQueue : public CompletionQueue {
- public:
- bool IsFrequentlyPolled() { return polling_type_ != GRPC_CQ_NON_LISTENING; }
- protected:
- /// Default constructor
- ServerCompletionQueue() : polling_type_(GRPC_CQ_DEFAULT_POLLING) {}
- private:
- /// \param completion_type indicates whether this is a NEXT or CALLBACK
- /// completion queue.
- /// \param polling_type Informs the GRPC library about the type of polling
- /// allowed on this completion queue. See grpc_cq_polling_type's description
- /// in grpc_types.h for more details.
- /// \param shutdown_cb is the shutdown callback used for CALLBACK api queues
- ServerCompletionQueue(grpc_cq_completion_type completion_type,
- grpc_cq_polling_type polling_type,
- grpc_completion_queue_functor* shutdown_cb)
- : CompletionQueue(grpc_completion_queue_attributes{
- GRPC_CQ_CURRENT_VERSION, completion_type, polling_type,
- shutdown_cb}),
- polling_type_(polling_type) {}
- grpc_cq_polling_type polling_type_;
- friend class grpc::ServerBuilder;
- friend class grpc::Server;
- };
- } // namespace grpc
- #endif // GRPCPP_COMPLETION_QUEUE_H
|