FSTMutationQueue.h 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159
  1. /*
  2. * Copyright 2017 Google
  3. *
  4. * Licensed under the Apache License, Version 2.0 (the "License");
  5. * you may not use this file except in compliance with the License.
  6. * You may obtain a copy of the License at
  7. *
  8. * http://www.apache.org/licenses/LICENSE-2.0
  9. *
  10. * Unless required by applicable law or agreed to in writing, software
  11. * distributed under the License is distributed on an "AS IS" BASIS,
  12. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13. * See the License for the specific language governing permissions and
  14. * limitations under the License.
  15. */
  16. #import <Foundation/Foundation.h>
  17. #import "Firestore/Source/Core/FSTTypes.h"
  18. #import "Firestore/Source/Local/FSTGarbageCollector.h"
  19. @class FSTDocumentKey;
  20. @class FSTMutation;
  21. @class FSTMutationBatch;
  22. @class FSTQuery;
  23. @class FSTTimestamp;
  24. @class FSTWriteGroup;
  25. NS_ASSUME_NONNULL_BEGIN
  26. #pragma mark - FSTMutationQueue
  27. /** A queue of mutations to apply to the remote store. */
  28. @protocol FSTMutationQueue <NSObject, FSTGarbageSource>
  29. /**
  30. * Starts the mutation queue, performing any initial reads that might be required to establish
  31. * invariants, etc.
  32. *
  33. * After starting, the mutation queue must guarantee that the highestAcknowledgedBatchID is less
  34. * than nextBatchID. This prevents the local store from creating new batches that the mutation
  35. * queue would consider erroneously acknowledged.
  36. */
  37. - (void)startWithGroup:(FSTWriteGroup *)group;
  38. /** Shuts this mutation queue down, closing open files, etc. */
  39. - (void)shutdown;
  40. /** Returns YES if this queue contains no mutation batches. */
  41. - (BOOL)isEmpty;
  42. /**
  43. * Returns the next FSTBatchID that will be assigned to a new mutation batch.
  44. *
  45. * Callers generally don't care about this value except to test that the mutation queue is
  46. * properly maintaining the invariant that highestAcknowledgedBatchID is less than nextBatchID.
  47. */
  48. - (FSTBatchID)nextBatchID;
  49. /**
  50. * Returns the highest batchID that has been acknowledged. If no batches have been acknowledged
  51. * or if there are no batches in the queue this can return kFSTBatchIDUnknown.
  52. */
  53. - (FSTBatchID)highestAcknowledgedBatchID;
  54. /** Acknowledges the given batch. */
  55. - (void)acknowledgeBatch:(FSTMutationBatch *)batch
  56. streamToken:(nullable NSData *)streamToken
  57. group:(FSTWriteGroup *)group;
  58. /** Returns the current stream token for this mutation queue. */
  59. - (nullable NSData *)lastStreamToken;
  60. /** Sets the stream token for this mutation queue. */
  61. - (void)setLastStreamToken:(nullable NSData *)streamToken group:(FSTWriteGroup *)group;
  62. /** Creates a new mutation batch and adds it to this mutation queue. */
  63. - (FSTMutationBatch *)addMutationBatchWithWriteTime:(FSTTimestamp *)localWriteTime
  64. mutations:(NSArray<FSTMutation *> *)mutations
  65. group:(FSTWriteGroup *)group;
  66. /** Loads the mutation batch with the given batchID. */
  67. - (nullable FSTMutationBatch *)lookupMutationBatch:(FSTBatchID)batchID;
  68. /**
  69. * Gets the first unacknowledged mutation batch after the passed in batchId in the mutation queue
  70. * or nil if empty.
  71. *
  72. * @param batchID The batch to search after, or kFSTBatchIDUnknown for the first mutation in the
  73. * queue.
  74. *
  75. * @return the next mutation or nil if there wasn't one.
  76. */
  77. - (nullable FSTMutationBatch *)nextMutationBatchAfterBatchID:(FSTBatchID)batchID;
  78. /** Gets all mutation batches in the mutation queue. */
  79. // TODO(mikelehen): PERF: Current consumer only needs mutated keys; if we can provide that
  80. // cheaply, we should replace this.
  81. - (NSArray<FSTMutationBatch *> *)allMutationBatches;
  82. /**
  83. * Finds all mutations with a batchID less than or equal to the given batchID.
  84. *
  85. * Generally the caller should be asking for the next unacknowledged batchID and the number of
  86. * acknowledged batches should be very small when things are functioning well.
  87. *
  88. * @param batchID The batch to search through.
  89. *
  90. * @return an NSArray containing all batches with matching batchIDs.
  91. */
  92. // TODO(mcg): This should really return NSEnumerator and the caller should be adjusted to only
  93. // loop through these once.
  94. - (NSArray<FSTMutationBatch *> *)allMutationBatchesThroughBatchID:(FSTBatchID)batchID;
  95. /**
  96. * Finds all mutation batches that could @em possibly affect the given document key. Not all
  97. * mutations in a batch will necessarily affect the document key, so when looping through the
  98. * batch you'll need to check that the mutation itself matches the key.
  99. *
  100. * Note that because of this requirement implementations are free to return mutation batches that
  101. * don't contain the document key at all if it's convenient.
  102. */
  103. // TODO(mcg): This should really return an NSEnumerator
  104. // also for b/32992024, all backing stores should really index by document key
  105. - (NSArray<FSTMutationBatch *> *)allMutationBatchesAffectingDocumentKey:
  106. (FSTDocumentKey *)documentKey;
  107. /**
  108. * Finds all mutation batches that could affect the results for the given query. Not all
  109. * mutations in a batch will necessarily affect the query, so when looping through the batch
  110. * you'll need to check that the mutation itself matches the query.
  111. *
  112. * Note that because of this requirement implementations are free to return mutation batches that
  113. * don't match the query at all if it's convenient.
  114. *
  115. * NOTE: A FSTPatchMutation does not need to include all fields in the query filter criteria in
  116. * order to be a match (but any fields it does contain do need to match).
  117. */
  118. // TODO(mikelehen): This should perhaps return an NSEnumerator, though I'm not sure we can avoid
  119. // loading them all in memory.
  120. - (NSArray<FSTMutationBatch *> *)allMutationBatchesAffectingQuery:(FSTQuery *)query;
  121. /**
  122. * Removes the given mutation batches from the queue. This is useful in two circumstances:
  123. *
  124. * + Removing applied mutations from the head of the queue
  125. * + Removing rejected mutations from anywhere in the queue
  126. *
  127. * In both cases, the array of mutations to remove must be a contiguous range of batchIds. This is
  128. * most easily accomplished by loading mutations with @a -allMutationBatchesThroughBatchID:.
  129. */
  130. - (void)removeMutationBatches:(NSArray<FSTMutationBatch *> *)batches group:(FSTWriteGroup *)group;
  131. /** Performs a consistency check, examining the mutation queue for any leaks, if possible. */
  132. - (void)performConsistencyCheck;
  133. @end
  134. NS_ASSUME_NONNULL_END