Hi Paul, Joel,
> > > On the other hand, would you have ideas for more modern replacement
> > > examples?
> >
> > There are 3 cases I can see in listRCU.txt:
> > (1) action taken outside of read_lock (can tolerate stale data), no
> > in-place update.
> > this is the best possibl
On Sat, May 11, 2019 at 05:41:31PM -0700, Paul E. McKenney wrote:
> On Sun, May 12, 2019 at 12:11:26AM +0200, Andrea Parri wrote:
> > Hi Paul, Joel,
> >
> > > > > On the other hand, would you have ideas for more modern replacement
> > > > > examples?
Make sure that the (occasional) reader of memory-barriers.txt will be
aware of these developments.
[1] https://marc.info/?l=linux-kernel&m=151687290114799&w=2
Signed-off-by: Andrea Parri
---
Documentation/memory-barriers.txt | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
(and responsibility!!) of such documentation (here,
memory-barriers.txt) to the maintainers of the LKMM themselves.
Suggested-by: Will Deacon
Signed-off-by: Andrea Parri
---
On top of: https://marc.info/?l=linux-kernel&m=151748668632046&w=2
MAINTAINERS | 1 +
1 file changed,
On Fri, Feb 02, 2018 at 03:51:02PM -0800, Paul E. McKenney wrote:
> On Fri, Feb 02, 2018 at 10:13:42AM +0100, Andrea Parri wrote:
> > Now that a formal specification of the LKMM has become available to
> > the developer, some concern about how to track changes to the model
> >
part as a reply to your message, plus CC: to me.
[CCing lists and other people]
>
> On Fri, Feb 02, 2018 at 17:21:03AM -0800, Paul E. McKenney wrote:
> > On Fri, Feb 02, 2018 at 10:12:48AM +0100, Andrea Parri wrote:
> >> Recent efforts led to the specification of a memory co
On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote:
> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote:
> > Hi Akira,
> >
> > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote:
> > > Hi Paul,
> > > CC: Andrea
> >
On Fri, Feb 09, 2018 at 06:29:23AM -0800, Paul E. McKenney wrote:
> On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote:
> > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote:
> > > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote
On Thu, Feb 22, 2018 at 03:09:03PM +0800, Boqun Feng wrote:
> As now we support recursive read lock deadlock detection, add related
> explanation in the Documentation/lockdep/lockdep-desgin.txt:
>
> * Definition of recursive read locks, non-recursive locks, strong
> dependency path and n
Hi all,
The directory (not yet three years old although, I freely admit, I've
only recently become aware of it) provides arch. support matrices for
more than 40 generic kernel features that need per-arch. support:
This is a superb project! ;-) and not a simple one given that, to be
effective, th
Signed-off-by: Andrea Parri
---
.../features/core/cBPF-JIT/arch-support.txt| 27 ++
.../features/core/eBPF-JIT/arch-support.txt| 27 ++
.../core/generic-idle-thread/arch-support.txt | 3 ++-
.../features/core/jump-labels/arch
Signed-off-by: Andrea Parri
---
.../features/core/BPF-JIT/arch-support.txt | 31 --
.../features/core/cBPF-JIT/arch-support.txt| 5
.../features/core/eBPF-JIT/arch-support.txt| 5
3 files changed, 10 insertions(+), 31 deletions(-)
delete
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
---
Documentation/features/scripts/features-refresh.sh | 55 ++
1 file changed, 55 insertions(+)
create mode 100755 Documentation/features/scripts/features-refresh.sh
diff --git a/Documentation/features/scripts/features
7; is not a valid Kconfig
WARNING: '__HAVE_ARCH_PTE_SPECIAL' is not a valid Kconfig
(I'm sending these patches with empty commit messagges, for early feedback:
I'll fill in these messages in subsequent versions if this makes sense...)
Cheers,
Andrea
Andrea Parri (3):
Do
On Wed, Apr 04, 2018 at 06:56:32AM +0200, Ingo Molnar wrote:
>
> * Andrea Parri wrote:
>
> > In Ingo's words [1]:
> >
> > "[...] what should be done instead is to write a script that refreshes
> >all the arch-support.txt files in-place. [...]
t all easy to
keep sync and to extend."
[1] https://marc.info/?l=linux-kernel&m=152240950509781&w=2
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
Documentation/features/scripts/features-refresh.sh | 98 +++
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
.../features/vm/pte_special/arch-support.txt | 33 --
1 file changed, 33 deletions(-)
delete mode 100644 Documentation/features/vm/pte_special/arch
ernel&m=152223974927255&w=2
https://marc.info/?l=linux-kernel&m=152277458614862&w=2
Changes in v2:
- support negation operators in Kconfig (suggested by Ingo Molnar)
- reorder patches 2/6 and 3/6 (suggested by Ingo Molnar)
- add patches 4-6/6 (suggested by Ingo Molnar
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
.../features/lib/strncasecmp/arch-support.txt | 33 --
1 file changed, 33 deletions(-)
delete mode 100644 Documentation/features/lib/strncasecmp/arch
s file. Also refreshes
the status matrix by using the script 'features-refresh.sh'.
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
Documentation/features/locking/rwsem-optimized/arch-support.txt | 8
1 file ch
Now that the script 'features-refresh.sh' is available, uses this script
to refresh all the arch-support.txt files in place.
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
Documentation/features/core/BPF-JIT/arch-support.txt
Commit 606b5908e split 'HAVE_BPF_JIT' into cBPF and eBPF variant.
Adds arch support status files for the new variants, and removes the
status file corresponding to 'HAVE_BPT_JIT'. The new status matrices
were auto-generated using the script 'features-refresh.sh'
On Mon, Nov 26, 2018 at 04:52:14PM +, Will Deacon wrote:
> David Laight explains:
>
> | A long time ago there was a document from Intel that said that
> | inb/outb weren't necessarily synchronised wrt memory accesses.
> | (Might be P-pro era). However no processors actually behaved that
Hi Ingo, Jon,
On Sun, Apr 08, 2018 at 06:30:21PM +0200, Andrea Parri wrote:
> Hi,
>
> This series provides the script 'features-refresh.sh', which operates on
> the arch support status files, and it applies this script to refresh the
> status files in place; previo
The LKMM project has moved to 'tools/memory-model/'.
Signed-off-by: Andrea Parri
---
Documentation/core-api/refcount-vs-atomic.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/core-api/refcount-vs-atomic.rst
b/Documentation/core-api/refcount-vs-
On Fri, May 04, 2018 at 02:13:59PM -0700, Kees Cook wrote:
> On Fri, May 4, 2018 at 2:11 PM, Andrea Parri
> wrote:
> > The LKMM project has moved to 'tools/memory-model/'.
> >
> > Signed-off-by: Andrea Parri
> > ---
> > Documentation/core-api/refcou
g (suggested by Ingo Molnar)
- reorder patches 2/6 and 3/6 (suggested by Ingo Molnar)
- add patches 4-6/6 (suggested by Ingo Molnar)
Andrea Parri (6):
Documentation/features: Add script that refreshes the arch support
status files in place
Documentation/features: Refresh the arch support s
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
.../features/vm/pte_special/arch-support.txt | 33 --
1 file changed, 33 deletions(-)
delete mode 100644 Documentation/features/vm/pte_special/arch
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
.../features/lib/strncasecmp/arch-support.txt | 33 --
1 file changed, 33 deletions(-)
delete mode 100644 Documentation/features/lib/strncasecmp/arch
Now that the script 'features-refresh.sh' is available, uses this script
to refresh all the arch-support.txt files in place.
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
Documentation/features/core/BPF-JIT/arch-support.txt
Commit 606b5908e split 'HAVE_BPF_JIT' into cBPF and eBPF variant.
Adds arch support status files for the new variants, and removes the
status file corresponding to 'HAVE_BPT_JIT'. The new status matrices
were auto-generated using the script 'features-refresh.sh'
s file. Also refreshes
the status matrix by using the script 'features-refresh.sh'.
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
Documentation/features/locking/rwsem-optimized/arch-support.txt | 8
1 file ch
t all easy to
keep sync and to extend."
[1] http://lkml.kernel.org/r/20180328122211.GA25420@andrea
Suggested-by: Ingo Molnar
Signed-off-by: Andrea Parri
Cc: Ingo Molnar
Cc: Jonathan Corbet
Cc: Andrew Morton
---
Documentation/features/scripts/features-refresh.sh | 98 +++
On Mon, May 07, 2018 at 06:35:41AM -0300, Mauro Carvalho Chehab wrote:
> The cachetlb.txt is already in ReST format. So, move it to the
> core-api guide, where it belongs.
>
> Signed-off-by: Mauro Carvalho Chehab
> ---
> Documentation/00-INDEX| 2 --
> Documentati
On Mon, May 07, 2018 at 06:35:43AM -0300, Mauro Carvalho Chehab wrote:
> The circular-buffers.txt is already in ReST format. So, move it to the
> core-api guide, where it belongs.
>
> Signed-off-by: Mauro Carvalho Chehab
> ---
> Documentation/00-INDEX | 2
Commit 94e980cc45f2b2 ("Documentation/module-signing.txt: convert to
ReST markup") converted the .txt doc. to ReST markup, but it did not
update the references to the doc. (including in MAINTAINERS).
Signed-off-by: Andrea Parri
---
MAINTAINERS | 2 +-
certs/Kconfig | 2 +-
2 files
Hi Jani,
On Tue, May 08, 2018 at 05:40:56PM +0300, Jani Nikula wrote:
> On Mon, 07 May 2018, Andrea Parri wrote:
> > On Mon, May 07, 2018 at 06:35:41AM -0300, Mauro Carvalho Chehab wrote:
> >> The cachetlb.txt is already in ReST format. So, move it to the
> >> core-
On Tue, May 08, 2018 at 06:02:42PM +0200, Andrea Parri wrote:
> Hi Jani,
>
> On Tue, May 08, 2018 at 05:40:56PM +0300, Jani Nikula wrote:
> > On Mon, 07 May 2018, Andrea Parri wrote:
> > > On Mon, May 07, 2018 at 06:35:41AM -0300, Mauro Carvalho Chehab wrote:
> >
On Tue, May 08, 2018 at 10:04:08AM -0600, Jonathan Corbet wrote:
> On Mon, 7 May 2018 06:35:41 -0300
> Mauro Carvalho Chehab wrote:
>
> > The cachetlb.txt is already in ReST format. So, move it to the
> > core-api guide, where it belongs.
> >
> > Signed-off-by: Mauro Carvalho Chehab
>
> I thi
On Tue, May 08, 2018 at 03:28:51PM -0300, Mauro Carvalho Chehab wrote:
> Em Tue, 8 May 2018 15:05:07 -0300
> Mauro Carvalho Chehab escreveu:
>
> > Em Tue, 08 May 2018 17:40:56 +0300
> > Jani Nikula escreveu:
[...]
> > > Side note, there's scripts/documentation-file-ref-check to grep the
> > >
Hi Mauro,
On Wed, May 09, 2018 at 10:18:51AM -0300, Mauro Carvalho Chehab wrote:
> There's a github URL there, but it is not prefixed by https.
> Add a prefix, to avoid false-positives with:
> ./scripts/documentation-file-ref-check
>
> As a side effect, Sphinx should also generate a cross-r
On Wed, May 09, 2018 at 08:45:18AM -0600, Jonathan Corbet wrote:
> On Wed, 9 May 2018 10:41:20 +0200
> Peter Zijlstra wrote:
>
> > > This is easily done by using "::" instead of just ":".
> >
> > And I'll voice my objection once again. This makes a regular comment
> > worse. This rst stuff is
On Thu, May 10, 2018 at 07:15:59AM -0600, Jonathan Corbet wrote:
> On Thu, 10 May 2018 14:23:35 +0200
> Andrea Parri wrote:
>
> > only
> > remember that other people (including some developers running into the
> > "disadventure" of opening an RST doc. fro
43 matches
Mail list logo
