Select Git revision
hci_attach.te
benchmarks.c 1.70 KiB
// This file is part of the execution-time evaluation for the qronos observer abstractions.
// Copyright (C) 2022-2023 Tim Rheinfels <tim.rheinfels@fau.de>
// See https://gitlab.cs.fau.de/qronos-state-abstractions/execution-time
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
///
/// @file benchmarks.c
///
/// @brief Provides the implementation for running all execution time benchmarks
///
/// @author Tim Rheinfels <tim.rheinfels@fau.de>
///
#include "benchmarks.h"
#include <benchmarks/campaign.h>
#include <benchmarks/blind_abstraction.h>
void benchmarks_run(void)
{
// Basic campaigns
BENCHMARKS_CAMPAIGN("overhead", {}, {}, {}, 10u, 10u);
BENCHMARKS_CAMPAIGN("chSysPolledDelayX_10", chSysPolledDelayX(10u), {}, {}, 10u, 10u);
BENCHMARKS_CAMPAIGN("chSysPolledDelayX_100", chSysPolledDelayX(100u), {}, {}, 10u, 10u);
BENCHMARKS_CAMPAIGN("chSysPolledDelayX_1000", chSysPolledDelayX(1000u), {}, {}, 10u, 10u);
BENCHMARKS_CAMPAIGN("chSysPolledDelayX_10000", chSysPolledDelayX(10000u), {}, {}, 10u, 10u);
// Comparative execution time benchmarks
benchmarks_run_blind_abstraction();
}