如何实现分布式信号量？

I have a limited set of resources that I want to share between multiple processes than run on multiple servers. I guess what I need could be called a I have a limited set of resources that I want t