Changes

add one more item to future work in conclusion

add tuple-type insert and remove functions to list type

fix signal_block on empty condition queue

add one more item to future work in conclusion

add tuple-type insert and remove functions to list type

list perf "zoomout" numbers run with interleaving and observation disabled, which removes an anomaly and reproduces the "zoomin" numbers in the "sweet spot"

LL perf: adjust configurations

Simplify doing a manual one-off run.  Disable harness's iterators on "zoomout" plots.  Remove cfa-strip and add lq-list for "zoomout" plots.  Add more exploratory analyses.

LL perf: small fixes

Fix off-by-one bug in runtime-no-shuf solution.  Add safety check that interleaving is off.  Re-run.

Replace dlist test's sout with printf, to enable testing non-libcfa draft implementations

Move link-list to-be implementation to libcfa

Make dlist2 pass the original dlist test.  Now, there is one common test for both.

rename private waituntil routines register_select, unregister_select, and on_selected with tailing $

harmonize single_future with other future types, remove multi_future, marks its test as deprecated, and turn off its test

proofread abstract

proofread introduction chapter

proofread background chapter

Edits in early sections.

Includes explicating the connection between unsafety stats and the three collection types.

small wording changes

more array proofreading

proofread string chapter

Revise array's overload-selection comment now that #247 is closed.

The set of overloads required is unaffected, just there's a simpler derivation of this set.

Improve libcfa-array's bound-check removal and write that thesis section.

The libcfa change adds a more performant alternative for a subset of multidimensional indexing cases that were already functionally correct.
That the new alternative is more performant is not shown in the test suite.
There is an associated new high-performance option for passing an array-or-slice to a function.
The added test cases cover those options.

The added in-thesis demos rely on the new more-performant alternative for multidimensional indexing.

last proofread array chapter

fix wording issues in last proofread of array chapter

Data and analysis associated with harness of commit 78bc398830.

Analysis change narrows the sweet-spot zone to where CFA is not misbehaving on queues and where general noise is reduced.

Revised plots are going into thesis doc, but commentary/focus has not shifted accordingly.  Notably, the CFA-attribution analysis is now mostly obviated.

for opening a file, change to default initialization of mode parameter from overloaded functions; fix fstream initialization bug by calling default constructor in other constructors

formatting

Various changes motivated by improving CFA score on len-1 queues.

No such CFA score improvement achieved.  Each change helped only on stripped-down, "try to isolate an important factor" tests.  Generally, the changes are benign refactorings.  (Results substantiating "don't hurt" are forthcoming.)

Libcfa changes are
- move a read action from between the memory breaks to before them
- make the memory breaks conditionally excluded (default included, as before)

Harness changes are
- add width, a compiled-in number of lists to use in round-robin order; defaults to 1, which is what was happening all along
- make the analysis scripts tolerate (so far, ignore) the width column
- rename CLI arg NumNodes to Length (now NumNodes is Length * Width)
- factor core testing loops into helper function `runtest`
- switch to signal-based termination (and add uC++ work-around)
- put "iterator threading" into ITERS_SAVE, joining preexisting "save iter into elem's self ref"; make iterator threading conditional on iterators-active
- disable insertion loop counter and obs_*-variable declarations (and thus writes) when observation disabled
- generalize observation to work on multiple lists
- make observation and assertion-check-enabled mode work on stripped CFA list implementations like tagging-disabled
- through this observation, ensure correctness of multi-list versions

Adjust stripped-harness comparion config to exclude interleaving, matching current general runs

try to turn off ARM builds on algol

2nd attempt to turn off ARM builds on algol

Add data for Intel host 'java', alongside incumbent AMD host 'swift'.

Revise analysis--presentation to show both side by side.  Remove presentation of CFA Attribution, which is now seen to be chasing a red herring.

Data continue to be from harness of commit 78bc398830.

