summaryrefslogtreecommitdiffstats
path: root/testsuites/validation (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* validation: Derive names from item UIDsSebastian Huber2023-03-13273-871/+799
| | | | | | | Use the item UID converted to CamelCase for Doxygen group names and testsuite names. Update #3716.
* validation: Improve IRQ handler dispatch testSebastian Huber2023-02-061-143/+168
| | | | | | Clarify wording. Use a function wrapper for the SMP spurious interrupt setup. Update #3716.
* tm27: Avoid function pointer castsSebastian Huber2023-01-241-3/+7
| | | | | | | Add TM27_USE_VECTOR_HANDLER to select the interrupt handler type used by the <tm27.h> implementation. Close #4820.
* bsps/irq: Rename handler in dispatch tableSebastian Huber2022-12-024-10/+10
| | | | | | | The name handler table was a bit misleading after the last rework. Rename it to distach table. Update the documentation accordingly. Update #4769.
* validation: Fix unused variable warningSebastian Huber2022-11-111-2/+0
|
* validation: Improve spurious interrupt test caseSebastian Huber2022-11-113-29/+76
| | | | | | Use the tm27 support to test a spurious interrupt. This helps to run the validation test case on targets which have no software interrupt available for tests (for example riscv/PLIC/CLINT in the SMP configuration).
* validation: Properly teardown test casesSebastian Huber2022-11-093-3/+98
| | | | | Make sure that the state of the testable interrupt vector is restored to the state at the test case begin.
* validation: Use correct number of idle tasksSebastian Huber2022-10-141-1/+16
| | | | Update #3716.
* score: INTERNAL_ERROR_IDLE_THREAD_STACK_TOO_SMALLSebastian Huber2022-10-143-0/+356
| | | | | | | Ensure that the IDLE storage allocator did allocate a suffiently large area. Update #3835. Update #4524.
* config: Add CONFIGURE_IDLE_TASK_STORAGE_SIZESebastian Huber2022-10-147-1/+19
| | | | | | | | | | | | By default, allocate the IDLE task storage areas from the RTEMS Workspace. This avoids having to estimate the thread-local storage size in the default configuration. Add the application configuration option CONFIGURE_IDLE_TASK_STORAGE_SIZE to request a static allocation of the task storage area for IDLE tasks. Update #3835. Update #4524.
* score: INTERNAL_ERROR_IDLE_THREAD_CREATE_FAILEDSebastian Huber2022-10-144-0/+339
| | | | | | Add the INTERNAL_ERROR_IDLE_THREAD_CREATE_FAILED fatal error in case the creation of an idle thread fails. This may happen due to a failing create extension provided by the application.
* config: Changeable size for IDLE stack allocatorSebastian Huber2022-10-142-3/+3
| | | | | | | | Allow the IDLE stack allocator to change the stack size. This can be used by applications with a very dynamic thread-local storage size to adjust the thread storage area of the IDLE tasks dynamically. Update #4524.
* validation: Fix wordingSebastian Huber2022-10-061-6/+6
|
* validation: Remove unused test suiteSebastian Huber2022-09-281-94/+0
| | | | Update #3716.
* rtems: Add rtems_clock_get_ticks_since_boot() functionSebastian Huber2022-09-231-14/+61
| | | | | This function was declared, however, a definition was missing. Add a validation test for it.
* validation: Test deadlock detection special caseSebastian Huber2022-09-121-0/+190
| | | | Update #3716.
* validation: Fix integer type warningSebastian Huber2022-09-091-1/+1
| | | | Update #4662.
* validation: CONFIGURE_SCHEDULER_TABLE_ENTRIESSebastian Huber2022-09-053-2/+119
| | | | | | Test this option in a configuration with only one processor. Update #3716.
* validation: Refine basedefs specificationSebastian Huber2022-09-051-0/+129
| | | | Update #3716.
* validation: RegenerateSebastian Huber2022-09-051-6/+6
| | | | Update #4702.
* validation: Ignore array bounds warningsSebastian Huber2022-08-311-0/+10
| | | | Update #4702.
* validation: Move flush filter stop validationSebastian Huber2022-08-314-106/+408
| | | | | | This gets rid of a cyclic dependency in the specification graph. Update #3716.
* validation: Support a partial thread queue flushSebastian Huber2022-08-317-31/+53
| | | | Update #3716.
* validation: Fix use of uninitialized variablesSebastian Huber2022-08-301-20/+16
| | | | Update #4662.
* validation: Use T_report_hash_sha256_update()Sebastian Huber2022-08-101-0/+2
| | | | | | Add the direct BSP character ouput to the report hash. Update #3716.
* posix: Fix relative CLOCK_REALTIME sleepSebastian Huber2022-08-041-32/+14
| | | | | | | | | A relative CLOCK_REALTIME time out shall not be affected by CLOCK_REALTIME changes through clock_settime(). Since our CLOCK_REALTIME is basically just CLOCK_MONOTONIC plus an offset, we can simply use the CLOCK_MONOTONIC watchdog for relative CLOCK_REALTIME time outs. Update #4690.
* score: Use priority inheritance for thread joinSebastian Huber2022-07-283-385/+370
| | | | | | | | | | | | | | | | | | | | | Threads may join the thread termination of another thread using the pthread_join() or rtems_task_delete() directives. The thread cancel operation used a special case priority boosting mechanism implemented by _Thread_Raise_real_priority(). The problem was that this approach * is not transitive, * does not account for priority adjustments of the calling task while waiting for the join, * does not support clustered scheduling, and * does not detect deadlocks. All these problems are fixed by using a priority inheritance thread queue for the join operation. Close #4679.
* validation: SMP-specific spurious interrupt testSebastian Huber2022-07-141-23/+125
| | | | Update #3716.
* validation: Test thread idle bodiesSebastian Huber2022-07-071-0/+194
| | | | Update #3716.
* validation: Always test spurious interruptsSebastian Huber2022-07-071-14/+10
| | | | Update #3716.
* validation: Test thread free of FPU ownerSebastian Huber2022-07-071-0/+74
| | | | Update #3716.
* validation: Test scheduler detailSebastian Huber2022-07-071-2/+135
| | | | | | | This particular state during a reconsider help request scheduler operation was only covered by the existing test suites under some timing conditions. Update #3716.
* build: Add RTEMS_GCOV_COVERAGE optionSebastian Huber2022-07-042-2/+2
| | | | Update #4670.
* gcov: Add functions to dump the gcov informationSebastian Huber2022-07-041-1/+2
| | | | Update #4670.
* score: Use right clock for threadq timeoutsSebastian Huber2022-06-231-2/+8
| | | | | | | | Use CLOCK_REALTIME and CLOCK_MONOTONIC for relative thread queue timeouts instead of CLOCK_REALTIME_COARSE and CLOCK_MONOTONIC_COARSE. This fixes an issue with clock_nanosleep() in combination with clock_gettime(). Close #4669.
* validation: Fix CallWithinISR()Sebastian Huber2022-06-081-0/+2
| | | | | | | Some BSPs require that Clear_tm27_intr() is called in the interrupt service routine. Update #3269.
* validation: Avoid double fatal errorSebastian Huber2022-04-121-0/+2
| | | | | | | In the SMP_FATAL_MULTITASKING_START_ON_NOT_ONLINE_PROCESSOR test case, the boot processor ends up in the idle body. Do not issue a fatal error here and instead enter the idle loop. The secondary processor will terminate the system.
* validation: Allow custom idle task bodySebastian Huber2022-04-121-2/+8
|
* rtems: Clarify scheduler of created taskSebastian Huber2022-03-294-2/+205
|
* validation: Use individual names for ident testsSebastian Huber2022-03-2914-41/+129
| | | | | | Make the task configuration reusable. Update #3716.
* validation: Clarify commentSebastian Huber2022-03-241-1/+1
|
* smp: Add fatal errorSebastian Huber2022-03-243-0/+333
| | | | | | | Add SMP-specifc SMP_FATAL_MULTITASKING_START_ON_NOT_ONLINE_PROCESSOR fatal error. This fatal error helps to diagnose a broken SMP startup sequence. Without this error a context switch using the NULL pointer for the thread control block happens which may be difficult to debug.
* validation: Test support functionsSebastian Huber2022-03-242-0/+421
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test thread implementationSebastian Huber2022-03-245-0/+624
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test SMP-specific aspectsSebastian Huber2022-03-244-0/+964
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test scheduler operationsSebastian Huber2022-03-244-0/+3848
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test C libary functionsSebastian Huber2022-03-242-0/+464
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test <sys/lock.h> mutex operationsSebastian Huber2022-03-241-0/+433
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test futex supportSebastian Huber2022-03-242-0/+844
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
* validation: Test status code directivesSebastian Huber2022-03-244-0/+1601
| | | | | | | | | | | | The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.