Sparkling

Online demonstration of computations on syntactic regions of programs (the results you see below are computed by your browser). The source code of this program is available on the dedicated github repository.

Program

Please enter your program below:

void main() { mutex a; mutex b; { lock(a); lock(b); unlock(b); unlock(a); }|{ lock(b); lock(a); unlock(a); unlock(b); }; }

Results

Parsed program

Brackets

Forbidden

Normalized:

Fundamental

Normalized:

Deadlocks