README.md

Linearisation (the tool)

This is a linearisation verification / testing utility inspired by aritcles / tools listed in the reference section here.

It was created to help me experiment and understand linearisation across various data structures as well as something that I could learn / discuss / collaborate / share / spikes thoughts and problems with my supervisor and fellow university mates. It is also an initial attempt with my supervisor to find a suitable problem area that could potentially be used in my research projects.

Contents

Following are the contents of this piece of work.

• How it works
• Building Linearisation (the tool) from source
• Creating Custom Linearisation tests
• Configuration Options
• Some Tests Results
• References
• Definitions

Notes on "The Art of Multiprocessor Programming"

• Peterson Lock
• Combining Tree
• Counting Networks
• Diffracting Trees

Notes on Data Structures ran

• NonBlockingFriendlyHashMap

Notes

• Quiescent Consistency
• Race Condition & Data Race
• JMM and Various Consistencies
• Java Collections

Links

• paulmck blog
• Concurrent & Distributed Programming Course Notes
• Byte Codes #1

Papers reading & Notes

• Brief Announcement:MultiLane - A Concurrent Blocking MultiSet
• Quiescent Consistency: Defining and Verifying Relaxed Linearizability
• The SparyList: A Scalable Relaxed Priority Queue
• Data Structures In MultiCore Age
• Reusable Concurrent Data Types
• The Java Memory Model
• Semantics of Multithreaded Java
• Why Non-Blocking Operations Should Be Selfish
• Counting Networks
• Fraser - PHD Thesis Practical Lock-free