receiver: use recursive locks to serialize access to receiver and device objects