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.
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
- 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