|
|
@6d63c14
|
3 years |
caparson |
added test I forgot to add when I made the lin backoff lock
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b16e15e
|
3 years |
Thierry Delisle |
fix mutex_test to not user $thread
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6ff08d8
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cf444b6
|
3 years |
caparson |
added more testing to thread_test
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4ae968e
|
3 years |
caparson |
refactored mutex testing and added lin backoff lock
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@8f1a99e
|
3 years |
Thierry Delisle |
Step 3 Fixed tests
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f7f07f6
|
3 years |
caparson |
added test for thierry to look at
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@262c600
|
3 years |
caparson |
fixed whitespace issue
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@660665f
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@5a46e09
|
3 years |
caparson |
Added Martins SpinCondLock? as linear_backoff_then_block lock
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@07033ce
|
3 years |
Thierry Delisle |
Even more work on removing any possible integer overflow in fast lock test
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@62006a3
|
3 years |
Thierry Delisle |
Changed sum type to uint32_t to make sure integer overflow isn't the …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ab388c5
|
3 years |
Thierry Delisle |
alarm.hfa is now a public header
Fixed include of timeout_lock.cfa.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b984d54
|
3 years |
caparson |
removed semaphore usage and used a lock when checking if empty
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7404cdc
|
3 years |
caparson |
added updated timeout_lock text
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d2afe17
|
4 years |
Thierry Delisle |
Removed calls to wait functions which no longer exist
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@22b7579
|
4 years |
Thierry Delisle |
Changed is_blocking_lock trait to use on_wakeup.
Fixed fast_lock to …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@976bc68
|
4 years |
Thierry Delisle |
Added two more tests for locks
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c51124b
|
4 years |
Thierry Delisle |
Added tests for:
- the "0nary" Semaphore, a.k.a. spinaphore.
- the mcs lock
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4c19647
|
4 years |
caparson |
removed timeout lock test from .expect
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@15c2545
|
4 years |
caparson |
removed .txt from .expect directory to remove test since the …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9bb9545b
|
4 years |
caparson |
changed back time length
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6797f8f
|
4 years |
caparson |
halved number of iterations so test hopefully won't get aborted and …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@84f49be
|
4 years |
caparson |
shortened locks test and added full length version to longrun tests
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0285efe
|
4 years |
caparson |
moved expect files to appropriate location
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ebd1899
|
4 years |
caparson |
tweaked unified locking tests and added expect files
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|