A Light Lock Management Mechanism for Optimizing Real-Time and Non-Real-Time Performance in Embedded Linux | IEEE Conference Publication | IEEE Xplore