[rtems-central commit] spec: Document semaphore obtain errors

Sebastian Huber sebh at rtems.org
Mon Apr 19 05:21:56 UTC 2021


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri Apr 16 09:59:54 2021 +0200

spec: Document semaphore obtain errors

---

 spec/rtems/sem/if/obtain.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/spec/rtems/sem/if/obtain.yml b/spec/rtems/sem/if/obtain.yml
index 84e3aba..fa80675 100644
--- a/spec/rtems/sem/if/obtain.yml
+++ b/spec/rtems/sem/if/obtain.yml
@@ -2,7 +2,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 brief: |
   Obtains the semaphore.
 copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2020, 2021 embedded brains GmbH (http://www.embedded-brains.de)
 - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
 definition:
   default:
@@ -139,9 +139,17 @@ return:
       ${.:/params[0]/name}.
     value: ${../../status/if/invalid-id:/name}
   - description: |
+      The semaphore uses a priority ceiling and there was no priority ceiling
+      defined for the ${/glossary/scheduler-home:/term} of the calling task.
+    value: ${../../status/if/not-defined:/name}
+  - description: |
       The semaphore could not be obtained immediately.
     value: ${../../status/if/unsatisfied:/name}
   - description: |
+      The semaphore uses a priority ceiling and the calling task had a current
+      priority less than the priority ceiling.
+    value: ${../../status/if/invalid-priority:/name}
+  - description: |
       Acquiring of the local, binary semaphore by the calling task would have
       cased a deadlock.
     value: ${../../status/if/incorrect-state:/name}



More information about the vc mailing list