Re: [PATCH] icpp remedy

ending == > > > > Furthermore, no matter which approach is taken, it is important to > document the assertions/assumptions that must hold to lead to the > correctness of the implemented IPCC. > > > > > > Best Regards, > > Jian-Jia Chen > > > >

Re: [PATCH] icpp remedy

. > > > Best Regards, > Jian-Jia Chen > > > > On Sep 16, 2022, at 9:47 AM, Kuan-Hsun Chen wrote: > > > > -- Forwarded message - > From: Sebastian Huber > > Date: Fri, Sep 16, 2022 at 08:09 > Subject: Re: [PATCH] icpp remedy &g

Re: [PATCH] icpp remedy

On 15.09.22 00:06, Gedare Bloom wrote: On Tue, Sep 13, 2022 at 12:42 PM Kuan-Hsun Chen wrote: Thanks for the prompt reply. Yes, I will guide Junjie to make a ticket and go through the issue. Is there a test case for this? Yes, a test case is also ready to be reviewed and can be part of the

Re: [PATCH] icpp remedy

On Tue, Sep 13, 2022 at 12:42 PM Kuan-Hsun Chen wrote: > > Thanks for the prompt reply. Yes, I will guide Junjie to make a ticket and go > through the issue. > > >Is there a test case for this? > Yes, a test case is also ready to be reviewed and can be part of the > testsuite to test out ICPP

Re: [PATCH] icpp remedy

Thanks for the prompt reply. Yes, I will guide Junjie to make a ticket and go through the issue. >Is there a test case for this? Yes, a test case is also ready to be reviewed and can be part of the testsuite to test out ICPP (MrsP should also pass). > If it applies to 5 or 4.11, there needs to

Re: [PATCH] icpp remedy

On Tue, Sep 13, 2022, 1:14 PM Kuan-Hsun Chen wrote: > (Oh, I just noticed that the patch was submitted faster than my mail to > share this patch :P). > No problem. That's why I asked what the issue was. It needs at least a much better log message. It needs a ticket given the gravity of the

Re: [PATCH] icpp remedy

What is this a remedy for? Why isn't the helper method OK to use? --joel On Tue, Sep 13, 2022 at 7:41 AM Strange369 wrote: > --- > cpukit/include/rtems/score/coremuteximpl.h | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/cpukit/include/rtems/score/coremuteximpl.h >

[PATCH] icpp remedy

--- cpukit/include/rtems/score/coremuteximpl.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpukit/include/rtems/score/coremuteximpl.h b/cpukit/include/rtems/score/coremuteximpl.h index d489a0d946..72d32f8030 100644 --- a/cpukit/include/rtems/score/coremuteximpl.h +++