vllm_backend.rs 20.6 KB
Newer Older
1
// SPDX-FileCopyrightText: Copyright (c) 2024-2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
2
3
// SPDX-License-Identifier: Apache-2.0

4
//! # KV Manager (vLLM Backend)
5
6
//! A synchronous implementation of a block manager that handles MoveBlock signals for caching KV blocks.
//!
7
8
//! Uses [`HashCache`] for O(1) block lookups with active/inactive pool management.
//!
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
//! ## Block Operations
//! The KV manager processes four types of MoveBlock signals:
//!
//! ### Use
//! - Checks if block exists in active pool → increment reference count
//! - If in inactive pool → move to active pool
//! - If neither → try evicting from inactive pool to make room
//! - If inactive pool is empty → pre-empt the oldest running request
//!
//! ### Destroy
//! - Removes the block from the active pool
//!
//! ### Deref
//! - Decrements reference count of a block in active pool
//! - If count reaches zero → move block to inactive pool
//!
//! ### Promote
//! - Converts a partial block (uuid) into a full block (global block hash)
//!
//! ## Preemption
//! If a Use operation fails (typically due to insufficient space), a false boolean signal
//! is returned to the scheduler for preemption. Initial KV block allocations for new requests
//! should not fail due to the watermark checking.
//!
//! ## NOTE
//! For simplicity (or non-simplicity), reference counting is tracked manually instead of using
//! the more idiomatic built-in Arc reference counter. This can be considered a shadow / mirror
//! implementation of the main block manager.
37
38
39
use crate::cache::HashCache;
use crate::common::protocols::{KvCacheEventSink, MoveBlock, PrefillCost};
use crate::common::sequence::ActiveSequence;
40
use dynamo_kv_router::protocols::{
Yan Ru Pei's avatar
Yan Ru Pei committed
41
42
43
    ExternalSequenceBlockHash, KvCacheEvent, KvCacheEventData, KvCacheRemoveData, KvCacheStoreData,
    KvCacheStoredBlockData, LocalBlockHash,
};
44
use dynamo_runtime::config::environment_names::mocker;
45
46
use dynamo_tokens::blocks::UniqueBlock;
use dynamo_tokens::{BlockHash, SequenceHash};
47
use std::collections::HashMap;
48
49
50
51
52
53
54
55
56
57
use std::env;
use std::sync::{Arc, LazyLock};
use std::time::{SystemTime, UNIX_EPOCH};

/// Check the env var to enable KV cache allocation/eviction trace logs.
static KV_CACHE_TRACE_ENABLED: LazyLock<bool> = LazyLock::new(|| {
    env::var(mocker::DYN_MOCKER_KV_CACHE_TRACE)
        .map(|v| v == "1" || v.eq_ignore_ascii_case("true"))
        .unwrap_or(false)
});
58
59

pub struct KvManager {
60
    cache: HashCache,
61
    block_size: usize,
62
    kv_event_sink: Option<Arc<dyn KvCacheEventSink>>,
Yan Ru Pei's avatar
Yan Ru Pei committed
63
64
    dp_rank: u32,
    next_event_id: u64,
65
66
67
}

