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.
- Add OS_StatusToString API
- See nasa/cFS#505
- Resolve UT uninit vars static analysis warnings
- Remove redundant checks in UT
- Resolve UT uninit vars static analysis warnings
- Add RTEMS 6 Support
- See nasa#1260 and nasa/cFS#492
- Update codeql workflows for reusable update
- add os-impl-no-select.c for RTEMS
- See nasa#1251 and nasa/cFS#471
- Fix UtAssert_StringBufCompare SEGV when -1 for size passed in (on CentOS 7)
- Enable format check workflow on push to all branches
- Update Copyright Headers
- Standardize version.h
- See nasa#1239 and https://github.com/nasa/cFS/445
- Revert development version identifier to 99 for revision number
- Fix cFS-build CodeQL reusable worfklow
- Implement OS_ModuleGetInfo_Impl for RTEMS
- Doxygen strip path and expose common config
- Refactor doxygen and remove mainpage
- See nasa#1233 and nasa/cFS#443
- Resolve UT uninitialized variable warnings
- Add ut_assert to doxygen and fix warnings
- Protect if OS_FDGetInfo called on socket
- See nasa#1226 and nasa/cFS#432
- Typesafe definition of osal_id_t
- See nasa#1209 and nasa/cFS#414
- Search global and local symbol tables
- Add missing space to UtAssert_STUB_COUNT
- Add UINT8 and UINT16 equivalents for UtAssert_UINT32_ macros
- correct warnings on gcc11
- Set output in OS_stat handler
- Reuse CodeQL, Static Analysis, Format Check
- See nasa#1212 and nasa/cFS#410
- Add Duplicate Check to Local Unit Test
- Rename OS_XXXTime to OS_XXXLocalTime in comments
- Fix vxWorks intLib stub aliasing issue
- Recognize ifdef __cplusplus
- Remove extern in stub prototypes
- Add typedef for OSAL status codes
- Set new build baseline for cFS-Caelum-rc4: v6.0.0-rc4
- See nasa#1191 and nasa/cFS#390
- 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_UNDEFINEDfor 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_mkdircalls. - [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 theUtPrintxfunction, not the actual test location; it is better to callUT_BSP_DoTextdirectly. - 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_TIMEOUTstatus 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-testto handle multiple connections that re-use the same acceptor socket between them. - Promotes the
OS_CONFIG_CONSOLE_ASYNCoption 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
accessasaccess_modeinosapi-file.h. RenamestimeasTimeSpinos-impl-posix-gettime.c. - Deletes the broken RTEMS
os-impl-shell.cfile 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_MONOTONICas the osal clock source since PSP no longer needs it.OS_GetLocalTime()andOS_SetLocalTime()will work as described. - Replaces
shellNamewith a specificlocalShellNamethat can be polled safely and changes its type to a char ofOS_MAX_API_NAMElength for safety. - See nasa#951 and nasa/cFS#238
- Removes
SOFTWARE_BIG_BIT_ORDERandSOFTWARE_LITTLE_BIT_ORDERmacros 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.cresulting in full line coverage for OSAL - Adds more descriptive return codes if
OS_SymbolTableDump_Impldoes not do what is expected. Adds a new errorOS_ERR_OUTPUT_TOO_LARGEif the size limit was insufficient. ReturnOS_ERRORif an empty file was written - this likely indicates some fundamental issue with the VxWorks symbol table. ReturnsOS_ERR_NAME_TOO_LONGif 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_MODEflag in cmake - Remove comparison between
osal_id_tandintegersto 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_SIZEand 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_ImplandOS_ObjectIdTransactionFinish - Removes network prototypes defined in
osapi_sockets.hthat are also inosapi_network.h - Removes
NULLredefine fromcommon_types.h - Adds
Contributing.mdthat points to bundle-level contribution guide - Reports test cases that "fail" as "not implemented" with new
UtAssert_NAmacro instead ofUtPrintf - Calls to
OS_SelectSingleandOS_SelectMultiplewill fail if an FD within the set is outside the range of the underlyingFD_SETSIZEfrom 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
EAGAINif the system fails to allocate kernel-internal resources. - Adds a
CompileTimeAssertto 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_LENisnot 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_NONBLOCKfails, 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_SUPPORTEDerror rather than "not implemented". TheESPIPEerrno means that seeking is not supported on the given file handle. - Renames
OS_U32ValueWrapper_tasOS_VoidPtrValueWrapper_tto 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_gettimeaftertimer_settimefails. - Returns
OS_ERRORstatus 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
- 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_IPV6toos-impl-bsd-sockets.ccompilation. Renamesbsd-select-stubs.ctosys-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_VERSIONmacro - this is the semantic version without any extra detail. This is returned byOS_GetVersion(). - The "descriptive" version in
OS_VERSION_STRINGmacro - 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.cto 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_idin unit tests tolocal_timer_idto avoid conflicts - Removes all deprecated elements
- No behavior change. Renames
UT_Stub_CheckForceFailtoUT_Stub_CheckDefaultReturnValue, also only setsValueif 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
NULLinputs 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
uint32withint32to 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
NULLto address CWE-121 CodeQL warning - Adds a check to send the semaphore to avoid unreachable code
- Adds a status return to
OS_ConsoleAPI_Initso debug warnings will get reported correctly on errors. - Declares
DummyVecas static to avoid warning and returning stack allocated memory when returningVecTblinOSC_INUM_TO_IVECstub - Updates types in
os-impl-no-symtab.cto match latest APIs - Updates types in
os-impl-no-symtab.cto match latest APIs - Fixes missing
NULLterminations and applies the standard "sizeof" pattern where appropriate. No longer truncates filename inOS_ModuleInfo. - Fixes
%uconversion 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
printfformat to correctly build in RTEMS-5. - Deprecates
OS_fsBlocksFree()andOS_fsBytesFree()in favor ofOS_FileSysStatVolume(). - Adds
Security.mdwith instructions to report vulnerabilities. - Add
UtDebuginOS_printfstub. Output theOS_printfinput as a debug message from stub. - Documentation: Add note on
UtTest_AddAPI. NestingUtTest_Addfrom within an added test fails without error. - Unit Test: No more garbage characters written to test report log
- Fix typo in
osapi.haffecting C++ build. No other functional change - Unit Test: Rename
UT_ClearForceFailasUT_ClearDefaultValue. Update the comments ofUT_SetDefaultReturnValueto 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_CheckForOpenSocketssince 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-testto 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_twith 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_IMPLEMENTEDwhen 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_SocketSendToand adjust coverage test to validate. - Replace
OS_fsBytesFreeandOS_fsBlocksFreewithOS_FileSysStatVolume. This new API for getting stats on file system. Uses existingOS_FileSysStatVolume_Implcall 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_BASEDpass -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
taskTCBreturn in avoid *, then cast toOS_impl_task_internal_record_t *to avoid a strict alignment compiler error - Removes the non-portable
OS_PACKandOS_ALIGNEDmacros. - 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_POINTERmacros toOS_ConvertToArrayIndexandOS_TimeBaseGetFreeRunso 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
int32withOS_time_tin 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_BinSemFlushwithOS_BinSemGiveto 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-*.hfiles 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
errnoinstead of status return fromclock_getreswithstrerrorreporting. - 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_SetForceFailtoUT_SetDefaultReturnValuesince 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(). Passing0as the mode solves the build issue. This parameter is ignored when not creating a file. - The address calculations now use
unsigned longinstead oflongto 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_DEBUGis 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_Truewrapper 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_openandOS_creatto 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_idand 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-versionto 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_Truefor 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 longinstead ofuintmax_tto fix support for VxWorks
- Rename BSPs that can be used on multiple platforms.
mcp750-vxworksbecomesgeneric-vxworkspc-linuxbecomesgeneric-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 ApionOS_TimeBaseCreate,OS_TimeBaseSet,OS_TimeBaseDelete,OS_TimeBaseGetIdByName,OS_TimeBaseGetInfo,OS_TimeBaseGetFreeRun - See nasa#487 for details
- Add functional tests for
OS_IdentifyObject,OS_ConvertToArrayIndexandOS_ForEachObjectfunctions. - Fix doxygen warnings
- Unit test cases which use
OS_statfsand run on anRTEMS IMFSvolume will be skipped and categorized as "NA" due toOS_ERR_NOT_IMPLEMENTEDresponse, rather than a failure. - The device_name field was using the wrong length, it should be of
OS_FS_DEV_NAME_LENAlso 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_DIRcache 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-testwhich 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 themutexis unlocked as part of the cleanup, so other tasks may continue using the semaphore. - Change all initial
mutexlocking 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
timecbresource 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_UNIMPLEMENTEDfrom 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_UTtest is built and run - Consistent osal-core-test execution status
- See nasa#440 for more details
- Added coverage test to
OS_TimerCreateforOS_ERR_NAME_TOO_LONG. - Externalize enum for
SelectSingle, ensures that pointers passed toSelectFd...()APIs are not null, ensures that pointer toSelectSingleis 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_BSPTYPEis set. Generates a warning whenOSAL_SYSTEM_BSPTYPEandOSAL_SYSTEM_OSTYPEare 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