Branch indexing Running as Jenkins Build User > git rev-parse --resolve-git-dir /var/lib/jenkins/caches/git-914b6fdde163b7e17ee75d99ca23f18a/.git # timeout=10 Setting origin to cforall@plg.uwaterloo.ca:software/cfa/cfa-cc > git config remote.origin.url cforall@plg.uwaterloo.ca:software/cfa/cfa-cc # timeout=10 Fetching origin... Fetching upstream changes from origin > git --version # timeout=10 > git --version # 'git version 2.25.1' > git config --get remote.origin.url # timeout=10 using GIT_SSH to set credentials SSH key used for git, ed25519 generated August 2020 Verifying host key using known hosts file > git fetch --tags --force --progress -- origin +refs/heads/*:refs/remotes/origin/* # timeout=10 Seen branch in repository origin/ADT Seen branch in repository origin/aaron-thesis Seen branch in repository origin/arm-eh Seen branch in repository origin/cleanup-dtors Seen branch in repository origin/ctor Seen branch in repository origin/deferred_resn Seen branch in repository origin/demangler Seen branch in repository origin/enum Seen branch in repository origin/forall-pointer-decay Seen branch in repository origin/gc_noraii Seen branch in repository origin/jacob/cs343-translation Seen branch in repository origin/jenkins-sandbox Seen branch in repository origin/master Seen branch in repository origin/memory Seen branch in repository origin/new-ast Seen branch in repository origin/new-ast-unique-expr Seen branch in repository origin/new-env Seen branch in repository origin/no_list Seen branch in repository origin/persistent-indexer Seen branch in repository origin/pthread-emulation Seen branch in repository origin/qualifiedEnum Seen branch in repository origin/resolv-new Seen branch in repository origin/string Seen branch in repository origin/with_gc Seen 24 remote branches Obtained Jenkinsfile from fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 [Pipeline] Start of Pipeline [Pipeline] node Running on Brokk 6 in /var/lib/jenkins/workspace/Cforall_ADT [Pipeline] { [Pipeline] wrap [Pipeline] { [Pipeline] properties WARNING: Unknown parameter(s) found for class type 'hudson.model.ChoiceParameterDefinition': defaultValue WARNING: Unknown parameter(s) found for class type 'hudson.model.ChoiceParameterDefinition': defaultValue [Pipeline] checkout The recommended git tool is: NONE using credential git_key_aug20 Cloning the remote Git repository Cloning with configured refspecs honoured and without tags Cloning repository cforall@plg.uwaterloo.ca:software/cfa/cfa-cc > git init /var/lib/jenkins/workspace/Cforall_ADT # timeout=10 Fetching upstream changes from cforall@plg.uwaterloo.ca:software/cfa/cfa-cc > git --version # timeout=10 > git --version # 'git version 2.25.1' using GIT_SSH to set credentials SSH key used for git, ed25519 generated August 2020 Verifying host key using known hosts file > git fetch --no-tags --force --progress -- cforall@plg.uwaterloo.ca:software/cfa/cfa-cc +refs/heads/*:refs/remotes/origin/* # timeout=10 > git config remote.origin.url cforall@plg.uwaterloo.ca:software/cfa/cfa-cc # timeout=10 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10 Avoid second fetch Checking out Revision fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 (ADT) Commit message: "Finish Adt POC" [Pipeline] load [Pipeline] { (Jenkins/tools.groovy) [Pipeline] } [Pipeline] // load [Pipeline] echo Compiler : gcc-11 (g++-11/gcc-11) Architecture : x64 Arc Flags : --host=x86_64 Run All Tests : false Run Benchmark : false Build Documentation : true Publish : false Silent : false [Pipeline] } [Pipeline] // wrap [Pipeline] } [Pipeline] // node [Pipeline] node Running on Brokk 6 in /var/lib/jenkins/workspace/Cforall_ADT [Pipeline] { [Pipeline] wrap [Pipeline] { [Pipeline] pwd [Pipeline] pwd [Pipeline] echo -------- Cleanup -------- [Pipeline] stage [Pipeline] { (Cleanup) [Pipeline] dir Running in /var/lib/jenkins/workspace/Cforall_ADT@tmp [Pipeline] { [Pipeline] deleteDir [Pipeline] } [Pipeline] // dir [Pipeline] } [Pipeline] // stage [Pipeline] echo -------- Checkout -------- [Pipeline] stage [Pipeline] { (Checkout) [Pipeline] checkout The recommended git tool is: NONE using credential git_key_aug20 > git config core.sparsecheckout # timeout=10 > git checkout -f fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 # timeout=10 > git rev-list --no-walk 28f8f154b94c0b9fd3ef74a8d0de01187a5522c6 # timeout=10 Fetching changes from the remote Git repository Cleaning workspace Fetching without tags > git rev-parse --resolve-git-dir /var/lib/jenkins/workspace/Cforall_ADT/.git # timeout=10 > git config remote.origin.url cforall@plg.uwaterloo.ca:software/cfa/cfa-cc # timeout=10 > git rev-parse --verify HEAD # timeout=10 Resetting working tree > git reset --hard # timeout=10 > git clean -fdx # timeout=10 Fetching upstream changes from cforall@plg.uwaterloo.ca:software/cfa/cfa-cc > git --version # timeout=10 > git --version # 'git version 2.25.1' using GIT_SSH to set credentials SSH key used for git, ed25519 generated August 2020 Verifying host key using known hosts file > git fetch --no-tags --force --progress -- cforall@plg.uwaterloo.ca:software/cfa/cfa-cc +refs/heads/*:refs/remotes/origin/* # timeout=10 Checking out Revision fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 (ADT) Commit message: "Finish Adt POC" [Pipeline] echo Constructing new git message [Pipeline] sh + git rev-list fa2c005cdb7210e3aaf9b1170f05fbc75444ece7..28f8f154b94c0b9fd3ef74a8d0de01187a5522c6 [Pipeline] sh > git config core.sparsecheckout # timeout=10 > git checkout -f fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 # timeout=10 + git cat-file -t fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 [Pipeline] sh + git rev-list --format=short fa2c005cdb7210e3aaf9b1170f05fbc75444ece7...28f8f154b94c0b9fd3ef74a8d0de01187a5522c6 [Pipeline] sh + git diff --stat --color 28f8f154b94c0b9fd3ef74a8d0de01187a5522c6 fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 [Pipeline] echo
- Changes -------------------------------------------------------------
The branch ADT has been updated. from fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 (commit)
- Log -----------------------------------------------------------------
commit fa2c005cdb7210e3aaf9b1170f05fbc75444ece7 Author: JiadaLFinish Adt POC commit 044ae62f3758370207e9bd48aa003fbc826b3d4d Merge: 3a513d896 2b7894962 Author: JiadaL Merge branch 'master' into ADT commit 2b7894962bf34063a4b03f148982b859d846d21a Merge: 6ece30638 6c15d6695 Author: JiadaL Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 3a513d8965c8c10afd1ac0dd69e86eee5e6cd6e2 Author: JiadaL Initiate host adt commit 6c15d6695ac77837ff09dd1f2f4046c4ce59f3af Merge: 88b49bb67 93174198a Author: caparsons Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 88b49bb676cb3744f666d6a9fb9719d8b814db66 Author: caparsons added a small waituntil optimization and added some improvements to statistic collection commit 5ece8ce4c66ecfa9393578df09da0a3d91384f7b Author: caparsons fixed a bug in mcs implementation and cleaned up a bit commit 6ece30638835f14d1338bec30ffb00198e55aadc Merge: f11010e3a 93174198a Author: JiadaL Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 93174198a7f828d3c82a86614999ce7115d5099f Merge: 41639089b 76e77a4f2 Author: Peter A. Buhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 41639089b9c3959db7c6dac9332f329042150434 Author: Peter A. Buhr add compilation flag -mno-outline-atomics on the ARM processor commit 76e77a4f2c78cd3faef0430d56ab0736ffec8f45 Author: caparsons Completed next iteration on channel chapter commit a0c746df9c095396418835a99317e2d16e06c6f6 Author: caparsons added beginning of waituntil chapter commit f11010e3a9e987aed8270af56192d13b8aae4cf9 Merge: 3982384b9 9f1beb43e Author: JiadaL Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit f4e01f1a8e29b20d612b65cba4f4f8908d914ba8 Author: JiadaL Save progress commit 9f1beb43e8680e0e88365670c20430e1f307fb1b Author: Peter A. Buhr more proofreading of the channel chapter commit c3e2131d56368dbbe3c26de8c66a4dd75b4df343 Merge: e3d4fd1b2 8db4708b8 Author: Peter A. Buhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit e3d4fd1b2ec7a7b883bb1d6504e81d04f98b5fcb Author: Peter A. Buhr more cleanup of the make-help option commit e4633b41be5d693587f549d3cbbfb9ecbe56bdb1 Author: Peter A. Buhr fix spelling mistake commit d6c464d2c9198b52bd24eb294ced8667c66dad4a Author: JiadaL reset enum's autogen as non adt commit 3982384b9c4ea1f8724897508e84041d2ab66cf1 Merge: 6e4c44dde 8db4708b8 Author: JiadaL Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 561354fd73c46eb32cf2feb6781d0a72427490ac Author: JiadaL Save progress commit 8db4708b83b30d7b44fe0c1eabbe669073d31444 Merge: 5908fb422 8c267cf1e Author: caparsons Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 5908fb4223d724c7d6e5bbedbfcf0f72d9a7612a Author: caparsons changed channel fetch routines to use relaxed atomics commit 8c267cf1e027acc787ecbd13e91c24273f366459 Author: Andrew Beach Added proposal for alternate enumerations that could replace some of the typed enumeration features. commit 100d12d42857ec730c8f76c1becc81da7432fdbf Author: caparsons changed makefile since select has a .cfa now commit e23b3ce3f4ce1a6fe6be08990f27f69e64036545 Author: caparsons added support for timeouts in waituntil commit c0ec8b6fe7503c70e9db17395e0d922d5b1dc28f Author: caparsons fixed bug in waituntil and future interop where signals could be lost commit 629c95a09e5a24f7108fc98fcff62c3e3ae6ad16 Author: caparsons fixed bug in special OR case for channels and waituntil commit 5a059463785617a734ec20e395e6f149d89171a0 Author: caparsons cleanup up locks files and fixed a minor whitespace issue in preemption.cfa commit 8cb06b671a14fffb7125da0255c714ea972727cf Author: caparsons added waituntil timeout test and added waituntil test that uses multiple waituntil primitive types commit b3ce76f107404c263cbc3ee18518b786bdb28ffb Merge: 386fb5752 e2887a97c Author: caparsons resolved merge conflict in makefile changes commit 386fb57527e7266fbdf2a63a63fa7f20796e2991 Author: caparsons added invariant flag to test makefile commit e2887a97cbde3855b9c0eeb23a3b1e7cdbd49e14 Author: Peter A. Buhr add make-help option and change parenthesis to braces for variables commit 4dd10fbd1d6b6cf437406603b466ce87ae7f2136 Author: caparsons added atomic_load to non-MX channel get routines commit 01de470c47c7621c4d976bf694f6b329a7816229 Author: caparsons added back initially failing test and cleaned up other test commit 7c2c37a402bcd40c4f45c35d23657b6386c07c69 Author: caparsons removed tests made during deadlock debugging commit 09227163fa12845aa97af7cd30f7fc223f8b49eb Author: caparsons changed dist-hook rule to use curly braces to access shell vars where it should use them instead of parens commit 8fa3b6607333bc8f793093ff0372be123b6b57c7 Merge: 94672baca 2c249718c Author: caparsons Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 94672bacac1a405e1334731db6f1186b2a824d64 Author: caparsons changed variable name in makefile to try and avoid shell command with same name commit 2c249718c0bd6140e388ca674fde616caa495aee Merge: 9eb7f07cf 7b53bfdce Author: Peter A. Buhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 9eb7f07cfca64b294b593355d1385e8bd1d0166c Author: Peter A. Buhr more updates for llheap paper commit 7b53bfdceb792b7e587847a29488d1a1a4c71af4 Author: caparsons Eliminating the busy wait spin at the end seems to resolve deadlock. Added further tests to try and narrow down failure case, and to see if the failure is waituntil specific commit c5a2c96fd79c6bb06fe6f095e292106b4aedb3eb Author: caparsons added atomic to eliminate if failing test deadlock is a staleness issue commit 187570fa422ebd5e1e0ab7fbd542f4f3f00cae34 Merge: c34a1a45f d69752711 Author: caparsons Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit c34a1a45f30d38dbf6d19194ff80334ae48f4f4b Author: caparsons removed uneeded busy wait commit d69752711fac0e68cc2a2c774b76b636a3cff37c Author: Peter A. Buhr add Makefile for llheap paper commit f977509f8aaf4d681c66b9e58d8cb6660b200f78 Author: Peter A. Buhr continue working on llheap paper commit 8fd1b7c719c2b7d0d43b7caa9b31a57e0372852b Merge: fece3d9aa 2d0f918fc Author: caparsons Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit fece3d9aa36b07fac614e36fe2949b233e218114 Author: caparsons Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa changes is an ongoing TODO commit 2d0f918fccda13d7214a5f8726ab517b71632108 Author: Andrew Beach Clean up methods for result1/N/Nstmt classes and the padantic pass macros. commit e50fce1ebc46774ac62ce7df5eec6fceedcd5a6f Author: caparsons added some instrumentation to attempt to glean some insight into optimized away values commit 253a78ffaf6f91bf8f04bc8188716a454112fff7 Author: caparsons removed some redundant tests and added some instrumentation to help track down bug commit 330b85658d56a24900d6a0bc326721d8467cc080 Author: caparsons removed tests that are redundant commit b5513f19b8f14b09da1dd3d47e5017835b588fb2 Author: caparsons refactored tests to refine failure case to minimal repro commit 02fa55ec62930561a249b87024ed3f25a89ba83a Author: caparsons added zero size channel waituntil test case commit c4f411e21d92b3ef455f11eb19f9db0a2be169b1 Author: caparsons fixed a bug which may potentially fix build commit 84018e0cc39d93f27dd029c87859f0a8717d0b83 Author: caparsons cleaned up benchmark pseudocode commit 2d831a1b8696630999d4089e6cd949d11a44ddc7 Author: caparsons added various small edits and resolved some action items commit c0527f8b8b4a922098555b62a30cf6227bddf622 Author: caparsons added CAP annotation macro commit 49125205b9cfab79a2620431f4daef8af59715e4 Author: caparsons updated plotting scripts with new plot style commit ab2b3526afe7ca23ccd1e324ab4644c04eeacca1 Author: caparsons updated channel and mutex stmt figures commit d5187a0603e2d2c1c0fbac8a65e8639c613b5708 Author: caparsons removed potential race to attempt to fix failing test commit a32a887859866275b2fafbc01c65b8678e6641df Author: caparsons removed uneeded tests commit 85e49a60b06151843b3ec9e16256ca7799ac2a23 Author: caparsons added and removed some tests in pursuit of a more minimal repro of the deadlock failure case commit dd7a8ceea363ce98f8745f9f4506b2c5d56390cc Author: caparsons added some variations on failing channel test to try and narrow down failure to minimal case. Window for deadlock must be small as it seems to be irreproducible unless during full build + test. commit a882b686688032373f04d30b26f50275adec4735 Author: caparsons added a test change to help locate the deadlock on next test failure commit cb69fba7fe6d9bdecb12c9cd99a859696553437e Author: caparsons did some cleanup of channels commit ca8c91ce061adc1907a354dacabb789d39f641ba Author: Peter A. Buhr small changes to channel chapter commit d5c55860d7e8279d5ab45f5aed0fd1f27b1fe311 Merge: 7bef8cf5c 8607a7295 Author: Peter A. Buhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 7bef8cf5c01bdb7a3ef2d5f4c309a1715e4ba4e9 Author: Peter A. Buhr start paper on llheap commit 8607a7295fe8e511720273ecf2e48478ad9f7616 Author: caparsons added 32 bit failure fix for channels commit 7358f65525f045f379eedbbf25e96c23f9979c56 Author: Peter A. Buhr remove version count of thesis builds commit e9fffb107a898777e73ba628ff4a5a961d99b6e6 Author: Peter A. Buhr start proofreading of channel chapter commit e0e2f027c39064abf351e5aa4863fee98bdb1c08 Author: Peter A. Buhr small updates commit 21d1c9cebd7300910374cba53168bf8e6e62870e Author: Peter A. Buhr small updates commit c459f992e888b5a479c2d9664334c9b9d356bfe0 Author: Peter A. Buhr formatting, small updates commit d1c51b1dc15a955110a449020f7d2fcb91efa2f9 Author: Peter A. Buhr small updates commit 6c7227bd7a5e37eb8ac5fc0987a2113ebff2560f Author: Peter A. Buhr formatting, small updates commit 302a16cce1fad3d3040c2b36a30642240517bb64 Author: Peter A. Buhr formatting, add intro chapter to tex dependencies commit 8c25760419860fd262fd45d0356675a44f69176b Author: Peter A. Buhr put keywords in alphabetic order in lex.ll commit ab6dcc8ba0fbc8b3a4ac75fc4b8b56e8fca09f90 Author: Peter A. Buhr add citations for Actor paper commit e20c0afc4c329948ce830db02af0461cdf7eda9f Author: Peter A. Buhr update list of CFA keywords in lstlang.sty commit 085f67a94acb40bddef63f4f65f0725883479bbf Author: Peter A. Buhr remove unsed cfa-format.tex file commit 674081149fa6bb3dd05efce0381f3b6bbf88a920 Author: Peter A. Buhr change all-tests to tests to match new make targets commit c083c3d051f3db3793a548d324e8e7d5aa9560d1 Merge: 4daf79f5b 6e1e2d029 Author: Peter A. Buhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit 4daf79f5bebb1c45d59ca6a16f2c2facb6763c7d Author: Peter A. Buhr formatting, adjust target names for Makefiles commit 6e1e2d0299e4210d269f7a30ec3864a8bddceabb Merge: a50fdfbfa 985b6245b Author: caparsons resolved merge conflicts commit a50fdfbfae933dc68ef63eb07fe97924c504fe1b Author: caparsons added waituntil test expect files commit 63d5ac5fb11e5284280a042ca1b3761700ff219b Author: caparsons removed TODO since it is now done commit 2a84d994eaa866c6570fd430be9c99dfe5dde8bb Author: caparsons removed old unused benchmark file commit 6c3c51d213ecb3fd1536a820108fb14c105eef8b Author: caparsons removed scoped lock commit b9cd3b5f3e8fa0e963b2d2958baa9d37f224bfbd Author: caparsons removed clh lock commit a33a5e288e95b952ea8dfff1ae1d0dbe375521e6 Author: caparsons added tests for the waituntil stmt commit c86b08de42d13ee7646e48f36c60ff65633dc0ea Author: caparsons added support for the waituntil statement in the compiler commit 73bf7ddcf37d065575ed554dfb7dbd70672e83f8 Author: caparsons updated lock interface to support waituntil trait commit beeff61e1faefd5cf8878f9d521dd2f60adcd70a Author: caparsons some cleanup and a bunch of changes to support waituntil statement commit 985b6245b5f32f78740a4e3b173e26ac0f687e1a Author: Peter A. Buhr remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly builds to gcc 7-11 commit 6e4c44dde79ba723d45b589198f181fdf1f94095 Merge: b110bcc1f e6d8d114c Author: JiadaL Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc commit e6d8d114c2f1a34e88d1f6cc47ad26c7792f201a Author: Peter A. Buhr update comment about locale problem with leaked storage commit 04c78215345386ef39a45f6bb073dc726808d3b3 Author: Peter A. Buhr change waituntil expression from cast_expression to comma_expression
-----------------------------------------------------------------------
Summary of changes: Jenkins/FullBuild | 29 +- Jenkinsfile | 114 +- Makefile.am | 62 +- benchmark/mutexStmt/JavaThread.java | 64 - configure.ac | 2 +- doc/LaTeXmacros/lstlang.sty | 21 +- doc/bibliography/pl.bib | 140 +- doc/papers/AMA/AMA-stix/Documents/.log | 46 +- doc/papers/AMA/AMA-stix/Documents/README.txt | 68 +- doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.tex | 860 +- doc/papers/AMA/AMA-stix/Stix-fonts/ly1sti.fd | 60 +- doc/papers/AMA/AMA-stix/ama/NJDnatbib.sty | 2524 +- doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bbl | 312 +- doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bib | 598 +- doc/papers/llheap/.gitignore | 7 + doc/papers/llheap/AMA-stix_New.zip | Bin 0 -> 4123074 bytes doc/papers/llheap/AMA-stix_New/Documents/.log | 23 + .../llheap/AMA-stix_New/Documents/README.txt | 41 + .../llheap/AMA-stix_New/Documents/wileyNJD-Doc.tex | 430 + .../AMA-stix_New/Stix-fonts/STIXGeneral-Bold.pfb | Bin 0 -> 250376 bytes .../Stix-fonts/STIXGeneral-BoldItalic.pfb | Bin 0 -> 216153 bytes .../AMA-stix_New/Stix-fonts/STIXGeneral-Italic.pfb | Bin 0 -> 221139 bytes .../Stix-fonts/STIXGeneral-Regular.pfb | Bin 0 -> 547522 bytes .../Stix-fonts/Windows-Stix-fontinstaller.exe | Bin 0 -> 1183840 bytes .../llheap/AMA-stix_New/Stix-fonts/a_axxd65.enc | 57 + .../llheap/AMA-stix_New/Stix-fonts/ls1stix.fd | 12 + .../llheap/AMA-stix_New/Stix-fonts/ls1stixbb.fd | 10 + .../llheap/AMA-stix_New/Stix-fonts/ls1stixfrak.fd | 8 + .../llheap/AMA-stix_New/Stix-fonts/ls1stixscr.fd | 9 + .../llheap/AMA-stix_New/Stix-fonts/ls1stixsf.fd | 12 + .../llheap/AMA-stix_New/Stix-fonts/ls2stix.fd | 12 + .../llheap/AMA-stix_New/Stix-fonts/ls2stixcal.fd | 8 + .../llheap/AMA-stix_New/Stix-fonts/ls2stixex.fd | 8 + .../llheap/AMA-stix_New/Stix-fonts/ls2stixtt.fd | 8 + .../llheap/AMA-stix_New/Stix-fonts/ly1sti.fd | 30 + .../Stix-fonts/ot1-stixgeneral-bold.tfm | Bin 0 -> 3496 bytes .../Stix-fonts/ot1-stixgeneral-bolditalic.tfm | Bin 0 -> 3576 bytes .../Stix-fonts/ot1-stixgeneral-italic.tfm | Bin 0 -> 3628 bytes .../AMA-stix_New/Stix-fonts/ot1-stixgeneral.tfm | Bin 0 -> 3588 bytes .../Stix-fonts/ot1-stixgeneralsc-bold.tfm | Bin 0 -> 3884 bytes .../Stix-fonts/ot1-stixgeneralsc-bold.vf | Bin 0 -> 980 bytes .../AMA-stix_New/Stix-fonts/ot1-stixgeneralsc.tfm | Bin 0 -> 3916 bytes .../AMA-stix_New/Stix-fonts/ot1-stixgeneralsc.vf | Bin 0 -> 968 bytes .../llheap/AMA-stix_New/Stix-fonts/ot1stix.fd | 21 + .../Stix-fonts/ot2-stixgeneral-bold.tfm | Bin 0 -> 1296 bytes .../Stix-fonts/ot2-stixgeneral-bolditalic.tfm | Bin 0 -> 1472 bytes .../Stix-fonts/ot2-stixgeneral-italic.tfm | Bin 0 -> 1456 bytes .../AMA-stix_New/Stix-fonts/ot2-stixgeneral.tfm | Bin 0 -> 1336 bytes .../Stix-fonts/ot2-stixgeneralsc-bold.tfm | Bin 0 -> 1316 bytes .../Stix-fonts/ot2-stixgeneralsc-bold.vf | Bin 0 -> 1016 bytes .../AMA-stix_New/Stix-fonts/ot2-stixgeneralsc.tfm | Bin 0 -> 1372 bytes .../AMA-stix_New/Stix-fonts/ot2-stixgeneralsc.vf | Bin 0 -> 1004 bytes .../llheap/AMA-stix_New/Stix-fonts/ot2stix.fd | 21 + .../llheap/AMA-stix_New/Stix-fonts/stix-extra1.enc | 259 + .../llheap/AMA-stix_New/Stix-fonts/stix-extra1.tfm | Bin 0 -> 1536 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-extra2.enc | 259 + .../llheap/AMA-stix_New/Stix-fonts/stix-extra2.tfm | Bin 0 -> 1172 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-extra3.enc | 259 + .../llheap/AMA-stix_New/Stix-fonts/stix-extra3.tfm | Bin 0 -> 404 bytes .../AMA-stix_New/Stix-fonts/stix-mathbb-bold.pfb | Bin 0 -> 35093 bytes .../AMA-stix_New/Stix-fonts/stix-mathbb-bold.tfm | Bin 0 -> 1644 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathbb.pfb | Bin 0 -> 34312 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathbb.tfm | Bin 0 -> 1628 bytes .../AMA-stix_New/Stix-fonts/stix-mathbbit-bold.pfb | Bin 0 -> 44227 bytes .../AMA-stix_New/Stix-fonts/stix-mathbbit-bold.tfm | Bin 0 -> 2200 bytes .../AMA-stix_New/Stix-fonts/stix-mathbbit.pfb | Bin 0 -> 38823 bytes .../AMA-stix_New/Stix-fonts/stix-mathbbit.tfm | Bin 0 -> 2168 bytes .../AMA-stix_New/Stix-fonts/stix-mathcal-bold.pfb | Bin 0 -> 69702 bytes .../AMA-stix_New/Stix-fonts/stix-mathcal-bold.tfm | Bin 0 -> 2256 bytes .../AMA-stix_New/Stix-fonts/stix-mathcal.pfb | Bin 0 -> 63697 bytes .../AMA-stix_New/Stix-fonts/stix-mathcal.tfm | Bin 0 -> 2220 bytes .../AMA-stix_New/Stix-fonts/stix-mathex-bold.pfb | Bin 0 -> 26116 bytes .../AMA-stix_New/Stix-fonts/stix-mathex-bold.tfm | Bin 0 -> 1692 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathex.pfb | Bin 0 -> 26156 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathex.tfm | Bin 0 -> 1688 bytes .../AMA-stix_New/Stix-fonts/stix-mathfrak-bold.pfb | Bin 0 -> 46224 bytes .../AMA-stix_New/Stix-fonts/stix-mathfrak-bold.tfm | Bin 0 -> 1764 bytes .../AMA-stix_New/Stix-fonts/stix-mathfrak.pfb | Bin 0 -> 46278 bytes .../AMA-stix_New/Stix-fonts/stix-mathfrak.tfm | Bin 0 -> 1768 bytes .../AMA-stix_New/Stix-fonts/stix-mathit-bold.pfb | Bin 0 -> 45106 bytes .../AMA-stix_New/Stix-fonts/stix-mathit-bold.tfm | Bin 0 -> 2636 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathit.pfb | Bin 0 -> 41474 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathit.tfm | Bin 0 -> 2596 bytes .../AMA-stix_New/Stix-fonts/stix-mathrm-bold.pfb | Bin 0 -> 41389 bytes .../AMA-stix_New/Stix-fonts/stix-mathrm-bold.tfm | Bin 0 -> 2352 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathrm.pfb | Bin 0 -> 40662 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathrm.tfm | Bin 0 -> 4204 bytes .../AMA-stix_New/Stix-fonts/stix-mathscr-bold.pfb | Bin 0 -> 48659 bytes .../AMA-stix_New/Stix-fonts/stix-mathscr-bold.tfm | Bin 0 -> 2208 bytes .../AMA-stix_New/Stix-fonts/stix-mathscr.pfb | Bin 0 -> 49105 bytes .../AMA-stix_New/Stix-fonts/stix-mathscr.tfm | Bin 0 -> 2216 bytes .../AMA-stix_New/Stix-fonts/stix-mathsf-bold.pfb | Bin 0 -> 39973 bytes .../AMA-stix_New/Stix-fonts/stix-mathsf-bold.tfm | Bin 0 -> 2124 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathsf.pfb | Bin 0 -> 41655 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathsf.tfm | Bin 0 -> 2084 bytes .../AMA-stix_New/Stix-fonts/stix-mathsfit-bold.pfb | Bin 0 -> 42878 bytes .../AMA-stix_New/Stix-fonts/stix-mathsfit-bold.tfm | Bin 0 -> 2532 bytes .../AMA-stix_New/Stix-fonts/stix-mathsfit.pfb | Bin 0 -> 43885 bytes .../AMA-stix_New/Stix-fonts/stix-mathsfit.tfm | Bin 0 -> 2560 bytes .../AMA-stix_New/Stix-fonts/stix-mathtt-bold.pfb | Bin 0 -> 33348 bytes .../AMA-stix_New/Stix-fonts/stix-mathtt-bold.tfm | Bin 0 -> 1396 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathtt.pfb | Bin 0 -> 33345 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-mathtt.tfm | Bin 0 -> 1396 bytes .../llheap/AMA-stix_New/Stix-fonts/stix-ot1.enc | 181 + .../llheap/AMA-stix_New/Stix-fonts/stix-ot2.enc | 228 + .../llheap/AMA-stix_New/Stix-fonts/stix-t1.enc | 260 + .../llheap/AMA-stix_New/Stix-fonts/stix-ts1.enc | 322 + doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.dtx | 4269 +++ doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.fdd | 239 + doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.map | 61 + doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.sty | 2160 ++ .../Stix-fonts/t1-stixgeneral-bold.tfm | Bin 0 -> 11012 bytes .../Stix-fonts/t1-stixgeneral-bolditalic.tfm | Bin 0 -> 11132 bytes .../Stix-fonts/t1-stixgeneral-italic.tfm | Bin 0 -> 11156 bytes .../AMA-stix_New/Stix-fonts/t1-stixgeneral.tfm | Bin 0 -> 11184 bytes .../Stix-fonts/t1-stixgeneralsc-bold.tfm | Bin 0 -> 7824 bytes .../Stix-fonts/t1-stixgeneralsc-bold.vf | Bin 0 -> 1936 bytes .../AMA-stix_New/Stix-fonts/t1-stixgeneralsc.tfm | Bin 0 -> 7908 bytes .../AMA-stix_New/Stix-fonts/t1-stixgeneralsc.vf | Bin 0 -> 1924 bytes .../llheap/AMA-stix_New/Stix-fonts/t1stix.fd | 21 + .../Stix-fonts/ts1-stixgeneral-bold.tfm | Bin 0 -> 1416 bytes .../Stix-fonts/ts1-stixgeneral-bolditalic.tfm | Bin 0 -> 1420 bytes .../Stix-fonts/ts1-stixgeneral-italic.tfm | Bin 0 -> 1416 bytes .../AMA-stix_New/Stix-fonts/ts1-stixgeneral.tfm | Bin 0 -> 1420 bytes .../llheap/AMA-stix_New/Stix-fonts/ts1stix.fd | 21 + doc/papers/llheap/AMA-stix_New/ama/NJDnatbib.sty | 1262 + doc/papers/llheap/AMA-stix_New/ama/WileyNJD-v2.cls | 3470 ++ doc/papers/llheap/AMA-stix_New/ama/empty.eps | 80 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.aux | 173 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.bbl | 162 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.bib | 306 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.blg | 48 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.log | 1257 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.pag | 1 + .../llheap/AMA-stix_New/ama/wileyNJD-AMA.synctex | 34246 +++++++++++++++++++ .../llheap/AMA-stix_New/ama/wileyNJD-AMA.tex | 860 + doc/papers/llheap/Makefile | 126 + doc/papers/llheap/Paper.tex | 3269 ++ doc/papers/llheap/WileyNJD-v2.cls | 3470 ++ .../algol-perf-eps/cache_scratch_0-scratch.eps | 3734 ++ .../algol-perf-eps/cache_thrash_0-thrash.eps | 3174 ++ .../llheap/evaluations/algol-perf-eps/churn.eps | 3556 ++ .../algol-perf-eps/mem-1-prod-1-cons-100-dl.eps | 1734 + .../algol-perf-eps/mem-1-prod-1-cons-100-glc.eps | 1828 + .../algol-perf-eps/mem-1-prod-1-cons-100-hrd.eps | 1989 ++ .../algol-perf-eps/mem-1-prod-1-cons-100-je.eps | 1899 + .../algol-perf-eps/mem-1-prod-1-cons-100-llh.eps | 1804 + .../algol-perf-eps/mem-1-prod-1-cons-100-pt3.eps | 2082 ++ .../algol-perf-eps/mem-1-prod-1-cons-100-rp.eps | 1897 + .../algol-perf-eps/mem-1-prod-1-cons-100-tbb.eps | 1811 + .../algol-perf-eps/mem-4-prod-4-cons-100-dl.eps | 2291 ++ .../algol-perf-eps/mem-4-prod-4-cons-100-glc.eps | 2154 ++ .../algol-perf-eps/mem-4-prod-4-cons-100-hrd.eps | 2272 ++ .../algol-perf-eps/mem-4-prod-4-cons-100-je.eps | 1838 + .../algol-perf-eps/mem-4-prod-4-cons-100-llh.eps | 1866 + .../algol-perf-eps/mem-4-prod-4-cons-100-pt3.eps | 2766 ++ .../algol-perf-eps/mem-4-prod-4-cons-100-rp.eps | 2310 ++ .../algol-perf-eps/mem-4-prod-4-cons-100-tbb.eps | 2157 ++ .../algol-perf-eps/speed-1-malloc-null.eps | 3501 ++ .../algol-perf-eps/speed-10-malloc-realloc.eps | 3489 ++ .../algol-perf-eps/speed-11-calloc-realloc.eps | 3619 ++ .../speed-12-malloc-realloc-free.eps | 3541 ++ .../speed-13-calloc-realloc-free.eps | 3692 ++ .../algol-perf-eps/speed-14-m-c-re-alloc-free.eps | 3634 ++ .../algol-perf-eps/speed-2-free-null.eps | 3314 ++ .../evaluations/algol-perf-eps/speed-3-malloc.eps | 3507 ++ .../evaluations/algol-perf-eps/speed-4-realloc.eps | 3432 ++ .../evaluations/algol-perf-eps/speed-5-free.eps | 3453 ++ .../evaluations/algol-perf-eps/speed-6-calloc.eps | 3580 ++ .../algol-perf-eps/speed-7-malloc-free.eps | 3512 ++ .../algol-perf-eps/speed-8-realloc-free.eps | 3514 ++ .../algol-perf-eps/speed-9-calloc-free.eps | 3649 ++ .../nasus-perf-eps/cache_scratch_0-scratch.eps | 3766 ++ .../nasus-perf-eps/cache_thrash_0-thrash.eps | 3258 ++ .../llheap/evaluations/nasus-perf-eps/churn.eps | 3602 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-dl.eps | 1981 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-glc.eps | 1912 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-hrd.eps | 2122 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-je.eps | 2082 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-llh.eps | 1908 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-pt3.eps | 2077 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-rp.eps | 1929 ++ .../nasus-perf-eps/mem-1-prod-1-cons-100-tbb.eps | 1889 + .../nasus-perf-eps/mem-4-prod-4-cons-100-dl.eps | 2156 ++ .../nasus-perf-eps/mem-4-prod-4-cons-100-glc.eps | 1874 + .../nasus-perf-eps/mem-4-prod-4-cons-100-hrd.eps | 2157 ++ .../nasus-perf-eps/mem-4-prod-4-cons-100-je.eps | 2096 ++ .../nasus-perf-eps/mem-4-prod-4-cons-100-llh.eps | 1850 + .../nasus-perf-eps/mem-4-prod-4-cons-100-pt3.eps | 2398 ++ .../nasus-perf-eps/mem-4-prod-4-cons-100-rp.eps | 1952 ++ .../nasus-perf-eps/mem-4-prod-4-cons-100-tbb.eps | 3402 ++ .../nasus-perf-eps/speed-1-malloc-null.eps | 3588 ++ .../nasus-perf-eps/speed-10-malloc-realloc.eps | 3496 ++ .../nasus-perf-eps/speed-11-calloc-realloc.eps | 3685 ++ .../speed-12-malloc-realloc-free.eps | 3533 ++ .../speed-13-calloc-realloc-free.eps | 3776 ++ .../nasus-perf-eps/speed-14-m-c-re-alloc-free.eps | 3701 ++ .../nasus-perf-eps/speed-2-free-null.eps | 3314 ++ .../evaluations/nasus-perf-eps/speed-3-malloc.eps | 3566 ++ .../evaluations/nasus-perf-eps/speed-4-realloc.eps | 3517 ++ .../evaluations/nasus-perf-eps/speed-5-free.eps | 3422 ++ .../evaluations/nasus-perf-eps/speed-6-calloc.eps | 3550 ++ .../nasus-perf-eps/speed-7-malloc-free.eps | 3513 ++ .../nasus-perf-eps/speed-8-realloc-free.eps | 3510 ++ .../nasus-perf-eps/speed-9-calloc-free.eps | 3661 ++ doc/papers/llheap/examples/C++Cor-ts.cpp | 42 + doc/papers/llheap/examples/DatingServiceThread.cfa | 110 + doc/papers/llheap/examples/Fib.c | 24 + doc/papers/llheap/examples/Fib.cfa | 76 + doc/papers/llheap/examples/Fib.cpp | 120 + doc/papers/llheap/examples/Fib.js | 18 + doc/papers/llheap/examples/Fib.py | 15 + doc/papers/llheap/examples/Fib.sim | 47 + doc/papers/llheap/examples/Fib1.c | 36 + doc/papers/llheap/examples/Fib2.c | 33 + doc/papers/llheap/examples/Fib2.cfa | 43 + doc/papers/llheap/examples/Fib2.cpp | 121 + doc/papers/llheap/examples/Fib2.py | 15 + doc/papers/llheap/examples/Fib3.c | 27 + doc/papers/llheap/examples/Fib3.cc | 30 + doc/papers/llheap/examples/FibRefactor.py | 25 + doc/papers/llheap/examples/Fmt.sim | 46 + doc/papers/llheap/examples/Format.c | 40 + doc/papers/llheap/examples/Format.cc | 34 + doc/papers/llheap/examples/Format.cfa | 84 + doc/papers/llheap/examples/Format.cpp | 96 + doc/papers/llheap/examples/Format.data | 3 + doc/papers/llheap/examples/Format.js | 33 + doc/papers/llheap/examples/Format.py | 27 + doc/papers/llheap/examples/Format.sim | 46 + doc/papers/llheap/examples/Format1.c | 44 + doc/papers/llheap/examples/PingPong.c | 84 + doc/papers/llheap/examples/PingPong.cc | 64 + doc/papers/llheap/examples/Pingpong.cc | 31 + doc/papers/llheap/examples/Pingpong.cfa | 38 + doc/papers/llheap/examples/Pingpong.py | 35 + doc/papers/llheap/examples/Pingpong2.cfa | 39 + doc/papers/llheap/examples/ProdCons.cfa | 76 + doc/papers/llheap/examples/ProdCons.cpp | 244 + doc/papers/llheap/examples/ProdCons.py | 43 + doc/papers/llheap/examples/ProdCons.sim | 104 + doc/papers/llheap/examples/RWMonitorEXT.cfa | 66 + doc/papers/llheap/examples/RWMonitorINT.cfa | 74 + doc/papers/llheap/examples/Refactor.py | 29 + doc/papers/llheap/examples/channels.go | 35 + doc/papers/llheap/examples/channels.rs | 34 + doc/papers/llheap/examples/counter.cpp | 62 + doc/papers/llheap/examples/future.rs | 10 + doc/papers/llheap/figures/AddressSpace.fig | 48 + doc/papers/llheap/figures/Alignment1.fig | 35 + doc/papers/llheap/figures/Alignment2.fig | 31 + doc/papers/llheap/figures/Alignment2Impl.fig | 35 + doc/papers/llheap/figures/AllocDS1.fig | 126 + doc/papers/llheap/figures/AllocDS2.fig | 148 + .../figures/AllocInducedActiveFalseSharing.fig | 54 + .../figures/AllocInducedPassiveFalseSharing.fig | 58 + doc/papers/llheap/figures/AllocatedObject.fig | 28 + doc/papers/llheap/figures/AllocatorComponents.fig | 67 + .../llheap/figures/AllocatorComponents.fig.bak | 67 + doc/papers/llheap/figures/CoalesceAllocated.fig | 24 + doc/papers/llheap/figures/CoalesceFree.fig | 27 + doc/papers/llheap/figures/CondSigWait.fig | 70 + doc/papers/llheap/figures/Container.fig | 29 + .../llheap/figures/ContainerFalseSharing1.fig | 48 + .../llheap/figures/ContainerFalseSharing2.fig | 48 + doc/papers/llheap/figures/ContainerNoOwnership.fig | 56 + .../figures/ContainerNoOwnershipFreelist.fig | 68 + doc/papers/llheap/figures/ContainerOwnership.fig | 81 + .../llheap/figures/ContainerOwnershipFreelist.fig | 63 + doc/papers/llheap/figures/ContigFragmentation.fig | 22 + doc/papers/llheap/figures/FakeHeader.fig | 24 + .../llheap/figures/FreeListAmongContainers.fig | 69 + .../llheap/figures/FreeListWithinContainers.fig | 72 + doc/papers/llheap/figures/FullCoroutinePhases.fig | 45 + doc/papers/llheap/figures/FullProdConsStack.fig | 51 + doc/papers/llheap/figures/Header.fig | 45 + doc/papers/llheap/figures/HeapStructure.fig | 103 + doc/papers/llheap/figures/IntExtFragmentation.fig | 74 + doc/papers/llheap/figures/MemoryFragmentation.fig | 64 + .../llheap/figures/MultipleHeapsNoOwnership.fig | 43 + .../llheap/figures/MultipleHeapsOwnership.fig | 39 + .../figures/MultipleHeapsOwnershipStorage.fig | 240 + doc/papers/llheap/figures/MultipleHeapsStorage.fig | 172 + doc/papers/llheap/figures/NewHeapStructure.eps | 242 + .../llheap/figures/NonContigFragmentation.fig | 31 + doc/papers/llheap/figures/ObjectHeaders.fig | 33 + doc/papers/llheap/figures/PerThreadHeap.fig | 44 + doc/papers/llheap/figures/PrivatePublicHeaps.fig | 91 + doc/papers/llheap/figures/ProgramFalseSharing.fig | 56 + doc/papers/llheap/figures/RemoteFreeList.fig | 59 + doc/papers/llheap/figures/RunTimeStructure.fig | 171 + doc/papers/llheap/figures/SharedHeaps.fig | 59 + doc/papers/llheap/figures/SingleHeap.fig | 38 + doc/papers/llheap/figures/SuperContainers.fig | 66 + doc/papers/llheap/figures/UserKernelHeaps.fig | 59 + doc/papers/llheap/figures/llheap.fig | 177 + doc/papers/llheap/local.bib | 704 + doc/proposals/alt-enums.md | 179 + doc/theses/colby_parsons_MMAth/Makefile | 96 +- .../benchmarks/actors/data/nasus_CFA.txt | 32 +- .../benchmarks/actors/data/pyke_CFA.txt | 32 +- .../benchmarks/actors/plotData.py | 5 +- .../benchmarks/channels/plotData.py | 7 +- .../benchmarks/mutex_stmt/plotData.py | 5 +- .../colby_parsons_MMAth/benchmarks/mutex_stmt/run | 2 +- .../colby_parsons_MMAth/code/swap_queues.cfa | 55 +- .../figures/nasus_Aggregate_Lock_2.pgf | 202 +- .../figures/nasus_Aggregate_Lock_4.pgf | 258 +- .../figures/nasus_Aggregate_Lock_8.pgf | 204 +- .../figures/nasus_Channel_Contention.pgf | 100 +- .../figures/pyke_Aggregate_Lock_2.pgf | 198 +- .../figures/pyke_Aggregate_Lock_4.pgf | 260 +- .../figures/pyke_Aggregate_Lock_8.pgf | 204 +- .../figures/pyke_Channel_Contention.pgf | 100 +- doc/theses/colby_parsons_MMAth/glossary.tex | 8 +- doc/theses/colby_parsons_MMAth/local.bib | 45 + .../colby_parsons_MMAth/style/cfa-format.tex | 128 - doc/theses/colby_parsons_MMAth/style/style.tex | 2 + .../colby_parsons_MMAth/text/CFA_concurrency.tex | 4 +- doc/theses/colby_parsons_MMAth/text/CFA_intro.tex | 66 +- doc/theses/colby_parsons_MMAth/text/actors.tex | 1 + doc/theses/colby_parsons_MMAth/text/channels.tex | 552 +- doc/theses/colby_parsons_MMAth/text/frontpgs.tex | 7 +- doc/theses/colby_parsons_MMAth/text/intro.tex | 5 +- doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex | 70 +- doc/theses/colby_parsons_MMAth/text/waituntil.tex | 75 + doc/theses/colby_parsons_MMAth/thesis.tex | 2 + doc/theses/colby_parsons_MMAth/version | 1 - doc/theses/colby_parsons_MMAth/version.sh | 6 - .../pictures/lst-issues-direct.vsdx | Bin 77888 -> 77886 bytes doc/theses/rob_schluntz_MMath/thesis.bib | 134 +- driver/cfa.cc | 8 +- libcfa/src/Makefile.am | 2 +- libcfa/src/bits/weakso_locks.cfa | 8 +- libcfa/src/bits/weakso_locks.hfa | 14 +- libcfa/src/concurrency/channel.hfa | 402 +- libcfa/src/concurrency/future.hfa | 55 +- libcfa/src/concurrency/invoke.h | 7 +- libcfa/src/concurrency/locks.cfa | 182 +- libcfa/src/concurrency/locks.hfa | 339 +- libcfa/src/concurrency/mutex_stmt.hfa | 25 +- libcfa/src/concurrency/preemption.cfa | 2 +- libcfa/src/concurrency/select.cfa | 59 + libcfa/src/concurrency/select.hfa | 207 +- libcfa/src/concurrency/thread.cfa | 5 +- src/AST/Convert.cpp | 83 +- src/AST/Decl.cpp | 2 +- src/AST/Decl.hpp | 30 +- src/AST/Fwd.hpp | 4 + src/AST/Node.cpp | 6 + src/AST/Pass.hpp | 4 + src/AST/Pass.impl.hpp | 159 +- src/AST/Pass.proto.hpp | 95 +- src/AST/Print.cpp | 72 +- src/AST/Stmt.hpp | 93 +- src/AST/SymbolTable.cpp | 32 + src/AST/SymbolTable.hpp | 7 + src/AST/Type.cpp | 1 + src/AST/Visitor.hpp | 4 + src/CodeGen/CodeGenerator.cc | 25 +- src/CodeGen/CodeGenerator.h | 1 + src/Common/CodeLocationTools.cpp | 4 + src/Common/PassVisitor.h | 9 + src/Common/PassVisitor.impl.h | 108 +- src/Common/PassVisitor.proto.h | 25 + src/Concurrency/WaitforNew.cpp | 8 +- src/Concurrency/Waituntil.cpp | 1413 + src/Concurrency/Waituntil.hpp | 33 + src/Concurrency/module.mk | 4 +- src/GenPoly/Box.cc | 5 + src/Parser/DeclarationNode.cc | 68 +- src/Parser/DeclarationNode.h | 12 +- src/Parser/StatementNode.cc | 93 +- src/Parser/StatementNode.h | 4 + src/Parser/TypeData.cc | 40 +- src/Parser/TypeData.h | 13 +- src/Parser/lex.ll | 6 +- src/Parser/parser.yy | 40 +- src/ResolvExpr/Resolver.cc | 8 +- src/SymTab/Indexer.cc | 20 + src/SymTab/Indexer.h | 3 + src/SymTab/Validate.cc | 5 + src/SynTree/Declaration.h | 37 +- src/SynTree/Mutator.h | 2 + src/SynTree/SynTree.h | 2 + src/SynTree/Type.h | 33 + src/SynTree/Visitor.h | 4 + src/Validate/Autogen.cpp | 4 +- src/Validate/EliminateTypedef.cpp | 5 + src/Validate/FixQualifiedTypes.cpp | 3 + src/Validate/HoistStruct.cpp | 13 +- src/Validate/LinkReferenceToTypes.cpp | 13 + src/Validate/NoIdSymbolTable.hpp | 3 + src/Validate/ReplaceTypedef.cpp | 12 +- src/main.cc | 2 + tests/Makefile.am | 172 +- tests/PRNG.cfa | 9 +- tests/concurrent/futures/select_future.cfa | 2 - tests/concurrent/mutexstmt/.expect/scoped_lock.txt | 4 - tests/concurrent/mutexstmt/scoped_lock.cfa | 96 - tests/concurrent/unified_locking/.expect/clh.txt | 3 - tests/concurrent/unified_locking/clh.cfa | 8 - tests/concurrent/waituntil/.expect/all_types.txt | 6 + tests/concurrent/waituntil/.expect/basic_else.txt | 5 + .../concurrent/waituntil/.expect/channel_close.txt | 10 + .../waituntil/.expect/channel_zero_size.txt | 4 + tests/concurrent/waituntil/.expect/channels.txt | 6 + tests/concurrent/waituntil/.expect/futures.txt | 2 + tests/concurrent/waituntil/.expect/locks.txt | 6 + tests/concurrent/waituntil/.expect/one_chan.txt | 5 + tests/concurrent/waituntil/.expect/timeout.txt | 6 + tests/concurrent/waituntil/all_types.cfa | 119 + tests/concurrent/waituntil/basic_else.cfa | 17 + tests/concurrent/waituntil/channel_close.cfa | 94 + tests/concurrent/waituntil/channel_zero_size.cfa | 50 + tests/concurrent/waituntil/channels.cfa | 87 + tests/concurrent/waituntil/futures.cfa | 61 + tests/concurrent/waituntil/locks.cfa | 73 + tests/concurrent/waituntil/one_chan.cfa | 44 + tests/concurrent/waituntil/timeout.cfa | 18 + tests/zombies/gc_no_raii/bug-repro/deref.c | 38 +- tests/zombies/gc_no_raii/bug-repro/malloc.c | 66 +- tests/zombies/gc_no_raii/bug-repro/zero.c | 50 +- tests/zombies/gc_no_raii/test/operators.c | 42 +- 424 files changed, 259506 insertions(+), 4764 deletions(-)[Pipeline] } [Pipeline] // stage [Pipeline] echo -------- Build : configure -------- [Pipeline] stage [Pipeline] { (Build : configure) [Pipeline] dir Running in /var/lib/jenkins/workspace/Cforall_ADT [Pipeline] { [Pipeline] sh + ./autogen.sh Running aclocal in root Running libtoolize in root libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'automake'. libtoolize: linking file 'automake/ltmain.sh' libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'automake'. libtoolize: linking file 'automake/libtool.m4' libtoolize: linking file 'automake/ltoptions.m4' libtoolize: linking file 'automake/ltsugar.m4' libtoolize: linking file 'automake/ltversion.m4' libtoolize: linking file 'automake/lt~obsolete.m4' Running autoconf in root Running automake in root configure.ac:223: installing 'automake/compile' configure.ac:138: installing 'automake/config.guess' configure.ac:138: installing 'automake/config.sub' configure.ac:17: installing 'automake/install-sh' benchmark/Makefile.am: installing 'automake/depcomp' parallel-tests: installing 'automake/test-driver' configure.ac: installing 'automake/ylwrap' Running aclocal in libcfa Running libtoolize in libcfa libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'automake'. libtoolize: linking file 'automake/ltmain.sh' libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'automake'. libtoolize: linking file 'automake/libtool.m4' libtoolize: linking file 'automake/ltoptions.m4' libtoolize: linking file 'automake/ltsugar.m4' libtoolize: linking file 'automake/ltversion.m4' libtoolize: linking file 'automake/lt~obsolete.m4' Running autoconf in libcfa Running automake in libcfa configure.ac:119: installing 'automake/compile' configure.ac:119: installing 'automake/config.guess' configure.ac:119: installing 'automake/config.sub' configure.ac:12: installing 'automake/install-sh' src/Makefile.am: installing 'automake/depcomp' [Pipeline] } [Pipeline] // dir [Pipeline] dir Running in /var/lib/jenkins/workspace/Cforall_ADT@tmp [Pipeline] { [Pipeline] sh + /var/lib/jenkins/workspace/Cforall_ADT/configure CXX=g++-11 CC=gcc-11 --host=x86_64 AR=gcc-ar RANLIB=gcc-ranlib --with-target-hosts=host:debug --quiet --prefix=/var/lib/jenkins/workspace/Cforall_ADT@tmp [Pipeline] sh + nproc + make -j 16 --no-print-directory configure-libcfa libcfa/x64-debug/config.data Configuring libcfa (/var/lib/jenkins/workspace/Cforall_ADT/libcfa/configure) with ''CXX=g++-11' 'CC=gcc-11' 'AR=gcc-ar' 'RANLIB=gcc-ranlib' '--prefix=/var/lib/jenkins/workspace/Cforall_ADT@tmp' DRIVER_DIR=/var/lib/jenkins/workspace/Cforall_ADT@tmp/driver/ ARCHITECTURE=x64 CONFIGURATION=debug CFA_VERSION=1:0:0' from /var/lib/jenkins/workspace/Cforall_ADT@tmp / libcfa/x64-debug/ checking whether make supports nested variables... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for distributated build... no checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking how to print strings... printf checking whether make supports the include directive... yes (GNU style) checking for gcc... gcc-11 checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc-11 accepts -g... yes checking for gcc-11 option to accept ISO C89... none needed checking whether gcc-11 understands -c and -o together... yes checking dependency style of gcc-11... gcc3 checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by gcc-11... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... gcc-ranlib checking command to parse /usr/bin/nm -B output from gcc-11 object... ok checking for sysroot... no checking for a working dd... /usr/bin/dd checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 checking for mt... mt checking if mt is a manifest tool... no checking how to run the C preprocessor... gcc-11 -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc-11 supports -fno-rtti -fno-exceptions... no checking for gcc-11 option to produce PIC... -fPIC -DPIC checking if gcc-11 PIC flag -fPIC -DPIC works... yes checking if gcc-11 static flag -static works... yes checking if gcc-11 supports -c -o file.o... yes checking if gcc-11 supports -c -o file.o... (cached) yes checking whether the gcc-11 linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking whether we are using the GNU C++ compiler... yes checking whether g++-11 accepts -g... yes checking dependency style of g++-11... gcc3 checking how to run the C++ preprocessor... g++-11 -E checking for ld used by g++-11... /usr/bin/ld -m elf_x86_64 checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++-11 linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++-11 option to produce PIC... -fPIC -DPIC checking if g++-11 PIC flag -fPIC -DPIC works... yes checking if g++-11 static flag -static works... yes checking if g++-11 supports -c -o file.o... yes checking if g++-11 supports -c -o file.o... (cached) yes checking whether the g++-11 linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for gcc... (cached) gcc-11 checking whether we are using the GNU C compiler... (cached) yes checking whether gcc-11 accepts -g... (cached) yes checking for gcc-11 option to accept ISO C89... (cached) none needed checking whether gcc-11 understands -c and -o together... (cached) yes checking dependency style of gcc-11... (cached) gcc3 checking dependency style of gcc-11... gcc3 checking whether make sets $(MAKE)... (cached) yes checking linux/rseq.h usability... yes checking linux/rseq.h presence... yes checking for linux/rseq.h... yes checking for rseq_available in -lrseq... no checking linux/io_uring.h usability... yes checking linux/io_uring.h presence... yes checking for linux/io_uring.h... yes checking liburing.h usability... yes checking liburing.h presence... yes checking for liburing.h... yes checking for io_uring_get_probe in -luring... yes checking whether IORING_OP_NOP is declared... yes checking whether IORING_OP_READV is declared... yes checking whether IORING_OP_WRITEV is declared... yes checking whether IORING_OP_FSYNC is declared... yes checking whether IORING_OP_READ_FIXED is declared... yes checking whether IORING_OP_WRITE_FIXED is declared... yes checking whether IORING_OP_POLL_ADD is declared... yes checking whether IORING_OP_POLL_REMOVE is declared... yes checking whether IORING_OP_SYNC_FILE_RANGE is declared... yes checking whether IORING_OP_SENDMSG is declared... yes checking whether IORING_OP_RECVMSG is declared... yes checking whether IORING_OP_TIMEOUT is declared... yes checking whether IORING_OP_TIMEOUT_REMOVE is declared... yes checking whether IORING_OP_ACCEPT is declared... yes checking whether IORING_OP_ASYNC_CANCEL is declared... yes checking whether IORING_OP_LINK_TIMEOUT is declared... yes checking whether IORING_OP_CONNECT is declared... yes checking whether IORING_OP_FALLOCATE is declared... yes checking whether IORING_OP_OPENAT is declared... yes checking whether IORING_OP_CLOSE is declared... yes checking whether IORING_OP_FILES_UPDATE is declared... yes checking whether IORING_OP_STATX is declared... yes checking whether IORING_OP_READ is declared... yes checking whether IORING_OP_WRITE is declared... yes checking whether IORING_OP_FADVISE is declared... yes checking whether IORING_OP_MADVISE is declared... yes checking whether IORING_OP_SEND is declared... yes checking whether IORING_OP_RECV is declared... yes checking whether IORING_OP_OPENAT2 is declared... yes checking whether IORING_OP_EPOLL_CTL is declared... yes checking whether IORING_OP_SPLICE is declared... yes checking whether IORING_OP_PROVIDE_BUFFERS is declared... yes checking whether IORING_OP_REMOVE_BUFFER is declared... no checking whether IORING_OP_TEE is declared... no checking whether IOSQE_FIXED_FILE is declared... yes checking whether IOSQE_IO_DRAIN is declared... yes checking whether IOSQE_IO_LINK is declared... yes checking whether IOSQE_IO_HARDLINK is declared... yes checking whether IOSQE_ASYNC is declared... yes checking whether IOSQE_BUFFER_SELECT is declared... yes checking whether SPLICE_F_FD_IN_FIXED is declared... yes checking whether IORING_SETUP_ATTACH_WQ is declared... yes checking whether IORING_REGISTER_IOWQ_MAX_WORKERS is declared... no checking for preadv2... yes checking for pwritev2... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating prelude/Makefile config.status: creating src/concurrency/io/call.cfa config.status: creating prelude/defines.hfa config.status: executing depfiles commands config.status: executing libtool commands Cforall library configuraton completed. Type "make -j 8 install". [Pipeline] } [Pipeline] // dir [Pipeline] } [Pipeline] // stage [Pipeline] echo -------- Build : cfa-cpp -------- [Pipeline] stage [Pipeline] { (Build : cfa-cpp) [Pipeline] dir Running in /var/lib/jenkins/workspace/Cforall_ADT@tmp [Pipeline] { [Pipeline] sh + nproc + make -j 16 --no-print-directory -C driver CXX as.o CXX cfa.o CXX cc1.o CXXLD as CXXLD cc1 CXXLD cfa [Pipeline] sh + nproc + make -j 16 --no-print-directory -C src YACC Parser/parser.cc /var/lib/jenkins/workspace/Cforall_ADT/src/Parser/parser.yy: warning: 10 shift/reduce conflicts [-Wconflicts-sr] /var/lib/jenkins/workspace/Cforall_ADT/src/Parser/parser.yy: warning: 5 reduce/reduce conflicts [-Wconflicts-rr] updating Parser/parser.output updating Parser/parser.hh make all-am CXX main.o CXX MakeLibCfa.o CXX CompilationState.o CXX MakeLibCfaNew.o LEX Parser/lex.cc CXX SymTab/demangler.o CXX SymTab/Demangle.o CXX AST/Attribute.o CXX AST/Convert.o CXX AST/Copy.o CXX AST/Create.o CXX AST/Decl.o CXX AST/DeclReplacer.o CXX AST/Expr.o CXX AST/GenericSubstitution.o CXX AST/Init.o CXX AST/Inspect.o CXX AST/LinkageSpec.o CXX AST/Node.o CXX AST/Pass.o CXX AST/Print.o CXX AST/Stmt.o CXX AST/SymbolTable.o CXX AST/Type.o CXX AST/TypeEnvironment.o CXX AST/TypeSubstitution.o CXX AST/Util.o CXX CodeGen/FixMain2.o CXX CodeGen/OperatorTable.o CXX CodeGen/CodeGenerator.o CXX CodeGen/Generate.o CXX CodeGen/FixMain.o CXX CodeGen/FixNames.o CXX CodeGen/GenType.o CXX CodeGen/LinkOnce.o CXX CodeTools/DeclStats.o CXX CodeTools/ResolvProtoDump.o CXX CodeTools/TrackLoc.o CXX Concurrency/Actors.o CXX Concurrency/KeywordsNew.o CXX Concurrency/Keywords.o CXX Concurrency/WaitforNew.o CXX Concurrency/Waitfor.o CXX Concurrency/Waituntil.o CXX Common/Assert.o CXX Common/CodeLocationTools.o CXX Common/DeclStats.o CXX Common/Eval.o CXX Common/Examine.o CXX Common/Indenter.o CXX Common/PassVisitor.o CXX Common/ResolvProtoDump.o CXX Common/SemanticError.o CXX Common/Stats/Counter.o CXX Common/Stats/Heap.o CXX Common/Stats/ResolveTime.o CXX Common/Stats/Stats.o CXX Common/Stats/Time.o CXX Common/UniqueName.o CXX Common/DebugMalloc.o CXX ControlStruct/ExceptDecl.o CXX ControlStruct/ExceptDeclNew.o CXX ControlStruct/ExceptTranslateNew.o CXX ControlStruct/ExceptTranslate.o CXX ControlStruct/FixLabels.o CXX ControlStruct/ForExprMutator.o CXX ControlStruct/HoistControlDecls.o CXX ControlStruct/LabelFixer.o CXX ControlStruct/LabelGenerator.o CXX ControlStruct/LabelGeneratorNew.o CXX ControlStruct/MLEMutator.o CXX ControlStruct/MultiLevelExit.o CXX ControlStruct/Mutate.o CXX GenPoly/GenPoly.o CXX GenPoly/Lvalue2.o CXX GenPoly/Box.o CXX GenPoly/FindFunction.o CXX GenPoly/InstantiateGenericNew.o CXX GenPoly/InstantiateGeneric.o CXX GenPoly/LvalueNew.o CXX GenPoly/Lvalue.o CXX GenPoly/ScrubTyVars.o CXX GenPoly/Specialize.o CXX GenPoly/SpecializeNew.o CXX InitTweak/GenInit.o /var/lib/jenkins/workspace/Cforall_ADT/src/InitTweak/GenInit.cc:301:9: warning: #warning Remove the _New suffix after the conversion is complete. [-Wcpp] 301 | # warning Remove the _New suffix after the conversion is complete. | ^~~~~~~ CXX InitTweak/InitTweak.o CXX InitTweak/FixGlobalInit.o CXX InitTweak/FixInit.o CXX InitTweak/FixInitNew.o CXX Parser/DeclarationNode.o /var/lib/jenkins/workspace/Cforall_ADT/src/Parser/DeclarationNode.cc: In function ‘ast::UnionDecl* buildDataUnion(const CodeLocation&, const std::vector