Programming Languages Research Group: Git

Added simplified form of urcu::batch_retire function
Added cds::gc::make_retired_ptr function

14 files changed:

Unnamed repository; edit this file 'description' to name the repository.

cds/gc/details/retired_ptr.h		diff \| blob \| history
cds/intrusive/michael_list_rcu.h		diff \| blob \| history
cds/urcu/details/base.h		diff \| blob \| history
cds/urcu/details/gp.h		diff \| blob \| history
cds/urcu/details/gpb.h		diff \| blob \| history
cds/urcu/details/gpi.h		diff \| blob \| history
cds/urcu/details/gpt.h		diff \| blob \| history
cds/urcu/details/sig_buffered.h		diff \| blob \| history
cds/urcu/details/sig_threaded.h		diff \| blob \| history
cds/urcu/general_buffered.h		diff \| blob \| history
cds/urcu/general_instant.h		diff \| blob \| history
cds/urcu/general_threaded.h		diff \| blob \| history
cds/urcu/signal_buffered.h		diff \| blob \| history
cds/urcu/signal_threaded.h		diff \| blob \| history