1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// SPDX-License-Identifier: GPL-2.0 #include <stdint.h> volatile uint64_t x; int main(int argc, char *argv[]) { uint64_t old, new = argc; (void)argv; do { old = __sync_val_compare_and_swap(&x, 0, 0); } while (!__sync_bool_compare_and_swap(&x, old, new)); return old == new; }