How Long to Read CDSChecker

By Brian Norris

How Long Does it Take to Read CDSChecker?

It takes the average reader 1 hour and 57 minutes to read CDSChecker by Brian Norris

Assuming a reading speed of 250 words per minute. Learn more

Description

Writing low-level concurrent software has traditionally required intimate knowledge of the entire toolchain and often has involved coding in assembly. New language standards have extended C and C++ with support for low-level atomic operations and a weak memory model, enabling developers to write portable and efficient multithreaded code. Developing correct low-level concurrent code is well-known to be especially difficult under a weak memory model, where code behavior can be surprising. Building reliable concurrent software using C/C++ low-level atomic operations will likely require tools that help developers discover unexpected program behaviors. In this thesis we present CDSChecker, a tool for exhaustively exploring the behaviors of concurrent code under the C/C++ memory model. We develop several novel techniques for modeling the relaxed behaviors allowed by the memory model and for minimizing the number of execution behaviors that CDSChecker must explore. We have used CDSChecker to exhaustively unit test several concurrent data structure implementations on specific inputs and have discovered errors in both a recently published C11 implementation of a work-stealing queue and a single producer, single consumer queue implementation. This work also discusses problems with the current C/C++ memory model and presents our own proposed modifications. Using our modifications, we then present additional formalism and a proof of our algorithm's correctness.

How long is CDSChecker?

CDSChecker by Brian Norris is 115 pages long, and a total of 29,325 words.

This makes it 39% the length of the average book. It also has 36% more words than the average book.

How Long Does it Take to Read CDSChecker Aloud?

The average oral reading speed is 183 words per minute. This means it takes 2 hours and 40 minutes to read CDSChecker aloud.

What Reading Level is CDSChecker?

CDSChecker is suitable for students ages 10 and up.

Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.

When deciding what to show young students always use your best judgement and consult a professional.

Where Can I Buy CDSChecker?

CDSChecker by Brian Norris is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.

To buy CDSChecker by Brian Norris on Amazon click the button below.

Buy CDSChecker on Amazon