Skip to content
Success

Changes

Summary

  1. refactored waituntil future benchmarks and updated runscript (details)
  2. small cleanup (details)
  3. more actor changes and touchups (details)
  4. changed throughput in plotting script to be per second not per 10 seconds (details)
  5. fix comments (details)
  6. formatting, change set_allocation to return previous value, add get_allocation (details)
Commit b5e3a8068dfee9cd536827ae412ffa5a94be810f by caparson
refactored waituntil future benchmarks and updated runscript
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/run
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/future.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/ucpp/future.cc
Commit fa5e1aa5984ed29d58206d4ec81dd05c0a1b3ece by caparson
small cleanup
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa
Commit 1fbf481de7b6f658d4627f71c96ffba349954e16 by caparsons
more actor changes and touchups
The file was modifiedlibcfa/src/concurrency/actor.hfa
Commit 917e1fda57f8a41eccff6a6e0ab336b41d4b6e98 by caparson
changed throughput in plotting script to be per second not per 10 seconds
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/plotData.py
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py
Commit 65ef0cd7e951937056fb71e81989690e7e2717cc by Peter Buhr
fix comments
The file was modifiedsrc/Parser/parser.yy
Commit b9c06b98dc17029cb685a0638cb96d2e414ea85a by Peter Buhr
formatting, change set_allocation to return previous value, add get_allocation
The file was modifiedlibcfa/src/concurrency/actor.hfa

Summary

  1. refactored waituntil future benchmarks and updated runscript (details)
  2. small cleanup (details)
  3. add length qualifiers on one_t constants in ceiling_div (details)
  4. update mathX.arm64 expected output (details)
  5. simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div (details)
  6. more proofreading of actor chapter (details)
  7. update glossary (details)
  8. intermediate commit to pull actor changes (details)
  9. cleaned up actor send/terminate sections (details)
  10. Moved the using statement in main out of view of the includes. Tried moving 'Eliminate Typedef' closer to 'Replace Typedef' but it only made it one pass. (details)
  11. added ability to get number of processors constructed on a cluster (not necessarily registered yet) (details)
  12. various cleanups and improvements (shutdown flags, automatic processor count) (details)
  13. updated a test to use the actor automatic executor config (details)
  14. Add tests demonstrating CFA's treatment of C arrays, compared with GCC's. (details)
  15. In a sentence, invariants is correct. (details)
  16. added a comment (details)
  17. refactored actors to not need base pointers in envelopes (details)
  18. added extra poll point to check for termination in actor system (details)
  19. Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass. (details)
  20. Add Makefile entries to include new test-support files in Promote build.  Try to fix nightly build.  Missing from 0f4ac1051. (details)
  21. Some clean-up in LinkReferenceToTypes.cpp. (details)
  22. Implement new rules for array dimension expression matching. (details)
  23. change printf to sout (details)
  24. fix include files (details)
  25. The 'sized' trait is now implemented on top of 'T *' declarations and has no special status in the compiler. (details)
  26. more actor changes and touchups (details)
  27. changed throughput in plotting script to be per second not per 10 seconds (details)
