DF-5829 msync partial-range no-op rig  (pid 836, uid 1001)
baseline vnodeout=0 vnodepgsout=0

test files under: /home/maxx/df5829

== rep 1/3 ==
    msync pages [5,7) rc=0 errno=0
DF-5829 msync partial-range no-op rig  (pid 836, uid 1001)
baseline vnodeout=0 vnodepgsout=0

test files under: /home/maxx/df5829

== rep 1/3 ==
A partial-range  msync[5p,7p)      vnodeout delta = 1    vnodepgsout delta = 2
    msync pages [0,8) rc=0 errno=0
B whole-file ctrl msync[0p,8p)     vnodeout delta = 1    vnodepgsout delta = 6
    msync pages [0,4) rc=0 errno=0
C whole-mapping-of-8p-file msync[0p,4p) vnodeout delta = 1    vnodepgsout delta = 4
    msync pages [0,1) rc=0 errno=0
D whole-file ctrl msync[0p,1p)     vnodeout delta = 1    vnodepgsout delta = 1
    msync pages [0,4) rc=0 errno=0
E 1p-file msync[0p,4p)-beyond-EOF  vnodeout delta = 1    vnodepgsout delta = 1
    msync pages [0,16) rc=0 errno=0
F 1p-file msync[0p,16p)-beyond-EOF vnodeout delta = 1    vnodepgsout delta = 1
rep 1: A=1/2 B=1/6 C=1/4 D=1/1 E=1/1 F=1/1

!! rep 1 arm A unexpectedly flushed
!! rep 1 arm C unexpectedly flushed
== rep 2/3 ==
    msync pages [5,7) rc=0 errno=0
rep 1: A=1/2 B=1/6 C=1/4 D=1/1 E=1/1 F=1/1

!! rep 1 arm A unexpectedly flushed
!! rep 1 arm C unexpectedly flushed
== rep 2/3 ==
A partial-range  msync[5p,7p)      vnodeout delta = 1    vnodepgsout delta = 2
    msync pages [0,8) rc=0 errno=0
B whole-file ctrl msync[0p,8p)     vnodeout delta = 1    vnodepgsout delta = 6
    msync pages [0,4) rc=0 errno=0
C whole-mapping-of-8p-file msync[0p,4p) vnodeout delta = 1    vnodepgsout delta = 4
    msync pages [0,1) rc=0 errno=0
D whole-file ctrl msync[0p,1p)     vnodeout delta = 1    vnodepgsout delta = 1
    msync pages [0,4) rc=0 errno=0
E 1p-file msync[0p,4p)-beyond-EOF  vnodeout delta = 1    vnodepgsout delta = 1
    msync pages [0,16) rc=0 errno=0
F 1p-file msync[0p,16p)-beyond-EOF vnodeout delta = 1    vnodepgsout delta = 1
rep 2: A=1/2 B=1/6 C=1/4 D=1/1 E=1/1 F=1/1

!! rep 2 arm A unexpectedly flushed
!! rep 2 arm C unexpectedly flushed
== rep 3/3 ==
    msync pages [5,7) rc=0 errno=0
rep 2: A=1/2 B=1/6 C=1/4 D=1/1 E=1/1 F=1/1

!! rep 2 arm A unexpectedly flushed
!! rep 2 arm C unexpectedly flushed
== rep 3/3 ==
A partial-range  msync[5p,7p)      vnodeout delta = 1    vnodepgsout delta = 2
    msync pages [0,8) rc=0 errno=0
B whole-file ctrl msync[0p,8p)     vnodeout delta = 1    vnodepgsout delta = 6
    msync pages [0,4) rc=0 errno=0
C whole-mapping-of-8p-file msync[0p,4p) vnodeout delta = 1    vnodepgsout delta = 4
    msync pages [0,1) rc=0 errno=0
D whole-file ctrl msync[0p,1p)     vnodeout delta = 1    vnodepgsout delta = 1
    msync pages [0,4) rc=0 errno=0
E 1p-file msync[0p,4p)-beyond-EOF  vnodeout delta = 1    vnodepgsout delta = 1
    msync pages [0,16) rc=0 errno=0
F 1p-file msync[0p,16p)-beyond-EOF vnodeout delta = 1    vnodepgsout delta = 1
rep 3: A=1/2 B=1/6 C=1/4 D=1/1 E=1/1 F=1/1

!! rep 3 arm A unexpectedly flushed
!! rep 3 arm C unexpectedly flushed
VERDICT: partial range unexpectedly flushed -> NOT REPRODUCED