Home
last modified time | relevance | path

Searched refs:outcome (Results 1 – 25 of 52) sorted by relevance

123

/linux/tools/memory-model/scripts/
H A Djudgelitmus.sh116 if test "$outcome" = DEADLOCK
122 echo " !!! Unexpected non-$outcome verification" $litmus
125 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
131 echo " !!! Unexpected non-$outcome deadlock" $litmus
134 echo " !!! Unexpected non-$outcome deadlock" $litmus >> $LKMM_DESTDIR/$litmusout 2>&1
137 elif grep '^Observation' $LKMM_DESTDIR/$litmusout | grep -q $outcome || test "$outcome" = Maybe
141 if test \( -n "$LKMM_HW_MAP_FILE" -a "$outcome" = Sometimes \) -o -n "$datarace_modeled"
149 echo " $flag non-$outcome verification" $litmus
152 echo " $flag non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
/linux/fs/xfs/scrub/
H A Ddirtree_repair.c58 enum xchk_dirpath_outcome outcome) in xrep_dirpath_set_outcome() argument
61 outcome); in xrep_dirpath_set_outcome()
63 path->outcome = outcome; in xrep_dirpath_set_outcome()
75 switch (path->outcome) { in xrep_dirtree_delete_all_paths()
122 switch (path->outcome) { in xrep_dirtree_find_surviving_path()
151 switch (path->outcome) { in xrep_dirtree_keep_one_good_path()
187 switch (path->outcome) { in xrep_dirtree_keep_one_suspect_path()
577 path->outcome = XREP_DIRPATH_ADOPTING; in xrep_dirtree_create_adoption_path()
766 if (path->outcome != XCHK_DIRPATH_DELETE) in xrep_dirtree_fix_problems()
H A Ddirtree.c248 path->outcome = XCHK_DIRPATH_SCANNING; in xchk_dirtree_create_path()
347 enum xchk_dirpath_outcome outcome) in xchk_dirpath_set_outcome() argument
350 outcome); in xchk_dirpath_set_outcome()
352 path->outcome = outcome; in xchk_dirpath_set_outcome()
572 while (!error && path->outcome == XCHK_DIRPATH_SCANNING) in xchk_dirpath_walk_upwards()
636 path->outcome == XREP_DIRPATH_ADOPTING) { in xchk_dirpath_step_is_stale()
642 path->outcome == XREP_DIRPATH_DELETING) { in xchk_dirpath_step_is_stale()
870 path->nr_steps, path->outcome); in xchk_dirtree_evaluate()
872 switch (path->outcome) { in xchk_dirtree_evaluate()
H A Drefcount.c599 enum xbtree_recpacking outcome; in xchk_xref_is_not_shared() local
606 XFS_REFC_DOMAIN_SHARED, agbno, len, &outcome); in xchk_xref_is_not_shared()
609 if (outcome != XBTREE_RECPACKING_EMPTY) in xchk_xref_is_not_shared()
620 enum xbtree_recpacking outcome; in xchk_xref_is_not_cow_staging() local
627 agbno, len, &outcome); in xchk_xref_is_not_cow_staging()
630 if (outcome != XBTREE_RECPACKING_EMPTY) in xchk_xref_is_not_cow_staging()
H A Dalloc_repair.c153 enum xbtree_recpacking outcome; in xrep_abt_check_free_ext() local
161 rec->ar_startblock, rec->ar_blockcount, &outcome); in xrep_abt_check_free_ext()
164 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_abt_check_free_ext()
171 rec->ar_blockcount, &outcome); in xrep_abt_check_free_ext()
174 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_abt_check_free_ext()
179 rec->ar_blockcount, &outcome); in xrep_abt_check_free_ext()
182 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_abt_check_free_ext()
H A Drtrefcount.c627 enum xbtree_recpacking outcome; in xchk_xref_is_not_rt_shared() local
634 XFS_REFC_DOMAIN_SHARED, bno, len, &outcome); in xchk_xref_is_not_rt_shared()
637 if (outcome != XBTREE_RECPACKING_EMPTY) in xchk_xref_is_not_rt_shared()
648 enum xbtree_recpacking outcome; in xchk_xref_is_not_rt_cow_staging() local
655 bno, len, &outcome); in xchk_xref_is_not_rt_cow_staging()
658 if (outcome != XBTREE_RECPACKING_EMPTY) in xchk_xref_is_not_rt_cow_staging()
H A Drefcount_repair.c135 enum xbtree_recpacking outcome; in xrep_refc_check_ext() local
143 rec->rc_blockcount, &outcome); in xrep_refc_check_ext()
146 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_refc_check_ext()
151 rec->rc_startblock, rec->rc_blockcount, &outcome); in xrep_refc_check_ext()
154 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_refc_check_ext()
H A Dbmap_repair.c196 enum xbtree_recpacking outcome; in xrep_bmap_check_fork_rmap() local
224 rec->rm_blockcount, &outcome); in xrep_bmap_check_fork_rmap()
227 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_bmap_check_fork_rmap()
232 rec->rm_startblock, rec->rm_blockcount, &outcome); in xrep_bmap_check_fork_rmap()
235 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_bmap_check_fork_rmap()
H A Drmap.c637 enum xbtree_recpacking outcome; in xchk_xref_has_no_owner() local
643 error = xfs_rmap_has_records(sc->sa.rmap_cur, bno, len, &outcome); in xchk_xref_has_no_owner()
646 if (outcome != XBTREE_RECPACKING_EMPTY) in xchk_xref_has_no_owner()
H A Dialloc_repair.c345 enum xbtree_recpacking outcome; in xrep_ibt_check_inode_ext() local
385 error = xfs_alloc_has_records(sc->sa.bno_cur, agbno, len, &outcome); in xrep_ibt_check_inode_ext()
388 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_ibt_check_inode_ext()
/linux/tools/memory-model/litmus-tests/
H A DMP+poonceonces.litmus6 * Can the counter-intuitive message-passing outcome be prevented with
27 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
H A DLB+poonceonces.litmus6 * Can the counter-intuitive outcome for the load-buffering pattern
H A DMP+pooncerelease+poacquireonce.litmus28 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
H A DMP+fencewmbonceonce+fencermbonceonce.litmus30 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
H A DMP+onceassign+derefonce.litmus33 exists (1:r0=x /\ 1:r1=0) (* Bad outcome. *)
H A DMP+polockonce+poacquiresilsil.litmus33 exists (1:r1=1 /\ 1:r2=0 /\ 1:r3=1) (* Bad outcome. *)
H A DMP+polockmbonce+poacquiresilsil.litmus34 exists (1:r1=1 /\ 1:r2=0 /\ 1:r3=1) (* Bad outcome. *)
H A DMP+porevlocks.litmus35 exists (0:r0=1 /\ 0:r1=0) (* Bad outcome. *)
H A DMP+polocks.litmus35 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
/linux/tools/memory-model/Documentation/
H A Drecipes.txt159 value of r1 be 0. The reason for this surprising outcome is that
192 sufficiently to rule out the counter-intuitive outcome.
210 outcome in which the first load sees the value written by the second store
364 One way of avoiding the counter-intuitive outcome is through the use of a
405 the counter-intuitive outcome where the kernel overwrites the data
500 this counter-intuitive outcome.
521 "if (@cond)". The full barriers prevent the undesirable outcome where
554 avoid a counter-intuitive outcome depends on the types of relations
555 linking the memory accesses for the outcome in question:
/linux/fs/xfs/libxfs/
H A Dxfs_ialloc.h104 enum xbtree_recpacking *outcome);
H A Dxfs_refcount.h120 xfs_extlen_t len, enum xbtree_recpacking *outcome);
H A Dxfs_alloc.h217 xfs_extlen_t len, enum xbtree_recpacking *outcome);
/linux/tools/testing/selftests/net/netfilter/packetdrill/
H A Dconntrack_syn_challenge_ack.pkt13 // Expected outcome: established connection.
/linux/Documentation/ABI/obsolete/
H A Dsysfs-driver-hid-roccat-arvo35 windows and application keys, to protect the user from the outcome

123