impl KvManager {
68
    pub fn new(max_capacity: usize, block_size: usize) -> Self {
69
        Self::new_with_event_sink(max_capacity, block_size, None, 0)
70
71
    }

72
    pub fn new_with_event_sink(
73
74
        max_capacity: usize,
        block_size: usize,
75
        kv_event_sink: Option<Arc<dyn KvCacheEventSink>>,
Yan Ru Pei's avatar
Yan Ru Pei committed
76
        dp_rank: u32,
77
    ) -> Self {
78
        debug_assert!(max_capacity > 0, "max_capacity must be > 0");
79
        if kv_event_sink.is_some() {
Yan Ru Pei's avatar
Yan Ru Pei committed
80
            tracing::info!(
81
                "KvManager initialized with event sink for DP rank {dp_rank} with block_size {block_size}"
Yan Ru Pei's avatar
Yan Ru Pei committed
82
            );
83
        }
Yan Ru Pei's avatar
Yan Ru Pei committed
84

85
        KvManager {
86
            cache: HashCache::new(max_capacity),
87
            block_size,
88
            kv_event_sink,
Yan Ru Pei's avatar
Yan Ru Pei committed
89
90
            dp_rank,
            next_event_id: 0,
91
92
93
        }
    }

94
    /// Converts stored/removed blocks into KvCacheEventData and publishes if sink is available.
Yan Ru Pei's avatar
Yan Ru Pei committed
95
96
97
98
    fn publish_kv_event(
        &mut self,
        full_blocks: Vec<SequenceHash>,
        local_hashes: &[BlockHash],
99
        parent_hash: Option<u64>,
Yan Ru Pei's avatar
Yan Ru Pei committed
100
        is_store: bool,
101
        token_ids: Option<Vec<Vec<u32>>>,
102
    ) {
Yan Ru Pei's avatar
Yan Ru Pei committed
103
104
105
106
        if full_blocks.is_empty() {
            return;
        }

107
        if *KV_CACHE_TRACE_ENABLED {
108
109
            let active_len = self.cache.num_active();
            let inactive_len = self.cache.num_inactive();
110
            let free_blocks = self
111
112
                .cache
                .max_capacity()
113
114
115
                .saturating_sub(active_len)
                .saturating_sub(inactive_len);
            let event = if is_store { "allocation" } else { "eviction" };
116
117
118
119
            let timestamp_ms = SystemTime::now()
                .duration_since(UNIX_EPOCH)
                .unwrap_or_default()
                .as_millis() as u64;
120
121
122
123
124
125
126
127
            tracing::info!(
                event,
                timestamp_ms,
                block_ids = ?&full_blocks,
                block_size = self.block_size,
                free_blocks_after = free_blocks,
                active_blocks = active_len,
                inactive_blocks = inactive_len,
128
                total_blocks = self.cache.max_capacity(),
129
130
131
132
133
                dp_rank = self.dp_rank,
                "KV cache trace"
            );
        }

134
135
136
137
        let Some(ref sink) = self.kv_event_sink else {
            return;
        };

Yan Ru Pei's avatar
Yan Ru Pei committed
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
        let event_data = if is_store {
            let num_blocks = full_blocks.len();
            let local_hashes_slice = &local_hashes[local_hashes
                .len()
                .checked_sub(num_blocks)
                .expect("local hashes fewer than stored blocks")..];

            KvCacheEventData::Stored(KvCacheStoreData {
                parent_hash: parent_hash.map(ExternalSequenceBlockHash),
                blocks: full_blocks
                    .into_iter()
                    .zip(local_hashes_slice.iter())
                    .map(|(global_hash, local_hash)| KvCacheStoredBlockData {
                        block_hash: ExternalSequenceBlockHash(global_hash),
                        tokens_hash: LocalBlockHash(*local_hash),
153
                        mm_extra_info: None,
Yan Ru Pei's avatar
Yan Ru Pei committed
154
155
156
157
158
159
160
161
162
163
164
                    })
                    .collect(),
            })
        } else {
            KvCacheEventData::Removed(KvCacheRemoveData {
                block_hashes: full_blocks
                    .into_iter()
                    .map(ExternalSequenceBlockHash)
                    .collect(),
            })
        };
165
        // Use incremental event ID starting from 0 and incrementing by 1 for each event.
Yan Ru Pei's avatar
Yan Ru Pei committed
166
167
168
169
170
171
172
173
174
        let event_id = self.next_event_id;
        self.next_event_id += 1;

        let event = KvCacheEvent {
            event_id,
            data: event_data,
            dp_rank: self.dp_rank,
        };

175
        if let Err(e) = sink.publish(event, token_ids.as_deref()) {
Yan Ru Pei's avatar
Yan Ru Pei committed
176
            tracing::warn!("Failed to publish KV event: {e}");
177
178
179
180
181
182
        }
    }

