Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/AtomicReference.cbc @ 479:b8b412a7670a
Fix segmentation fault if multithread
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 28 Dec 2017 19:51:06 +0900 |
parents | ac244346c85d |
children |
line wrap: on
line source
#include "../context.h" #interface "Atomic.h" #include <stdio.h> Atomic* createAtomicReference(struct Context* context) { struct Atomic* atomic = new Atomic(); struct AtomicReference* atomicReference = new AtomicReference(); atomic->atomic = (union Data*)atomicReference; atomic->checkAndSet = C_checkAndSetAtomicReference; return atomic; } __code checkAndSetAtomicReference(struct AtomicReference* atomic, union Data** ptr, union Data* oldData, union Data* newData, __code next(...), __code fail(...)) { if (__sync_bool_compare_and_swap(ptr, oldData, newData)) { goto next(...); } goto fail(...); }