Coverage Report

Created: 2026-10-16 03:19

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/io/cache/block_file_cache.h
Line
Count
Source
1
// Licensed to the Apache Software Foundation (ASF) under one
2
// or more contributor license agreements.  See the NOTICE file
3
// distributed with this work for additional information
4
// regarding copyright ownership.  The ASF licenses this file
5
// to you under the Apache License, Version 2.0 (the
6
// "License"); you may not use this file except in compliance
7
// with the License.  You may obtain a copy of the License at
8
//
9
//   http://www.apache.org/licenses/LICENSE-2.0
10
//
11
// Unless required by applicable law or agreed to in writing,
12
// software distributed under the License is distributed on an
13
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
14
// KIND, either express or implied.  See the License for the
15
// specific language governing permissions and limitations
16
// under the License.
17
18
#pragma once
19
20
#include <bvar/bvar.h>
21
#include <concurrentqueue.h>
22
23
#include <algorithm>
24
#include <array>
25
#include <atomic>
26
#include <boost/lockfree/spsc_queue.hpp>
27
#include <condition_variable>
28
#include <functional>
29
#include <limits>
30
#include <map>
31
#include <memory>
32
#include <mutex>
33
#include <optional>
34
#include <thread>
35
#include <unordered_map>
36
#include <unordered_set>
37
#include <vector>
38
39
#include "io/cache/block_file_cache_ttl_mgr.h"
40
#include "io/cache/cache_lru_dumper.h"
41
#include "io/cache/file_block.h"
42
#include "io/cache/file_cache_common.h"
43
#include "io/cache/file_cache_storage.h"
44
#include "io/cache/lru_queue_recorder.h"
45
#include "runtime/runtime_profile.h"
46
#include "util/threadpool.h"
47
48
namespace doris::io {
49
using RecycleFileCacheKeys = moodycamel::ConcurrentQueue<FileCacheKey>;
50
51
class LockScopedTimer {
52
public:
53
778k
    LockScopedTimer() : start_(std::chrono::steady_clock::now()) {}
54
778k
    ~LockScopedTimer() {
55
778k
        auto end = std::chrono::steady_clock::now();
56
778k
        auto duration_us =
57
778k
                std::chrono::duration_cast<std::chrono::microseconds>(end - start_).count();
58
778k
        if (duration_us > config::cache_lock_held_long_tail_threshold_us) {
59
0
            LOG(WARNING) << "Lock held time " << std::to_string(duration_us) << "us. "
60
0
                         << get_stack_trace();
61
0
        }
62
778k
    }
63
64
private:
65
    std::chrono::time_point<std::chrono::steady_clock> start_;
66
};
67
68
// Note: the cache_lock is scoped, so do not add do...while(0) here.
69
#define SCOPED_CACHE_LOCK(MUTEX, cache)                                                           \
70
778k
    std::chrono::time_point<std::chrono::steady_clock> start_time =                               \
71
778k
            std::chrono::steady_clock::now();                                                     \
72
778k
    std::lock_guard cache_lock(MUTEX);                                                            \
73
778k
    std::chrono::time_point<std::chrono::steady_clock> acq_time =                                 \
74
778k
            std::chrono::steady_clock::now();                                                     \
75
778k
    auto duration_us =                                                                            \
76
778k
            std::chrono::duration_cast<std::chrono::microseconds>(acq_time - start_time).count(); \
77
778k
    *(cache->_cache_lock_wait_time_us) << duration_us;                                            \
78
778k
    if (duration_us > config::cache_lock_wait_long_tail_threshold_us) {                           \
79
0
        LOG(WARNING) << "Lock wait time " << std::to_string(duration_us) << "us. "                \
80
0
                     << get_stack_trace() << std::endl;                                           \
81
0
    }                                                                                             \
82
778k
    LockScopedTimer cache_lock_timer;
83
84
class AsyncCacheWriteManager;
85
class FSFileCacheStorage;
86
class InflightWriteBufferIndex;
87
88
struct FileBlocksProbeResult {
89
    explicit FileBlocksProbeResult(std::vector<FileBlockSPtr> file_blocks_)
90
294
            : file_blocks(std::move(file_blocks_)) {}
91
24
    FileBlocksProbeResult(FileBlocksProbeResult&&) noexcept = default;
92
    FileBlocksProbeResult& operator=(FileBlocksProbeResult&&) noexcept = delete;
93
    FileBlocksProbeResult(const FileBlocksProbeResult&) = delete;
94
    FileBlocksProbeResult& operator=(const FileBlocksProbeResult&) = delete;
95
    ~FileBlocksProbeResult();
96
97
    /// One entry per cache-block-sized input slot, in offset order. A null entry is a cache miss;
98
    /// a non-null entry covers the whole slot. Its right boundary can exceed the final short slot
99
    /// while a file writer still owns a full-size preallocated tail block. Retaining and releasing
100
    /// a probe result never acquires or completes downloader ownership.
101
    std::vector<FileBlockSPtr> file_blocks;
102
};
103
104
// NeedUpdateLRUBlocks keeps FileBlockSPtr entries that require LRU updates in a
105
// deduplicated, sharded container. Entries are keyed by the raw FileBlock
106
// pointer so that multiple shared_ptr copies of the same block are treated as a
107
// single pending update. The structure is thread-safe and optimized for high
108
// contention insert/drain workloads in the background update thread.
109
// Note that Blocks are updated in batch, internal order is not important.
110
class NeedUpdateLRUBlocks {
111
public:
112
355
    NeedUpdateLRUBlocks() = default;
113
114
    // Insert a block into the pending set. Returns true only when the block
115
    // was not already queued. Null inputs are ignored.
116
    bool insert(FileBlockSPtr block, size_t max_queue_size = std::numeric_limits<size_t>::max());
117
118
    // Drain up to `limit` unique blocks into `output`. The method returns how
119
    // many blocks were actually drained and shrinks the internal size
120
    // accordingly.
121
    size_t drain(size_t limit, std::vector<FileBlockSPtr>* output);
122
123
    // Remove every pending block from the structure and reset the size.
124
    void clear();
125
126
    // Thread-safe approximate size of queued unique blocks.
127
2.68k
    size_t size() const { return _size.load(std::memory_order_relaxed); }
128
129
private:
130
    static constexpr size_t kShardCount = 64;
131
    static constexpr size_t kShardMask = kShardCount - 1;
132
133
    struct Shard {
134
        std::mutex mutex;
135
        std::unordered_map<FileBlock*, FileBlockSPtr> entries;
136
    };
137
138
    size_t shard_index(FileBlock* ptr) const;
139
    void decrease_size(size_t delta);
140
141
    std::array<Shard, kShardCount> _shards;
142
    std::atomic<size_t> _size {0};
143
};
144
145
// The BlockFileCache is responsible for the management of the blocks
146
// The current strategies are lru and ttl.
147
148
struct FileBlockCell {
149
    friend class FileBlock;
150
151
    FileBlockSPtr file_block;
152
    /// Iterator is put here on first reservation attempt, if successful.
153
    std::optional<LRUQueue::Iterator> queue_iterator;
154
155
    mutable int64_t atime {0};
156
730k
    void update_atime() const {
157
730k
        atime = std::chrono::duration_cast<std::chrono::seconds>(
158
730k
                        std::chrono::steady_clock::now().time_since_epoch())
159
730k
                        .count();
160
730k
    }
161
162
    /// Pointer to file block is always hold by the cache itself.
163
    /// Apart from pointer in cache, it can be hold by cache users, when they call
164
    /// getorSet(), but cache users always hold it via FileBlocksHolder.
165
107k
    bool releasable() const {
166
107k
        return (file_block.use_count() == 1 ||
167
107k
                (file_block.use_count() == 2 && file_block->_owned_by_cached_reader));
168
107k
    }
169
170
751k
    size_t size() const { return file_block->_block_range.size(); }
171
172
    FileBlockCell() = default;
173
    FileBlockCell(FileBlockSPtr file_block, std::lock_guard<std::mutex>& cache_lock);
174
    FileBlockCell(FileBlockCell&& other) noexcept
175
230k
            : file_block(std::move(other.file_block)),
176
230k
              queue_iterator(other.queue_iterator),
177
230k
              atime(other.atime) {
178
230k
        file_block->cell = this;
179
230k
    }
180
181
    FileBlockCell& operator=(const FileBlockCell&) = delete;
182
    FileBlockCell(const FileBlockCell&) = delete;
183
184
0
    size_t dowloading_size() const { return file_block->_downloaded_size; }
185
};
186
187
class BlockFileCache {
188
    friend class FSFileCacheStorage;
189
    friend class MemFileCacheStorage;
190
    friend class FileBlock;
191
    friend struct FileBlocksHolder;
192
    friend class CacheLRUDumper;
193
    friend class LRUQueueRecorder;
194
    friend struct FileBlockCell;
195
    friend class BlockFileCacheTest;
196
197
public:
198
    // hash the file_name to uint128
199
    static UInt128Wrapper hash(const std::string& path);
200
201
    BlockFileCache(const std::string& cache_base_path, const FileCacheSettings& cache_settings);
202
203
    virtual ~BlockFileCache();
204
205
    /// Restore cache from local filesystem.
206
    Status initialize();
207
208
    /// Cache capacity in bytes.
209
14
    [[nodiscard]] size_t capacity() const { return _capacity; }
210
211
    // try to release all releasable block
212
    // it maybe hang the io/system
213
    size_t try_release();
214
215
1.43k
    [[nodiscard]] const std::string& get_base_path() const { return _cache_base_path; }
216
217
    // Get storage for inspection
218
0
    FileCacheStorage* get_storage() const { return _storage.get(); }
219
220
    /**
221
         * Given an `offset` and `size` representing [offset, offset + size) bytes interval,
222
         * return list of cached non-overlapping non-empty
223
         * file blocks `[block1, ..., blockN]` which intersect with given interval.
224
         *
225
         * blocks in returned list are ordered in ascending order and represent a full contiguous
226
         * interval (no holes). Each block in returned list has state: DOWNLOADED, DOWNLOADING or EMPTY.
227
         *
228
         * As long as pointers to returned file blocks are hold
229
         * it is guaranteed that these file blocks are not removed from cache.
230
         */
231
    FileBlocksHolder get_or_set(const UInt128Wrapper& hash, size_t offset, size_t size,
232
                                CacheContext& context);
233
234
    /// Probe the block-aligned `[offset, offset + size)` range without creating cache cells or
235
    /// touching LRU state. The result contains one ordered slot per cache block; each slot is null
236
    /// on miss or owns an existing block that starts at and covers the slot. A final short slot can
237
    /// be covered by a full-size block preallocated by a file writer. `context` supplies cache
238
    /// metadata when lazy loading is required.
239
    FileBlocksProbeResult probe(const UInt128Wrapper& hash, size_t offset, size_t size,
240
                                const CacheContext& context);
241
242
    /// Touch `block` after a successful local read, provided it is still the cached cell. The
243
    /// supplied `context` controls the target LRU queue and query-level accounting.
244
    void touch_probe_block_if_cached(const FileBlockSPtr& block, const CacheContext& context);
245
246
    /// Check whether `block` is being deleted while taking cache/block locks in canonical order.
247
    bool is_block_deleting(const FileBlockSPtr& block) const;
248
249
    /// Return this cache disk's async-write manager.
250
328
    AsyncCacheWriteManager* async_write_manager() const { return _async_write_manager.get(); }
251
252
    /// Return this cache disk's inflight payload index.
253
96
    InflightWriteBufferIndex* inflight_write_buffer_index() const {
254
96
        return _inflight_write_buffer_index.get();
255
96
    }
256
257
    /**
258
     * Return existing downloaded blocks only if they fully cover [offset, offset + size).
259
     * This lookup is read-only: it does not reserve cache space or create EMPTY blocks.
260
     */
261
    Status get_downloaded_blocks_if_fully_covered(const UInt128Wrapper& hash, size_t offset,
262
                                                  size_t size, const CacheContext& context,
263
                                                  FileBlocks* blocks, bool* fully_covered);
264
265
    /**
266
     * record blocks read directly by CachedRemoteFileReader
267
     */
268
    void add_need_update_lru_block(FileBlockSPtr block);
269
270
    /**
271
     * Clear all cached data for this cache instance async
272
     *
273
     * @returns summary message
274
     */
275
    std::string clear_file_cache_async();
276
    std::string clear_file_cache_sync();
277
278
    /**
279
     * Reset the cache capacity. If the new_capacity is smaller than _capacity, the redundant data will be remove async.
280
     *
281
     * @returns summary message
282
     */
283
    std::string reset_capacity(size_t new_capacity);
284
285
    std::map<size_t, FileBlockSPtr> get_blocks_by_key(const UInt128Wrapper& hash);
286
287
    /// For debug and UT
288
    std::string dump_structure(const UInt128Wrapper& hash);
289
    std::string dump_single_cache_type(const UInt128Wrapper& hash, size_t offset);
290
291
    void dump_lru_queues(bool force);
292
293
    [[nodiscard]] size_t get_used_cache_size(FileCacheType type) const;
294
295
    [[nodiscard]] size_t get_file_blocks_num(FileCacheType type) const;
296
297
    // change the block cache type
298
    void change_cache_type(const UInt128Wrapper& hash, size_t offset, FileCacheType new_type,
299
                           std::lock_guard<std::mutex>& cache_lock);
300
301
    // remove all blocks that belong to the key
302
    void remove_if_cached(const UInt128Wrapper& key);
303
    void remove_if_cached_async(const UInt128Wrapper& key);
304
305
    // Reset the block size and keep FileBlock, LRU queue, and cache counters consistent.
306
    void reset_range(const UInt128Wrapper&, size_t offset, size_t old_size, size_t new_size,
307
                     std::lock_guard<std::mutex>& cache_lock);
308
309
    // get the hotest blocks message by key
310
    // The tuple is composed of <offset, size, cache_type, expiration_time>
311
    [[nodiscard]] std::vector<std::tuple<size_t, size_t, FileCacheType, uint64_t>>
312
    get_hot_blocks_meta(const UInt128Wrapper& hash) const;
313
314
    [[nodiscard]] bool get_async_open_success() const { return _async_open_done; }
315
316
    // The manager that keeps cached blocks in the cache type their tablet's TTL asks for.
317
    // Exposed so that tests can drive it deterministically rather than race its threads.
318
    BlockFileCacheTtlMgr* get_ttl_mgr() { return _ttl_mgr.get(); }
319
320
    BlockFileCache& operator=(const BlockFileCache&) = delete;
321
    BlockFileCache(const BlockFileCache&) = delete;
322
323
    // try to reserve the new space for the new block if the cache is full
324
    bool try_reserve(const UInt128Wrapper& hash, const CacheContext& context, size_t offset,
325
                     size_t size, std::lock_guard<std::mutex>& cache_lock);
326
327
    /**
328
     * Proactively evict cache blocks to free up space before cache is full.
329
     * 
330
     * This function attempts to evict blocks from both NORMAL and TTL queues to maintain 
331
     * cache size below high watermark. Unlike try_reserve() which blocks until space is freed,
332
     * this function initiates asynchronous eviction in background.
333
     * 
334
     * @param size Number of bytes to try to evict
335
     * @param cache_lock Lock that must be held while accessing cache data structures
336
     * 
337
     * @pre Caller must hold cache_lock
338
     * @pre _need_evict_cache_in_advance must be true
339
     * @pre _recycle_keys queue must have capacity for evicted blocks
340
     */
341
    void try_evict_in_advance(size_t size, std::lock_guard<std::mutex>& cache_lock);
342
343
    void update_ttl_atime(const UInt128Wrapper& hash);
344
345
    std::map<std::string, double> get_stats();
346
347
    // for be UTs
348
    std::map<std::string, double> get_stats_unsafe();
349
    [[nodiscard]] size_t need_update_lru_blocks_size_unsafe() const {
350
        return _need_update_lru_blocks.size();
351
    }
352
353
    using AccessRecord =
354
            std::unordered_map<AccessKeyAndOffset, LRUQueue::Iterator, KeyAndOffsetHash>;
355
356
    /// Used to track and control the cache access of each query.
357
    /// Through it, we can realize the processing of different queries by the cache layer.
358
    struct QueryFileCacheContext {
359
        LRUQueue lru_queue;
360
        AccessRecord records;
361
362
5
        QueryFileCacheContext(size_t max_cache_size) : lru_queue(max_cache_size, 0, 0) {}
363
364
        void remove(const UInt128Wrapper& hash, size_t offset,
365
                    std::lock_guard<std::mutex>& cache_lock);
366
367
        void reserve(const UInt128Wrapper& hash, size_t offset, size_t size,
368
                     std::lock_guard<std::mutex>& cache_lock);
369
370
69
        size_t get_max_cache_size() const { return lru_queue.get_max_size(); }
371
372
48
        size_t get_cache_size(std::lock_guard<std::mutex>& cache_lock) const {
373
48
            return lru_queue.get_capacity(cache_lock);
374
48
        }
375
376
50
        LRUQueue& queue() { return lru_queue; }
377
    };
378
379
    using QueryFileCacheContextPtr = std::shared_ptr<QueryFileCacheContext>;
380
    using QueryFileCacheContextMap = std::unordered_map<TUniqueId, QueryFileCacheContextPtr>;
381
382
    QueryFileCacheContextPtr get_query_context(const TUniqueId& query_id,
383
                                               std::lock_guard<std::mutex>&);
384
385
    void remove_query_context(const TUniqueId& query_id);
386
387
    QueryFileCacheContextPtr get_or_set_query_context(const TUniqueId& query_id,
388
                                                      std::lock_guard<std::mutex>& cache_lock,
389
                                                      int file_cache_query_limit_percent);
390
391
    /// Save a query context information, and adopt different cache policies
392
    /// for different queries through the context cache layer.
393
    struct QueryFileCacheContextHolder {
394
        QueryFileCacheContextHolder(const TUniqueId& query_id, BlockFileCache* mgr,
395
                                    QueryFileCacheContextPtr context)
396
7
                : query_id(query_id), mgr(mgr), context(context) {}
397
398
        QueryFileCacheContextHolder& operator=(const QueryFileCacheContextHolder&) = delete;
399
        QueryFileCacheContextHolder(const QueryFileCacheContextHolder&) = delete;
400
401
7
        ~QueryFileCacheContextHolder() {
402
            /// If only the query_map and the current holder hold the context_query,
403
            /// the query has been completed and the query_context is released.
404
7
            if (context) {
405
6
                context.reset();
406
6
                mgr->remove_query_context(query_id);
407
6
            }
408
7
        }
409
410
        const TUniqueId& query_id;
411
        BlockFileCache* mgr = nullptr;
412
        QueryFileCacheContextPtr context;
413
    };
414
    using QueryFileCacheContextHolderPtr = std::unique_ptr<QueryFileCacheContextHolder>;
415
    QueryFileCacheContextHolderPtr get_query_context_holder(const TUniqueId& query_id,
416
                                                            int file_cache_query_limit_percent);
417
418
0
    int64_t approximate_available_cache_size() const {
419
0
        return std::max<int64_t>(
420
0
                _cache_capacity_metrics->get_value() - _cur_cache_size_metrics->get_value(), 0);
421
0
    }
422
423
    Status report_file_cache_inconsistency(std::vector<std::string>& results);
424
    Status check_file_cache_consistency(InconsistencyContext& inconsistency_context);
425
426
private:
427
    // Shared scan used by both clear modes. It keeps the FileBlock holder lifecycle intact:
428
    // releasable blocks are removed immediately, while blocks held by readers are only marked
429
    // deleting and are later removed by FileBlocksHolder destruction or, when the last holder
430
    // does not release through FileBlock::release_cache_reference(), by run_background_gc().
431
    std::string clear_file_cache_impl(bool sync_remove);
432
433
    LRUQueue& get_queue(FileCacheType type);
434
    const LRUQueue& get_queue(FileCacheType type) const;
435
436
    template <class T, class U>
437
        requires IsXLock<T> && IsXLock<U>
438
    void remove(FileBlockSPtr file_block, T& cache_lock, U& segment_lock, bool sync = true);
439
440
    FileBlocks get_impl(const UInt128Wrapper& hash, const CacheContext& context,
441
                        const FileBlock::Range& range, std::lock_guard<std::mutex>& cache_lock);
442
443
    template <class T>
444
        requires IsXLock<T>
445
    FileBlockCell* get_cell(const UInt128Wrapper& hash, size_t offset, T& cache_lock);
446
447
    virtual FileBlockCell* add_cell(const UInt128Wrapper& hash, const CacheContext& context,
448
                                    size_t offset, size_t size, FileBlock::State state,
449
                                    std::lock_guard<std::mutex>& cache_lock);
450
451
    Status initialize_unlocked(std::lock_guard<std::mutex>& cache_lock);
452
453
    void update_block_lru(FileBlockSPtr block, std::lock_guard<std::mutex>& cache_lock);
454
455
    void use_cell(const FileBlockCell& cell, FileBlocks* result, bool not_need_move,
456
                  std::lock_guard<std::mutex>& cache_lock);
457
458
    bool try_reserve_for_lru(const UInt128Wrapper& hash, QueryFileCacheContextPtr query_context,
459
                             const CacheContext& context, size_t offset, size_t size,
460
                             std::lock_guard<std::mutex>& cache_lock,
461
                             bool evict_in_advance = false);
462
463
    bool try_reserve_during_async_load(size_t size, std::lock_guard<std::mutex>& cache_lock);
464
465
    std::vector<FileCacheType> get_other_cache_type(FileCacheType cur_cache_type);
466
    std::vector<FileCacheType> get_other_cache_type_without_ttl(FileCacheType cur_cache_type);
467
468
    bool try_reserve_from_other_queue(FileCacheType cur_cache_type, size_t offset, int64_t cur_time,
469
                                      std::lock_guard<std::mutex>& cache_lock,
470
                                      bool evict_in_advance = false);
471
472
    size_t get_available_cache_size(FileCacheType cache_type) const;
473
474
    FileBlocks split_range_into_cells(const UInt128Wrapper& hash, const CacheContext& context,
475
                                      size_t offset, size_t size, FileBlock::State state,
476
                                      std::lock_guard<std::mutex>& cache_lock);
477
478
    std::string dump_structure_unlocked(const UInt128Wrapper& hash,
479
                                        std::lock_guard<std::mutex>& cache_lock);
480
481
    std::string dump_single_cache_type_unlocked(const UInt128Wrapper& hash, size_t offset,
482
                                                std::lock_guard<std::mutex>& cache_lock);
483
484
    void fill_holes_with_empty_file_blocks(FileBlocks& file_blocks, const UInt128Wrapper& hash,
485
                                           const CacheContext& context,
486
                                           const FileBlock::Range& range,
487
                                           std::lock_guard<std::mutex>& cache_lock);
488
489
    size_t get_used_cache_size_unlocked(FileCacheType type,
490
                                        std::lock_guard<std::mutex>& cache_lock) const;
491
492
    void check_disk_resource_limit();
493
    void check_need_evict_cache_in_advance();
494
495
    size_t get_available_cache_size_unlocked(FileCacheType type,
496
                                             std::lock_guard<std::mutex>& cache_lock) const;
497
498
    size_t get_file_blocks_num_unlocked(FileCacheType type,
499
                                        std::lock_guard<std::mutex>& cache_lock) const;
500
501
    bool need_to_move(FileCacheType cell_type, FileCacheType query_type) const;
502
503
    void run_background_monitor();
504
    void run_background_gc();
505
    void run_background_lru_log_replay();
506
    size_t replay_lru_logs_once();
507
    void run_background_lru_dump();
508
    void restore_lru_queues_from_disk(std::lock_guard<std::mutex>& cache_lock);
509
    void run_background_evict_in_advance();
510
    void run_background_block_lru_update();
511
512
    bool try_reserve_from_other_queue_by_time_interval(FileCacheType cur_type,
513
                                                       std::vector<FileCacheType> other_cache_types,
514
                                                       size_t size, int64_t cur_time,
515
                                                       std::lock_guard<std::mutex>& cache_lock,
516
                                                       bool evict_in_advance);
517
518
    bool try_reserve_from_other_queue_by_size(FileCacheType cur_type,
519
                                              std::vector<FileCacheType> other_cache_types,
520
                                              size_t size, std::lock_guard<std::mutex>& cache_lock,
521
                                              bool evict_in_advance);
522
523
    bool is_overflow(size_t removed_size, size_t need_size, size_t cur_cache_size,
524
                     bool evict_in_advance) const;
525
526
    void remove_file_blocks(std::vector<FileBlockCell*>&, std::lock_guard<std::mutex>&, bool sync,
527
                            std::string& reason);
528
529
    void find_evict_candidates(LRUQueue& queue, size_t size, size_t cur_cache_size,
530
                               size_t& removed_size, std::vector<FileBlockCell*>& to_evict,
531
                               std::lock_guard<std::mutex>& cache_lock, size_t& cur_removed_size,
532
                               bool evict_in_advance);
533
534
    Status check_ofstream_status(std::ofstream& out, std::string& filename);
535
    Status dump_one_lru_entry(std::ofstream& out, std::string& filename, const UInt128Wrapper& hash,
536
                              size_t offset, size_t size);
537
    Status finalize_dump(std::ofstream& out, size_t entry_num, std::string& tmp_filename,
538
                         std::string& final_filename, size_t& file_size);
539
    Status check_ifstream_status(std::ifstream& in, std::string& filename);
540
    Status parse_dump_footer(std::ifstream& in, std::string& filename, size_t& entry_num);
541
    Status parse_one_lru_entry(std::ifstream& in, std::string& filename, UInt128Wrapper& hash,
542
                               size_t& offset, size_t& size);
543
    void remove_lru_dump_files();
544
545
    void clear_need_update_lru_blocks();
546
547
    // Marks a cell that cannot be erased yet as deleting and remembers it in _deleting_blocks, so
548
    // that the block is still reclaimed when its last reference is dropped without going through
549
    // FileBlock::release_cache_reference(). This is the only place that sets a block deleting.
550
    template <class T>
551
        requires IsXLock<T>
552
    void mark_cell_deleting(FileBlockCell& cell, T& cache_lock);
553
554
    // Removes up to batch_limit blocks that were marked deleting and are not referenced any
555
    // more. Returns how many of them were removed.
556
    size_t recycle_deleting_blocks(size_t batch_limit);
557
558
    // info
559
    std::string _cache_base_path;
560
    size_t _capacity = 0;
561
    size_t _max_file_block_size = 0;
562
563
    mutable std::mutex _mutex;
564
    bool _close {false};
565
    std::mutex _close_mtx;
566
    std::condition_variable _close_cv;
567
    std::thread _cache_background_monitor_thread;
568
    std::thread _cache_background_gc_thread;
569
    std::thread _cache_background_evict_in_advance_thread;
570
    std::thread _cache_background_lru_dump_thread;
571
    std::thread _cache_background_lru_log_replay_thread;
572
    std::thread _cache_background_block_lru_update_thread;
573
    std::atomic_bool _async_open_done {false};
574
    // disk space or inode is less than the specified value
575
    std::atomic<bool> _disk_resource_limit_mode {false};
576
    std::atomic<bool> _need_evict_cache_in_advance {false};
577
    bool _is_initialized {false};
578
579
    // strategy
580
    using FileBlocksByOffset = std::map<size_t, FileBlockCell>;
581
    using CachedFiles = std::unordered_map<UInt128Wrapper, FileBlocksByOffset, KeyHash>;
582
    CachedFiles _files;
583
    QueryFileCacheContextMap _query_map;
584
    size_t _cur_cache_size = 0;
585
    size_t _cur_ttl_size = 0;
586
    std::multimap<uint64_t, UInt128Wrapper> _time_to_key;
587
    std::unordered_map<UInt128Wrapper, uint64_t, KeyHash> _key_to_time;
588
    // The three queues are level queue.
589
    // It means as level1/level2/level3 queue.
590
    // but the level2 is maximum.
591
    // If some datas are importance, we can cache it into index queue
592
    // If some datas are just use once, we can cache it into disposable queue
593
    // The size proportion is [1:17:2].
594
    LRUQueue _index_queue;
595
    LRUQueue _normal_queue;
596
    LRUQueue _disposable_queue;
597
    LRUQueue _ttl_queue;
598
599
    // keys for async remove
600
    RecycleFileCacheKeys _recycle_keys;
601
602
    // Blocks that were busy when something asked to delete them. They keep sitting in _files
603
    // until their last reference goes away. Only FileBlocksHolder and FileBlocksProbeResult
604
    // release through FileBlock::release_cache_reference(), which is the one path that notices
605
    // is_deleting and removes the block; every other reference holder just drops its shared_ptr
606
    // and would strand the block here forever. run_background_gc() rechecks these candidates and
607
    // removes the ones that became releasable.
608
    //
609
    // Invariant: holds exactly the keys of the cells in _files whose block is deleting. A key is
610
    // added by mark_cell_deleting() and erased by remove() together with its cell, so a block
611
    // created later at the same offset is never taken for the one that was marked.
612
    std::unordered_set<AccessKeyAndOffset, KeyAndOffsetHash> _deleting_blocks;
613
614
    std::unique_ptr<LRUQueueRecorder> _lru_recorder;
615
    std::unique_ptr<CacheLRUDumper> _lru_dumper;
616
    std::unique_ptr<BlockFileCacheTtlMgr> _ttl_mgr;
617
618
    std::unique_ptr<InflightWriteBufferIndex> _inflight_write_buffer_index;
619
    std::unique_ptr<AsyncCacheWriteManager> _async_write_manager;
620
621
    // metrics
622
    std::shared_ptr<bvar::Status<size_t>> _cache_capacity_metrics;
623
    std::shared_ptr<bvar::Status<size_t>> _cur_cache_size_metrics;
624
    std::shared_ptr<bvar::Status<size_t>> _cur_ttl_cache_size_metrics;
625
    std::shared_ptr<bvar::Status<size_t>> _cur_ttl_cache_lru_queue_cache_size_metrics;
626
    std::shared_ptr<bvar::Status<size_t>> _cur_ttl_cache_lru_queue_element_count_metrics;
627
    std::shared_ptr<bvar::Status<size_t>> _cur_normal_queue_element_count_metrics;
628
    std::shared_ptr<bvar::Status<size_t>> _cur_normal_queue_cache_size_metrics;
629
    std::shared_ptr<bvar::Status<size_t>> _cur_index_queue_element_count_metrics;
630
    std::shared_ptr<bvar::Status<size_t>> _cur_index_queue_cache_size_metrics;
631
    std::shared_ptr<bvar::Status<size_t>> _cur_disposable_queue_element_count_metrics;
632
    std::shared_ptr<bvar::Status<size_t>> _cur_disposable_queue_cache_size_metrics;
633
    std::array<std::shared_ptr<bvar::Adder<size_t>>, 4> _queue_evict_size_metrics;
634
    std::shared_ptr<bvar::Adder<size_t>> _total_read_size_metrics;
635
    std::shared_ptr<bvar::Adder<size_t>> _total_hit_size_metrics;
636
    std::shared_ptr<bvar::Adder<size_t>> _total_evict_size_metrics;
637
    std::shared_ptr<bvar::Adder<size_t>> _evict_not_downloaded_size_metrics;
638
    std::shared_ptr<bvar::Adder<size_t>> _evict_not_downloaded_num_metrics;
639
    std::shared_ptr<bvar::Adder<size_t>> _gc_evict_bytes_metrics;
640
    std::shared_ptr<bvar::Adder<size_t>> _gc_evict_count_metrics;
641
    std::shared_ptr<bvar::Adder<size_t>> _evict_by_time_metrics_matrix[4][4];
642
    std::shared_ptr<bvar::Adder<size_t>> _evict_by_size_metrics_matrix[4][4];
643
    std::shared_ptr<bvar::Adder<size_t>> _evict_by_self_lru_metrics_matrix[4];
644
    std::shared_ptr<bvar::Adder<size_t>> _evict_by_try_release;
645
646
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _num_hit_blocks_5m;
647
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _num_read_blocks_5m;
648
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _num_hit_blocks_1h;
649
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _num_read_blocks_1h;
650
651
    std::shared_ptr<bvar::Adder<size_t>> _num_read_blocks;
652
    std::shared_ptr<bvar::Adder<size_t>> _num_hit_blocks;
653
    std::shared_ptr<bvar::Adder<size_t>> _num_removed_blocks;
654
655
    std::shared_ptr<bvar::Adder<size_t>> _no_warmup_num_read_blocks;
656
    std::shared_ptr<bvar::Adder<size_t>> _no_warmup_num_hit_blocks;
657
658
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _no_warmup_num_hit_blocks_5m;
659
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _no_warmup_num_read_blocks_5m;
660
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _no_warmup_num_hit_blocks_1h;
661
    std::shared_ptr<bvar::Window<bvar::Adder<size_t>>> _no_warmup_num_read_blocks_1h;
662
663
    std::shared_ptr<bvar::Status<double>> _hit_ratio;
664
    std::shared_ptr<bvar::Status<double>> _hit_ratio_5m;
665
    std::shared_ptr<bvar::Status<double>> _hit_ratio_1h;
666
    std::shared_ptr<bvar::Status<double>> _no_warmup_hit_ratio;
667
    std::shared_ptr<bvar::Status<double>> _no_warmup_hit_ratio_5m;
668
    std::shared_ptr<bvar::Status<double>> _no_warmup_hit_ratio_1h;
669
    std::shared_ptr<bvar::Status<size_t>> _disk_limit_mode_metrics;
670
    std::shared_ptr<bvar::Status<size_t>> _need_evict_cache_in_advance_metrics;
671
    std::shared_ptr<bvar::Status<size_t>> _meta_store_write_queue_size_metrics;
672
673
    std::shared_ptr<bvar::LatencyRecorder> _cache_lock_wait_time_us;
674
    std::shared_ptr<bvar::LatencyRecorder> _get_or_set_latency_us;
675
    std::shared_ptr<bvar::LatencyRecorder> _probe_latency_us;
676
    std::shared_ptr<bvar::LatencyRecorder> _storage_sync_remove_latency_us;
677
    std::shared_ptr<bvar::LatencyRecorder> _storage_retry_sync_remove_latency_us;
678
    std::shared_ptr<bvar::LatencyRecorder> _storage_async_remove_latency_us;
679
    std::shared_ptr<bvar::LatencyRecorder> _evict_in_advance_latency_us;
680
    std::shared_ptr<bvar::LatencyRecorder> _recycle_keys_length_recorder;
681
    std::shared_ptr<bvar::Status<size_t>> _deleting_block_count_metrics;
682
    std::shared_ptr<bvar::Adder<size_t>> _recycle_deleting_blocks_metrics;
683
    std::shared_ptr<bvar::LatencyRecorder> _update_lru_blocks_latency_us;
684
    std::shared_ptr<bvar::LatencyRecorder> _need_update_lru_blocks_length_recorder;
685
    std::shared_ptr<bvar::Adder<size_t>> _need_update_lru_blocks_produce_metrics;
686
    std::shared_ptr<bvar::Adder<size_t>> _need_update_lru_blocks_consume_metrics;
687
    std::shared_ptr<bvar::LatencyRecorder> _ttl_gc_latency_us;
688
689
    std::shared_ptr<bvar::LatencyRecorder> _shadow_queue_levenshtein_distance;
690
    std::array<std::shared_ptr<bvar::LatencyRecorder>, 4> _lru_recorder_queue_length_recorder;
691
    std::array<std::shared_ptr<bvar::Adder<size_t>>, 4> _lru_recorder_queue_produce_metrics;
692
    std::array<std::shared_ptr<bvar::Adder<size_t>>, 4> _lru_recorder_queue_consume_metrics;
693
    std::array<std::shared_ptr<bvar::Status<size_t>>, 4>
694
            _lru_recorder_shadow_queue_element_count_metrics;
695
    std::shared_ptr<bvar::Adder<size_t>> _lru_recorder_log_replay_idle_metrics;
696
    // keep _storage last so it will deconstruct first
697
    // otherwise, load_cache_info_into_memory might crash
698
    // coz it will use other members of BlockFileCache
699
    // so join this async load thread first
700
    std::unique_ptr<FileCacheStorage> _storage;
701
    std::shared_ptr<bvar::LatencyRecorder> _lru_dump_latency_us;
702
    std::mutex _dump_lru_queues_mtx;
703
    NeedUpdateLRUBlocks _need_update_lru_blocks;
704
};
705
706
} // namespace doris::io