Commit b5e3a8068dfee9cd536827ae412ffa5a94be810f by caparson
refactored waituntil future benchmarks and updated runscript
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/future.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/run
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/ucpp/future.cc
Commit fa5e1aa5984ed29d58206d4ec81dd05c0a1b3ece by caparson
small cleanup
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa
Commit 97453cec313aea711dff0ef0c1b901e141e1e0f5 by Peter Buhr
add length qualifiers on one_t constants in ceiling_div
The file was modifiedlibcfa/src/math.hfa
Commit b87ef7be9b5708478d8ebeecb7034189309b93c4 by Peter Buhr
update mathX.arm64 expected output
The file was modifiedtests/.expect/mathX.arm64.txt
Commit 7c012e806c8d24ca16d0122265ab3d2916617a7f by Peter Buhr
simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div
The file was modifiedlibcfa/src/math.hfa
Commit 739bd7b395a592d4b89d6f0e6cd2d93677fb8305 by Peter Buhr
more proofreading of actor chapter
The file was modifieddoc/theses/colby_parsons_MMAth/text/actors.tex
Commit df277525de6cdab45ee64cf460b9d34a887418e7 by Peter Buhr
update glossary
The file was modifieddoc/theses/colby_parsons_MMAth/glossary.tex
Commit 60c3d87e3c00f8e5303153bdaebe7088085c2e8e by caparsons
intermediate commit to pull actor changes
The file was modifieddoc/theses/colby_parsons_MMAth/text/actors.tex
Commit dc136d78a012caaea32981d24dfb812b9dcde436 by caparsons
cleaned up actor send/terminate sections
The file was modifieddoc/theses/colby_parsons_MMAth/text/actors.tex
Commit 2c38b157138b05c8d0044598513af6f722c9c274 by ajbeach
Moved the using statement in main out of view of the includes. Tried moving 'Eliminate Typedef' closer to 'Replace Typedef' but it only made it one pass.
The file was modifiedsrc/main.cc
Commit ca0c311012ec648cff08394473a39dae0292ec46 by caparsons
added ability to get number of processors constructed on a cluster (not necessarily registered yet)
The file was modifiedlibcfa/src/concurrency/kernel/startup.cfa
The file was modifiedlibcfa/src/concurrency/kernel.hfa
Commit e39cfb9600d2913db0c35497a4add062646fd88d by caparsons
various cleanups and improvements (shutdown flags, automatic processor count)
The file was modifiedlibcfa/src/concurrency/actor.hfa
Commit 0388a99893245abfb5161dce9b105e5d518ca24a by caparsons
updated a test to use the actor automatic executor config
The file was modifiedtests/concurrency/actors/inline.cfa
Commit 0f4ac1051212a2dd05b205e457789712e2c9a66b by mlbrooks
Add tests demonstrating CFA's treatment of C arrays, compared with GCC's.

These tests recognize two levels of CFA functionality:  Classic and Preview.  This commit shows that CFA Master implements Classic.  Preview refers to Mike's forthcoming changes.

Only the CFA part runs in the nightly build.  Under CFA Classic, a limitation is that only some rejection cases are exercised in the nightly build.  A hand-driven testing script can access all the cases and CFA Preview will exercise all the cases in the nightly build.

test dimexpr-match-c: how CFA's treatment of C arrays compares with GCC's

test dimexpr-match-cfa: how CFA's treamtment of <containers/array.hfa>-arrays aligns with the above
The file was addedtests/array-container/dimexpr-match-c.cfa
The file was addedtests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt
The file was addedtests/array-container/dimexpr-match-cfa.cfa
The file was addedtests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt
The file was addedtests/array-container/dimexpr-match-detail.sh
The file was modifiedtests/Makefile.am
The file was addedtests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt
The file was addedtests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt
The file was addedtests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt
The file was addedtests/array-container/.expect/dimexpr-match-c.txt
The file was addedtests/array-container/.expect/dimexpr-match-cfa.txt
The file was addedtests/array-container/dimexpr-match.hfa
The file was addedtests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt
Commit 2fd4cea308e6efe9323737cc2665e03050e6c8f8 by ajbeach
In a sentence, invariants is correct.
The file was modifiedtests/test.py
Commit 1e538fbff26e7d643c0b2a4853be8d6d7d5f8781 by caparsons
added a comment
The file was modifiedlibcfa/src/concurrency/locks.hfa
Commit b065dbb21c03c0917fb344b3cead90c52cf9d41b by caparsons
refactored actors to not need base pointers in envelopes
The file was modifiedlibcfa/src/concurrency/actor.hfa
The file was modifiedsrc/Concurrency/Actors.cpp
Commit 70d8e2f21e271a433d073d382ee2a8356bb528cf by caparsons
added extra poll point to check for termination in actor system
The file was modifiedlibcfa/src/concurrency/actor.hfa
Commit caf06aa71fb525bbcc4811ec5a00225c9c9c6583 by ajbeach
Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass.
The file was addedtests/polybits.cfa
The file was modifiedsrc/Validate/GenericParameter.cpp
The file was addedtests/.expect/polybits.txt
Commit 9c4330d5ce50f9f19685f814f3e3fef815523ed1 by mlbrooks
Add Makefile entries to include new test-support files in Promote build.  Try to fix nightly build.  Missing from 0f4ac1051.
The file was modifiedtests/Makefile.am
Commit 132e4c16244e854978eafac175e38d75c985a11a by ajbeach
Some clean-up in LinkReferenceToTypes.cpp.
The file was modifiedsrc/Validate/LinkReferenceToTypes.cpp
Commit f02f546a0bb9f23075f612531e3b22bef6122da8 by mlbrooks
Implement new rules for array dimension expression matching.

