[rtems-central commit] spec: Improve TLS specification

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    1481d953eaf3c5116d95b24fa1bbf3734096b990
Changeset: http://git.rtems.org/rtems-central/commit/?id=1481d953eaf3c5116d95b24fa1bbf3734096b990

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Sep  7 08:13:57 2021 +0200

spec: Improve TLS specification

---

 config.yml                                         |  1 +
 spec/score/thread/req/tls-initialized-data.yml     |  2 +-
 spec/score/thread/req/tls-max-zero.yml             | 16 +++++++++++++++
 .../score/thread/req/tls-zero-initialized-data.yml |  2 +-
 spec/testsuites/validation-tls-1.yml               | 24 ++++++++++++++++++++++
 5 files changed, 43 insertions(+), 2 deletions(-)

diff --git a/config.yml b/config.yml
index c91cc29..5374e1a 100644
--- a/config.yml
+++ b/config.yml
@@ -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 afe17ef..bf6665e 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 0000000..79db787
--- /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 91d01e8..8c93006 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 0000000..555069a
--- /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