]> Repositorios git - scryer-prolog.git/commitdiff
add FIXME for (presently inert & never invoked) race condition
authorMark Thom <[email protected]>
Fri, 12 Sep 2025 07:19:52 +0000 (00:19 -0700)
committerMark Thom <[email protected]>
Fri, 12 Sep 2025 07:19:52 +0000 (00:19 -0700)
src/offset_table.rs

index f24e794c81440a3498a0f5ffc2e3eaf24f227b86..74967c6060f26e92c118b803d9c7d7553f7ef857 100644 (file)
@@ -394,6 +394,10 @@ impl F64Table {
                 offset
             }
             F64Table::Concurrent(concurrent_tbl) => {
+                // FIXME: there is a race condition here when called on two Eq value's
+                // which breaks the invariant indirection_tbl is meant to enforce.
+                // Since this branch is never invoked, it does no harm, but that
+                // that will eventually change.
                 {
                     let indirection_tbl = concurrent_tbl.indirection_tbl.lock();