The example here: https://apple.github.io/foundationdb/developer-guide.html?hi...
suggests that serializability is violated when atomic ops are mixed with regular ops on the same key.
Note that transaction pipelining in Calvin does not have this issue.