    /// Process a MoveBlock instruction synchronously
    pub fn process(&mut self, event: &MoveBlock) -> bool {
        match event {
183
            MoveBlock::Use(hashes, local_hashes, token_ids) => {
184
                let mut blocks_stored = Vec::<u64>::new();
185
186
                let mut stored_token_ids: Option<Vec<Vec<u32>>> =
                    token_ids.as_ref().map(|_| Vec::new());
187
188

                let mut parent_block: Option<&UniqueBlock> = None;
189
                for (i, hash) in hashes.iter().enumerate() {
190
                    // First check if it already exists in active blocks
191
                    if self.cache.contains_active(hash) {
192
                        // Block already active, just increment reference count
193
                        self.cache.increment_ref(hash);
194
                        parent_block = Some(hash);
195
196
197
198
                        continue;
                    }

                    // Then check if it exists in inactive and move it to active if found
199
                    if self.cache.reactivate(hash) {
200
                        parent_block = Some(hash);
201
202
203
204
                        continue;
                    }

                    // If at max capacity, evict the oldest entry from inactive blocks
205
206
                    if self.cache.is_at_capacity() {
                        let Some(evicted) = self.cache.evict_inactive() else {
207
                            return false;
208
                        };
Yan Ru Pei's avatar
Yan Ru Pei committed
209
210
211
212
                        tracing::trace!(
                            "Evicting block from inactive pool: {evicted:?}, dp_rank={}",
                            self.dp_rank
                        );
213
                        if let UniqueBlock::FullBlock(evicted_full_block) = evicted {
214
                            self.publish_kv_event(vec![evicted_full_block], &[], None, false, None);
215
216
217
218
                        }
                    }

                    // Now insert the new block in active blocks with reference count 1
219
                    self.cache.insert_active(hash.clone(), 1);
220
221
                    // Track blocks for trace/event
                    if let UniqueBlock::FullBlock(stored_full_block) = hash {
222
                        blocks_stored.push(*stored_full_block);
223
224
225
                        if let Some(ref mut stids) = stored_token_ids {
                            stids.push(token_ids.as_ref().unwrap()[i].clone());
                        }
226
                    }
227
                }
228
229
230
231
232
233

                let parent_hash = match parent_block {
                    None => None,
                    Some(UniqueBlock::FullBlock(block)) => Some(*block),
                    Some(UniqueBlock::PartialBlock(_)) => panic!("parent block cannot be partial"),
                };
234
235
236
237
238
239
240
                self.publish_kv_event(
                    blocks_stored,
                    local_hashes,
                    parent_hash,
                    true,
                    stored_token_ids,
                );
241
            }
242

243
            MoveBlock::Destroy(hashes) => {
244
                let mut blocks_destroyed = Vec::<u64>::new();
Yan Ru Pei's avatar
Yan Ru Pei committed
245
246
                // Process blocks in order (already reversed by caller if needed)
                for hash in hashes.iter() {
247
                    self.cache.remove_active(hash).unwrap();
248
                    // Track blocks for batch sending
249
                    if let UniqueBlock::FullBlock(destroyed_full_block) = hash {
250
                        blocks_destroyed.push(*destroyed_full_block);
251
                    }
252
                }
253

254
                self.publish_kv_event(blocks_destroyed, &[], None, false, None);
255
            }
256

257
            MoveBlock::Deref(hashes) => {
Yan Ru Pei's avatar
Yan Ru Pei committed
258
259
                // Process blocks in order (already reversed by caller if needed)
                for hash in hashes.iter() {
260
                    // Decrement reference count and check if we need to move to inactive
261
262
                    if let Some(ref_count) = self.cache.get_active_ref_count(hash) {
                        if ref_count == 0 {
263
264
265
266
                            panic!("Negative reference count would be encountered after Deref.");
                        }

                        // If reference count reaches zero, remove from active and move to inactive
267
268
269
270
                        if ref_count == 1 {
                            self.cache.deactivate(hash);
                        } else {
                            self.cache.decrement_ref(hash);
271
272
273
274
                        }
                    }
                }
            }
275

276
            MoveBlock::Promote(uuid, hash, parent_hash, local_hash, promote_token_ids) => {
277
278
279
                let uuid_block = UniqueBlock::PartialBlock(*uuid);
                let hash_block = UniqueBlock::FullBlock(*hash);

Yan Ru Pei's avatar
Yan Ru Pei committed
280
                assert_eq!(
281
                    self.cache.remove_active(&uuid_block),
Yan Ru Pei's avatar
Yan Ru Pei committed
282
283
284
285
                    Some(1),
                    "uuid_block {uuid_block:?} should exist and be unique with ref_count=1"
                );

286
287
288
289
290
291
292
                let hash_ref_count = self.cache.get_active_ref_count(&hash_block);
                // Block is new if it's not in active and not in inactive
                let is_new = if hash_ref_count.is_some() {
                    false
                } else {
                    !self.cache.remove_inactive(&hash_block)
                };
293

294
295
                self.cache
                    .insert_active(hash_block, hash_ref_count.unwrap_or(0) + 1);
296
297

                if is_new {
298
299
300
301
302
303
304
                    self.publish_kv_event(
                        vec![*hash],
                        &[*local_hash],
                        *parent_hash,
                        true,
                        promote_token_ids.as_ref().map(|t| vec![t.clone()]),
                    );
305
                }
306
307
308
309
310
311
312
            }
        }

        // Return true if we made it this far
        true
    }

313
    /// Get the count of blocks that aren't in active or inactive pools
314
315
316
    pub fn probe_new_blocks(&self, blocks: &[UniqueBlock]) -> usize {
        blocks
            .iter()
317
            .filter(|&block| !self.cache.contains(block))
318
319
320
321
322
            .count()
    }

