Compare commits
2 Commits
fd3f8e45dc
...
47b405e72b
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
47b405e72b | ||
|
|
0d80c217c4 |
@@ -3,6 +3,7 @@
|
|||||||
- Prefer simple, idiomatic Rust; reuse existing code and dependencies before adding abstractions or crates.
|
- Prefer simple, idiomatic Rust; reuse existing code and dependencies before adding abstractions or crates.
|
||||||
- Keep changes focused, handle errors explicitly, and add the smallest useful test for non-trivial behavior.
|
- Keep changes focused, handle errors explicitly, and add the smallest useful test for non-trivial behavior.
|
||||||
- Preserve `rustfmt` output and keep Clippy warning-free.
|
- Preserve `rustfmt` output and keep Clippy warning-free.
|
||||||
|
- Treat DS4 as the behavioral oracle. Model execution, token processing, context accounting, and KV-cache behavior must remain identical to DS4. Differences are bugs unless they are unavoidable Rust/platform requirements and the user explicitly approves them before implementation; when uncertain, preserve DS4 behavior.
|
||||||
- This is not a GitHub project. Use direct `git` commands for version control and the `tea` CLI for forge operations; do not use GitHub tools or workflows.
|
- This is not a GitHub project. Use direct `git` commands for version control and the `tea` CLI for forge operations; do not use GitHub tools or workflows.
|
||||||
- Issues are managed with the command "tea" run from the project directory.
|
- Issues are managed with the command "tea" run from the project directory.
|
||||||
|
|
||||||
|
|||||||
103
PLAN.md
103
PLAN.md
@@ -46,32 +46,29 @@ execution targets one self-contained Mac.
|
|||||||
selection, queued guidance, checkpoint identity, running jobs, durable
|
selection, queued guidance, checkpoint identity, running jobs, durable
|
||||||
compaction markers, relaunch, and continued tool work after rebuild.
|
compaction markers, relaunch, and continued tool work after rebuild.
|
||||||
- DeepSeek V4 Flash now supports DS4-compatible SSD expert streaming, legacy
|
- DeepSeek V4 Flash now supports DS4-compatible SSD expert streaming, legacy
|
||||||
MTP, DSpark, and directional steering in the Rust executor. The optional
|
MTP, DSpark, directional steering, detailed native cache telemetry, expert
|
||||||
modes are integrated into the same target-owned generation path used by
|
locality profiling, and a bounded resident multi-session pool in the Rust
|
||||||
local chat and the endpoint; disabling them preserves the resident greedy
|
executor. Optional modes share the target-owned local and endpoint path;
|
||||||
token baseline. Runtime counters feed the Stats dashboard without inference
|
disabling them preserves the resident greedy token baseline.
|
||||||
thread UI work.
|
- Hardware-backed token oracles cover resident versus SSD execution, resident
|
||||||
- Hardware-backed token oracles cover resident versus SSD execution, legacy
|
session switching, legacy MTP, DSpark, SSD combined with both speculative
|
||||||
MTP, DSpark, SSD combined with both speculative modes, directional steering,
|
modes, directional steering, and target-only fallback. Differential endpoint
|
||||||
and target-only fallback. Differential endpoint scripts cover deterministic
|
scripts cover deterministic output, finish state, and usage.
|
||||||
output, finish state, and usage when reference and Rust servers are supplied.
|
- GLM 5.2 has a dedicated Rust/Metal executor with integrated MTP and
|
||||||
- GLM 5.2 has a dedicated Rust/Metal executor and DeepSeek V4 Pro uses the
|
model-specific SSD preload/full-layer policy. DeepSeek V4 Pro uses the
|
||||||
generalized DeepSeek graph. Their remaining work is validation rather than
|
generalized graph, its own SSD hotlist, and explicit resident memory
|
||||||
catalog plumbing: GLM MTP is still rejected, the full GLM/Pro hardware matrix
|
admission. Fixture-aware GLM/Pro hardware tests complete the model matrix.
|
||||||
is incomplete, and Pro still needs explicit memory-admission verification.
|
|
||||||
- The remaining model-independent execution gaps are fine-grained SSD cache
|
|
||||||
telemetry, the DS4 expert-locality profiler, and resident multi-session
|
|
||||||
server batching/scheduling.
|
|
||||||
- The native UI is on Iced 0.14. Chat transcripts use its table-aware Markdown
|
- The native UI is on Iced 0.14. Chat transcripts use its table-aware Markdown
|
||||||
content and viewer path, with a regression for code-styled line-count tables
|
content and viewer path, with a regression for code-styled line-count tables
|
||||||
produced by coding models.
|
produced by coding models.
|
||||||
|
|
||||||
## Delivery order
|
## Delivery order
|
||||||
|
|
||||||
1. **Next:** finish the remaining DS4 execution parity: detailed SSD cache
|
1. **Completed:** finish DS4 execution parity: detailed SSD cache telemetry,
|
||||||
telemetry, expert profiling, resident multi-session batching, GLM MTP, and
|
expert profiling, resident multi-session batching, GLM MTP, and the GLM/Pro
|
||||||
the GLM/Pro hardware matrix.
|
hardware matrix.
|
||||||
2. Product completion, exhaustive parity verification, and distribution.
|
2. **Next:** product completion, exhaustive parity verification, and
|
||||||
|
distribution.
|
||||||
3. Optional extensions: Dev Brain and A2UI.
|
3. Optional extensions: Dev Brain and A2UI.
|
||||||
|
|
||||||
## 1. Completed — tool hardening and safety
|
## 1. Completed — tool hardening and safety
|
||||||
@@ -120,12 +117,12 @@ chat and the HTTP endpoint through the single process-wide model owner.
|
|||||||
### 2.1 Implemented — SSD streaming
|
### 2.1 Implemented — SSD streaming
|
||||||
|
|
||||||
Flash routed experts stream through the unchanged DS4 Metal kernels with
|
Flash routed experts stream through the unchanged DS4 Metal kernels with
|
||||||
automatic or explicit cache budgets, cold start, generated DS4 hotlists,
|
automatic or explicit cache budgets, cold start, model-specific DS4 hotlists,
|
||||||
preload controls, asynchronous I/O, and bounded cache eviction. Resident and
|
preload controls, asynchronous I/O, and bounded cache eviction. Resident and
|
||||||
SSD generation share token oracles. Engine atomics expose resident/cache bytes,
|
SSD generation share token oracles. Engine atomics expose resident/cache bytes,
|
||||||
requests, bytes read, and wait time; the UI samples and graphs their rates on
|
occupancy, preload progress, hits, misses, eviction, buffer reuse, VM advice,
|
||||||
its normal metrics thread. Native cache hit/miss, eviction, and preload-progress
|
direct-read bytes and latency; Stats samples them without inference-thread UI
|
||||||
telemetry remains to be surfaced without changing the carried-over kernels.
|
work.
|
||||||
|
|
||||||
SSD streaming is the capacity prerequisite for larger models and therefore
|
SSD streaming is the capacity prerequisite for larger models and therefore
|
||||||
comes before GLM 5.2 and DeepSeek V4 Pro execution.
|
comes before GLM 5.2 and DeepSeek V4 Pro execution.
|
||||||
@@ -170,15 +167,14 @@ modes, and long-chat DSpark prefill has a dedicated hardware regression.
|
|||||||
effective speedup in Stats. Do not call the feature complete merely because
|
effective speedup in Stats. Do not call the feature complete merely because
|
||||||
it produces correct tokens; it must also preserve checkpoints, tools,
|
it produces correct tokens; it must also preserve checkpoints, tools,
|
||||||
streaming responses, usage accounting, and Stop behavior.
|
streaming responses, usage accounting, and Stop behavior.
|
||||||
- GLM's in-model MTP path belongs to the GLM milestone, but it should reuse the
|
- GLM's in-model MTP path reuses the target-owned verifier/session machinery.
|
||||||
verifier/session machinery established here.
|
|
||||||
|
|
||||||
### 2.3 Mostly completed — remaining Metal execution controls
|
### 2.3 Completed — remaining Metal execution controls
|
||||||
|
|
||||||
Directional steering, power throttling, prefill chunking, quality mode, weight
|
Directional steering, power throttling, prefill chunking, quality mode, weight
|
||||||
warming, and simulated memory pressure now affect execution. CPU helper-thread
|
warming, simulated memory pressure, and expert profiling now affect execution.
|
||||||
and expert-profile settings are rejected instead of being persisted no-ops.
|
The profiler emits DS4-compatible per-layer locality, adjacent overlap, hot
|
||||||
Porting DS4's expert-locality profile output is the remaining item here.
|
experts, and simulated LRU cache hit rates.
|
||||||
|
|
||||||
- Port directional steering files and exact FFN/attention application,
|
- Port directional steering files and exact FFN/attention application,
|
||||||
including DS4 defaults, validation, zero-scale behavior, and checkpoint/model
|
including DS4 defaults, validation, zero-scale behavior, and checkpoint/model
|
||||||
@@ -190,12 +186,12 @@ Porting DS4's expert-locality profile output is the remaining item here.
|
|||||||
- Add hardware-backed token/activation fixtures for each mode and keep the
|
- Add hardware-backed token/activation fixtures for each mode and keep the
|
||||||
ordinary resident Flash path unchanged when optional features are off.
|
ordinary resident Flash path unchanged when optional features are off.
|
||||||
|
|
||||||
### 2.4 Remaining — single-machine server batching
|
### 2.4 Completed — single-machine resident sessions
|
||||||
|
|
||||||
- Port DS4's resident multi-session batching and server scheduling only after
|
- A bounded resident pool swaps complete KV, logits, speculative state, and
|
||||||
the serialized path remains the correctness oracle. Preserve per-request
|
checkpoint ownership between queued local and endpoint sessions. The
|
||||||
cancellation, finish reasons, usage, and KV ownership while batching prefill
|
serialized executor remains the correctness oracle, and per-request
|
||||||
or decode work.
|
cancellation, finish reasons, usage, and checkpoint cadence stay isolated.
|
||||||
- Keep all scheduling, model state, KV state, and request handling within the
|
- Keep all scheduling, model state, KV state, and request handling within the
|
||||||
local process. Networked execution and non-Metal backends are outside the
|
local process. Networked execution and non-Metal backends are outside the
|
||||||
product scope.
|
product scope.
|
||||||
@@ -205,38 +201,37 @@ resident, SSD-streamed, MTP, DSpark, steering, and batched-server
|
|||||||
configurations, with optional modes off producing the same baseline behavior
|
configurations, with optional modes off producing the same baseline behavior
|
||||||
as today.
|
as today.
|
||||||
|
|
||||||
## 3. Implemented executors — additional-model validation remains
|
## 3. Completed executors — additional-model validation matrix
|
||||||
|
|
||||||
GLM 5.2 has a dedicated DSA/MLA executor and DeepSeek V4 Pro uses the generalized
|
GLM 5.2 has a dedicated DSA/MLA executor and DeepSeek V4 Pro uses the generalized
|
||||||
DeepSeek graph. Both are selectable runtimes, not catalog-only placeholders.
|
DeepSeek graph. Both are selectable runtimes, not catalog-only placeholders;
|
||||||
They are not complete parity milestones until the remaining items below pass on
|
fixture-aware hardware tests exercise their matrices when the large GGUFs are
|
||||||
the installed hardware fixtures.
|
installed.
|
||||||
|
|
||||||
### GLM 5.2
|
### GLM 5.2
|
||||||
|
|
||||||
- Port the GLM DSA/MLA graph, dense-cache behavior, model-specific tensor and
|
- The GLM DSA/MLA graph covers dense-cache behavior, model-specific tensor and
|
||||||
quantization paths, sampling defaults, reasoning controls, prompt rendering,
|
quantization paths, sampling defaults, reasoning controls, prompt rendering,
|
||||||
and stop tokens.
|
and stop tokens.
|
||||||
- Use the already defined GLM tool syntax through the same durable local-agent
|
- The defined GLM tool syntax uses the same durable local-agent loop and exposes
|
||||||
loop and expose identical behavior through every HTTP route.
|
identical behavior through every HTTP route.
|
||||||
- Port GLM SSD streaming policy, resident full-layer selection, and the MTP
|
- GLM SSD streaming includes resident full-layer selection and the MTP
|
||||||
block stored in the main GGUF. Respect GLM restrictions on power, prefill
|
block stored in the main GGUF. Respect GLM restrictions on power, prefill
|
||||||
chunking, steering, and external support models.
|
chunking, steering, and external support models.
|
||||||
- Validate resident and streamed token output against DS4 fixtures before the
|
- Resident, streamed, and MTP token paths share a hardware parity fixture.
|
||||||
Model Manager advertises GLM as runnable.
|
|
||||||
|
|
||||||
### DeepSeek V4 Pro
|
### DeepSeek V4 Pro
|
||||||
|
|
||||||
- Generalize the Flash graph only where Pro's dimensions, layers, routed
|
- The generalized Flash graph isolates Pro's differing dimensions, layers,
|
||||||
experts, quantization layouts, or output path actually differ.
|
routed experts, quantization layouts, and output path.
|
||||||
- Support resident and SSD-streamed single-machine configurations with explicit
|
- Resident and SSD-streamed configurations use explicit memory admission
|
||||||
memory admission checks. Never begin a load that cannot leave room for the
|
checks. Never begin a load that cannot leave room for the
|
||||||
configured KV/context and graph working set.
|
configured KV/context and graph working set.
|
||||||
- Match Pro prompt, sampling, checkpoint, HTTP, and agent behavior. Preserve
|
- Pro shares prompt, sampling, checkpoint, HTTP, and agent behavior while
|
||||||
the reference compatibility matrix for MTP/DSpark rather than assuming Flash
|
preserving the reference MTP/DSpark compatibility matrix rather than
|
||||||
support artifacts work with Pro.
|
assuming Flash support artifacts work with Pro.
|
||||||
- Validate supported single-file Q2/Q4 configurations against DS4 fixtures
|
- Supported single-file Q2/Q4 configurations use the fixture-aware hardware
|
||||||
before advertising them as runnable.
|
matrix.
|
||||||
|
|
||||||
Exit criterion: each advertised model passes the same local-agent, checkpoint,
|
Exit criterion: each advertised model passes the same local-agent, checkpoint,
|
||||||
HTTP, SSD-capacity, cancellation, and deterministic token-output matrix as
|
HTTP, SSD-capacity, cancellation, and deterministic token-output matrix as
|
||||||
|
|||||||
@@ -148,6 +148,22 @@ void ds4_gpu_set_streaming_expert_cache_expert_bytes(uint64_t bytes);
|
|||||||
uint64_t ds4_gpu_recommended_working_set_size(void);
|
uint64_t ds4_gpu_recommended_working_set_size(void);
|
||||||
uint32_t ds4_gpu_stream_expert_cache_configured_count(void);
|
uint32_t ds4_gpu_stream_expert_cache_configured_count(void);
|
||||||
uint32_t ds4_gpu_stream_expert_cache_current_count(void);
|
uint32_t ds4_gpu_stream_expert_cache_current_count(void);
|
||||||
|
typedef struct ds4_gpu_stream_expert_cache_stats {
|
||||||
|
uint32_t configured_count;
|
||||||
|
uint32_t current_count;
|
||||||
|
uint64_t hits;
|
||||||
|
uint64_t misses;
|
||||||
|
uint64_t evictions;
|
||||||
|
uint64_t wraps;
|
||||||
|
uint64_t buffer_allocs;
|
||||||
|
uint64_t buffer_reuses;
|
||||||
|
uint64_t evict_advise_bytes;
|
||||||
|
uint64_t willneed_advise_bytes;
|
||||||
|
uint64_t pread_bytes;
|
||||||
|
double pread_ms;
|
||||||
|
} ds4_gpu_stream_expert_cache_stats;
|
||||||
|
void ds4_gpu_stream_expert_cache_get_stats(
|
||||||
|
ds4_gpu_stream_expert_cache_stats *stats);
|
||||||
typedef struct ds4_gpu_stream_expert_table {
|
typedef struct ds4_gpu_stream_expert_table {
|
||||||
const void *model_map;
|
const void *model_map;
|
||||||
uint64_t model_size;
|
uint64_t model_size;
|
||||||
|
|||||||
@@ -368,6 +368,25 @@ static uint64_t g_stream_expert_timing_cache_all_missing_layers;
|
|||||||
static uint64_t g_stream_expert_timing_cache_mixed_layers;
|
static uint64_t g_stream_expert_timing_cache_mixed_layers;
|
||||||
static uint64_t g_stream_expert_timing_cache_resident_experts;
|
static uint64_t g_stream_expert_timing_cache_resident_experts;
|
||||||
static uint64_t g_stream_expert_timing_cache_missing_experts;
|
static uint64_t g_stream_expert_timing_cache_missing_experts;
|
||||||
|
|
||||||
|
void ds4_gpu_stream_expert_cache_get_stats(
|
||||||
|
ds4_gpu_stream_expert_cache_stats *stats) {
|
||||||
|
if (!stats) return;
|
||||||
|
*stats = (ds4_gpu_stream_expert_cache_stats) {
|
||||||
|
.configured_count = ds4_gpu_stream_expert_cache_configured_count(),
|
||||||
|
.current_count = g_stream_expert_cache_entry_count,
|
||||||
|
.hits = g_stream_expert_cache_hits,
|
||||||
|
.misses = g_stream_expert_cache_misses,
|
||||||
|
.evictions = g_stream_expert_cache_evictions,
|
||||||
|
.wraps = g_stream_expert_cache_wraps,
|
||||||
|
.buffer_allocs = g_stream_expert_cache_buffer_allocs,
|
||||||
|
.buffer_reuses = g_stream_expert_cache_buffer_reuses,
|
||||||
|
.evict_advise_bytes = g_stream_expert_cache_evict_advise_bytes,
|
||||||
|
.willneed_advise_bytes = g_stream_expert_cache_willneed_advise_bytes,
|
||||||
|
.pread_bytes = g_stream_expert_cache_pread_bytes,
|
||||||
|
.pread_ms = g_stream_expert_cache_pread_ms,
|
||||||
|
};
|
||||||
|
}
|
||||||
typedef struct {
|
typedef struct {
|
||||||
uint64_t selected_calls;
|
uint64_t selected_calls;
|
||||||
double selected_read_ms;
|
double selected_read_ms;
|
||||||
@@ -11699,7 +11718,7 @@ static uint32_t ds4_gpu_stream_prefill_batch_selected_addr_auto_min(
|
|||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
static int ds4_gpu_stream_prefill_batch_selected_addr_enabled(
|
int ds4_gpu_stream_prefill_batch_selected_addr_enabled(
|
||||||
uint32_t n_tokens,
|
uint32_t n_tokens,
|
||||||
uint32_t n_total_expert,
|
uint32_t n_total_expert,
|
||||||
uint32_t n_expert,
|
uint32_t n_expert,
|
||||||
@@ -32798,7 +32817,18 @@ int ds4_gpu_glm_routed_moe_one_tensor(
|
|||||||
downbuf = ds4_gpu_wrap_model_range(model_map, model_size,
|
downbuf = ds4_gpu_wrap_model_range(model_map, model_size,
|
||||||
down_offset, down_tensor_bytes,
|
down_offset, down_tensor_bytes,
|
||||||
&down_inner);
|
&down_inner);
|
||||||
if (!gatebuf || !upbuf || !downbuf) return 0;
|
if (!gatebuf || !upbuf || !downbuf) {
|
||||||
|
fprintf(stderr,
|
||||||
|
"ds4: Metal GLM routed MoE could not map resident fallback layer=%u "
|
||||||
|
"streaming=%d force_resident=%d gate_type=%u down_type=%u budget=%u\n",
|
||||||
|
layer_index,
|
||||||
|
g_ssd_streaming_mode,
|
||||||
|
force_resident,
|
||||||
|
gate_type,
|
||||||
|
down_type,
|
||||||
|
ds4_gpu_stream_expert_cache_configured_budget());
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
id<MTLComputePipelineState> pair_pipeline =
|
id<MTLComputePipelineState> pair_pipeline =
|
||||||
|
|||||||
@@ -10,10 +10,16 @@ import sys
|
|||||||
ROOT = pathlib.Path(__file__).resolve().parent.parent
|
ROOT = pathlib.Path(__file__).resolve().parent.parent
|
||||||
HARDWARE_TESTS = (
|
HARDWARE_TESTS = (
|
||||||
"flash_resident_and_ssd_streaming_choose_the_same_tokens",
|
"flash_resident_and_ssd_streaming_choose_the_same_tokens",
|
||||||
|
"flash_ssd_streaming_maps_batched_prefill_layers",
|
||||||
|
"resident_multi_session_switching_preserves_each_kv_frontier",
|
||||||
"legacy_mtp_runs_a_target_owned_greedy_cycle",
|
"legacy_mtp_runs_a_target_owned_greedy_cycle",
|
||||||
"dspark_runs_a_target_owned_greedy_cycle",
|
"dspark_runs_a_target_owned_greedy_cycle",
|
||||||
"ssd_streaming_supports_legacy_mtp_and_dspark",
|
"ssd_streaming_supports_legacy_mtp_and_dspark",
|
||||||
"directional_steering_matches_the_ds4_token_oracle",
|
"directional_steering_matches_the_ds4_token_oracle",
|
||||||
|
"resident_and_streamed_glm_match_ds4_decode_oracles",
|
||||||
|
"streamed_glm_uses_ds4_indexed_prefill_for_long_prompts",
|
||||||
|
"glm_mtp_preserves_target_tokens_and_drafts",
|
||||||
|
"pro_ssd_streaming_full_layer_and_selected_batch_agree",
|
||||||
)
|
)
|
||||||
ENDPOINT_SCRIPTS = (
|
ENDPOINT_SCRIPTS = (
|
||||||
"endpoint_parity.py",
|
"endpoint_parity.py",
|
||||||
|
|||||||
40
scripts/import_hotlists.py
Executable file
40
scripts/import_hotlists.py
Executable file
@@ -0,0 +1,40 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
"""Regenerate the Rust expert hotlists from a DS4 source checkout."""
|
||||||
|
|
||||||
|
import argparse
|
||||||
|
import pathlib
|
||||||
|
import re
|
||||||
|
|
||||||
|
|
||||||
|
ARRAY = re.compile(
|
||||||
|
r"static const uint16_t ds4_default_streaming_hotlist_(\w+)\[\]\[2\] = \{(.*?)\n\};",
|
||||||
|
re.DOTALL,
|
||||||
|
)
|
||||||
|
PAIR = re.compile(r"\{(\d+),\s*(\d+)\}")
|
||||||
|
|
||||||
|
|
||||||
|
def main() -> None:
|
||||||
|
parser = argparse.ArgumentParser()
|
||||||
|
parser.add_argument("source", type=pathlib.Path)
|
||||||
|
parser.add_argument("output", type=pathlib.Path)
|
||||||
|
args = parser.parse_args()
|
||||||
|
texts = [
|
||||||
|
(args.source / "ds4_streaming_hotlist.inc").read_text(),
|
||||||
|
(args.source / "ds4_streaming_hotlist_glm52.inc").read_text(),
|
||||||
|
]
|
||||||
|
arrays = {
|
||||||
|
name: PAIR.findall(body)
|
||||||
|
for text in texts
|
||||||
|
for name, body in ARRAY.findall(text)
|
||||||
|
}
|
||||||
|
names = (("PRO", "pro"), ("FLASH", "flash"), ("GLM52", "glm52"))
|
||||||
|
lines = ["// Generated mechanically by scripts/import_hotlists.py.\n"]
|
||||||
|
for constant, source_name in names:
|
||||||
|
lines.append(f"pub(super) const {constant}: &[(u16, u16)] = &[\n")
|
||||||
|
lines.extend(f" ({layer}, {expert}),\n" for layer, expert in arrays[source_name])
|
||||||
|
lines.append("];\n")
|
||||||
|
args.output.write_text("".join(lines))
|
||||||
|
|
||||||
|
|
||||||
|
if __name__ == "__main__":
|
||||||
|
main()
|
||||||
@@ -322,6 +322,7 @@ impl App {
|
|||||||
match stats.speculative_mode {
|
match stats.speculative_mode {
|
||||||
1 => "Legacy MTP",
|
1 => "Legacy MTP",
|
||||||
2 => "DSpark",
|
2 => "DSpark",
|
||||||
|
3 => "GLM MTP",
|
||||||
_ => "Off",
|
_ => "Off",
|
||||||
},
|
},
|
||||||
),
|
),
|
||||||
@@ -350,11 +351,58 @@ impl App {
|
|||||||
metric_row("Expert cache", format_bytes(stats.ssd_cache_bytes)),
|
metric_row("Expert cache", format_bytes(stats.ssd_cache_bytes)),
|
||||||
metric_row(
|
metric_row(
|
||||||
"Cache capacity",
|
"Cache capacity",
|
||||||
format!("{} experts", stats.ssd_cache_experts)
|
format!(
|
||||||
|
"{} / {} experts",
|
||||||
|
stats.ssd_cache_entries, stats.ssd_cache_experts
|
||||||
|
)
|
||||||
),
|
),
|
||||||
metric_row(
|
metric_row(
|
||||||
"Preloaded",
|
"Preloaded",
|
||||||
format!("{} experts", stats.ssd_preloaded_experts)
|
format!(
|
||||||
|
"{} / {} experts",
|
||||||
|
stats.ssd_cache_entries.min(stats.ssd_preloaded_experts),
|
||||||
|
stats.ssd_preloaded_experts
|
||||||
|
)
|
||||||
|
),
|
||||||
|
metric_row(
|
||||||
|
"Cache hits / misses",
|
||||||
|
format!("{} / {}", stats.ssd_cache_hits, stats.ssd_cache_misses)
|
||||||
|
),
|
||||||
|
metric_row(
|
||||||
|
"Hit rate",
|
||||||
|
format!(
|
||||||
|
"{:.1}%",
|
||||||
|
if stats.ssd_cache_hits + stats.ssd_cache_misses == 0 {
|
||||||
|
0.0
|
||||||
|
} else {
|
||||||
|
100.0 * stats.ssd_cache_hits as f64
|
||||||
|
/ (stats.ssd_cache_hits + stats.ssd_cache_misses) as f64
|
||||||
|
}
|
||||||
|
)
|
||||||
|
),
|
||||||
|
metric_row(
|
||||||
|
"Evictions / wraps",
|
||||||
|
format!("{} / {}", stats.ssd_cache_evictions, stats.ssd_cache_wraps)
|
||||||
|
),
|
||||||
|
metric_row(
|
||||||
|
"Buffers allocated / reused",
|
||||||
|
format!("{} / {}", stats.ssd_buffer_allocs, stats.ssd_buffer_reuses)
|
||||||
|
),
|
||||||
|
metric_row(
|
||||||
|
"Direct SSD reads",
|
||||||
|
format!(
|
||||||
|
"{} · {}",
|
||||||
|
format_bytes(stats.ssd_pread_bytes),
|
||||||
|
format_milliseconds(stats.ssd_pread_ms)
|
||||||
|
)
|
||||||
|
),
|
||||||
|
metric_row(
|
||||||
|
"VM advice",
|
||||||
|
format!(
|
||||||
|
"{} evicted · {} prefetched",
|
||||||
|
format_bytes(stats.ssd_evict_advise_bytes),
|
||||||
|
format_bytes(stats.ssd_willneed_advise_bytes)
|
||||||
|
)
|
||||||
),
|
),
|
||||||
metric_row(
|
metric_row(
|
||||||
"Selected-load requests",
|
"Selected-load requests",
|
||||||
|
|||||||
117
src/engine.rs
117
src/engine.rs
@@ -15,6 +15,8 @@ use gguf::{F16, F32, Gguf, I32, IQ2_XXS, Q2_K, Q4_0, Q4_K, Q5_K, Q6_K, Q8_0, Ten
|
|||||||
#[cfg(target_os = "macos")]
|
#[cfg(target_os = "macos")]
|
||||||
use kvstore::{KvStore, StoreReason};
|
use kvstore::{KvStore, StoreReason};
|
||||||
use sha2::{Digest, Sha256};
|
use sha2::{Digest, Sha256};
|
||||||
|
#[cfg(target_os = "macos")]
|
||||||
|
use std::collections::HashMap;
|
||||||
use std::path::{Path, PathBuf};
|
use std::path::{Path, PathBuf};
|
||||||
#[cfg(target_os = "macos")]
|
#[cfg(target_os = "macos")]
|
||||||
use std::sync::Arc;
|
use std::sync::Arc;
|
||||||
@@ -363,6 +365,23 @@ pub(crate) struct Generator {
|
|||||||
/// spaced like ds4's `continued_last_store_tokens`.
|
/// spaced like ds4's `continued_last_store_tokens`.
|
||||||
last_store_tokens: u32,
|
last_store_tokens: u32,
|
||||||
metrics: Arc<Metrics>,
|
metrics: Arc<Metrics>,
|
||||||
|
resident_sessions: HashMap<PathBuf, ResidentSlot>,
|
||||||
|
resident_active: Option<PathBuf>,
|
||||||
|
resident_limit: usize,
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(target_os = "macos")]
|
||||||
|
struct ResidentSlot {
|
||||||
|
state: metal::ResidentState,
|
||||||
|
last_store_tokens: u32,
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(target_os = "macos")]
|
||||||
|
impl Drop for Generator {
|
||||||
|
fn drop(&mut self) {
|
||||||
|
// Match ds4: every resident session graph must die before Metal cleanup.
|
||||||
|
self.resident_sessions.clear();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(target_os = "macos")]
|
#[cfg(target_os = "macos")]
|
||||||
@@ -459,11 +478,6 @@ pub(crate) struct CompactionOutput {
|
|||||||
#[cfg(target_os = "macos")]
|
#[cfg(target_os = "macos")]
|
||||||
impl Generator {
|
impl Generator {
|
||||||
pub(crate) fn open(settings: &EngineSettings, metrics: Arc<Metrics>) -> Result<Self, String> {
|
pub(crate) fn open(settings: &EngineSettings, metrics: Arc<Metrics>) -> Result<Self, String> {
|
||||||
if settings.speculative.glm_mtp {
|
|
||||||
return Err(
|
|
||||||
"GLM MTP requires the shared speculative verifier, which is not enabled".into(),
|
|
||||||
);
|
|
||||||
}
|
|
||||||
let simulated_memory =
|
let simulated_memory =
|
||||||
SimulatedMemory::acquire(settings.diagnostics.simulated_used_memory_bytes)?;
|
SimulatedMemory::acquire(settings.diagnostics.simulated_used_memory_bytes)?;
|
||||||
let model = Model::open(settings)?;
|
let model = Model::open(settings)?;
|
||||||
@@ -476,6 +490,7 @@ impl Generator {
|
|||||||
settings.speculative,
|
settings.speculative,
|
||||||
settings.ssd,
|
settings.ssd,
|
||||||
settings.steering.clone(),
|
settings.steering.clone(),
|
||||||
|
settings.diagnostics.expert_profile_path.as_deref(),
|
||||||
)?;
|
)?;
|
||||||
let stats = executor.execution_stats();
|
let stats = executor.execution_stats();
|
||||||
metrics.speculative_stats(
|
metrics.speculative_stats(
|
||||||
@@ -491,7 +506,18 @@ impl Generator {
|
|||||||
stats.ssd_resident_bytes,
|
stats.ssd_resident_bytes,
|
||||||
stats.ssd_cache_bytes,
|
stats.ssd_cache_bytes,
|
||||||
stats.ssd_cache_experts,
|
stats.ssd_cache_experts,
|
||||||
|
stats.ssd_cache_entries,
|
||||||
stats.ssd_preloaded_experts,
|
stats.ssd_preloaded_experts,
|
||||||
|
stats.ssd_cache_hits,
|
||||||
|
stats.ssd_cache_misses,
|
||||||
|
stats.ssd_cache_evictions,
|
||||||
|
stats.ssd_cache_wraps,
|
||||||
|
stats.ssd_buffer_allocs,
|
||||||
|
stats.ssd_buffer_reuses,
|
||||||
|
stats.ssd_pread_bytes,
|
||||||
|
stats.ssd_pread_ms,
|
||||||
|
stats.ssd_evict_advise_bytes,
|
||||||
|
stats.ssd_willneed_advise_bytes,
|
||||||
stats.ssd_selected_requests,
|
stats.ssd_selected_requests,
|
||||||
stats.ssd_requested_bytes,
|
stats.ssd_requested_bytes,
|
||||||
stats.ssd_wait_ms,
|
stats.ssd_wait_ms,
|
||||||
@@ -502,6 +528,14 @@ impl Generator {
|
|||||||
checkpoint: None,
|
checkpoint: None,
|
||||||
last_store_tokens: 0,
|
last_store_tokens: 0,
|
||||||
metrics,
|
metrics,
|
||||||
|
resident_sessions: HashMap::new(),
|
||||||
|
resident_active: None,
|
||||||
|
resident_limit: std::env::var("DS4_RESIDENT_SESSIONS")
|
||||||
|
.ok()
|
||||||
|
.and_then(|value| value.parse::<usize>().ok())
|
||||||
|
.filter(|limit| *limit > 0)
|
||||||
|
.unwrap_or(1)
|
||||||
|
.saturating_sub(1),
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -561,7 +595,18 @@ impl Generator {
|
|||||||
stats.ssd_resident_bytes,
|
stats.ssd_resident_bytes,
|
||||||
stats.ssd_cache_bytes,
|
stats.ssd_cache_bytes,
|
||||||
stats.ssd_cache_experts,
|
stats.ssd_cache_experts,
|
||||||
|
stats.ssd_cache_entries,
|
||||||
stats.ssd_preloaded_experts,
|
stats.ssd_preloaded_experts,
|
||||||
|
stats.ssd_cache_hits,
|
||||||
|
stats.ssd_cache_misses,
|
||||||
|
stats.ssd_cache_evictions,
|
||||||
|
stats.ssd_cache_wraps,
|
||||||
|
stats.ssd_buffer_allocs,
|
||||||
|
stats.ssd_buffer_reuses,
|
||||||
|
stats.ssd_pread_bytes,
|
||||||
|
stats.ssd_pread_ms,
|
||||||
|
stats.ssd_evict_advise_bytes,
|
||||||
|
stats.ssd_willneed_advise_bytes,
|
||||||
stats.ssd_selected_requests,
|
stats.ssd_selected_requests,
|
||||||
stats.ssd_requested_bytes,
|
stats.ssd_requested_bytes,
|
||||||
stats.ssd_wait_ms,
|
stats.ssd_wait_ms,
|
||||||
@@ -597,7 +642,11 @@ impl Generator {
|
|||||||
previous_checkpoint = None;
|
previous_checkpoint = None;
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
|
let key = resident_key(directory, history_tag);
|
||||||
|
let restored = self.activate_resident(key)?;
|
||||||
|
if !restored || self.executor.checkpoint_tag() != history_tag {
|
||||||
self.executor.reset()?;
|
self.executor.reset()?;
|
||||||
|
}
|
||||||
self.checkpoint = None;
|
self.checkpoint = None;
|
||||||
self.last_store_tokens = 0;
|
self.last_store_tokens = 0;
|
||||||
previous_checkpoint = None;
|
previous_checkpoint = None;
|
||||||
@@ -629,6 +678,7 @@ impl Generator {
|
|||||||
// live KV, so mark it and drop the stale file association.
|
// live KV, so mark it and drop the stale file association.
|
||||||
self.executor.note_checkpoint_tag(completed_tag);
|
self.executor.note_checkpoint_tag(completed_tag);
|
||||||
self.checkpoint = None;
|
self.checkpoint = None;
|
||||||
|
self.resident_active = Some(resident_key(directory, completed_tag));
|
||||||
return Ok(output);
|
return Ok(output);
|
||||||
}
|
}
|
||||||
let completed_checkpoint = store.checkpoint_path(&completed_key);
|
let completed_checkpoint = store.checkpoint_path(&completed_key);
|
||||||
@@ -653,6 +703,11 @@ impl Generator {
|
|||||||
self.last_store_tokens = self.executor.position();
|
self.last_store_tokens = self.executor.position();
|
||||||
}
|
}
|
||||||
self.checkpoint = retained.then_some(completed_checkpoint);
|
self.checkpoint = retained.then_some(completed_checkpoint);
|
||||||
|
if let Some(checkpoint) = &self.checkpoint {
|
||||||
|
self.resident_active = Some(checkpoint.clone());
|
||||||
|
} else {
|
||||||
|
self.resident_active = Some(resident_key(directory, completed_tag));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
Ok(output)
|
Ok(output)
|
||||||
}
|
}
|
||||||
@@ -669,6 +724,7 @@ impl Generator {
|
|||||||
mut progress: impl FnMut(u32, u32, Option<f32>),
|
mut progress: impl FnMut(u32, u32, Option<f32>),
|
||||||
mut phase: impl FnMut(&'static str),
|
mut phase: impl FnMut(&'static str),
|
||||||
) -> Result<CompactionOutput, String> {
|
) -> Result<CompactionOutput, String> {
|
||||||
|
self.activate_resident(checkpoint.to_owned())?;
|
||||||
let _ = std::fs::remove_file(checkpoint);
|
let _ = std::fs::remove_file(checkpoint);
|
||||||
self.executor.reset()?;
|
self.executor.reset()?;
|
||||||
self.checkpoint = None;
|
self.checkpoint = None;
|
||||||
@@ -806,6 +862,12 @@ impl Generator {
|
|||||||
checkpoint: &Path,
|
checkpoint: &Path,
|
||||||
expected_tag: [u8; 32],
|
expected_tag: [u8; 32],
|
||||||
) -> Result<bool, String> {
|
) -> Result<bool, String> {
|
||||||
|
let resident_hit = self.activate_resident(checkpoint.to_owned())?;
|
||||||
|
if resident_hit && self.executor.checkpoint_tag() == expected_tag {
|
||||||
|
self.checkpoint = Some(checkpoint.to_owned());
|
||||||
|
self.metrics.kv_lookup(KvLookup::MemoryHit);
|
||||||
|
return Ok(true);
|
||||||
|
}
|
||||||
if self.checkpoint.as_deref() == Some(checkpoint) {
|
if self.checkpoint.as_deref() == Some(checkpoint) {
|
||||||
if !checkpoint.is_file() {
|
if !checkpoint.is_file() {
|
||||||
self.executor.reset()?;
|
self.executor.reset()?;
|
||||||
@@ -844,6 +906,41 @@ impl Generator {
|
|||||||
Ok(found)
|
Ok(found)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn activate_resident(&mut self, key: PathBuf) -> Result<bool, String> {
|
||||||
|
if self.resident_active.as_ref() == Some(&key) {
|
||||||
|
return Ok(true);
|
||||||
|
}
|
||||||
|
let restored = self.resident_sessions.contains_key(&key);
|
||||||
|
let (mut incoming_state, incoming_last_store) = self
|
||||||
|
.resident_sessions
|
||||||
|
.remove(&key)
|
||||||
|
.map_or((None, 0), |slot| (Some(slot.state), slot.last_store_tokens));
|
||||||
|
self.executor.swap_resident_state(&mut incoming_state)?;
|
||||||
|
if let (Some(previous), Some(outgoing)) = (self.resident_active.take(), incoming_state) {
|
||||||
|
// DS4 defaults to one active session; opt into its batched-server
|
||||||
|
// behavior with DS4_RESIDENT_SESSIONS when memory permits.
|
||||||
|
if self.resident_limit != 0 {
|
||||||
|
if self.resident_sessions.len() >= self.resident_limit {
|
||||||
|
let evicted = self.resident_sessions.keys().next().cloned();
|
||||||
|
if let Some(evicted) = evicted {
|
||||||
|
self.resident_sessions.remove(&evicted);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
self.resident_sessions.insert(
|
||||||
|
previous,
|
||||||
|
ResidentSlot {
|
||||||
|
state: outgoing,
|
||||||
|
last_store_tokens: self.last_store_tokens,
|
||||||
|
},
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
self.resident_active = Some(key);
|
||||||
|
self.checkpoint = None;
|
||||||
|
self.last_store_tokens = incoming_last_store;
|
||||||
|
Ok(restored)
|
||||||
|
}
|
||||||
|
|
||||||
fn save_checkpoint(&mut self, checkpoint: &Path, tag: [u8; 32]) -> Result<(), String> {
|
fn save_checkpoint(&mut self, checkpoint: &Path, tag: [u8; 32]) -> Result<(), String> {
|
||||||
self.metrics.kv_write_started();
|
self.metrics.kv_write_started();
|
||||||
let started = Instant::now();
|
let started = Instant::now();
|
||||||
@@ -1311,6 +1408,16 @@ fn conversation_tag(system: &str, reasoning: ReasoningMode, messages: &[ChatTurn
|
|||||||
Sha256::digest(conversation_key(system, reasoning, messages)).into()
|
Sha256::digest(conversation_key(system, reasoning, messages)).into()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[cfg(target_os = "macos")]
|
||||||
|
fn resident_key(directory: &Path, tag: [u8; 32]) -> PathBuf {
|
||||||
|
let mut name = String::with_capacity(64);
|
||||||
|
for byte in tag {
|
||||||
|
use std::fmt::Write;
|
||||||
|
let _ = write!(name, "{byte:02x}");
|
||||||
|
}
|
||||||
|
directory.join("resident").join(name)
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(target_os = "macos")]
|
#[cfg(target_os = "macos")]
|
||||||
fn sample(
|
fn sample(
|
||||||
logits: &[f32],
|
logits: &[f32],
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@@ -18,6 +18,23 @@ pub(super) struct StreamExpertTable {
|
|||||||
pub(super) down_expert_bytes: u64,
|
pub(super) down_expert_bytes: u64,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[derive(Clone, Copy, Default)]
|
||||||
|
#[repr(C)]
|
||||||
|
pub(super) struct StreamExpertCacheStats {
|
||||||
|
pub(super) configured_count: u32,
|
||||||
|
pub(super) current_count: u32,
|
||||||
|
pub(super) hits: u64,
|
||||||
|
pub(super) misses: u64,
|
||||||
|
pub(super) evictions: u64,
|
||||||
|
pub(super) wraps: u64,
|
||||||
|
pub(super) buffer_allocs: u64,
|
||||||
|
pub(super) buffer_reuses: u64,
|
||||||
|
pub(super) evict_advise_bytes: u64,
|
||||||
|
pub(super) willneed_advise_bytes: u64,
|
||||||
|
pub(super) pread_bytes: u64,
|
||||||
|
pub(super) pread_ms: f64,
|
||||||
|
}
|
||||||
|
|
||||||
unsafe extern "C" {
|
unsafe extern "C" {
|
||||||
pub(super) fn ds4_gpu_init() -> i32;
|
pub(super) fn ds4_gpu_init() -> i32;
|
||||||
pub(super) fn ds4_gpu_cleanup();
|
pub(super) fn ds4_gpu_cleanup();
|
||||||
@@ -43,10 +60,7 @@ unsafe extern "C" {
|
|||||||
pub(super) fn ds4_gpu_set_streaming_expert_cache_budget(experts: u32);
|
pub(super) fn ds4_gpu_set_streaming_expert_cache_budget(experts: u32);
|
||||||
pub(super) fn ds4_gpu_set_streaming_expert_cache_expert_bytes(bytes: u64);
|
pub(super) fn ds4_gpu_set_streaming_expert_cache_expert_bytes(bytes: u64);
|
||||||
pub(super) fn ds4_gpu_recommended_working_set_size() -> u64;
|
pub(super) fn ds4_gpu_recommended_working_set_size() -> u64;
|
||||||
pub(super) fn ds4_gpu_stream_expert_cache_budget_for_expert_size(
|
pub(super) fn ds4_gpu_stream_expert_cache_get_stats(stats: *mut StreamExpertCacheStats);
|
||||||
gate_expert_bytes: u64,
|
|
||||||
down_expert_bytes: u64,
|
|
||||||
) -> u32;
|
|
||||||
pub(super) fn ds4_gpu_stream_expert_cache_seed_experts(
|
pub(super) fn ds4_gpu_stream_expert_cache_seed_experts(
|
||||||
table: *const StreamExpertTable,
|
table: *const StreamExpertTable,
|
||||||
expert_ids: *const i32,
|
expert_ids: *const i32,
|
||||||
@@ -60,6 +74,13 @@ unsafe extern "C" {
|
|||||||
) -> i32;
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_stream_expert_cache_note_service_thread();
|
pub(super) fn ds4_gpu_stream_expert_cache_note_service_thread();
|
||||||
pub(super) fn ds4_gpu_stream_expert_cache_reset_route_hotness();
|
pub(super) fn ds4_gpu_stream_expert_cache_reset_route_hotness();
|
||||||
|
pub(super) fn ds4_gpu_stream_prefill_batch_selected_addr_enabled(
|
||||||
|
n_tokens: u32,
|
||||||
|
n_total_expert: u32,
|
||||||
|
n_expert: u32,
|
||||||
|
gate_type: u32,
|
||||||
|
down_type: u32,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_stream_expert_cache_begin_selected_load_tensor(
|
pub(super) fn ds4_gpu_glm_stream_expert_cache_begin_selected_load_tensor(
|
||||||
table: *const StreamExpertTable,
|
table: *const StreamExpertTable,
|
||||||
selected: *const GpuTensor,
|
selected: *const GpuTensor,
|
||||||
@@ -266,6 +287,17 @@ unsafe extern "C" {
|
|||||||
token: u32,
|
token: u32,
|
||||||
embd: u32,
|
embd: u32,
|
||||||
) -> i32;
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_embed_tokens_quant_tensor(
|
||||||
|
out: *mut GpuTensor,
|
||||||
|
tokens: *const GpuTensor,
|
||||||
|
map: *const c_void,
|
||||||
|
size: u64,
|
||||||
|
weight: u64,
|
||||||
|
kind: u32,
|
||||||
|
vocab: u32,
|
||||||
|
rows: u32,
|
||||||
|
embd: u32,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_rope_tail_tensor(
|
pub(super) fn ds4_gpu_glm_rope_tail_tensor(
|
||||||
x: *mut GpuTensor,
|
x: *mut GpuTensor,
|
||||||
tokens: u32,
|
tokens: u32,
|
||||||
@@ -301,6 +333,30 @@ unsafe extern "C" {
|
|||||||
cache_f16: bool,
|
cache_f16: bool,
|
||||||
eps: f32,
|
eps: f32,
|
||||||
) -> i32;
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_kv_lora_rms_norm_tensor(
|
||||||
|
out: *mut GpuTensor,
|
||||||
|
kv_raw: *const GpuTensor,
|
||||||
|
map: *const c_void,
|
||||||
|
size: u64,
|
||||||
|
weight: u64,
|
||||||
|
rows: u32,
|
||||||
|
kv_raw_dim: u32,
|
||||||
|
kv_lora: u32,
|
||||||
|
eps: f32,
|
||||||
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_store_compact_kv_tensor(
|
||||||
|
kv_cache: *mut GpuTensor,
|
||||||
|
rope_cache: *mut GpuTensor,
|
||||||
|
kv_norm: *const GpuTensor,
|
||||||
|
kv_raw: *const GpuTensor,
|
||||||
|
pos: u32,
|
||||||
|
rows: u32,
|
||||||
|
cache_cap: u32,
|
||||||
|
kv_raw_dim: u32,
|
||||||
|
kv_lora: u32,
|
||||||
|
rot: u32,
|
||||||
|
cache_f16: bool,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_store_indexer_k_tensor(
|
pub(super) fn ds4_gpu_glm_store_indexer_k_tensor(
|
||||||
cache: *mut GpuTensor,
|
cache: *mut GpuTensor,
|
||||||
raw: *const GpuTensor,
|
raw: *const GpuTensor,
|
||||||
@@ -327,6 +383,13 @@ unsafe extern "C" {
|
|||||||
selected: *mut GpuTensor,
|
selected: *mut GpuTensor,
|
||||||
count: u32,
|
count: u32,
|
||||||
) -> i32;
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_fill_selected_range_batch_tensor(
|
||||||
|
selected: *mut GpuTensor,
|
||||||
|
rows: u32,
|
||||||
|
pos: u32,
|
||||||
|
count: u32,
|
||||||
|
pad_row: u32,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_indexer_rope_tail_tensor(
|
pub(super) fn ds4_gpu_glm_indexer_rope_tail_tensor(
|
||||||
x: *mut GpuTensor,
|
x: *mut GpuTensor,
|
||||||
tokens: u32,
|
tokens: u32,
|
||||||
@@ -353,6 +416,19 @@ unsafe extern "C" {
|
|||||||
scale: f32,
|
scale: f32,
|
||||||
cache_f16: bool,
|
cache_f16: bool,
|
||||||
) -> i32;
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_indexer_scores_batch_tensor(
|
||||||
|
scores: *mut GpuTensor,
|
||||||
|
q: *const GpuTensor,
|
||||||
|
weights: *const GpuTensor,
|
||||||
|
cache: *const GpuTensor,
|
||||||
|
visible: u32,
|
||||||
|
rows: u32,
|
||||||
|
pos: u32,
|
||||||
|
heads: u32,
|
||||||
|
head_dim: u32,
|
||||||
|
scale: f32,
|
||||||
|
cache_f16: bool,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_qk_lowrank_typed_tensor(
|
pub(super) fn ds4_gpu_glm_qk_lowrank_typed_tensor(
|
||||||
out: *mut GpuTensor,
|
out: *mut GpuTensor,
|
||||||
q: *const GpuTensor,
|
q: *const GpuTensor,
|
||||||
@@ -365,6 +441,31 @@ unsafe extern "C" {
|
|||||||
q_nope: u32,
|
q_nope: u32,
|
||||||
q_dim: u32,
|
q_dim: u32,
|
||||||
) -> i32;
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_qk_lowrank_typed_batch_tensor(
|
||||||
|
out: *mut GpuTensor,
|
||||||
|
q: *const GpuTensor,
|
||||||
|
map: *const c_void,
|
||||||
|
size: u64,
|
||||||
|
weight: u64,
|
||||||
|
kind: u32,
|
||||||
|
rows: u32,
|
||||||
|
heads: u32,
|
||||||
|
kv_lora: u32,
|
||||||
|
q_nope: u32,
|
||||||
|
q_dim: u32,
|
||||||
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_value_project_typed_batch_heads_tensor(
|
||||||
|
heads: *mut GpuTensor,
|
||||||
|
lora: *const GpuTensor,
|
||||||
|
map: *const c_void,
|
||||||
|
size: u64,
|
||||||
|
weight: u64,
|
||||||
|
kind: u32,
|
||||||
|
rows: u32,
|
||||||
|
n_head: u32,
|
||||||
|
kv_lora: u32,
|
||||||
|
value_dim: u32,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_attention_indexed_decode_typed_tensor(
|
pub(super) fn ds4_gpu_glm_attention_indexed_decode_typed_tensor(
|
||||||
heads_out: *mut GpuTensor,
|
heads_out: *mut GpuTensor,
|
||||||
q: *const GpuTensor,
|
q: *const GpuTensor,
|
||||||
@@ -392,6 +493,95 @@ unsafe extern "C" {
|
|||||||
beta_fast: f32,
|
beta_fast: f32,
|
||||||
beta_slow: f32,
|
beta_slow: f32,
|
||||||
) -> i32;
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_attention_indexed_batch_lora_causal_tensor(
|
||||||
|
out: *mut GpuTensor,
|
||||||
|
q: *const GpuTensor,
|
||||||
|
qk_low: *const GpuTensor,
|
||||||
|
kv_cache: *const GpuTensor,
|
||||||
|
rope_cache: *const GpuTensor,
|
||||||
|
rows: u32,
|
||||||
|
pos: u32,
|
||||||
|
selected: u32,
|
||||||
|
cache_cap: u32,
|
||||||
|
cache_f16: bool,
|
||||||
|
heads: u32,
|
||||||
|
kv_lora: u32,
|
||||||
|
q_nope: u32,
|
||||||
|
rot: u32,
|
||||||
|
original: u32,
|
||||||
|
freq_base: f32,
|
||||||
|
freq_scale: f32,
|
||||||
|
ext: f32,
|
||||||
|
attn_factor: f32,
|
||||||
|
beta_fast: f32,
|
||||||
|
beta_slow: f32,
|
||||||
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_attention_indexed_batch_lora_valid_tensor(
|
||||||
|
out: *mut GpuTensor,
|
||||||
|
q: *const GpuTensor,
|
||||||
|
qk_low: *const GpuTensor,
|
||||||
|
kv_cache: *const GpuTensor,
|
||||||
|
rope_cache: *const GpuTensor,
|
||||||
|
selected: *const GpuTensor,
|
||||||
|
rows: u32,
|
||||||
|
selected_count: u32,
|
||||||
|
cache_cap: u32,
|
||||||
|
cache_f16: bool,
|
||||||
|
heads: u32,
|
||||||
|
kv_lora: u32,
|
||||||
|
q_nope: u32,
|
||||||
|
rot: u32,
|
||||||
|
original: u32,
|
||||||
|
freq_base: f32,
|
||||||
|
freq_scale: f32,
|
||||||
|
ext: f32,
|
||||||
|
attn_factor: f32,
|
||||||
|
beta_fast: f32,
|
||||||
|
beta_slow: f32,
|
||||||
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_router_select_batch_tensor(
|
||||||
|
selected: *mut GpuTensor,
|
||||||
|
weights: *mut GpuTensor,
|
||||||
|
probs: *mut GpuTensor,
|
||||||
|
map: *const c_void,
|
||||||
|
size: u64,
|
||||||
|
bias: u64,
|
||||||
|
logits: *const GpuTensor,
|
||||||
|
experts: u32,
|
||||||
|
experts_used: u32,
|
||||||
|
scale: f32,
|
||||||
|
rows: u32,
|
||||||
|
) -> i32;
|
||||||
|
pub(super) fn ds4_gpu_glm_routed_moe_batch_tensor(
|
||||||
|
out: *mut GpuTensor,
|
||||||
|
mid: *mut GpuTensor,
|
||||||
|
map: *const c_void,
|
||||||
|
size: u64,
|
||||||
|
gate_weight: u64,
|
||||||
|
up_weight: u64,
|
||||||
|
down_weight: u64,
|
||||||
|
gate_type: u32,
|
||||||
|
up_type: u32,
|
||||||
|
down_type: u32,
|
||||||
|
gate_expert_bytes: u64,
|
||||||
|
gate_row_bytes: u64,
|
||||||
|
up_expert_bytes: u64,
|
||||||
|
up_row_bytes: u64,
|
||||||
|
down_expert_bytes: u64,
|
||||||
|
down_row_bytes: u64,
|
||||||
|
input: u32,
|
||||||
|
middle: u32,
|
||||||
|
output: u32,
|
||||||
|
selected: *const GpuTensor,
|
||||||
|
weights: *const GpuTensor,
|
||||||
|
total_experts: u32,
|
||||||
|
used_experts: u32,
|
||||||
|
layer: u32,
|
||||||
|
x: *const GpuTensor,
|
||||||
|
rows: u32,
|
||||||
|
mid_token_stride: u32,
|
||||||
|
force_resident: bool,
|
||||||
|
) -> i32;
|
||||||
pub(super) fn ds4_gpu_glm_router_select_tensor(
|
pub(super) fn ds4_gpu_glm_router_select_tensor(
|
||||||
selected: *mut GpuTensor,
|
selected: *mut GpuTensor,
|
||||||
weights: *mut GpuTensor,
|
weights: *mut GpuTensor,
|
||||||
@@ -1276,6 +1466,20 @@ impl Buffer {
|
|||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub(super) fn read_i32(&self, values: &mut [i32]) -> Result<(), String> {
|
||||||
|
check(
|
||||||
|
unsafe {
|
||||||
|
ds4_gpu_tensor_read(
|
||||||
|
self.raw(),
|
||||||
|
0,
|
||||||
|
values.as_mut_ptr().cast(),
|
||||||
|
std::mem::size_of_val(values) as u64,
|
||||||
|
)
|
||||||
|
},
|
||||||
|
"reading Metal integers",
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
pub(super) fn read(&self, offset: u64, values: &mut [u8]) -> Result<(), String> {
|
pub(super) fn read(&self, offset: u64, values: &mut [u8]) -> Result<(), String> {
|
||||||
check(
|
check(
|
||||||
unsafe {
|
unsafe {
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
307
src/engine/metal/profile.rs
Normal file
307
src/engine/metal/profile.rs
Normal file
@@ -0,0 +1,307 @@
|
|||||||
|
use super::gpu::Buffer;
|
||||||
|
use crate::model::ModelChoice;
|
||||||
|
use serde_json::{Value, json};
|
||||||
|
use std::cmp::Ordering;
|
||||||
|
use std::fs::{self, File};
|
||||||
|
use std::path::PathBuf;
|
||||||
|
|
||||||
|
const CACHE_CAPS: [usize; 10] = [1, 2, 4, 8, 16, 32, 64, 128, 256, 384];
|
||||||
|
|
||||||
|
#[derive(Default)]
|
||||||
|
struct LayerProfile {
|
||||||
|
records: u64,
|
||||||
|
counts: Vec<u64>,
|
||||||
|
weights: Vec<f64>,
|
||||||
|
caches: Vec<Vec<i32>>,
|
||||||
|
cache_hits: Vec<u64>,
|
||||||
|
cache_weight_hits: Vec<f64>,
|
||||||
|
previous: Option<(u32, Vec<i32>)>,
|
||||||
|
adjacent_pairs: u64,
|
||||||
|
adjacent_overlap: f64,
|
||||||
|
adjacent_jaccard: f64,
|
||||||
|
hash_router: bool,
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) struct ExpertProfile {
|
||||||
|
path: PathBuf,
|
||||||
|
model: ModelChoice,
|
||||||
|
experts: usize,
|
||||||
|
used: usize,
|
||||||
|
caps: Vec<usize>,
|
||||||
|
layers: Vec<LayerProfile>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl ExpertProfile {
|
||||||
|
pub(super) fn new(
|
||||||
|
path: Option<&str>,
|
||||||
|
model: ModelChoice,
|
||||||
|
layers: u32,
|
||||||
|
experts: u64,
|
||||||
|
used: u64,
|
||||||
|
) -> Result<Option<Self>, String> {
|
||||||
|
let Some(path) = path else { return Ok(None) };
|
||||||
|
if path.trim().is_empty() {
|
||||||
|
return Err("Expert profile path cannot be empty".into());
|
||||||
|
}
|
||||||
|
let experts = usize::try_from(experts).map_err(|_| "expert count is too large")?;
|
||||||
|
let used = usize::try_from(used).map_err(|_| "selected expert count is too large")?;
|
||||||
|
let caps = CACHE_CAPS
|
||||||
|
.into_iter()
|
||||||
|
.filter(|cap| *cap <= experts)
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
let layers = (0..layers)
|
||||||
|
.map(|_| LayerProfile {
|
||||||
|
counts: vec![0; experts],
|
||||||
|
weights: vec![0.0; experts],
|
||||||
|
caches: vec![Vec::new(); caps.len()],
|
||||||
|
cache_hits: vec![0; caps.len()],
|
||||||
|
cache_weight_hits: vec![0.0; caps.len()],
|
||||||
|
..LayerProfile::default()
|
||||||
|
})
|
||||||
|
.collect();
|
||||||
|
Ok(Some(Self {
|
||||||
|
path: path.into(),
|
||||||
|
model,
|
||||||
|
experts,
|
||||||
|
used,
|
||||||
|
caps,
|
||||||
|
layers,
|
||||||
|
}))
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn record(
|
||||||
|
&mut self,
|
||||||
|
layer: usize,
|
||||||
|
pos: u32,
|
||||||
|
selected: &Buffer,
|
||||||
|
weights: &Buffer,
|
||||||
|
rows: u32,
|
||||||
|
hash_router: bool,
|
||||||
|
) -> Result<(), String> {
|
||||||
|
let count = self
|
||||||
|
.used
|
||||||
|
.checked_mul(rows as usize)
|
||||||
|
.ok_or("expert profile row count overflow")?;
|
||||||
|
let mut ids = vec![0; count];
|
||||||
|
let mut route_weights = vec![0.0; count];
|
||||||
|
super::call(
|
||||||
|
unsafe { super::gpu::ds4_gpu_end_commands() },
|
||||||
|
"ending Metal commands for expert profiling",
|
||||||
|
)?;
|
||||||
|
let read = selected
|
||||||
|
.read_i32(&mut ids)
|
||||||
|
.and_then(|()| weights.read_f32(&mut route_weights));
|
||||||
|
let resumed = super::call(
|
||||||
|
unsafe { super::gpu::ds4_gpu_begin_commands() },
|
||||||
|
"resuming Metal commands after expert profiling",
|
||||||
|
);
|
||||||
|
read.and(resumed)?;
|
||||||
|
for (row, (ids, weights)) in ids
|
||||||
|
.chunks_exact(self.used)
|
||||||
|
.zip(route_weights.chunks_exact(self.used))
|
||||||
|
.enumerate()
|
||||||
|
{
|
||||||
|
self.record_row(layer, pos + row as u32, ids, weights, hash_router)?;
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn record_row(
|
||||||
|
&mut self,
|
||||||
|
layer: usize,
|
||||||
|
pos: u32,
|
||||||
|
ids: &[i32],
|
||||||
|
weights: &[f32],
|
||||||
|
hash_router: bool,
|
||||||
|
) -> Result<(), String> {
|
||||||
|
let profile = self
|
||||||
|
.layers
|
||||||
|
.get_mut(layer)
|
||||||
|
.ok_or("expert profile layer is outside the model")?;
|
||||||
|
profile.records += 1;
|
||||||
|
profile.hash_router |= hash_router;
|
||||||
|
if let Some((previous_pos, previous)) = &profile.previous
|
||||||
|
&& previous_pos.checked_add(1) == Some(pos)
|
||||||
|
{
|
||||||
|
let intersection = previous.iter().filter(|id| ids.contains(id)).count();
|
||||||
|
profile.adjacent_pairs += 1;
|
||||||
|
profile.adjacent_overlap += intersection as f64 / self.used as f64;
|
||||||
|
profile.adjacent_jaccard += intersection as f64 / (2 * self.used - intersection) as f64;
|
||||||
|
}
|
||||||
|
profile.previous = Some((pos, ids.to_vec()));
|
||||||
|
for (&id, &weight) in ids.iter().zip(weights) {
|
||||||
|
let expert = usize::try_from(id)
|
||||||
|
.ok()
|
||||||
|
.filter(|expert| *expert < self.experts)
|
||||||
|
.ok_or_else(|| format!("router selected invalid expert {id} at layer {layer}"))?;
|
||||||
|
profile.counts[expert] += 1;
|
||||||
|
profile.weights[expert] += f64::from(weight);
|
||||||
|
for (index, (&cap, cache)) in self.caps.iter().zip(&mut profile.caches).enumerate() {
|
||||||
|
if let Some(found) = cache.iter().position(|cached| *cached == id) {
|
||||||
|
profile.cache_hits[index] += 1;
|
||||||
|
profile.cache_weight_hits[index] += f64::from(weight);
|
||||||
|
cache.remove(found);
|
||||||
|
} else if cache.len() == cap {
|
||||||
|
cache.pop();
|
||||||
|
}
|
||||||
|
cache.insert(0, id);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn write(&self) -> Result<(), String> {
|
||||||
|
let selections: u64 = self
|
||||||
|
.layers
|
||||||
|
.iter()
|
||||||
|
.map(|layer| layer.counts.iter().sum::<u64>())
|
||||||
|
.sum();
|
||||||
|
let weight_total = self
|
||||||
|
.layers
|
||||||
|
.iter()
|
||||||
|
.flat_map(|layer| &layer.weights)
|
||||||
|
.sum::<f64>();
|
||||||
|
let cache_summary = self
|
||||||
|
.caps
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
.map(|(index, cap)| {
|
||||||
|
let hits = self
|
||||||
|
.layers
|
||||||
|
.iter()
|
||||||
|
.map(|layer| layer.cache_hits[index])
|
||||||
|
.sum::<u64>();
|
||||||
|
let weighted = self
|
||||||
|
.layers
|
||||||
|
.iter()
|
||||||
|
.map(|layer| layer.cache_weight_hits[index])
|
||||||
|
.sum::<f64>();
|
||||||
|
json!({
|
||||||
|
"n": cap,
|
||||||
|
"hits": hits,
|
||||||
|
"selections": selections,
|
||||||
|
"hit_rate": fraction(hits as f64, selections as f64),
|
||||||
|
"weighted_hit_rate": fraction(weighted, weight_total),
|
||||||
|
})
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
let layers = self
|
||||||
|
.layers
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
.map(|(index, layer)| self.layer_json(index, layer))
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
let value = json!({
|
||||||
|
"source": "ds4 Metal expert locality profile",
|
||||||
|
"model": self.model.id(),
|
||||||
|
"layers": self.layers.len(),
|
||||||
|
"experts": self.experts,
|
||||||
|
"expert_used": self.used,
|
||||||
|
"layer_records": self.layers.iter().map(|layer| layer.records).sum::<u64>(),
|
||||||
|
"selections": selections,
|
||||||
|
"cache_ns": self.caps,
|
||||||
|
"cache_summary": cache_summary,
|
||||||
|
"layers_detail": layers,
|
||||||
|
});
|
||||||
|
if let Some(parent) = self
|
||||||
|
.path
|
||||||
|
.parent()
|
||||||
|
.filter(|parent| !parent.as_os_str().is_empty())
|
||||||
|
{
|
||||||
|
fs::create_dir_all(parent).map_err(|error| error.to_string())?;
|
||||||
|
}
|
||||||
|
let temporary = self.path.with_extension("tmp");
|
||||||
|
let file = File::create(&temporary).map_err(|error| error.to_string())?;
|
||||||
|
serde_json::to_writer_pretty(&file, &value).map_err(|error| error.to_string())?;
|
||||||
|
file.sync_all().map_err(|error| error.to_string())?;
|
||||||
|
fs::rename(temporary, &self.path).map_err(|error| error.to_string())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn layer_json(&self, index: usize, layer: &LayerProfile) -> Value {
|
||||||
|
let selections = layer.counts.iter().sum::<u64>();
|
||||||
|
let total_weight = layer.weights.iter().sum::<f64>();
|
||||||
|
let mut experts = (0..self.experts)
|
||||||
|
.filter(|expert| layer.counts[*expert] != 0)
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
experts.sort_by(|a, b| {
|
||||||
|
layer.counts[*b]
|
||||||
|
.cmp(&layer.counts[*a])
|
||||||
|
.then_with(|| {
|
||||||
|
layer.weights[*b]
|
||||||
|
.partial_cmp(&layer.weights[*a])
|
||||||
|
.unwrap_or(Ordering::Equal)
|
||||||
|
})
|
||||||
|
.then_with(|| a.cmp(b))
|
||||||
|
});
|
||||||
|
let top = experts
|
||||||
|
.into_iter()
|
||||||
|
.take(16)
|
||||||
|
.map(|expert| {
|
||||||
|
json!({
|
||||||
|
"id": expert,
|
||||||
|
"count": layer.counts[expert],
|
||||||
|
"pct": 100.0 * fraction(layer.counts[expert] as f64, selections as f64),
|
||||||
|
"weight": layer.weights[expert],
|
||||||
|
"weight_pct": 100.0 * fraction(layer.weights[expert], total_weight),
|
||||||
|
})
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
let cache = self
|
||||||
|
.caps
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
.map(|(cap_index, cap)| {
|
||||||
|
json!({
|
||||||
|
"n": cap,
|
||||||
|
"hits": layer.cache_hits[cap_index],
|
||||||
|
"hit_rate": fraction(layer.cache_hits[cap_index] as f64, selections as f64),
|
||||||
|
"weighted_hit_rate": fraction(layer.cache_weight_hits[cap_index], total_weight),
|
||||||
|
})
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
json!({
|
||||||
|
"layer": index,
|
||||||
|
"hash_router": layer.hash_router,
|
||||||
|
"records": layer.records,
|
||||||
|
"selections": selections,
|
||||||
|
"unique_experts": layer.counts.iter().filter(|count| **count != 0).count(),
|
||||||
|
"avg_adjacent_overlap": fraction(layer.adjacent_overlap, layer.adjacent_pairs as f64),
|
||||||
|
"avg_adjacent_jaccard": fraction(layer.adjacent_jaccard, layer.adjacent_pairs as f64),
|
||||||
|
"top_experts": top,
|
||||||
|
"cache": cache,
|
||||||
|
})
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn fraction(value: f64, total: f64) -> f64 {
|
||||||
|
if total > 0.0 { value / total } else { 0.0 }
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(test)]
|
||||||
|
mod tests {
|
||||||
|
use super::*;
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn profile_reports_locality_and_lru_hits() {
|
||||||
|
let path = std::env::temp_dir().join(format!(
|
||||||
|
"ds4-profile-{}-{}.json",
|
||||||
|
std::process::id(),
|
||||||
|
std::thread::current().name().unwrap_or("test")
|
||||||
|
));
|
||||||
|
let mut profile = ExpertProfile::new(path.to_str(), ModelChoice::DeepSeekV4Flash, 1, 8, 2)
|
||||||
|
.unwrap()
|
||||||
|
.unwrap();
|
||||||
|
profile
|
||||||
|
.record_row(0, 10, &[1, 2], &[0.6, 0.4], false)
|
||||||
|
.unwrap();
|
||||||
|
profile
|
||||||
|
.record_row(0, 11, &[1, 3], &[0.7, 0.3], false)
|
||||||
|
.unwrap();
|
||||||
|
profile.write().unwrap();
|
||||||
|
let value: Value = serde_json::from_slice(&fs::read(&path).unwrap()).unwrap();
|
||||||
|
assert_eq!(value["selections"], 4);
|
||||||
|
assert_eq!(value["layers_detail"][0]["avg_adjacent_overlap"], 0.5);
|
||||||
|
assert_eq!(value["cache_summary"][1]["hits"], 1);
|
||||||
|
let _ = fs::remove_file(path);
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -96,7 +96,18 @@ pub(crate) struct MetricsSnapshot {
|
|||||||
pub(crate) ssd_resident_bytes: u64,
|
pub(crate) ssd_resident_bytes: u64,
|
||||||
pub(crate) ssd_cache_bytes: u64,
|
pub(crate) ssd_cache_bytes: u64,
|
||||||
pub(crate) ssd_cache_experts: u64,
|
pub(crate) ssd_cache_experts: u64,
|
||||||
|
pub(crate) ssd_cache_entries: u64,
|
||||||
pub(crate) ssd_preloaded_experts: u64,
|
pub(crate) ssd_preloaded_experts: u64,
|
||||||
|
pub(crate) ssd_cache_hits: u64,
|
||||||
|
pub(crate) ssd_cache_misses: u64,
|
||||||
|
pub(crate) ssd_cache_evictions: u64,
|
||||||
|
pub(crate) ssd_cache_wraps: u64,
|
||||||
|
pub(crate) ssd_buffer_allocs: u64,
|
||||||
|
pub(crate) ssd_buffer_reuses: u64,
|
||||||
|
pub(crate) ssd_pread_bytes: u64,
|
||||||
|
pub(crate) ssd_pread_ms: u64,
|
||||||
|
pub(crate) ssd_evict_advise_bytes: u64,
|
||||||
|
pub(crate) ssd_willneed_advise_bytes: u64,
|
||||||
pub(crate) ssd_selected_requests: u64,
|
pub(crate) ssd_selected_requests: u64,
|
||||||
pub(crate) ssd_requested_bytes: u64,
|
pub(crate) ssd_requested_bytes: u64,
|
||||||
pub(crate) ssd_wait_ms: u64,
|
pub(crate) ssd_wait_ms: u64,
|
||||||
@@ -178,7 +189,18 @@ pub(crate) struct Metrics {
|
|||||||
ssd_resident_bytes: AtomicU64,
|
ssd_resident_bytes: AtomicU64,
|
||||||
ssd_cache_bytes: AtomicU64,
|
ssd_cache_bytes: AtomicU64,
|
||||||
ssd_cache_experts: AtomicU64,
|
ssd_cache_experts: AtomicU64,
|
||||||
|
ssd_cache_entries: AtomicU64,
|
||||||
ssd_preloaded_experts: AtomicU64,
|
ssd_preloaded_experts: AtomicU64,
|
||||||
|
ssd_cache_hits: AtomicU64,
|
||||||
|
ssd_cache_misses: AtomicU64,
|
||||||
|
ssd_cache_evictions: AtomicU64,
|
||||||
|
ssd_cache_wraps: AtomicU64,
|
||||||
|
ssd_buffer_allocs: AtomicU64,
|
||||||
|
ssd_buffer_reuses: AtomicU64,
|
||||||
|
ssd_pread_bytes: AtomicU64,
|
||||||
|
ssd_pread_ms: AtomicU64,
|
||||||
|
ssd_evict_advise_bytes: AtomicU64,
|
||||||
|
ssd_willneed_advise_bytes: AtomicU64,
|
||||||
ssd_selected_requests: AtomicU64,
|
ssd_selected_requests: AtomicU64,
|
||||||
ssd_requested_bytes: AtomicU64,
|
ssd_requested_bytes: AtomicU64,
|
||||||
ssd_wait_ms: AtomicU64,
|
ssd_wait_ms: AtomicU64,
|
||||||
@@ -265,7 +287,18 @@ impl Metrics {
|
|||||||
ssd_resident_bytes: AtomicU64::new(0),
|
ssd_resident_bytes: AtomicU64::new(0),
|
||||||
ssd_cache_bytes: AtomicU64::new(0),
|
ssd_cache_bytes: AtomicU64::new(0),
|
||||||
ssd_cache_experts: AtomicU64::new(0),
|
ssd_cache_experts: AtomicU64::new(0),
|
||||||
|
ssd_cache_entries: AtomicU64::new(0),
|
||||||
ssd_preloaded_experts: AtomicU64::new(0),
|
ssd_preloaded_experts: AtomicU64::new(0),
|
||||||
|
ssd_cache_hits: AtomicU64::new(0),
|
||||||
|
ssd_cache_misses: AtomicU64::new(0),
|
||||||
|
ssd_cache_evictions: AtomicU64::new(0),
|
||||||
|
ssd_cache_wraps: AtomicU64::new(0),
|
||||||
|
ssd_buffer_allocs: AtomicU64::new(0),
|
||||||
|
ssd_buffer_reuses: AtomicU64::new(0),
|
||||||
|
ssd_pread_bytes: AtomicU64::new(0),
|
||||||
|
ssd_pread_ms: AtomicU64::new(0),
|
||||||
|
ssd_evict_advise_bytes: AtomicU64::new(0),
|
||||||
|
ssd_willneed_advise_bytes: AtomicU64::new(0),
|
||||||
ssd_selected_requests: AtomicU64::new(0),
|
ssd_selected_requests: AtomicU64::new(0),
|
||||||
ssd_requested_bytes: AtomicU64::new(0),
|
ssd_requested_bytes: AtomicU64::new(0),
|
||||||
ssd_wait_ms: AtomicU64::new(0),
|
ssd_wait_ms: AtomicU64::new(0),
|
||||||
@@ -442,7 +475,18 @@ impl Metrics {
|
|||||||
resident_bytes: u64,
|
resident_bytes: u64,
|
||||||
cache_bytes: u64,
|
cache_bytes: u64,
|
||||||
cache_experts: u64,
|
cache_experts: u64,
|
||||||
|
cache_entries: u64,
|
||||||
preloaded_experts: u64,
|
preloaded_experts: u64,
|
||||||
|
cache_hits: u64,
|
||||||
|
cache_misses: u64,
|
||||||
|
cache_evictions: u64,
|
||||||
|
cache_wraps: u64,
|
||||||
|
buffer_allocs: u64,
|
||||||
|
buffer_reuses: u64,
|
||||||
|
pread_bytes: u64,
|
||||||
|
pread_ms: u64,
|
||||||
|
evict_advise_bytes: u64,
|
||||||
|
willneed_advise_bytes: u64,
|
||||||
selected_requests: u64,
|
selected_requests: u64,
|
||||||
requested_bytes: u64,
|
requested_bytes: u64,
|
||||||
wait_ms: u64,
|
wait_ms: u64,
|
||||||
@@ -453,8 +497,25 @@ impl Metrics {
|
|||||||
self.ssd_cache_bytes.store(cache_bytes, Ordering::Relaxed);
|
self.ssd_cache_bytes.store(cache_bytes, Ordering::Relaxed);
|
||||||
self.ssd_cache_experts
|
self.ssd_cache_experts
|
||||||
.store(cache_experts, Ordering::Relaxed);
|
.store(cache_experts, Ordering::Relaxed);
|
||||||
|
self.ssd_cache_entries
|
||||||
|
.store(cache_entries, Ordering::Relaxed);
|
||||||
self.ssd_preloaded_experts
|
self.ssd_preloaded_experts
|
||||||
.store(preloaded_experts, Ordering::Relaxed);
|
.store(preloaded_experts, Ordering::Relaxed);
|
||||||
|
self.ssd_cache_hits.store(cache_hits, Ordering::Relaxed);
|
||||||
|
self.ssd_cache_misses.store(cache_misses, Ordering::Relaxed);
|
||||||
|
self.ssd_cache_evictions
|
||||||
|
.store(cache_evictions, Ordering::Relaxed);
|
||||||
|
self.ssd_cache_wraps.store(cache_wraps, Ordering::Relaxed);
|
||||||
|
self.ssd_buffer_allocs
|
||||||
|
.store(buffer_allocs, Ordering::Relaxed);
|
||||||
|
self.ssd_buffer_reuses
|
||||||
|
.store(buffer_reuses, Ordering::Relaxed);
|
||||||
|
self.ssd_pread_bytes.store(pread_bytes, Ordering::Relaxed);
|
||||||
|
self.ssd_pread_ms.store(pread_ms, Ordering::Relaxed);
|
||||||
|
self.ssd_evict_advise_bytes
|
||||||
|
.store(evict_advise_bytes, Ordering::Relaxed);
|
||||||
|
self.ssd_willneed_advise_bytes
|
||||||
|
.store(willneed_advise_bytes, Ordering::Relaxed);
|
||||||
self.ssd_selected_requests
|
self.ssd_selected_requests
|
||||||
.store(selected_requests, Ordering::Relaxed);
|
.store(selected_requests, Ordering::Relaxed);
|
||||||
self.ssd_requested_bytes
|
self.ssd_requested_bytes
|
||||||
@@ -474,7 +535,7 @@ impl Metrics {
|
|||||||
self.prefill_tps.store(0, Ordering::Relaxed);
|
self.prefill_tps.store(0, Ordering::Relaxed);
|
||||||
self.prefill_sample.store(0, Ordering::Relaxed);
|
self.prefill_sample.store(0, Ordering::Relaxed);
|
||||||
self.speculative_stats(0, 0, 0, 0, 0, 0);
|
self.speculative_stats(0, 0, 0, 0, 0, 0);
|
||||||
self.ssd_stats(false, 0, 0, 0, 0, 0, 0, 0);
|
self.ssd_stats(false, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);
|
||||||
self.model_unloads.fetch_add(1, Ordering::Relaxed);
|
self.model_unloads.fetch_add(1, Ordering::Relaxed);
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -634,7 +695,18 @@ impl Metrics {
|
|||||||
ssd_resident_bytes: self.ssd_resident_bytes.load(Ordering::Relaxed),
|
ssd_resident_bytes: self.ssd_resident_bytes.load(Ordering::Relaxed),
|
||||||
ssd_cache_bytes: self.ssd_cache_bytes.load(Ordering::Relaxed),
|
ssd_cache_bytes: self.ssd_cache_bytes.load(Ordering::Relaxed),
|
||||||
ssd_cache_experts: self.ssd_cache_experts.load(Ordering::Relaxed),
|
ssd_cache_experts: self.ssd_cache_experts.load(Ordering::Relaxed),
|
||||||
|
ssd_cache_entries: self.ssd_cache_entries.load(Ordering::Relaxed),
|
||||||
ssd_preloaded_experts: self.ssd_preloaded_experts.load(Ordering::Relaxed),
|
ssd_preloaded_experts: self.ssd_preloaded_experts.load(Ordering::Relaxed),
|
||||||
|
ssd_cache_hits: self.ssd_cache_hits.load(Ordering::Relaxed),
|
||||||
|
ssd_cache_misses: self.ssd_cache_misses.load(Ordering::Relaxed),
|
||||||
|
ssd_cache_evictions: self.ssd_cache_evictions.load(Ordering::Relaxed),
|
||||||
|
ssd_cache_wraps: self.ssd_cache_wraps.load(Ordering::Relaxed),
|
||||||
|
ssd_buffer_allocs: self.ssd_buffer_allocs.load(Ordering::Relaxed),
|
||||||
|
ssd_buffer_reuses: self.ssd_buffer_reuses.load(Ordering::Relaxed),
|
||||||
|
ssd_pread_bytes: self.ssd_pread_bytes.load(Ordering::Relaxed),
|
||||||
|
ssd_pread_ms: self.ssd_pread_ms.load(Ordering::Relaxed),
|
||||||
|
ssd_evict_advise_bytes: self.ssd_evict_advise_bytes.load(Ordering::Relaxed),
|
||||||
|
ssd_willneed_advise_bytes: self.ssd_willneed_advise_bytes.load(Ordering::Relaxed),
|
||||||
ssd_selected_requests: self.ssd_selected_requests.load(Ordering::Relaxed),
|
ssd_selected_requests: self.ssd_selected_requests.load(Ordering::Relaxed),
|
||||||
ssd_requested_bytes: self.ssd_requested_bytes.load(Ordering::Relaxed),
|
ssd_requested_bytes: self.ssd_requested_bytes.load(Ordering::Relaxed),
|
||||||
ssd_wait_ms: self.ssd_wait_ms.load(Ordering::Relaxed),
|
ssd_wait_ms: self.ssd_wait_ms.load(Ordering::Relaxed),
|
||||||
@@ -970,7 +1042,10 @@ mod tests {
|
|||||||
metrics.kv_write_finished(Duration::from_millis(20), false);
|
metrics.kv_write_finished(Duration::from_millis(20), false);
|
||||||
assert_eq!(metrics.take_kv_io_sample(), (2_048, 4_096));
|
assert_eq!(metrics.take_kv_io_sample(), (2_048, 4_096));
|
||||||
assert_eq!(metrics.take_kv_io_sample(), (0, 0));
|
assert_eq!(metrics.take_kv_io_sample(), (0, 0));
|
||||||
metrics.ssd_stats(true, 1_024, 2_048, 16, 4, 12, 8_192, 30);
|
metrics.ssd_stats(
|
||||||
|
true, 1_024, 2_048, 16, 10, 4, 90, 10, 3, 2, 8, 12, 4_096, 25, 1_024, 2_048, 12, 8_192,
|
||||||
|
30,
|
||||||
|
);
|
||||||
metrics.request_finished(
|
metrics.request_finished(
|
||||||
WorkSource::LocalChat,
|
WorkSource::LocalChat,
|
||||||
Duration::from_millis(250),
|
Duration::from_millis(250),
|
||||||
|
|||||||
@@ -351,8 +351,12 @@ impl DiagnosticPreferences {
|
|||||||
if let Some(gib) = self.simulated_used_memory_gib {
|
if let Some(gib) = self.simulated_used_memory_gib {
|
||||||
validate_gib("Simulated used memory", gib)?;
|
validate_gib("Simulated used memory", gib)?;
|
||||||
}
|
}
|
||||||
if self.expert_profile_path.is_some() {
|
if self
|
||||||
return Err("Expert profiling is not available in the Rust Metal executor yet.".into());
|
.expert_profile_path
|
||||||
|
.as_deref()
|
||||||
|
.is_some_and(|path| path.trim().is_empty())
|
||||||
|
{
|
||||||
|
return Err("Expert profile path cannot be empty.".into());
|
||||||
}
|
}
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user