I need to share a data structure used by a RTX Thread and and ISR. Its basically a circular queue for the serial port. Now the options that I am aware of are to either use isr_mbx_send() to post messages or else use isr_sem_send. But both the options come with a overhead.
Is there anything else that I can use, without disabling scheduling or interrupts and yet share the data structure?