Sciweavers

311 search results - page 3 / 63
» Software-Controlled Multithreading Using Informing Memory Op...
Sort
View
DSN
2006
IEEE
13 years 10 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
PERCOM
2007
ACM
14 years 4 months ago
An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems
Two different operating system types are currently considered for sensor networks: event driven and multithreaded. This paper compares the two well-known operating systems TinyOS ...
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. ...
ASPLOS
2006
ACM
13 years 10 months ago
Recording shared memory dependencies using strata
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
Satish Narayanasamy, Cristiano Pereira, Brad Calde...
SOSP
1997
ACM
13 years 6 months ago
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
Stefan Savage, Michael Burrows, Greg Nelson, Patri...
CCS
2008
ACM
13 years 6 months ago
Enforcing authorization policies using transactional memory introspection
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
Arnar Birgisson, Mohan Dhawan, Úlfar Erling...