Commits

Breadcrumbs

History for

ontopic/sof-dev

User selector

All users

All time

Commit History

Commits on Feb 20, 2025

• tools/memory-model: Define effect of Mb tags on RMWs in tools/...

  Show description for 2927934
  

  Jonas Oberhauser

  authored and

  paulmckrcu

  committed
  2927934

  Copy full SHA for 2927934

Commits on Mar 22, 2023

• tools/memory-model: Make ppo a subrelation of po

  Show description for 762e935
  

  Jonas Oberhauser

  authored and

  paulmckrcu

  committed
  762e935

  Copy full SHA for 762e935

• tools/memory-model: Restrict to-r to read-read address dependency

  Show description for aa568c2
  

  joelagnel

  authored and

  paulmckrcu

  committed
  aa568c2

  Copy full SHA for aa568c2

• tools/memory-model: Add smp_mb__after_srcu_read_unlock()

  Show description for 02bae7a
  paulmckrcu

  committed
  02bae7a

  Copy full SHA for 02bae7a

• tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po

  Show description for dd409de
  

  Jonas Oberhauser

  authored and

  paulmckrcu

  committed
  dd409de

  Copy full SHA for dd409de

Commits on Jan 4, 2023

• tools: memory-model: Add rmw-sequences to the LKMM

  Show description for ebd50e2
  

  AlanStern

  authored and

  paulmckrcu

  committed
  ebd50e2

  Copy full SHA for ebd50e2

Commits on Dec 1, 2021

• tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU

  Show description for ddfe129
  

  fbq

  authored and

  paulmckrcu

  committed
  ddfe129

  Copy full SHA for ddfe129

Commits on Oct 5, 2019

• tools/memory-model: Fix data race detection for unordered store and load

  Show description for daebf24
  

  AlanStern

  authored and

  paulmckrcu

  committed
  daebf24

  Copy full SHA for daebf24

Commits on Jun 24, 2019

• tools/memory-model: Improve data-race detection

  Show description for 4289ee7
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  4289ee7

  Copy full SHA for 4289ee7

Commits on Jun 21, 2019

• tools/memory-model: Change definition of rcu-fence

  Show description for 15aa25c
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  15aa25c

  Copy full SHA for 15aa25c

• tools/memory-model: Expand definition of barrier

  Show description for f9de417
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  f9de417

  Copy full SHA for f9de417

Commits on May 28, 2019

• tools/memory-model: Add data-race detection

  Show description for 0031e38
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  0031e38

  Copy full SHA for 0031e38

• tools/memory-model: Add definitions of plain and marked accesses

  Show description for d1a84ab
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  d1a84ab

  Copy full SHA for d1a84ab

• tools/memory-model: Prepare for data-race detection

  Show description for 4494dd5
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  4494dd5

  Copy full SHA for 4494dd5

Commits on Mar 18, 2019

• tools/memory-model: Avoid duplicating herdtools versions

  Show description for 034fb71
  

  Andrea Parri

  authored and

  Paul E. McKenney

  committed
  034fb71

  Copy full SHA for 034fb71

• tools/memory-model: Dynamically check SRCU lock-to-unlock matching

  Show description for 9393998
  

  maranget

  authored and

  Paul E. McKenney

  committed
  9393998

  Copy full SHA for 9393998

• tools/memory-model: Add SRCU support

  Show description for a3f600d
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  a3f600d

  Copy full SHA for a3f600d

• tools/memory-model: Refactor some RCU relations

  Show description for 284749b
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  284749b

  Copy full SHA for 284749b

• tools/memory-model: Rename some RCU relations

  Show description for 0172d9e
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  0172d9e

  Copy full SHA for 0172d9e

Commits on Jan 21, 2019

• tools/memory-model: Model smp_mb__after_unlock_lock()

  Show description for 5b735eb
  

  Andrea Parri

  authored and

  ingomolnar

  committed
  5b735eb

  Copy full SHA for 5b735eb

Commits on Oct 2, 2018

• tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire

  Show description for 6e89e83
  

  AlanStern

  authored and

  ingomolnar

  committed
  6e89e83

  Copy full SHA for 6e89e83

Commits on May 15, 2018

• tools/memory-model: Update ASPLOS information

  Show description for 1a00b45
  

  Andrea Parri

  authored and

  ingomolnar

  committed
  1a00b45

  Copy full SHA for 1a00b45

• tools/memory-model: Redefine rb in terms of rcu-fence

  Show description for 9d03688
  

  AlanStern

  authored and

  ingomolnar

  committed
  9d03688

  Copy full SHA for 9d03688

• tools/memory-model: Rename link and rcu-path to rcu-link and rb

  Show description for 1ee2da5
  

  AlanStern

  authored and

  ingomolnar

  committed
  1ee2da5

  Copy full SHA for 1ee2da5

Commits on Feb 21, 2018

• tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference

  Show description for bf28ae5
  

  AlanStern

  authored and

  ingomolnar

  committed
  bf28ae5

  Copy full SHA for bf28ae5

• tools/memory-model: Convert underscores to hyphens

  Show description for cac79a3
  

  paulmck

  authored and

  ingomolnar

  committed
  cac79a3

  Copy full SHA for cac79a3

• tools/memory-model: Clarify the origin/scope of the tool name

  Show description for 48d44d4
  

  andrea-parri

  authored and

  ingomolnar

  committed
  48d44d4

  Copy full SHA for 48d44d4

Commits on Jan 25, 2018

• Automate memory-barriers.txt; provide Linux-kernel memory model

  Show description for 1c27b64
  paulmck

  committed
  1c27b64

  Copy full SHA for 1c27b64

Loading