c - 使用 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 位值并采用空指针作为参数的函数。您传递了一种不同类型的函数指针，C 中不允许进行函数指针转换，我也不确定如果 Windows 获得与预期不同的函数指针，它会执行什么样的疯狂操作。您调用未定义的行为。这可能会导致您的程序崩溃或以意外或随机方式运行。

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