sem_mutex.alg.c

shared count := 0
shared mutex := semaphore(1)

main:
	thread_count := read_integer()
	create_thread(secondary, thread_count)

secondary:
	wait(mutex)
	// Critical section
	count := count + 1
	signal(mutex)