[RFC+Patch] Formal models as source of truth for Software Architects.

2023-10-23 Thread Mathew, Cherry G.*
Hi Hackers, I wanted to share with you some work I've been doing for a couple of months with the spin verifier and OS C code. [1] Although not directly and immediately relevant to current kernel development, this may be relevant to folks thinking about architecture and future directions in managi

Re: [PATCH v4 2/2] arm64: dts: imx8mp: add reserve-memory nodes for DSP

2023-10-23 Thread Alexander Stein
Hi Mathieu, Am Montag, 23. Oktober 2023, 19:24:28 CEST schrieb Mathieu Poirier: > Hey guys, > > On Fri, Oct 13, 2023 at 06:27:31PM +0300, Iuliana Prodan (OSS) wrote: > > From: Iuliana Prodan > > > > Add the reserve-memory nodes used by DSP when the rpmsg > > feature is enabled. > > > > Signed-

Re: [PATCH v1] lib,kprobes: using try_cmpxchg_local in objpool_push

2023-10-23 Thread wuqiang.matt
On 2023/10/24 09:01, Masami Hiramatsu (Google) wrote: On Mon, 23 Oct 2023 11:43:04 -0400 Steven Rostedt wrote: On Mon, 23 Oct 2023 19:24:52 +0800 "wuqiang.matt" wrote: The objpool_push can only happen on local cpu node, so only the local cpu can touch slot->tail and slot->last, which ensure

Re: [PATCH v1] lib,kprobes: using try_cmpxchg_local in objpool_push

2023-10-23 Thread Google
On Mon, 23 Oct 2023 11:43:04 -0400 Steven Rostedt wrote: > On Mon, 23 Oct 2023 19:24:52 +0800 > "wuqiang.matt" wrote: > > > The objpool_push can only happen on local cpu node, so only the local > > cpu can touch slot->tail and slot->last, which ensures the correctness > > of using cmpxchg witho

Re: [PATCH v1] lib,kprobes: using try_cmpxchg_local in objpool_push

