LUMIERA.clone/tests/11locking.tests

TESTING "Locking" ./test-locking

TEST "mutex section" mutexsection <<END
out: mutex locked section 1
out: mutex locked section 2
END


TEST "mutex not unlocked asserts" mutexforgotunlock <<END
return: 134
END

TEST "mutex explicitly unlocked" mutexexplicitunlock <<END
return: 0
END


TEST "nested mutex section" nestedmutexsection <<END
out: outer mutex locked section
out: inner mutex locked section
END


TEST "chained mutex section" chainedmutexsection <<END
out: ^outer mutex locked section
out: inner but not outer mutex locked section
END


TEST "recursive mutex section" recursivemutexsection <<END
out: recmutex locked once
out: recmutex locked twice
END


TEST "rwlock section" rwlocksection <<END
out: write locked section 1
out: read locked section 2
END


TEST "rwlock not unlocked asserts" rwlockforgotunlock <<END
return: 134
END


PLANNED "rwlock readlock in writelock asserts" rwlockdeadlockwr <<END
return: 134
END

PLANNED "rwlock writelock in readlock asserts" rwlockdeadlockrw <<END
return: 134
END


TEST "condition not unlocked asserts" conditionforgotunlock <<END
return: 134
END

TEST "condition section" conditionsection <<END
out: condition locked section 1
out: condition locked section 2
END

PLANNED "condition signaling" <<END
END

PLANNED "condition broadcasting" <<END
END


TEST "reccondition not unlocked asserts" recconditionforgotunlock <<END
return: 134
END

TEST "reccondition section" recconditionsection <<END
out: reccondition locked section 1
out: reccondition locked section 2
END

PLANNED "reccondition signaling" <<END
END

PLANNED "reccondition broadcasting" <<END
END


TEST "chained reccondition section" chainedrecconditionsection <<END
out: outer reccondition locked section
out: inner reccondition locked section
END

TEST "nested reccondition section" nestedrecconditionsection <<END
out: outer reccondition locked section
out: inner reccondition locked section
END