SPM_scenario3 Namespace Reference

Functions
void	controlThread (thread_context *c, boost::fairness::shared_priority_mutex< 5 > &m)
void	threadFunction (thread_context *c, int i, boost::fairness::shared_priority_mutex< 5 > &m)
void	threadFunction2 (thread_context *c, int i, boost::fairness::shared_priority_mutex< 5 > &m)

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

Function Documentation

controlThread()

void SPM_scenario3::controlThread	(	thread_context *	c,
		boost::fairness::shared_priority_mutex< 5 > &	m
	)

threadFunction()

void SPM_scenario3::threadFunction	(	thread_context *	c,
		int	i,
		boost::fairness::shared_priority_mutex< 5 > &	m
	)

threadFunction2()

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

Variable Documentation

expected

std::vector<bool> SPM_scenario3::expected

Initial value:

{
        true, false, false, true, false
    }

ret

std::vector<bool> SPM_scenario3::ret