With the latest version 0.7.10, yes. dc/transact! now is wrapped in a with-transaction macro, so it is ensured that all reads/writes inside are using the same single read/write transaction, which is guarded by a lock.

So you don’t have to lock or do anything

thanks for the quick reply. I have just started playing with with-transaction but I ran into some concurrency problems (one of them broke the db file too). Am I missing anything obvious? Details: https://stackoverflow.com/questions/75062000/datalevin-concurrency-transactions

last version was still 0.7.8 about half an hour ago when I wrote the question on stackoverflow 🙂

try with the latest

the latest is 0.7.10 (which is in the process of releasing), but the code is the same with 0.7.9, so you can try 0.7.9

please let me know if 0.7.9 works for you

the exception is gone! 0.7.9 seems to do the trick. thanks for the help.

Glad it worked. Thanks for testing.

Interestingly, using a single thread writes faster too, as we are not dealing with thread contention.

There are still some problems, I will release a new one soon to address the remaining issue

Fixed more concurrent tx issue. Thanks for the test case.