Runs fn while holding the write lock, so a check it makes against the logs still holds when it writes: no other write can come between. Write with the append it is given.
fn
append
Runs
fnwhile holding the write lock, so a check it makes against the logs still holds when it writes: no other write can come between. Write with theappendit is given.