void WdtResourceController::updateMaxReceiversLimit(
    const std::string& wdtNamespace, int64_t maxNumReceivers) {
  auto controller = getNamespaceController(wdtNamespace, true);
  if (controller) {
    controller->updateMaxReceiversLimit(maxNumReceivers);
  }
}
WdtResourceController::WdtResourceController()
    : WdtControllerBase(kGlobalNamespace) {
    // set global limits from options
    auto &options = WdtOptions::get();
    updateMaxSendersLimit(options.global_sender_limit);
    updateMaxReceiversLimit(options.global_receiver_limit);
}
WdtNamespaceController::WdtNamespaceController(const string &wdtNamespace)
    : WdtControllerBase(wdtNamespace) {
    auto &options = WdtOptions::get();
    updateMaxSendersLimit(options.namespace_sender_limit);
    updateMaxReceiversLimit(options.namespace_receiver_limit);
}