The correctness of concurrency control mechanisms in a system for distributed databases (SDD-1)

1980 ◽  
Vol 5 (1) ◽  
pp. 52-68 ◽  
Author(s):  
Philip A. Bernstein ◽  
David W. Shipman
Keyword(s):  
Concurrency Control ◽  
Distributed Databases ◽  
Control Mechanisms

scholarly journals Concurrency control in a system for distributed databases (SDD-1)

1980 ◽  
Vol 5 (1) ◽  
pp. 18-51 ◽  
Author(s):  
Philip A. Bernstein ◽  
David W. Shipman ◽  
James B. Rothnie
Keyword(s):  
Concurrency Control ◽  
Distributed Databases

Real-time MLton: A Standard ML runtime for real-time functional programs

2021 ◽  
Vol 31 ◽  
Author(s):  
BHARGAV SHIVKUMAR ◽  
JEFFREY MURPHY ◽  
LUKASZ ZIAREK
Keyword(s):  
Programming Languages ◽  
Real Time ◽  
Concurrency Control ◽  
General Purpose ◽  
Functional Languages ◽  
Control Mechanisms ◽  
Real Time Systems ◽  
Functional Programming Languages ◽  
Standard Ml ◽  
Time Systems

Abstract There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain-specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper, we present our current work on leveraging Standard ML (SML) in the embedded and real-time domains. Specifically, we detail our experiences in modifying MLton, a whole-program optimizing compiler for SML, for use in such contexts. We focus primarily on the language runtime, reworking the threading subsystem, object model, and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML.

scholarly journals Concurrency Control in Database Systems

2019 ◽  
Vol 1 (2) ◽  
pp. 26-40
Author(s):  
Dardina Tasmere ◽  
Md. Nazmus Salehin
Keyword(s):  
Concurrency Control ◽  
Phase Locking ◽  
Wait Time ◽  
Arrival Rate ◽  
Database Systems ◽  
Control Algorithms ◽  
Control Mechanisms ◽  
Time Stamp ◽  
System Behavior ◽  
Two Phase

Concurrency control mechanisms including the wait, time-stamp and rollback mechanisms have been briefly discussed. The concepts of validation in optimistic approach are summarized in a detailed view. Various algorithms have been discussed regarding the degree of concurrency and classes of serializability. Practical questions relating arrival rate of transactions have been presented. Performance evaluation of concurrency control algorithms including degree of concurrency and system behavior have been briefly conceptualized. At last, ideas like multidimensional timestamps, relaxation of two-phase locking, system defined prewrites, flexible transactions and adaptability for increasing concurrency have been summarized.

Sign in / Sign up

Export Citation Format

Share Document