IPC object destruction

[pfayolle]

Hello,

I was wondering about proper destruction of k_mutex and k_sem objects. In both these APIs there are init functions, but no destroy functions. Is this intended or is there another way to destroy them safely ? Or can I dynamically initialize an unlimited amount of them ?
I am asking because I saw that in the implementation, there is something that is added to a a double-linked list for tracking, but did not see how it was removed.

For reference, I am running the zephyr LTS version (3.7.0).

Thanks in advance !

[ldomaigne]

I was wondering about proper destruction of k_mutex and k_sem objects. In both these APIs there are init functions, but no destroy functions.

The xxx_init() function assumes that the object is "already created", that is the pointer passed refer to a valid memory area that contains the underlying data structure.
If you are using dynamic memory, you can therefore dispose the objects by simply freeing the memory. This assumes, of course, that it is safe to do so, like the mutex is unlocked and no thread will use this mutex once destroyed.

Regarding your comment about the double-linked list used for tracking. The one that is problematic is related to the object core subsystem, which is used to track (statistic) usage of kernel objects. From what I can see, objcore doesn't support the dynamic use of mutex/semaphore objects. This is where we would need a xxx_destroy API to unlink it from the list. This is only a problem if you are using the object core framework (enabled with CONFIG_OBJ_CORE=y).