Можете объяснить, каким образом реализована механика блокировки при использовании synchronized или lock в многопоточном программировании?