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
