用mutex实现semaphore

太平绅士

想了一下，没有办法呢

太平绅士

貌似实现不了。。
类似的，还有，如何用semaphore实现condition ？

lenovo

当semaphore只取0和1时，和mutex一样的吧。
我认为semaphore也实现不了condition。

太平绅士

原帖由 lenovo 于 2007-7-18 19:07 发表
当semaphore只取0和1时，和mutex一样的吧。
我认为semaphore也实现不了condition。

没错, 用semaphore实现mutex没有问题的, 用mutex实现semaphore, 还真不好办.

cnshibo

如果一定要实现的话，也可以，只是比较繁

太平绅士

原帖由 cnshibo 于 2007-7-18 23:18 发表
如果一定要实现的话，也可以，只是比较繁

请问怎么做呢

太平绅士

原帖由 cnshibo 于 2007-7-18 23:18 发表
如果一定要实现的话，也可以，只是比较繁

光说不练啊！！

用semaphore实现condition, 我从boost里面学了一段，已经没有问题了。
用mutex实现semaphore，怎么做呢？

tinywind

理论上mutex可以实现所有的同步原语。
mutex+counter+queue应该可以实现semaphore了

0521

假设在用户态实现，假设 Mutex 可以跨线程。仅仅实现了一个信号量。

Mutex M_counter;
Mutex *free_queue;
Mutex *peding_queue;
int count = 0;

semaphore_take()
{
    mutex_take(M_counter);
    count--;
    mutex_give(M_counter);

    if (count < 0)
    {
        mutex_id = get_a_free_mutex();
        append_to_peding_queue(mutex_id);
        mutex_take(mutex_id);
    }
}


semaphore_give()
{
    mutex_take(M_counter);
    count++;
    mutex_give(M_counter);

    mutex_id = get_first_pending_mutex();
    append_to_free_queue(mutex_id);
    mutex_give(mutex_id);
}

太平绅士

原帖由 0521 于 2007-7-19 16:40 发表
假设在用户态实现，假设 Mutex 可以跨线程。仅仅实现了一个信号量。

Mutex M_counter;
Mutex *free_queue;
Mutex *peding_queue;
int count = 0;

semaphore_take()
{
    mutex_take(M_counter);
  ...

为了效率，看来需要在系统里维护一个全局mutex queue，
谢谢你，应该可以了，虽然这个全局queue让偶很不爽