1.2 Limitations

Although coNCePTuaL can express a wide variety of race-free communication patterns it cannot currently express data-dependent communication. For example, coNCePTuaL canot express a master-worker pattern in which a master task sends a message to a worker task as a reaction to that particular worker’s sending of a message to the master. Such a communication pattern is not independent of the order in which messages happen to arrive from the workers. Similarly, coNCePTuaL cannot use run-time performance data to guide its operations. It is therefore not currently possible to express a communication benchmark that repeats until the standard error of some performance metric drops below a given threshold. These limitations may be lifted in a future release of the system.