source: libcfa/src/concurrency/monitor.cfa

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @fd54fef   5 years mlbrooks Converting the project to use the new syntax for otype, dtype and … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3ea8ad1   5 years Thierry Delisle Added more checks for thread termination synchronization ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @9d6e1b8a   5 years Thierry Delisle Minor improvments to assertions and comments ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @8fc652e0   5 years Thierry Delisle Change usage of TLS to more strongly segregate in kernel and out of … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @ab8c6a6   5 years ajbeach Thread Cancellation, a test for it and a required fix to Specialization. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @5afb49a   5 years Thierry Delisle Split thread_leave so backend is called from the kernel once the … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e235429   5 years Thierry Delisle Removed last parker/unparker information is it was not particularly useful ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @77a2994   5 years Thierry Delisle Implemented joining of threads. It behaves very similarly to monitor … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @1b143de   5 years Thierry Delisle Several fixes to relaxed_ready queue ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @504a7dc   5 years Thierry Delisle Some fixes after the merge, compiles but still has livelocks ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @6a490b2   5 years Thierry Delisle Merge branch 'master' into relaxed_ready ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @ae66348   5 years Thierry Delisle Threads in debug now keep track of last function to park/unpark it ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @dac55004   6 years Thierry Delisle Moved assert which wasn't really checking for an invariant ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @ac2b598   6 years Thierry Delisle Changed descriptors for concurrency to use $ prefix instead of … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @c7a900a   6 years Thierry Delisle More renames and clean-ups ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b7d6a36   6 years Thierry Delisle Merge branch 'master' into relaxed_ready ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b0c7419   6 years Thierry Delisle Yield now uses force_yield instead of park/unpark. Final ctxswitch of … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @50b8885   6 years Thierry Delisle Removed owner reason from monitors which was only for debug and did … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3381ed7   6 years Thierry Delisle Added park/unpark primitives thread and removed BlockInternal. … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @9f575ea   6 years Thierry Delisle First attempt at park/unpark ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @09f357ec   6 years Thierry Delisle Optim : coroutine and thread creation no-longer uses polymorphic call, … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @c84b4be   6 years Thierry Delisle new ready queue seems to work but halting does not, had to be disabled ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @f80f840   6 years Thierry Delisle Merge branch 'master' into relaxed_ready ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b798713   6 years Thierry Delisle Working ready queue ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @121be3e   6 years pabuhr change NULL to 0p ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2026bb6   6 years Thierry Delisle More robust fix for optionally linking threads ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @58b6d1b   7 years Thierry Delisle Fixed tests after headers change ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr no_list persistent-indexer pthread-emulation qualifiedEnum
(edit) @73abe95   7 years Thierry Delisle Replace extension-less headers with .hfa ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr no_list persistent-indexer pthread-emulation qualifiedEnum
(add) @ba9baad   7 years Thierry Delisle Simplified some of the handling by converting libcfa sources from .c … ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr no_list persistent-indexer pthread-emulation qualifiedEnum
Note: See TracRevisionLog for help on using the revision log.