[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

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Mon, 13 Mar 2017 09:56:13 +0100
References: <8f764543-0bac-44c5-a953-2115b7af04d6@googlegroups.com> <ed59d761-6e5b-4176-94ff-59403f350b60@googlegroups.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0

On 13.03.2017 09:39, jarjuk wrote:

> 
> Conclusions:
> - performance is CPU bound, but scalable to match real world applications

Hi Jukka,

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.

Thanks
Markus

References:
- Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
  - From: jarjuk
- Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
  - From: jarjuk

Prev by Date: Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
Next by Date: Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
Previous by thread: Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
Next by thread: Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
Index(es):
- Date
- Thread