algo4: comprehensive: Lock provider without deadlock