2023-10-23 Thread Google
On Mon, 23 Oct 2023 19:24:52 +0800 "wuqiang.matt" wrote: > The objpool_push can only happen on local cpu node, so only the local > cpu can touch slot->tail and slot->last, which ensures the correctness > of using cmpxchg without lock prefix (using try_cmpxchg_local instead > of try_cmpxchg_acquir

Re: [PATCH v1] kprobes: unused header files removed

2023-10-23 Thread Google
On Mon, 23 Oct 2023 19:22:45 +0800 "wuqiang.matt" wrote: > As kernel test robot reported, lib/test_objpool.c (trace:probes/for-next) > has linux/version.h included, but version.h is not used at all. Then more > unused headers are found in test_objpool.c and rethook.c, and all of them > should be

Re: [PATCH v7 00/13] selftests/sgx: Fix compilation errors

2023-10-23 Thread Jarkko Sakkinen
On Fri Oct 13, 2023 at 2:45 PM EEST, Jo Van Bulck wrote: > On 10.10.23 11:44, Jarkko Sakkinen wrote: > > Folks (sorry for top posting): I've now taken my old NUC7 out of the > > dust and tested the series :-) > > > > Tested-by: Jarkko Sakkinen > > Thanks for testing this Jarkko! Not sure on next

Re: [PATCH v4 2/2] arm64: dts: imx8mp: add reserve-memory nodes for DSP

2023-10-23 Thread Mathieu Poirier
Hey guys, On Fri, Oct 13, 2023 at 06:27:31PM +0300, Iuliana Prodan (OSS) wrote: > From: Iuliana Prodan > > Add the reserve-memory nodes used by DSP when the rpmsg > feature is enabled. > > Signed-off-by: Iuliana Prodan > --- > arch/arm64/boot/dts/freescale/imx8mp-evk.dts | 22

Re: [PATCH v3 07/13] arm64, execmem: extend execmem_params for generated code allocations

2023-10-23 Thread Will Deacon
On Mon, Sep 18, 2023 at 10:29:49AM +0300, Mike Rapoport wrote: > From: "Mike Rapoport (IBM)" > > The memory allocations for kprobes and BPF on arm64 can be placed > anywhere in vmalloc address space and currently this is implemented with > overrides of alloc_insn_page() and bpf_jit_alloc_exec() i

Re: [PATCH v3 04/13] mm/execmem, arch: convert remaining overrides of module_alloc to execmem

2023-10-23 Thread Will Deacon
Hi Mike, On Mon, Sep 18, 2023 at 10:29:46AM +0300, Mike Rapoport wrote: > From: "Mike Rapoport (IBM)" > > Extend execmem parameters to accommodate more complex overrides of > module_alloc() by architectures. > > This includes specification of a fallback range required by arm, arm64 > and powerp

Re: [PATCH v1] lib,kprobes: using try_cmpxchg_local in objpool_push

2023-10-23 Thread Steven Rostedt
On Mon, 23 Oct 2023 19:24:52 +0800 "wuqiang.matt" wrote: > The objpool_push can only happen on local cpu node, so only the local > cpu can touch slot->tail and slot->last, which ensures the correctness > of using cmpxchg without lock prefix (using try_cmpxchg_local instead > of try_cmpxchg_acquir

[PATCH v1] lib,kprobes: using try_cmpxchg_local in objpool_push

2023-10-23 Thread wuqiang.matt
The objpool_push can only happen on local cpu node, so only the local cpu can touch slot->tail and slot->last, which ensures the correctness of using cmpxchg without lock prefix (using try_cmpxchg_local instead of try_cmpxchg_acquire). Testing with IACA found the lock version of pop/push pair cost

[PATCH v1] kprobes: unused header files removed

2023-10-23 Thread wuqiang.matt
As kernel test robot reported, lib/test_objpool.c (trace:probes/for-next) has linux/version.h included, but version.h is not used at all. Then more unused headers are found in test_objpool.c and rethook.c, and all of them should be removed. Reported-by: kernel test robot Closes: https://lore.ker

Re: [PATCH] tracing/histograms: Simplify last_cmd_set()

2023-10-23 Thread Mukesh Ojha
On 10/21/2023 8:12 PM, Christophe JAILLET wrote: Turn a kzalloc()+strcpy()+strncat() into an equivalent and less verbose kasprintf(). Signed-off-by: Christophe JAILLET --- kernel/trace/trace_events_hist.c | 11 ++- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/kern

Re: [PATCH] tracefs/eventfs: Modify mismatched function name

2023-10-23 Thread Mukesh Ojha
On 10/19/2023 8:43 AM, Jiapeng Chong wrote: No functional modification involved. fs/tracefs/event_inode.c:864: warning: expecting prototype for eventfs_remove(). Prototype was for eventfs_remove_dir() instead. Reported-by: Abaci Robot Closes: https://bugzilla.openanolis.cn/show_bug.cgi?id=

Re: [PATCH] eventfs: Fix failure path in eventfs_create_events_dir()

2023-10-23 Thread Mukesh Ojha
On 10/20/2023 6:11 AM, Steven Rostedt wrote: From: "Steven Rostedt (Google)" The failure path of allocating ei goes to a path that dereferences ei. Add another label that skips over the ei dereferences to do the rest of the clean up. Link: https://lore.kernel.org/all/70e7bace-561c-95f-1117-

Re: [PATCH RFC 04/37] mm: Add MIGRATE_METADATA allocation policy

2023-10-23 Thread Hyesoo Yu
On Mon, Oct 16, 2023 at 01:40:39PM +0100, Alexandru Elisei wrote: > Hello, > > On Thu, Oct 12, 2023 at 10:28:24AM +0900, Hyesoo Yu wrote: > > On Wed, Aug 23, 2023 at 02:13:17PM +0100, Alexandru Elisei wrote: > > > Some architectures implement hardware memory coloring to catch incorrect > > > usage

Re: [PATCH v2] bus: mhi: host: Add tracing support

2023-10-23 Thread Krishna Chaitanya Chundru
On 10/20/2023 8:33 PM, Jeffrey Hugo wrote: On 10/13/2023 3:52 AM, Krishna chaitanya chundru wrote: This change adds ftrace support for following functions which helps in debugging the issues when there is Channel state & MHI state change and also when we receive data and control events: 1. mhi