martin-krasula opened a new pull request, #3701:
URL: https://github.com/apache/nuttx-apps/pull/3701

   Verify that a mutex remains reusable after its last waiter times out and 
that ownership is transferred when another waiter remains queued.
   
   ## Summary
   
   The tests verify that:
   
   - timeout of the only mutex waiter
   - reuse of the mutex after the last waiter times out
   - timeout of one waiter while another remains queued
   - ownership transfer to the remaining waiter
   
   This covers the mutex timeout issue fixed in the corresponding NuttX PR.
   https://github.com/apache/nuttx/pull/19678
   
   ## Impact
   
   Test-only change. No impact on APIs, compatibility, hardware, or normal
   application builds.
   
   ## Testing
   
   Host:
   - Linux 7.0.0-27-generic, x86_64
   - GCC 15.2.0
   
   Target:
   - NuttX SIM
   - Configuration: `sim:ostest`
   - `CONFIG_PRIORITY_INHERITANCE=y`
   - `CONFIG_DEBUG_ASSERTIONS=y`
   
   Built and executed with:
   
   ```console
   $ ./tools/configure.sh -E -a ../nuttx_fork_apps sim:ostest
   $ make -j16
   $ ./nuttx
   ```
   
   Result:
   ```
   user_main: timed mutex test
   mutex_test: PASSED
   timedmutex regression test: PASSED
   user_main: timed mutex test
   mutex_test: PASSED
   timedmutex regression test: PASSED
   user_main: timed mutex test
   mutex_test: PASSED
   timedmutex regression test: PASSED
   user_main: timed mutex test
   mutex_test: PASSED
   timedmutex regression test: PASSED
   ```
   Full report is here: 
   [ostest.log](https://github.com/user-attachments/files/30691108/ostest.log)


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to