充分披露：我不使用C#。我不熟悉Monitor.Wait(o)和Monitor.Pulse(o)，但我相信，如果允许两个或更多线程同时调用sema.Wait()，_currAvail可能会变为负值。
假设线程A和线程C同时调用sema.Wait()，而线程B调用sema.Signal()。

currAvail  mutex   Thread A       Thread B        Thread C
---------  -----   -------------  --------------  --------------
    0      free    lock(mutex)         .               .
    0        A     Await Pulse()  Await mutex          .
    0      free      ''    ''     lock(mutex)          .
    0        B       ''    ''     currAvail++     Await mutex
    1        B       ''    ''     Pulse()          ''    ''

    1        B     Await mutex    release(mutex)   ''    ''
    1      free      ''    ''          .          lock(mutex)
    1        C       ''    ''          .          curAvail--
    0        C       ''    ''          .          release(mutex)
    0      free      ''    ''          .               .

    0      free    lock(mutex)         .               .
    0        A     currAvail--         .               .
   -1        A     release(mutex)      .               .
   -1      free          .             .               .

修复方法是在Monitor.Wait(_mutex)返回后重新检查_currAvail。即，在循环中调用Monitor.Wait(_mutex)：

lock (_mutex) {
    while (_currAvail == 0) Monitor.Wait(_mutex);
    _currAvail--;
}

我发现此信号量存在以下问题：

• capacity实际上只是初始容量，而不是总容量。因此，只需调用Signal 1000次，就可以获得1000个额外容量。
• 未处理整数溢出。如果将int.MaxValue作为初始容量，然后将Signal作为初始容量，则当前容量将为int.MinValue。
• 构造函数不检查传入的int是否为负