Transactional Memory is to shared-memory concurrency
as
Garbage Collection is to memory management
Here is a summarizing list of similiarities:Garbage Collection is to memory management
GC Term | TM Term |
---|---|
memory management | concurrency |
dangling pointers | races |
space exhaustion | deadlock |
regions | locks |
garbage collection | transactional memory |
reachability | memory conflicts |
nursery data | thread-local data |
weak pointers | open nesting |
I/O of pointers | I/O in trasactions |
tracing | deferred update |
automatic reference counting | direct update |
conservative collection | false memory conflicts |
real-time collection | obstruction freedom |
liveness analysis | escape analysis |
Be careful though: the analogy is a bad guide for studying TM. I believe we should first understand all the nuances and problems of implementing TM in its own right, and only then can we think of connections to Garbage Collection.
Mitya has the full text for the article (I believe ACM copyright allows to make copies for classroom use)
No comments:
Post a Comment