⬢ DragonFlyBSD Kernel Audit
DF-2585 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-2585",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "guest root: sh build_cluster.sh (multi-volume attempt; then the join-mount sequence in run.sh)",
    "run": "see run.log: vnconfig pair -> mount /dev/vn0@CLUS /mnt/c2 -> mount_hammer2 /dev/vn1@CLUS (joins pmp, EBUSY) -> sh stress.sh 60 vs sync loop",
    "expected": "no crash under any phase; the 2-chain pmp exists with live clindex-1 xop threads; sustained churn+sync produces no kernel manifestation (only the independent multi-master quorum wedge: a sync parked in h2inode)"
  },
  "kernel_refs": [
    "sys/vfs/hammer2/hammer2_flush.c:1377",
    "sys/vfs/hammer2/hammer2_flush.c:1378",
    "sys/vfs/hammer2/hammer2_flush.c:1379",
    "sys/vfs/hammer2/hammer2_flush.c:1368",
    "sys/vfs/hammer2/hammer2_vfsops.c:2780",
    "sys/vfs/hammer2/hammer2_vfsops.c:2783",
    "sys/vfs/hammer2/hammer2_inode.c:407",
    "sys/vfs/hammer2/hammer2_inode.c:426",
    "sys/vfs/hammer2/hammer2_inode.c:1365",
    "sys/vfs/hammer2/hammer2_inode.c:1459",
    "sys/vfs/hammer2/hammer2_inode.c:886",
    "sys/vfs/hammer2/hammer2_inode.c:899",
    "sys/vfs/hammer2/hammer2_vfsops.c:455",
    "sys/vfs/hammer2/hammer2_vfsops.c:1455"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "build_cluster.sh", "stress.sh", "run.log",
    "cluster2.txt", "env.txt", "manifest.json", "verdict.json"
  ]
}