Refresh data to harness of 9d3dc40802c6.  Latest harness and data now correspond.  Plots in built thesis show latest data.

move old module work into another folder

stitched modules proposal

update citations

first proofread of module proposal

addressing comments of module proposal

add PLG-specific instructions for running antlr

formatting

correct spelling from valgind to valgrind

update choose and waituntil statements

turn on ARM builds on algol

add routines stack_verify and stack_pointer, in debug mode call stack_verify on front-side of context switch and time-slicing

increase user-thread stack from 64K to 256K

remove making keyword exception an identifier for math.h

formatting

adjust name for ARM architecture

2nd attempt to turn on ARM builds on algol

rework member fixBlock to allow loop else-clause to access while/for conditional declarations

change codegen for loop else-clause to print else-clause as a compound statement

during parsing, wrap loop else-clause in compound statement if it is only an expression

update loop else-clause test to verify loop declarations are accessible in else clause

update documentation for hoisting of loop declarations

final pass of abstract

final proofread of introduction chapter

final proofread of background chapter

remove attempt to make C inline comments look better in latex output

harmonize AST dump and flag names, and the order the passes are called

update user documentation on AST dump flags, and turn off silent in Makefile

rename predicate flag that conflicts with AST dump flag

move latex savebox definitions, add package multicol

use subfloat for figure programs, inline footnote

final proofread of conclusion

add one more item to future work in conclusion

move latex savebox definitions, add package multicol

use subfloat for figure programs, inline footnote

final proofread of conclusion

remove attempt to make C inline comments look better in latex output

harmonize AST dump and flag names, and the order the passes are called

update user documentation on AST dump flags, and turn off silent in Makefile

rename predicate flag that conflicts with AST dump flag

final proofread of background chapter

final pass of abstract

final proofread of introduction chapter

rework member fixBlock to allow loop else-clause to access while/for conditional declarations

change codegen for loop else-clause to print else-clause as a compound statement

during parsing, wrap loop else-clause in compound statement if it is only an expression

update loop else-clause test to verify loop declarations are accessible in else clause

update documentation for hoisting of loop declarations

formatting

correct spelling from valgind to valgrind

update choose and waituntil statements

turn on ARM builds on algol

add routines stack_verify and stack_pointer, in debug mode call stack_verify on front-side of context switch and time-slicing

increase user-thread stack from 64K to 256K

remove making keyword exception an identifier for math.h

formatting

adjust name for ARM architecture

2nd attempt to turn on ARM builds on algol

add PLG-specific instructions for running antlr

addressing comments of module proposal

first proofread of module proposal

update citations

list perf "zoomout" numbers run with interleaving and observation disabled, which removes an anomaly and reproduces the "zoomin" numbers in the "sweet spot"

LL perf: adjust configurations

Simplify doing a manual one-off run.  Disable harness's iterators on "zoomout" plots.  Remove cfa-strip and add lq-list for "zoomout" plots.  Add more exploratory analyses.

LL perf: small fixes

Fix off-by-one bug in runtime-no-shuf solution.  Add safety check that interleaving is off.  Re-run.

Replace dlist test's sout with printf, to enable testing non-libcfa draft implementations

Move link-list to-be implementation to libcfa

Make dlist2 pass the original dlist test.  Now, there is one common test for both.

Data and analysis associated with harness of commit 78bc398830.

Analysis change narrows the sweet-spot zone to where CFA is not misbehaving on queues and where general noise is reduced.

Revised plots are going into thesis doc, but commentary/focus has not shifted accordingly.  Notably, the CFA-attribution analysis is now mostly obviated.

Various changes motivated by improving CFA score on len-1 queues.

No such CFA score improvement achieved.  Each change helped only on stripped-down, "try to isolate an important factor" tests.  Generally, the changes are benign refactorings.  (Results substantiating "don't hurt" are forthcoming.)

