{
  "analytic": "paged-fragmentation",
  "kind": "declared_analytical_or_constructed_example",
  "experimental_model_result": false,
  "panels": [
    {
      "kind": "bar",
      "labels": [
        "37",
        "91",
        "128",
        "201",
        "511"
      ],
      "series": [
        {
          "label": "Fixed 512",
          "y": [
            512,
            512,
            512,
            512,
            512
          ]
        },
        {
          "label": "Page16",
          "y": [
            48.0,
            96.0,
            128.0,
            208.0,
            512.0
          ]
        },
        {
          "label": "Page32",
          "y": [
            64.0,
            96.0,
            128.0,
            224.0,
            512.0
          ]
        },
        {
          "label": "Useful tokens",
          "y": [
            37,
            91,
            128,
            201,
            511
          ]
        }
      ],
      "ylabel": "Allocated token slots"
    }
  ],
  "title": "Page size and sequence lengths determine internal waste",
  "assumptions": "Five constructed lengths; no block table, alignment, sharing, preemption or device memory overhead.",
  "worked": "五条序列有效位置合计968；固定512预留需2560，16位置分页需992，32位置分页需1024。位置利用率约37.81%、97.58%、94.53%，不是设备利用率或吞吐。",
  "source_ids": [
    "arxiv-2309.06180",
    "flash",
    "arxiv-2211.17192"
  ],
  "formula_source": "Article equations and this versioned script",
  "diagram_nodes": [
    "活动请求与长度",
    "逻辑KV块表",
    "物理块池 / 引用计数",
    "共享与写时复制",
    "连续批处理及回收",
    "内存分项与延迟约束"
  ]
}