WinAPI之ReleaseSemaphore

ReleaseSemaphore 功能
按指定数量增加指定信号量对象的计数。

语法
C++

BOOL WINAPI ReleaseSemaphore(
  _In_      HANDLE hSemaphore,
  _In_      LONG   lReleaseCount,
  _Out_opt_ LPLONG lpPreviousCount
);


参数
hSemaphore在]
信号量对象的句柄。 CreateSemaphore 或 OpenSemaphore 函数返回此句柄。


此句柄必须具有SEMAPHORE_MODIFY_STATE访问权限。有关详细信息, 请参阅同步对象安全和访问权限.

lReleaseCount在]
要增加信号对象的当前计数的量。该值必须大于零。如果指定的金额将导致信号量的计数超过在创建信号时指定的最大计数, 则不会更改计数, 并且函数返回FALSE.

lpPreviousCount[出, 可选]
指向要接收信号量的上一个计数的变量的指针。如果不需要上一个计数, 则此参数可以为NULL 。

返回值
如果函数成功, 则返回值为非零。

如果函数失败, 返回值为零。要获取扩展错误信息, 请调用时出错.

言论
当信号对象的计数大于零, 并且在其计数等于零时 nonsignaled 的状态将发出信号。调用 CreateSemaphore 函数的进程指定信号量的初始计数。每次由于信号量的终止状态而释放等待线程时, 信号量的计数将减少一个。

通常, 应用程序使用信号量来限制使用资源的线程数。在线程使用该资源之前, 它指定调用等待函数之一的信号量句柄。当等待函数返回时, 它会将信号量的计数减少一。当线程使用完资源后, 它会调用ReleaseSemaphore以增加信号量的计数。

ReleaseSemaphore的另一个用途是在应用程序的初始化过程中。应用程序可以创建一个初始计数为零的信号量。这将信号量的状态设置为 nonsignaled, 并阻止所有线程访问受保护的资源。当应用程序完成其初始化时, 它使用ReleaseSemaphore将计数增加到其最大值, 以允许对受保护资源的正常访问。


无法使用ReleaseSemaphore减少信号量对象计数, 因为lReleaseCount不能为负数。若要临时限制或减少访问, 请创建一个循环, 在其中调用 WaitForSingleObject 函数, 其超时间隔为零, 直到信号量计数已足够减少为止。(请注意, 其他线程可以在执行此循环时减少计数。要恢复访问, 请调用ReleaseSemaphore , 其释放计数等于在循环中调用WaitForSingleObject的次数。
以下是一个使用C++实现读者优先的读者写者问题的示例代码,使用了Windows API函数: ```c++ #include <iostream> #include <windows.h> using namespace std; const int MAX_READERS = 5; const int MAX_WRITERS = 2; int data = 0; int reader_count = 0; HANDLE mutex, rsem, wsem; DWORD WINAPI writer(LPVOID param) { int val = *((int*)param); for (int i = 0; i < 3; i++) { WaitForSingleObject(mutex, INFINITE); cout << "Writer " << val << " is writing data " << ++data << endl; ReleaseMutex(mutex); Sleep(1000); } return 0; } DWORD WINAPI reader(LPVOID param) { int val = *((int*)param); for (int i = 0; i < 3; i++) { WaitForSingleObject(mutex, INFINITE); reader_count++; if (reader_count == 1) { WaitForSingleObject(wsem, INFINITE); } ReleaseMutex(mutex); WaitForSingleObject(rsem, INFINITE); cout << "Reader " << val << " is reading data " << data << endl; Sleep(1000); ReleaseSemaphore(rsem, 1, NULL); WaitForSingleObject(mutex, INFINITE); reader_count--; if (reader_count == 0) { ReleaseSemaphore(wsem, 1, NULL); } ReleaseMutex(mutex); } return 0; } int main() { HANDLE readers[MAX_READERS], writers[MAX_WRITERS]; int reader_ids[MAX_READERS], writer_ids[MAX_WRITERS]; mutex = CreateMutex(NULL, FALSE, NULL); rsem = CreateSemaphore(NULL, MAX_READERS, MAX_READERS, NULL); wsem = CreateSemaphore(NULL, 1, 1, NULL); for (int i = 0; i < MAX_READERS; i++) { reader_ids[i] = i + 1; readers[i] = CreateThread(NULL, 0, reader, &reader_ids[i], 0, NULL); } for (int i = 0; i < MAX_WRITERS; i++) { writer_ids[i] = i + 1; writers[i] = CreateThread(NULL, 0, writer, &writer_ids[i], 0, NULL); } WaitForMultipleObjects(MAX_READERS, readers, TRUE, INFINITE); WaitForMultipleObjects(MAX_WRITERS, writers, TRUE, INFINITE); CloseHandle(mutex); CloseHandle(rsem); CloseHandle(wsem); return 0; } ``` 在这个实现中,使用了三个Windows API函数CreateMutex、CreateSemaphore和WaitForSingleObject/ReleaseSemaphore来实现读者优先的读者写者问题。 其中,CreateMutex用来创建一个互斥对象mutex,保证读者和写者互斥访问共享资源data。CreateSemaphore用来创建两个信号量rsem和wsem,rsem用来限制并发读者的数量,wsem用来保证只有一个写者访问data。WaitForSingleObject和ReleaseSemaphore用来等待和释放信号量。 在读者线程中,先使用mutex互斥对象来保证读者和写者互斥访问data,然后增加reader_count计数器,判断是否是第一个读者,如果是,则使用wsem信号量来保证不会有写者同时访问data。读者访问data后,释放rsem信号量,并使用mutex互斥对象来减少reader_count计数器,如果是最后一个读者,则释放wsem信号量。 在写者线程中,也先使用mutex互斥对象来保证读者和写者互斥访问data,然后写入新的数据,再释放mutex互斥对象。 在main函数中,创建MAX_READERS个读者和MAX_WRITERS个写者线程,并等待它们完成。最后,释放使用的互斥对象和信号量。 需要注意的是,这个实现方式可能存在优先级反转的问题,即当读者和写者同时请求访问data时,写者可能会被阻塞,导致读者优先访问data。可以使用更高级的技术,如优先级调度,来避免这个问题。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

道格拉斯范朋克

播种花生牛奶自留田

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值