DF-2889 / run.log
# stock kernel (X86_64_GENERIC #0, INVARIANTS), serial console capture # run A (first stock session): DF2889: INACTIVE queues q=1..1023: 2566 pages in 1023 nonempty queues; buggy :194 predicate passes 0 (ALL skipped => zero reclaim from colored queues); fixed predicate (m->queue != queue) passes 2566. q=0: 3 pages, buggy passes 3. # run B (after reset): DF2889: INACTIVE queues q=1..1023: 2224 pages in 1023 nonempty queues; buggy :194 predicate passes 0 (ALL skipped => zero reclaim from colored queues); fixed predicate passes 2224. q=0: 2 pages, buggy passes 2. # run C (final stock session): DF2889: INACTIVE queues q=1..1023: 2009 pages in 1023 nonempty queues; buggy :194 predicate passes 0 (ALL skipped => zero reclaim from colored queues); fixed predicate (m->queue != queue) passes 2009. q=0: 2 pages, buggy passes 2. # (identical result on the fix kernel: 7325/7325 - the queue data is kernel-state, not fix-dependent)