A Concurrency Tool Suite--Getting Started

The software is intended for Unix operating systems. It can be used also in Windows within the cygwin environment.

• To build the software in Linux, open a terminal program and run make -f Makefile-linux.mak in the main directory of the source code.
• To build the software in cygwin, open a terminal program and run make -f Makefile-cygwin.mak in the main directory of the source code. If your gcc version supports the -pthread option, you may use Makefile-linux.mak instead of Makefile-cygwin.mak.

To see the command line options of the program, run ./ct in the terminal window. To generate a concurrent program based on a specification file spec.sp that is located in the same directory, run ./ct spec.sp.

In order to build an application using ct:

• Run ct on the specification file.
• If the specification file is correct, ct will exit normally and generate a header file spcommon.h, several C files, and a make file.
• The application can be built using make and the make file generated by ct. For instance, if ct is run on a specification file spec.sp, it will generate several files including a make file spec.mak.Then, the application can be built with the command make -f spec.mak.
• The previous step will generate an executable file. When the executable file is run, it can be terminated at any point with the SIGINT signal (that is, with Ctrl-c when the program is run in the foreground). This should terminate the main process together with its child processes. (Only the child processes defined in the specification file will be terminated.)
• Due to the somewhat large number of files that is generated, it is recommended to use a separate directory for each specification file.

To create specification files:

• See format2.sp in the doc directory for a description of the specification format.
• See also the examples directory.