SO 5.7 InDepth Event Queue Hooks

What Is It?

SObjectizer-5.7 contains a tricky feature for customization of SObjectizer Run-Time behavior. It is an event_queue_hook.

There is a single instance of event_queue_hook in SObjectizer Environment. By default, it is no-op hook (nothing happens when this no-op hook is invoked). But a user can set his/her own instance in environment_params_t before launching of SObjectizer Environment.

Every agent calls event_queue_hook two times:

• the first call to event_queue_hook is performed when the agent is being bound to a particular event queue. Agent receives a pointer to event_queue provided by the corresponding dispatcher and passes that pointer to event_queue_hook_t::on_bind method. As result, the agent receives a new pointer and this new pointer will be used by the agent for enqueuing new demands;
• the second call to event_queue_hook is performed when agent is being unbound from the dispatcher. Agent passes a pointer to event_queue returned from event_queue_hook_t::on_bind to event_queue_hook_t::on_unbind method.

The event_queue_hook mechanism allows making specialized wrappers around actual event queues. These wrappers can be used for different tasks. For example for tracing purposes or for gathering some run-time stats.

Please note that this is a low-level mechanism intended to be used for very specific tasks. Because its low-level nature the details and behavior of that mechanism can be changed dramatically in future versions of SObjectizer without any prior notice.

A Simple Example

As a very simple example we provide a rather trivial implementation of event_queue_hook. This implementation wraps every event_queue in a special proxy object:

class demo_event_queue_hook final : public so_5::event_queue_hook_t {
   logger & sink_;

public:
   demo_event_queue_hook(logger & sink) : sink_{sink} {}

   [[nodiscard]]
   so_5::event_queue_t * on_bind(
         so_5::agent_t * /*agent*/,
         so_5::event_queue_t * original_queue ) noexcept override {
      return new event_queue_logging_proxy{original_queue, sink_};
   }

   void on_unbind(
         so_5::agent_t * /*agent*/,
         so_5::event_queue_t * queue ) noexcept override {
      delete queue;
   }
};

Where event_queue_logging_proxy can looks like:

class event_queue_logging_proxy final : public so_5::event_queue_t {
   so_5::event_queue_t * actual_queue_;
   logger & sink_;

public:
   event_queue_logging_proxy(
         so_5::event_queue_t * actual_queue,
         logger & sink)
      : actual_queue_{actual_queue}
      , sink_{sink}
   {
      sink_.log("logging_proxy=", this, " created");
   }
   ~event_queue_logging_proxy() override {
      sink_.log("logging_proxy=", this, " destroyed");
   }

   void push(so_5::execution_demand_t demand) override {
      sink_.log("logging_proxy=", this,
            ", receiver_ptr=", demand.m_receiver,
            ", mbox_id=", demand.m_mbox_id,
            ", msg_type=", demand.m_msg_type.name(),
            ", limit_block=", demand.m_limit,
            ", msg_ptr=", demand.m_message_ref.get());
      actual_queue_->push(std::move(demand));
   }
};

This event_queue_hook can be passed to SObjectizer Environment this way:

int main() {
   logger sink("_event_queue_trace.log");
   demo_event_queue_hook hook{sink};

   so_5::launch([](so_5::environment_t & env) {
         env.introduce_coop([](so_5::coop_t & coop) {
               coop.make_agent<parent_agent>();
            });
      },
      [&](so_5::environment_params_t & params) {
         params.event_queue_hook(
               so_5::event_queue_hook_unique_ptr_t{
                     &hook,
                     so_5::event_queue_hook_t::noop_deleter});

      });
}

In that case instance of demo_event_queue_hook is created on stack and because of that noop_deleter will be used with event_queue_hook_unique_ptr_t.

We can also create an instance of demo_event_queue_hook as dynamic object. In that case we can write:

int main() {
   logger sink("_event_queue_trace.log");

   so_5::launch([](so_5::environment_t & env) {
         env.introduce_coop([](so_5::coop_t & coop) {
               coop.make_agent<parent_agent>();
            });
      },
      [&](so_5::environment_params_t & params) {
         params.event_queue_hook(
               so_5::make_event_queue_hook<demo_event_queue_hook>(
                     so_5::event_queue_hook_t::default_deleter,
                     sink));
      });
}