Commits

Breadcrumbs

History for

onfc4fef6

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 4, 2023

• tools: memory-model: Make plain accesses carry dependencies

  Show description for 9ba7d3b
  

  Jonas Oberhauser

  authored and

  paulmckrcu

  committed
  9ba7d3b

  Copy full SHA for 9ba7d3b

• 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 Oct 18, 2022

• tools/memory-model: Weaken ctrl dependency definition in explanation.txt

  Show description for fc13b47
  

  paulhdk

  authored and

  paulmckrcu

  committed
  fc13b47

  Copy full SHA for fc13b47

Commits on Aug 31, 2022

• tools/memory-model: Clarify LKMM's limitations in litmus-tests.txt

  Show description for be94ecf
  

  paulhdk

  authored and

  paulmckrcu

  committed
  be94ecf

  Copy full SHA for be94ecf

Commits on May 3, 2022

• tools/memory-model/README: Update klitmus7 compat table

  Show description for 5b759db
  

  akiyks

  authored and

  paulmckrcu

  committed
  5b759db

  Copy full SHA for 5b759db

Commits on Feb 2, 2022

• tools/memory-model: Explain syntactic and semantic dependencies

  Show description for e2b665f
  

  AlanStern

  authored and

  paulmckrcu

  committed
  e2b665f

  Copy full SHA for e2b665f

Commits on Dec 1, 2021

• tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering

  Show description for c438b7d
  

  fbq

  authored and

  paulmckrcu

  committed
  c438b7d

  Copy full SHA for c438b7d

• tools/memory-model: doc: Describe the requirement of the litmus-tests directory

  Show description for b47c05e
  

  fbq

  authored and

  paulmckrcu

  committed
  b47c05e

  Copy full SHA for b47c05e

• 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 Jul 27, 2021

• tools/memory-model: Document data_race(READ_ONCE())

  Show description for 87859a8
  paulmckrcu

  committed
  87859a8

  Copy full SHA for 87859a8

• tools/memory-model: Heuristics using data_race() must handle all values

  Show description for f92975d
  

  manfred-colorfu

  authored and

  paulmckrcu

  committed
  f92975d

  Copy full SHA for f92975d

• tools/memory-model: Add example for heuristic lockless reads

  Show description for 436eef2
  paulmckrcu

  committed
  436eef2

  Copy full SHA for 436eef2

Commits on Jul 20, 2021

• tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic

  Show description for 1846a7f
  paulmckrcu

  committed
  1846a7f

  Copy full SHA for 1846a7f

Commits on May 10, 2021

• tools/memory-model: Fix smp_mb__after_spinlock() spelling

  Show description for d25fba0
  

  Björn Töpel

  authored and

  paulmckrcu

  committed
  d25fba0

  Copy full SHA for d25fba0

Commits on Mar 15, 2021

• tools/memory-model: Add access-marking documentation

  Show description for 49ab51b
  paulmckrcu

  committed
  49ab51b

  Copy full SHA for 49ab51b

Commits on Mar 8, 2021

• tools/memory-model: Remove reference to atomic_ops.rst

  Show description for 9146658
  

  akiyks

  authored and

  paulmckrcu

  committed
  9146658

  Copy full SHA for 9146658

• doc: Update rcu_dereference.rst reference

  Show description for ba46b21
  

  mchehab

  authored and

  paulmckrcu

  committed
  ba46b21

  Copy full SHA for ba46b21

Commits on Jan 4, 2021

• tools/memory-model: Fix typo in klitmus7 compatibility table

  Show description for 3d5c703
  

  akiyks

  authored and

  paulmckrcu

  committed
  3d5c703

  Copy full SHA for 3d5c703

• tools/memory-model: Remove redundant initialization in litmus tests

  Show description for 5c587f9
  

  akiyks

  authored and

  paulmckrcu

  committed
  5c587f9

  Copy full SHA for 5c587f9

• tools/memory-model: Tie acquire loads to reads-from

  Show description for 8881e7a
  paulmckrcu

  committed
  8881e7a

  Copy full SHA for 8881e7a

Commits on Nov 7, 2020

• tools/memory-model: Label MP tests' producers and consumers

  Show description for b6ff308
  paulmckrcu

  committed
  b6ff308

  Copy full SHA for b6ff308

• tools/memory-model: Use "buf" and "flag" for message-passing tests

  Show description for acc4bdc
  paulmckrcu

  committed
  acc4bdc

  Copy full SHA for acc4bdc

• tools/memory-model: Add types to litmus tests

  Show description for 1947bfc
  paulmckrcu

  committed
  1947bfc

  Copy full SHA for 1947bfc

• tools/memory-model: Add a glossary of LKMM terms

  Show description for 0a27ce6
  paulmckrcu

  committed
  0a27ce6

  Copy full SHA for 0a27ce6

• tools/memory-model: Document categories of ordering primitives

  Show description for ebb477c
  paulmckrcu

  committed
  ebb477c

  Copy full SHA for ebb477c

Commits on Oct 26, 2020

• tools/memory-model: Move Documentation description to Documentation/README

  Show description for ab8bcad
  paulmckrcu

  committed
  ab8bcad

  Copy full SHA for ab8bcad

• tools: memory-model: Document that the LKMM can easily miss control dependencies

  Show description for 9270e1a
  

  AlanStern

  authored and

  paulmckrcu

  committed
  9270e1a

  Copy full SHA for 9270e1a

Commits on Sep 4, 2020

• tools/memory-model: Expand the cheatsheet.txt notion of relaxed

  Show description for 0ce0c78
  paulmckrcu

  committed
  0ce0c78

  Copy full SHA for 0ce0c78

Commits on Sep 3, 2020

• tools/memory-model: Add a simple entry point document

  Show description for 0b8c06b
  paulmckrcu

  committed
  0b8c06b

  Copy full SHA for 0b8c06b

• tools/memory-model: Improve litmus-test documentation

  Show description for 984f272
  paulmckrcu

  committed
  984f272

  Copy full SHA for 984f272

• tools/memory-model: Update recipes.txt prime_numbers.c path

  Show description for cc9628b
  paulmckrcu

  committed
  cc9628b

  Copy full SHA for cc9628b

• Replace HTTP links with HTTPS ones: LKMM

  Show description for 1e44e6e
  

  Al2Klimov

  authored and

  paulmckrcu

  committed
  1e44e6e

  Copy full SHA for 1e44e6e

Commits on Aug 3, 2020

• Merge tag 'locking-core-2020-08-03' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip

  Show description for 9ba19cc
  torvalds

  committed
  9ba19cc

  Copy full SHA for 9ba19cc

Commits on Jul 21, 2020

• tools/memory-model: Remove smp_read_barrier_depends() from informal doc

  Show description for 628fd55
  willdeacon

  committed
  628fd55

  Copy full SHA for 628fd55

Commits on Jun 29, 2020

• tools/memory-model/README: Mention herdtools7 7.56 in compatibility table

  Show description for 2bfa5c6
  

  akiyks

  authored and

  paulmckrcu

  committed
  2bfa5c6

  Copy full SHA for 2bfa5c6

Pagination

Previous

Next