diff options
| author | Dan Gudmundsson <[email protected]> | 2012-01-12 11:54:09 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2012-01-31 15:26:27 +0100 |
| commit | e9072b356cc917cacbffabc5086eb7d880ec5bb2 (patch) | |
| tree | 6a87fba4d2f41d62ec08287a1ce0f7f5cb4aaeb4 /lib/observer/Makefile | |
| parent | 0c6d10bf1ee4a46c0d84a18fa99f1d99c144906a (diff) | |
| download | otp-e9072b356cc917cacbffabc5086eb7d880ec5bb2.tar.gz otp-e9072b356cc917cacbffabc5086eb7d880ec5bb2.tar.bz2 otp-e9072b356cc917cacbffabc5086eb7d880ec5bb2.zip | |
[Mnesia] More optimizations
If a transaction releases a write, it can be deleted directly since no read locks
or other write locks can be present
Diffstat (limited to 'lib/observer/Makefile')
0 files changed, 0 insertions, 0 deletions