Core changes:
src/ResolvExpr/Unify.cc: add sense of "these two expressions unify"
src/InitTweak/GenInit.cc: make hoisting happen more often
tests/array-container/*: reconfigure the array-dimension test to use non-"classic" expectation rules

Misc contributors and noise:
libcfa/src/parseargs.cfa: ,ake a parameter, that's used as a length expression, constant (example of an array user following new rules)
src/ResolvExpr/ResolveTypeof.h: make fixArrayType public
src/Validate/GenericParameter.cpp: do the array-type desugaring in both AST corners that forall-variables can be found (not just in one of them)
tests/.expect/typedefRedef-ERR1.txt: old one was "expecting" a bug, that new array rules handle correctly
The file was modifiedtests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt
The file was modifiedsrc/Validate/GenericParameter.cpp
The file was modifiedtests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt
The file was modifiedsrc/InitTweak/GenInit.cc
The file was modifiedtests/.expect/typedefRedef-ERR1.txt
The file was modifiedtests/array-container/dimexpr-match.hfa
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt
The file was addedtests/array-container/.expect/safety-summary.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa.txt
The file was modifiedlibcfa/src/parseargs.cfa
The file was addedtests/array-container/symtab-collision.cfa
The file was addedtests/array-container/.expect/symtab-collision.txt
The file was modifiedsrc/ResolvExpr/ResolveTypeof.h
The file was addedtests/array-container/safety-summary.cfa
The file was modifiedtests/array-container/.expect/dimexpr-match-c.txt
The file was modifiedsrc/ResolvExpr/Unify.cc
Commit 3bf9d101e125e952f9abb0271db2208c769320f8 by Peter Buhr
change printf to sout
The file was modifiedtests/exceptions/finally.cfa
The file was modifiedtests/exceptions/conditional.cfa
The file was modifiedtests/exceptions/virtual-cast.cfa
The file was modifiedtests/exceptions/data-except.cfa
The file was modifiedtests/exceptions/.expect/polymorphic.txt
The file was modifiedtests/exceptions/interact.cfa
The file was modifiedtests/exceptions/terminate.cfa
The file was modifiedtests/exceptions/except-io.hfa
The file was modifiedtests/exceptions/trash.cfa
The file was modifiedtests/exceptions/cancel/coroutine.cfa
The file was modifiedtests/exceptions/polymorphic.cfa
The file was modifiedtests/exceptions/virtual-poly.cfa
The file was modifiedtests/exceptions/defaults.cfa
The file was modifiedtests/exceptions/resume.cfa
The file was modifiedtests/exceptions/cancel/thread.cfa
Commit fe0b94f77ce34d87dcaf5af41f5119ee8f021b11 by Peter Buhr
fix include files
The file was modifiedtests/exceptions/conditional.cfa
The file was modifiedtests/exceptions/data-except.cfa
Commit 97b47ec7c9e76ee0d19dd0eb42627cd603ebae00 by ajbeach
The 'sized' trait is now implemented on top of 'T *' declarations and has no special status in the compiler.
The file was modifiedsrc/Validate/LinkReferenceToTypes.cpp
The file was modifiedlibcfa/prelude/prelude-gen.cc
The file was modifiedsrc/AST/Decl.cpp
Commit 1fbf481de7b6f658d4627f71c96ffba349954e16 by caparsons
more actor changes and touchups
The file was modifiedlibcfa/src/concurrency/actor.hfa
Commit 917e1fda57f8a41eccff6a6e0ab336b41d4b6e98 by caparson
changed throughput in plotting script to be per second not per 10 seconds
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/plotData.py
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py