search

qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

World map with colors for thread state #29

Closed qiyitang71 closed 7 years ago

qiyitang71 commented 7 years ago

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

The state of the thread that is active in a transition should be shown in green.

If a thread is created but not runnable, this could be shown in yellow.

A thread that is blocked (on a lock or waiting) could be red.

Maybe red lines should not be full-width squares when the thread is not active, but just a line that's about 10 % of the width of a column (in the world map).

qiyitang71 commented 7 years ago

Original comment by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

Maybe leave threads blank that are NEW but not RUNNABLE. It is currently not easy to get information on those threads, as no choice generator is created until Thread.start() is called.