使用Windows slim读/写锁

Question

/*language C code*/

#include "windows.h"

typedef struct object_s
{
    SRWLOCK lock;
    int data;
} object_t, *object_p; /*own and pointer type*/

void thread(object_p x)
{
    AcquireSRWLockExclusive(&x->lock);
    //...do something that could probably change x->data value to 0
    if(x->data==0)
        free(x);
    else
        ReleaseSRWLockExclusive(&x->lock);
}

void main()
{
    int i;
    object_p object=(object_p)malloc(sizeof(object_t));

    InitializeSRWLock(&object->lock);

    for(i=0;i<3;i++)
     CreateThread(0,0,thread,object,0);
}

正如您在上面的代码中可以看出的，我必须完成的是让一个线程有条件地释放其他两个线程可能阻塞的对象。上面的代码显然是有缺陷的，因为如果对象与锁一起被释放，所有阻塞线程只会给我们带来错误。

下面的解决方案

/*language C code*/

#include "windows.h"

typedef struct object_s
{
    /*change: move lock to stack in main()*/
    int data;
} object_t, *object_p; /*own and pointer type*/

void thread(void * x)
{
    struct {
    PSRWLOCK l;
    object_p o;
    } * _x=x;
    AcquireSRWLockExclusive(_x->l);
    //...do something that could probably change x->data value to 0
    if(_x->o->data==0)
        free(_x->o);
    ReleaseSRWLockExclusive(&x->lock);
}

void main()
{
    int i;
    SRWLOCK lock; /*lock over here*/
    object_p object=(object_p)malloc(sizeof(object_t));

    InitializeSRWLock(&lock);

    /*pack for thread context*/
    struct
    {
        PSRWLOCK l;
        object_p o;
    } context={&lock, object};

    for(i=0;i<3;i++)
     CreateThread(0,0,thread,&context,0);
}

在这种情况下有效，但在我的最终项目中不适用，因为实际上存在一个对象的动态链接列表。通过应用这个解决方案，意味着必须有一个相应的锁列表，每个锁对应一个对象，而且，当某个对象被释放时，它的锁必须同时被释放。与第一个代码部分相比，没有什么新内容。

现在我想知道是否有替代解决方案。非常感谢！

Answer 1

解决方案是不要将锁与数据一起分配。我建议您将数据移出该结构，并将其替换为指向数据的指针。然后，您的链表可以首先释放数据，然后释放节点，不会出现任何问题。下面是一些伪代码：

typedef struct 
{
  lock_t lock;
  int*   data_ptr;
} something_t;

void init_something (something_t* thing, ...)
{
  thing->lock = init_lock();
  thing->data_ptr = malloc(...);  // whatever the data is supposed to be
}

void free_something (somthing_t* thing)
{
  lock(thing->lock);
    free(thing->data_ptr);
    thing->data_ptr = NULL;
  unlock(thing->lock);
}

...

void linked_list_delete_node (...)
{
  free_something(node_to_delete->thing);
  free(node_to_delete);
}

...

void thread (void* x)
{
  lock(x->lock);
    //...do something that could probably change x->data_ptr->data... to 0
    if(x->data_ptr->data == 0)
    {
      free_something(x->data_ptr->data);
    }
  unlock(x->lock);
}



 AcquireSRWLockExclusive(lock);
  if(_x->o->data==0)
    free(_x);
 ReleaseSRWLockExclusive(lock);

---

作为旁注，Windows 的 C 程序永远不会返回 void。托管 C 程序必须始终返回 int。您的程序无法在 C 编译器上编译。

此外，CreateThread() 需要一个函数指针，该函数指针指向返回 32 位值并采用 void 指针作为参数的函数。你传递了一种不同类型的函数指针，C 中不允许函数指针强制转换，我也不确定如果 Windows 获得与预期不同的函数指针，它会执行什么样的疯狂操作。您调用未定义的行为。这可能会导致您的程序崩溃或以意外或随机的方式运行。

您需要将线程函数更改为DWORD WINAPI thread (LPVOID param);