This is the stmx Reference Manual, version 2.0.5, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon May 15 06:31:51 2023 GMT+0.
stmx/stmx.asdstmx/asm/package.lispstmx/asm/compiler.lispstmx/asm/x86-32,64-known.lispstmx/asm/x86-32,64-insts.lispstmx/asm/x86-32,64-vops.lispstmx/asm/cpuid.lispstmx/asm/transaction.lispstmx/lang/package.lispstmx/lang/macro.lispstmx/lang/features.lispstmx/lang/features-reader.lispstmx/lang/thread.lispstmx/lang/features-detect.lispstmx/lang/hw-transactions.lispstmx/lang/atomic-ops.lispstmx/lang/mutex.lispstmx/lang/atomic-counter.lispstmx/lang/cons.lispstmx/lang/fast-vector.lispstmx/lang/hash-table.lispstmx/lang/print.lispstmx/lang/class-precedence-list.lispstmx/main/package.lispstmx/main/version.lispstmx/main/global-clock.lispstmx/main/tvar-fwd.lispstmx/main/classes.lispstmx/main/txhash.lispstmx/main/tlog.lispstmx/main/tvar.lispstmx/main/optimize-for.lispstmx/main/tvar-slot.lispstmx/main/tstruct.lispstmx/main/tclass.lispstmx/main/tslot.lispstmx/main/hw-atomic.lispstmx/main/commit.lispstmx/main/sw-atomic.lispstmx/main/atomic.lispstmx/main/orelse.lispstmx/util/package.lispstmx/util/misc.lispstmx/util/print.lispstmx/util/container.lispstmx/util/tcons.lispstmx/util/tcons-list.lispstmx/util/tcons-alist.lispstmx/util/tcons-set.lispstmx/util/tcons-tree.lispstmx/util/tcons-higher.lispstmx/util/tvar.lispstmx/util/tcell.lispstmx/util/tstack.lispstmx/util/tfifo.lispstmx/util/tchannel.lispstmx/util/bheap.lispstmx/util/gmap.lispstmx/util/rbmap.lispstmx/util/tmap.lispstmx/util/simple-tvector.lispstmx/util/ghash-table.lispstmx/util/thash-table.lispThe main system appears first, followed by any subsystem dependency.
Modules are listed depth-first from the system components tree.
stmx/asmstmx (system).
package.lisp (file).
compiler.lisp (file).
x86-32,64-known.lisp (file).
x86-32,64-insts.lisp (file).
x86-32,64-vops.lisp (file).
cpuid.lisp (file).
transaction.lisp (file).
stmx/langasm (module).
stmx (system).
package.lisp (file).
macro.lisp (file).
features.lisp (file).
features-reader.lisp (file).
thread.lisp (file).
features-detect.lisp (file).
hw-transactions.lisp (file).
atomic-ops.lisp (file).
mutex.lisp (file).
atomic-counter.lisp (file).
cons.lisp (file).
fast-vector.lisp (file).
hash-table.lisp (file).
print.lisp (file).
class-precedence-list.lisp (file).
stmx/mainlang (module).
stmx (system).
package.lisp (file).
version.lisp (file).
global-clock.lisp (file).
tvar-fwd.lisp (file).
classes.lisp (file).
txhash.lisp (file).
tlog.lisp (file).
tvar.lisp (file).
optimize-for.lisp (file).
tvar-slot.lisp (file).
tstruct.lisp (file).
tclass.lisp (file).
tslot.lisp (file).
hw-atomic.lisp (file).
commit.lisp (file).
sw-atomic.lisp (file).
atomic.lisp (file).
orelse.lisp (file).
stmx/utilstmx (system).
package.lisp (file).
misc.lisp (file).
print.lisp (file).
container.lisp (file).
tcons.lisp (file).
tcons-list.lisp (file).
tcons-alist.lisp (file).
tcons-set.lisp (file).
tcons-tree.lisp (file).
tcons-higher.lisp (file).
tvar.lisp (file).
tcell.lisp (file).
tstack.lisp (file).
tfifo.lisp (file).
tchannel.lisp (file).
bheap.lisp (file).
gmap.lisp (file).
rbmap.lisp (file).
tmap.lisp (file).
simple-tvector.lisp (file).
ghash-table.lisp (file).
thash-table.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
stmx/stmx.asdstmx/asm/package.lispstmx/asm/compiler.lispstmx/asm/x86-32,64-known.lispstmx/asm/x86-32,64-insts.lispstmx/asm/x86-32,64-vops.lispstmx/asm/cpuid.lispstmx/asm/transaction.lispstmx/lang/package.lispstmx/lang/macro.lispstmx/lang/features.lispstmx/lang/features-reader.lispstmx/lang/thread.lispstmx/lang/features-detect.lispstmx/lang/hw-transactions.lispstmx/lang/atomic-ops.lispstmx/lang/mutex.lispstmx/lang/atomic-counter.lispstmx/lang/cons.lispstmx/lang/fast-vector.lispstmx/lang/hash-table.lispstmx/lang/print.lispstmx/lang/class-precedence-list.lispstmx/main/package.lispstmx/main/version.lispstmx/main/global-clock.lispstmx/main/tvar-fwd.lispstmx/main/classes.lispstmx/main/txhash.lispstmx/main/tlog.lispstmx/main/tvar.lispstmx/main/optimize-for.lispstmx/main/tvar-slot.lispstmx/main/tstruct.lispstmx/main/tclass.lispstmx/main/tslot.lispstmx/main/hw-atomic.lispstmx/main/commit.lispstmx/main/sw-atomic.lispstmx/main/atomic.lispstmx/main/orelse.lispstmx/util/package.lispstmx/util/misc.lispstmx/util/print.lispstmx/util/container.lispstmx/util/tcons.lispstmx/util/tcons-list.lispstmx/util/tcons-alist.lispstmx/util/tcons-set.lispstmx/util/tcons-tree.lispstmx/util/tcons-higher.lispstmx/util/tvar.lispstmx/util/tcell.lispstmx/util/tstack.lispstmx/util/tfifo.lispstmx/util/tchannel.lispstmx/util/bheap.lispstmx/util/gmap.lispstmx/util/rbmap.lispstmx/util/tmap.lispstmx/util/simple-tvector.lispstmx/util/ghash-table.lispstmx/util/thash-table.lispstmx/asm/compiler.lisppackage.lisp (file).
asm (module).
+impl-package+ (constant).
compile-if (function).
compile-if-package (function).
compile-if-symbol (function).
find-symbol* (function).
symbol-name* (function).
+defknown-has-overwrite-fndb-silently+ (constant).
compile-if-sbcl-disassem<=32-bit (function).
compile-if-sbcl-lacks-rtm-instructions (function).
defknown (macro).
int-list>= (function).
lisp-version>= (function).
split-string (function).
string-to-int-list (function).
stmx/asm/x86-32,64-known.lispcompiler.lisp (file).
asm (module).
stmx/asm/x86-32,64-insts.lispx86-32,64-known.lisp (file).
asm (module).
stmx/asm/x86-32,64-vops.lispx86-32,64-insts.lisp (file).
asm (module).
+transaction-started+ (constant).
stmx/asm/cpuid.lispx86-32,64-vops.lisp (file).
asm (module).
cpuid (function).
lock-elision-supported-p (function).
transaction-supported-p (function).
stmx/asm/transaction.lispx86-32,64-vops.lisp (file).
asm (module).
+transaction-user-abort+ (constant).
transaction-abort (function).
transaction-begin (function).
transaction-end (function).
transaction-rerun-may-succeed-p (function).
transaction-running-p (function).
transaction-abort-macro (macro).
stmx/lang/macro.lisppackage.lisp (file).
lang (module).
aif (macro).
awhen (macro).
concat-symbols (function).
do-tree (macro).
eval-always (macro).
if-bind (macro).
let1 (macro).
log.debug (macro).
log.make-logger (macro).
log.trace (macro).
new (macro).
stringify (function).
when-bind (macro).
with-gensym (macro).
with-gensyms (macro).
+it+ (special variable).
visit-tree (function).
stmx/lang/features.lispmacro.lisp (file).
lang (module).
all-features (function).
assoc-feature (function).
default-feature (function).
default-features (function).
get-feature (function).
set-feature (function).
set-features (function).
*feature-list* (special variable).
clear-features (function).
intern-feature (function).
rem-feature (function).
some-features (function).
stmx/lang/features-reader.lispfeatures.lisp (file).
lang (module).
enable-#?-syntax (macro).
%enable-#?-syntax (function).
compile-ensure-1-arg (function).
compile-ensure-2-args (function).
compile-if-and (function).
compile-if-eql (function).
compile-if-error (function).
compile-if-eval (function).
compile-if-not (function).
compile-if-or (function).
compile-if-symbol (function).
compile-if-transformer (function).
stmx/lang/thread.lispfeatures-reader.lisp (file).
lang (module).
*current-thread* (special variable).
ensure-thread-initial-binding (function).
ensure-thread-initial-bindings (function).
save-thread-initial-bindings (macro).
start-multithreading (function).
start-thread (function).
wait4-thread (function).
compile-log-warn (macro).
detect-thread-support (function).
stmx/lang/features-detect.lispthread.lisp (file).
lang (module).
define-constant-once (macro).
define-global (macro).
stmx/lang/hw-transactions.lispfeatures-detect.lisp (file).
lang (module).
+hw-transaction-started+ (constant).
+hw-transaction-supported+ (constant).
hw-transaction-abort (macro).
hw-transaction-begin (macro).
hw-transaction-end (macro).
hw-transaction-rerun-may-succeed? (macro).
hw-transaction-running? (macro).
hw-transaction-supported-and-running? (macro).
hw-transaction-supported? (macro).
stmx/lang/atomic-ops.lispfeatures-detect.lisp (file).
lang (module).
atomic-compare-and-swap (macro).
atomic-decf (macro).
atomic-incf (macro).
atomic-num (type).
atomic-pop (macro).
mem-read-barrier (macro).
mem-write-barrier (macro).
atomic-push (macro).
atomic-t (type).
stmx/lang/mutex.lispatomic-ops.lisp (file).
lang (module).
make-mutex (function).
mutex (structure).
mutex-is-free? (function).
mutex-is-own-or-free? (function).
mutex-is-own? (function).
mutex-owner (reader).
(setf mutex-owner) (writer).
release-mutex (function).
try-acquire-mutex (function).
with-lock (macro).
%make-mutex (function).
copy-mutex (function).
lock-owner (function).
mutex-p (function).
stmx/lang/atomic-counter.lispatomic-ops.lisp (file).
mutex.lisp (file).
lang (module).
atomic-counter (structure).
atomic-counter-num (type).
atomic-counter-slot-type (type).
get-atomic-counter (function).
get-atomic-counter-plus-delta (function).
get-atomic-place (macro).
get-atomic-place-plus-delta (macro).
incf-atomic-counter (function).
incf-atomic-place (macro).
make-atomic-counter (function).
set-atomic-counter (function).
set-atomic-place (macro).
%make-atomic-counter (function).
atomic-counter-p (function).
atomic-counter-version (reader).
(setf atomic-counter-version) (writer).
copy-atomic-counter (function).
positive-fixnum (type).
stmx/lang/cons.lispthread.lisp (file).
lang (module).
cons^ (function).
free-cons^ (function).
free-list^ (function).
pop-free-cons^ (macro).
push^ (macro).
*cons-pool* (special variable).
stmx/lang/fast-vector.lispmacro.lisp (file).
lang (module).
do-fast-vector (macro).
fast-vector (structure).
fast-vector-capacity (function).
fast-vector-clear (function).
fast-vector-length (function).
fast-vector-pop (function).
fast-vector-pop-macro (macro).
fast-vector-push (function).
fast-vector-push-extend (function).
make-fast-vector (function).
%make-fast-vector (function).
+empty-vector+ (special variable).
copy-fast-vector (function).
fast-vector-initial-element (reader).
(setf fast-vector-initial-element) (writer).
fast-vector-len (reader).
(setf fast-vector-len) (writer).
fast-vector-make-array (function).
fast-vector-p (function).
fast-vector-vec (reader).
(setf fast-vector-vec) (writer).
stmx/lang/hash-table.lispcons.lisp (file).
lang (module).
clear-hash (function).
copy-hash-table (function).
do-hash (macro).
get-hash (function).
(setf get-hash) (function).
hash-table-keys (function).
hash-table-pairs (function).
hash-table-values (function).
merge-hash-tables (function).
rem-hash (function).
set-hash (function).
incf-hash-counter (macro).
stmx/lang/print.lispmacro.lisp (file).
lang (module).
defprint-object (macro).
id-of (generic function).
(setf id-of) (generic function).
~ (function).
(setf ~) (function).
*print-ids* (special variable).
compute-id-of (function).
stmx/lang/class-precedence-list.lispmacro.lisp (file).
lang (module).
clos-compute-class-precedence-list (function).
clos-tie-breaker-rule (function).
collect-all-superclasses (function).
collect-superclasses (function).
local-precedence-ordering (function).
mapappend (function).
topological-sort (function).
stmx/main/version.lisppackage.lisp (file).
main (module).
*stmx-version* (special variable).
stmx-internal-error (function).
stmx-internal-error/bug (function).
stmx/main/global-clock.lisppackage.lisp (file).
main (module).
make-load-form (method).
%gv-expand (macro).
%gv-expand0-f (function).
%gv-nohw-flag (macro).
%gvx-expand (macro).
%gvx-expand0-f (function).
*lv* (special variable).
+global-clock-delta+ (constant).
+global-clock-nohw-delta+ (constant).
+gv+ (constant).
+gv-max-stat+ (constant).
copy-gv156 (function).
copy-lv156 (function).
global-clock/decf-nohw-counter (macro).
global-clock/features (macro).
global-clock/get-nohw-counter (macro).
global-clock/hw/after-abort (macro).
global-clock/hw/start-read (macro).
global-clock/hw/start-write (macro).
global-clock/hw/stat-aborted (macro).
global-clock/hw/stat-committed (macro).
global-clock/hw/write (macro).
global-clock/incf-nohw-counter (macro).
global-clock/publish-features (function).
global-clock/sw/after-abort (macro).
global-clock/sw/start-read (macro).
global-clock/sw/start-write (macro).
global-clock/sw/stat-aborted (macro).
global-clock/sw/stat-committed (macro).
global-clock/sw/write (macro).
global-clock/valid-read? (macro).
global-clock/version-type (type).
gv1/after-abort (macro).
gv1/decf-nohw-counter (macro).
gv1/features (macro).
gv1/get-nohw-counter (macro).
gv1/hw/after-abort (macro).
gv1/hw/start-read (macro).
gv1/hw/start-write (macro).
gv1/hw/stat-aborted (macro).
gv1/hw/stat-committed (macro).
gv1/hw/write (macro).
gv1/incf-nohw-counter (macro).
gv1/start-read (macro).
gv1/start-write (macro).
gv1/stat-aborted (macro).
gv1/stat-committed (macro).
gv1/sw/after-abort (macro).
gv1/sw/start-read (macro).
gv1/sw/start-write (macro).
gv1/sw/stat-aborted (macro).
gv1/sw/stat-committed (macro).
gv1/sw/write (macro).
gv1/valid-read? (macro).
gv1/version-type (type).
gv1/write (macro).
gv156 (structure).
gv156-aborts (reader).
(setf gv156-aborts) (writer).
gv156-commits (reader).
(setf gv156-commits) (writer).
gv156-nohw-counter (reader).
(setf gv156-nohw-counter) (writer).
gv156-nohw-flag (reader).
(setf gv156-nohw-flag) (writer).
gv156-p (function).
gv156-pad1 (reader).
(setf gv156-pad1) (writer).
gv156-pad2 (reader).
(setf gv156-pad2) (writer).
gv156-pad3 (reader).
(setf gv156-pad3) (writer).
gv156-pad4 (reader).
(setf gv156-pad4) (writer).
gv156-pad5 (reader).
(setf gv156-pad5) (writer).
gv156-pad6 (reader).
(setf gv156-pad6) (writer).
gv156-pad7 (reader).
(setf gv156-pad7) (writer).
gv156-version (function).
(setf gv156-version) (function).
gv156/version-type (type).
gv5/after-abort (macro).
gv5/decf-nohw-counter (macro).
gv5/features (macro).
gv5/get-nohw-counter (macro).
gv5/hw/after-abort (macro).
gv5/hw/start-read (macro).
gv5/hw/start-write (macro).
gv5/hw/stat-aborted (macro).
gv5/hw/stat-committed (macro).
gv5/hw/write (macro).
gv5/incf-nohw-counter (macro).
gv5/start-read (macro).
gv5/start-write (macro).
gv5/stat-aborted (macro).
gv5/stat-committed (macro).
gv5/sw/after-abort (macro).
gv5/sw/start-read (macro).
gv5/sw/start-write (macro).
gv5/sw/stat-aborted (macro).
gv5/sw/stat-committed (macro).
gv5/sw/write (macro).
gv5/valid-read? (macro).
gv5/version-type (type).
gv5/write (macro).
gv6/%is-gv5-mode? (macro).
gv6/%set-gv1-mode (function).
gv6/%set-gv5-mode (function).
gv6/%update-gv-stat (function).
gv6/%update-lv-stat (macro).
gv6/decf-nohw-counter (macro).
gv6/features (macro).
gv6/get-nohw-counter (macro).
gv6/hw/after-abort (macro).
gv6/hw/start-read (macro).
gv6/hw/start-write (macro).
gv6/hw/stat-aborted (macro).
gv6/hw/stat-committed (macro).
gv6/hw/write (macro).
gv6/incf-nohw-counter (macro).
gv6/stat-aborted (macro).
gv6/stat-committed (macro).
gv6/sw/after-abort (macro).
gv6/sw/start-read (macro).
gv6/sw/start-write (macro).
gv6/sw/stat-aborted (macro).
gv6/sw/stat-committed (macro).
gv6/sw/write (macro).
gv6/valid-read? (macro).
gv6/version-type (type).
gvx-add-missing (macro).
lv156 (structure).
lv156-aborts (reader).
(setf lv156-aborts) (writer).
lv156-commits (reader).
(setf lv156-commits) (writer).
lv156-p (function).
make-gv156 (function).
make-lv156 (function).
version-type (type).
stmx/main/tvar-fwd.lispglobal-clock.lisp (file).
main (module).
+unbound-tvar+ (constant).
id-of (method).
transactional (type).
tvar (structure).
%tvar-version-and-value (function).
*tvar-id* (special variable).
+invalid-version+ (constant).
copy-tvar (function).
get-next-id (function).
make-tvar (function).
raw-value-of (function).
set-tvar-value-and-version (function).
try-lock-tvar (function).
tvar-id (reader).
tvar-id/next (macro).
tvar-p (function).
tvar-value (reader).
(setf tvar-value) (writer).
tvar-value-and-version-or-fail (function).
tvar-version (reader).
(setf tvar-version) (writer).
tvar-waiting-for (reader).
(setf tvar-waiting-for) (writer).
tvar-waiting-lock (reader).
unlock-tvar (function).
stmx/main/classes.lisptvar-fwd.lisp (file).
main (module).
id-of (method).
retry (function).
transaction? (function).
%make-txfifo (function).
%make-txhash-table (function).
*hide-tvars* (special variable).
*hw-tlog-write-version* (special variable).
*record-to-tlogs* (special variable).
*tlog* (special variable).
+txhash-default-capacity+ (constant).
compile-cerror (macro).
compile-error (macro).
copy-tlog (function).
copy-txfifo (function).
copy-txhash-table (function).
copy-txpair (function).
current-tlog (macro).
hide-tvars? (function).
hw-tlog-write-version (macro).
hw-transaction? (function).
make-tlog (function).
make-txfifo (function).
make-txhash-table (function).
maybe-yield-before-rerun (macro).
recording? (function).
rerun (function).
rerun-error (condition).
retry-error (condition).
stmx.compile-error (condition).
stmx.control-error (condition).
sw-transaction? (function).
tlog (structure).
tlog-after-commit (reader).
(setf tlog-after-commit) (writer).
tlog-before-commit (reader).
(setf tlog-before-commit) (writer).
tlog-func-vector (type).
tlog-lock (reader).
(setf tlog-lock) (writer).
tlog-locked (reader).
tlog-p (function).
tlog-parent (reader).
(setf tlog-parent) (writer).
tlog-prevent-sleep (reader).
(setf tlog-prevent-sleep) (writer).
tlog-read-version (reader).
(setf tlog-read-version) (writer).
tlog-reads (reader).
(setf tlog-reads) (writer).
tlog-semaphore (reader).
(setf tlog-semaphore) (writer).
tlog-writes (reader).
(setf tlog-writes) (writer).
txfifo (structure).
txfifo-back (reader).
(setf txfifo-back) (writer).
txfifo-front (reader).
(setf txfifo-front) (writer).
txfifo-p (function).
txhash-table (structure).
txhash-table-count (reader).
(setf txhash-table-count) (writer).
txhash-table-p (function).
txhash-table-pool (reader).
(setf txhash-table-pool) (writer).
txhash-table-vec (reader).
(setf txhash-table-vec) (writer).
txpair (function).
txpair (structure).
txpair-key (reader).
(setf txpair-key) (writer).
txpair-next (reader).
(setf txpair-next) (writer).
txpair-p (function).
txpair-rest (reader).
(setf txpair-rest) (writer).
txpair-value (reader).
(setf txpair-value) (writer).
with-recording (macro).
with-recording-to-tlog (macro).
with-tlog (macro).
without-recording-with-show-tvars (macro).
stmx/main/txhash.lispclasses.lisp (file).
main (module).
print-object (method).
+dummy-tvar+ (special variable).
+txhash-threshold-capacity+ (constant).
add-txpair-to-pool (function).
clear-txfifo (function).
clear-txhash (function).
copy-txhash-table-into (function).
do-filter-txfifo (macro).
do-filter-txfifo-entries (macro).
do-txfifo (macro).
do-txfifo-entries (macro).
do-txhash (macro).
do-txhash-entries (macro).
find-txhash (function).
get-txhash (function).
merge-txhash-tables (function).
new-txpair-from-pool (function).
put-txfifo (function).
rehash-txhash (function).
set-txhash (function).
txhash-mask (function).
txhash-subscript (function).
stmx/main/tlog.lisptxhash.lisp (file).
main (module).
print-object (method).
%validate-tlog-pool (function).
*tlog-pool* (special variable).
clear-tlog (function).
free-tlog (function).
listen-tvars-of (function).
make-tlog-pool (function).
new-or-clear-tlog (function).
new-tlog (function).
notify-tlog (function).
stmx-internal-error/suggest-bordeaux-threads (function).
unlisten-tvars-of (function).
validate-current-thread (function).
validate-tlog-pool (macro).
wait-once (function).
wait-tlog (function).
stmx/main/tvar.lisptlog.lisp (file).
main (module).
(setf $) (setf expander).
$ (function).
print-object (method).
tvar (function).
(setf $-notx) (setf expander).
$-notx (function).
(setf $-swtx) (setf expander).
$-swtx (function).
listen-tvar (function).
notify-tvar (function).
notify-tvar-high-load (function).
(setf raw-value-of) (function).
set-$ (function).
set-$-notx (function).
set-$-swtx (function).
tvar-valid-and-own-or-unlocked? (function).
tvar-valid-and-unlocked? (function).
tx-read-of (function).
tx-write-of (function).
unbound-tvar-error (function).
unlisten-tvar (function).
use-$-hwtx? (macro).
use-$-swtx? (macro).
stmx/main/optimize-for.lisptvar.lisp (file).
main (module).
optimize-for-transaction (macro).
optimize-for-transaction* (macro).
*optimized-funs* (special variable).
add-optimized-fun (function).
add-optimized-fun* (function).
bind-optimized-fun (function).
compiling-transaction (type).
extract-declares (function).
extract-docstrings (function).
lambda-list-param-to-arg (function).
lambda-list-param-to-arg-set-p (function).
lambda-list-quote-default-forms (function).
lambda-list-to-args (function).
options-for-defun (macro).
param-quote-default-form (function).
with-declares (macro).
with-docstrings (macro).
with-docstrings-declares (macro).
with-hwtx (macro).
with-notx (macro).
with-swtx (macro).
with-tx (macro).
stmx/main/tvar-slot.lispoptimize-for.lisp (file).
main (module).
(setf $-slot) (setf expander).
$-slot (function).
bound-$? (function).
unbind-$ (function).
%stmx-impl/notx-set/$-slot (function).
(setf %stmx-impl/notx/$-slot) (setf expander).
%stmx-impl/notx/$-slot (function).
%stmx-impl/notx/bound-$? (function).
%stmx-impl/notx/peek-$ (function).
%stmx-impl/notx/try-put-$ (function).
%stmx-impl/notx/try-take-$ (function).
%stmx-impl/notx/unbind-$ (function).
%stmx-impl/swtx-set/$-slot (function).
(setf %stmx-impl/swtx/$-slot) (setf expander).
%stmx-impl/swtx/$-slot (function).
%stmx-impl/swtx/bound-$? (function).
%stmx-impl/swtx/peek-$ (function).
%stmx-impl/swtx/try-put-$ (function).
%stmx-impl/swtx/try-take-$ (function).
%stmx-impl/swtx/unbind-$ (function).
%stmx-impl/tx-set/$-slot (function).
peek-$ (function).
try-put-$ (function).
try-take-$ (function).
value-of (generic function).
(setf value-of) (generic function).
stmx/main/tstruct.lisptvar-slot.lisp (file).
main (module).
analyze-struct (macro).
non-transactional-struct (macro).
transactional-struct (macro).
%impl/names-to-symbol (function).
copy-tstruct-def (function).
copy-tstruct-slot (function).
define-tstruct-slot-accessor (macro).
do-loop-tstruct-defs (macro).
do-tstruct-defs (macro).
make-load-form/tstruct-def (function).
make-load-form/tstruct-slot (function).
make-tstruct-def (function).
make-tstruct-slot (function).
names-to-symbol (function).
parse-struct-def (function).
parse-struct-def-and-slots (function).
parse-struct-slot (function).
parse-struct-slots (function).
symbol-package-or-fail (function).
tstruct-def (generic function).
tstruct-def (structure).
tstruct-def->all (function).
tstruct-def->defmethod-tstruct-def (function).
tstruct-def->defun-accessor (function).
tstruct-def->defun-accessors (function).
tstruct-def->defun-constructor (function).
tstruct-def->defun-copier (function).
tstruct-def->defun-functions (function).
tstruct-def->form (function).
tstruct-def->tx-accessors (function).
tstruct-def->tx-functions (function).
tstruct-def-all-slots (function).
tstruct-def-conc-name (reader).
(setf tstruct-def-conc-name) (writer).
tstruct-def-constructor (reader).
(setf tstruct-def-constructor) (writer).
tstruct-def-copier (reader).
(setf tstruct-def-copier) (writer).
tstruct-def-name (reader).
(setf tstruct-def-name) (writer).
tstruct-def-options (reader).
(setf tstruct-def-options) (writer).
tstruct-def-p (function).
tstruct-def-package (function).
tstruct-def-slots (reader).
(setf tstruct-def-slots) (writer).
tstruct-def-superclass (reader).
(setf tstruct-def-superclass) (writer).
tstruct-def-tx-conc-name (function).
tstruct-def-tx-constructor (function).
tstruct-def-type (reader).
(setf tstruct-def-type) (writer).
tstruct-slot (structure).
tstruct-slot->form (function).
tstruct-slot-default-accessor (function).
tstruct-slot-effective-reader (function).
tstruct-slot-effective-writer (function).
tstruct-slot-initform (reader).
(setf tstruct-slot-initform) (writer).
tstruct-slot-initialize (function).
tstruct-slot-keyword (function).
tstruct-slot-name (reader).
(setf tstruct-slot-name) (writer).
tstruct-slot-options (reader).
(setf tstruct-slot-options) (writer).
tstruct-slot-p (function).
tstruct-slot-read-only (reader).
(setf tstruct-slot-read-only) (writer).
tstruct-slot-reader (reader).
(setf tstruct-slot-reader) (writer).
tstruct-slot-transactional (reader).
(setf tstruct-slot-transactional) (writer).
tstruct-slot-tx-accessor (function).
tstruct-slot-type (reader).
(setf tstruct-slot-type) (writer).
tstruct-slot-writer (reader).
(setf tstruct-slot-writer) (writer).
stmx/main/tclass.lisptvar-slot.lisp (file).
tstruct.lisp (file).
main (module).
compute-effective-slot-definition (method).
direct-slot-definition-class (method).
effective-slot-definition-class (method).
transactional (macro).
transactional-class (macro).
transactional-class (class).
transactional-object (class).
validate-superclass (method).
*recursive-call-compute-effective-slot-definition* (special variable).
*recursive-call-list-classes-containing-direct-slots* (special variable).
adjust-transactional-slot-form (function).
adjust-transactional-slot-forms (function).
cerror-tclass-slot-change (function).
check-tclass-slot-change (function).
check-tclass-slot-name (function).
copy-slot-form (function).
define-method-initialize-instance (macro).
do-class-transactional-direct-slots (macro).
do-class-transactional-effective-slots (macro).
ensure-transactional-object-among-superclasses (function).
error-tclass-slot-name (function).
find-class-or-nil (function).
find-slot-by-name (function).
find-slot-form-by-name (function).
list-class-transactional-direct-slots (function).
list-classes-containing-direct-slots (function).
list-direct-slot-in-superclasses (function).
set-assoc (function).
set-assoc* (function).
slot-form-name (function).
slot-form-transactional? (function).
transactional-direct-slot (class).
transactional-effective-slot (class).
transactional-slot? (generic function).
(setf transactional-slot?) (writer method).
(setf transactional-slot?) (writer method).
tvar-unwrap-slot (function).
tvar-unwrap-slot-macro (macro).
tvar-wrap-slot (function).
tvar-wrap-slot-macro (macro).
typespec-allows? (function).
undefine-method (function).
undefine-method-before (function).
stmx/main/tslot.lisptclass.lisp (file).
main (module).
slot-boundp-using-class (method).
slot-makunbound-using-class (method).
(setf slot-value-using-class) (method).
slot-value-using-class (method).
update-instance-for-redefined-class (method).
slot-raw-tvar (macro).
unbound-slot-error (function).
stmx/main/hw-atomic.lispclasses.lisp (file).
main (module).
hw-atomic2 (macro).
%hw-atomic2 (macro).
+hw-atomic-max-attempts+ (constant).
stmx/main/commit.lisptvar.lisp (file).
hw-atomic.lisp (file).
main (module).
after-commit (macro).
before-commit (macro).
call-after-commit (function).
call-before-commit (function).
commit (function).
commit-nested (function).
commit-sw-update-tvars (function).
ensure-tlog-after-commit (function).
ensure-tlog-before-commit (function).
invalid? (function).
invoke-after-commit (function).
invoke-before-commit (function).
loop-funcall-on-appendable-vector (function).
merge-tlog-reads (function).
shallow-invalid? (function).
shallow-valid? (function).
try-lock-tvars (function).
tvar> (function).
unlock-tvars (function).
valid-and-own-or-unlocked? (function).
valid-and-unlocked? (function).
valid? (function).
stmx/main/sw-atomic.lispcommit.lisp (file).
main (module).
transaction (macro).
%run-sw-atomic (function).
fast-sw-atomic (macro).
run-once (function).
run-sw-atomic (function).
sw-atomic (macro).
stmx/main/atomic.lisphw-atomic.lisp (file).
sw-atomic.lisp (file).
main (module).
atomic (macro).
fast-atomic (macro).
run-atomic (function).
hw-transaction-test (function).
stmx/main/orelse.lispatomic.lisp (file).
main (module).
nonblocking (macro).
orelse (macro).
run-orelse (function).
copy-orelse-tx (function).
find-first-rerun-tx (function).
free-tx-logs (function).
make-orelse-tx (function).
merge-tlog-reads-tx (function).
orelse-error (condition).
orelse-tx (structure).
orelse-tx-func (reader).
(setf orelse-tx-func) (writer).
orelse-tx-log (reader).
(setf orelse-tx-log) (writer).
orelse-tx-p (function).
orelse-tx-retry (reader).
(setf orelse-tx-retry) (writer).
run-nonblocking (function).
stmx/util/misc.lisppackage.lisp (file).
util (module).
fixnum/= (function).
fixnum< (function).
fixnum= (function).
fixnum> (function).
sxhash-equalp (function).
%sxhash-equalp (macro).
_ (macro).
comp-result (type).
compare-keys (function).
k< (constant).
k= (constant).
k> (constant).
ufixnum (type).
with-ro-slots (macro).
with-rw-slots (macro).
stmx/util/print.lisppackage.lisp (file).
util (module).
print-object-contents (generic function).
stmx/util/container.lispstmx/util/tcons.lispmisc.lisp (file).
util (module).
make-tlist (function).
print-object (method).
tatom (function).
(setf tcar) (setf expander).
tcar (function).
(setf tcdr) (setf expander).
tcdr (function).
tcons (function).
tcons (structure).
tconsp (function).
(setf tfirst) (setf expander).
tfirst (function).
tlist (compiler macro).
tlist (function).
tlist (type).
tlist* (compiler macro).
tlist* (function).
tpop (macro).
tpush (macro).
(setf trest) (setf expander).
trest (function).
%stmx-impl/notx-set/tcar (function).
%stmx-impl/notx-set/tcdr (function).
%stmx-impl/notx-set/tcons-first (function).
%stmx-impl/notx-set/tcons-rest (function).
%stmx-impl/notx-set/tfirst (function).
%stmx-impl/notx-set/trest (function).
(setf %stmx-impl/notx/tcar) (setf expander).
%stmx-impl/notx/tcar (function).
(setf %stmx-impl/notx/tcdr) (setf expander).
%stmx-impl/notx/tcdr (function).
(setf %stmx-impl/notx/tcons-first) (setf expander).
%stmx-impl/notx/tcons-first (function).
(setf %stmx-impl/notx/tcons-rest) (setf expander).
%stmx-impl/notx/tcons-rest (function).
(setf %stmx-impl/notx/tfirst) (setf expander).
%stmx-impl/notx/tfirst (function).
(setf %stmx-impl/notx/trest) (setf expander).
%stmx-impl/notx/trest (function).
%stmx-impl/notx/trplaca (function).
%stmx-impl/notx/trplacd (function).
%stmx-impl/swtx-set/tcar (function).
%stmx-impl/swtx-set/tcdr (function).
%stmx-impl/swtx-set/tcons-first (function).
%stmx-impl/swtx-set/tcons-rest (function).
%stmx-impl/swtx-set/tfirst (function).
%stmx-impl/swtx-set/trest (function).
(setf %stmx-impl/swtx/tcar) (setf expander).
%stmx-impl/swtx/tcar (function).
(setf %stmx-impl/swtx/tcdr) (setf expander).
%stmx-impl/swtx/tcdr (function).
(setf %stmx-impl/swtx/tcons-first) (setf expander).
%stmx-impl/swtx/tcons-first (function).
(setf %stmx-impl/swtx/tcons-rest) (setf expander).
%stmx-impl/swtx/tcons-rest (function).
(setf %stmx-impl/swtx/tfirst) (setf expander).
%stmx-impl/swtx/tfirst (function).
(setf %stmx-impl/swtx/trest) (setf expander).
%stmx-impl/swtx/trest (function).
%stmx-impl/swtx/trplaca (function).
%stmx-impl/swtx/trplacd (function).
%stmx-impl/tstruct/make-tcons (function).
%stmx-impl/tstruct/tcons-first (reader).
(setf %stmx-impl/tstruct/tcons-first) (writer).
%stmx-impl/tstruct/tcons-rest (reader).
(setf %stmx-impl/tstruct/tcons-rest) (writer).
%stmx-impl/tx-set/tcar (function).
%stmx-impl/tx-set/tcdr (function).
%stmx-impl/tx-set/tcons-first (function).
%stmx-impl/tx-set/tcons-rest (function).
%stmx-impl/tx-set/tfirst (function).
%stmx-impl/tx-set/trest (function).
copy-tcons (function).
do-tlist (macro).
make-tcons (function).
(setf tcons-first) (setf expander).
tcons-first (function).
(setf tcons-rest) (setf expander).
tcons-rest (function).
tlistp (function).
trplaca (function).
trplacd (function).
tstruct-def (method).
stmx/util/tcons-list.lisptcons.lisp (file).
util (module).
tcaaaar (function).
(setf tcaaaar) (function).
tcaaadr (function).
(setf tcaaadr) (function).
tcaaar (function).
(setf tcaaar) (function).
tcaadar (function).
(setf tcaadar) (function).
tcaaddr (function).
(setf tcaaddr) (function).
tcaadr (function).
(setf tcaadr) (function).
tcaar (function).
(setf tcaar) (function).
tcadaar (function).
(setf tcadaar) (function).
tcadadr (function).
(setf tcadadr) (function).
tcadar (function).
(setf tcadar) (function).
tcaddar (function).
(setf tcaddar) (function).
tcaddr (function).
(setf tcaddr) (function).
tcadr (function).
(setf tcadr) (function).
tcdaaar (function).
(setf tcdaaar) (function).
tcdaadr (function).
(setf tcdaadr) (function).
tcdaar (function).
(setf tcdaar) (function).
tcdadar (function).
(setf tcdadar) (function).
tcdaddr (function).
(setf tcdaddr) (function).
tcdadr (function).
(setf tcdadr) (function).
tcdar (function).
(setf tcdar) (function).
tcddaar (function).
(setf tcddaar) (function).
tcddadr (function).
(setf tcddadr) (function).
tcddar (function).
(setf tcddar) (function).
tcdddar (function).
(setf tcdddar) (function).
tcdddr (function).
(setf tcdddr) (function).
tcddr (function).
(setf tcddr) (function).
teighth (function).
(setf teighth) (function).
tendp (function).
tfifth (function).
(setf tfifth) (function).
tfourth (function).
(setf tfourth) (function).
tlast (compiler macro).
tlast (function).
tlist-length (function).
tninth (function).
(setf tninth) (function).
tnth (function).
(setf tnth) (function).
tnthcdr (function).
tsecond (function).
(setf tsecond) (function).
tseventh (function).
(setf tseventh) (function).
tsixth (function).
(setf tsixth) (function).
ttenth (function).
(setf ttenth) (function).
tthird (function).
(setf tthird) (function).
%copy-tlist-consing (macro).
%copy-tlist-setf-tvar (macro).
%tappend-consing (macro).
%tappend-setf-tvar (macro).
%tlast0 (function).
%tlast1 (function).
%tlist-get (macro).
%tlist-set (macro).
copy-tlist (function).
list-to-tlist (function).
tappend (function).
tappend-lists (function).
tcadddr (function).
(setf tcadddr) (function).
tcddddr (function).
(setf tcddddr) (function).
tldiff (function).
tnreconc (function).
trevappend (function).
stmx/util/tcons-alist.lisptcons.lisp (file).
util (module).
copy-talist (function).
tacons (function).
tassoc (function).
tpairlis (function).
trassoc (function).
%coerce-to-fun (function).
%t-assoc (macro).
%tassoc (macro).
%trassoc (macro).
stmx/util/tcons-set.lisptcons.lisp (file).
util (module).
stmx/util/tcons-tree.lisptcons.lisp (file).
util (module).
ttree-equal (function).
ttree-equal-test (function).
ttree-equal-test-not (function).
copy-ttree (function).
stmx/util/tcons-higher.lisptcons-alist.lisp (file).
util (module).
stmx/util/tvar.lispcontainer.lisp (file).
util (module).
stmx/util/tcell.lispcontainer.lisp (file).
util (module).
+empty-tcell+ (constant).
stmx/util/tstack.lispcontainer.lisp (file).
util (module).
top-of (reader method).
(setf top-of) (writer method).
stmx/util/tfifo.lispcontainer.lisp (file).
tcons.lisp (file).
util (module).
empty! (method).
empty? (method).
full? (method).
initialize-instance (method).
initialize-instance (method).
peek (method).
print-object (method).
put (method).
take (method).
tfifo (function).
tfifo (class).
try-put (method).
try-take (method).
back-of (reader method).
(setf back-of) (writer method).
front-of (reader method).
(setf front-of) (writer method).
stmx/util/tchannel.lispcontainer.lisp (file).
tcons.lisp (file).
util (module).
empty! (method).
empty? (method).
empty? (method).
full? (method).
full? (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
peek (method).
put (method).
take (method).
tchannel (class).
tport (class).
try-put (method).
try-take (method).
back-of (reader method).
(setf back-of) (writer method).
channel-of (reader method).
front-of (reader method).
(setf front-of) (writer method).
tchannel-back-of (function).
tport-empty? (function).
stmx/util/bheap.lispcontainer.lisp (file).
util (module).
empty! (method).
empty? (method).
full? (method).
initialize-instance (method).
peek (method).
print-object (method).
put (method).
try-put (method).
try-take (method).
*empty-vector* (special variable).
add-bheap (function).
bheap (class).
clear-bheap (function).
compare-bheap-entries (function).
empty-bheap? (function).
extend-bheap-vector (function).
get-bheap (function).
heapify-bheap (function).
key-of (reader method).
length-of (reader method).
(setf length-of) (writer method).
pred-of (reader method).
rem-bheap (function).
sift-down-bheap (function).
sift-up-bheap (function).
vector-of (reader method).
(setf vector-of) (writer method).
stmx/util/gmap.lispmisc.lisp (file).
print.lisp (file).
util (module).
add-to-gmap (function).
clear-gmap (function).
copy-gmap (function).
copy-gmap-into (function).
do-gmap (macro).
get-gmap (function).
(setf get-gmap) (function).
gmap (class).
gmap-count (function).
gmap-empty? (function).
gmap-keys (function).
gmap-pairs (function).
gmap-pred (function).
gmap-values (function).
initialize-instance (method).
map-gmap (function).
max-gmap (function).
min-gmap (function).
print-object (method).
rem-gmap (function).
remove-from-gmap (function).
set-gmap (function).
count-of (reader method).
do-gmap* (macro).
find-key-and-stack (function).
fwd-traverse-gmap-at (function).
gmap-count<= (function).
gmap-count> (function).
gmap-node (class).
gmap/copy-node (generic function).
gmap/new-node (generic function).
gmap/rebalance-after-insert (generic function).
gmap/remove-at (generic function).
is-left-gmap-node-child? (function).
key-of (reader method).
(setf key-of) (writer method).
left-of (reader method).
(setf left-of) (writer method).
log.debug-gmap (macro).
map-gmap-from-end (function).
pred-function-of (reader method).
pred-of (reader method).
print-gmap (method).
print-gmap-node (generic function).
print-object-contents (method).
print-object-contents (method).
replace-gmap-node (function).
rev-traverse-gmap-at (function).
right-of (reader method).
(setf right-of) (writer method).
rotate-gmap-node-around (function).
rotate-gmap-node-left (function).
rotate-gmap-node-right (function).
value-of (reader method).
(setf value-of) (writer method).
stmx/util/rbmap.lispgmap.lisp (file).
util (module).
rbmap (class).
%rbmap-rebalance-after-insert (function).
%rbmap-remove-at (function).
%rbmap-remove-black-node-at (function).
+black+ (constant).
+red+ (constant).
black? (function).
color-of (reader method).
(setf color-of) (writer method).
flip-color (function).
gmap/copy-node (method).
gmap/new-node (method).
gmap/rebalance-after-insert (method).
gmap/remove-at (method).
is-left-rbnode-child-red? (function).
is-left-rbnode-child? (function).
print-gmap-node (method).
rbnode (class).
red? (function).
stmx/util/tmap.lisprbmap.lisp (file).
util (module).
initialize-instance (method).
initialize-instance (method).
tmap (class).
gmap/new-node (method).
tnode (class).
stmx/util/simple-tvector.lispprint.lisp (file).
util (module).
do-simple-tvector (macro).
simple-tvector (function).
simple-tvector (type).
simple-tvector-length (function).
(setf tsvref) (setf expander).
tsvref (function).
%stmx-impl/notx/set-tsvref (function).
%stmx-impl/notx/tsvref (function).
%stmx-impl/swtx/set-tsvref (function).
%stmx-impl/swtx/tsvref (function).
set-tsvref (function).
stmx/util/ghash-table.lispprint.lisp (file).
util (module).
clear-ghash (function).
do-ghash (macro).
(setf get-ghash) (setf expander).
get-ghash (function).
ghash-keys (function).
ghash-pairs (function).
ghash-table (class).
ghash-table-count (function).
ghash-table-empty? (function).
ghash-table-hash (function).
ghash-table-test (function).
ghash-values (function).
initialize-instance (method).
map-ghash (function).
print-object (method).
print-object (method).
rem-ghash (function).
set-ghash (function).
+ghash-default-capacity+ (constant).
+ghash-max-capacity+ (constant).
+ghash-threshold-capacity+ (constant).
copy-ghash (function).
do-ghash-pairs (macro).
find-ghash-pair (function).
ghash-aref-fun (type).
ghash-hash-fun (type).
ghash-mask (function).
ghash-pair (class).
ghash-set-aref-fun (type).
ghash-subscript (function).
ghash-table-count<= (function).
ghash-table-count> (function).
ghash-test-fun (type).
ghash-vector (type).
ghash/new-pair (generic function).
ghash/new-vec (generic function).
rehash-ghash (function).
set-svref (function).
stmx/util/thash-table.lispghash-table.lisp (file).
simple-tvector.lisp (file).
util (module).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
thash-table (class).
ghash/new-pair (method).
ghash/new-vec (method).
thash-pair (class).
Packages are listed by definition order.
stmx.asmcommon-lisp.
+impl-package+ (constant).
+transaction-started+ (constant).
+transaction-user-abort+ (constant).
compile-if (function).
compile-if-package (function).
compile-if-symbol (function).
cpuid (function).
find-symbol* (function).
lock-elision-supported-p (function).
symbol-name* (function).
transaction-abort (function).
transaction-begin (function).
transaction-end (function).
transaction-rerun-may-succeed-p (function).
transaction-running-p (function).
transaction-supported-p (function).
+defknown-has-overwrite-fndb-silently+ (constant).
compile-if-sbcl-disassem<=32-bit (function).
compile-if-sbcl-lacks-rtm-instructions (function).
defknown (macro).
int-list>= (function).
lisp-version>= (function).
split-string (function).
string-to-int-list (function).
transaction-abort-macro (macro).
stmx.langbordeaux-threads.
common-lisp.
*current-thread* (special variable).
+hw-transaction-started+ (constant).
+hw-transaction-supported+ (constant).
aif (macro).
all-features (function).
assoc-feature (function).
atomic-compare-and-swap (macro).
atomic-counter (structure).
atomic-counter-num (type).
atomic-counter-slot-type (type).
atomic-decf (macro).
atomic-incf (macro).
atomic-num (type).
atomic-pop (macro).
awhen (macro).
clear-hash (function).
clos-compute-class-precedence-list (function).
concat-symbols (function).
cons^ (function).
copy-hash-table (function).
default-feature (function).
default-features (function).
define-constant-once (macro).
define-global (macro).
defprint-object (macro).
do-fast-vector (macro).
do-hash (macro).
do-tree (macro).
enable-#?-syntax (macro).
ensure-thread-initial-binding (function).
ensure-thread-initial-bindings (function).
eval-always (macro).
fast-vector (structure).
fast-vector-capacity (function).
fast-vector-clear (function).
fast-vector-length (function).
fast-vector-pop (function).
fast-vector-pop-macro (macro).
fast-vector-push (function).
fast-vector-push-extend (function).
free-cons^ (function).
free-list^ (function).
get-atomic-counter (function).
get-atomic-counter-plus-delta (function).
get-atomic-place (macro).
get-atomic-place-plus-delta (macro).
get-feature (function).
get-hash (function).
(setf get-hash) (function).
hash-table-keys (function).
hash-table-pairs (function).
hash-table-values (function).
hw-transaction-abort (macro).
hw-transaction-begin (macro).
hw-transaction-end (macro).
hw-transaction-rerun-may-succeed? (macro).
hw-transaction-running? (macro).
hw-transaction-supported-and-running? (macro).
hw-transaction-supported? (macro).
id-of (generic function).
(setf id-of) (generic function).
if-bind (macro).
incf-atomic-counter (function).
incf-atomic-place (macro).
let1 (macro).
log.debug (macro).
log.make-logger (macro).
log.trace (macro).
make-atomic-counter (function).
make-fast-vector (function).
make-mutex (function).
mem-read-barrier (macro).
mem-write-barrier (macro).
merge-hash-tables (function).
mutex (structure).
mutex-is-free? (function).
mutex-is-own-or-free? (function).
mutex-is-own? (function).
mutex-owner (reader).
(setf mutex-owner) (writer).
new (macro).
pop-free-cons^ (macro).
push^ (macro).
release-mutex (function).
rem-hash (function).
save-thread-initial-bindings (macro).
set-atomic-counter (function).
set-atomic-place (macro).
set-feature (function).
set-features (function).
set-hash (function).
start-multithreading (function).
start-thread (function).
stringify (function).
try-acquire-mutex (function).
wait4-thread (function).
when-bind (macro).
with-gensym (macro).
with-gensyms (macro).
with-lock (macro).
~ (function).
(setf ~) (function).
%enable-#?-syntax (function).
%make-atomic-counter (function).
%make-fast-vector (function).
%make-mutex (function).
*cons-pool* (special variable).
*feature-list* (special variable).
*print-ids* (special variable).
+empty-vector+ (special variable).
+it+ (special variable).
atomic-counter-p (function).
atomic-counter-version (reader).
(setf atomic-counter-version) (writer).
atomic-push (macro).
atomic-t (type).
clear-features (function).
clos-tie-breaker-rule (function).
collect-all-superclasses (function).
collect-superclasses (function).
compile-ensure-1-arg (function).
compile-ensure-2-args (function).
compile-if-and (function).
compile-if-eql (function).
compile-if-error (function).
compile-if-eval (function).
compile-if-not (function).
compile-if-or (function).
compile-if-symbol (function).
compile-if-transformer (function).
compile-log-warn (macro).
compute-id-of (function).
copy-atomic-counter (function).
copy-fast-vector (function).
copy-mutex (function).
detect-thread-support (function).
fast-vector-initial-element (reader).
(setf fast-vector-initial-element) (writer).
fast-vector-len (reader).
(setf fast-vector-len) (writer).
fast-vector-make-array (function).
fast-vector-p (function).
fast-vector-vec (reader).
(setf fast-vector-vec) (writer).
incf-hash-counter (macro).
intern-feature (function).
local-precedence-ordering (function).
lock-owner (function).
mapappend (function).
mutex-p (function).
positive-fixnum (type).
rem-feature (function).
some-features (function).
topological-sort (function).
visit-tree (function).
stmxbordeaux-threads.
closer-mop.
common-lisp.
stmx.lang.
(setf $) (setf expander).
$ (function).
(setf $-slot) (setf expander).
$-slot (function).
*stmx-version* (special variable).
+unbound-tvar+ (constant).
after-commit (macro).
analyze-struct (macro).
atomic (macro).
before-commit (macro).
bound-$? (function).
call-after-commit (function).
call-before-commit (function).
fast-atomic (macro).
hw-atomic2 (macro).
non-transactional-struct (macro).
nonblocking (macro).
optimize-for-transaction (macro).
optimize-for-transaction* (macro).
orelse (macro).
retry (function).
run-atomic (function).
run-orelse (function).
transaction (macro).
transaction? (function).
transactional (macro).
transactional (type).
transactional-class (macro).
transactional-class (class).
transactional-object (class).
transactional-struct (macro).
tvar (function).
tvar (structure).
unbind-$ (function).
(setf $-notx) (setf expander).
$-notx (function).
(setf $-swtx) (setf expander).
$-swtx (function).
%gv-expand (macro).
%gv-expand0-f (function).
%gv-nohw-flag (macro).
%gvx-expand (macro).
%gvx-expand0-f (function).
%hw-atomic2 (macro).
%impl/names-to-symbol (function).
%make-txfifo (function).
%make-txhash-table (function).
%run-sw-atomic (function).
%stmx-impl/notx-set/$-slot (function).
(setf %stmx-impl/notx/$-slot) (setf expander).
%stmx-impl/notx/$-slot (function).
%stmx-impl/notx/bound-$? (function).
%stmx-impl/notx/peek-$ (function).
%stmx-impl/notx/try-put-$ (function).
%stmx-impl/notx/try-take-$ (function).
%stmx-impl/notx/unbind-$ (function).
%stmx-impl/swtx-set/$-slot (function).
(setf %stmx-impl/swtx/$-slot) (setf expander).
%stmx-impl/swtx/$-slot (function).
%stmx-impl/swtx/bound-$? (function).
%stmx-impl/swtx/peek-$ (function).
%stmx-impl/swtx/try-put-$ (function).
%stmx-impl/swtx/try-take-$ (function).
%stmx-impl/swtx/unbind-$ (function).
%stmx-impl/tx-set/$-slot (function).
%tvar-version-and-value (function).
%validate-tlog-pool (function).
*hide-tvars* (special variable).
*hw-tlog-write-version* (special variable).
*lv* (special variable).
*optimized-funs* (special variable).
*record-to-tlogs* (special variable).
*recursive-call-compute-effective-slot-definition* (special variable).
*recursive-call-list-classes-containing-direct-slots* (special variable).
*tlog* (special variable).
*tlog-pool* (special variable).
*tvar-id* (special variable).
+dummy-tvar+ (special variable).
+global-clock-delta+ (constant).
+global-clock-nohw-delta+ (constant).
+gv+ (constant).
+gv-max-stat+ (constant).
+hw-atomic-max-attempts+ (constant).
+invalid-version+ (constant).
+txhash-default-capacity+ (constant).
+txhash-threshold-capacity+ (constant).
add-optimized-fun (function).
add-optimized-fun* (function).
add-txpair-to-pool (function).
adjust-transactional-slot-form (function).
adjust-transactional-slot-forms (function).
bind-optimized-fun (function).
cerror-tclass-slot-change (function).
check-tclass-slot-change (function).
check-tclass-slot-name (function).
clear-tlog (function).
clear-txfifo (function).
clear-txhash (function).
commit (function).
commit-nested (function).
commit-sw-update-tvars (function).
compile-cerror (macro).
compile-error (macro).
compiling-transaction (type).
copy-gv156 (function).
copy-lv156 (function).
copy-orelse-tx (function).
copy-slot-form (function).
copy-tlog (function).
copy-tstruct-def (function).
copy-tstruct-slot (function).
copy-tvar (function).
copy-txfifo (function).
copy-txhash-table (function).
copy-txhash-table-into (function).
copy-txpair (function).
current-tlog (macro).
define-method-initialize-instance (macro).
define-tstruct-slot-accessor (macro).
do-class-transactional-direct-slots (macro).
do-class-transactional-effective-slots (macro).
do-filter-txfifo (macro).
do-filter-txfifo-entries (macro).
do-loop-tstruct-defs (macro).
do-tstruct-defs (macro).
do-txfifo (macro).
do-txfifo-entries (macro).
do-txhash (macro).
do-txhash-entries (macro).
ensure-tlog-after-commit (function).
ensure-tlog-before-commit (function).
ensure-transactional-object-among-superclasses (function).
error-tclass-slot-name (function).
extract-declares (function).
extract-docstrings (function).
fast-sw-atomic (macro).
find-class-or-nil (function).
find-first-rerun-tx (function).
find-slot-by-name (function).
find-slot-form-by-name (function).
find-txhash (function).
free-tlog (function).
free-tx-logs (function).
get-next-id (function).
get-txhash (function).
global-clock/decf-nohw-counter (macro).
global-clock/features (macro).
global-clock/get-nohw-counter (macro).
global-clock/hw/after-abort (macro).
global-clock/hw/start-read (macro).
global-clock/hw/start-write (macro).
global-clock/hw/stat-aborted (macro).
global-clock/hw/stat-committed (macro).
global-clock/hw/write (macro).
global-clock/incf-nohw-counter (macro).
global-clock/publish-features (function).
global-clock/sw/after-abort (macro).
global-clock/sw/start-read (macro).
global-clock/sw/start-write (macro).
global-clock/sw/stat-aborted (macro).
global-clock/sw/stat-committed (macro).
global-clock/sw/write (macro).
global-clock/valid-read? (macro).
global-clock/version-type (type).
gv1/after-abort (macro).
gv1/decf-nohw-counter (macro).
gv1/features (macro).
gv1/get-nohw-counter (macro).
gv1/hw/after-abort (macro).
gv1/hw/start-read (macro).
gv1/hw/start-write (macro).
gv1/hw/stat-aborted (macro).
gv1/hw/stat-committed (macro).
gv1/hw/write (macro).
gv1/incf-nohw-counter (macro).
gv1/start-read (macro).
gv1/start-write (macro).
gv1/stat-aborted (macro).
gv1/stat-committed (macro).
gv1/sw/after-abort (macro).
gv1/sw/start-read (macro).
gv1/sw/start-write (macro).
gv1/sw/stat-aborted (macro).
gv1/sw/stat-committed (macro).
gv1/sw/write (macro).
gv1/valid-read? (macro).
gv1/version-type (type).
gv1/write (macro).
gv156 (structure).
gv156-aborts (reader).
(setf gv156-aborts) (writer).
gv156-commits (reader).
(setf gv156-commits) (writer).
gv156-nohw-counter (reader).
(setf gv156-nohw-counter) (writer).
gv156-nohw-flag (reader).
(setf gv156-nohw-flag) (writer).
gv156-p (function).
gv156-pad1 (reader).
(setf gv156-pad1) (writer).
gv156-pad2 (reader).
(setf gv156-pad2) (writer).
gv156-pad3 (reader).
(setf gv156-pad3) (writer).
gv156-pad4 (reader).
(setf gv156-pad4) (writer).
gv156-pad5 (reader).
(setf gv156-pad5) (writer).
gv156-pad6 (reader).
(setf gv156-pad6) (writer).
gv156-pad7 (reader).
(setf gv156-pad7) (writer).
gv156-version (function).
(setf gv156-version) (function).
gv156/version-type (type).
gv5/after-abort (macro).
gv5/decf-nohw-counter (macro).
gv5/features (macro).
gv5/get-nohw-counter (macro).
gv5/hw/after-abort (macro).
gv5/hw/start-read (macro).
gv5/hw/start-write (macro).
gv5/hw/stat-aborted (macro).
gv5/hw/stat-committed (macro).
gv5/hw/write (macro).
gv5/incf-nohw-counter (macro).
gv5/start-read (macro).
gv5/start-write (macro).
gv5/stat-aborted (macro).
gv5/stat-committed (macro).
gv5/sw/after-abort (macro).
gv5/sw/start-read (macro).
gv5/sw/start-write (macro).
gv5/sw/stat-aborted (macro).
gv5/sw/stat-committed (macro).
gv5/sw/write (macro).
gv5/valid-read? (macro).
gv5/version-type (type).
gv5/write (macro).
gv6/%is-gv5-mode? (macro).
gv6/%set-gv1-mode (function).
gv6/%set-gv5-mode (function).
gv6/%update-gv-stat (function).
gv6/%update-lv-stat (macro).
gv6/decf-nohw-counter (macro).
gv6/features (macro).
gv6/get-nohw-counter (macro).
gv6/hw/after-abort (macro).
gv6/hw/start-read (macro).
gv6/hw/start-write (macro).
gv6/hw/stat-aborted (macro).
gv6/hw/stat-committed (macro).
gv6/hw/write (macro).
gv6/incf-nohw-counter (macro).
gv6/stat-aborted (macro).
gv6/stat-committed (macro).
gv6/sw/after-abort (macro).
gv6/sw/start-read (macro).
gv6/sw/start-write (macro).
gv6/sw/stat-aborted (macro).
gv6/sw/stat-committed (macro).
gv6/sw/write (macro).
gv6/valid-read? (macro).
gv6/version-type (type).
gvx-add-missing (macro).
hide-tvars? (function).
hw-tlog-write-version (macro).
hw-transaction-test (function).
hw-transaction? (function).
invalid? (function).
invoke-after-commit (function).
invoke-before-commit (function).
lambda-list-param-to-arg (function).
lambda-list-param-to-arg-set-p (function).
lambda-list-quote-default-forms (function).
lambda-list-to-args (function).
list-class-transactional-direct-slots (function).
list-classes-containing-direct-slots (function).
list-direct-slot-in-superclasses (function).
listen-tvar (function).
listen-tvars-of (function).
loop-funcall-on-appendable-vector (function).
lv156 (structure).
lv156-aborts (reader).
(setf lv156-aborts) (writer).
lv156-commits (reader).
(setf lv156-commits) (writer).
lv156-p (function).
make-gv156 (function).
make-load-form/tstruct-def (function).
make-load-form/tstruct-slot (function).
make-lv156 (function).
make-orelse-tx (function).
make-tlog (function).
make-tlog-pool (function).
make-tstruct-def (function).
make-tstruct-slot (function).
make-tvar (function).
make-txfifo (function).
make-txhash-table (function).
maybe-yield-before-rerun (macro).
merge-tlog-reads (function).
merge-tlog-reads-tx (function).
merge-txhash-tables (function).
names-to-symbol (function).
new-or-clear-tlog (function).
new-tlog (function).
new-txpair-from-pool (function).
notify-tlog (function).
notify-tvar (function).
notify-tvar-high-load (function).
options-for-defun (macro).
orelse-error (condition).
orelse-tx (structure).
orelse-tx-func (reader).
(setf orelse-tx-func) (writer).
orelse-tx-log (reader).
(setf orelse-tx-log) (writer).
orelse-tx-p (function).
orelse-tx-retry (reader).
(setf orelse-tx-retry) (writer).
param-quote-default-form (function).
parse-struct-def (function).
parse-struct-def-and-slots (function).
parse-struct-slot (function).
parse-struct-slots (function).
peek-$ (function).
put-txfifo (function).
raw-value-of (function).
(setf raw-value-of) (function).
recording? (function).
rehash-txhash (function).
rerun (function).
rerun-error (condition).
retry-error (condition).
run-nonblocking (function).
run-once (function).
run-sw-atomic (function).
set-$ (function).
set-$-notx (function).
set-$-swtx (function).
set-assoc (function).
set-assoc* (function).
set-tvar-value-and-version (function).
set-txhash (function).
shallow-invalid? (function).
shallow-valid? (function).
slot-form-name (function).
slot-form-transactional? (function).
slot-raw-tvar (macro).
stmx-internal-error (function).
stmx-internal-error/bug (function).
stmx-internal-error/suggest-bordeaux-threads (function).
stmx.compile-error (condition).
stmx.control-error (condition).
sw-atomic (macro).
sw-transaction? (function).
symbol-package-or-fail (function).
tlog (structure).
tlog-after-commit (reader).
(setf tlog-after-commit) (writer).
tlog-before-commit (reader).
(setf tlog-before-commit) (writer).
tlog-func-vector (type).
tlog-lock (reader).
(setf tlog-lock) (writer).
tlog-locked (reader).
tlog-p (function).
tlog-parent (reader).
(setf tlog-parent) (writer).
tlog-prevent-sleep (reader).
(setf tlog-prevent-sleep) (writer).
tlog-read-version (reader).
(setf tlog-read-version) (writer).
tlog-reads (reader).
(setf tlog-reads) (writer).
tlog-semaphore (reader).
(setf tlog-semaphore) (writer).
tlog-writes (reader).
(setf tlog-writes) (writer).
transactional-direct-slot (class).
transactional-effective-slot (class).
transactional-slot? (generic function).
(setf transactional-slot?) (generic writer).
try-lock-tvar (function).
try-lock-tvars (function).
try-put-$ (function).
try-take-$ (function).
tstruct-def (generic function).
tstruct-def (structure).
tstruct-def->all (function).
tstruct-def->defmethod-tstruct-def (function).
tstruct-def->defun-accessor (function).
tstruct-def->defun-accessors (function).
tstruct-def->defun-constructor (function).
tstruct-def->defun-copier (function).
tstruct-def->defun-functions (function).
tstruct-def->form (function).
tstruct-def->tx-accessors (function).
tstruct-def->tx-functions (function).
tstruct-def-all-slots (function).
tstruct-def-conc-name (reader).
(setf tstruct-def-conc-name) (writer).
tstruct-def-constructor (reader).
(setf tstruct-def-constructor) (writer).
tstruct-def-copier (reader).
(setf tstruct-def-copier) (writer).
tstruct-def-name (reader).
(setf tstruct-def-name) (writer).
tstruct-def-options (reader).
(setf tstruct-def-options) (writer).
tstruct-def-p (function).
tstruct-def-package (function).
tstruct-def-slots (reader).
(setf tstruct-def-slots) (writer).
tstruct-def-superclass (reader).
(setf tstruct-def-superclass) (writer).
tstruct-def-tx-conc-name (function).
tstruct-def-tx-constructor (function).
tstruct-def-type (reader).
(setf tstruct-def-type) (writer).
tstruct-slot (structure).
tstruct-slot->form (function).
tstruct-slot-default-accessor (function).
tstruct-slot-effective-reader (function).
tstruct-slot-effective-writer (function).
tstruct-slot-initform (reader).
(setf tstruct-slot-initform) (writer).
tstruct-slot-initialize (function).
tstruct-slot-keyword (function).
tstruct-slot-name (reader).
(setf tstruct-slot-name) (writer).
tstruct-slot-options (reader).
(setf tstruct-slot-options) (writer).
tstruct-slot-p (function).
tstruct-slot-read-only (reader).
(setf tstruct-slot-read-only) (writer).
tstruct-slot-reader (reader).
(setf tstruct-slot-reader) (writer).
tstruct-slot-transactional (reader).
(setf tstruct-slot-transactional) (writer).
tstruct-slot-tx-accessor (function).
tstruct-slot-type (reader).
(setf tstruct-slot-type) (writer).
tstruct-slot-writer (reader).
(setf tstruct-slot-writer) (writer).
tvar-id (reader).
tvar-id/next (macro).
tvar-p (function).
tvar-unwrap-slot (function).
tvar-unwrap-slot-macro (macro).
tvar-valid-and-own-or-unlocked? (function).
tvar-valid-and-unlocked? (function).
tvar-value (reader).
(setf tvar-value) (writer).
tvar-value-and-version-or-fail (function).
tvar-version (reader).
(setf tvar-version) (writer).
tvar-waiting-for (reader).
(setf tvar-waiting-for) (writer).
tvar-waiting-lock (reader).
tvar-wrap-slot (function).
tvar-wrap-slot-macro (macro).
tvar> (function).
tx-read-of (function).
tx-write-of (function).
txfifo (structure).
txfifo-back (reader).
(setf txfifo-back) (writer).
txfifo-front (reader).
(setf txfifo-front) (writer).
txfifo-p (function).
txhash-mask (function).
txhash-subscript (function).
txhash-table (structure).
txhash-table-count (reader).
(setf txhash-table-count) (writer).
txhash-table-p (function).
txhash-table-pool (reader).
(setf txhash-table-pool) (writer).
txhash-table-vec (reader).
(setf txhash-table-vec) (writer).
txpair (function).
txpair (structure).
txpair-key (reader).
(setf txpair-key) (writer).
txpair-next (reader).
(setf txpair-next) (writer).
txpair-p (function).
txpair-rest (reader).
(setf txpair-rest) (writer).
txpair-value (reader).
(setf txpair-value) (writer).
typespec-allows? (function).
unbound-slot-error (function).
unbound-tvar-error (function).
undefine-method (function).
undefine-method-before (function).
unlisten-tvar (function).
unlisten-tvars-of (function).
unlock-tvar (function).
unlock-tvars (function).
use-$-hwtx? (macro).
use-$-swtx? (macro).
valid-and-own-or-unlocked? (function).
valid-and-unlocked? (function).
valid? (function).
validate-current-thread (function).
validate-tlog-pool (macro).
value-of (generic function).
(setf value-of) (generic function).
version-type (type).
wait-once (function).
wait-tlog (function).
with-declares (macro).
with-docstrings (macro).
with-docstrings-declares (macro).
with-hwtx (macro).
with-notx (macro).
with-recording (macro).
with-recording-to-tlog (macro).
with-swtx (macro).
with-tlog (macro).
with-tx (macro).
without-recording-with-show-tvars (macro).
stmx.utiladd-to-gmap (function).
clear-ghash (function).
clear-gmap (function).
copy-gmap (function).
copy-gmap-into (function).
copy-talist (function).
do-ghash (macro).
do-gmap (macro).
do-simple-tvector (macro).
empty! (generic function).
empty? (generic function).
fixnum/= (function).
fixnum< (function).
fixnum= (function).
fixnum> (function).
full? (generic function).
(setf get-ghash) (setf expander).
get-ghash (function).
get-gmap (function).
(setf get-gmap) (function).
ghash-keys (function).
ghash-pairs (function).
ghash-table (class).
ghash-table-count (function).
ghash-table-empty? (function).
ghash-table-hash (function).
ghash-table-test (function).
ghash-values (function).
gmap (class).
gmap-count (function).
gmap-empty? (function).
gmap-keys (function).
gmap-pairs (function).
gmap-pred (function).
gmap-values (function).
make-tlist (function).
map-ghash (function).
map-gmap (function).
max-gmap (function).
min-gmap (function).
peek (generic function).
put (generic function).
rbmap (class).
rem-ghash (function).
rem-gmap (function).
remove-from-gmap (function).
set-ghash (function).
set-gmap (function).
simple-tvector (function).
simple-tvector (type).
simple-tvector-length (function).
sxhash-equalp (function).
tacons (function).
take (generic function).
tassoc (function).
tatom (function).
tcaaaar (function).
(setf tcaaaar) (function).
tcaaadr (function).
(setf tcaaadr) (function).
tcaaar (function).
(setf tcaaar) (function).
tcaadar (function).
(setf tcaadar) (function).
tcaaddr (function).
(setf tcaaddr) (function).
tcaadr (function).
(setf tcaadr) (function).
tcaar (function).
(setf tcaar) (function).
tcadaar (function).
(setf tcadaar) (function).
tcadadr (function).
(setf tcadadr) (function).
tcadar (function).
(setf tcadar) (function).
tcaddar (function).
(setf tcaddar) (function).
tcaddr (function).
(setf tcaddr) (function).
tcadr (function).
(setf tcadr) (function).
(setf tcar) (setf expander).
tcar (function).
tcdaaar (function).
(setf tcdaaar) (function).
tcdaadr (function).
(setf tcdaadr) (function).
tcdaar (function).
(setf tcdaar) (function).
tcdadar (function).
(setf tcdadar) (function).
tcdaddr (function).
(setf tcdaddr) (function).
tcdadr (function).
(setf tcdadr) (function).
tcdar (function).
(setf tcdar) (function).
tcddaar (function).
(setf tcddaar) (function).
tcddadr (function).
(setf tcddadr) (function).
tcddar (function).
(setf tcddar) (function).
tcdddar (function).
(setf tcdddar) (function).
tcdddr (function).
(setf tcdddr) (function).
tcddr (function).
(setf tcddr) (function).
(setf tcdr) (setf expander).
tcdr (function).
tcell (function).
tcell (class).
tchannel (class).
tcons (function).
tcons (structure).
tconsp (function).
teighth (function).
(setf teighth) (function).
tendp (function).
tfifo (function).
tfifo (class).
tfifth (function).
(setf tfifth) (function).
(setf tfirst) (setf expander).
tfirst (function).
tfourth (function).
(setf tfourth) (function).
thash-table (class).
tlast (compiler macro).
tlast (function).
tlist (compiler macro).
tlist (function).
tlist (type).
tlist* (compiler macro).
tlist* (function).
tlist-length (function).
tmap (class).
tninth (function).
(setf tninth) (function).
tnth (function).
(setf tnth) (function).
tnthcdr (function).
tpairlis (function).
tpop (macro).
tport (class).
tpush (macro).
trassoc (function).
(setf trest) (setf expander).
trest (function).
try-put (generic function).
try-take (generic function).
tsecond (function).
(setf tsecond) (function).
tseventh (function).
(setf tseventh) (function).
tsixth (function).
(setf tsixth) (function).
tstack (function).
tstack (class).
(setf tsvref) (setf expander).
tsvref (function).
ttenth (function).
(setf ttenth) (function).
tthird (function).
(setf tthird) (function).
ttree-equal (function).
ttree-equal-test (function).
ttree-equal-test-not (function).
%coerce-to-fun (function).
%copy-tlist-consing (macro).
%copy-tlist-setf-tvar (macro).
%rbmap-rebalance-after-insert (function).
%rbmap-remove-at (function).
%rbmap-remove-black-node-at (function).
%stmx-impl/notx-set/tcar (function).
%stmx-impl/notx-set/tcdr (function).
%stmx-impl/notx-set/tcons-first (function).
%stmx-impl/notx-set/tcons-rest (function).
%stmx-impl/notx-set/tfirst (function).
%stmx-impl/notx-set/trest (function).
%stmx-impl/notx/set-tsvref (function).
(setf %stmx-impl/notx/tcar) (setf expander).
%stmx-impl/notx/tcar (function).
(setf %stmx-impl/notx/tcdr) (setf expander).
%stmx-impl/notx/tcdr (function).
(setf %stmx-impl/notx/tcons-first) (setf expander).
%stmx-impl/notx/tcons-first (function).
(setf %stmx-impl/notx/tcons-rest) (setf expander).
%stmx-impl/notx/tcons-rest (function).
(setf %stmx-impl/notx/tfirst) (setf expander).
%stmx-impl/notx/tfirst (function).
(setf %stmx-impl/notx/trest) (setf expander).
%stmx-impl/notx/trest (function).
%stmx-impl/notx/trplaca (function).
%stmx-impl/notx/trplacd (function).
%stmx-impl/notx/tsvref (function).
%stmx-impl/swtx-set/tcar (function).
%stmx-impl/swtx-set/tcdr (function).
%stmx-impl/swtx-set/tcons-first (function).
%stmx-impl/swtx-set/tcons-rest (function).
%stmx-impl/swtx-set/tfirst (function).
%stmx-impl/swtx-set/trest (function).
%stmx-impl/swtx/set-tsvref (function).
(setf %stmx-impl/swtx/tcar) (setf expander).
%stmx-impl/swtx/tcar (function).
(setf %stmx-impl/swtx/tcdr) (setf expander).
%stmx-impl/swtx/tcdr (function).
(setf %stmx-impl/swtx/tcons-first) (setf expander).
%stmx-impl/swtx/tcons-first (function).
(setf %stmx-impl/swtx/tcons-rest) (setf expander).
%stmx-impl/swtx/tcons-rest (function).
(setf %stmx-impl/swtx/tfirst) (setf expander).
%stmx-impl/swtx/tfirst (function).
(setf %stmx-impl/swtx/trest) (setf expander).
%stmx-impl/swtx/trest (function).
%stmx-impl/swtx/trplaca (function).
%stmx-impl/swtx/trplacd (function).
%stmx-impl/swtx/tsvref (function).
%stmx-impl/tstruct/make-tcons (function).
%stmx-impl/tstruct/tcons-first (reader).
(setf %stmx-impl/tstruct/tcons-first) (writer).
%stmx-impl/tstruct/tcons-rest (reader).
(setf %stmx-impl/tstruct/tcons-rest) (writer).
%stmx-impl/tx-set/tcar (function).
%stmx-impl/tx-set/tcdr (function).
%stmx-impl/tx-set/tcons-first (function).
%stmx-impl/tx-set/tcons-rest (function).
%stmx-impl/tx-set/tfirst (function).
%stmx-impl/tx-set/trest (function).
%sxhash-equalp (macro).
%t-assoc (macro).
%tappend-consing (macro).
%tappend-setf-tvar (macro).
%tassoc (macro).
%tlast0 (function).
%tlast1 (function).
%tlist-get (macro).
%tlist-set (macro).
%trassoc (macro).
*empty-vector* (special variable).
+black+ (constant).
+empty-tcell+ (constant).
+ghash-default-capacity+ (constant).
+ghash-max-capacity+ (constant).
+ghash-threshold-capacity+ (constant).
+red+ (constant).
_ (macro).
add-bheap (function).
back-of (generic reader).
(setf back-of) (generic writer).
bheap (class).
black? (function).
channel-of (generic reader).
clear-bheap (function).
color-of (generic reader).
(setf color-of) (generic writer).
comp-result (type).
compare-bheap-entries (function).
compare-keys (function).
copy-ghash (function).
copy-tcons (function).
copy-tlist (function).
copy-ttree (function).
count-of (generic reader).
do-ghash-pairs (macro).
do-gmap* (macro).
do-tlist (macro).
empty-bheap? (function).
extend-bheap-vector (function).
find-ghash-pair (function).
find-key-and-stack (function).
flip-color (function).
front-of (generic reader).
(setf front-of) (generic writer).
fwd-traverse-gmap-at (function).
get-bheap (function).
ghash-aref-fun (type).
ghash-hash-fun (type).
ghash-mask (function).
ghash-pair (class).
ghash-set-aref-fun (type).
ghash-subscript (function).
ghash-table-count<= (function).
ghash-table-count> (function).
ghash-test-fun (type).
ghash-vector (type).
ghash/new-pair (generic function).
ghash/new-vec (generic function).
gmap-count<= (function).
gmap-count> (function).
gmap-node (class).
gmap/copy-node (generic function).
gmap/new-node (generic function).
gmap/rebalance-after-insert (generic function).
gmap/remove-at (generic function).
heapify-bheap (function).
is-left-gmap-node-child? (function).
is-left-rbnode-child-red? (function).
is-left-rbnode-child? (function).
k< (constant).
k= (constant).
k> (constant).
key-of (generic reader).
(setf key-of) (generic writer).
left-of (generic reader).
(setf left-of) (generic writer).
length-of (generic reader).
(setf length-of) (generic writer).
list-to-tlist (function).
log.debug-gmap (macro).
make-tcons (function).
map-gmap-from-end (function).
pred-function-of (generic reader).
pred-of (generic reader).
print-gmap (generic function).
print-gmap-node (generic function).
print-object-contents (generic function).
rbnode (class).
red? (function).
rehash-ghash (function).
rem-bheap (function).
replace-gmap-node (function).
rev-traverse-gmap-at (function).
right-of (generic reader).
(setf right-of) (generic writer).
rotate-gmap-node-around (function).
rotate-gmap-node-left (function).
rotate-gmap-node-right (function).
set-svref (function).
set-tsvref (function).
sift-down-bheap (function).
sift-up-bheap (function).
tappend (function).
tappend-lists (function).
tcadddr (function).
(setf tcadddr) (function).
tcddddr (function).
(setf tcddddr) (function).
tchannel-back-of (function).
(setf tcons-first) (setf expander).
tcons-first (function).
(setf tcons-rest) (setf expander).
tcons-rest (function).
thash-pair (class).
tldiff (function).
tlistp (function).
tnode (class).
tnreconc (function).
top-of (generic reader).
(setf top-of) (generic writer).
tport-empty? (function).
trevappend (function).
trplaca (function).
trplacd (function).
ufixnum (type).
value-of (generic reader).
(setf value-of) (generic writer).
vector-of (generic reader).
(setf vector-of) (generic writer).
with-ro-slots (macro).
with-rw-slots (macro).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Designator for the SBCL internal package where we look for VOP-related symbols
Value returned by (transaction-begin) if the transaction is successfully started. It is an implementation-dependent fixnum, different from all possible transactions abort error codes.
Value returned by (transaction-begin) if the transaction was manually aborted
by calling (transaction-abort).
It is an implementation-dependent fixnum, different from +transaction-started+
and from all error codes indicating a spontaneous abort.
Unbound TVARs actually contain this value. Use with care.
stmx.
Register BODY to be invoked after the current transaction commits.
If BODY signals an error when executed, the error is propagated
to the caller and further code registered with AFTER-COMMIT is not executed,
but the transaction remains committed.
WARNING: Code registered with after-commit has a number or restrictions:
1) if BODY signal an error when executed, the error is propagated to the caller,
forms registered later with AFTER-COMMIT are not executed,
but the transaction remains committed.
2) BODY is *not* executed inside a transaction: while it is certainly possible to explicitly run an (atomic) block from it, doing so would probably defeat the purpose of AFTER-COMMIT and it may also cause a significant performance penalty.
stmx.
Analyze the slots of a non-transactional struct, so that transactional structs can subclass it.
Use this macro to wrap a DEFSTRUCT as follows:
(ANALYZE-STRUCT (DEFSTRUCT {struct-name | (struct-name [options])} slots-description*)
Note: this macro only analyzes the structure definition, does *not* define the structure. See NON-TRANSACTIONAL-STRUCT for that.
stmx.
Main entry point for STMX.
Run BODY in a memory transaction. All changes to transactional memory
will be visible to other threads only after BODY returns normally (commits).
If BODY signals an error, its effects on transactional memory are rolled back
and the error is propagated normally.
Also, no work-in-progress transactional memory will ever be visible to other
threads.
A memory transaction can also retry: in such case ATOMIC will abort it,
wait until some of the value read by the transaction have changed,
then re-run the transaction from the beginning.
Since STMX transactions do not lock memory, it is possible for different
transactions to try to update the same memory (almost) simultaneously.
In such case, the conflict is detected when they try to commit or rollback,
and only one conflicting transaction is allowed to commit:
all others are immediately re-run again from the beginning.
For this reason, a transaction SHOULD NOT perform any irreversible
operation such as INPUT/OUTPUT: the result would be that I/O is executed
multiple times, or executed even when it shouldn’t have!
Irreversible operations SHOULD be performed OUTSIDE transactions,
for example by queueing them into transactional memory that another thread
will consume and then, OUTSIDE transactions, actually perform them.
For how to create transactional memory, see TRANSACTIONAL or TVAR.
For another way to run transactions, see also TRANSACTION.
For advanced features inside transactions, see RETRY, ORELSE, NONBLOCKING,
BEFORE-COMMIT and AFTER-COMMIT.
For pre-defined transactional classes, see the package STMX.UTIL
stmx.
Atomically decrement PLACE by DELTA. Return _previous_ value of PLACE.
Atomically increment PLACE by DELTA. Return _previous_ value of PLACE.
Like POP, but atomic. PLACE may be read multiple times before the operation completes – the write does not occur until such time that no other thread modified PLACE between the read and the write.
Works only on places supported by ATOMIC-COMPARE-AND-SWAP.
Register BODY to be invoked immediately before the current transaction commits.
If BODY signals an error when executed, the error is propagated to the caller,
further code registered with BEFORE-COMMIT are not executed,
and the transaction rollbacks.
BODY can read and write normally to transactional memory, and in case of conflicts
the whole transaction (not only the code registered with before-commit)
is re-executed from the beginning.
WARNING: BODY cannot (retry) - attempts to do so will signal an error.
Starting a nested transaction and retrying inside that is acceptable,
as long as the (retry) does not propagate outside BODY.
stmx.
Same as DEFCONSTANT, but evaluate VALUE only once:
re-executing again the same (DEFINE-CONSTANT-ONCE name ...) has no effects.
Define NAME as a global variable, declaring that it will have the same value
in all threads, i.e. it will not be special nor dynamically bound.
This is implemented either with a compiler-specific macro (for example SB-EXT:DEFGLOBAL on SBCL), or as DEFVAR if no better implementation is available.
Execute BODY on each KEY/VALUE contained in HASH. Return NIL.
Execute BODY in order on each key/value pair contained in M:
first execute it on the smallest key, then the second smallest...
finally execute BODY on the largest key. Return nil.
If :FROM-END is true, BODY will be executed first on the largest key,
then on the second largest key... and finally on the smallest key.
Adding or removing keys from M during this call (even from other threads) has undefined consequences. Not even the current key can be removed.
Execute body on each key/value pair contained in hash table
Execute BODY on each ELEMENT contained in simple-tvector TVEC.
Creates an implicit block named NIL, so (return ...) can be used to exit early from the loop with an explicit return value.
Execute BODY for each atom inside TREE
Possibly slightly faster variant of ATOMIC.
On systems supporting hardware transactions (as of July 2013, very few systems
support them), FAST-ATOMIC and ATOMIC are identical.
On other systems, multiple nested FAST-ATOMIC forms may be slightly faster than
multiple nested ATOMIC blocks, at the price of compiling BODY more than once.
stmx.
If FAST-VECTOR is not empty, remove its last element and return it and t as multiple values. Otherwise evaluate DEFAULT and return (values DEFAULT NIL).
Return current value of atomic PLACE.
Return DELTA plus current value of atomic PLACE.
Run BODY in a hardware memory transaction. All changes to transactional memory
will be visible to other threads only after BODY returns normally (commits).
If BODY signals an error, its effects on transactional memory are rolled back
and the error is propagated normally.
Also, no work-in-progress transactional memory will ever be visible to other
threads.
If hardware memory transaction aborts for a conflict, rerun it.
If it fails for some other reason, execute FALLBACK.
stmx.
Abort a hardware memory transaction currently in progress. Causes a rollback of *all* transaction effects, execution resumes at (hw-transaction-begin) by returning abort reason.
Start a hardware memory transaction. Return +hw-transaction-started+ if transaction started successfully, otherwise return abort reason.
Try to commit a hardware memory transaction currently in progress. If commit is successful, return normally. Otherwise execution resumes at (hw-transaction-begin) by returning abort reason.
If ERR-CODE is the result returned by (HW-TRANSACTION-BEGIN) of an *aborted* transaction,
return T if re-running the same transaction has a possibility to succeed,
i.e. if the abort reason was temporary (as for example a conflict with another thread).
Return NIL if re-running the same transaction has no possibility to succeed.
Return T if a hardware memory transaction is in progress.
Return T if the CPU supports hardware memory transactions, and there is a compiler extension to use them, otherwise return NIL.
Increase atomic PLACE by DELTA and return its new value.
Memory read barrier. Execute BEFORE, then put the barrier.
Memory write barrier. Execute BEFORE, then put the barrier.
Use this macro to wrap a normal DEFSTRUCT as follows:
(NON-TRANSACTIONAL-STRUCT (DEFSTRUCT {struct-name | (struct-name [options])} slots-description*)
The effect is the same as DEFSTRUCT, plus its slots will be analyzed
so that transactional structs can subclass it
stmx.
Execute all the forms in BODY in a single nested transaction and:
a) in case of transaction conflicts, re-execute BODY
b) if BODY returns normally, commit and return multiple values:
T followed by the values returned by BODY.
b) if BODY signals an error, rollback and raise such error.
d) if BODY attempts to retry, immediately return NIL without waiting/sleeping.
Can only be used inside an ATOMIC block.
stmx.
stmx.
stmx.
Execute each form in BODY from left to right in separate, nested transactions
until one succeeds (i.e. commits) or signals an error.
If a form calls (RETRY) or has a temporary failure (temporary failures as
for example conflicts are normally invisible because (ATOMIC ...) re-executes
them automatically) advance to the next form and run it instead of retrying
the current one.
Returns the value of the transaction that succeeded,
or signals the error raised by the transaction that failed.
Can only be used inside an ATOMIC block.
stmx.
Equivalent to POP, but also assumes the CONS at PLACE is no longer
used and can be added to free CONS pool.
Removes and returns the first element in PLACE.
Equivalent to PUSH, but uses CONS pool to speedup allocation.
Inserts VALUE as the first element in PLACE.
Return the modified PLACE.
Set and return value of atomic PLACE.
Equivalent to POP, but for TCONS transactional cells. Removes and returns the first element in PLACE.
Equivalent to PUSH, but for TCONS transactional cells. Inserts VALUE as the first element in PLACE. Return the modified PLACE.
Deprecated. Use ATOMIC instead.
Define FUNC-NAME as a new atomic function or method.
Use this macro to wrap a normal DEFUN or DEFMETHOD as follows:
(TRANSACTION (DEFUN function-name (arguments) body))
or
(TRANSACTION (DEFMETHOD function-name (arguments) body))
The effect is the same as DEFUN - or DEFMETHOD - plus:
- the BODY is wrapped inside (atomic ...)
stmx.
Define CLASS-OR-STRUCT-NAME as a new transactional class or struct.
Use this macro to wrap a normal DEFCLASS as follows: (TRANSACTIONAL (DEFCLASS class-name (superclasses) (slots) [options]))
Or to wrap a normal DEFCLASS as follows:
(TRANSACTIONAL (DEFSTRUCT (class-name (options)) slots))
stmx.
Define CLASS-NAME as a new transactional class.
Use this macro to wrap a normal DEFCLASS as follows:
(TRANSACTIONAL (DEFCLASS class-name (superclasses) (slots) [options]))
The effect is the same as DEFCLASS, plus:
- by default, slots are transactional memory (implemented by TVARs)
- it inherits also from TRANSACTIONAL-OBJECT
- the metaclass is TRANSACTIONAL-CLASS
- it internally defines a method INITIALIZE-INSTANCE :before, do NOT redefine it
stmx.
Define NAME as a new transactional struct.
Use this macro to wrap a normal DEFSTRUCT as follows:
(TRANSACTIONAL-STRUCT (DEFSTRUCT {struct-name | (struct-name [options])} slots-description*)
The effect is the same as DEFSTRUCT, plus:
- by default, direct slots are transactional memory (implemented by TVARs)
stmx.
Faster replacement for BORDEAUX-THREADS:WITH-LOCK-HELD.
Set VALUE as the first element in a TCONS or non-null TLIST. This function should always be executed inside an STMX atomic block.
tcar (function).
Set VALUE as the rest element in a TCONS or non-null TLIST.
This function should always be executed inside an STMX atomic block.
tcdr (function).
Set VALUE as the first element in a TCONS or non-null TLIST.
This function should always be executed inside an STMX atomic block.
tfirst (function).
Set VALUE as the rest element in a TCONS or non-null TLIST.
This function should always be executed inside an STMX atomic block.
trest (function).
tsvref (function).
set-tsvref (function).
Get the value from the transactional variable VAR and return it.
Return +unbound-tvar+ if VAR is not bound to a value.
Works both inside and outside transactions.
During transactions, it uses transaction log to record the read
and to check for any value stored in the log.
Get the value from the transactional variable VAR and return it.
Signal an error if VAR is not bound to a value.
Works both inside and outside transactions.
During transactions, it uses transaction log to record the read
and to check for any value stored in the log.
stmx.
N-ary version of SET-GMAP and (SETF (GET-GMAP ...) ...):
Given a list of alternating keys and values,
add or replace each of them into M. Return M.
Return T if all features from LIST are present in *FEATURE-LIST* and have non-NIL value.
Return (list F VALUE) if F is present in *FEATURE-LIST*
Return true if transactional variable VAR is bound to a value.
Works both outside and inside transactions.
During transactions, it uses transaction log to record the read and to check for any value stored in the log.
stmx.
Register FUNC function to be invoked after the current transaction commits.
IMPORTANT: See AFTER-COMMIT for what FUNC must not do.
stmx.
Register FUNC function to be invoked immediately before the current transaction commits.
IMPORTANT: See BEFORE-COMMIT for what FUNC must not do.
stmx.
Remove all keys and values from HASH. Return HASH.
Remove all keys and values from M. Return M.
Same as (clrhash hash).
Print the things to a string, the convert the string into a symbol interned in current package. Return the symbol
Get a CONS from free cons pool, otherwise allocate it. Return the CONS.
Create and return a copy of binary tree M. Keys and values in M are shallow copied.
Fill MCOPY with a copy of gmap M and return MCOPY.
Copies all keys and values from M into MCOPY
and removes any other key/value already present in MCOPY.
Copy all key/value pairs from hash-table SRC into hash-table DST. Other keys (and their values) present in DST but not in SRC are not modified. Return DST.
Return a new association list which is EQUAL to TALIST.
Add feature F and its VALUE into *FEATURE-LIST*, unless F is already present. Return (values T VALUE) if F was actually inserted in *FEATURE-LIST*, otherwise return NIL and the value already present in *FEATURE-LIST*.
Set the value of each feature in ALIST, unless the feature is already
present in *FEATURE-LIST*. Each element in ALIST must be either
a pair (FEATURE VALUE) or a simple atom FEATURE.
In the latter case, the FEATURE value will default to T.
Return current capacity of FAST-VECTOR.
Remove all elements from FAST-VECTOR. Return FAST-VECTOR.
Return current length of FAST-VECTOR.
If FAST-VECTOR is not empty, remove its last element and return it and t as multiple values. Otherwise return (values DEFAULT NIL).
If FAST-VECTOR is not full, append NEW-ELEMENT to FAST-VECTOR and return
the index of the pushed element.
Otherwise return NIL.
If FAST-VECTOR is full, resize it. Then append NEW-ELEMENT to FAST-VECTOR and return the index of the pushed element.
Find and return the symbol named SYMBOL-NAME in PACKAGE
Optimized version of (/= x y) for FIXNUM arguments
Optimized version of (< x y) for FIXNUM arguments
Optimized version of (= x y) for FIXNUM arguments
Optimized version of (> x y) for FIXNUM arguments
Add a CONS cell to free cons pool.
Add a list of CONS cells to free cons pool.
Return current value of atomic COUNTER.
Return DELTA plus current value of atomic COUNTER.
Return value of F in *FEATURE-LIST* and T, or (values DEFAULT NIL) if not present or has NIL value.
If KEY is associated to VALUE in HASH, return (values VALUE t) Otherwise return (values DEFAULT nil).
Find KEY in binary tree M and return its value and T as multiple values. If M does not contain KEY, return (values DEFAULT NIL).
Add KEY to binary tree M if not present, and associate VALUE to KEY in M. Return VALUE.
Same as (gethash key hash), only with reversed arguments.
Same as (setf (gethash key hash) value), only with reversed key and hash arguments.
Return a list containing the keys in ghash-table SRC.
If TO-LIST is not nil, it will be appended to the returned list.
TO-LIST contents is not destructively modified.
Return an alist containing a (key . value) pair for each entry
in ghash-table SRC.
If TO-ALIST is not nil, it will be appended to the returned alist.
TO-ALIST contents is not destructively modified.
Return the number of KEY/VALUE entries in ghash-table HASH.
Return T if GHASH-TABLE is empty, i.e. if it contains no entries.
Return the symbol used by ghash-table HASH to hash keys.
Return the symbol used by ghash-table HASH to compare keys.
Return a list containing the values in ghash-table SRC.
If TO-LIST is not nil, it will be appended to the returned list.
TO-LIST contents is not destructively modified.
Return number of elements in binary tree M.
Return t if binary tree M is empty, otherwise return nil.
Return an ordered list of all keys contained in M.
Return an ordered list of pairs (key . value) containing all entries in M.
Return the predicate symbol used by binary tree M to sort keys.
Return a list of all values contained in M.
The values are returned in the order given by their keys:
first the value associated to the smallest key, and so on.
Return a list containing the keys in hash-table SRC.
If TO-LIST is not nil, it will be appended to the returned list.
TO-LIST contents is not destructively modified.
Return an alist containing a (key . value) pair for each entry
in hash-table SRC.
If TO-ALIST is not nil, it will be appended to the returned alist.
TO-ALIST contents is not destructively modified.
Return a list containing the values in hash-table SRC.
If TO-LIST is not nil, it will be appended to the returned list.
TO-LIST contents is not destructively modified.
Increase atomic COUNTER by DELTA and return its new value.
Test for HLE, i.e. hardware lock elision.
HLE is supported if (cpuid 7) returns ebx with bit 4 set.
If a processor does not support HLE, it will ignore the
assembler instruction prefixes XACQUIRE and XRELEASE.
Create and return a new ATOMIC-COUNTER.
Create and return an initially empty FAST-VECTOR with specified maximum length.
Note: initial-element MUST be compatible with type element-type,
i.e. (typep initial-element element-type) must return true.
Create and return a MUTEX.
Constructs a tlist with SIZE elements each set to INITIAL-ELEMENT
Invoke FUNC on each key/value pair contained in HASH. Return NIL.
FUNC must be a function accepting two arguments: key and value.
Adding or removing keys from HASH during this call (even from other threads) has undefined consequences. Not even the current key can be removed.
Invoke FUNC in order on each key/value pair contained in M:
first invoke it on the smallest key, then the second smallest...
finally invoke FUNC on the largest key. Return nil.
FUNC must be a function accepting two arguments: key and value.
Adding or removing keys from M during this call (even from other threads) has undefined consequences. Not even the current key can be removed.
Return the largest key in M, its value, and t as multiple values, or (values nil nil nil) if M is empty
Copy hash-table SRC into hash-table DST.
Return t if SRC and DST are compatible,
i.e. if they contain eq values for the keys common to both,
otherwise return nil.
(in the latter case, the merge will not be completed).
Return the smallest key in M, its value, and t as multiple values, or (values nil nil nil) if M is empty.
Return T if MUTEX is free. Return NIL if MUTEX
is currently locked by current thread or some other thread.
Return T if MUTEX is free or locked by current thread. Return NIL if MUTEX is currently locked by some other thread.
Return T if MUTEX is locked by current thread.
Release MUTEX. Return NIL. Consequences are undefined if MUTEX is locked by another thread or is already unlocked.
Remove KEY from HASH.
Return T if KEY was present in HASH, otherwise return NIL.
Find and remove KEY and its associated value from binary tree M. Return t if KEY was removed, nil if not found.
Same as (remhash key hash), only with reversed arguments.
N-ary version of REM-GMAP:
remove a list of keys from M. Return M.
Abort the current transaction and re-run it again from the beginning.
Before re-executing, the transaction will wait on all variables that it read until at least one of them changes.
stmx.
Function equivalent of the ATOMIC macro.
Run the function TX inside a memory transaction.
If the transaction is invalid (conflicts) re-run TX immediately, ignoring
any error it may signal.
Otherwise, commit if TX returns normally, or rollback if it signals an error.
Finally, if TX called (retry), re-run it after at least some of the transactional memory it read has changed.
stmx.
Function variant of ‘orelse’. Execute the functions in FUNCS list
one by one from left to right in separate, nested transactions until one succeeds
(i.e. commits) or signals an error.
If a nested transaction is invalid or wants to retry, run the next one.
Returns the value of the transaction that succeeded,
or signals the error raised by the transaction that failed.
Can only be used inside an ATOMIC block.
stmx.
Set and return value of atomic COUNTER.
Set feature F to VALUE, even if F is already present in *FEATURE-LIST*. Return VALUE.
Set the value of each feature in PLIST, even if the feature is already
present in *FEATURE-LIST*. Each element in PLIST must be either
a pair (FEATURE VALUE) or a simple atom FEATURE.
In the latter case, the FEATURE value will default to T.
Add KEY to HASH, associating it to VALUE. Return VALUE.
Add KEY to binary tree M if not present, and associate KEY to VALUE in M. Return VALUE.
Shortcut for (setf (gethash key hash) value)
Create and return a new SIMPLE-TVECTOR.
Return the length of simple-tvector TVEC.
Print the things to a string and return it
Variant of SXHASH designed for EQUALP tests, i.e.
(equalp x y) implies (= (sxhash-equalp x) (sxhash-equalp y)).
A common use is for ghash-tables and thash-tables that use :test ’equalp
Construct a new talist by adding the pair (KEY . DATUM) to TALIST.
Return the tcons in TALIST whose tcar is equal (by a given test or EQL) to the ITEM.
Return NIL if OBJECT is a TCONS, and T otherwise.
Return the CAR of the CAAAR of a TLIST.
Set the CAR of the CAAAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CAADR of a TLIST.
Set the CAR of the CAADR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CAAR of a TLIST.
Set the CAR of the CAAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CADAR of a TLIST.
Set the CAR of the CADAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CADDR of a TLIST.
Set the CAR of the CADDR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CADR of a TLIST.
Set the CAR of the CADR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CAR of a TLIST.
Set the CAR of the CAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CDAAR of a TLIST.
Set the CAR of the CDAAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CDADR of a TLIST.
Set the CAR of the CDADR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CDAR of a TLIST.
Set the CAR of the CDAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CDDAR of a TLIST.
Set the CAR of the CDDAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CDDR of a TLIST.
Set the CAR of the CDDR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CAR of the CDR of a TLIST.
Set the CAR of the CDR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the 1st object in a TLIST.
Return the CDR of the CAAAR of a TLIST.
Set the CDR of the CAAAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CAADR of a TLIST.
Set the CDR of the CAADR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CAAR of a TLIST.
Set the CDR of the CAAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CADAR of a TLIST.
Set the CDR of the CADAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CADDR of a TLIST.
Set the CDR of the CADDR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CADR of a TLIST.
Set the CDR of the CADR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CAR of a TLIST.
Set the CDR of the CAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CDAAR of a TLIST.
Set the CDR of the CDAAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CDADR of a TLIST.
Set the CDR of the CDADR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CDAR of a TLIST.
Set the CDR of the CDAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CDDAR of a TLIST.
Set the CDR of the CDDAR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CDDR of a TLIST.
Set the CDR of the CDDR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return the CDR of the CDR of a TLIST.
Set the CDR of the CDR of a TLIST.
This function should always be executed inside an STMX atomic block.
Return all but the first object in a TLIST.
Create and return a new TCELL.
Create and return a new TCONS.
Return the 8th object in a TLIST or NIL if there is no 8th object.
Set the 8th object in a TLIST.
This is the recommended way to test for the end of a proper TLIST. It returns true if OBJECT is NIL, false if OBJECT is a TCONS, and an error for any other type of OBJECT.
Return the 5th object in a TLIST or NIL if there is no 5th object.
Set the 5th object in a TLIST.
Return the first element in a TCONS or TLIST.
Return the 4th object in a TLIST or NIL if there is no 4th object.
Set the 4th object in a TLIST.
Return the last N conses (not the last element!) of a TLIST.
Create and return a new TLIST, whose cells are TCONS.
Return a TLIST of the arguments with last TCONS a dotted pair.
Return the length of the given TLIST, or NIL if the TLIST is circular.
Return the 9th object in a TLIST or NIL if there is no 9th object.
Set the 9th object in a TLIST.
Return the Nth object in a TLIST where the TCAR is the zero-th element.
Set the Nth element of TLIST to NEWVAL.
Performs the TCDR function N times on a TLIST.
Construct an association list from KEYS and DATA (adding to TALIST).
Voluntarily abort a hardware memory transaction
with an error-code equal to +transaction-user-abort+.
If a transaction is in progress, TRANSACTION-ABORT does not return normally:
execution is resumed at the instruction immediately after the outermost
TRANSACTION-BEGIN.
If called without an active transaction, TRANSACTION-ABORT returns normally with an implementation-dependent value.
Start a hardware memory transaction.
Return +transaction-started+ if transaction started successfully,
otherwise return code of the error that caused the transaction to abort.
Invoking TRANSACTION-BEGIN while there is already a running hardware memory transaction has implementation-dependent effects.
Commit a hardware memory transaction.
Return normally (with an implementation-dependent value) if commit is successful,
otherwise abort the transaction.
In case the transaction is aborted, all effects of code between TRANSACTION-BEGIN
and TRANSACTION-END are rolled back (undone):
execution resumes at the instruction immediately after TRANSACTION-BEGIN,
in such a way that TRANSACTION-BEGIN will appear to have returned
a non-zero error code (that describes the abort reason).
Invoking TRANSACTION-END without a running hardware memory transaction
has undefined consequences.
If ERR-CODE is the result returned by (TRANSACTION-BEGIN) of an *aborted* transaction,
return T if re-running the same transaction has a possibility to succeed,
i.e. if the abort reason was temporary (as for example a conflict with another thread).
Return NIL if re-running the same transaction has no possibility to succeed.
Return T if a hardware memory transaction is currently in progress, otherwise return NIL.
Test for RTM, i.e. hardware memory transactions.
RTM is supported if (cpuid 7) returns ebx with bit 11 set.
If a processor does not support HLE, trying to execute
the assembler instructions XBEGIN, XEND, XABORT and XTEST
will generate faults.
Return true if inside a software or hardware transaction.
stmx.
Return the cons in TALIST whose tcdr is equal (by a given test or EQL) to the ITEM.
Return the rest element in a TCONS or TLIST.
Try to acquire MUTEX. Return T if successful, or NIL if MUTEX was already locked.
Return the 2nd object in a TLIST or NIL if there is no 2nd object.
Set the 2nd object in a TLIST.
Return the 7th object in a TLIST or NIL if there is no 7th object.
Set the 7th object in a TLIST.
Return the 6th object in a TLIST or NIL if there is no 6th object.
Set the 6th object in a TLIST.
Create and return a new TSTACK.
Return the INDEX-th element of simple-tvector TVEC. Works both inside and outside transactions
Return the 10th object in a TLIST or NIL if there is no 10th object.
Set the 10th object in a TLIST.
Return the 3rd object in a TLIST or NIL if there is no 3rd object.
Set the 3rd object in a TLIST.
Return T if X and Y are isomorphic TLIST trees with identical leaves.
Unbind the value inside transactional variable VAR.
Works both outside and inside transactions.
During transactions, it uses transaction log to record the ’unbound’ value.
stmx.
Remove all values contained in PLACE. Return PLACE.
Return nil if PLACE contains at least one value, otherwise return t.
tchannel)) ¶Tchannels are write-only: it is never possible to read values from them, so assume they are always empty and return t.
Return t if PLACE cannot contain more values, otherwise return nil.
tport)) ¶Tports are read-only: it is never possible to store values in them, so assume they are always full and return t.
tchannel)) ¶Tchannels can contain unlimited values: they are never full, so always return nil.
Default implementation: assumes that PLACE can contain only one value.
Return one value stored in PLACE without removing it, and t as multiple values. If PLACE contains no values, return (values DEFAULT nil).
bheap) &optional default) ¶Return the first value in bheap Q without removing it, and t as multiple values. Return (values DEFAULT nil) if Q contains no values.
tport) &optional default) ¶Return the first value in tport P without removing it, and t as multiple values. Return (values DEFAULT nil) if P contains no value.
tfifo) &optional default) ¶Return the first value in tfifo F without removing it, and t as multiple values. Return (values DEFAULT nil) if F contains no value.
tstack) &optional default) ¶Return the first value in tstack S without removing it, and t as multiple values. Return (values DEFAULT nil) if S contains no values.
Wait until PLACE can contain more values, then store VALUE in it and return VALUE.
tchannel) value) ¶Append VALUE as last element in tchannel C and return VALUE.
Since tchannel can contain unlimited values, this method never blocks.
tfifo) value) ¶Append VALUE as last element in tfifo F and return VALUE.
Since tfifo can contain unlimited values, this method never blocks.
tstack) value) ¶Insert VALUE as first element in tstack S and return VALUE. Since tstack can contain unlimited values, this method never blocks.
Wait until PLACE contains at least one value, then remove and return one value.
tport)) ¶Wait until tport P contains at least one value, then remove and return the first value.
tfifo)) ¶Wait until tfifo F contains at least one value, then remove and return the first value.
tstack)) ¶Wait until tstack S contains at least one value, then remove and return the first value.
If PLACE can contain more values, store VALUE it and return t and VALUE as multiple values. Otherwise return (values nil nil)
bheap) value) ¶Store VALUE in bheap Q. Return t and VALUE This method never fails.
tchannel) value) ¶Append VALUE to tchannel C and return (values t VALUE).
Since tchannel can contain unlimited values, this method never fails.
tfifo) value) ¶Append VALUE as last element in tfifo F and return (values t VALUE). Since tfifo can contain unlimited values, this method never fails.
tstack) value) ¶Append VALUE to tstack S and return (values t VALUE).
Since fifo can contain unlimited values, this method never fails.
tcell) value) ¶hand-made, nonblocking version of (put place) for tcells. less general but approx. 3 times faster (on SBCL 1.0.57.0.debian, Linux amd64) than the unspecialized (try-put place) which calls (atomic (nonblocking (put place value)))
tvar) value) ¶hand-made, nonblocking version of (put place) for TVARs.
Less general but approx. 3 times faster (on SBCL 1.0.57.0.debian,
Linux amd64) than the unspecialized (try-put place) which calls
(atomic (nonblocking (put place value)))
this method shows a general technique to convert a blocking, atomic operation into a nonblocking, atomic one: simply wrap it in (atomic (nonblocking ...))
If PLACE contains at least one value, remove one value and return t and it as multiple values. Otherwise return (values nil nil)
bheap)) ¶If bheap S contains at least one value, remove the first value and return t and the first value as multiple values. Otherwise return (values nil nil)
tport)) ¶If tport P contains at least one value, remove the first value and return t and the first value as multiple values. Otherwise return (values nil nil)
tfifo)) ¶If tfifo F contains at least one value, remove the first value and return t and the first value as multiple values. Otherwise return (values nil nil)
tstack)) ¶If tstack S contains at least one value, remove the first value and return t and the first value as multiple values. Otherwise return (values nil nil)
tcell)) ¶hand-made, nonblocking version of (take place) for cells. less general but approx. 3 times faster (on SBCL 1.0.57.0.debian, Linux amd64) than the unspecialized (try-take place) which calls (atomic (nonblocking (take place)))
tvar)) ¶hand-made, nonblocking version of (take place) for TVARs. Less general but approx. 3 times faster (on SBCL 1.0.57.0.debian, Linux amd64) than the unspecialized (try-take place) which calls (atomic (nonblocking (take place)))
this method shows a general technique to convert a blocking, atomic operation into a nonblocking, atomic one: simply wrap it in (atomic (nonblocking ...))
transactional-class) slot-name direct-slots) ¶Compose DIRECT-SLOTS coming from CLASS and all is superclasses into a single EFFECTIVE-SLOT.
If more than one transactional-direct-slot with the same name is present,
ensure that all of them have the same :transactional flag value (all T or all NIL),
otherwise signal an error.
sb-mop.
transactional-class) &rest initargs) ¶sb-mop.
transactional-class) &rest initargs) ¶sb-mop.
tcell) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TCELL *before* the normal slots initialization.
tchannel) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TCHANNEL *before* the normal slots initialization.
ghash-table) &rest other-keys &key initial-capacity) ¶tfifo) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TFIFO *before* the normal slots initialization.
tstack) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TSTACK *before* the normal slots initialization.
tmap) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TMAP *before* the normal slots initialization.
thash-table) &rest other-keys) ¶thash-table) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of THASH-TABLE *before* the normal slots initialization.
tport) &key &allow-other-keys) ¶Initialize the reading tport P for a multicast tchannel.
tport) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TPORT *before* the normal slots initialization.
tnode) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of TNODE *before* the normal slots initialization.
thash-pair) &key &allow-other-keys) ¶Put a TVAR into every transactional direct slot of THASH-PAIR *before* the normal slots initialization.
ghash-table) stream-0) ¶ghash-pair) stream-0) ¶transactional-class) instance (slot transactional-effective-slot)) ¶sb-mop.
transactional-class) instance (slot transactional-effective-slot)) ¶sb-mop.
transactional-class) instance (slot transactional-effective-slot)) ¶sb-mop.
transactional-class) instance (slot transactional-effective-slot)) ¶sb-mop.
transactional-object) added-slots discarded-slots property-list &key &allow-other-keys) ¶Put TVARs into all newly-added transactional slots of INSTANCE
transactional-class) (superclass standard-class)) ¶sb-mop.
structure-object.
stmx.lang:atomic-counter-slot-type
0
structure-object.
stmx.lang::atomic-t
Transactional cell holding two values. It is the STM equivalent of CONS cells.
To use TCONS cells, prepend T to the name of most list-manipulating functions. Examples:
(CONS a b) -> (TCONS a b)
(LIST ...) -> (TLIST ...)
(FIRST c) -> (TFIRST c)
(REST c) -> (TREST c) and so on
structure-object.
common-lisp.
(stmx:transactional t)
(stmx::tstruct-slot-initialize (quote stmx.util:tcons) (quote first) (quote nil))
common-lisp.
(stmx:transactional t)
(stmx::tstruct-slot-initialize (quote stmx.util:tcons) (quote rest) (quote nil))
a transactional variable (tvar) is the smallest unit of transactional memory.
it contains a single value that can be read or written during a transaction
using ($-slot var) and (setf ($-slot var) value).
tvars are seldom used directly, since transactional objects (tobjs) wrap them
with a more convenient interface: you can read and write normally the slots
of a transactional object (with slot-value, accessors ...), and behind
the scenes the slots will be stored in transactional memory implemented by tvars.
stmx.
structure-object.
stmx::version-type
stmx::+invalid-version+
stmx:+unbound-tvar+
fixnum
stmx::+invalid-version+
This slot is read-only.
(or null hash-table)
(bordeaux-threads:make-lock "tvar-waiting")
This slot is read-only.
Generic hash-table. Allows custom :test argument at creation - default is ’eql.
If :test is not one of ’eq ’eql or ’equal, also requires explicit :hash
argument at creation.
Not so useful by itself (standard CL:HASH-TABLE is usually faster),
it is the base for transactional hash-table implementation THASH-TABLE.
(or stmx.util::ghash-vector stmx:tvar)
stmx.util::ghash-test-fun
stmx.util::ghash-hash-fun
stmx.util::ghash-aref-fun
(function svref)
stmx.util::ghash-set-aref-fun
(function stmx.util::set-svref)
common-lisp.
(or null fixnum stmx:tvar)
0
symbol
(quote eql)
:test
symbol
:hash
Generic binary tree
(or null stmx.util::gmap-node stmx:tvar)
function
This slot is read-only.
common-lisp.
(or null fixnum stmx:tvar)
0
This slot is read-only.
Red-black tree implementation of sorted binary map
stmx.util::+empty-tcell+
:value
Transactional multicast channel supporting unlimited reading ports.
Values written into the tchannel are available to all reading ports in the same order.
References to values written into the tchannel are kept only as long as
one or more ports still need to read them.
(or stmx.util:tcons stmx:tvar)
(stmx.util:tcons nil nil)
Transactional hash table.
Transactional sorted map, implemented with red-black tree
Transactional reading port for a multicast tchannel.
Values written into the tchannel are available to all reading ports in the same order.
(or cons stmx:tvar)
stmx.util:tchannel
(error "missing :channel argument instantiating ~a or a subclass" (quote stmx.util:tport))
:channel
This slot is read-only.
The metaclass for transactional classes.
Classes defined with this metaclass have extra slot options, see the class TRANSACTIONAL-DIRECT-SLOT for details.
stmx.
standard-class.
Superclass of all transactional objects.
stmx.
tcell.
tchannel.
tfifo.
thash-pair.
thash-table.
tmap.
tnode.
tport.
tstack.
(or list stmx:tvar)
stmx.util::top
ATOMIC-NUM must be a type suitable for ATOMIC-INCF and ATOMIC-DECF. STMX also assumes it is the same or wider than fixnum.
SIMPLE-TVECTOR is a transactional, one dimensional array. It is currently a deftype, not a class or struct: methods cannot be specialized on it.
Empty TCELL objects actually contain this symbol in their VALUE slot. Use with care.
Default initial capacity of a GHASH-TABLE.
Maximum capacity of a GHASH-TABLE.
Equal to MOST-POSITIVE-FIXNUM rounded down to nearest power of 2.
+global-clock+ VERSION is incremented by 2 each time: the lowest bit is reserved as "locked" flag in TVARs versioning - used if TVAR-LOCK feature is equal to :BIT.
stmx.
+global-clock+ NOHW-COUNTER incremented by 2 each time: the lowest bit is reserved as "prevent HW transactions"
stmx.
A boolean controlling the behaviour of the function (slot-value)
and of slot accessors for TOBJs slots:
- if false, (slot-value) and accessors will get or set the actual TVAR stored
inside the slot.
- if true, (slot-value) and accessors will get or set the value stored inside
the slot’s TVAR.
This flag is almost always true; it is temporarily set to false during some MOP calls (slot-value-using-class ...) that implement access to TOBJs slots.
stmx.
A flag indicating if transactions are being recorded to TLOGs or not.
Recording is normally enabled during transactions,
while it is normally disabled in these cases:
- outside transactions
- when initializing TOBJs slots
- during some MOP calls (slot-value-using-class etc.) that implement
access to TOBJs slots.
stmx.
Run BODY in a hardware memory transaction.
If the transaction aborts, retry it as long as it has chances to succeed.
If it has no chances to succeed, execute FALLBACK.
Warning: if a transaction is already running, execute BODY inside it
stmx.
Like PUSH, but atomic. PLACE may be read multiple times before the operation completes – the write does not occur until such time that no other thread modified PLACE between the read and the write.
Works only on places supported by ATOMIC-COMPARE-AND-SWAP.
stmx.
Execute BODY on every transactional direct slot (not inherited) of CLASS.
stmx.
Execute BODY on every transactional slot (direct or inherited) of CLASS.
stmx.
Execute BODY on each KEY/VALUE contained in FIFO. Return NIL.
stmx.
Execute BODY on each TXPAIR contained in FIFO. Return NIL.
stmx.
Execute BODY on each GHASH-PAIR pair contained in HASH. Return NIL.
Execute BODY in order on each key/value pair contained in M:
first execute it on the smallest key, then the second smallest...
finally execute BODY on the largest key. Return nil.
If :FROM-END is true, BODY will be executed first on the largest key,
then on the second largest key... and finally on the smallest key.
Adding or removing keys from M during this call (even from other threads) has undefined consequences. Not even the current key can be removed.
Execute BODY inside a loop, iterating on tstruct-def STRUCT-DEF and all its superclasses
stmx.
Analogous to DOLIST, iterates on transactional list TLIST.
On each iteration, sets VAR to the element and executes BODY inside a tagbody.
Returns RESULT. Note: when RESULT is executed, VAR is set to NIL.
An implicit block named NIL surrounds DO-TLIST, so RETURN can be used
to terminate immediately the iterations and return zero or more values.
Execute BODY on tstruct-def STRUCT-DEF and all its superclasses
stmx.
Execute BODY on each KEY/VALUE contained in FIFO. Return NIL.
stmx.
Execute BODY on each TXPAIR contained in FIFO. Return NIL.
stmx.
Execute BODY on each KEY/VALUE contained in HASH. Return NIL.
stmx.
Execute BODY on each TXPAIR pair contained in HASH. Return NIL.
stmx.
Decrement by one the number of software-only transaction commits currently running.
This function must be called at the end of each software-only transaction commit, (retry), or any other operation incompatible with hardware transactions, in order to let the latter run, since their current implementations are mutually incompatible.
stmx.
Return the features of the GLOBAL-CLOCK algorithm, i.e. a list containing zero or more of :SUITABLE-FOR-HW-TRANSACTIONS and :SPURIOUS-FAILURES-IN-SINGLE-THREAD. The list of possible features will be expanded as more GLOBAL-CLOCK algorithms are implemented.
stmx.
Return the number of operations currently running that are incompatible with
hardware transactions. Example of operations that AT THE MOMENT are incompatible with
hardware transactions include:
1) software-only transaction commits
2) (retry)
This function must be called at the beginning of each hardware transaction
in order to detect if an incompatible operation is started during the hardware
transaction, and abort the transaction in such case.
stmx.
Return the value to use as new transaction "read version",
This function must be called after a hardware transaction failed/aborted and before rerunning it.
stmx.
Return the value to use as hardware transaction "read version".
This function must be invoked once upon starting a hardware transaction for the first time. In case the transaction just aborted and is being re-executed, invoke instead (GLOBAL-CLOCK/HW/AFTER-ABORT).
stmx.
Return the value to use as hardware transaction "write version",
given the transaction current READ-VERSION that was assigned at transaction start.
During hardware transactions - and also during hardware-based commits of software transactions - this function must be called once before writing the first TVAR.
stmx.
Return the value to use as TVAR "write version", given the hardware
transaction current WRITE-VERSION that was assigned by GLOBAL-CLOCK/HW/START-WRITE
before the transaction started writing to TVARs.
This function must be called for **each** TVAR being written during
hardware-assisted commit phase of software transactions
and during pure hardware transactions.
stmx.
Increment by one the number of operations currently running that are incompatible with
hardware transactions.
This function must be called at the beginning of each software-only transaction commit, (retry), or any other operation incompatible with hardware transactions, in order to abort the latter, since their current implementations are mutually incompatible.
stmx.
Return the value to use as new transaction "read version",
This function must be called after a software transaction failed/aborted and before rerunning it.
stmx.
Return the value to use as software transaction "read version".
This function must be invoked once upon starting a software transaction for the first time. In case the transaction just aborted and is being re-executed, invoke instead (GLOBAL-CLOCK/SW/AFTER-ABORT).
stmx.
Return the value to use as softarw transaction "write version", given the software transaction current READ-VERSION that was assigned at transaction start.
During software-only commits, this function must be called once before committing the first TVAR write.
stmx.
Return the value to use as TVAR "write version", given the software
transaction current WRITE-VERSION that was assigned by GLOBAL-CLOCK/SW/START-WRITE
before the transaction started writing to TVARs.
Fhis function must be called for **each** TVAR being written
during software-only commit phase of software transactions.
stmx.
Return T if TVAR-VERSION is compatible with transaction "read version".
If this function returns NIL, the transaction must be aborted.
During software transactions, this function must be invoked after every TVAR read and before returning the TVAR value to the application code. During hardware transactions, this function is not used.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/AFTER-ABORT. Return the current +gv+ value.
stmx.
This is GV1 implementation of GV1/DECF-NOHW-COUNTER. It does nothing and returns zero.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/FEATURES.
Return nil, i.e. not ’(:suitable-for-hw-transactions) because (GV1/START-WRITE ...) increments the global clock, which causes conflicts and aborts when multiple hardware transactions are running simultaneously.
stmx.
This is GV1 implementation of GV1/GET-NOHW-COUNTER. It does nothing and returns zero.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/HW/AFTER-ABORT. Calls GV1/AFTER-ABORT.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/HW/START-READ. Calls GV1/START-READ.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/HW/START-WRITE. Calls GV1/START-WRITE.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/HW/STAT-ABORTED. Calls GV1/STAT-ABORTED.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/HW/STAT-COMMITTED. Calls GV1/STAT-COMMITTED.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/HW/WRITE. Calls GV1/WRITE.
stmx.
This is GV1 implementation of GV1/INCF-NOHW-COUNTER. It does nothing and returns zero.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/START-READ. Return the current +gv+ value.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/START-WRITE. Atomically increment +gv+ and return its new value.
stmx.
This is GV1 implementation of GV1/STAT-ABORTED. It does nothing and returns zero.
stmx.
This is GV1 implementation of GV1/STAT-COMMITTED. It does nothing and returns zero.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/SW/AFTER-ABORT. Calls GV1/AFTER-ABORT.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/SW/START-READ. Calls GV1/START-READ.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/SW/START-WRITE. Calls GV1/START-WRITE.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/SW/STAT-ABORTED. Calls GV1/STAT-ABORTED.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/SW/STAT-COMMITTED. Calls GV1/STAT-COMMITTED.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/SW/WRITE. Calls GV1/WRITE.
stmx.
This is GV1 implementation of GLOBAL-CLOCK/VALID-READ? Return (<= tvar-version read-version)
stmx.
This is GV1 implementation of GLOBAL-CLOCK/WRITE. Return WRITE-VERSION.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/AFTER-ABORT. Increment +gv+ and return its new value.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/DECF-NOHW-COUNTER. Decrement by DELTA the slot NOHW-COUNTER of +gv+ and return its new value.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/FEATURES.
Return ’(:SUITABLE-FOR-HW-TRANSACTIONS :SPURIOUS-FAILURES-IN-SINGLE-THREAD)
because the global clock is incremented only by GV5/AFTER-ABORT, which avoids
incrementing it in GV5/START-WRITE (it would cause hardware transactions
to conflict with each other and abort) but also causes a 50% abort rate (!) even
in a single, isolated thread reading and writing its own transactional memory.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/GET-NOHW-COUNTER.
Return the number of software-only transaction commits currently running.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/AFTER-ABORT. Calls GV5/AFTER-ABORT.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/START-READ. Calls GV5/START-READ.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/START-WRITE. Calls GV5/START-WRITE.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/STAT-ABORTED. Calls GV5/STAT-ABORTED.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/STAT-COMMITTED. Calls GV5/STAT-COMMITTED.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/WRITE. Calls GV5/WRITE.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/INCF-NOHW-COUNTER. Increment by DELTA the slot NOHW-COUNTER of +gv+ and return its new value.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/START-READ. Return the current +gv+ value.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/START-WRITE. Return (1+ +gv+) without incrementing it.
stmx.
This is GV5 implementation of GV5/STAT-ABORTED. It does nothing and returns zero.
stmx.
This is GV5 implementation of GV5/STAT-COMMITTED. It does nothing and returns zero.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/AFTER-ABORT. Calls GV5/AFTER-ABORT.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/START-READ. Calls GV5/START-READ.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/START-WRITE. Calls GV5/START-WRITE.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/STAT-ABORTED. Calls GV5/STAT-ABORTED.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/STAT-COMMITTED. Calls GV5/STAT-COMMITTED.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/WRITE. Calls GV5/WRITE.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/VALID-READ? Return (<= tvar-version read-version)
stmx.
This is GV5 implementation of GLOBAL-CLOCK/{HW,SW}/WRITE. Return WRITE-VERSION.
stmx.
Return T if GV6 is currently in GV5 mode, i.e. it allows HW transactions. Return NIL if GV6 is currently in GV1 mode, i.e. it forbids HW transactions.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/DECF-NOHW-COUNTER. Calls (GV5/DECF-NOHW-COUNTER).
stmx.
This is GV6 implementation of GLOBAL-CLOCK/FEATURES.
Return ’(:SUITABLE-FOR-HW-TRANSACTIONS :SPURIOUS-FAILURES-IN-SINGLE-THREAD)
just like GV5 because the global clock is based on GV5: it is usually not
incremented by GV6/START-WRITE, to prevent hardware transactions from
conflicting with each other.
This can cause very high abort rates of software transactions, so
GV6 adaptively switches to GV1 algorithm in the following cases:
a) software-only commits are in progress
b) abort rate is very high
in order to try to reduce the abort rates.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/GET-NOHW-COUNTER.
Return LOGIOR of two quantities:
1. (GV5/GET-NOHW-COUNTER)
2. the global-clock slot NOHW-FLAG
stmx.
This is GV6 implementation of GLOBAL-CLOCK/HW/AFTER-ABORT.
Calls (GV5/AFTER-ABORT), since GV1 mode forbids hardware transactions.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/HW/START-READ.
Calls (GV5/HW/START-READ), since GV1 mode forbids hardware transactions.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/HW/START-WRITE.
Calls (GV5/HW/START-WRITE), since GV1 mode forbids hardware transactions.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/HW/STAT-ABORTED.
It increases local-clock slot ABORTS and may decide to switch between GV1 and GV5 modes.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/HW/STAT-COMMITTED.
It increases local-clock slot COMMITS and may decide to switch between GV1 and GV5 modes.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/SW/WRITE.
Calls (GV5/HW/START-WRITE), since GV1 mode forbids hardware transactions.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/INCF-NOHW-COUNTER. Calls (GV5/INCF-NOHW-COUNTER).
stmx.
This is GV6 implementation of GV6/STAT-ABORTED. It does nothing and returns zero.
stmx.
This is GV6 implementation of GV6/STAT-COMMITTED. It does nothing and returns zero.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/SW/AFTER-ABORT.
Calls either (GV5/AFTER-ABORT) or (GV1/AFTER-ABORT), depending on the current mode.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/SW/START-READ.
Calls either (GV5/SW/START-READ) or (GV1/SW/START-READ), depending on the current mode.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/SW/START-WRITE.
Calls either (GV5/START-WRITE) or (GV1/START-WRITE), depending on the current mode.
stmx.
This is GV5 implementation of GLOBAL-CLOCK/SW/STAT-ABORTED.
It increases local-clock slot ABORTS and may decide to switch between GV1 and GV5 modes.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/SW/STAT-COMMITTED.
It increases local-clock slot COMMITS and may decide to switch between GV1 and GV5 modes.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/HW/WRITE.
Calls either (GV5/SW/WRITE) or (GV1/WRITE), depending on the current mode.
stmx.
This is GV6 implementation of GLOBAL-CLOCK/VALID-READ? Return (<= tvar-version read-version)
stmx.
Return the WRITE-VERSION for the current hardware transaction
stmx.
stmx.
Return the raw tvar stored in a transactional slot.
stmx.
Run BODY in a software memory transaction. All changes to transactional memory
will be visible to other threads only after BODY returns normally (commits).
If BODY signals an error, its effects on transactional memory are rolled back
and the error is propagated normally.
Also, no work-in-progress transactional memory will ever be visible to other
threads.
stmx.
Immediately abort a hardware memory transaction with a user-specified
ERR-CODE, which must be a constant between 0 and 255 (default: 1).
Note: the value returned by (transaction-begin) will also contain "somewhere"
the bits of ERR-CODE, but will have a different value.
See Intel x86-64 CPU instruction reference manual, section TSX, for details.
If a transaction is in progress, TRANSACTION-ABORT-MACRO does not return normally:
execution is resumed at the instruction immediately after the outermost
TRANSACTION-BEGIN.
If called without a running transaction, TRANSACTION-ABORT-MACRO returns normally with an implementation-dependent value.
Return T if $-hwtx and (setf $-hwtx) should be used, otherwise return NIL.
Return T if $-swtx and (setf $-swtx) should be used, otherwise return NIL.
stmx.
stmx.
Enable recording of reads and writes to TLOGs while executing BODY.
stmx.
Use LOG as the current transaction log and enable recording of transactions to TLOGs while executing BODY.
stmx.
Use LOG as the current software transaction log while executing BODY.
stmx.
Disable recording of transactions to TLOGs and disable hiding TVARs inside TOBJs slots while executing BODY.
stmx.
stmx.
$-notx (function).
set-$-notx (function).
Get the value from the transactional variable VAR and return it.
Return +unbound-tvar+ if VAR is not bound to a value.
Works ONLY outside memory transactions.
stmx.
Get the value from the transactional variable VAR and return it.
Return +unbound-tvar+ if VAR is not bound to a value.
Works ONLY inside software memory transactions.
stmx.
Rebalance red-black tree after adding a child to (first stack).
Return (values node stack) for some rebalanced node and its path from root.
If stack is nil, returned node is the new root to set.
Remove (first stack) from red-black tree M and return (values some-node that-node-stack) from rebalanced tree. Some-node will be nil only if the tree is empty after removal.
Remove from red-black tree M black leaf NODE, whose path is STACK. Return some node in rebalanced tree and its stack as multiple values
Function equivalent of the SW-ATOMIC macro.
Run the function TX inside a transaction.
If the transaction is invalid (conflicts) re-run TX immediately, ignoring
any error it may signal.
Otherwise, commit if TX returns normally, or rollback if it signals an error.
Finally, if TX called (retry), re-run it after at least some of the transactional memory it read has changed.
stmx.
stmx.
stmx.
rest.
Set VALUE as the first element in a TCONS or non-null TLIST. This function should always be executed inside an STMX atomic block.
Set VALUE as the rest element in a TCONS or non-null TLIST.
This function should always be executed inside an STMX atomic block.
Set VALUE as the first element in a TCONS or non-null TLIST.
This function should always be executed inside an STMX atomic block.
Set VALUE as the rest element in a TCONS or non-null TLIST.
This function should always be executed inside an STMX atomic block.
Internal function used only by TVAR-VALUE-AND-VERSION-OR-FAIL.
stmx.
Add VALUE to bheap Q. Return VALUE.
Adjust a single slot definition for a transactional class.
Unless the slot is defined as :transactional NIL,
wrap its :initform with a TVAR and alter its :type to also accept TVARs
stmx.
Adjust each slot definition for a transactional class:
unless a slot is defined as :transactional NIL, wrap its :initform with a TVAR
and alter its :type to also accept TVARs
stmx.
Return a form suitable for MACROLET
stmx.
Return t if NODE is black. Nil nodes are assumed to be black
stmx.
stmx.
Remove all values from bheap Q. Return Q.
Remove all features from *FEATURE-LIST*.
Remove all transactional reads and writes stored in LOG,
as well as functions registered with BEFORE-COMMIT and AFTER-COMMIT;
return LOG itself.
Remove all keys and values from HASH. Return HASH.
stmx.
Commit a TLOG to memory.
It returns a boolean specifying whether or not the transaction
log was committed. If the transaction log cannot be committed
it either means that:
a) the TLOG is invalid - then the whole transaction must be re-executed
b) another TLOG is writing the same TVARs being committed
so that TVARs locks could not be aquired - also in this case
the whole transaction will be re-executed, as there is little hope
that the TLOG will still be valid.
Note: internally invokes GLOBAL-CLOCK/{HW,SW}/STAT-{COMMITTED,ABORTED}
stmx.
Commit LOG into its parent log; return LOG.
Unlike (commit log), this function is guaranteed to always succeed.
Implementation note: copy tlog-reads, tlog-writes, tlog-before-commit and tlog-after-commit into parent, or swap them with parent
stmx.
Actually COMMIT, i.e. write new values into TVARs. Also unlock all TVARs.
stmx.
Compare entries at positions N1 and N2 in bqueue Q.
Compare KEY1 agains KEY2 using the comparison function PRED.
Return K< if KEY1 compares as lesser than KEY2,
return K> if KEY1 compares as greater than KEY2,
return K= if KEY1 and KEY2 compare as equal.
Return T if all the features in ARGS are present in *FEATURE-LIST*, otherwise return NIL.
Return T if feature has the specified value, otherwise return NIL.
Return NIL if the feature in ARGS is present in *FEATURE-LIST*, otherwise return T.
Return T if at least one feature in ARGS is present in *FEATURE-LIST*, otherwise return NIL.