updated README.md
added lock-based dining philosophers example
Added ABCL support; tested on CCL on Raspberry PI
updated README to renamed link example/dining-philosophers-stmx.lisp
updated doc/introduction.md with updated benchmark results and ABCL support
fixed layout in consistent-reads.md
further optimized PUT, TAKE, TRY-PUT and TRY-TAKE on tvars
moved test/fit.lisp to util/fit.lisp
repeated benchmarks
fixed comments
Removed pool-size from tlog
added (bordeaux-threads:thread-yield) before re-executing a transaction from the beginning
updated benchmark
rewritten after-commit to run the registered forms OUTSIDE any transaction
optimization: replaced fast vector tlog-changed with a fifo referencing an invasive list
updated benchmarks
Further optimized COMMIT.
New transactional class SIMPLE-TVECTOR.
replaced TAB characters with spaces
added ATOMIC-POP macro, wraps the SBCL function with the same name
Added reference to Lee-STMX benchmark
renamed fast-$ to $-tx and (setf fast-$) to (setf $-tx)
new functions $-notx and (setf $-notx)
renamed fast-$ to $-tx and (setf fast-$) to (setf $-tx) \u2026
new functions $-notx and (setf $-notx)
optimization: declaimed tsvref and its variants as inline