Skip to content
Snippets Groups Projects
Select Git revision
  • 59e40a04e2aa5b8e0dff9942cde04704d2ce3524
  • master default protected
  • android-7.1.2_r28_klist
  • pie-cts-release
  • pie-vts-release
  • pie-cts-dev
  • oreo-mr1-iot-release
  • sdk-release
  • oreo-m6-s4-release
  • oreo-m4-s12-release
  • pie-release
  • pie-r2-release
  • pie-r2-s1-release
  • oreo-vts-release
  • oreo-cts-release
  • oreo-dev
  • oreo-mr1-dev
  • pie-gsi
  • pie-platform-release
  • pie-dev
  • oreo-cts-dev
  • android-o-mr1-iot-release-1.0.4
  • android-9.0.0_r8
  • android-9.0.0_r7
  • android-9.0.0_r6
  • android-9.0.0_r5
  • android-8.1.0_r46
  • android-8.1.0_r45
  • android-n-iot-release-smart-display-r2
  • android-vts-8.1_r5
  • android-cts-8.1_r8
  • android-cts-8.0_r12
  • android-cts-7.1_r20
  • android-cts-7.0_r24
  • android-o-mr1-iot-release-1.0.3
  • android-cts-9.0_r1
  • android-8.1.0_r43
  • android-8.1.0_r42
  • android-n-iot-release-smart-display
  • android-p-preview-5
  • android-9.0.0_r3
41 results

hci_attach.te

Blame
  • 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();
    
    }