Home
last modified time | relevance | path

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

123

/linux-6.12.1/tools/memory-model/scripts/
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-6.12.1/fs/xfs/scrub/
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()
Ddirtree.c249 path->outcome = XCHK_DIRPATH_SCANNING; in xchk_dirtree_create_path()
348 enum xchk_dirpath_outcome outcome) in xchk_dirpath_set_outcome() argument
351 outcome); in xchk_dirpath_set_outcome()
353 path->outcome = outcome; in xchk_dirpath_set_outcome()
562 while (!error && path->outcome == XCHK_DIRPATH_SCANNING) in xchk_dirpath_walk_upwards()
626 path->outcome == XREP_DIRPATH_ADOPTING) { in xchk_dirpath_step_is_stale()
632 path->outcome == XREP_DIRPATH_DELETING) { in xchk_dirpath_step_is_stale()
860 path->nr_steps, path->outcome); in xchk_dirtree_evaluate()
862 switch (path->outcome) { in xchk_dirtree_evaluate()
Dalloc.c183 enum xbtree_recpacking outcome; in xchk_xref_is_used_space() local
189 error = xfs_alloc_has_records(sc->sa.bno_cur, agbno, len, &outcome); in xchk_xref_is_used_space()
192 if (outcome != XBTREE_RECPACKING_EMPTY) in xchk_xref_is_used_space()
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()
Dalloc_repair.c154 enum xbtree_recpacking outcome; in xrep_abt_check_free_ext() local
162 rec->ar_startblock, rec->ar_blockcount, &outcome); in xrep_abt_check_free_ext()
165 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_abt_check_free_ext()
172 rec->ar_blockcount, &outcome); in xrep_abt_check_free_ext()
175 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_abt_check_free_ext()
180 rec->ar_blockcount, &outcome); in xrep_abt_check_free_ext()
183 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_abt_check_free_ext()
Drefcount_repair.c141 enum xbtree_recpacking outcome; in xrep_refc_check_ext() local
149 rec->rc_blockcount, &outcome); in xrep_refc_check_ext()
152 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_refc_check_ext()
157 rec->rc_startblock, rec->rc_blockcount, &outcome); in xrep_refc_check_ext()
160 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_refc_check_ext()
Dbmap_repair.c187 enum xbtree_recpacking outcome; in xrep_bmap_check_fork_rmap() local
215 rec->rm_blockcount, &outcome); in xrep_bmap_check_fork_rmap()
218 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_bmap_check_fork_rmap()
223 rec->rm_startblock, rec->rm_blockcount, &outcome); in xrep_bmap_check_fork_rmap()
226 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_bmap_check_fork_rmap()
Ddirtree.h60 enum xchk_dirpath_outcome outcome; member
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()
Dialloc_repair.c347 enum xbtree_recpacking outcome; in xrep_ibt_check_inode_ext() local
387 error = xfs_alloc_has_records(sc->sa.bno_cur, agbno, len, &outcome); in xrep_ibt_check_inode_ext()
390 if (outcome != XBTREE_RECPACKING_EMPTY) in xrep_ibt_check_inode_ext()
Dialloc.c762 enum xbtree_recpacking outcome; in xchk_xref_inode_check() local
768 error = xfs_ialloc_has_inodes_at_extent(*icur, agbno, len, &outcome); in xchk_xref_inode_check()
771 if (outcome != expected) in xchk_xref_inode_check()
/linux-6.12.1/tools/memory-model/litmus-tests/
DMP+poonceonces.litmus6 * Can the counter-intuitive message-passing outcome be prevented with
27 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
DLB+poonceonces.litmus6 * Can the counter-intuitive outcome for the load-buffering pattern
DMP+pooncerelease+poacquireonce.litmus28 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
DMP+fencewmbonceonce+fencermbonceonce.litmus30 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
DMP+onceassign+derefonce.litmus33 exists (1:r0=x /\ 1:r1=0) (* Bad outcome. *)
DMP+polockmbonce+poacquiresilsil.litmus34 exists (1:r1=1 /\ 1:r2=0 /\ 1:r3=1) (* Bad outcome. *)
DMP+polockonce+poacquiresilsil.litmus33 exists (1:r1=1 /\ 1:r2=0 /\ 1:r3=1) (* Bad outcome. *)
DMP+polocks.litmus35 exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *)
DMP+porevlocks.litmus35 exists (0:r0=1 /\ 0:r1=0) (* Bad outcome. *)
/linux-6.12.1/tools/memory-model/Documentation/
Drecipes.txt155 value of r1 be 0. The reason for this surprising outcome is that
188 sufficiently to rule out the counter-intuitive outcome.
206 outcome in which the first load sees the value written by the second store
360 One way of avoiding the counter-intuitive outcome is through the use of a
401 the counter-intuitive outcome where the kernel overwrites the data
496 this counter-intuitive outcome.
517 "if (@cond)". The full barriers prevent the undesirable outcome where
550 avoid a counter-intuitive outcome depends on the types of relations
551 linking the memory accesses for the outcome in question:
/linux-6.12.1/fs/xfs/libxfs/
Dxfs_ialloc.h104 enum xbtree_recpacking *outcome);
Dxfs_refcount.h117 xfs_extlen_t len, enum xbtree_recpacking *outcome);
/linux-6.12.1/tools/testing/selftests/net/netfilter/packetdrill/
Dconntrack_syn_challenge_ack.pkt13 // Expected outcome: established connection.

123