diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-07 08:13:57 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-07 19:58:14 +0200 |
| commit | 1481d953eaf3c5116d95b24fa1bbf3734096b990 (patch) | |
| tree | cc060997ee50d8510a29f7ba53f7371039bcbcd8 | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-1481d953eaf3c5116d95b24fa1bbf3734096b990.tar.bz2 | |
spec: Improve TLS specification
| -rw-r--r-- | config.yml | 1 | ||||
| -rw-r--r-- | spec/score/thread/req/tls-initialized-data.yml | 2 | ||||
| -rw-r--r-- | spec/score/thread/req/tls-max-zero.yml | 16 | ||||
| -rw-r--r-- | spec/score/thread/req/tls-zero-initialized-data.yml | 2 | ||||
| -rw-r--r-- | spec/testsuites/validation-tls-1.yml | 24 |
5 files changed, 43 insertions, 2 deletions
@@ -42,6 +42,7 @@ build: - testsuites/validation/ts-config.h - testsuites/validation/ts-default.h - testsuites/validation/ts-fatal-sysinit.h + - testsuites/validation/ts-idle.h - testsuites/validation/tx-support.h - testsuites/validation/tx-thread-queue.h - waf diff --git a/spec/score/thread/req/tls-initialized-data.yml b/spec/score/thread/req/tls-initialized-data.yml index afe17eff..bf6665e2 100644 --- a/spec/score/thread/req/tls-initialized-data.yml +++ b/spec/score/thread/req/tls-initialized-data.yml @@ -5,7 +5,7 @@ enabled-by: true links: - role: requirement-refinement uid: ../if/group -functional-type: capability +functional-type: function rationale: null references: [] requirement-type: functional diff --git a/spec/score/thread/req/tls-max-zero.yml b/spec/score/thread/req/tls-max-zero.yml new file mode 100644 index 00000000..79db787c --- /dev/null +++ b/spec/score/thread/req/tls-max-zero.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/group +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + Where the configured maximum thread-local storage size is equal to zero, the + thread-local storage allocation size shall be defined by the thread-local + storage size of the application executable. +type: requirement diff --git a/spec/score/thread/req/tls-zero-initialized-data.yml b/spec/score/thread/req/tls-zero-initialized-data.yml index 91d01e83..8c930062 100644 --- a/spec/score/thread/req/tls-zero-initialized-data.yml +++ b/spec/score/thread/req/tls-zero-initialized-data.yml @@ -5,7 +5,7 @@ enabled-by: true links: - role: requirement-refinement uid: ../if/group -functional-type: capability +functional-type: function rationale: null references: [] requirement-type: functional diff --git a/spec/testsuites/validation-tls-1.yml b/spec/testsuites/validation-tls-1.yml new file mode 100644 index 00000000..555069a2 --- /dev/null +++ b/spec/testsuites/validation-tls-1.yml @@ -0,0 +1,24 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: /req/test-suites +- role: validation + uid: /score/thread/req/tls-max-zero +test-brief: | + This validation test suite contains test cases related to the thread-local + storage support. +test-code: | + const char rtems_test_name[] = "${.:/test-suite-name}"; + + #define CONFIGURE_MAXIMUM_THREAD_LOCAL_STORAGE_SIZE 0 + + #include "ts-idle.h" +test-description: null +test-includes: [] +test-local-includes: [] +test-suite-name: ValidationTls1 +test-target: testsuites/validation/ts-validation-tls-1.c +type: test-suite |