WRLqueue: A Lock-Free Queue For Embedded Real-Time System. - Qidi Yang; Lei Tang; Yanrong Guo; Nailiang Kuang; Sheng Zhong 006; Hangzai Luo (HPCC/DSS/SmartCity/DependSys, 2022)