NDLI: Predictive log-synchronization

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

Fireflies: scalable support for intrusion-tolerant network overlays

Solving the starting problem: device drivers as self-describing artifacts

Database replication policies for dynamic content applications

K42: building a complete operating system

Language support for fast and reliable message-based communication in singularity OS

A fresh look at the reliability of long-term digital storage

Evaluating network processing efficiency with processor partitioning and asynchronous I/O

Emergent (mis)behavior vs. complex software systems

Understanding user behavior in large-scale video-on-demand systems

Automated known problem diagnosis with event traces

Argos: an emulator for fingerprinting zero-day attacks for advertised honeypots with automatic signature generation

Understanding collateral evolution in Linux device drivers

The SMART way to migrate replicated stateful services

Experiences in building and operating ePOST, a reliable peer-to-peer application

A quantitative analysis of aspects in the eCos kernel

On the road to recovery: restoring data after disasters

TCP offload through connection handoff

Predictive log-synchronization

URICA: Usage-awaRe Interactive Content Adaptation for mobile devices

Using queries for distributed monitoring and forensics

Practical taint-based protection using demand emulation

Thorough static analysis of device drivers

Tashkent: uniting durability with transaction ordering for high-performance scalable database replication

Reducing TCB complexity for security-sensitive applications: three case studies

Context-specific middleware specialization techniques for optimizing software product-line architectures

RIMAC: a novel redundancy-based hierarchical cache architecture for energy efficient, high performance storage systems

Ferret: a toolkit for content-based similarity search of feature-rich data

Peer sharing behaviour in the eDonkey network, and implications for the design of server-less file sharing systems

Balancing power consumption in multiprocessor systems

Predictive log-synchronization

Content Provider	ACM Digital Library
Author	Shavit, Nir Shalev, Ori
Abstract	This paper proposes predictive log-synchronization, an alternative paradigm to the software transactional memory approach for simplifying the design of concurrent data structures. Predictive log-synchronization simplifies concurrent programming and program verification by requiring programmers to write only specialized sequential code. This sequential code is then automatically transformed into a non-blocking concurrent program in which threads coordinate all data structure operations via a shared lock-controlled log. The non-blocking progress property is achieved by having threads that fail to acquire the lock predict the outcome of their operations by reading the log and state and computing the effect of these operations without modifying the actual data structure.Log-synchronization is founded on the belief (at this point unsubstantiated by statistical data) that in many concurrent data structures used in real-world applications, the ratio of high level operations that modify the structure to ones that simply read it, greatly favors read-only operations, and what's more, that many natural data structures have inherent sequential bottlenecks limiting the concurrency among operations that modify the structure. It follows that delegating all data structure modifications to a single lock-controlled thread at a time will not significantly harm the throughput of modifying operations. Moreover, as we show, it can boost read-only throughput by significantly reducing the overhead of coordination among concurrent operations, and provides a way to simplify concurrent data structures.Initial experimental testing using a Java-based implementation of predictive log-synchronization showed that a log-synchronized concurrent red-black tree is up to five times faster than a simple lock-based one. This paper presents our current understanding of the advantages, drawbacks, and scope of predictive log-synchronization.
Starting Page	305
Ending Page	315
Page Count	11
File Format	PDF
ISBN	1595933220
DOI	10.1145/1217935.1217965
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-04-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Monitor Concurrent Prediction Synchronization
Content Type	Text
Resource Type	Article

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

Predictive log-synchronization

ABSTRACT Predictive Log-Synchronization

Concurrent programming practice 2 synchronization mechanisms.

Read-log-update: a lightweight synchronization mechanism for concurrent programming

Springer-verlag berlin heidelberg 2000 a more expressive monitor for concurrent java.

Transactional monitors for concurrent objects (2004).

Hybrid Monitors for Concurrent Noninterference

Probabilistic progress prediction and sequencing of concurrent movement primitives

GPredict: Generic Predictive Concurrency Analysis

Predictive log-synchronization

Similar Documents

Predictive log-synchronization

ABSTRACT Predictive Log-Synchronization

Concurrent programming practice 2 synchronization mechanisms.

Read-log-update: a lightweight synchronization mechanism for concurrent programming

Springer-verlag berlin heidelberg 2000 a more expressive monitor for concurrent java.

Transactional monitors for concurrent objects (2004).

Hybrid Monitors for Concurrent Noninterference

Probabilistic progress prediction and sequencing of concurrent movement primitives

GPredict: Generic Predictive Concurrency Analysis

Predictive log-synchronization