Refactor tests
Add rwlock test && add rwlock annotations
Add rwsem test && add rwsem annotations