Concurrency 信号量/创建关键部分

如何使用信号量创建一个特殊的关键部分，允许两个线程在内部执行，而不是通常的一个线程？

在伪代码中，它看起来是这样的：

s = Semaphore(2)    # max 2 possible threads accessing the critical section

然后，每个线程使用信号量序列化访问：

s.decrement()    # may block 
    # enter critical section
s.increment()

---

有用的资源是：

概念上的或特定语言的？。