summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem (follow)
Commit message (Collapse)AuthorAgeFilesLines
* spec: Improve MrsP specificationSebastian Huber2023-11-232-35/+28
| | | | | | | | For uniprocessor configurations, the selection of RTEMS_MULTIPROCESSOR_RESOURCE_SHARING results in a priority ceiling mutex. Build the MrsP validation tests only if RTEMS_SMP is enabled.
* spec: Clarify performance requirementSebastian Huber2023-09-261-2/+3
|
* spec: Compatibility for other RTEMS versionsSebastian Huber2023-09-263-6/+12
| | | | | | Make some performance tests compatible to other RTEMS versions which do not allow changing the priority of a task which owns a priority inheritance mutex.
* spec: Remove superfluous ';'Sebastian Huber2023-07-214-11/+11
|
* Update company nameSebastian Huber2023-05-1943-43/+43
| | | | | The embedded brains GmbH & Co. KG is the legal successor of embedded brains GmbH.
* spec: Add requirement for RTEMS_NO_TIMEOUTSebastian Huber2023-05-081-2/+0
|
* spec: Use ${xzy:/spec} for item referencesSebastian Huber2023-05-086-25/+25
|
* spec: Reorganize performance runtime limitsSebastian Huber2023-05-088-1588/+0
| | | | | Add a dedicated item for performance runtime limits and use the general linking mechanism to associate limits and tests.
* spec: Replace enum Event with definesSebastian Huber2023-03-171-8/+10
| | | | | There is a Doxygen limitation that all compound names (enum, struct, class, union, group) within a project must be unique.
* spec: Place test suites in design groupsSebastian Huber2023-03-142-0/+4
|
* validation: Derive names from item UIDsSebastian Huber2023-02-162-2/+0
| | | | | Use the item UID converted to CamelCase for Doxygen group names and testsuite names.
* spec: Add CONFIGURE_IDLE_TASK_STORAGE_SIZESebastian Huber2022-10-112-0/+4
|
* spec: Add "memory-benchmark" item typeSebastian Huber2022-09-282-2/+2
|
* spec: Move flush filter stop to flush fifoSebastian Huber2022-08-311-1/+1
| | | | This gets rid of a cyclic dependency in the specification graph.
* spec: Update due to API changesSebastian Huber2022-08-311-1/+5
|
* spec: Use individual names for ident testsSebastian Huber2022-03-301-1/+4
|
* spec: Update performance limitsSebastian Huber2022-01-248-1026/+1234
|
* spec: Update performance limitsSebastian Huber2022-01-128-376/+168
|
* spec: Add limits from HW runs to performance testsFrank Kühndel2021-12-088-3/+585
|
* spec: Fix formattingSebastian Huber2021-12-044-16/+16
|
* spec: Add limits to time performance testsFrank Kühndel2021-12-038-12/+1010
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This patch adds limits to all currently existing time performance tests. When the measured time during the execution of these tests is within the range specified by these limits, the test result will be OK. The limit data is provided for the following architecture and environments (the tests can only pass when executed in the same setting): * SPARC Instruction Set Simulator: + GR721RC SMP + GR721RC UNI + GR740 SMP + GR740 UNI * Hardware boards: + GR721RC SMP + GR721RC UNI + GR740 SMP + GR740 UNI With the exception of GR721RC SMP, the input data of the hardware boards contained only measurement data for three tests: * spec/rtems/part/req/perf-get-buffer.yml * spec/rtems/part/req/perf-get-no-buffer.yml * spec/rtems/part/req/perf-return-buffer.yml The other tests where still under development when the test runs where made. The test logs (input data) from the simulator runs where taken around 2021-11-28. The test logs from the hardware are completed at 2021-11-21 with the exception of the GR721RC UNI which completed 2021-11-16 and GR721RC SMP which completed 2021-12-02.
* spec: Adjust link role for some design groupsSebastian Huber2021-12-011-1/+1
|
* spec: Add requirements to groupsSebastian Huber2021-12-011-0/+2
|
* spec: Add memory benchmarks to groupsSebastian Huber2021-12-012-0/+4
|
* spec: Reduce sample countSebastian Huber2021-11-261-1/+1
|
* spec: Add performance requirementsSebastian Huber2021-11-252-2/+4
|
* spec: Add performance requirementsSebastian Huber2021-11-254-23/+26
|
* spec: Add performance requirementsSebastian Huber2021-11-2510-0/+561
|
* spec: Fix sporadic test failuresSebastian Huber2021-11-191-5/+2
|
* spec: Add interface function linksSebastian Huber2021-11-181-0/+2
|
* spec: Specify MrsP uniprocessor scheduler detailSebastian Huber2021-10-292-0/+133
|
* spec: Specify MrsP semaphore obtain detailsSebastian Huber2021-10-281-0/+860
|
* spec: Refine TQ timeout priority inherit specSebastian Huber2021-10-081-4/+17
|
* spec: Improve mutex seize waitSebastian Huber2021-09-291-6/+34
|
* spec: Improve semaphore surrenderSebastian Huber2021-09-291-6/+8
|
* spec: Add "function-implementation" link roleSebastian Huber2021-09-244-0/+22
|
* spec: Generalize semaphore releaseSebastian Huber2021-09-241-1306/+150
|
* spec: Test thread queue API changeSebastian Huber2021-09-241-1/+1
|
* spec: Improve deadlock specificationSebastian Huber2021-09-241-6/+1
|
* spec: Test thread queue API changeSebastian Huber2021-09-243-7/+7
|
* spec: Update due to API changesSebastian Huber2021-09-243-9/+10
|
* spec: Specify timeout with priority inheritSebastian Huber2021-09-241-11/+18
|
* spec: Use design groupsSebastian Huber2021-09-152-10/+10
|
* spec: Improve mutex seize specificationSebastian Huber2021-09-141-6/+24
|
* spec: Specify semaphore obtain timeoutsSebastian Huber2021-09-141-0/+184
|
* spec: Specify MrsP special caseSebastian Huber2021-09-082-0/+247
|
* spec: Specify bad sticky thread queue enqueueSebastian Huber2021-09-081-0/+120
|
* spec: Specify rtems_semaphore_flush()Sebastian Huber2021-09-071-0/+328
|
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-175-5/+5
| | | | | Add and use ${.:/test-context-type} and ${.:/test-context-instance} substitutions.
* spec: Move TQ get owner to base contextSebastian Huber2021-08-171-6/+1
|