Design Bounded Blocking Queue

Implement a thread-safe bounded FIFO queue with a fixed capacity that supports enqueue (blocks when full), dequeue (blocks when empty), and size operations. The core challenge is correct synchronization—ensuring threads block and wake appropriately without race conditions, deadlocks, or lost wake-ups (using locks/condition variables or semaphores).