prog: pth_rwlock