you can use a check for a relationship and an atomic update to that relationship to build a locking primitive, if that helps. The design for our preconditions actually comes from the zanzibar paper: https://zanzibar.tech/2IwS4cIHfw:0:B