| /dports/lang/rust/rustc-1.58.1-src/src/tools/miri/src/ |
| H A D | sync.rs | 245 if let Some(data_race) = &this.memory.extra.data_race { in mutex_lock()
331 if let Some(data_race) = &this.memory.extra.data_race { in rwlock_reader_lock()
355 if let Some(data_race) = &this.memory.extra.data_race { in rwlock_reader_unlock()
388 if let Some(data_race) = &this.memory.extra.data_race { in rwlock_writer_lock()
408 if let Some(data_race) = &this.memory.extra.data_race { in rwlock_writer_unlock()
468 let data_race = &this.memory.extra.data_race; in condvar_signal() localVariable
471 if let Some(data_race) = data_race { in condvar_signal()
475 if let Some(data_race) = data_race { in condvar_signal()
501 let data_race = &this.memory.extra.data_race; in futex_wake() localVariable
504 if let Some(data_race) = data_race { in futex_wake()
[all …]
|
| H A D | thread.rs | 340 data_race: Option<&mut data_race::GlobalState>, in join_thread()
367 if let Some(data_race) = data_race { in join_thread()
446 mut data_race: Option<&mut data_race::GlobalState>, in thread_terminated()
463 if let Some(ref mut data_race) = data_race { in thread_terminated()
470 if let Some(ref mut data_race) = data_race { in thread_terminated()
488 data_race: &Option<data_race::GlobalState>, in schedule()
526 if let Some(data_race) = data_race { in schedule()
587 if let Some(data_race) = &mut this.memory.extra.data_race { in create_thread()
609 if let Some(data_race) = &this.memory.extra.data_race { in set_active_thread()
672 if let Some(data_race) = &mut this.memory.extra.data_race { in set_active_thread_name()
[all …]
|
| H A D | machine.rs | 162 pub data_race: Option<data_race::AllocExtra>, field
169 pub data_race: Option<data_race::MemoryExtra>, field
202 let data_race = in new() localVariable
206 data_race, in new()
571 let race_alloc = if let Some(data_race) = &mem.extra.data_race { in init_allocation_extra()
572 Some(data_race::AllocExtra::new_allocation(&data_race, alloc.size(), kind)) in init_allocation_extra()
622 if let Some(data_race) = &alloc_extra.data_race { in memory_read()
623 data_race.read(tag.alloc_id, range, memory_extra.data_race.as_ref().unwrap())?; in memory_read()
644 if let Some(data_race) = &mut alloc_extra.data_race { in memory_written()
645 data_race.write(tag.alloc_id, range, memory_extra.data_race.as_mut().unwrap())?; in memory_written()
[all …]
|
| H A D | data_race.rs | 693 if let Some(data_race) = &mut this.memory.extra.data_race { in validate_atomic_fence()
953 let old = if let Some(data_race) = &this.memory.extra.data_race { in allow_data_races_ref()
954 data_race.multi_threaded.replace(false) in allow_data_races_ref()
959 if let Some(data_race) = &this.memory.extra.data_race { in allow_data_races_ref()
960 data_race.multi_threaded.set(old); in allow_data_races_ref()
974 let old = if let Some(data_race) = &this.memory.extra.data_race { in allow_data_races_mut()
980 if let Some(data_race) = &this.memory.extra.data_race { in allow_data_races_mut()
981 data_race.multi_threaded.set(old); in allow_data_races_mut()
1000 if let Some(data_race) = &this.memory.extra.data_race { in validate_atomic_op()
1001 if data_race.multi_threaded.get() { in validate_atomic_op()
[all …]
|
| H A D | lib.rs | 22 mod data_race; module
54 pub use crate::data_race::{
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/kernel/rcu/ |
| H A D | tree_stall.h | 466 data_race(rcu_state.gp_flags), in rcu_check_gp_kthread_starvation()
509 data_race(rcu_state.gp_flags), in rcu_check_gp_kthread_expired_fqs_timer()
570 gpa = data_race(rcu_state.gp_activity); in print_other_cpu_stall()
573 data_race(jiffies_till_next_fqs), in print_other_cpu_stall()
735 ja = j - data_race(rcu_state.gp_activity); in show_rcu_gp_kthreads()
737 jw = j - data_race(rcu_state.gp_wake_time); in show_rcu_gp_kthreads()
742 (long)data_race(rcu_state.gp_seq), in show_rcu_gp_kthreads()
744 data_race(rcu_state.gp_flags)); in show_rcu_gp_kthreads()
751 (long)data_race(rnp->gp_seq_needed)); in show_rcu_gp_kthreads()
761 cpu, (long)data_race(rdp->gp_seq_needed)); in show_rcu_gp_kthreads()
[all …]
|
| H A D | tasks.h | 142 int i = data_race(rtp->gp_state); // Let KCSAN detect update races in tasks_gp_state_getname()
285 tasks_gp_state_getname(rtp), data_race(rtp->gp_state), in show_rcu_tasks_generic_gp_kthread()
286 jiffies - data_race(rtp->gp_jiffies), in show_rcu_tasks_generic_gp_kthread()
287 data_race(rtp->n_gps), in show_rcu_tasks_generic_gp_kthread()
288 data_race(rtp->n_ipis_fails), data_race(rtp->n_ipis), in show_rcu_tasks_generic_gp_kthread()
289 ".k"[!!data_race(rtp->kthread_ptr)], in show_rcu_tasks_generic_gp_kthread()
290 ".C"[!!data_race(rtp->cbs_head)], in show_rcu_tasks_generic_gp_kthread()
1242 data_race(n_heavy_reader_ofl_updates), in show_rcu_tasks_trace_gp_kthread()
1243 data_race(n_heavy_reader_updates), in show_rcu_tasks_trace_gp_kthread()
1244 data_race(n_heavy_reader_attempts)); in show_rcu_tasks_trace_gp_kthread()
|
| H A D | tree_exp.h | 546 data_race(rnp_root->expmask), in synchronize_rcu_expedited_wait()
547 ".T"[!!data_race(rnp_root->exp_tasks)]); in synchronize_rcu_expedited_wait()
557 data_race(rnp->expmask), in synchronize_rcu_expedited_wait()
558 ".T"[!!data_race(rnp->exp_tasks)]); in synchronize_rcu_expedited_wait()
|
| /dports/multimedia/libv4l/linux-5.13-rc2/kernel/rcu/ |
| H A D | tree_stall.h | 466 data_race(rcu_state.gp_flags), in rcu_check_gp_kthread_starvation()
509 data_race(rcu_state.gp_flags), in rcu_check_gp_kthread_expired_fqs_timer()
570 gpa = data_race(rcu_state.gp_activity); in print_other_cpu_stall()
573 data_race(jiffies_till_next_fqs), in print_other_cpu_stall()
735 ja = j - data_race(rcu_state.gp_activity); in show_rcu_gp_kthreads()
737 jw = j - data_race(rcu_state.gp_wake_time); in show_rcu_gp_kthreads()
742 (long)data_race(rcu_state.gp_seq), in show_rcu_gp_kthreads()
744 data_race(rcu_state.gp_flags)); in show_rcu_gp_kthreads()
751 (long)data_race(rnp->gp_seq_needed)); in show_rcu_gp_kthreads()
761 cpu, (long)data_race(rdp->gp_seq_needed)); in show_rcu_gp_kthreads()
[all …]
|
| H A D | tasks.h | 142 int i = data_race(rtp->gp_state); // Let KCSAN detect update races in tasks_gp_state_getname()
285 tasks_gp_state_getname(rtp), data_race(rtp->gp_state), in show_rcu_tasks_generic_gp_kthread()
286 jiffies - data_race(rtp->gp_jiffies), in show_rcu_tasks_generic_gp_kthread()
287 data_race(rtp->n_gps), in show_rcu_tasks_generic_gp_kthread()
288 data_race(rtp->n_ipis_fails), data_race(rtp->n_ipis), in show_rcu_tasks_generic_gp_kthread()
289 ".k"[!!data_race(rtp->kthread_ptr)], in show_rcu_tasks_generic_gp_kthread()
290 ".C"[!!data_race(rtp->cbs_head)], in show_rcu_tasks_generic_gp_kthread()
1242 data_race(n_heavy_reader_ofl_updates), in show_rcu_tasks_trace_gp_kthread()
1243 data_race(n_heavy_reader_updates), in show_rcu_tasks_trace_gp_kthread()
1244 data_race(n_heavy_reader_attempts)); in show_rcu_tasks_trace_gp_kthread()
|
| H A D | tree_exp.h | 546 data_race(rnp_root->expmask), in synchronize_rcu_expedited_wait()
547 ".T"[!!data_race(rnp_root->exp_tasks)]); in synchronize_rcu_expedited_wait()
557 data_race(rnp->expmask), in synchronize_rcu_expedited_wait()
558 ".T"[!!data_race(rnp->exp_tasks)]); in synchronize_rcu_expedited_wait()
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/kernel/rcu/ |
| H A D | tree_stall.h | 466 data_race(rcu_state.gp_flags), in rcu_check_gp_kthread_starvation()
509 data_race(rcu_state.gp_flags), in rcu_check_gp_kthread_expired_fqs_timer()
570 gpa = data_race(rcu_state.gp_activity); in print_other_cpu_stall()
573 data_race(jiffies_till_next_fqs), in print_other_cpu_stall()
735 ja = j - data_race(rcu_state.gp_activity); in show_rcu_gp_kthreads()
737 jw = j - data_race(rcu_state.gp_wake_time); in show_rcu_gp_kthreads()
742 (long)data_race(rcu_state.gp_seq), in show_rcu_gp_kthreads()
744 data_race(rcu_state.gp_flags)); in show_rcu_gp_kthreads()
751 (long)data_race(rnp->gp_seq_needed)); in show_rcu_gp_kthreads()
761 cpu, (long)data_race(rdp->gp_seq_needed)); in show_rcu_gp_kthreads()
[all …]
|
| H A D | tasks.h | 142 int i = data_race(rtp->gp_state); // Let KCSAN detect update races in tasks_gp_state_getname()
285 tasks_gp_state_getname(rtp), data_race(rtp->gp_state), in show_rcu_tasks_generic_gp_kthread()
286 jiffies - data_race(rtp->gp_jiffies), in show_rcu_tasks_generic_gp_kthread()
287 data_race(rtp->n_gps), in show_rcu_tasks_generic_gp_kthread()
288 data_race(rtp->n_ipis_fails), data_race(rtp->n_ipis), in show_rcu_tasks_generic_gp_kthread()
289 ".k"[!!data_race(rtp->kthread_ptr)], in show_rcu_tasks_generic_gp_kthread()
290 ".C"[!!data_race(rtp->cbs_head)], in show_rcu_tasks_generic_gp_kthread()
1242 data_race(n_heavy_reader_ofl_updates), in show_rcu_tasks_trace_gp_kthread()
1243 data_race(n_heavy_reader_updates), in show_rcu_tasks_trace_gp_kthread()
1244 data_race(n_heavy_reader_attempts)); in show_rcu_tasks_trace_gp_kthread()
|
| H A D | tree_exp.h | 546 data_race(rnp_root->expmask), in synchronize_rcu_expedited_wait()
547 ".T"[!!data_race(rnp_root->exp_tasks)]); in synchronize_rcu_expedited_wait()
557 data_race(rnp->expmask), in synchronize_rcu_expedited_wait()
558 ".T"[!!data_race(rnp->exp_tasks)]); in synchronize_rcu_expedited_wait()
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/mm/ |
| H A D | frontswap.c | 65 data_race(frontswap_loads++); in inc_frontswap_loads()
69 data_race(frontswap_succ_stores++); in inc_frontswap_succ_stores()
73 data_race(frontswap_failed_stores++); in inc_frontswap_failed_stores()
77 data_race(frontswap_invalidates++); in inc_frontswap_invalidates()
|
| H A D | page_io.c | 69 if (data_race(!(sis->flags & SWP_BLKDEV))) in swap_slot_free_notify()
293 if (data_race(sis->flags & SWP_FS_OPS)) { in __swap_writepage()
382 if (data_race(sis->flags & SWP_FS_OPS)) { in swap_readpage()
446 if (data_race(sis->flags & SWP_FS_OPS)) { in swap_set_page_dirty()
|
| /dports/multimedia/libv4l/linux-5.13-rc2/mm/ |
| H A D | frontswap.c | 65 data_race(frontswap_loads++); in inc_frontswap_loads()
69 data_race(frontswap_succ_stores++); in inc_frontswap_succ_stores()
73 data_race(frontswap_failed_stores++); in inc_frontswap_failed_stores()
77 data_race(frontswap_invalidates++); in inc_frontswap_invalidates()
|
| H A D | page_io.c | 69 if (data_race(!(sis->flags & SWP_BLKDEV))) in swap_slot_free_notify()
293 if (data_race(sis->flags & SWP_FS_OPS)) { in __swap_writepage()
382 if (data_race(sis->flags & SWP_FS_OPS)) { in swap_readpage()
446 if (data_race(sis->flags & SWP_FS_OPS)) { in swap_set_page_dirty()
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/mm/ |
| H A D | frontswap.c | 65 data_race(frontswap_loads++); in inc_frontswap_loads()
69 data_race(frontswap_succ_stores++); in inc_frontswap_succ_stores()
73 data_race(frontswap_failed_stores++); in inc_frontswap_failed_stores()
77 data_race(frontswap_invalidates++); in inc_frontswap_invalidates()
|
| H A D | page_io.c | 69 if (data_race(!(sis->flags & SWP_BLKDEV))) in swap_slot_free_notify()
293 if (data_race(sis->flags & SWP_FS_OPS)) { in __swap_writepage()
382 if (data_race(sis->flags & SWP_FS_OPS)) { in swap_readpage()
446 if (data_race(sis->flags & SWP_FS_OPS)) { in swap_set_page_dirty()
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/security/tomoyo/ |
| H A D | util.c | 1068 data_race(perm = container_of(ptr, struct tomoyo_path_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1071 data_race(perm = container_of(ptr, struct tomoyo_path2_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1074 data_race(perm = container_of(ptr, struct tomoyo_path_number_acl, head) in tomoyo_domain_quota_is_ok()
1078 data_race(perm = container_of(ptr, struct tomoyo_mkdev_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1081 data_race(perm = container_of(ptr, struct tomoyo_inet_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1084 data_race(perm = container_of(ptr, struct tomoyo_unix_acl, head)->perm); in tomoyo_domain_quota_is_ok()
|
| /dports/multimedia/libv4l/linux-5.13-rc2/security/tomoyo/ |
| H A D | util.c | 1068 data_race(perm = container_of(ptr, struct tomoyo_path_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1071 data_race(perm = container_of(ptr, struct tomoyo_path2_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1074 data_race(perm = container_of(ptr, struct tomoyo_path_number_acl, head) in tomoyo_domain_quota_is_ok()
1078 data_race(perm = container_of(ptr, struct tomoyo_mkdev_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1081 data_race(perm = container_of(ptr, struct tomoyo_inet_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1084 data_race(perm = container_of(ptr, struct tomoyo_unix_acl, head)->perm); in tomoyo_domain_quota_is_ok()
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/security/tomoyo/ |
| H A D | util.c | 1068 data_race(perm = container_of(ptr, struct tomoyo_path_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1071 data_race(perm = container_of(ptr, struct tomoyo_path2_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1074 data_race(perm = container_of(ptr, struct tomoyo_path_number_acl, head) in tomoyo_domain_quota_is_ok()
1078 data_race(perm = container_of(ptr, struct tomoyo_mkdev_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1081 data_race(perm = container_of(ptr, struct tomoyo_inet_acl, head)->perm); in tomoyo_domain_quota_is_ok()
1084 data_race(perm = container_of(ptr, struct tomoyo_unix_acl, head)->perm); in tomoyo_domain_quota_is_ok()
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/kernel/locking/ |
| H A D | osq_lock.c | 161 if (data_race(prev->next) == node && in osq_lock()
|
| /dports/multimedia/libv4l/linux-5.13-rc2/kernel/locking/ |
| H A D | osq_lock.c | 161 if (data_race(prev->next) == node && in osq_lock()
|