[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
On 13.03.2017 09:39, jarjuk wrote:
> - performance is CPU bound, but scalable to match real world applications
up to what cores counts have you measured scalability? Did you use the
latest release (12/2015) or a more recent version of TLC?
I have been working on TLC's scalability lately and looked into
scalability of up to 128 cores/~2TB memory. The code in several (git)
feature branches thus scales much better compared to TLC as of 12/2015.