On a synchronization queue with two finite buffers · Study