    /// Get the current capacity (active blocks + inactive blocks)
    pub fn current_capacity(&self) -> usize {
323
        self.cache.current_capacity()
324
325
326
327
    }

    /// Get the current capacity as a percentage of the maximum capacity
    pub fn current_capacity_perc(&self) -> f64 {
328
        self.cache.current_capacity() as f64 / self.cache.max_capacity() as f64
329
330
331
332
    }

    /// Get the number of active blocks
    pub fn num_active_blocks(&self) -> usize {
333
        self.cache.num_active()
334
335
    }

336
337
    /// Get the percentage of active blocks relative to maximum capacity
    pub fn get_active_perc(&self) -> f64 {
338
        self.cache.num_active() as f64 / self.cache.max_capacity() as f64
339
340
    }

341
342
    /// Get the number of inactive blocks
    pub fn num_inactive_blocks(&self) -> usize {
343
        self.cache.num_inactive()
344
345
346
347
    }

    /// Get the keys of inactive blocks
    pub fn get_inactive_blocks(&self) -> Vec<&UniqueBlock> {
348
        self.cache.inactive_keys().collect()
349
350
351
352
    }

    /// Get the keys of active blocks
    pub fn get_active_blocks(&self) -> Vec<&UniqueBlock> {
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
        self.cache.active_keys().collect()
    }

    pub fn max_capacity(&self) -> usize {
        self.cache.max_capacity()
    }

    pub fn block_size(&self) -> usize {
        self.block_size
    }

    pub fn dp_rank(&self) -> u32 {
        self.dp_rank
    }

    /// Direct access to active blocks map (for tests).
    pub fn active_blocks(&self) -> &HashMap<UniqueBlock, usize> {
        self.cache.active_blocks()
371
372
373
    }

