On 28/01/2022 14:39, Joel Sherrill wrote:
As far as I'm aware, I've only seen nodes mentioned in Classic API Guide,
in Barrier Manager Directives section:
-
https://docs.rtems.org/branches/master/c-user/barrier/directives.html#rtems-barrier-create
-
https://docs.rtems.org/branches/master/c-user/b
> ----------------
>>
>>
>> -Original Message-
>> From: users on behalf of Joel Sherrill <
>> j...@rtems.org>
>> Reply to: "j...@rtems.org"
>> Date: Thursday 27 January 2022
j...@rtems.org>
> Reply to: "j...@rtems.org"
> Date: Thursday 27 January 2022 at 23:39
> To: Jerzy J
> Cc: "rtems-us...@rtems.org"
> Subject: Re: Barrier Manager cross-node behaviour
>
> On Thu, Jan 27, 2022 at 5:04 PM Jerzy J wrote:
> >
Thursday 27 January 2022 at 23:39
To: Jerzy J
Cc: "rtems-us...@rtems.org"
Subject: Re: Barrier Manager cross-node behaviour
On Thu, Jan 27, 2022 at 5:04 PM Jerzy J wrote:
>
> Hi,
>
> I'm using RTEMS 6 and I'm trying to model the Barrier Ma
On Thu, Jan 27, 2022 at 5:04 PM Jerzy J wrote:
>
> Hi,
>
> I'm using RTEMS 6 and I'm trying to model the Barrier Manager behaviour
> using Promela.
Cool! Have you modeled anything else? Is this something which could be
submitted to the community and used openly?
Just thinking anything that grows
Hi,
I'm using RTEMS 6 and I'm trying to model the Barrier Manager behaviour
using Promela.
However, there's one unclear thing to me which I couldn't find an exact
explanation of in the documentation.
While the `rtems_barrier_ident` directive can only search on the local
node, if a task already ha
