From 722363692ef294ffed9cfb8a0767339b1d5bcad3 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 20 Apr 2021 15:44:54 +0200 Subject: validation support --- spec/build/testsuites/validation/libvalidation.yml | 2 + testsuites/validation/tx-memory.c | 84 ++++++++++++++++++++++ testsuites/validation/tx-support.h | 13 ++++ 3 files changed, 99 insertions(+) create mode 100644 testsuites/validation/tx-memory.c diff --git a/spec/build/testsuites/validation/libvalidation.yml b/spec/build/testsuites/validation/libvalidation.yml index 5011679135..a3e530d437 100644 --- a/spec/build/testsuites/validation/libvalidation.yml +++ b/spec/build/testsuites/validation/libvalidation.yml @@ -13,8 +13,10 @@ links: [] source: - testsuites/validation/tx-call-within-isr.c - testsuites/validation/tx-interrupt.c +- testsuites/validation/tx-memory.c - testsuites/validation/tx-memory-alloc.c - testsuites/validation/tx-support.c +- testsuites/validation/tx-thread-queue.c - testsuites/validation/tx-timecounter.c - testsuites/validation/tx-timer-server.c - testsuites/validation/tx-thread-queue.c diff --git a/testsuites/validation/tx-memory.c b/testsuites/validation/tx-memory.c new file mode 100644 index 0000000000..c8199c7166 --- /dev/null +++ b/testsuites/validation/tx-memory.c @@ -0,0 +1,84 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup RTEMSTestSuites + * + * @brief This source file contains the definition of MemorySave() and + * MemoryRestore(). + */ + +/* + * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include "tx-support.h" + +#include +#include + +void MemorySave( MemoryContext *ctx ) +{ + const Memory_Information *mem; + size_t n; + size_t i; + + mem = _Memory_Get(); + n = _Memory_Get_count( mem ); + ctx->count = n; + T_assert_le_sz( n, RTEMS_ARRAY_SIZE( ctx->areas ) ); + + for ( i = 0; i < n; ++i ) { + Memory_Area *area; + + area = _Memory_Get_area( mem, i ); + ctx->areas[ i ].begin = _Memory_Get_begin( area ); + ctx->areas[ i ].free_begin = _Memory_Get_free_begin( area ); + ctx->areas[ i ].end = _Memory_Get_end( area ); + } +} + +void MemoryRestore( const MemoryContext *ctx ) +{ + const Memory_Information *mem; + size_t n; + size_t i; + + mem = _Memory_Get(); + n = ctx->count; + + for ( i = 0; i < n; ++i ) { + Memory_Area *area; + + area = _Memory_Get_area( mem, i ); + _Memory_Set_begin( area, ctx->areas[ i ].begin ); + _Memory_Set_free_begin( area, ctx->areas[ i ].free_begin ); + _Memory_Set_end( area, ctx->areas[ i ].end ); + } +} diff --git a/testsuites/validation/tx-support.h b/testsuites/validation/tx-support.h index cddc496fe8..ca128d2e2d 100644 --- a/testsuites/validation/tx-support.h +++ b/testsuites/validation/tx-support.h @@ -208,6 +208,19 @@ uint32_t SetTimecountCounter( uint32_t counter ); */ bool DeleteTimerServer( void ); +typedef struct { + struct { + const void *begin; + void *free_begin; + const void *end; + } areas[ 2 ]; + size_t count; +} MemoryContext; + +void MemorySave( MemoryContext *ctx ); + +void MemoryRestore( const MemoryContext *ctx ); + /** * @brief Fails a dynamic memory allocation when the counter reaches zero. * -- cgit v1.2.3