    /// Check if a sequence can be scheduled and calculate cost if possible
374
375
    pub fn get_prefill_cost(&self, sequence: &ActiveSequence) -> PrefillCost {
        let seq_blocks = sequence.unique_blocks();
376
377
378
379
380

        // Find the longest prefix that exists in cache
        // We must stop at the first cache miss since KV states are computed sequentially
        let mut overlap_blocks = 0;
        for block in seq_blocks {
381
            if !self.cache.contains(block) {
382
383
384
385
386
387
388
389
390
391
                // First cache miss - can't use anything after this point
                break;
            }
            overlap_blocks += 1;
        }

        let new_blocks = seq_blocks.len() - overlap_blocks;
        // Clamp cached_tokens to handle partial blocks (last block may have < block_size tokens)
        let cached_tokens = (overlap_blocks * self.block_size).min(sequence.num_input_tokens());
        let new_tokens = sequence.num_input_tokens() - cached_tokens;
392

393
394
        PrefillCost {
            new_blocks,
395
            new_tokens,
396
        }
397
398
399
400
401
402
403
404
405
406
407
408
409
410
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_failure_on_max_capacity() {
        // Create a KvManager with 10 blocks capacity
        let mut manager = KvManager::new(10, 16);

        // Helper function to use multiple blocks that returns the response
        fn use_blocks(manager: &mut KvManager, ids: Vec<u64>) -> bool {
Yan Ru Pei's avatar
Yan Ru Pei committed
411
412
            let blocks: Vec<_> = ids.iter().map(|&id| UniqueBlock::FullBlock(id)).collect();
            let hashes: Vec<_> = ids.into_iter().collect();
413
            manager.process(&MoveBlock::Use(blocks, hashes, None))
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
        }

        // First use 10 blocks (0 to 9) in a batch
        let response = use_blocks(&mut manager, (0..10).collect());
        assert!(response, "Expected success response");

        // Verify we are at capacity
        assert_eq!(manager.current_capacity(), 10);

        // The 11th block should return false, not panic
        let response = use_blocks(&mut manager, vec![10]);
        assert!(
            !response,
            "Expected failure response when exceeding max capacity"
        );
    }

    #[test]
    fn test_block_lifecycle_stringent() {
Yan Ru Pei's avatar
Yan Ru Pei committed
433
434
        // Create a KvManager with 10 blocks capacity (no KV event publisher for tests)
        let mut manager = KvManager::new(10, 16);
435
436
437

        // Helper function to use multiple blocks
        fn use_blocks(manager: &mut KvManager, ids: Vec<u64>) {
Yan Ru Pei's avatar
Yan Ru Pei committed
438
439
            let blocks: Vec<_> = ids.iter().map(|&id| UniqueBlock::FullBlock(id)).collect();
            let hashes: Vec<_> = ids.into_iter().collect();
440
            manager.process(&MoveBlock::Use(blocks, hashes, None));
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
        }

        // Helper function to destroy multiple blocks
        fn destroy_blocks(manager: &mut KvManager, ids: Vec<u64>) {
            let blocks = ids.into_iter().map(UniqueBlock::FullBlock).collect();
            manager.process(&MoveBlock::Destroy(blocks));
        }

        // Helper function to deref multiple blocks
        fn deref_blocks(manager: &mut KvManager, ids: Vec<u64>) {
            let blocks = ids.into_iter().map(UniqueBlock::FullBlock).collect();
            manager.process(&MoveBlock::Deref(blocks));
        }

        // Helper function to check if active blocks contain expected blocks with expected ref counts
        fn assert_active_blocks(manager: &KvManager, expected_blocks: &[(u64, usize)]) {
            assert_eq!(
                manager.active_blocks().len(),
                expected_blocks.len(),
                "Active blocks count doesn't match expected"
            );

            for &(id, ref_count) in expected_blocks {
                let block = UniqueBlock::FullBlock(id);
                assert!(
                    manager.active_blocks().contains_key(&block),
467
                    "Block {id} not found in active blocks",
468
469
470
471
                );
                assert_eq!(
                    manager.active_blocks().get(&block),
                    Some(&ref_count),
472
                    "Block {id} has wrong reference count",
473
474
475
476
477
478
479
480
481
482
483
                );
            }
        }

        // Helper function to check if inactive blocks contain expected blocks
        fn assert_inactive_blocks(
            manager: &KvManager,
            expected_size: usize,
            expected_blocks: &[u64],
        ) {
            let inactive_blocks = manager.get_inactive_blocks();
484
            let inactive_blocks_count = manager.num_inactive_blocks();
485
486
487
488
489
490
491
492
493
494

            assert_eq!(
                inactive_blocks_count, expected_size,
                "Inactive blocks count doesn't match expected"
            );

            for &id in expected_blocks {
                let block = UniqueBlock::FullBlock(id);
                assert!(
                    inactive_blocks.iter().any(|&b| *b == block),
495
                    "Block {id} not found in inactive blocks",
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
                );
            }
        }

        // First use blocks 0, 1, 2, 3, 4 in a batch
        use_blocks(&mut manager, (0..5).collect());

        // Then use blocks 0, 1, 5, 6 in a batch
        use_blocks(&mut manager, vec![0, 1, 5, 6]);

        // Check that the blocks 0 and 1 are in active blocks, both with reference counts of 2
        assert_active_blocks(
            &manager,
            &[(0, 2), (1, 2), (2, 1), (3, 1), (4, 1), (5, 1), (6, 1)],
        );

        // Now destroy block 4
        destroy_blocks(&mut manager, vec![4]);

        // And deref blocks 3, 2, 1, 0 in this order as a batch
        deref_blocks(&mut manager, vec![0, 1, 2, 3]);

        // Check that the inactive_blocks is size 2 (via num_objects) and contains 3 and 2
        assert_inactive_blocks(&manager, 2, &[3, 2]);
        assert_active_blocks(&manager, &[(0, 1), (1, 1), (5, 1), (6, 1)]);

        // Now destroy block 6
        destroy_blocks(&mut manager, vec![6]);

        // And deref blocks 5, 1, 0 as a batch
        deref_blocks(&mut manager, vec![0, 1, 5]);

        // Check that the inactive_blocks is size 5, and contains 0, 1, 2, 3, 5
        assert_inactive_blocks(&manager, 5, &[0, 1, 2, 3, 5]);
        assert_active_blocks(&manager, &[]);

        // Now use 0, 1, 2, 7, 8, 9 as a batch
        use_blocks(&mut manager, vec![0, 1, 2, 7, 8, 9]);

        // Check that the inactive_blocks is size 2, and contains 3 and 5
        assert_inactive_blocks(&manager, 2, &[3, 5]);
        assert_active_blocks(&manager, &[(0, 1), (1, 1), (2, 1), (7, 1), (8, 1), (9, 1)]);

        // Test the new_blocks method - only block 4 should be new out of [0,1,2,3,4]
        let blocks_to_check: Vec<UniqueBlock> = vec![0, 1, 2, 3, 4]
            .into_iter()
            .map(UniqueBlock::FullBlock)
            .collect();
        assert_eq!(manager.probe_new_blocks(&blocks_to_check), 1);

        // Now use blocks 10, 11, 12 as a batch
        use_blocks(&mut manager, vec![10, 11, 12]);

        // Check that the inactive_blocks is size 1 and contains only 5
        assert_inactive_blocks(&manager, 1, &[5]);
551
552

        use_blocks(&mut manager, vec![13]);
553
554
    }
}