bors
a0485c5a90
Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk
...
Add random failures to compare_exchange_weak
In practice this is pretty useful for detecting bugs.
This fails more frequently than realistic (~~50%~~ (now 80%, controlled by a flag) of the time). I couldn't find any existing code that tries to model this (tsan, cdschecker, etc all seem to have TODOs there). Relacy models it with a 25% or 50% failure chance depending on some settings.
CC `@JCTyblaidd` who wrote the code this modifies initially, and seems interested in this subject.
2021-01-28 09:52:04 +00:00
..
2021-01-27 10:44:08 +01:00
2020-11-27 19:26:06 +00:00
2020-12-11 11:28:33 +01:00
2020-08-16 18:26:04 +02:00
2020-08-16 18:26:04 +02:00
2020-08-16 18:26:04 +02:00
2021-01-26 00:13:54 -08:00
2020-10-18 11:22:09 +02:00
2020-10-31 13:47:42 +01:00
2020-10-10 13:07:57 -04:00
2020-10-10 13:07:57 -04:00
2020-11-19 09:21:11 +01:00
2020-11-19 09:21:11 +01:00
2020-09-10 08:44:27 +02:00
2020-04-16 09:25:12 +02:00
2020-10-29 20:57:38 +01:00
2020-10-27 17:26:36 +01:00
2020-12-11 11:28:33 +01:00
2020-11-10 16:51:07 +01:00
2018-11-26 15:31:53 +01:00
2019-02-26 18:37:45 +00:00
2020-04-13 17:58:03 +02:00
2019-11-07 08:56:11 +01:00
2019-11-07 08:56:11 +01:00
2020-04-16 09:25:12 +02:00
2019-05-30 10:58:30 +02:00
2019-02-26 18:37:45 +00:00
2020-12-31 00:17:08 +01:00
2020-10-29 20:57:38 +01:00
2020-03-27 08:43:08 -04:00
2020-04-11 11:37:26 +02:00
2021-01-26 11:43:39 +01:00
2020-04-16 09:25:12 +02:00
2020-10-28 13:54:50 +01:00
2020-11-10 16:51:07 +01:00
2020-10-04 12:06:51 -04:00
2020-10-04 12:06:51 -04:00
2020-09-10 08:44:27 +02:00
2020-12-05 00:13:33 +01:00
2020-05-20 00:00:35 +02:00
2021-01-26 11:43:39 +01:00
2020-07-11 20:56:47 +02:00
2020-12-31 13:11:34 +01:00
2020-04-16 09:25:12 +02:00
2019-05-30 10:58:30 +02:00
2019-02-26 18:37:45 +00:00
2020-04-16 09:25:12 +02:00
2020-04-16 09:25:12 +02:00
2020-06-22 11:32:01 +02:00
2020-12-21 11:36:39 +01:00
2020-09-02 20:57:20 -05:00
2020-11-27 19:26:06 +00:00
2020-09-10 08:44:27 +02:00
2019-08-04 16:44:32 -04:00
2020-11-10 16:51:07 +01:00
2019-02-26 18:37:45 +00:00
2020-04-27 12:32:03 +02:00
2020-06-20 14:31:47 +02:00
2020-04-16 09:06:21 +02:00
2020-08-24 10:06:44 +02:00
2020-04-16 09:06:21 +02:00
2020-12-31 13:11:34 +01:00
2020-04-05 12:09:31 -05:00
2020-04-05 10:04:33 -05:00
2020-11-10 16:51:07 +01:00
2020-04-16 09:25:12 +02:00
2019-02-26 18:37:45 +00:00
2019-02-26 18:37:45 +00:00
2020-10-28 13:54:50 +01:00
2020-04-16 09:25:12 +02:00
2020-06-20 11:48:42 +02:00
2020-04-16 09:25:12 +02:00
2020-04-16 09:25:12 +02:00
2020-10-31 16:24:34 +01:00
2020-09-07 15:05:26 -05:00
2020-07-31 18:30:07 +02:00
2020-08-22 18:07:43 +02:00
2020-10-20 18:27:55 -04:00
2020-09-07 11:29:47 +02:00
2020-04-16 09:25:12 +02:00
2021-01-22 09:22:53 +01:00
2020-12-11 11:28:33 +01:00
2019-02-26 19:49:02 +09:00
2020-06-01 01:12:31 +02:00