线程安全-栈

在这里插入图片描述
当入栈获得锁时,必须从用户态转移到内核态,锁住互斥锁,再到达用户态继续向下运行。在入栈时,出栈函数由于获取不到锁,就会阻塞,直到入栈函数执行完释放锁之后才能在内核态获得锁,再转移到用户态继续执行。
同步:同步的意思是函数执行有顺序,A执行完之后才能执行B,B执行完之后才能执行C,以此类推。而不是简单的理解为同步就是同时执行
异步:异步指的是在同一时间内,A B C函数可能同时执行,没有固定的顺序,互相不影响。
完整代码:

//栈空异常类型,主要为栈空做准备
struct empty_stack :std::exception
//如果栈空,直接给出一个异常,exceotion是系统给出的一个异常类型,直接继承过来
{
	const char* what()const throw()//是什么原因导致异常
	{
		return "empty stack!";
	}
};
template<class T=int>
class threadsafe_stack
{
public:
	thraedsafe_stack(){}
	~threadsafe_stack(){}
	threadsafe_satck(const threadsafe_stack& other)
	{
		std::lock_guard<std::mutex>lock(other.m);
		data = other.data;
	}
	threadsafe_stack& operator=(const threadsafe_stack&) = delete;
	void empty()const
	{
		std::lock_guard<std::mutex>lock(m);
		return data.empty();
	}
	int GetSize()const
	{
		if (data.empty())throw empty_stack();//如果栈为空,就直接抛出异常
		return data.size();
	}
	std::shared_ptr<T>pop()
	{
		std::lock_guard<std::mutex>lock(m);
		if (data.empty())throw empty_stack();
		std::shared_ptr<t>const res(std::make_shared<t>(data.top()));
		data.pop();
		return res;
	}
	bool pop(T& val)
	{
		std::lock_guard<std::mutex>lock(m);
		if (data.empty())throw empty_stack();
		val = data.top();
		data.pop();
		return true;
	}
	void push(const T& val) 
	{
		std::lock_guard<std::mutex>lock(m);
		data.push(val);
	}
private:
	std::stack<T>data;
	mutable std::mutex m;//可变的互斥量
};

这个栈的效率太低,因为它每一次获得锁都需要用户态与内核态之间的转换
为了解决这个问题,我们可以使用原子操作,原子操作不需要用户态与内核态之间的转换,从而能大大提高效率

void push(const Type& val)
	{//原子操作只在用户态执行,不会进行切换,执行效率非常高,可能插入的顺序会乱,但不会造成数据的丢失
		StackNode* newnode = Buynode(val);
		do
		{
			newnode->next = pHead.load();
		} while (!pHead.compare_exchange_strong(newnode->next, newnode));
	}

完整代码:

//栈空异常类型,主要为栈空做准备
struct empty_stack :std::exception
//如果栈空,直接给出一个异常,exceotion是系统给出的一个异常类型,直接继承过来
{
	const char* what()const throw()//是什么原因导致异常
	{
		return "empty stack!";
	}
};
//无锁链栈
template<class Type>
class UnLock_LinkStack
{
private:
	struct StackNode
	{
		Type data;
		StackNode* next;
		//调用缺省的构造,构造一个Type的类型,对val进行初始化,相当于有一个默认值
		//可以用0代替吗?不可以,如果Type是一个int类型,那么是是可以的,但如果Type是一个string类型,那就不行
		StackNode(const Type& val = Type(), StackNode* nt = NULL) :data(val), next(nt)
		{}
	};
private:
	std::atomic<int>count;//用原子 套进去
	std::atomic<StackNode*>pHead;
	static StackNode* Buynode(const Type& val)
	{
		return new StackNode<Type>(val);
	}
	static void Freenode(StackNode* p)
	{
		delete p;
	}
public:
	//原子的初始化,可以保证在初始化的过程中,不会被打断
	UnLock_LinkStack() :count(ATOMIC_VAR_INIT(0)), pHead(ATOMIC_VAR_INIT(NULL)) {}
	~UnLock_LinkStack() {};
	void push(const Type& val)
	{//原子操作只在用户态执行,不会进行切换,执行效率非常高,可能插入的顺序会乱,但不会造成数据的丢失
		StackNode* newnode = Buynode(val);
		do
		{
			newnode->next = pHead.load();
		} while (!pHead.compare_exchange_strong(newnode->next, newnode));
	}
	int size()const
	{
		return count.load();//原子的返回数值
	}
	bool empty()const
	{
		return count == 0;
	}
};
UnLock_LinkStack<int>ist;
//对于ist,当多线程共享使用时,就必须在线程函数传入引用,线程内对ist的改变就是ist本身
//如果线程函数不传入引用的话,线程内对ist的改变就是对副本的改变,不会影响到ist本身
void funa(UnLock_LinkStack<int>& ist)
{
	ist.push(23);
}
void funb(UnLock_LinkStack<int>& ist)
{
	ist.push(34);
}
int main()
{
	UnLock_LinkStack<int>ist;
	thread tha(funa, std::ref(ist));
	thread thb(funb, std::ref(ist));
	return 0;
}
  • 3
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值