tvale / tinystm Goto Github PK

View Code? Open in Web Editor NEW

This project forked from patrickmarlier/tinystm

0.0 0.0 0.0 61.83 MB

Official public repository for TinySTM (tmware.org)

License: Other

Makefile 1.91% C 82.47% Assembly 0.68% C++ 13.36% Objective-C 1.35% Python 0.07% Shell 0.16%

tinystm's People

Contributors

Watchers

tinystm's Issues

Add "normal" transaction code path to wbctl protocol

on read, check write-ts with respect to privileged-ts
on commit, check write-ts with respect to privileged-ts and read-ts with respect to privileged-ts
on commit, update commit-ts and privileged-ts

STMBench7

I believe it is working with TinySTM using 1 thread, but "randomly" segfaults with more threads.
It appears that the transaction's attributes are being unexpectedly changed. Specifically the no_retry flag becomes enabled and thus the control flow on an aborted read does not jump back. Instead the control flow continues, violating opacity.

Review #1

on read, check write-ts with respect to privileged-ts
on commit, check write-ts with respect to privileged-ts and read-ts with respect to privileged-ts
on commit, update commit-ts and privileged-ts
on commit, we need a fetch-and-add-2 atomic operation; check whether atomic_ops library provides it, or implement it using cas.