mutex sample start
initial global_value: 0
ThreadID: b7e14b90, started
ThreadID: b7e14b90, wait for resource
ThreadID: b7e14b90, access to resource
ThreadID: b7613b90, started
ThreadID: b7613b90, wait for resource
ThreadID: b6e12b90, started
ThreadID: b6e12b90, wait for resource
ThreadID: b6611b90, started
ThreadID: b6611b90, wait for resource
ThreadID: b5e10b90, started
ThreadID: b5e10b90, wait for resource
ThreadID: b7e14b90, release resource
ThreadID: b7613b90, access to resource
ThreadID: b560fb90, started
ThreadID: b560fb90, wait for resource
ThreadID: b4e0eb90, started
ThreadID: b4e0eb90, wait for resource
ThreadID: b7e14b90, wait for resource
ThreadID: b460db90, started
ThreadID: b460db90, wait for resource
ThreadID: b3e0cb90, started
ThreadID: b3e0cb90, wait for resource
ThreadID: b360bb90, started
ThreadID: b360bb90, wait for resource
ThreadID: b7613b90, release resource
ThreadID: b6e12b90, access to resource
ThreadID: b7613b90, wait for resource
ThreadID: b6e12b90, release resource
ThreadID: b6611b90, access to resource
ThreadID: b6e12b90, wait for resource
ThreadID: b6611b90, release resource
ThreadID: b5e10b90, access to resource
ThreadID: b6611b90, wait for resource
ThreadID: b5e10b90, release resource
ThreadID: b560fb90, access to resource
ThreadID: b5e10b90, wait for resource
ThreadID: b560fb90, release resource
ThreadID: b4e0eb90, access to resource
ThreadID: b560fb90, wait for resource
ThreadID: b4e0eb90, release resource
ThreadID: b7e14b90, access to resource
ThreadID: b4e0eb90, wait for resource
ThreadID: b7e14b90, release resource
ThreadID: b460db90, access to resource
ThreadID: b7e14b90, wait for resource
ThreadID: b460db90, release resource
ThreadID: b3e0cb90, access to resource
ThreadID: b460db90, wait for resource
ThreadID: b3e0cb90, release resource
ThreadID: b360bb90, access to resource
ThreadID: b3e0cb90, wait for resource
ThreadID: b360bb90, release resource
ThreadID: b7613b90, access to resource
ThreadID: b360bb90, wait for resource
ThreadID: b7613b90, release resource
ThreadID: b6e12b90, access to resource
ThreadID: b7613b90, wait for resource
ThreadID: b6e12b90, release resource
ThreadID: b6611b90, access to resource
ThreadID: b6e12b90, wait for resource
ThreadID: b7e14b90, canceled
ThreadID: b7613b90, canceled
ThreadID: b6e12b90, canceled
ThreadID: b6611b90, canceled
ThreadID: b5e10b90, canceled
ThreadID: b560fb90, canceled
ThreadID: b4e0eb90, canceled
ThreadID: b460db90, canceled
ThreadID: b3e0cb90, canceled
ThreadID: b360bb90, canceled
after global_value: 13