|
|
@4e83bb7
|
3 years |
caparson |
fixed timeout cond var bug and updated pthread_locks test with timeout …
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@1dbbef6
|
3 years |
caparson |
added non shared critical section entry counter
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@e1a9c77
|
3 years |
caparson |
added tests for qspinlocks internal mcs lock
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@55422cf
|
3 years |
caparson |
added tests for pthread lock and cond var
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@fb63c70
|
3 years |
caparson |
added tests for new locks
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@ec57856
|
3 years |
caparson |
added fast lock tests
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@21a99cc
|
4 years |
caparson |
fixed return val
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@0fc447c
|
4 years |
Thierry Delisle |
Removed fast_lock, which doesn't seemed to have ever worked and isn't …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@7636fcc
|
4 years |
Thierry Delisle |
Removed fast_lock from testing and added deprecation attribute to it.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@35d73c0
|
4 years |
Thierry Delisle |
Mutex test now counts number of critical sections in attempt to help …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@6d63c14
|
4 years |
caparson |
added test I forgot to add when I made the lin backoff lock
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b16e15e
|
4 years |
Thierry Delisle |
fix mutex_test to not user $thread
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6ff08d8
|
4 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@cf444b6
|
4 years |
caparson |
added more testing to thread_test
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4ae968e
|
4 years |
caparson |
refactored mutex testing and added lin backoff lock
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8f1a99e
|
4 years |
Thierry Delisle |
Step 3 Fixed tests
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@f7f07f6
|
4 years |
caparson |
added test for thierry to look at
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@262c600
|
4 years |
caparson |
fixed whitespace issue
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@660665f
|
4 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@5a46e09
|
4 years |
caparson |
Added Martins SpinCondLock as linear_backoff_then_block lock
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@07033ce
|
4 years |
Thierry Delisle |
Even more work on removing any possible integer overflow in fast lock test
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@62006a3
|
4 years |
Thierry Delisle |
Changed sum type to uint32_t to make sure integer overflow isn't the …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ab388c5
|
4 years |
Thierry Delisle |
alarm.hfa is now a public header
Fixed include of timeout_lock.cfa.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b984d54
|
4 years |
caparson |
removed semaphore usage and used a lock when checking if empty
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@7404cdc
|
4 years |
caparson |
added updated timeout_lock text
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d2afe17
|
4 years |
Thierry Delisle |
Removed calls to wait functions which no longer exist
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@22b7579
|
5 years |
Thierry Delisle |
Changed is_blocking_lock trait to use on_wakeup.
Fixed fast_lock to …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@976bc68
|
5 years |
Thierry Delisle |
Added two more tests for locks
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c51124b
|
5 years |
Thierry Delisle |
Added tests for:
- the "0nary" Semaphore, a.k.a. spinaphore.
- the mcs lock
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4c19647
|
5 years |
caparson |
removed timeout lock test from .expect
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@15c2545
|
5 years |
caparson |
removed .txt from .expect directory to remove test since the …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@9bb9545b
|
5 years |
caparson |
changed back time length
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6797f8f
|
5 years |
caparson |
halved number of iterations so test hopefully won't get aborted and …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@84f49be
|
5 years |
caparson |
shortened locks test and added full length version to longrun tests
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@0285efe
|
5 years |
caparson |
moved expect files to appropriate location
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ebd1899
|
5 years |
caparson |
tweaked unified locking tests and added expect files
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|