k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Threads non-determinism

From: 璟临天下 <qjq793437528 AT 163.com>
To: k-user <k-user AT lists.cs.illinois.edu>
Subject: [[K-user] ] Threads non-determinism
Date: Sun, 16 Dec 2018 22:58:58 +0800 (CST)
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=qjq793437528 AT 163.com; dkim=pass header.d=163.com header.s=s110527; dmarc=pass header.from=163.com

hello:

I am learning the definition of multi-thread Language in K5. When there is a lack of proper signal control between threads, it may lead to multiple outputs. For example:

<Thread> ...

<k> print("hello") ... </k>

... </Thread>

<Thread> ...

<k> print("world") ... </k>

... </Thread>

</Threads>

In this case, the output may be "hello world" and "world hello". How can i use K5 to explore those situations?

Thanks,

Dexter

[[K-user] ] Threads non-determinism, 璟临天下, 12/16/2018