aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix concurrency issuesSebastiano Tronto2024-10-063-44/+73
| | | | | So I did not have any misconception about Atomics, I just could not apply it where I did because the logic doesn't allow for it.
* Remove unnecessary _AtomicsSebastiano Tronto2024-10-054-27/+34
|
* Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-10-052-1/+97
|\
| * Added expected distributionsSebastiano Tronto2024-10-052-1/+97
| |
* | Fix rare data raceSebastiano Tronto2024-10-055-30/+30
|/ | | | | | I had some misconception about how _Atomic and const worked. This means the previous commit (expected distribution) could be incorrect.
* Added distribution check to toolSebastiano Tronto2024-10-054-5/+97
|
* Add transformations.mdSebastiano Tronto2024-10-041-0/+9
|
* Removed excessive LOG from gendata cocsepSebastiano Tronto2024-10-041-2/+0
|
* Avoid repeating typedefs in testsSebastiano Tronto2024-10-0420-261/+170
|
* Removed slow testSebastiano Tronto2024-10-043-108/+0
| | | | | | | | This test generated a pruning table and it was too slow (around a minute). Now the whole test suite runs in 49s on my laptop, which is more reasonable. Pruning table generation should be tested with tools. They run in release mode and are much faster, but can be still run in debug mode optionally.
* Revert table-based transformationsSebastiano Tronto2024-10-0411-863/+600
| | | | Long live the giant switch!
* Table-based transformations (will revert immediately)Sebastiano Tronto2024-10-0410-383/+467
| | | | | | | | This commit changes transformations to being based on a lookup table intead of a big switch. This is something I had planned for a long time and the code is nicer with this change. But unfortunately the performance is noticeably worse, so I'll revert all these changes in the next commit. I wanted to push this anyway so we can keep track of this.
* Added documentation on how to run derivedataSebastiano Tronto2024-10-041-0/+11
|
* Clean up tool outputSebastiano Tronto2024-10-047-29/+34
|
* Remove more locksSebastiano Tronto2024-10-031-23/+19
|
* Removed useless lockSebastiano Tronto2024-10-031-9/+1
|
* Improve gendata performance by replacing locks with atomic operationsSebastiano Tronto2024-10-036-63/+54
|
* Made test 120 (gendata h0k4) fasterSebastiano Tronto2024-10-033-3/+2
| | | | | | The test is still slow (around 25 seconds on gazelle). This is probably because of how sanitizers interact with multi-threading, and the fact that there is a lot of locking going on.
* Do not run make clean automatically on every build and other Makefile changesSebastiano Tronto2024-10-034-24/+23
|
* Updated h48 docSebastiano Tronto2024-10-011-22/+81
|
* Renamed macros in shell.cSebastiano Tronto2024-10-011-56/+56
|
* Merge pull request #3 from enricotenuti/masterSebastiano Tronto2024-09-296-7/+315
|\ | | | | Threaded solver
| * Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-2933-347/+538
| |\ | |/ |/| | | Merge upstream
* | Use address and UB sanitizers by default, alwaysSebastiano Tronto2024-09-281-12/+5
| |
* | Solved alignment UB issueSebastiano Tronto2024-09-284-32/+36
| |
* | oopsieSebastiano Tronto2024-09-271-1/+1
| |
* | Made table derivation tool more flexibleSebastiano Tronto2024-09-275-41/+73
| | | | | | | | | | | | | | | | | | | | So apparently my RAM is broken. That took me a while to figure out. While I get a replacement, I have to restrict myself to a weaker test for the intermediate tables: instead of deriving them from the huge table and checking that they are the same, I have to derive a small h0k2 table from the intermediate ones and check that it is correct. This is not a 100% proof of correctness, but it is good enough (and much faster).
* | Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-271-1/+4
|\ \
| * | Fixed checkdataSebastiano Tronto2024-09-271-1/+4
| | |
* | | Use constant instead of magic numberSebastiano Tronto2024-09-274-18/+14
| | |
* | | Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-2728-295/+279
|\| |
| * | small fixSebastiano Tronto2024-09-261-1/+1
| | |
| * | I'm stupidSebastiano Tronto2024-09-261-0/+1
| | |
| * | Added checkdata toolSebastiano Tronto2024-09-264-29/+84
| | |
| * | Added checkdata functionSebastiano Tronto2024-09-265-1/+104
| | |
| * | Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-2622-294/+122
| | |
* | | First try for derive tablesSebastiano Tronto2024-09-275-7/+186
|/ /
| * minor changes for PRenricotenuti2024-09-295-18/+16
| |
| * No malloc, static tasks pollenricotenuti2024-09-282-12/+11
| |
| * go back to non atomic activeenricotenuti2024-09-281-2/+4
| |
| * format fix thread.henricotenuti2024-09-272-12/+4
| |
| * Fixed solutions vector, added constantsenricotenuti2024-09-263-10/+16
| |
| * Fixed nsols, added atomic vars where possibleenricotenuti2024-09-251-12/+8
| |
| * Fixed multithread search, todo multiple scramble memory releaseenricotenuti2024-09-241-92/+66
| |
| * Merge branch 'sebastianotronto:master' into masterEnrico Tenuti2024-09-242-137/+230
| |\ | |/ |/|
* | Added comment on performance issueSebastiano Tronto2024-09-201-0/+13
| |
* | Simplified code for h4k0Sebastiano Tronto2024-09-201-87/+42
| |
* | Merge branch 'master' of github.com:sebastianotronto/h48Sebastiano Tronto2024-09-191-106/+232
|\ \
| * | Fix regressionSebastiano Tronto2024-09-191-4/+4
| | |
| * | cleanupSebastiano Tronto2024-09-191-65/+2
| | |

Generated with cgit - Back to sebastiano.tronto.net