Re: ARC model specified in spinroot/promela

From: Alexander Leidinger <Alexander_at_Leidinger.net>
Date: Sat, 02 Sep 2023 17:12:24 UTC
Am 2023-09-02 12:47, schrieb Mathew, Cherry G.*:
> Hi Alexander,
> 
>>>>>> "AL" == Alexander Leidinger <Alexander@Leidinger.net> writes:
> 
> 
> [...]
> 
> 
>     AL> How long is this supposed to take? For me it took about 2
>     AL> seconds to finish.
> 
> Apologies, I should have given more detailed instructions.
> 
> I've organised the process in three steps:
> 
> 1) Generate the model from spec: make spin-gen
> 2) Build the model: make spin-build
> 3) Run the model: make spin-run
> 
> This is the heavy duty part, which takes up quite a bit of vmem (my
> process dies at about 8GB due to lack of swap etc. - makes no sense to
> thrash it beyond that without RAM - it slows down a lot).

Seems to be single threaded (Adrian, this is with spin 6.5.0 from an 
about 2 days old ports tree). Takes only 1 CPU. After 20min it is at 25G 
(20G RES). The system has 64G of RAM and 100G of swap, we will see if 
this is enough.

I will report back when it is finished.

Bye,
Alexander.

-- 
http://www.Leidinger.net Alexander@Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org    netchild@FreeBSD.org  : PGP 0x8F31830F9F2772BF