# # ChangeLog for libcfa/src/concurrency/monitor.cfa # # Generated by Trac 1.2.1 # Apr 27, 2024, 11:55:11 AM Tue, 15 Jun 2021 21:00:28 GMT Thierry Delisle [43784ac] * benchmark/io/io_uring.h (modified) * libcfa/prelude/defines.hfa.in (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) Changed libcfathread to consistently define _GNU_SOURCE Wed, 20 Jan 2021 01:44:29 GMT Michael Brooks [fd54fef] * libcfa/prelude/builtins.c (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/prelude/prelude.old.cf (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/bitmanip.hfa (modified) * libcfa/src/bits/algorithm.hfa (modified) * libcfa/src/bits/collection.hfa (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/queue.hfa (modified) * libcfa/src/bits/sequence.hfa (modified) * libcfa/src/bits/stack.hfa (modified) * libcfa/src/common.cfa (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/future.hfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/list.hfa (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/maybe.hfa (modified) * libcfa/src/containers/pair.cfa (modified) * libcfa/src/containers/pair.hfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/containers/result.hfa (modified) * libcfa/src/containers/stackLockFree.hfa (modified) * libcfa/src/containers/vector.cfa (modified) * libcfa/src/containers/vector.hfa (modified) * libcfa/src/exception.h (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/iterator.hfa (modified) * libcfa/src/math.hfa (modified) * libcfa/src/memory.cfa (modified) * libcfa/src/memory.hfa (modified) * libcfa/src/parseargs.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/vec/vec.hfa (modified) * libcfa/src/vec/vec2.hfa (modified) * libcfa/src/vec/vec3.hfa (modified) * libcfa/src/vec/vec4.hfa (modified) * src/Parser/parser.yy (modified) * tests/avltree/avl-private.cfa (modified) * tests/avltree/avl-private.h (modified) * tests/avltree/avl.h (modified) * tests/avltree/avl0.cfa (modified) * tests/avltree/avl1.cfa (modified) * tests/avltree/avl2.cfa (modified) * tests/avltree/avl3.cfa (modified) * tests/avltree/avl4.cfa (modified) * tests/bugs/10.cfa (modified) * tests/bugs/104.cfa (modified) * tests/bugs/194.cfa (modified) * tests/bugs/196.cfa (modified) * tests/bugs/203-2.cfa (modified) * tests/bugs/203-7.cfa (modified) * tests/bugs/203-9.cfa (modified) * tests/bugs/7.cfa (modified) * tests/castError.cfa (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (modified) * tests/concurrent/multi-monitor.cfa (modified) * tests/errors/completeType.cfa (modified) * tests/exceptions/defaults.cfa (modified) * tests/exceptions/polymorphic.cfa (modified) * tests/exceptions/virtual-poly.cfa (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/genericUnion.cfa (modified) * tests/global-monomorph.cfa (modified) * tests/identity.cfa (modified) * tests/init1.cfa (modified) * tests/nested-types.cfa (modified) * tests/poly-d-cycle.cfa (modified) * tests/poly-o-cycle.cfa (modified) * tests/poly-selection.cfa (modified) * tests/polymorphism.cfa (modified) * tests/raii/ctor-autogen.cfa (modified) * tests/simpleGenericTriple.cfa (modified) * tests/sum.cfa (modified) * tests/tuple/tuplePolymorphism.cfa (modified) * tests/tuple/tupleVariadic.cfa (modified) * tests/zombies/ArrayN.c (modified) * tests/zombies/Members.c (modified) * tests/zombies/Rank2.c (modified) * tests/zombies/abstype.c (modified) * tests/zombies/context.cfa (modified) * tests/zombies/gc_no_raii/bug-repro/blockers/explicit_cast.c (modified) * tests/zombies/gc_no_raii/bug-repro/blockers/recursive_realloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/deref.c (modified) * tests/zombies/gc_no_raii/bug-repro/field.c (modified) * tests/zombies/gc_no_raii/bug-repro/malloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/oddtype.c (modified) * tests/zombies/gc_no_raii/bug-repro/push_back.h (modified) * tests/zombies/gc_no_raii/bug-repro/realloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/return.c (modified) * tests/zombies/gc_no_raii/bug-repro/return_template.c (modified) * tests/zombies/gc_no_raii/bug-repro/slow_malloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/zero.c (modified) * tests/zombies/gc_no_raii/src/gc.h (modified) * tests/zombies/gc_no_raii/src/gcpointers.c (modified) * tests/zombies/gc_no_raii/src/gcpointers.h (modified) * tests/zombies/gc_no_raii/src/tools.h (modified) * tests/zombies/hashtable.cfa (modified) * tests/zombies/hashtable2.cfa (modified) * tests/zombies/huge.c (modified) * tests/zombies/it_out.c (modified) * tests/zombies/new.c (modified) * tests/zombies/occursError.cfa (modified) * tests/zombies/prolog.c (modified) * tests/zombies/quad.c (modified) * tests/zombies/scope.cfa (modified) * tests/zombies/simplePoly.c (modified) * tests/zombies/simpler.c (modified) * tests/zombies/specialize.c (modified) * tests/zombies/square.c (modified) * tests/zombies/structMember.cfa (modified) * tests/zombies/subrange.cfa (modified) * tests/zombies/twice.c (modified) * tests/zombies/typeGenerator.cfa (modified) * tests/zombies/withStatement.cfa (modified) * tests/zombies/wrapper/src/pointer.h (modified) Converting the project to use the new syntax for otype, dtype and ... Wed, 18 Nov 2020 19:28:02 GMT Thierry Delisle [3ea8ad1] * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) Added more checks for thread termination synchronization Tue, 17 Nov 2020 21:29:51 GMT Thierry Delisle [9d6e1b8a] * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) Minor improvments to assertions and comments Fri, 06 Nov 2020 16:22:57 GMT Thierry Delisle [8fc652e0] * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) Change usage of TLS to more strongly segregate in kernel and out of ... Mon, 26 Oct 2020 16:17:28 GMT Andrew Beach [ab8c6a6] * libcfa/src/concurrency/exception.cfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Specialize.cc (modified) * tests/exceptions/cancel/.expect/thread.txt (added) * tests/exceptions/cancel/thread.cfa (added) Thread Cancellation, a test for it and a required fix to Specialization. Fri, 16 Oct 2020 19:31:02 GMT Thierry Delisle [5afb49a] * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) Split thread_leave so backend is called from the kernel once the ... Thu, 01 Oct 2020 17:52:53 GMT Thierry Delisle [e235429] * benchmark/io/http/main.cfa (modified) * benchmark/io/http/worker.cfa (modified) * benchmark/io/readv.cfa (modified) * benchmark/readyQ/yield.cfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/clib/cfathread.cfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * tests/concurrent/park/contention.cfa (modified) * tests/concurrent/park/force_preempt.cfa (modified) * tests/concurrent/park/start_parked.cfa (modified) Removed last parker/unparker information is it was not particularly ... Tue, 15 Sep 2020 19:08:35 GMT Thierry Delisle [77a2994] * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/Concurrency/Keywords.cc (modified) Implemented joining of threads. It behaves very similarly to monitor ... Tue, 12 May 2020 20:26:07 GMT Thierry Delisle [1b143de] * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) Several fixes to relaxed_ready queue Tue, 12 May 2020 17:32:45 GMT Thierry Delisle [504a7dc] * libcfa/src/bits/debug.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) Some fixes after the merge, compiles but still has livelocks Mon, 11 May 2020 17:53:29 GMT Thierry Delisle [6a490b2] * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/creation/cfa_gen.cfa (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (modified) * benchmark/io/readv.cfa (added) * benchmark/size/size.cfa (added) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/DatingServiceThread.cfa (added) * doc/papers/concurrency/examples/Fib.js (added) * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/Fib2.c (modified) * doc/papers/concurrency/examples/Fib2.py (modified) * doc/papers/concurrency/examples/Fib3.c (modified) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.c (modified) * doc/papers/concurrency/examples/Format.cc (modified) * doc/papers/concurrency/examples/Format.cfa (modified) * doc/papers/concurrency/examples/Format.data (modified) * doc/papers/concurrency/examples/Format.js (added) * doc/papers/concurrency/examples/Format.py (modified) * doc/papers/concurrency/examples/Format1.c (modified) * doc/papers/concurrency/examples/PingPong.c (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.py (modified) * doc/papers/concurrency/examples/RWMonitorEXT.cfa (moved) * doc/papers/concurrency/examples/RWMonitorINT.cfa (added) * doc/papers/concurrency/examples/Refactor.py (modified) * doc/papers/concurrency/examples/channels.go (added) * doc/papers/concurrency/examples/channels.rs (added) * doc/papers/concurrency/examples/future.rs (added) * doc/papers/concurrency/figures/FullCoroutinePhases.fig (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (modified) * doc/papers/concurrency/mail2 (modified) * doc/papers/concurrency/response (added) * doc/proposals/vtable.md (modified) * doc/theses/andrew_beach_MMath/.gitignore (added) * doc/theses/andrew_beach_MMath/Makefile (added) * doc/theses/andrew_beach_MMath/cfalab.sty (added) * doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (added) * doc/theses/andrew_beach_MMath/thesis.bib (added) * doc/theses/andrew_beach_MMath/thesis.tex (added) * doc/theses/andrew_beach_MMath/unwinding.tex (added) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (added) * doc/theses/thierry_delisle_PhD/.gitignore (modified) * doc/theses/thierry_delisle_PhD/code/bts.cpp (added) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/system.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) * doc/user/user.tex (modified) * driver/cfa.cc (modified) * examples/io/filereader.c (added) * examples/io/simple/client.c (added) * examples/io/simple/server.c (added) * examples/io/simple/server.cfa (added) * examples/io_uring.c (added) * examples/io_uring.txt (added) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/defines.hfa.in (added) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bitmanip.hfa (added) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/asyncio.hfa (added) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (added) * libcfa/src/concurrency/iofwd.hfa (added) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/list.hfa (added) * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * libcfa/src/exception.hfa (added) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdhdr/malloc.h (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/LinkageSpec.cc (modified) * src/SynTree/LinkageSpec.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/bitmanip1.x64.txt (added) * tests/.expect/bitmanip1.x86.txt (added) * tests/.expect/bitmanip2.x64.txt (added) * tests/.expect/bitmanip2.x86.txt (added) * tests/.expect/bitmanip3.x64.txt (added) * tests/.expect/bitmanip3.x86.txt (added) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/alloc.cfa (modified) * tests/bitmanip1.cfa (added) * tests/bitmanip2.cfa (added) * tests/bitmanip3.cfa (added) * tests/concurrent/.expect/monitor.txt (modified) * tests/concurrent/.expect/suspend_then.txt (added) * tests/concurrent/coroutineYield.cfa (modified) * tests/concurrent/monitor.cfa (modified) * tests/concurrent/multi-monitor.cfa (modified) * tests/concurrent/park/.expect/contention.txt (added) * tests/concurrent/park/.expect/force_preempt.txt (added) * tests/concurrent/park/contention.cfa (added) * tests/concurrent/park/force_preempt.cfa (added) * tests/concurrent/signal/block.cfa (modified) * tests/concurrent/suspend_then.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (modified) * tests/coroutine/devicedriver.cfa (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/raii.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (modified) * tests/errors/.expect/completeType.txt (modified) * tests/errors/suspend.cfa (added) * tests/exceptions/.expect/conditional.txt (added) * tests/exceptions/.expect/data-except.txt (added) * tests/exceptions/.expect/except-0.txt (deleted) * tests/exceptions/.expect/except-1.txt (deleted) * tests/exceptions/.expect/except-2.txt (deleted) * tests/exceptions/.expect/except-3.txt (deleted) * tests/exceptions/.expect/finally.txt (added) * tests/exceptions/.expect/interact.txt (added) * tests/exceptions/.expect/resume.txt (added) * tests/exceptions/.expect/terminate.txt (added) * tests/exceptions/conditional.cfa (added) * tests/exceptions/data-except.cfa (added) * tests/exceptions/except-0.cfa (deleted) * tests/exceptions/except-1.cfa (deleted) * tests/exceptions/except-2.cfa (deleted) * tests/exceptions/except-3.cfa (deleted) * tests/exceptions/except-io.hfa (added) * tests/exceptions/except-mac.hfa (deleted) * tests/exceptions/finally.cfa (added) * tests/exceptions/interact.cfa (added) * tests/exceptions/resume.cfa (added) * tests/exceptions/terminate.cfa (added) * tests/generator/.expect/fibonacci.txt (added) * tests/generator/.expect/fmtLines.txt (added) * tests/generator/.expect/suspend_then.txt (added) * tests/generator/.in/fmtLines.txt (added) * tests/generator/fibonacci.cfa (added) * tests/generator/fmtLines.cfa (added) * tests/generator/suspend_then.cfa (added) * tests/list/.expect/dlist-insert-remove.txt (added) * tests/list/dlist-insert-remove.cfa (added) * tests/manipulatorsOutput1.cfa (modified) * tests/manipulatorsOutput3.cfa (added) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) * tests/vector.cfa (modified) * tools/auto-complete.md (added) * tools/build/push2dist.sh (modified) * tools/cfa.nanorc (modified) * tools/gdb/.gdbinit (added) * tools/gdb/README (added) * tools/gdb/utils-gdb.gdb (added) * tools/gdb/utils-gdb.py (added) * tools/langserver/cfa-ls (added) * tools/langserver/src/json.hpp (added) * tools/langserver/src/log.cpp (added) * tools/langserver/src/log.hpp (added) * tools/langserver/src/main.cpp (added) * tools/langserver/src/server.cpp (added) * tools/langserver/src/server.hpp (added) * tools/vscode/uwaterloo.cforall-0.1.0/client/main.js (added) * tools/vscode/uwaterloo.cforall-0.1.0/images/icon.png (added) * tools/vscode/uwaterloo.cforall-0.1.0/package.json (modified) * tools/vscode/uwaterloo.cforall-0.1.0/server/out/server (added) * tools/vscode/uwaterloo.cforall-0.1.0/syntaxes/cfa.tmLanguage.json (added) Merge branch 'master' into relaxed_ready Tue, 24 Mar 2020 17:39:31 GMT Thierry Delisle [ae66348] * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/startup.cfa (modified) * tests/concurrent/park/contention.cfa (modified) * tests/concurrent/park/force_preempt.cfa (modified) Threads in debug now keep track of last function to park/unpark it Fri, 28 Feb 2020 19:45:02 GMT Thierry Delisle [dac55004] * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) Moved assert which wasn't really checking for an invariant Mon, 24 Feb 2020 19:21:03 GMT Thierry Delisle [ac2b598] * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) Changed descriptors for concurrency to use $ prefix instead of ... Fri, 21 Feb 2020 22:31:19 GMT Thierry Delisle [c7a900a] * libcfa/src/concurrency/CtxSwitch-arm.S (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) More renames and clean-ups Thu, 20 Feb 2020 21:15:51 GMT Thierry Delisle [b7d6a36] * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/x64/schedint.csv (moved) * benchmark/baselines/x86/schedint.csv (moved) * benchmark/basic/fetch_add.c (added) * benchmark/basic/function.c (added) * benchmark/basic/loop.c (added) * benchmark/basic/tls_fetch_add.c (moved) * benchmark/basic/ttst_lock.c (moved) * benchmark/bench.h (modified) * benchmark/creation/JavaThread.java (modified) * benchmark/creation/cfa_cor.cfa (modified) * benchmark/creation/cfa_gen.cfa (added) * benchmark/creation/cfa_thrd.cfa (modified) * benchmark/creation/goroutine.go (modified) * benchmark/creation/node_cor.js (added) * benchmark/creation/pthreads.c (modified) * benchmark/creation/python_cor.py (added) * benchmark/creation/rust_thrd.rs (added) * benchmark/creation/upp_cor.cc (modified) * benchmark/creation/upp_thrd.cc (modified) * benchmark/ctxswitch/JavaThread.java (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (modified) * benchmark/ctxswitch/cfa_thrd.cfa (modified) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/ctxswitch/goroutine.go (modified) * benchmark/ctxswitch/kos_fibre.cpp (modified) * benchmark/ctxswitch/kos_fibre2.cpp (modified) * benchmark/ctxswitch/node_await.js (added) * benchmark/ctxswitch/node_cor.js (added) * benchmark/ctxswitch/pthreads.c (modified) * benchmark/ctxswitch/python_cor.py (added) * benchmark/ctxswitch/rust_thrd.rs (added) * benchmark/ctxswitch/upp_cor.cc (modified) * benchmark/ctxswitch/upp_thrd.cc (modified) * benchmark/exclude (added) * benchmark/fetch_add.c (deleted) * benchmark/function.c (deleted) * benchmark/loop.c (deleted) * benchmark/mutex/JavaThread.java (modified) * benchmark/mutex/cfa1.cfa (modified) * benchmark/mutex/cfa2.cfa (modified) * benchmark/mutex/cfa4.cfa (modified) * benchmark/mutex/goroutine.go (added) * benchmark/mutex/pthreads.c (modified) * benchmark/mutex/rust.rs (added) * benchmark/mutex/upp.cc (modified) * benchmark/mutexC/JavaThread.java (added) * benchmark/mutexC/cfa1.cfa (added) * benchmark/mutexC/cfa2.cfa (added) * benchmark/mutexC/cfa4.cfa (added) * benchmark/mutexC/pthreads.c (added) * benchmark/mutexC/rust.rs (added) * benchmark/mutexC/upp.cc (added) * benchmark/schedext/cfa1.cfa (modified) * benchmark/schedext/cfa2.cfa (modified) * benchmark/schedext/cfa4.cfa (modified) * benchmark/schedext/goroutine.go (added) * benchmark/schedext/upp.cc (modified) * benchmark/schedint/JavaThread.java (modified) * benchmark/schedint/cfa1.cfa (modified) * benchmark/schedint/cfa2.cfa (modified) * benchmark/schedint/cfa4.cfa (modified) * benchmark/schedint/pthreads.c (modified) * benchmark/schedint/rust.rs (added) * benchmark/schedint/upp.cc (modified) * doc/papers/ibm_CASCON19/ThreadingModels.fig (added) * doc/papers/ibm_CASCON19/ThreadingModels.png (added) * doc/papers/ibm_CASCON19/ThreadingModels.svg (added) * doc/papers/ibm_CASCON19/abstract.txt (added) * doc/papers/ibm_CASCON19/client.cfa (added) * doc/papers/ibm_CASCON19/server.cfa (added) * doc/papers/ibm_CASCON19/slides.pdf (added) * doc/theses/thierry_delisle_PhD/.gitignore (added) * doc/theses/thierry_delisle_PhD/code/Makefile (added) * doc/theses/thierry_delisle_PhD/code/bts_test.cpp (added) * doc/theses/thierry_delisle_PhD/code/randbit.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list_layout.cpp (added) * doc/theses/thierry_delisle_PhD/code/scale.sh (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_too_big.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/glossary.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (added) * driver/cfa.cc (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/extras.regx2 (added) * libcfa/prelude/prototypes.awk (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/assert.cfa (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/clock.hfa (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/math.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdhdr/assert.h (modified) * libcfa/src/stdhdr/bfdlink.h (modified) * libcfa/src/stdhdr/hwloc.h (modified) * libcfa/src/stdhdr/krb5.h (modified) * libcfa/src/stdhdr/math.h (modified) * libcfa/src/stdhdr/sys/ucontext.h (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.in (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/BasicTypes-gen.cc (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeGen/Options.h (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/Debug.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.h (modified) * src/Common/Stats/Time.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (deleted) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (added) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/cfa.make (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/declarationErrors.txt (deleted) * tests/.expect/loopctrl.txt (modified) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/rational.txt (modified) * tests/.expect/scopeErrors.txt (deleted) * tests/.expect/time.txt (modified) * tests/.expect/userLiterals.txt (added) * tests/Makefile.in (modified) * tests/abort.cfa (deleted) * tests/alloc.cfa (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferTHREAD.cfa (modified) * tests/concurrent/examples/gortn.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/waitfor/barge.cfa (modified) * tests/concurrent/waitfor/dtor.cfa (modified) * tests/concurrent/waitfor/else.cfa (modified) * tests/concurrent/waitfor/parse.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/concurrent/waitfor/recurse.cfa (modified) * tests/concurrent/waitfor/statment.cfa (modified) * tests/concurrent/waitfor/when.cfa (modified) * tests/errors/.expect/completeType.txt (moved) * tests/errors/.expect/declaration.txt (added) * tests/errors/.expect/scope.txt (added) * tests/errors/.expect/signature.txt (added) * tests/errors/completeType.cfa (moved) * tests/errors/declaration.cfa (moved) * tests/errors/scope.cfa (moved) * tests/errors/signature.cfa (added) * tests/exceptions/.expect/except-0.txt (added) * tests/exceptions/.expect/except-1.txt (added) * tests/exceptions/.expect/except-2.txt (added) * tests/exceptions/.expect/except-3.txt (added) * tests/exceptions/.expect/finally-error.txt (added) * tests/exceptions/except-0.cfa (moved) * tests/exceptions/except-1.cfa (moved) * tests/exceptions/except-2.cfa (moved) * tests/exceptions/except-3.cfa (moved) * tests/exceptions/except-mac.hfa (moved) * tests/exceptions/finally-error.cfa (added) * tests/expression.cfa (modified) * tests/labelledExit.cfa (modified) * tests/linking/.expect/nostdlib.txt (added) * tests/linking/nostdlib.cfa (added) * tests/loopctrl.cfa (modified) * tests/nested-types.cfa (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (modified) * tests/rational.cfa (modified) * tests/test.py (modified) * tests/time.cfa (modified) * tests/userLiterals.cfa (modified) * tests/zombies/context.cfa (moved) * tests/zombies/namedParmArg.cfa (moved) * tests/zombies/occursError.cfa (moved) * tests/zombies/scope.cfa (moved) * tests/zombies/structMember.cfa (moved) * tests/zombies/subrange.cfa (moved) * tests/zombies/typeGenerator.cfa (moved) * tests/zombies/typedef.cfa (moved) * tests/zombies/typedefDeclarator.cfa (moved) * tests/zombies/virtualCast.cfa (moved) * tests/zombies/withStatement.cfa (moved) * tools/catchsig.c (modified) * tools/stat.py (modified) Merge branch 'master' into relaxed_ready Fri, 14 Feb 2020 20:28:17 GMT Thierry Delisle [b0c7419] * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * tests/concurrent/park/.expect/force_preempt.txt (modified) * tests/concurrent/park/force_preempt.cfa (modified) Yield now uses force_yield instead of park/unpark. Final ctxswitch ... Thu, 13 Feb 2020 21:40:16 GMT Thierry Delisle [50b8885] * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * tests/concurrent/park/force_preempt.cfa (modified) Removed owner reason from monitors which was only for debug and did ... Thu, 13 Feb 2020 21:18:07 GMT Thierry Delisle [3381ed7] * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * tests/concurrent/examples/.expect/datingService.txt (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/multi-monitor.cfa (modified) * tests/concurrent/park/.expect/contention.txt (added) * tests/concurrent/park/.expect/force_preempt.txt (added) * tests/concurrent/park/contention.cfa (added) * tests/concurrent/park/force_preempt.cfa (added) Added park/unpark primitives thread and removed BlockInternal. ... Thu, 06 Feb 2020 15:23:27 GMT Thierry Delisle [9f575ea] * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) First attempt at park/unpark Tue, 04 Feb 2020 16:29:11 GMT Thierry Delisle [09f357ec] * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/Concurrency/Keywords.cc (modified) Optim : coroutine and thread creation no-longer uses polymorphic ... Fri, 13 Dec 2019 18:45:49 GMT Thierry Delisle [c84b4be] * libcfa/src/bits/debug.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) new ready queue seems to work but halting does not, had to be disabled Tue, 10 Dec 2019 21:24:49 GMT Thierry Delisle [f80f840] * benchmark/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdlib.hfa (modified) * longrun_tests/Makefile.in (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.h (modified) * src/cfa.make (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/concurrent/thread.cfa (modified) * tests/linking/withthreads.cfa (modified) * tests/references.cfa (modified) * tests/time.cfa (modified) Merge branch 'master' into relaxed_ready Tue, 10 Dec 2019 21:23:09 GMT Thierry Delisle [b798713] * libcfa/src/bits/defs.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) Working ready queue Wed, 04 Dec 2019 16:25:00 GMT Peter A. Buhr [121be3e] * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) change NULL to 0p Fri, 19 Jul 2019 14:31:53 GMT Thierry Delisle [2026bb6] * driver/cfa.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * tests/linking/.expect/nothreads.txt (added) * tests/linking/.expect/withthreads.txt (added) * tests/linking/nothreads.cfa (added) * tests/linking/withthreads.cfa (added) More robust fix for optionally linking threads Mon, 06 Aug 2018 20:33:35 GMT Thierry Delisle [58b6d1b] * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/common.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/pair.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/containers/vector.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (moved) * libcfa/src/iterator.cfa (modified) * libcfa/src/limits.cfa (modified) * libcfa/src/math.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * tests/.expect/fstream_test.txt (modified) * tests/.expect/io1.txt (modified) * tests/Makefile.in (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/fstream_test.c (modified) * tests/io1.c (modified) * tests/maybe.c (modified) * tests/result.c (modified) * tests/time.c (modified) Fixed tests after headers change Mon, 06 Aug 2018 18:50:03 GMT Thierry Delisle [73abe95] * benchmark/Monitor.c (modified) * benchmark/bench.h (modified) * benchmark/creation/cfa_cor.c (modified) * benchmark/creation/cfa_thrd.c (modified) * benchmark/ctxswitch/cfa_cor.c (modified) * benchmark/ctxswitch/cfa_thrd.c (modified) * benchmark/ctxswitch/cfa_thrd2.c (modified) * benchmark/mutex/cfa1.c (modified) * benchmark/mutex/cfa2.c (modified) * benchmark/mutex/cfa4.c (modified) * benchmark/schedext/cfa1.c (modified) * benchmark/schedext/cfa2.c (modified) * benchmark/schedext/cfa4.c (modified) * benchmark/schedint/cfa1.c (modified) * benchmark/schedint/cfa2.c (modified) * benchmark/schedint/cfa4.c (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/bug-repro/blockers/file_scope.c (modified) * examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c (modified) * examples/gc_no_raii/bug-repro/field.c (modified) * examples/gc_no_raii/bug-repro/slow_malloc.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/gc_no_raii/src/tools/worklist.h (modified) * examples/gc_no_raii/test/gctest.c (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/assert.cfa (modified) * libcfa/src/bits/algorithm.hfa (moved) * libcfa/src/bits/align.hfa (moved) * libcfa/src/bits/containers.hfa (moved) * libcfa/src/bits/debug.hfa (moved) * libcfa/src/bits/defs.hfa (moved) * libcfa/src/bits/locks.hfa (moved) * libcfa/src/bits/signal.hfa (moved) * libcfa/src/clock.hfa (moved) * libcfa/src/common.hfa (moved) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (moved) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (moved) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (moved) * libcfa/src/concurrency/kernel_private.hfa (moved) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (moved) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (moved) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/preemption.hfa (moved) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (moved) * libcfa/src/containers/maybe.hfa (moved) * libcfa/src/containers/pair.hfa (moved) * libcfa/src/containers/result.hfa (moved) * libcfa/src/containers/vector.cfa (modified) * libcfa/src/containers/vector.hfa (moved) * libcfa/src/exception.c (modified) * libcfa/src/fstream.hfa (moved) * libcfa/src/gmp.hfa (moved) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream (modified) * libcfa/src/iterator.hfa (moved) * libcfa/src/limits.hfa (moved) * libcfa/src/math.hfa (moved) * libcfa/src/rational.hfa (moved) * libcfa/src/startup.cfa (modified) * libcfa/src/startup.hfa (moved) * libcfa/src/stdlib.hfa (moved) * libcfa/src/time.hfa (moved) * libcfa/src/time_t.hfa (moved) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * tests/Makefile.am (modified) * tests/abs.c (modified) * tests/alloc.c (modified) * tests/ato.c (modified) * tests/avltree/avl1.c (modified) * tests/avltree/avl3.c (modified) * tests/avltree/avl_test.c (modified) * tests/complex.c (modified) * tests/concurrent/coroutineYield.c (modified) * tests/concurrent/examples/boundedBufferEXT.c (modified) * tests/concurrent/examples/boundedBufferINT.c (modified) * tests/concurrent/examples/datingService.c (modified) * tests/concurrent/examples/matrixSum.c (modified) * tests/concurrent/examples/quickSort.c (modified) * tests/concurrent/monitor.c (modified) * tests/concurrent/multi-monitor.c (modified) * tests/concurrent/preempt.c (modified) * tests/concurrent/signal/block.c (modified) * tests/concurrent/signal/disjoint.c (modified) * tests/concurrent/signal/wait.c (modified) * tests/concurrent/thread.c (modified) * tests/concurrent/waitfor/barge.c (modified) * tests/concurrent/waitfor/dtor.c (modified) * tests/concurrent/waitfor/else.c (modified) * tests/concurrent/waitfor/parse.c (modified) * tests/concurrent/waitfor/recurse.c (modified) * tests/concurrent/waitfor/simple.c (modified) * tests/concurrent/waitfor/statment.c (modified) * tests/concurrent/waitfor/when.c (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.c (modified) * tests/coroutine/fmtLines.c (modified) * tests/coroutine/pingpong.c (modified) * tests/coroutine/prodcons.c (modified) * tests/coroutine/runningTotal.c (modified) * tests/div.c (modified) * tests/except-2.c (modified) * tests/fstream_test.c (modified) * tests/function-operator.c (modified) * tests/genericUnion.c (modified) * tests/gmp.c (modified) * tests/heap.c (modified) * tests/hello.c (modified) * tests/identity.c (modified) * tests/ifwhileCtl.c (modified) * tests/io1.c (modified) * tests/io2.c (modified) * tests/limits.c (modified) * tests/literals.c (modified) * tests/math1.c (modified) * tests/math2.c (modified) * tests/math3.c (modified) * tests/math4.c (modified) * tests/minmax.c (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/stack.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/quoted_keyword.c (modified) * tests/raii/dtor-early-exit.c (modified) * tests/raii/globals.c (modified) * tests/random.c (modified) * tests/rational.c (modified) * tests/searchsort.c (modified) * tests/shortCircuit.c (modified) * tests/sum.c (modified) * tests/swap.c (modified) * tests/time.c (modified) * tests/tuple/tupleAssign.c (modified) * tests/user_literals.c (modified) * tests/vector.c (modified) * tests/virtualCast.c (modified) Replace extension-less headers with .hfa Fri, 03 Aug 2018 18:50:12 GMT Thierry Delisle [ba9baad] * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/assert.cfa (moved) * libcfa/src/bits/debug.cfa (moved) * libcfa/src/common.cfa (moved) * libcfa/src/concurrency/alarm.cfa (moved) * libcfa/src/concurrency/coroutine.cfa (moved) * libcfa/src/concurrency/kernel.cfa (moved) * libcfa/src/concurrency/monitor.cfa (moved) * libcfa/src/concurrency/mutex.cfa (moved) * libcfa/src/concurrency/preemption.cfa (moved) * libcfa/src/concurrency/thread.cfa (moved) * libcfa/src/containers/maybe.cfa (moved) * libcfa/src/containers/pair.cfa (moved) * libcfa/src/containers/result.cfa (moved) * libcfa/src/containers/vector.cfa (moved) * libcfa/src/fstream.cfa (moved) * libcfa/src/heap.cfa (moved) * libcfa/src/interpose.cfa (moved) * libcfa/src/iostream.cfa (moved) * libcfa/src/iterator.cfa (moved) * libcfa/src/limits.cfa (moved) * libcfa/src/rational.cfa (moved) * libcfa/src/startup.cfa (moved) * libcfa/src/stdlib.cfa (moved) * libcfa/src/time.cfa (moved) * src/cfa.make (modified) Simplified some of the handling by converting libcfa sources from .c ...