[PATCH v2] cpukit/jffs2: Avoid use of off-chain semantics

This reworks the JFFS2 delayed work queue to avoid use of on-chain/off-chain semantics since they vary in behavior under RTEMS_DEBUG and are not guaranteed to be safe to use in SMP systems. This adds all delayed work structs to the chain on FS init and does not remove them until umount. --- .../li

[PATCH v2 0/1] Rework JFFS2 delayed work

Changes from v1: * Delayed work structs are now added to the chain on mount to avoid delayed work chain locking contention in the common case * Delayed work structs now have pending flag that is locked with an internal lock to signal the need for additional work * This integrates the change to

Re: [PATCH] validation: Check stack of interrupted context

On Fri, Sep 22, 2023 at 10:46 AM Kinsey Moore wrote: > On Fri, Sep 22, 2023 at 7:44 AM Sebastian Huber < > sebastian.hu...@embedded-brains.de> wrote: > >> On 21.09.23 16:59, Kinsey Moore wrote: >> > Ok, thanks! I'll take a look and see what I can find. >> >> Thanks, I did run the test case also o

Re: [PATCH] validation: Check stack of interrupted context

On Fri, Sep 22, 2023 at 7:44 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote: > On 21.09.23 16:59, Kinsey Moore wrote: > > Ok, thanks! I'll take a look and see what I can find. > > Thanks, I did run the test case also on riscv and it worked fine in > uniprocessor and SMP configurati

Re: [PATCH] validation: Check stack of interrupted context

On 21.09.23 16:59, Kinsey Moore wrote: Ok, thanks! I'll take a look and see what I can find. Thanks, I did run the test case also on riscv and it worked fine in uniprocessor and SMP configurations. -- embedded brains GmbH Herr Sebastian HUBER Dornierstr. 4 82178 Puchheim Germany email: sebas

[PATCH] tests: Add header for RTEMS test printer

The header file is required for every RTEMS test program. Move the RTEMS test printer support to a dedicated header file . This removes an unnecessary dependency to the RTEMS printer support in . Tests using the RTEMS Testing Framework no longer depend on the . --- cpukit/include/rtems/test-in

[PATCH] psx13: Fix use of uninitialized variable warning

--- testsuites/psxtests/psx13/test.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/testsuites/psxtests/psx13/test.c b/testsuites/psxtests/psx13/test.c index 0754dbcf30..951953ae98 100644 --- a/testsuites/psxtests/psx13/test.c +++ b/testsuites/psxtests/psx13/test.c @@ -639,6 +639,8 @@ stati

[PATCH] arm: Use a valid signed integer constant

Enumerators are restricted to signed integers in some C standards. --- cpukit/score/cpu/arm/include/rtems/score/cpu.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpukit/score/cpu/arm/include/rtems/score/cpu.h b/cpukit/score/cpu/arm/include/rtems/score/cpu.h index 3cd43970b

Re: Add Formal Verification chapter v4

Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College, Univers