add semaphore and mutex specs

[ci skip]
add more semaphore and mutex specs

[ci skip]