From e4bfe700f3a22efb88cab52d23105f96c3403fe1 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Thu, 2 Dec 2021 14:24:36 +0100 Subject: spec: Move scheduler API to own header --- spec/rtems/if/header.yml | 3 +++ spec/rtems/scheduler/if/add-processor.yml | 2 +- spec/rtems/scheduler/if/get-maximum-priority.yml | 2 +- spec/rtems/scheduler/if/get-processor-macro.yml | 2 +- spec/rtems/scheduler/if/get-processor-maximum-macro.yml | 2 +- spec/rtems/scheduler/if/get-processor-maximum.yml | 2 +- spec/rtems/scheduler/if/get-processor-set.yml | 2 +- spec/rtems/scheduler/if/get-processor.yml | 2 +- spec/rtems/scheduler/if/group.yml | 2 +- spec/rtems/scheduler/if/header.yml | 15 +++++++++++++++ spec/rtems/scheduler/if/ident-by-processor-set.yml | 2 +- spec/rtems/scheduler/if/ident-by-processor.yml | 2 +- spec/rtems/scheduler/if/ident.yml | 2 +- spec/rtems/scheduler/if/map-priority-from-posix.yml | 2 +- spec/rtems/scheduler/if/map-priority-to-posix.yml | 2 +- spec/rtems/scheduler/if/remove-processor.yml | 2 +- spec/rtems/scheduler/req/group.yml | 16 ++++++++++++++++ 17 files changed, 48 insertions(+), 14 deletions(-) create mode 100644 spec/rtems/scheduler/if/header.yml create mode 100644 spec/rtems/scheduler/req/group.yml diff --git a/spec/rtems/if/header.yml b/spec/rtems/if/header.yml index d21963dc..d7ca64b5 100644 --- a/spec/rtems/if/header.yml +++ b/spec/rtems/if/header.yml @@ -59,6 +59,9 @@ links: - enabled-by: [] role: interface-include uid: ../region/if/header +- enabled-by: [] + role: interface-include + uid: ../scheduler/if/header - enabled-by: [] role: interface-include uid: ../sem/if/header diff --git a/spec/rtems/scheduler/if/add-processor.yml b/spec/rtems/scheduler/if/add-processor.yml index 6a004fe9..9195a524 100644 --- a/spec/rtems/scheduler/if/add-processor.yml +++ b/spec/rtems/scheduler/if/add-processor.yml @@ -20,7 +20,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/get-maximum-priority.yml b/spec/rtems/scheduler/if/get-maximum-priority.yml index c58ccb90..bc8621b5 100644 --- a/spec/rtems/scheduler/if/get-maximum-priority.yml +++ b/spec/rtems/scheduler/if/get-maximum-priority.yml @@ -18,7 +18,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/get-processor-macro.yml b/spec/rtems/scheduler/if/get-processor-macro.yml index 08b809d5..1fe3d385 100644 --- a/spec/rtems/scheduler/if/get-processor-macro.yml +++ b/spec/rtems/scheduler/if/get-processor-macro.yml @@ -11,7 +11,7 @@ index-entries: [] interface-type: macro links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup-hidden uid: group name: rtems_scheduler_get_processor diff --git a/spec/rtems/scheduler/if/get-processor-maximum-macro.yml b/spec/rtems/scheduler/if/get-processor-maximum-macro.yml index 4e40dab4..41c338fe 100644 --- a/spec/rtems/scheduler/if/get-processor-maximum-macro.yml +++ b/spec/rtems/scheduler/if/get-processor-maximum-macro.yml @@ -11,7 +11,7 @@ index-entries: [] interface-type: macro links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup-hidden uid: group name: rtems_scheduler_get_processor_maximum diff --git a/spec/rtems/scheduler/if/get-processor-maximum.yml b/spec/rtems/scheduler/if/get-processor-maximum.yml index bc1a8fc0..7179e0d1 100644 --- a/spec/rtems/scheduler/if/get-processor-maximum.yml +++ b/spec/rtems/scheduler/if/get-processor-maximum.yml @@ -26,7 +26,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/get-processor-set.yml b/spec/rtems/scheduler/if/get-processor-set.yml index cdc514b4..7c9ab492 100644 --- a/spec/rtems/scheduler/if/get-processor-set.yml +++ b/spec/rtems/scheduler/if/get-processor-set.yml @@ -20,7 +20,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/get-processor.yml b/spec/rtems/scheduler/if/get-processor.yml index 830cc172..9c7c9d4c 100644 --- a/spec/rtems/scheduler/if/get-processor.yml +++ b/spec/rtems/scheduler/if/get-processor.yml @@ -23,7 +23,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/group.yml b/spec/rtems/scheduler/if/group.yml index 6474c61e..c5ab8ce7 100644 --- a/spec/rtems/scheduler/if/group.yml +++ b/spec/rtems/scheduler/if/group.yml @@ -22,7 +22,7 @@ index-entries: [] interface-type: group links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: ../../if/group - role: placement-order diff --git a/spec/rtems/scheduler/if/header.yml b/spec/rtems/scheduler/if/header.yml new file mode 100644 index 00000000..6ad80de0 --- /dev/null +++ b/spec/rtems/scheduler/if/header.yml @@ -0,0 +1,15 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +brief: This header file defines the main parts of the Scheduler Manager API. +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +index-entries: [] +interface-type: header-file +links: +- role: interface-placement + uid: /if/domain +- role: interface-ingroup + uid: ../req/group +path: rtems/rtems/scheduler.h +prefix: cpukit/include +type: interface diff --git a/spec/rtems/scheduler/if/ident-by-processor-set.yml b/spec/rtems/scheduler/if/ident-by-processor-set.yml index c6d88201..515d72f0 100644 --- a/spec/rtems/scheduler/if/ident-by-processor-set.yml +++ b/spec/rtems/scheduler/if/ident-by-processor-set.yml @@ -21,7 +21,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/ident-by-processor.yml b/spec/rtems/scheduler/if/ident-by-processor.yml index ae1dafc9..dbe29b34 100644 --- a/spec/rtems/scheduler/if/ident-by-processor.yml +++ b/spec/rtems/scheduler/if/ident-by-processor.yml @@ -18,7 +18,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/ident.yml b/spec/rtems/scheduler/if/ident.yml index 159faf8e..663618e0 100644 --- a/spec/rtems/scheduler/if/ident.yml +++ b/spec/rtems/scheduler/if/ident.yml @@ -20,7 +20,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/map-priority-from-posix.yml b/spec/rtems/scheduler/if/map-priority-from-posix.yml index 39f89276..d51398de 100644 --- a/spec/rtems/scheduler/if/map-priority-from-posix.yml +++ b/spec/rtems/scheduler/if/map-priority-from-posix.yml @@ -19,7 +19,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/map-priority-to-posix.yml b/spec/rtems/scheduler/if/map-priority-to-posix.yml index 9561ccba..472b9963 100644 --- a/spec/rtems/scheduler/if/map-priority-to-posix.yml +++ b/spec/rtems/scheduler/if/map-priority-to-posix.yml @@ -19,7 +19,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/if/remove-processor.yml b/spec/rtems/scheduler/if/remove-processor.yml index 0eff88fe..d7a8b182 100644 --- a/spec/rtems/scheduler/if/remove-processor.yml +++ b/spec/rtems/scheduler/if/remove-processor.yml @@ -20,7 +20,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: ../../task/if/header + uid: header - role: interface-ingroup uid: group - role: constraint diff --git a/spec/rtems/scheduler/req/group.yml b/spec/rtems/scheduler/req/group.yml new file mode 100644 index 00000000..d17389c9 --- /dev/null +++ b/spec/rtems/scheduler/req/group.yml @@ -0,0 +1,16 @@ +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 +identifier: RTEMSImplClassicScheduler +links: +- role: requirement-refinement + uid: ../../req/group +non-functional-type: design-group +rationale: null +references: [] +requirement-type: non-functional +text: | + The software architecture shall have a component containing the Scheduler + Manager implementation. +type: requirement -- cgit v1.2.3