Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads.