DISSERTATION

Reasoning about locks and transactions in concurrent programs

Abstract

The incidence of awareness during insufficient anaesthesia is reported to be one per cent. It is usually due to the use of muscle relaxants, a balanced technique and the lightest possible depth of anaesthesia. Increased incidences were noted in open-heart surgery, during intubation-endoscopy procedures and in caesarean delivery patients. Experiences of awareness are disturbing to patients, who are usually benefited by a sympathetic and forthright explanation of the event. Fourteen representative cases of the problem are reported. Since no adequate sign or test exists for detection of awareness during very light anaesthesia or with associated paralysis, more meticulous attention is required in using relaxants or the balanced technique. Greater anaesthetic supplementation and reduction in the use of relaxants are recommended to halt the recurrence of this most serious anaesthetic problem.

Keywords:
Computer science Programming language Semantics (computer science) Isolation (microbiology) Concurrency Static analysis Exception handling Software transactional memory Atomicity Operational semantics Concurrency control SAFER Database transaction Transactional memory Computer security

Metrics

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
6
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Distributed systems and fault tolerance
Physical Sciences →  Computer Science →  Computer Networks and Communications
Parallel Computing and Optimization Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Service-Oriented Architecture and Web Services
Physical Sciences →  Computer Science →  Information Systems

Related Documents

JOURNAL ARTICLE

Transfer Principles for Reasoning About Concurrent Programs

Stephen Brookes

Journal:   Electronic Notes in Theoretical Computer Science Year: 2001 Vol: 45 Pages: 22-40
JOURNAL ARTICLE

Local reasoning about storable locks

Josh Berdine

Year: 2007 Pages: 153-153
BOOK-CHAPTER

Reasoning about Java’s Reentrant Locks

Christian HaackMarieke HuismanClément Hurlin

Lecture notes in computer science Year: 2008 Pages: 171-187
© 2026 ScienceGate Book Chapters — All rights reserved.