Judge Leroy Millette Jr. can reduce the punishment to life in prison without parole when Muhammad is formally sentenced Feb. 12 , but Virginia judges rarely take such action .
Though the judge can reduce the punishment to life in prison without parole , experts say Virginia judges rarely take that opportunity .
handled by the construction of wait-for graph which shows transaction dependencies; deadlock exists if the wfg contains a cycle