NDLI: Clean:a race detector with cleaner semantics

Please wait, while we are loading the content...

Volume 43, Issue 5, December 2015

Volume 43, Issue 4, September 2015

Volume 43, Issue 3, May 2015

Volume 43, Issue 3, June 2015

A case for core-assisted bottleneck acceleration in GPUs

Redundant memory mappings for fast access to large memories

Quantitative comparison of hardware transactional memory for Blue Gene/Q, zEnterprise EC12, Intel Core, and POWER8

Cost-effective speculative scheduling in high performance processors

Exploring the potential of heterogeneous von neumann/dataflow execution models

PIM-enabled instructions

Thermal time shifting

A variable warp size architecture

Manycore network interfaces for in-memory rack-scale computing

Towards sustainable in-situ server systems in the big data era

A scalable processing-in-memory accelerator for parallel graph processing

Profiling a warehouse-scale computer

A fully associative, tagless DRAM cache

LaZy superscalar

SHRINK: Reducing the ISA complexity via instruction recycling

Reducing world switches in virtualized environment with flexible cross-world calls

Warped-compression

Unified address translation for memory-mapped SSDs with FlashMap

Accelerating asynchronous programs through event sneak peek

Coherence protocol for transparent management of scratchpad memories in shared memory manycore architectures

DjiNN and Tonic

Efficient execution of memory access phases using dataflow specialization

Computer performance microscopy with Shim

Multiple clone row DRAM

The load slice core microarchitecture

Branch vanguard

Data reorganization in memory using 3D-stacked DRAM

Flexible software profiling of GPU architectures

Flexible auto-refresh

Semantic locality and context-based prefetching using reinforcement learning

Architecting to achieve a billion requests per second throughput on a single key-value store server platform

Dynamic thread block launch

Volume 43, Issue 1, March 2015

Clean:a race detector with cleaner semantics

Content Provider	ACM Digital Library
Author	Abdelrahman, Tarek S. Segulja, Cedomir
Abstract	Data races make parallel programs hard to understand. Precise race detection that stops an execution on first occurrence of a race addresses this problem, but it comes with significant overhead. In this work, we exploit the insight that precisely detecting only write-after-write (WAW) and read-after-write (RAW) races suffices to provide cleaner semantics for racy programs. We demonstrate that stopping an execution only when these races occur ensures that synchronization-free-regions appear to be executed in isolation and that their writes appear atomic. Additionally, the undetected racy executions can be given certain deterministic guarantees with efficient mechanisms. We present Clean, a system that precisely detects WAW and RAW races and deterministically orders synchronization. We demonstrate that the combination of these two relatively inexpensive mechanisms provides cleaner semantics for racy programs. We evaluate both software-only and hardware-supported Clean. The software-only Clean runs all Pthread benchmarks from the SPLASH-2 and PARSEC suites with an average 7.8x slowdown. The overhead of precise WAW and RAW detection (5.8x) constitutes the majority of this slowdown. Simple hardware extensions reduce the slowdown of Clean's race detection to on average 10.4% and never more than 46.7%.
Starting Page	401
Ending Page	413
Page Count	13
File Format	PDF
ISSN	01635964
DOI	10.1145/2872887.2750395
Journal	ACM SIGARCH Computer Architecture News (CARN)
Volume Number	43
Issue Number	3
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1981-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in