Build History for pull/124

Optimize work-stealing deque - Add padding to avoid false sharing - Use a GADT to express desired result type - Use various tweaks to improve performance - Remove negative test that uses the WS deque in an invalid unsafe way - Implement caching of the thief side index

Optimize work-stealing deque - Add padding to avoid false sharing - Use a GADT to express desired result type - Use various tweaks to improve performance - Remove negative test that uses the WS deque in an invalid unsafe way - Implement caching of the thief side index

Experiment with `Atomic_array`

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Hmm

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

HMM

HMM

HMM

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Implement caching of the thief side index This reduces contention as operations can be performed on either side in parallel without interference from the other side.

Remove negative test that uses the WS deque in an invalid unsafe way

Remove negative test that uses the WS deque in an invalid unsafe way

WIP

Remove negative test that uses the WS deque in an invalid unsafe way

Remove negative test that uses the WS deque in an invalid unsafe way

Remove negative test that uses the WS deque in an invalid unsafe way

Remove negative test that uses the WS deque in an invalid unsafe way

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Various tweaks to improve performance

Use a GADT to express desired result type This avoids unnecessarily raising and catching an exception in case an option result. The cost is a sigle cheap conditional.

Use a GADT to express desired result type This avoids unnecessarily raising and catching an exception in case an option result. The cost is a sigle cheap conditional.

Use a GADT to express desired result type This avoids unnecessarily raising and catching an exception in case an option result. The cost is a sigle cheap conditional.

Use a GADT to express desired result type This avoids unnecessarily raising and catching an exception in case an option result. The cost is a sigle cheap conditional.

Prefer to put `inline` attribute immediately after `let`

Add padding to avoid false sharing This should stabilize and improve performance.

Add padding to avoid false sharing This should stabilize and improve performance.

Add padding to avoid false sharing

Benchmark for `Work_stealing_deque`

Benchmark for `Work_stealing_deque`

Benchmark for `Work_stealing_deque`

Benchmark for `Work_stealing_deque`

Benchmark for `Work_stealing_deque`

Benchmark for `Work_stealing_deque`