Files
hakmem/core/box/free_path_stats_box.c
Moe Charm (CI) e95e61f0ff Phase POLICY-FAST-PATH-V2 complete + MID-V35-HOTPATH-OPT-1 design
## Phase POLICY-FAST-PATH-V2 (FROZEN)
- Implementation complete: free_policy_fast_v2_box.h + malloc_tiny_fast.h integration
- A/B Results:
  - Mixed (ws=400): -1.6% regression  (branch cost > skip benefit)
  - C6-heavy (ws=200): +5.4% improvement 
- Decision: Default OFF, FROZEN (ws<300 / C6-heavy research only)
- Learning: Large WS causes branch misprediction to dominate

## Phase 3-GRADUATE + ENV probe fix
- 64-probe retry for getenv() stability during bench_profile putenv()
- C6 ULTRA intrusive freelist: FROZEN (research box)

## Phase MID-V35-HOTPATH-OPT-1-DESIGN
- Design doc for next optimization target
- Target: MID v3.5 alloc/free hot path (C5-C6)
- Boxes: Stats Gate, TLS Layout, Boundary Check elimination
- Expected: +3-9% on Mixed mainline

Files:
- core/box/free_policy_fast_v2_box.h (new)
- core/box/free_path_stats_box.h/c (policy_fast_v2_skip counter)
- core/front/malloc_tiny_fast.h (fast-path integration)
- docs/analysis/MID_V35_HOTPATH_OPT_1_DESIGN.md (new)
- docs/analysis/PHASE_3_GRADUATE_*.md (new)
- CURRENT_TASK.md (phase status update)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-12-12 18:40:08 +09:00

59 lines
2.5 KiB
C

#include "free_path_stats_box.h"
#include <stdio.h>
FreePathStats g_free_path_stats = {0};
// Helper function for pool_api.inc.h (to avoid inline include issues)
void free_path_stat_inc_pool_v1_fast(void) {
if (__builtin_expect(free_path_stats_enabled(), 0)) {
g_free_path_stats.pool_v1_fast++;
}
}
__attribute__((destructor))
static void free_path_stats_dump(void) {
if (!free_path_stats_enabled()) {
return;
}
fprintf(stderr, "[FREE_PATH_STATS] total=%lu c7_ultra=%lu c6_ultra_free=%lu c6_ultra_alloc=%lu c5_ultra_free=%lu c5_ultra_alloc=%lu c4_ultra_free=%lu c4_ultra_alloc=%lu small_v3=%lu v6=%lu tiny_v1=%lu pool_v1=%lu remote=%lu super_lookup=%lu legacy_fb=%lu\n",
g_free_path_stats.total_calls,
g_free_path_stats.c7_ultra_fast,
g_free_path_stats.c6_ultra_free_fast, // Phase 4-2
g_free_path_stats.c6_ultra_alloc_hit, // Phase 4-4
g_free_path_stats.c5_ultra_free_fast, // Phase 5-1
g_free_path_stats.c5_ultra_alloc_hit, // Phase 5-2
g_free_path_stats.c4_ultra_free_fast, // Phase 6
g_free_path_stats.c4_ultra_alloc_hit, // Phase 6
g_free_path_stats.smallheap_v3_fast,
g_free_path_stats.smallheap_v6_fast,
g_free_path_stats.tiny_heap_v1_fast,
g_free_path_stats.pool_v1_fast,
g_free_path_stats.remote_free,
g_free_path_stats.super_lookup_called,
g_free_path_stats.legacy_fallback);
// Phase 4-1: Legacy per-class breakdown
fprintf(stderr, "[FREE_PATH_STATS_LEGACY_BY_CLASS] c0=%lu c1=%lu c2=%lu c3=%lu c4=%lu c5=%lu c6=%lu c7=%lu\n",
g_free_path_stats.legacy_by_class[0],
g_free_path_stats.legacy_by_class[1],
g_free_path_stats.legacy_by_class[2],
g_free_path_stats.legacy_by_class[3],
g_free_path_stats.legacy_by_class[4],
g_free_path_stats.legacy_by_class[5],
g_free_path_stats.legacy_by_class[6],
g_free_path_stats.legacy_by_class[7]);
// Phase TLS-UNIFY-3: C6 Intrusive Freelist stats
fprintf(stderr, "[FREE_PATH_STATS_C6_IFL] push=%lu pop=%lu fallback=%lu\n",
g_free_path_stats.c6_ifl_push,
g_free_path_stats.c6_ifl_pop,
g_free_path_stats.c6_ifl_fallback);
// Phase POLICY-FAST-PATH-V2: Fast-path policy skip
fprintf(stderr, "[FREE_PATH_STATS_POLICY_FASTV2] skip=%lu\n",
g_free_path_stats.policy_fast_v2_skip);
fflush(stderr);
}