+ void insert_taken_inos(inodeno_t ino) {
+ replay_taken_inos.insert(ino);
+ }
+ void clear_taken_inos(inodeno_t ino) {
+ replay_taken_inos.erase(ino);
+ }
+ bool test_and_clear_taken_inos(inodeno_t ino) {
+ return replay_taken_inos.erase(ino) != 0;
+ }
+ bool is_taken_inos_empty(void) {
+ return replay_taken_inos.empty();
+ }
+