User level programs such as a multi-threaded web server may need to employ semaphores or other techniques to ensure mutual exclusion or to provide synchronization.

One reason is that user level processes are preemptible and so can't make any assumptions about how they will be scheduled.

What creates the need for synchronization is concurrency.