[RTEMS Project] #4918: Some functions are listed as unspecified on ICD

[RTEMS trac]

#4918: Some functions are listed as unspecified on ICD
----------------------------+--------------------
  Reporter:  Daniel Páscoa  |      Owner:  (none)
      Type:  defect         |     Status:  new
  Priority:  normal         |  Milestone:
 Component:  admin          |    Version:
  Severity:  normal         |   Keywords:
Blocked By:                 |   Blocking:
----------------------------+--------------------
 During the analysis of the Interface Control Document (ICD), it was
 observed that certain functions have been designated as unspecified in
 terms of their functionality. The following functions fall under this
 category:

 **Newlib Functions:**
 •       _Futex_Wait()
 •       _Futex_Wake()
 •       _Mutex_Acquire()
 •       _Mutex_Acquire_timed()
 •       _Mutex_recursive_Acquire()
 •       _Mutex_recursive_Acquire_timed()
 •       _Mutex_recursive_Release()
 •       _Mutex_recursive_Try_acquire()
 •       _Mutex_Release()
 •       _Mutex_Try_acquire()

 **General Scheduler Configuration:**
 •       RTEMS_SCHEDULER_ASSIGN()

 **C and POSIX:**
 •       clock_nanosleep()
 •       flsl()
 •       memcpy()
 •       memset()
 •       posix_memalign()

 **Dynamic Memory Allocation:**
 •       rtems_calloc()
 •       rtems_malloc()

 There is a need to enhance the specification of these interfaces, which
 are currently designated as unspecified, to provide clear and detailed
 information on how these shall be used, their limitations, etc.

 **Additional Notes:**
 This ticket was raised as an outcome of the Independent SW Verification
 and Validation (ISVV) for ESA-promoted RTEMS SMP Qualification Data Packs
 (https://rtems-qual.io.esa.int). The original ISVV reference for this
 issue is RTEMS-SMP-CODE-VAL-003.

--
Ticket URL: <http://devel.rtems.org/ticket/4918>
RTEMS Project <http://www.rtems.org/>
RTEMS Project