DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Thread safety
Thread safety
Lecture 4 Resource Protection and Thread Safety
Clojure, Given the Pun on Closure, Representing Anything Specific
Java Concurrency in Practice
C/C++ Thread Safety Analysis
Programming Clojure Second Edition
Efficient Scalable Thread-Safety-Violation Detection Finding Thousands of Concurrency Bugs During Testing
A Comparison of Concurrency in Rust and C
Thread Safety Annotations for Clang
Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Fully Automatic and Precise Detection of Thread Safety Violations
Issues in Developing a Thread-Safe MPI Implementation
Principles of Software Construction: Objects, Design, and Concurrency
Modified Skip List in Concurrent Environment Ranjeet Kaur, Dr
CS110 Lecture 10: Threads and Mutexes
Parallelization of Dynamic Languages: Synchronizing Built-In Collections
Multithreading
Finding and Solving Deadlocks in Multi-Threaded Java Code 1
C++ and the Perils of Double-Checked Locking ∗
Top View
Localization of Linearizability Faults on the Coarse-Grained Level
C++ Concurrency in Action
Line-Up: a Complete and Automatic Linearizability Checker
Efficient Detection of Thread Safety Violations Via Coverage-Guided
Frequently Asked Questions from the Previous Class Survey
Semi-Automatic Transformation Into Scalable Thread-Parallel Software
Thread Safety
Refactoring Sequential Java Code for Concurrency Via Concurrent Libraries
A Thread-Safe Extension to Object-Oriented Programming
Lecture 16: Thread Safety in Java
A Programmer-Oriented Approach to Safe Concurrency
Thread Safety, Issues and Guidelines
Thread-Safe and Efficient Data Representations in Dynamically
6.087 Practical Programming in C, Lecture 13
Threaded Programming
Safe Systems Programming in Rust: the Promise and the Challenge
Lecture 3: February 8 3.1 Overview 3.2 Thread Safety 3.3 Locks
Functional Programming Slides
Testing for Linearizability
Programming Languages
Effectiveness and Challenges in Generating Concurrent Tests For
Thread Safety in an MPI Implementation: Requirements and Analysis
Collections for Concurrency
A Thread-Safe Arbitrary Precision Computation Package (Full Documentation)
Multithreaded Programming Guide
Lecture 14: Mutual Exclusion, Locks and Barrier with Pthreads
Localizing Globals and Statics to Make C Programs Thread-Safe
An Extremely Brief Introduction to C++11 Threads for Users of Pthreads
Thread-Safe SHMEM Extensions
CS455: Introduction to Distributed Systems Dept
Efficient Scalable Thread-Safety-Violation Detection Finding Thousands of Concurrency Bugs During Testing
Chapter 4 Shared Memory Programming with Pthreads
A Study of Software Multithreading in Distributed Systems
Fully Automatic and Precise Detection of Thread Safety Violations
IBM Iprogramming Multithreaded Applications
Programming Clojure.Pdf