Libcfa changes are
- move a read action from between the memory breaks to before them
- make the memory breaks conditionally excluded (default included, as before)

Harness changes are
- add width, a compiled-in number of lists to use in round-robin order; defaults to 1, which is what was happening all along
- make the analysis scripts tolerate (so far, ignore) the width column
- rename CLI arg NumNodes to Length (now NumNodes is Length * Width)
- factor core testing loops into helper function `runtest`
- switch to signal-based termination (and add uC++ work-around)
- put "iterator threading" into ITERS_SAVE, joining preexisting "save iter into elem's self ref"; make iterator threading conditional on iterators-active
- disable insertion loop counter and obs_*-variable declarations (and thus writes) when observation disabled
- generalize observation to work on multiple lists
- make observation and assertion-check-enabled mode work on stripped CFA list implementations like tagging-disabled
- through this observation, ensure correctness of multi-list versions

Adjust stripped-harness comparion config to exclude interleaving, matching current general runs

Add data for Intel host 'java', alongside incumbent AMD host 'swift'.

Revise analysis--presentation to show both side by side.  Remove presentation of CFA Attribution, which is now seen to be chasing a red herring.

Data continue to be from harness of commit 78bc398830.

Refresh data to harness of 9d3dc40802c6.  Latest harness and data now correspond.  Plots in built thesis show latest data.

move old module work into another folder

stitched modules proposal

try to turn off ARM builds on algol

2nd attempt to turn off ARM builds on algol

for opening a file, change to default initialization of mode parameter from overloaded functions; fix fstream initialization bug by calling default constructor in other constructors

formatting

fix wording issues in last proofread of array chapter

last proofread array chapter

Revise array's overload-selection comment now that #247 is closed.

The set of overloads required is unaffected, just there's a simpler derivation of this set.

Improve libcfa-array's bound-check removal and write that thesis section.

The libcfa change adds a more performant alternative for a subset of multidimensional indexing cases that were already functionally correct.
That the new alternative is more performant is not shown in the test suite.
There is an associated new high-performance option for passing an array-or-slice to a function.
The added test cases cover those options.

The added in-thesis demos rely on the new more-performant alternative for multidimensional indexing.

proofread string chapter

small wording changes

more array proofreading

Edits in early sections.

Includes explicating the connection between unsafety stats and the three collection types.

proofread background chapter

proofread introduction chapter

proofread abstract

rename private waituntil routines register_select, unregister_select, and on_selected with tailing $

harmonize single_future with other future types, remove multi_future, marks its test as deprecated, and turn off its test

rename private waituntil routines register_select, unregister_select, and on_selected with tailing $

more cleanup of future code

add reference counting futures for use with waituntil

many updates and additions to the uC++ to CFA cheat sheet

raise * in /* and */ to look better

many citation updates

add missing Ada test program to Fangren's thesis

update semaphore lock

rewrite test program with futures and waituntil

fix design error in test waituntil/futures.cfa

Add issues with autogen removal: hiding too eagerly and not acting inspectably

change name is_empty to empty for monitor conditions

change use of random to prng

update semaphore lock

formatting

new version of barrier lock

add shadow variable to thread structure

change counters from ssize_t to size_t

rename private variable with trailing $

rename private variable with trailing $, and restructure lock

add "clear" function to strstring

update barrier tests for updated barrier

remove warnings from empty verify macros

Indicate CFA only builds on Linux operating system

add bibliography references

Add section about contributing to the Cforall project

test full build on x86

update anew/adelete ctor/dtor to handle array with 0-byte elements

formatting, add tests for new anew/adelete

update expected alloc-ERR files

test full build on ARM

2nd attempt test full build on ARM

remove empty chapter benchmarks.tex

wording and formatting changes to multiple sections

fix symbolic links from concurrent to concurrency in longrun_tests

harmonize user manual string discussion with string chapter

make tabcolsep variable global

clean up string discussion

update strings, update for-control and string documentation