Programming Languages Research Group: Git

2017-03-09	Maged Michael	Detect data race in IndexedMemPool	commit \| commitdiff \| tree
2017-02-17	Maged Michael	Add Baton variants with multiple posters and with a...	commit \| commitdiff \| tree
2017-02-16	Maged Michael	Fix data race in Futex<EmulatedFutexAtomic>	commit \| commitdiff \| tree
2017-01-20	Maged Michael	Made atomics generic in hazptr_owner member functions	commit \| commitdiff \| tree
2017-01-10	Maged Michael	Fix dynamic MPMCQueue tryObtainPromisedPushTicket(...	commit \| commitdiff \| tree
2016-10-31	Maged Michael	Update hazard pointers interface and implementation	commit \| commitdiff \| tree
2016-10-10	Maged Michael	Update hazard pointers prototype	commit \| commitdiff \| tree
2016-10-05	Maged Michael	Updated example and methodology for using DeterministicSched...	commit \| commitdiff \| tree
2016-09-28	Maged Michael	folly/experimental/hazptr: fix gcc 5 build	commit \| commitdiff \| tree
2016-09-20	Maged Michael	Draft prototype of hazard pointers C++ template library	commit \| commitdiff \| tree
2016-09-08	Maged Michael	Dynamic expansion of folly MPMC queue	commit \| commitdiff \| tree
2016-09-07	Maged Michael	Expand DSched interface for managing auxiliary functions	commit \| commitdiff \| tree
2016-08-08	Maged Michael	Methodology for using DeterministicSchedule support...	commit \| commitdiff \| tree
2016-08-03	Maged Michael	Test of DeterministicSchedule support for global invariants...	commit \| commitdiff \| tree
2016-08-02	Maged Michael	DeterministicSchedule support for global invariants...	commit \| commitdiff \| tree
2016-06-10	Maged Michael	Added support for std::mutex in folly Deterministic...	commit \| commitdiff \| tree

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

RSS Atom