source: libcfa/src/concurrency/kernel.cfa

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @445f984   3 years Thierry Delisle Forgot to commit changes to include. ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
(edit) @56e5b24   3 years Thierry Delisle Manually read from event fd instead of calling eventfd_read, which … ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
(edit) @c86ee4c   3 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1f45c7d   3 years Thierry Delisle Now tracking cpu migrations using push_stat. Some minor fixes to the … ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e84ab3d   3 years Thierry Delisle Step 1 of changing $thread to thread$ ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @12daa43   3 years Thierry Delisle Added a define switch for using cpu workstealing. Not Fully implemented. ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @43784ac   3 years Thierry Delisle Changed libcfathread to consistently define _GNU_SOURCE ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @733fd3d   3 years Thierry Delisle Added missing corctx_flag in assertion ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @50871b4   3 years Thierry Delisle Whitespace clean-up ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @96bfdde7   3 years Thierry Delisle Forgot to add symmetric change to last verify change ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ab5baab   3 years Thierry Delisle Attempt to fix the stack checker for when coroutines are interrupted … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b808625   4 years Thierry Delisle Added option to ready-queue to push ignoring locality. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e2f601f   4 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @57f70ab   4 years Thierry Delisle New main now uses proper define. + tweak to loop count ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a9172b5   4 years Thierry Delisle Removed push stats in alternate main ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fb4ccdf   4 years Thierry Delisle Updated alternate main for processors ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @69914cbc   4 years mlbrooks Replacing "Mike's old linked list" with "Mike's new linked list," … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8464edf   4 years Thierry Delisle 'print_stats_now' now pulls stats from processors. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @34b2796   4 years Thierry Delisle Changed comments to ifdef ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c993b15   4 years Thierry Delisle Changed RW lock to avoid hitting the global array on schedule. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b7fd2db6   4 years Thierry Delisle Pushing changed to RWlock with io_drain. I forget a few lines of the … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e9c0b4c   4 years Thierry Delisle I/O drain now keeps the schedlock for the duration of the call. … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @cfff639   4 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @89eff25   4 years Thierry Delisle Some changes to stats and added back preferred ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fc59df78   4 years Thierry Delisle Split ready-queue routines in 3 instead of 2. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @254ad1b   4 years Thierry Delisle Separate schedule_thread from the scheduler lock ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @734908c   4 years Thierry Delisle Fudge variable in schedule_thread so it's not accidently used. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a3821fa   4 years Thierry Delisle Changed enable interrupts: - no longer save the caller for debugging … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c6c7e6c   4 years Thierry Delisle Seperated semphore and scheduling logic in unpark ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c1c95b1   4 years Thierry Delisle io_drain now returns true if anything was unparked ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @431cd4f   4 years Thierry Delisle Added alternative to relaxed-fifo scheduler. Disabled by default ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fc59b580   4 years Thierry Delisle Clusters now keep track of the active processors as well ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6a9b12b   4 years Thierry Delisle Incremental change towards having the cluster keep a list of active … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @73f4d08   4 years Thierry Delisle Added stats implementation for dumping a big array of timestamped … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ec43cf9   4 years Thierry Delisle Kernel now keeps track of the how many threads each processor has … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b0904bf   4 years Thierry Delisle Removed alarm stats, they are now tallied directly into the cluster ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5cb51502   4 years Thierry Delisle Fix stats so they are correctly tallied when called from outside the … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a5e7233   4 years Thierry Delisle C interface now runs worker init routine in dedicated thread. Also … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a1538cd   4 years Thierry Delisle Implemented part of the same C api for threads as libfibre. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @55d6affb   4 years Thierry Delisle Fixed stupid copy past mistake where I used eventfd_read (wait) … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @dddb3dd0   4 years Thierry Delisle Changed io to use ring per kernel threads. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @da3963a   4 years Thierry Delisle Moved bin_sem_t out of kernel.hfa since it's not needed. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @454f478   4 years Thierry Delisle Re-arranged and commented low-level headers. Main goal was for better … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @92bfda0   4 years Thierry Delisle Revisited abort again to be more streamlined and simple. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4f449d2   4 years Thierry Delisle Fixed interted abort condition. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @804c0ff   4 years Thierry Delisle Simplified abort handling in the case of concurrent abort. I used to … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @325e6ea   4 years Thierry Delisle Kernel now tallies stats regularly ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6011658   4 years Thierry Delisle Fixed abort to no longer deadlock when calling itself recursively. … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @32a8b61   4 years Thierry Delisle Tentative fix for the recurring crash, caching the current cluster to … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3ea8ad1   4 years Thierry Delisle Added more checks for thread termination synchronization ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9d6e1b8a   4 years Thierry Delisle Minor improvments to assertions and comments ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ac12f1f   4 years Thierry Delisle canary is now a void * so it prints in hexa in gdb ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1b033b8   4 years Thierry Delisle Alarm loop now has it's own stats block ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8fc652e0   4 years Thierry Delisle Change usage of TLS to more strongly segregate in kernel and out of … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @58688bf   4 years Thierry Delisle Added assertion to check there aren't pending unparks ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e873838   4 years Thierry Delisle Removed unpark and added support for unpark from the kernel … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6a77224   4 years Thierry Delisle Changed park/unpark ticket to be -1,0,1 instead of 0,1,2 because it's … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7ee8153   4 years Thierry Delisle Improved the error handling output for mismatched park/unparks ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5afb49a   4 years Thierry Delisle Split thread_leave so backend is called from the kernel once the … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b4b63e8   4 years Thierry Delisle Fixed missing changes to park/unpark. Added canary to threads to check … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e235429   4 years Thierry Delisle Removed last parker/unparker information is it was not particularly useful ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @58d64a4   4 years Thierry Delisle processor_id_t now have a bool to state if it is a full processor. … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0190480   4 years pabuhr update for 32-bit ARM ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e67a82d   4 years pabuhr fix conflicts ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @74f5c83   4 years pabuhr assembler for save/restore registers FPSR/FPCR for ARM ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f2384c9a   4 years Thierry Delisle Added forward/reverse rng for later use in the ready queue ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7fdae38   4 years Thierry Delisle Replaced unnecessary thread fence with sufficient compiler fence ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @dab09ad   4 years Thierry Delisle Added unnecessary thread-fence to work around incorrect reorder ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1eb239e4   4 years Thierry Delisle Removed snzi and replaced it with a fast/slow path ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @95789be   4 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e660761   4 years Thierry Delisle First attempt at reducing complation time by restructuring the code. … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f00b26d4   4 years Thierry Delisle Re-worked IO to use epoll and support multiple io_contexts per … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b81fd95   4 years mlbrooks Fix bug where pointer and reference types allow unsound initialization … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @39fc03e   4 years Thierry Delisle Fixed ready_queue working with 0/1 processors on cluster ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @320ec6fc   4 years Thierry Delisle Changed ready_queue_(grow/shrink) to take a target instead of going … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @28d73c1   4 years Thierry Delisle Moved processor registration to constructor ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @efc171d1   4 years Thierry Delisle Fixed several concurrency warnings ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @bb83b47   4 years pabuhr change initialization of kernelTLS to use @= and remove spurious … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @398e8e9   4 years Thierry Delisle Tentative deadlock fix ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f2b18d01   4 years Thierry Delisle First version of tools to view halts ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @69fbc61   4 years Thierry Delisle Clusters/Processors? can now select which stats to print. Instead of … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c34ebf2   4 years Thierry Delisle Processors now have their own print stats flag ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @29cb302   4 years Thierry Delisle cfa stats now count number of migrations ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @13c5e19   4 years Thierry Delisle - Moved snzi and subqueues outside of ready_queue.cfa. - Added … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @68f36f4   4 years Thierry Delisle Added Idle Sleep stats and removed extra call to unsafe_remove ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @64a7146   4 years Thierry Delisle Fixed idle sleep to no-longer use a spinlock, broke registration and … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @04b5cef   4 years Thierry Delisle Added BIAS option to ready_queue Added yield test for LibFibre? Fixed … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8834751   4 years Thierry Delisle Moved statistics to stats.cfa to combine ready Q stats and IO stats ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ff79d5e   4 years Thierry Delisle Fixed park unpark to support park as first step of main() Fixes #170? ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9b1dcc2   4 years Thierry Delisle Changed scheduling API to adapt to non-Processors scheduling threads. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b388ee81   4 years Thierry Delisle Changed ready RW-Lock to be a single global lock instead of per … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @97392b69   4 years Thierry Delisle Merge branch 'master' into relaxed_ready ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ada0246d   4 years pabuhr create heap.hfa, use it in malloc.h, and cleanup includes with respect … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0e4df2e   5 years Thierry Delisle Merge branch 'master' into relaxed_ready ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d47349b   5 years Thierry Delisle Added a little bit more debug information for parking ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2f1cb37   5 years Thierry Delisle Merge branch 'master' into relaxed_ready ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @70ac8d0   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @504a7dc   5 years Thierry Delisle Some fixes after the merge, compiles but still has livelocks ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6a490b2   5 years Thierry Delisle Merge branch 'master' into relaxed_ready ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a7b486b   5 years Thierry Delisle Added verify to run_thread, which would inexplicably have failed in … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Note: See TracRevisionLog for help on using the revision log.