Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
108 lines (96 sloc) 4.37 KB
/*
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_BSD)
*/
#pragma once
#include <autoconf.h>
#ifdef CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES
#include <stdio.h>
#include <sel4/types.h>
#include <sel4/benchmark_track_types.h>
/* Print out a summary of what has been tracked */
static inline void
seL4_BenchmarkTrackDumpSummary(benchmark_track_kernel_entry_t *logBuffer, size_t logSize)
{
seL4_Word index = 0;
seL4_Word syscall_entries = 0;
seL4_Word interrupt_entries = 0;
seL4_Word userlevelfault_entries = 0;
seL4_Word vmfault_entries = 0;
/* Default driver to use for output now is serial.
* Change this to use other drivers than serial, i.e ethernet
*/
FILE *fd = stdout;
while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
if (logBuffer[index].entry.path == Entry_Syscall) {
syscall_entries++;
} else if (logBuffer[index].entry.path == Entry_Interrupt) {
interrupt_entries++;
} else if (logBuffer[index].entry.path == Entry_UserLevelFault) {
userlevelfault_entries++;
} else if (logBuffer[index].entry.path == Entry_VMFault) {
vmfault_entries++;
}
index++;
}
fprintf(fd, "Number of system call invocations %d\n", syscall_entries);
fprintf(fd, "Number of interrupt invocations %d\n", interrupt_entries);
fprintf(fd, "Number of user-level faults %d\n", userlevelfault_entries);
fprintf(fd, "Number of VM faults %d\n", vmfault_entries);
}
/* Print out logged system call invocations */
static inline void
seL4_BenchmarkTrackDumpFullSyscallLog(benchmark_track_kernel_entry_t *logBuffer, size_t logSize)
{
seL4_Word index = 0;
FILE *fd = stdout;
/* Get details of each system call invocation */
fprintf(fd, "-----------------------------------------------------------------------------------------------------------------------------\n");
fprintf(fd, "| %-15s| %-15s| %-15s| %-15s| %-15s| %-15s| %-15s|\n",
"Log ID", "System Call ID", "Start Time", "Duration", "Capability Type",
"Invocation Tag", "Fastpath?");
fprintf(fd, "-----------------------------------------------------------------------------------------------------------------------------\n");
while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
if (logBuffer[index].entry.path == Entry_Syscall) {
fprintf(fd, "| %-15d| %-15d| %-15llu| %-15d| %-15d| %-15d| %-15d|\n",
index,
logBuffer[index].entry.syscall_no,
(uint64_t ) logBuffer[index].start_time,
logBuffer[index].duration,
logBuffer[index].entry.cap_type,
logBuffer[index].entry.invocation_tag,
logBuffer[index].entry.is_fastpath);
}
index++;
}
}
/* Print out logged interrupt invocations */
static inline void
seL4_BenchmarkTrackDumpFullInterruptLog(benchmark_track_kernel_entry_t *logBuffer, size_t logSize)
{
seL4_Word index = 0;
FILE *fd = stdout;
/* Get details of each invocation */
fprintf(fd, "-----------------------------------------------------------------------------------------------------------------------------\n");
fprintf(fd, "| %-15s| %-15s| %-15s| %-15s|\n", "Log ID", "IRQ", "Start Time",
"Duration");
fprintf(fd, "-----------------------------------------------------------------------------------------------------------------------------\n");
while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
if (logBuffer[index].entry.path == Entry_Interrupt) {
fprintf(fd, "| %-15d| %-15d| %-15llu| %-15d|\n", \
index,
logBuffer[index].entry.word,
logBuffer[index].start_time,
logBuffer[index].duration);
}
index++;
}
}
#endif /* CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES */
You can’t perform that action at this time.