Реализации семафоров

Семафор (размера n ) представляет собой обобщение мьютекса. Подобно мьютексу, семафор поддерживает операции захвата и освобождения, но захватить его одновременно могут до n процессов. Прочие процессы, которые попытаются захватить семафор, должны будут ждать освобождения. Дайте реализацию семафоров

а. в терминах мьютексов.

б. в терминах атомарных операций test-and-set! .

---