mc2lib::memconsistency Namespace Reference

Various formal models for expressing memory consistency semantics. More...

Namespaces
	cats
	Memory consistency model framework based on "Herding cats".
	model12
	Memory consistency model framework based on 2012 FMSD paper.

Classes
class	Error
class	Event
class	Iiid

Typedefs
typedef sets::Set< sets::Types< Event > >	EventSet
typedef sets::Relation< sets::Types< Event > >	EventRel
typedef sets::RelationSeq< sets::Types< Event > >	EventRelSeq

Detailed Description

Various formal models for expressing memory consistency semantics.

Typedef Documentation

EventRel

typedef sets::Relation<sets::Types<Event> > mc2lib::memconsistency::EventRel

EventRelSeq

typedef sets::RelationSeq<sets::Types<Event> > mc2lib::memconsistency::EventRelSeq

EventSet

typedef sets::Set<sets::Types<Event> > mc2lib::memconsistency::EventSet