The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Huge pages have been widely supported by architecture and operating system. Huge pages map large fixed virtual memory regions, on the orders of 2MB to 1GB on Intel x86-64 architecture. The page size is the key to striking the balance between trade-off pairs. For example, initially, the use of huge pages aims to mitigate address translation overhead for memory-intensive workloads with large memory...
Parallel programs face a new security problem -- concurrency vulnerability, which is caused by a special thread scheduling instead of inputs. In this paper, we propose to automatically fix concurrency vulnerabilities by reducing thread scheduling space. Our method is based on two observations. First, most concurrency vulnerabilities are caused by atomicity violation errors. Second, reducing thread...
This paper presents RReplay: a novel record & replay system for multi-threaded programs to solve their debugging problems caused by non-deterministic thread interleavings. The idea of RReplay is to only record the key non-deterministic behaviors that mostly affect performance. Different from existing approaches, RReplay requires that the programs be executed in a restricted environment so...
Atomicity violation, a common bug that obsesses multithreaded programs, has made the developing of multithreaded programs a daunting task. Atomicity is a basic correctness property of such programs. We propose strong atomicity, an efficient mechanism that helps programmers to write correct atom blocks with very little effort. We provide atom_start and atom_end for programmers to annotate an atom block...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.