How do you safely share data between an interrupt service routine and a background RTOS task in Beta Technologies embedded systems?