2010 IEEE International Symposium on Performance Analysis of Systems & Software (ISPASS), 2010
Abstract Transactional memory promises to generalize transactional programming to mainstream lang... more Abstract Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they are easier to program correctly than fine-grained locking and perform just as well. This ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09, 2009
Applications must be able to synchronize accesses to operating system resources in order to ensur... more Applications must be able to synchronize accesses to operating system resources in order to ensure correctness in the face of concurrency and system failures. System transactions allow the programmer to specify updates to heterogeneous system resources with the OS guaranteeing atomicity, consistency, isolation, and durability (ACID). System transactions efficiently and cleanly solve persistent concurrency problems that are difficult to address
ABSTRACT This paper quantifies the effect of architectural design decisions on the performance,of... more ABSTRACT This paper quantifies the effect of architectural design decisions on the performance,of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking primitives in several key sub- systems. We run TxLinux on MetaTM, which is a new hardware transaction memory,(HTM) model. MetaTM contains features that enable efficient and correct inter- rupt handling for an x86-like
2010 IEEE International Symposium on Performance Analysis of Systems & Software (ISPASS), 2010
Abstract Transactional memory promises to generalize transactional programming to mainstream lang... more Abstract Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they are easier to program correctly than fine-grained locking and perform just as well. This ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09, 2009
Applications must be able to synchronize accesses to operating system resources in order to ensur... more Applications must be able to synchronize accesses to operating system resources in order to ensure correctness in the face of concurrency and system failures. System transactions allow the programmer to specify updates to heterogeneous system resources with the OS guaranteeing atomicity, consistency, isolation, and durability (ACID). System transactions efficiently and cleanly solve persistent concurrency problems that are difficult to address
ABSTRACT This paper quantifies the effect of architectural design decisions on the performance,of... more ABSTRACT This paper quantifies the effect of architectural design decisions on the performance,of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking primitives in several key sub- systems. We run TxLinux on MetaTM, which is a new hardware transaction memory,(HTM) model. MetaTM contains features that enable efficient and correct inter- rupt handling for an x86-like
Uploads
Papers by Donald Porter