Changes

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