FSTLevelDBQueryCache.mm 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373
  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 "Firestore/Source/Local/FSTLevelDBQueryCache.h"
  17. #include <memory>
  18. #include <string>
  19. #include <utility>
  20. #import "Firestore/Protos/objc/firestore/local/Target.pbobjc.h"
  21. #import "Firestore/Source/Core/FSTQuery.h"
  22. #import "Firestore/Source/Local/FSTLevelDB.h"
  23. #import "Firestore/Source/Local/FSTLevelDBKey.h"
  24. #import "Firestore/Source/Local/FSTLocalSerializer.h"
  25. #import "Firestore/Source/Local/FSTQueryData.h"
  26. #include "Firestore/core/src/firebase/firestore/model/document_key.h"
  27. #include "Firestore/core/src/firebase/firestore/model/snapshot_version.h"
  28. #include "Firestore/core/src/firebase/firestore/util/hard_assert.h"
  29. #include "absl/strings/match.h"
  30. NS_ASSUME_NONNULL_BEGIN
  31. using firebase::firestore::local::LevelDbTransaction;
  32. using Firestore::StringView;
  33. using firebase::firestore::model::DocumentKey;
  34. using firebase::firestore::model::SnapshotVersion;
  35. using leveldb::DB;
  36. using leveldb::Slice;
  37. using leveldb::Status;
  38. using firebase::firestore::model::DocumentKeySet;
  39. @interface FSTLevelDBQueryCache ()
  40. /** A write-through cached copy of the metadata for the query cache. */
  41. @property(nonatomic, strong, nullable) FSTPBTargetGlobal *metadata;
  42. @property(nonatomic, strong, readonly) FSTLocalSerializer *serializer;
  43. @end
  44. @implementation FSTLevelDBQueryCache {
  45. FSTLevelDB *_db;
  46. /**
  47. * The last received snapshot version. This is part of `metadata` but we store it separately to
  48. * avoid extra conversion to/from GPBTimestamp.
  49. */
  50. SnapshotVersion _lastRemoteSnapshotVersion;
  51. }
  52. + (nullable FSTPBTargetGlobal *)readTargetMetadataWithTransaction:
  53. (firebase::firestore::local::LevelDbTransaction *)transaction {
  54. std::string key = [FSTLevelDBTargetGlobalKey key];
  55. std::string value;
  56. Status status = transaction->Get(key, &value);
  57. if (status.IsNotFound()) {
  58. return nil;
  59. } else if (!status.ok()) {
  60. HARD_FAIL("metadataForKey: failed loading key %s with status: %s", key, status.ToString());
  61. }
  62. NSData *data =
  63. [[NSData alloc] initWithBytesNoCopy:(void *)value.data() length:value.size() freeWhenDone:NO];
  64. NSError *error;
  65. FSTPBTargetGlobal *proto = [FSTPBTargetGlobal parseFromData:data error:&error];
  66. if (!proto) {
  67. HARD_FAIL("FSTPBTargetGlobal failed to parse: %s", error);
  68. }
  69. return proto;
  70. }
  71. + (nullable FSTPBTargetGlobal *)readTargetMetadataFromDB:(std::shared_ptr<DB>)db {
  72. std::string key = [FSTLevelDBTargetGlobalKey key];
  73. std::string value;
  74. Status status = db->Get([FSTLevelDB standardReadOptions], key, &value);
  75. if (status.IsNotFound()) {
  76. return nil;
  77. } else if (!status.ok()) {
  78. HARD_FAIL("metadataForKey: failed loading key %s with status: %s", key, status.ToString());
  79. }
  80. NSData *data =
  81. [[NSData alloc] initWithBytesNoCopy:(void *)value.data() length:value.size() freeWhenDone:NO];
  82. NSError *error;
  83. FSTPBTargetGlobal *proto = [FSTPBTargetGlobal parseFromData:data error:&error];
  84. if (!proto) {
  85. HARD_FAIL("FSTPBTargetGlobal failed to parse: %s", error);
  86. }
  87. return proto;
  88. }
  89. - (instancetype)initWithDB:(FSTLevelDB *)db serializer:(FSTLocalSerializer *)serializer {
  90. if (self = [super init]) {
  91. HARD_ASSERT(db, "db must not be NULL");
  92. _db = db;
  93. _serializer = serializer;
  94. }
  95. return self;
  96. }
  97. - (void)start {
  98. // TODO(gsoltis): switch this usage of ptr to currentTransaction
  99. FSTPBTargetGlobal *metadata = [FSTLevelDBQueryCache readTargetMetadataFromDB:_db.ptr];
  100. HARD_ASSERT(
  101. metadata != nil,
  102. "Found nil metadata, expected schema to be at version 0 which ensures metadata existence");
  103. _lastRemoteSnapshotVersion = [self.serializer decodedVersion:metadata.lastRemoteSnapshotVersion];
  104. self.metadata = metadata;
  105. }
  106. #pragma mark - FSTQueryCache implementation
  107. - (FSTTargetID)highestTargetID {
  108. return self.metadata.highestTargetId;
  109. }
  110. - (FSTListenSequenceNumber)highestListenSequenceNumber {
  111. return self.metadata.highestListenSequenceNumber;
  112. }
  113. - (const SnapshotVersion &)lastRemoteSnapshotVersion {
  114. return _lastRemoteSnapshotVersion;
  115. }
  116. - (void)setLastRemoteSnapshotVersion:(SnapshotVersion)snapshotVersion {
  117. _lastRemoteSnapshotVersion = std::move(snapshotVersion);
  118. self.metadata.lastRemoteSnapshotVersion =
  119. [self.serializer encodedVersion:_lastRemoteSnapshotVersion];
  120. _db.currentTransaction->Put([FSTLevelDBTargetGlobalKey key], self.metadata);
  121. }
  122. - (void)saveQueryData:(FSTQueryData *)queryData {
  123. FSTTargetID targetID = queryData.targetID;
  124. std::string key = [FSTLevelDBTargetKey keyWithTargetID:targetID];
  125. _db.currentTransaction->Put(key, [self.serializer encodedQueryData:queryData]);
  126. }
  127. - (BOOL)updateMetadataForQueryData:(FSTQueryData *)queryData {
  128. BOOL updatedMetadata = NO;
  129. if (queryData.targetID > self.metadata.highestTargetId) {
  130. self.metadata.highestTargetId = queryData.targetID;
  131. updatedMetadata = YES;
  132. }
  133. if (queryData.sequenceNumber > self.metadata.highestListenSequenceNumber) {
  134. self.metadata.highestListenSequenceNumber = queryData.sequenceNumber;
  135. updatedMetadata = YES;
  136. }
  137. return updatedMetadata;
  138. }
  139. - (void)addQueryData:(FSTQueryData *)queryData {
  140. [self saveQueryData:queryData];
  141. NSString *canonicalID = queryData.query.canonicalID;
  142. std::string indexKey =
  143. [FSTLevelDBQueryTargetKey keyWithCanonicalID:canonicalID targetID:queryData.targetID];
  144. std::string emptyBuffer;
  145. _db.currentTransaction->Put(indexKey, emptyBuffer);
  146. self.metadata.targetCount += 1;
  147. [self updateMetadataForQueryData:queryData];
  148. _db.currentTransaction->Put([FSTLevelDBTargetGlobalKey key], self.metadata);
  149. }
  150. - (void)updateQueryData:(FSTQueryData *)queryData {
  151. [self saveQueryData:queryData];
  152. if ([self updateMetadataForQueryData:queryData]) {
  153. _db.currentTransaction->Put([FSTLevelDBTargetGlobalKey key], self.metadata);
  154. }
  155. }
  156. - (void)removeQueryData:(FSTQueryData *)queryData {
  157. FSTTargetID targetID = queryData.targetID;
  158. [self removeMatchingKeysForTargetID:targetID];
  159. std::string key = [FSTLevelDBTargetKey keyWithTargetID:targetID];
  160. _db.currentTransaction->Delete(key);
  161. std::string indexKey =
  162. [FSTLevelDBQueryTargetKey keyWithCanonicalID:queryData.query.canonicalID targetID:targetID];
  163. _db.currentTransaction->Delete(indexKey);
  164. self.metadata.targetCount -= 1;
  165. _db.currentTransaction->Put([FSTLevelDBTargetGlobalKey key], self.metadata);
  166. }
  167. - (int32_t)count {
  168. return self.metadata.targetCount;
  169. }
  170. /**
  171. * Parses the given bytes as an FSTPBTarget protocol buffer and then converts to the equivalent
  172. * query data.
  173. */
  174. - (FSTQueryData *)decodeTarget:(absl::string_view)encoded {
  175. NSData *data = [[NSData alloc] initWithBytesNoCopy:(void *)encoded.data()
  176. length:encoded.size()
  177. freeWhenDone:NO];
  178. NSError *error;
  179. FSTPBTarget *proto = [FSTPBTarget parseFromData:data error:&error];
  180. if (!proto) {
  181. HARD_FAIL("FSTPBTarget failed to parse: %s", error);
  182. }
  183. return [self.serializer decodedQueryData:proto];
  184. }
  185. - (nullable FSTQueryData *)queryDataForQuery:(FSTQuery *)query {
  186. // Scan the query-target index starting with a prefix starting with the given query's canonicalID.
  187. // Note that this is a scan rather than a get because canonicalIDs are not required to be unique
  188. // per target.
  189. Slice canonicalID = StringView(query.canonicalID);
  190. auto indexItererator = _db.currentTransaction->NewIterator();
  191. std::string indexPrefix = [FSTLevelDBQueryTargetKey keyPrefixWithCanonicalID:canonicalID];
  192. indexItererator->Seek(indexPrefix);
  193. // Simultaneously scan the targets table. This works because each (canonicalID, targetID) pair is
  194. // unique and ordered, so when scanning a table prefixed by exactly one canonicalID, all the
  195. // targetIDs will be unique and in order.
  196. std::string targetPrefix = [FSTLevelDBTargetKey keyPrefix];
  197. auto targetIterator = _db.currentTransaction->NewIterator();
  198. FSTLevelDBQueryTargetKey *rowKey = [[FSTLevelDBQueryTargetKey alloc] init];
  199. for (; indexItererator->Valid(); indexItererator->Next()) {
  200. // Only consider rows matching exactly the specific canonicalID of interest.
  201. if (!absl::StartsWith(indexItererator->key(), indexPrefix) ||
  202. ![rowKey decodeKey:indexItererator->key()] || canonicalID != rowKey.canonicalID) {
  203. // End of this canonicalID's possible targets.
  204. break;
  205. }
  206. // Each row is a unique combination of canonicalID and targetID, so this foreign key reference
  207. // can only occur once.
  208. std::string targetKey = [FSTLevelDBTargetKey keyWithTargetID:rowKey.targetID];
  209. targetIterator->Seek(targetKey);
  210. if (!targetIterator->Valid() || targetIterator->key() != targetKey) {
  211. NSString *foundKeyDescription = @"the end of the table";
  212. if (targetIterator->Valid()) {
  213. foundKeyDescription = [FSTLevelDBKey descriptionForKey:targetIterator->key()];
  214. }
  215. HARD_FAIL(
  216. "Dangling query-target reference found: "
  217. "%s points to %s; seeking there found %s",
  218. [FSTLevelDBKey descriptionForKey:indexItererator->key()],
  219. [FSTLevelDBKey descriptionForKey:targetKey], foundKeyDescription);
  220. }
  221. // Finally after finding a potential match, check that the query is actually equal to the
  222. // requested query.
  223. FSTQueryData *target = [self decodeTarget:targetIterator->value()];
  224. if ([target.query isEqual:query]) {
  225. return target;
  226. }
  227. }
  228. return nil;
  229. }
  230. #pragma mark Matching Key tracking
  231. - (void)addMatchingKeys:(const DocumentKeySet &)keys forTargetID:(FSTTargetID)targetID {
  232. // Store an empty value in the index which is equivalent to serializing a GPBEmpty message. In the
  233. // future if we wanted to store some other kind of value here, we can parse these empty values as
  234. // with some other protocol buffer (and the parser will see all default values).
  235. std::string emptyBuffer;
  236. for (const DocumentKey &key : keys) {
  237. self->_db.currentTransaction->Put(
  238. [FSTLevelDBTargetDocumentKey keyWithTargetID:targetID documentKey:key], emptyBuffer);
  239. self->_db.currentTransaction->Put(
  240. [FSTLevelDBDocumentTargetKey keyWithDocumentKey:key targetID:targetID], emptyBuffer);
  241. [self->_db.referenceDelegate addReference:key target:targetID];
  242. };
  243. }
  244. - (void)removeMatchingKeys:(const DocumentKeySet &)keys forTargetID:(FSTTargetID)targetID {
  245. for (const DocumentKey &key : keys) {
  246. self->_db.currentTransaction->Delete(
  247. [FSTLevelDBTargetDocumentKey keyWithTargetID:targetID documentKey:key]);
  248. self->_db.currentTransaction->Delete(
  249. [FSTLevelDBDocumentTargetKey keyWithDocumentKey:key targetID:targetID]);
  250. [self->_db.referenceDelegate removeReference:key target:targetID];
  251. [self.garbageCollector addPotentialGarbageKey:key];
  252. }
  253. }
  254. - (void)removeMatchingKeysForTargetID:(FSTTargetID)targetID {
  255. std::string indexPrefix = [FSTLevelDBTargetDocumentKey keyPrefixWithTargetID:targetID];
  256. auto indexIterator = _db.currentTransaction->NewIterator();
  257. indexIterator->Seek(indexPrefix);
  258. FSTLevelDBTargetDocumentKey *rowKey = [[FSTLevelDBTargetDocumentKey alloc] init];
  259. for (; indexIterator->Valid(); indexIterator->Next()) {
  260. absl::string_view indexKey = indexIterator->key();
  261. // Only consider rows matching this specific targetID.
  262. if (![rowKey decodeKey:indexKey] || rowKey.targetID != targetID) {
  263. break;
  264. }
  265. const DocumentKey &documentKey = rowKey.documentKey;
  266. // Delete both index rows
  267. _db.currentTransaction->Delete(indexKey);
  268. _db.currentTransaction->Delete(
  269. [FSTLevelDBDocumentTargetKey keyWithDocumentKey:documentKey targetID:targetID]);
  270. [self.garbageCollector addPotentialGarbageKey:documentKey];
  271. }
  272. }
  273. - (DocumentKeySet)matchingKeysForTargetID:(FSTTargetID)targetID {
  274. std::string indexPrefix = [FSTLevelDBTargetDocumentKey keyPrefixWithTargetID:targetID];
  275. auto indexIterator = _db.currentTransaction->NewIterator();
  276. indexIterator->Seek(indexPrefix);
  277. DocumentKeySet result;
  278. FSTLevelDBTargetDocumentKey *rowKey = [[FSTLevelDBTargetDocumentKey alloc] init];
  279. for (; indexIterator->Valid(); indexIterator->Next()) {
  280. absl::string_view indexKey = indexIterator->key();
  281. // Only consider rows matching this specific targetID.
  282. if (![rowKey decodeKey:indexKey] || rowKey.targetID != targetID) {
  283. break;
  284. }
  285. result = result.insert(rowKey.documentKey);
  286. }
  287. return result;
  288. }
  289. #pragma mark - FSTGarbageSource implementation
  290. - (BOOL)containsKey:(const DocumentKey &)key {
  291. std::string indexPrefix = [FSTLevelDBDocumentTargetKey keyPrefixWithResourcePath:key.path()];
  292. auto indexIterator = _db.currentTransaction->NewIterator();
  293. indexIterator->Seek(indexPrefix);
  294. if (indexIterator->Valid()) {
  295. FSTLevelDBDocumentTargetKey *rowKey = [[FSTLevelDBDocumentTargetKey alloc] init];
  296. if ([rowKey decodeKey:indexIterator->key()] && DocumentKey{rowKey.documentKey} == key) {
  297. return YES;
  298. }
  299. }
  300. return NO;
  301. }
  302. @end
  303. NS_ASSUME_NONNULL_END