[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

workers and cleanup options

From: Ouiza <dou...@xxxxxxxxx>
Date: Tue, 20 Nov 2012 11:18:54 -0800 (PST)

Hi,
I am running TLC in a context in which I have many clusters and each cluster is of many multiprocessor computers. I am using the workers option but only in one multiprocessor machine. Is there a way to do what I want to?, i.e run TLC in a cluster with many multiprocessor machines.

Concerning the cleanup option, it works without the metadir option but not with;
Thank you again for your help.
Ouiza

Follow-Ups:
- Distributed TLC (was Re: [tlaplus] workers and cleanup options)
  - From: Markus Alexander Kuppe

Prev by Date: Re: How to read the graph generated by TLC? Is there a way to specify its location?
Next by Date: Distributed TLC (was Re: [tlaplus] workers and cleanup options)
Previous by thread: Re: How to read the graph generated by TLC? Is there a way to specify its location?
Next by thread: Distributed TLC (was Re: [tlaplus] workers and cleanup options)
Index(es):
- Date
- Thread