Should k_msgq_put do rescheduling for handle_poll_events(…, K_POLL_STATE_MSGQ_DATA_AVAILABLE) path?

[jkivilin]

Hello,

My application is using message queues with CONFIG_POLL. I noticed that placing new event on message queue with k_msgq_put does not immediately wake-up higher priority thread polling on same message queue. As workaround I've used dummy k_sem_give call after k_msgq_put call to enforce rescheduling. But I guess k_msgq_put should do this rescheduling automatically. Is this a bug?

[jkivilin]

Link to code in question, z_impl_k_msgq_put() #ifdef CONFIG_POLL block:

zephyr/kernel/msg_q.c

Line 161 in 8fda052

handle_poll_events(msgq, K_POLL_STATE_MSGQ_DATA_AVAILABLE);

As can be seen in linked code, there is no rescheduling to wake up potentially waiting threads.

Corresponding code for semaphore does rescheduling when CONFIG_POLL is enabled:

zephyr/kernel/sem.c

Line 111 in 8fda052

resched = handle_poll_events(sem);