//   if (period_based) {
  //     if (poll_llc) {
  //       period_start_BE_accesses = query_BE_monitor(llc_fd);
  //       if (do_freeze_BE_core and be_frozen and can_resume_BE) {
  //         std::cout << "[ BE core thawed ]" << std::endl;
  //         unfreeze_BE_core(be);
  //         be_frozen = false;
  //       }
  //     }
  //   } else { unfreeze_BE_core(be); }
  // if (selected_scheduler != NO_SCHEDULER_READY) {
    // long long BE_budget = schedulers[selected_scheduler]->get_max_BE_accesses();
    // if (poll_llc) {
    //   performed = query_BE_monitor(llc_fd) - period_start_BE_accesses;
    //   if (performed > BE_budget) {
    //     if (do_freeze_BE_core and !be_frozen) {
    //       std::cout << "[ BE core frozen: "                 << performed
    //                 << " accesses is more than the budget " << BE_budget << " ]"
    //                 << std::endl;
    //       freeze_BE_core(be);
    //       be_frozen = true;
    //     }
    //   }
    // }
  // }