• happens-before между

01:35 08 мая 2018

Как известно, освобождение монитора и последующий захват этого же монитора другим потоком соотносятся как happens-before, те

238