Compiling concurrency correctly: verifying software transactional memory

QR Code

Compiling concurrency correctly: verifying software transactional memory

Concurrent programming is notoriously difficult, but with multi-core processors becoming the norm, is now a reality that every programmer must face. Concurrency has traditionally been managed using low-level mutual exclusion /locks/, which are error-prone and do not naturally support the composition...

Full description

Bibliographic Details
Main Author:	Hu, Liyang
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2013
Online Access:	https://eprints.nottingham.ac.uk/13348/

Similar Items

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)

Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
by: Abdul Samat, Pathiah, et al.
Published: (2021)

Compiler-compiler for an eight bit microprocessor
by: Kasmiran Jumari,, et al.
Published: (1991)

A method of estimating aborted transaction in the database concurrency control system
by: Mat Deris, Mustafa, et al.
Published: (1997)

Verifying the authenticity of digital certificates
by: Kamel Ariffin, Muhammad Rezal
Published: (2021)

Verifying requirements for resource-bounded agents
by: Abdur, Rakib
Published: (2011)

UPM perkenal aplikasi certificate verifier
by: Utusan Malaysia
Published: (2017)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

To verify or not to verify: using partial least squares to predict effect of online news on panic buying during pandemic
by: Tan, Kim Lim, et al.
Published: (2022)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Essays on strategic naivety and disclosure of verifiable information
by: Sheth, Jesal Dilip
Published: (2019)

Transactive memory systems scale for couples: Development and validation
by: Hewitt, Lauren, et al.
Published: (2015)

Software development of concurrent design for manufacturing process selection of plastic materials
by: Mohd. Yunus, Mohd. Yusri
Published: (2010)

Compiling and executing Java code
by: Bhatti, Zeeshan, et al.
Published: (2011)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Separate compilation of structured documents
by: Groves, Michael J., et al.
Published: (1993)

The necessity of laboratory analyses to verify the authenticity of halal products
by: Mustafa, Shuhaimi
Published: (2014)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

A secure, anonymous and verifiable E-Voting system
by: Ooi, Elynn
Published: (2020)

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)

Compiling the business plan: financial plan
by: Weber, Paull
Published: (2008)

In situ target strength estimates of visually verified orange roughy
by: Macaulay, G., et al.
Published: (2013)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

A model for characterizing knowledge utilization in verifying successful knowledge transfer
by: Abdullah, Salfarina, et al.
Published: (2018)

Rapid DNA-based analytical techniques to verify the authenticity of Halal food
by: Mustafa, Shuhaimi, et al.
Published: (2022)

The virtual source method - verifying the concept using numerical and physical modelling
by: Saul, Matthew, et al.
Published: (2007)

Compilation of Quranic verses related to visual function
by: Badarudin, Noor Ezailina, et al.
Published: (2016)

Awg Tengah: compile academic findings into books
by: Malaysian Today
Published: (2002)

NEUCOMP2 - parallel neural network compiler
by: Sulaiman, Md. Nasir, et al.
Published: (1996)

High-level language and compiler for reconfigurable computing
by: Hiew,, FS, et al.
Published: (2004)

Double adjacent error correction codes for ultra-fast cache memories
by: Abood Ahmed, Rabah, et al.
Published: (2025)

Concurrently controlled grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2018)

Concurrent engineering for composites
by: Salit, Mohd Sapuan
Published: (2010)

Concurrently controlled grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2018)