added reader's mutual exclusion procedure calls to tap_handler()