This repository contains NASA's Operating System Abstraction Layer (OSAL), which is a framework component of the Core Flight System.
This is a collection of abstraction APIs and associated framework to be located in the osal
subdirectory of a cFS Mission Tree. The Core Flight System is bundled at https://github.com/nasa/cFS, which includes build and execution instructions.
The autogenerated OSAL user's guide can be viewed at https://github.com/nasa/cFS/blob/gh-pages/OSAL_Users_Guide.pdf.
- Enable symbol api test and MIR dump too large
- MIR symbol too long or table to long for osloader test
- Add bsp-specific configuration flag registry
- Add os-specifc socket flag function
- See nasa#1158 and nasa/cFS#359
- Add typecast to memchr call
- Regex update in coverage enforcement to match
.0
- See nasa#1145 and nasa/cFS#351
- Add UTAssert macros that help test bit field storage
- See nasa#1138 and nasa/cFS#348
- Add test case types similar to NA
- See nasa#1132 and nasa/cFS#340
- Add absolute branch coverage check
- See nasa#1127 and nasa/cFS#333
- Add UtAssert_MIR macro
- Add generic asserts from CFE coverage testing
- Add osapi-shell-stubs.c to OSAL stub library
- See nasa#1126 and nasa/cFS#328
- Add unit test branch coverage
- See nasa#1116 and nasa/cFS#313
- Add independent OS_rename functional test parameter checks
- See nasa#1113 and nasa/cFS#311
- Skip these "timer reconfig" unit tests on non-POSIX platforms. Add documentation clearly indicating that the API must not be called from a timer context.
- See nasa#1100 and nasa/cFS#297
- Add range to OS_TaskDelay checks
- Return
OS_OBJECT_ID_UNDEFINED
for root task ID on RTEMS - Increase timeout in network-api-test
- Avoid task delete during UtPrintf
- Increase UT symbol dump size limit
- Do not register RTOS timer for external sync
- Add osal# prefix to Network API group
- Increase timeout in network-api-test
- See nasa#1098 and nasa/cFS#287
- implement missing parameter/retcode test permutations
- See nasa#1079 and nasa/cFS#270
- Implement Coding Standard Rules in CodeQL
- rename doc to docs
- add mutex lock around UtAssert globals
- resolve discrepancies between file API and unit tests
- resolve discrepancies between filesys API and unit tests
- resolve discrepancies between idmap API and unit tests
- resolve discrepancies between select API and unit tests
- resolve discrepancies between socket API and unit tests
- const correct OS_SelectFdIsSet
- Add missing OS_Select param doc
- Add Workflow to build and verify OSAL API Guide
- add detail design template
- Update error codes and documentation
- Increase UT object limit for testing
- See nasa#1076 and nasa/cFS#265
- include doxygen targets locally
- resolve discrepancies between timer API and unit tests
- Ensure correlation between the test cases and documented return values for the OSAL timer API.
- resolve discrepancies between binsem API and unit tests
- add missing clock retcode tests
- resolve discrepancies between common API and unit tests
- resolve discrepancies between countsem API and unit tests
- resolve discrepancies between dir API and unit tests
- resolve discrepancies between module API and unit tests
- resolve discrepancies between mutex API and unit tests
- resolve discrepancies between queue API and unit tests
- resolve discrepancies between task API and unit tests
- resolve discrepancies between timebase API and unit tests
- check misc API return codes
- Rename CodeQL cFE Build and add Duplicate Job
- filter only whole words for keyword match
- update OSAL Config Guide link
- See nasa#1058 and nasa/cFS#263
- Adds Counting Semaphore Test with timeouts
- Removes chance of deadlock by ensuring OS_TaskGetId returns the task ID it knows about, regardless of whether the task is pending cancellation or not. Defers cancellation of the task while the BSP is locked, ensure it reaches the unlock, then restores the previous cancel state.
- Fixes a bogus debug message about unlocking from the wrong task if the task is pending delete. See nasa#1050 and nasa/cFS#260
- Makes filenames better match terms used in implementation.
- Propagates return code from the caller in low-level implementations when status is not
OS_SUCCESS
. - The status returned from
OS_rmdir()
should now be correct if the implementation failed. - Adds details to log file and can be cross referenced back to documentation.
- Updates most of the conditions in the "unit tests" to use the support macros whenever possible.
- The macros display the function being called as well as the return value being checked for and enables that documented return codes are being tested. Removes repetition in the test programs.
- Removes blank lines in test log while preserving extra newlines in the event that the test case was intentionally adding whitespace.
- Adds tests for object id inline functions:
OS_ObjectIdToInteger
,OS_ObjectIdFromInteger
,OS_ObjectIdEqual
,OS_ObjectIdDefined
- Changes tests to use valid inputs for all
OS_mkdir
calls. - [docs] Improves config guide documentation issues referenced in #384, #640, #672
- [continuous-integration] Adds new workflow to display CodeQL alerts preview
- Updates the configuration guide to reflect cmake build system and the currently provided set of OS/BSP layers. Removes obsolete items from guide.
- Converts UtAssert API documentation to doxygen and corrects stale and incorrect references.
- Clarifies use of the stack_size parameter, and that it should not be 0.
- Ensures consistency between the return values generated by each OSAL API and the doxygen documentation.
- Fixes missing or incorrect explicitly-returned status code in the coverage tests.
- Corrects one argument name mismatch in QueueCreate where it was prototyped as "data_size" but implemented as "max_size".
- See nasa#996 and nasa/cFS#256
- Fixes infinite loop in
UtPrintx()
. Adds the data's memory address to output. Note, UtPrintf displays the file/line of theUtPrintx
function, not the actual test location; it is better to callUT_BSP_DoText
directly. - Adds
OS_SocketShutdown()
API wrapper around BSD's socket shutdown() API. This allows a data transfer of a stream socket to be gracefully shut down prior to socket closure. - See osal nasa#979 and nasa/cFS#252
- [docs] Clarifies that zero will be returned on EOF condition in the API documentation for OS_read/write/TimedRead/TimedWrite. In the case of the timed API calls, the
OS_ERR_TIMEOUT
status code will be returned if the timeout expired without the handle becoming readable/writable during that time. - Addresses shortcomings in the UT Assert hook functions. Namely the assumed return type of int32 which is not always the case.
- Adds the concept of a "handler" function to UT assert to replace hard-coded custom logic in UT assert. A handler is the custom logic that exists between the hook function and the return to the stub caller. The handler is directly responsible for setting all outputs.
- Adds a script to auto-generate stub functions that match this pattern. Given an API header file, the script extracts the declarations, and generates a source file with stub definitions that rely on a separate handler to deal with the needed outputs.
- Refactors
os-shared-printf.h
) into two parts to improve the compatibility with the script method. - Updates all existing stubs in OSAL to use the auto-generated stub logic from the script, created directly from the C header. This ensures that stubs will match the FSW implementation.
- [continuous-integration] Adds a local osal-specific makefile to help build unit tests. Adds a new github workflow that runs the unit tests in both the context of the bundle configuration and the local OSAL config. Verifies 100% line coverage.
- Fixes incorrect token use in
OS_SocketAccept
. Enables thenetwork-api-test
to handle multiple connections that re-use the same acceptor socket between them. - Promotes the
OS_CONFIG_CONSOLE_ASYNC
option into the shared layer to remove duplicate implementation code and add more coverage testing. - Adds an osconfig option to allow the user to elect this mode at configuration time.
- Changes parameter names to avoid collisions. Renames
access
asaccess_mode
inosapi-file.h
. Renamestime
asTimeSp
inos-impl-posix-gettime.c
. - Deletes the broken RTEMS
os-impl-shell.c
file so OSAL builds withOSAL_CONFIG_INCLUDE_SHELL=true
. RTEMS will always reportOS_ERR_NOT_IMPLEMENTED
. - See nasa#967 and nasa/cFS#248
- Replaces the separate "Initialized" and "Shutdown" flags with a single state flag. Creates a global single source of truth for the OSAL state. This enables users to run tests and OS_API_Init() multiple times without a reboot in the middle to reset the state.
- Multiple invocations of OS_API_Init() are allowed - subsequent calls can be ignored
- Deleting of any internal objects that did get created if OS_API_Init() fails (this leaves system in same state as when it started)
- Allows Re-initialization of OSAL after OS_ApplicationShutdown() - may be relevant when running unit tests several times without rebooting.
- Adds OS_API_Teardown to complement OS_API_Init. This cleans up all OSAL resources ideally leaving the system in a state where
OS_API_Init()
may be invoked again. - Reworks the shell unit test which was probably not working. Note this requires modifying the osal config to enable shell, otherwise test is skipped.
- See nasa#956 and nasa/cFS#242
- Replaces nonstandard header file block comments and include guards. No behavior changes
- Removes
CLOCK_MONOTONIC
as the osal clock source since PSP no longer needs it.OS_GetLocalTime()
andOS_SetLocalTime()
will work as described. - Replaces
shellName
with a specificlocalShellName
that can be polled safely and changes its type to a char ofOS_MAX_API_NAME
length for safety. - See nasa#951 and nasa/cFS#238
- Removes
SOFTWARE_BIG_BIT_ORDER
andSOFTWARE_LITTLE_BIT_ORDER
macros fromcommon_types.h
. These are not needed by OSAL and cannot handle all cases. Application code with endianness dependency that was relying on these symbols may break. Users should leverage code in cFE:cfe_endian.h
. See nasa/cFE#1218 for more details. - Applies minor code and documentation cleanup: white space, typos, etc.
- Adds test to get full coverage of vxworks in
os-impl-bsd-socket.c
resulting in full line coverage for OSAL - Adds more descriptive return codes if
OS_SymbolTableDump_Impl
does not do what is expected. Adds a new errorOS_ERR_OUTPUT_TOO_LARGE
if the size limit was insufficient. ReturnOS_ERROR
if an empty file was written - this likely indicates some fundamental issue with the VxWorks symbol table. ReturnsOS_ERR_NAME_TOO_LONG
if one of the symbol names was too long. Improves unit test to check for/verify these responses. - Removes the unneeded
OS_TaskRegister()
and all references to it in code, tests, and documentation. No impact to behavior, but does affect API and has dependencies - Removes unused
-SCRIPT_MODE
flag in cmake - Remove comparison between
osal_id_t
andintegers
to use the provided comparison function,OS_ObjectIdDefined()
. System builds and runs again when using a type-safe/non-integer osal_id_t type. - See nasa#927
- Moves copyblock size to a macro and add comments. Defines
OS_CP_BLOCK_SIZE
and adds clear documentation that it could be adjusted for page size, performance, etc. - Removes while loop
- Replaces all #includes of <os and <OSC_ matches with " to match coding standard.
- Consolidates the duplicated switch in
OS_SocketOpen_Impl
- Add const to input pointers for
OS_FdSet_ConvertIn_Impl
andOS_ObjectIdTransactionFinish
- Removes network prototypes defined in
osapi_sockets.h
that are also inosapi_network.h
- Removes
NULL
redefine fromcommon_types.h
- Adds
Contributing.md
that points to bundle-level contribution guide - Reports test cases that "fail" as "not implemented" with new
UtAssert_NA
macro instead ofUtPrintf
- Calls to
OS_SelectSingle
andOS_SelectMultiple
will fail if an FD within the set is outside the range of the underlyingFD_SETSIZE
from the C library. - Fixes calculation used for the relative time interval in the
select()
call. Also adds a UT case that specifically exercises the carryover described. Fixes delay when this carry condition is hit - Documents algorithm that provides application-controlled timeout on the connection initiation. Also adds a debug statement if the connect fails for a reason other than
EINPROGRESS
. No impact to normal behavior. - Adds check for
EAGAIN
if the system fails to allocate kernel-internal resources. - Adds a
CompileTimeAssert
to confirm that the size of the abstract buffer for socket addresses is large enough to store any of the enabled address types thereby removing the need for runtime tests. - With this change, if
OS_SOCKADDR_MAX_LENis
not large enough for the address type, osal will fail to compile. This enforces that the abstract size is large enough for any/all enabled address types, regardless of what is actually used. - Adds missing functional test for
OS_ShellOutputToFile
- Add test for
fcntl()
error return of -1 and report errno. If settingO_NONBLOCK
fails, then debug message is printed and blocking mode is used and timeouts will not work as a result. - Improves error codes when attempting to seek on a pipe/socket. Translates the
OS_ERR_OPERATION_NOT_SUPPORTED
error rather than "not implemented". TheESPIPE
errno means that seeking is not supported on the given file handle. - Renames
OS_U32ValueWrapper_t
asOS_VoidPtrValueWrapper_t
to better indicate its purpose. The point is to pass a value through avoid*
. Adds a compile-time assert to check that this is only used to directly pass values which have a size of less than or equal to sizeof(void*). - Refactors the return statement for
OS_FileSys_FindVirtMountPoint()
so it is easier to read and adds some informational comments. - Reports an error if calling
timer_gettime
aftertimer_settime
fails. - Returns
OS_ERROR
status to caller after an error on moduleInfoGet() - Removes an extraneous/unreachable OS_ObjectIdDefined check and its accompanying debug statement. The only way this check could have been reached would be if the normal unlock process was bypassed such that the underlying OS mutex was unlocked but OSAL state still had it owned by a task. This condition never happens at runtime.
- Updates documentation for
OS_MAX_MODULE
- See nasa#917
- Fix #836, Add Testing Tools to the Security Policy
- See nasa#838
- Avoids various "possible uninitialized variable" warnings for routines that utilize this API.
- Renames
sockaddr*
structures tosa*
to deconflict from structure name inos-impl-bsd-sockets.c
. AddsOS_NETWORK_SUPPORTS_IPV6
toos-impl-bsd-sockets.c
compilation. Renamesbsd-select-stubs.c
tosys-select-stubs.c
. Coverage now includes all currently possible files in VxWorks build - Resolves CodeQL security warning by restricting permissions on file create.
- Changes comments using "cpp" comment style to "c" style
- Adds new accessor functions APIs to get version strings and return the values of string macros defined in
osapi-version.h
.- The "simple" version currently
OS_VERSION
macro - this is the semantic version without any extra detail. This is returned byOS_GetVersion()
. - The "descriptive" version in
OS_VERSION_STRING
macro - this has extra detail like the most recent official release. This is returned byOS_GetVersionDescription()
. - The release code name, now returned by
OS_GetVersionDescription()
.
- The "simple" version currently
- These accessor functions are the preferred way to get the OSAL version string, from now on users should avoid using the macro definitions as it is evaluated at OSAL library compile time, rather than application compile time, and thus will remain correct in the event that OSAL is relinked without recompiling the application.
Adds
osapi-version.c
to implement these 3 calls and associated coverage test. This allows the version.c file to be auto-generated in the future. - See nasa#835
- Makes tests skip after getting their first not implemented error.
- Updates stub helpers to match the behavior of calling the default implementation stub macro (NULL VA list)
- Removes redundant logic and assignment to fix static analysis warnings
- Truncates at the end of the logic flow for socket name as opposed to possibly 3 different locations. Fixes static analysis warning.
- Renames
timer_id
in unit tests tolocal_timer_id
to avoid conflicts - Removes all deprecated elements
- No behavior change. Renames
UT_Stub_CheckForceFail
toUT_Stub_CheckDefaultReturnValue
, also only setsValue
if notNULL
(can pass in NULL value doesn't matter) - See nasa#830
- Adds test cases for
OS_ObjectIdFinalizeDelete
,OS_DeleteAllObjects
, and others to get 100% line and function coverage on VxWorks and shared/portable layers. - Ensures APIs check for
NULL
inputs or have documentation stating that a null value is allowed. - Adds timeout to static analysis check and adds format check. Removes old .travis.yml and updates badges in readme.
- Adds Code QL analysis on push to main and pull requests (to main)
- Cleans commented-out code in tests to address static analysis warnings
- Initializes local variables to avoid returning uninitialized values from stubs and address static-analysis findings
- Replaces two local return codes defined as
uint32
withint32
to resolve static-analysis warnings - Simplifies switch statements based on previous checks. Removes unreachable, dead code to resolve static-analysis warnings
- Terminates unit test macros variadic lists with
NULL
to address CWE-121 CodeQL warning - Adds a check to send the semaphore to avoid unreachable code
- Adds a status return to
OS_ConsoleAPI_Init
so debug warnings will get reported correctly on errors. - Declares
DummyVec
as static to avoid warning and returning stack allocated memory when returningVecTbl
inOSC_INUM_TO_IVEC
stub - Updates types in
os-impl-no-symtab.c
to match latest APIs - Updates types in
os-impl-no-symtab.c
to match latest APIs - Fixes missing
NULL
terminations and applies the standard "sizeof" pattern where appropriate. No longer truncates filename inOS_ModuleInfo
. - Fixes
%u
conversion in RTEMS so to address build warning - Create a wrapper around
memchr()
that mimics the non-C99 functionstrnlen()
defined in POSIX-2008. Use this instead ofstrlen()
whenever the string being checked either originates in or will be copied into a fixed-length array buffer. No behavior changes except if a bug causes strings to be unterminated. - No behavior change, applies the standard formatting using
clang-format
- See nasa#774
- Fixes
printf
format to correctly build in RTEMS-5. - Deprecates
OS_fsBlocksFree()
andOS_fsBytesFree()
in favor ofOS_FileSysStatVolume()
. - Adds
Security.md
with instructions to report vulnerabilities. - Add
UtDebug
inOS_printf
stub. Output theOS_printf
input as a debug message from stub. - Documentation: Add note on
UtTest_Add
API. NestingUtTest_Add
from within an added test fails without error. - Unit Test: No more garbage characters written to test report log
- Fix typo in
osapi.h
affecting C++ build. No other functional change - Unit Test: Rename
UT_ClearForceFail
asUT_ClearDefaultValue
. Update the comments ofUT_SetDefaultReturnValue
to match the more general function. - Unit Test: Add test teardown failures to the test summary and changed the printout to use the same style as startup failures.
- Unit Test: Removes no longer applicable
UT_CheckForOpenSockets
since the UT framework resets the state for each unit test. - Changes the file-create operation to read-write permissions to work on RTEMS
- Unit Test: Fixes incorrect assertions in
network-api-test
to correctly check return values. - Unit Test: Generalizes queue timeout test to also test message queue functionality to validate settings and permissions to work with mqueues.
- Implements
OS_time_t
with a single 64-bit tick counter rather than a split 32 bit seconds + 32 bit microseconds counter. - Unit Test: Installs the modules used in unit testing and adds removal of post-test, left-over files.
- See https://github.com/nasa/osal/pulls/767
- Address issues with OSAL global table management:
- use iterators whenever possible
- use an unlock key rather than task ID so OS_TaskExit() doesn't trigger a warning
- general cleanup of lock/unlock impl and remove redundant logic
- unlock global tables during create/delete
- keep threads "attached" in POSIX, so they can be joined when deleted.
- No longer triggers warning with OS_TaskExit() on VxWorks (see #645)
OS_TaskDelete()
on POSIX does not return until the task has actually exited (see #642)- The chmod test is now skipped on VxWorks rather than failing. The
OS_FileChmod_Impl()
function now returnsOS_ERR_NOT_IMPLEMENTED
when run on a file system that does not have permissions, which in turn causes the unit test to be skipped rather than fail. - Corrects a file handle leak.
- Add parameter check to
OS_SocketSendTo
and adjust coverage test to validate. - Replace
OS_fsBytesFree
andOS_fsBlocksFree
withOS_FileSysStatVolume
. This new API for getting stats on file system. Uses existingOS_FileSysStatVolume_Impl
call and exposes it in the public API. - When cleaning up for shutdown, delete resources that have a task/thread first, followed by other resource types. This helps avoid possible dependencies as running threads might be using the other resources. No detectable external impact; internally, the tasks are deleted first during shutdown, which only has an impact if/when tasks are actively using other OSAL resources.
- The mount/unmount VxWorks implementation was not adequately checking for and handling the
FS_BASED
pass -through mapping type - which should be mostly a no-op. Create a mount point directory if it does not already exist when using this mapping type for consistency with POSIX. - Adds a documentation note to
OS_FileSysAddFixedMap()
: The virtual mount point cannot be empty - soOS_FileSysAddFixedMap(.., "/", "/")
does not work butOS_FileSysAddFixedMap(.., "/", "/root")
does work and allows one to open files in the root as"/root/"
from OSAL applications. Mount-point directories do not need to previously exist when using OS_FileSysAddFixedMap - store
taskTCB
return in avoid *
, then cast toOS_impl_task_internal_record_t *
to avoid a strict alignment compiler error - Removes the non-portable
OS_PACK
andOS_ALIGNED
macros. - Uses the POSIX dir implementation on VxWorks 6.9. The only incompatibility is the prototype for
mkdir()
which is missing the second argument; this is worked around with a compatibility macro for VxWorks 6.x builds. - Translate and convert the VxWorks coverage test cases to the portable dir implementation, which benefits VxWorks7, RTEMS, and POSIX.
- Fixes prototypes so they run on RTEMS by replacing uint32 with size_t
- Adds
OS_CHECK_POINTER
macros toOS_ConvertToArrayIndex
andOS_TimeBaseGetFreeRun
so they can handle NULL pointers and return the correct error. - Adds access functions to convert/extract different units from an OS_time_t value - so that other code in CFE/PSP/Apps can be updated to use the access functions and thereby not break when the internal time definition changes. Replaces the
int32
withOS_time_t
in the "stat" structure used by the file module. Updates the pointer argument toOS_SetLocalTime()
to beconst
. Prototype change ofOS_SetLocalTime()
should be backward compatible. - See https://github.com/nasa/osal/pulls/750
- Document UtAssert_Message parameters, also adds "see also" note for helper macros.
- Fix doxygen typo
- Replace
OS_BinSemFlush
withOS_BinSemGive
to prevent a rare race condition. Change the port numbers to be different from network test for when tests are run in parallel. - Fix doxygen format errors. Usersguide now builds without warnings.
- Suppress invalid cppcheck warning in
OS_WaitForStateChange
- Add cppcheck static analysis workflow to osal CI
- See nasa#744
- Convert the OSAL Configuration Guide from docx and pdf to a markdown file.
- Test Tasks do not run at 100%. Move all definitions and instantiations out of the core-test header file and reuse the already-existing single task definition.
- Break up
osapi-os-*.h
files into units that correspond to the implementation units. Kept old header file names for compatibility. - Reworks the POSIX global lock implementation. Does not change the POSIX signal mask when locking/unlocking the global.
- Fixes a race condition.
- Adds a condition variable to the global lock structure. improves handling of tasks competing for access to the same object.
- No longer changing signal masks repeatedly/unexpectedly. May be relevant to some BSP/driver developers.
- Checks return of sysconf for error and reports them. Only sets PageSize on success. If sysconf fails it provides a mechanism to avoid error propagation.
- Uses
errno
instead of status return fromclock_getres
withstrerror
reporting. - Adds support for VxWorks 7
- See nasa#690
- Add support for RTEMS 5.1 in the OSAL and provides defines and necessary ifdefs so RTEMS 4.11 can continue to be supported.
- Adds functional test for OS_chmod
- Refactor the table array access across OSAL. Use a token concept in combination with a macro to obtain the table entry instead of indexing arrays directly. All access is then done through this table pointer. Use the full object ID in the timer call back list. Update the timer sync callback prototype. Pass the entire OSAL ID to the sync function, not just the index. This is technically an API change.
- Replaces condition on forever loops to end on shutdown. Loops now exit on shutdown.
- Removes obsolete printf tests that didn't work
- See nasa#680
- Rename
UT_SetForceFail
toUT_SetDefaultReturnValue
since some functions that retain more than 1 value are not necessarily failing - Add a 5th timer to TimerTest functional to test the one shot (zero-length time interval) case.
- Ensure all APIs use the proper type. Sizes are now size_t; these will now be 64 bits on a 64 bit platform.
- Fix build issue on VxWorks 6.9 by using the 3 argument form of
open()
. Passing0
as the mode solves the build issue. This parameter is ignored when not creating a file. - The address calculations now use
unsigned long
instead oflong
to ensure that all rounding and base address adjustments behave the same way in the event that the addresses lie in the upper half of memory (i.e. start with a 1 bit) which would put it in the negative range of a long type. - See nasa#662
- Ensure that the handle is not NULL before invoking dlclose(). In particular the handle will be NULL for static modules. Shutdown after CTRL+C occurs normally (no segfault).
- Add a "flags" parameter to OS_ModuleLoad() to indicate the desired symbol visibility:
- GLOBAL (0, the default, and matches current behavior)
- LOCAL which hides from other modules and prevents other modules from binding to symbols in this module, thereby ensuring/preserving the ability to unload in the future
- CFE should use LOCAL flag for apps, and GLOBAL flags for libraries.
- See nasa#652
- When
OS_DEBUG
is enabled, this adds a message if mutex give/take actions occur outside the expected sequence. This informs the user (via the debug console) if a lock is taken more than once or if a lock is given by a different task than the one that originally took it:
OS_MutSemTake():216:WARNING: Task 65547 taking mutex 327685 while owned by task 65547
- Removes all FIXME comments
- Resolves security/filename race issue by opening file and acting on descriptor by adding fstat stub
- Squashed the minor recommended bugs
- UtAssert macros now accept variable string arguments.The
UtAssert_True
wrapper around call is no longer needed to accommodate dynamic string output, thus removing the double assert. UtAssert macros will now be able to offer more information by themselves. - See nasa#639
- Apply standard formatting, whitespace-only changes
- See nasa#627
- Deprecate
OS_open
andOS_creat
to and replaced them with byOS_OpenCreate
, which implements both functions via flags, and follows the correct OSAL API patterns. - Change use of uint32 for ID to the correct typedef. Also use ObjectIdFromInteger/ObjectIdToInteger where it is intended to convert these values to integers e.g. for the "name" fields in RTEMS.
- See nasa#621
- Adds an event callback mechanism to certain state changes in OSAL. This allows the CFE PSP to be notified at these points, and therefore it can add platform-specific functionality.
- Correct issues involving recent OS_Milli2Ticks change.
- See nasa#612
- Removes OS_Tick2Micros and internalize OS_Milli2Ticks.
- Adds ut_assert address equal macro.
- See nasa#607
- Sets Revision to 99 for development builds
- See nasa#600
- Move this existing function into the public API, as it performs more verification than the OS_ConvertToArrayIndex function.
- The C library type is signed, and this makes the result check work as intended.
- See nasa#596
- In the next major OSAL release, this code will be no longer supported at all. It should be removed early in the cycle to avoid needing to maintain this compatibility code. This code was already conditional on the OSAL_OMIT_DEPRECATED flag and as such the CCB has already tested/verified running the code in this configuration as part of CI scripts. After this change, the build should be equivalent to the result of building with OMIT_DEPRECATED=true.
- See nasa#582
- Removes internal functions that are no longer used or defined but whose prototypes and stubs were still present in OS_ObjectIdMap
- Removes repetitive clearing of the global ID and unlocking global table and replaces these with common implementation in the idmap source file. This moves deleting tables to be similar to creating tables and provides a common location for additional table-deletion-related logic.
- Propagates return code from OS_TaskRegister_Impl(). If this routine fails then return the error to the caller, which also prevents the task from starting.
- See nasa#576
- Adds OSAL network APIs missing functional tests as well as tests for OS_TimedRead and OS_TimedWrite
- Allows separate, dynamic registration of test setup and teardown routines which are executed before and after the normal test routine, which can create and delete any global/common test prerequisites.
- Adds FileSysAddFixedMap missing functional API test
- See nasa#563
OS_SocketOpen()
setssock_id
and returns a status when successful.- Changed timer-test to be able to use OS_MAX_TIMERS value on top of the hard-coded NUMBER_OF_TIMERS value. This will allow the test to be functional even if the OS_MAX_TIMERS value is reconfigured.
- Ensures that
- All stub routines register their arguments in the context, so that the values will be available to hook functions.
- The argument names used in stubs match the name in the prototype/documentation so the value can be retrieved by name.
- Adds back rounding up to PTHREAD_STACK_MIN and also adds rounding up to a system page size. Keeps check for zero stack at the shared level; attempts to create a task with zero stack will fail. Allows internal helper threads to be created with a default minimum stack size.
- Avoids a possible truncation in snprintf call. No buffer size/truncation warning when building with optimization enabled.
- Added new macros to
osapi-version
to report baseline and build number - The coverage binaries are now correctly installed for CPU1 and CPU2 as opposed to installed twice to CPU2 but not at all for CPU1.
- Fixes a typo in ut_assert README and clarifies stub documentation.
- See nasa#529
- Command line options in Linux are no longer ignored/dropped.
- No impact to current unit testing which runs UT assert as a standalone app. Add a position independent code (PIC) variant of the ut_assert library, which can be dynamically loaded into other applications rather than running as a standalone OSAL application. This enables loading UT assert as a CFE library.
- Unit tests pass on RTEMS.
- Resolve inconsistency in how the stack size is treated across different OS implementations. With this change the user-requested size is passed through to the underlying OS without an enforced minimum. An additional sanity check is added at the shared layer to ensure that the stack size is never passed as 0.
- Update Licenses for Apache 2.0
- See nasa#521
-
Add "non-zero" to the out variable description for OS_Create (and related) API's.
-
Increases the buffer for context info from 128 to 256 bytes and the total report buffer to 320 bytes.
-
Add stub functions for
OS_TaskFindIdBySystemData()
,OS_FileSysAddFixedMap()
,OS_TimedRead()
,OS_TimedWrite()
, andOS_FileSysAddFixedMap()
-
Added the following wrappers macros around
UtAssert_True
for commonly-used asserts:UtAssert_INT32_EQ
- check equality as 32 bit signed intUtAssert_UINT32_EQ
- check equality as 32 bit unsigned intUtAssert_NOT_NULL
- check pointer not nullUtAssert_NULL
- check pointer is nullUtAssert_NONZERO
- check integer is nonzeroUtAssert_ZERO
- check integer is zeroUtAssert_STUB_COUNT
- check stub count
-
Using
unsigned long
instead ofuintmax_t
to fix support for VxWorks
- Rename BSPs that can be used on multiple platforms.
mcp750-vxworks
becomesgeneric-vxworks
pc-linux
becomesgeneric-linux
- New features only, does not change existing behavior. UT Hook functions now have the capability to get argument values by name, which is more future proof than assuming a numeric index.
- Add functional test for
OS_TimerAdd
- Added functional tests for
OS_TimeBase Api
onOS_TimeBaseCreate
,OS_TimeBaseSet
,OS_TimeBaseDelete
,OS_TimeBaseGetIdByName
,OS_TimeBaseGetInfo
,OS_TimeBaseGetFreeRun
- See nasa#487 for details
- Add functional tests for
OS_IdentifyObject
,OS_ConvertToArrayIndex
andOS_ForEachObject
functions. - Fix doxygen warnings
- Unit test cases which use
OS_statfs
and run on anRTEMS IMFS
volume will be skipped and categorized as "NA" due toOS_ERR_NOT_IMPLEMENTED
response, rather than a failure. - The device_name field was using the wrong length, it should be of
OS_FS_DEV_NAME_LEN
Also correct another length check on the local path name. - For RTEMS, will not shutdown the kernel if test abort occurs.
- Unit tests work on RTEMS without BSP preallocating ramdisks
- If
OSAL_EXT_SOURCE_DIR
cache variable is set, this location will be checked first for a BSP/OS implementation layer. - Implement
OS_GetResourceName()
andOS_ForEachObjectOfType()
, which are new functions that allow for additional query capabilities. No impact to current behavior as the FSW does not currently use any of these new APIs. - A functional test enhancement to
bin-sem-test
which replicates the specific conditions for the observed bug to occur. Deletes the task callingOS_BinSemTake()
and then attempts to use the semaphore after this. - Employ a
pthread
"cleanup handler" to handle the situation where a task is canceled during thepthread_cond_wait()
call. This ensures that themutex
is unlocked as part of the cleanup, so other tasks may continue using the semaphore. - Change all initial
mutex
locking to be a finite "timed" wait rather than an infinite wait. In all cases, the condition variable is only held for brief periods of time and should be readily available. If a task blocks for a long time, this considers the mutex "broken" and aborts, thereby avoiding deadlock. This is a "contingency" fix in that if an exception or signal or other unknown/unhandled async event occurs that leaves the mutex permanently locked. - Adds the mutex to protect the timer callback
timecb
resource table. - See nasa#482
OS_QueueCreate()
will return an error code if the depth parameter is larger than the configuredOS_MAX_QUEUE_DEPTH
.- See nasa#477
- Resized buffers and added explicit termination to string copies. No warnings on GCC9 with strict settings and optimization enabled.
- New API to reverse lookup an OS-provided thread/task identifier back to an OSAL ID. Any use of existing OStask_id field within the task property structure is now deprecated.
- See nasa#458
- Changes the build system.
- No more user-maintained osconfig.h file, this is now replaced by a cmake configuration file.
- Breaks up low-level implementation into small, separate subsystem units, with a separate header file for each one.
- See nasa#444
- Adds library build, functional, and coverage test to CI
- Deprecates
OS_FS_SUCCESS, OS_FS_ERROR , OS_FS_ERR_INVALID_POINTER, OS_FS_ERR_NO_FREE_FDS , OS_FS_ERR_INVALID_FD, and OS_FS_UNIMPLEMENTED
from fromosapi-os-filesys.h
- Individual directory names now limited to OS_MAX_FILE_NAME
- Fix tautology, local_idx1 is now compared with local_idx2
- Module files are generated when the
osal_loader_UT
test is built and run - Consistent osal-core-test execution status
- See nasa#440 for more details
- Added coverage test to
OS_TimerCreate
forOS_ERR_NAME_TOO_LONG
. - Externalize enum for
SelectSingle
, ensures that pointers passed toSelectFd...()
APIs are not null, ensures that pointer toSelectSingle
is not null. - Command to run in shell and output to fill will fail with default (not implemented) setting.
- Builds successfully using the inferred OS when only
OSAL_SYSTEM_BSPTYPE
is set. Generates a warning whenOSAL_SYSTEM_BSPTYPE
andOSAL_SYSTEM_OSTYPE
are both set but are mismatched. - See nasa#433 for more details
- Use the target_include_directories and target_compile_definitions functions from CMake to manage the build flags per target.
- Build implementation components using a separate CMakeLists.txt file rather than aux_source_directory.
- Provide sufficient framework for combining the OSAL BSP, UT BSP, and the CFE PSP and eliminating the duplication/overlap between these items.
- Minor updates (see nasa#417)
- The more descriptive return value OS_ERR_NAME_NOT_FOUND (instead of OS_FS_ERROR) will now be returned from the following functions (): OS_rmfs, OS_mount, OS_unmount, OS_FS_GetPhysDriveName
- Wraps OS_ShMem* prototype and unit test wrapper additions in OSAL_OMIT_DEPRECATED
- Minor updates (see nasa#408)
- Minor updates (see nasa#369)
- Fixes memset bug
- Minor updates (see nasa#361)
- Minor updates (see nasa#355)
- Fixed osal_timer_UT test failure case
- Minor updates (see nasa#350)
- Minor updates (see nasa#334)
- Minor updates (see nasa#292)
- Bug fixes and minor updates (see nasa#281)
- Minor updates (see nasa#264)
- Changes are detailed in cFS repo release 6.7.0 documentation
- Released under the Apache 2.0 license
- Released under the NOSA license
- See version description document
- This is a point release from an internal repository
Typically OSAL is built and tested as part of cFS as detailed in: cFS repo
OSAL library build pc-linux example (from the base osal directory):
mkdir build_osal
cd build_osal
cmake -DOSAL_SYSTEM_BSPTYPE=generic-linux ..
make
OSAL permissive build with tests example (see also CI)
mkdir build_osal_test
cd build_osal_test
cmake -DENABLE_UNIT_TESTS=true -DOSAL_SYSTEM_BSPTYPE=generic-linux -DOSAL_CONFIG_DEBUG_PERMISSIVE_MODE=TRUE ..
make
make test
See the Configuration Guide for more information.
See also the autogenerated user's guide: https://github.com/nasa/cFS/blob/gh-pages/OSAL_Users_Guide.pdf
See all open issues and closed to milestones later than this version.
For best results, submit issues:questions or issues:help wanted requests at https://github.com/nasa/cFS.
Official cFS page: http://cfs.gsfc.nasa.gov