SPM_scenario6 Namespace Reference

Functions
void	threadFunction0 (thread_context *c, int i, boost::fairness::shared_priority_mutex< 4 > &m)
void	threadFunction1 (thread_context *c, int i, boost::fairness::shared_priority_mutex< 4 > &m)
void	threadFunction2 (thread_context *c, int i, boost::fairness::shared_priority_mutex< 4 > &m)
void	threadFunction3 (thread_context *c, int i, boost::fairness::shared_priority_mutex< 4 > &m)
void	threadFunction4 (thread_context *c, int i, boost::fairness::shared_priority_mutex< 4 > &m)

Variables
std::vector< int >	expected
std::vector< int >	ret

Function Documentation

threadFunction0()

void SPM_scenario6::threadFunction0	(	thread_context *	c,
		int	i,
		boost::fairness::shared_priority_mutex< 4 > &	m
	)

threadFunction1()

void SPM_scenario6::threadFunction1	(	thread_context *	c,
		int	i,
		boost::fairness::shared_priority_mutex< 4 > &	m
	)

threadFunction2()

void SPM_scenario6::threadFunction2	(	thread_context *	c,
		int	i,
		boost::fairness::shared_priority_mutex< 4 > &	m
	)

threadFunction3()

void SPM_scenario6::threadFunction3	(	thread_context *	c,
		int	i,
		boost::fairness::shared_priority_mutex< 4 > &	m
	)

threadFunction4()

void SPM_scenario6::threadFunction4	(	thread_context *	c,
		int	i,
		boost::fairness::shared_priority_mutex< 4 > &	m
	)

Variable Documentation

expected

std::vector<int> SPM_scenario6::expected

Initial value:

{
        0, 1, 2, 2, 3
    }

ret

std::vector<int> SPM_scenario6::ret