nginx读写锁的实现逻辑

  我们一般认为nginx是一个多进程单线程的应用服务,虽然nginx在一个worker进程内是没有数据竞争问题的(因为是单线程),但是不免nginx在多个进程间还有一些需要共享的数据,譬如ngx_http_upstream_zone_module模块将peers数据放在了共享内存中供多个worker进程来使用,又譬如ngx_http_limit_conn_module模块将并发连接数限制也放在了共享内存中,诸如此类的,自然会涉及到共享内存访问的互斥锁的问题,本文对nginx实现的互斥锁进行分析,通过分析学习nginx的实现代码,以便将来可以应用到自己的日常应用程序中去。

  nginx的读写锁实现逻辑是通过自旋锁来实现的。

  nginx一共实现了以下几个api函数:

c 复制代码
void ngx_rwlock_wlock(ngx_atomic_t *lock);
void ngx_rwlock_rlock(ngx_atomic_t *lock);
void ngx_rwlock_unlock(ngx_atomic_t *lock);
void ngx_rwlock_downgrade(ngx_atomic_t *lock);

  ngx_rwlock_wlock用来加写锁,ngx_rwlock_rlock用来加读锁,ngx_rwlock_unlock用来对加的锁进行释放,ngx_rwlock_downgrade对写锁进行降级为读锁。

  锁变量是ngx_atomic_t类型,对应的就是一个unsigned long的类型。

以下是ngx_rwlock_wlock的实现代码:

c 复制代码
void
ngx_rwlock_wlock(ngx_atomic_t *lock)
{
    ngx_uint_t  i, n;

    for ( ;; ) {
		/* 如果*lock的值是0表示现在没有加任何读写锁
		   ngx_atomic_cmp_set比较如果是lock是0,则将其设置为NGX_RWLOCK_WLOCK
		   表示加锁成功,可以返回了
		*/
        if (*lock == 0 && ngx_atomic_cmp_set(lock, 0, NGX_RWLOCK_WLOCK)) {
            return;
        }

        
        if (ngx_ncpu > 1) {
        
			/* 对于多cpu的情况需要进行自旋加锁检测 */
            for (n = 1; n < NGX_RWLOCK_SPIN; n <<= 1) {

                for (i = 0; i < n; i++) {
                    ngx_cpu_pause();
                }

                if (*lock == 0
                    && ngx_atomic_cmp_set(lock, 0, NGX_RWLOCK_WLOCK))
                {
                    return;
                }
            }
        }

		/* 通知os将自己切出,调度到其他进程 */
        ngx_sched_yield();
    }
}

以下是ngx_rwlock_rlock的实现代码:

c 复制代码
void
ngx_rwlock_rlock(ngx_atomic_t *lock)
{
    ngx_uint_t         i, n;
    ngx_atomic_uint_t  readers;

    for ( ;; ) {
        readers = *lock;
		
		/* 如果*lock的值不是NGX_RWLOCK_WLOCK表示现在没有加写锁,则可以尝试获取读锁,
		   ngx_atomic_cmp_set比较如果是lock和之前保存的readers一致,
		   则将其设置为readers+1,表示加锁成功,可以返回了
		*/
		
        if (readers != NGX_RWLOCK_WLOCK
            && ngx_atomic_cmp_set(lock, readers, readers + 1))
        {
            return;
        }

        if (ngx_ncpu > 1) {
            /* 对于多cpu的情况需要进行自旋加锁检测 */
            for (n = 1; n < NGX_RWLOCK_SPIN; n <<= 1) {

                for (i = 0; i < n; i++) {
                    ngx_cpu_pause();
                }

                readers = *lock;

                if (readers != NGX_RWLOCK_WLOCK
                    && ngx_atomic_cmp_set(lock, readers, readers + 1))
                {
                    return;
                }
            }
        }
         /* 通知os将自己切出,调度到其他进程 */
        ngx_sched_yield();
    }
}

以下是ngx_rwlock_unlock的实现代码:

c 复制代码
void
ngx_rwlock_unlock(ngx_atomic_t *lock)
{
    if (*lock == NGX_RWLOCK_WLOCK) {
        /* 如果是写锁定了,那么将*lock置为0,表示没有加任何锁了*/
        (void) ngx_atomic_cmp_set(lock, NGX_RWLOCK_WLOCK, 0);
    } else {
        /*如果当前是读锁定了,那么只是将*lock-1,表示少了一个读者 */
        (void) ngx_atomic_fetch_add(lock, -1);
    }
}

以下是ngx_rwlock_downgrade的实现代码:

c 复制代码
void
ngx_rwlock_downgrade(ngx_atomic_t *lock)
{
	/* 如果当前是加上了写锁的,因为肯定没有读者,将自己变为读者,所以只有1个读者,
	   因此将*lock设置为1
	*/
    if (*lock == NGX_RWLOCK_WLOCK) {
        *lock = 1;
    }
}
相关推荐
qq_316411034 小时前
商用冷柜售后报修运维管理系统开发案例
运维
智码看视界4 小时前
Day59-阿里云ACK实战:生产级K8s集群部署与运维
运维·阿里云·kubernetes·k8s·日志监控·容器运维·阿里云ack
ltl5 小时前
QUIC 握手实现:Initial 到 1-RTT 的最小路径
linux
码视野6 小时前
基于 Vue3 + Element Plus 的【智慧新能源汽车充电桩运维调度与分时共享租赁系统】设计与实现(附完整源码与PRD)
运维·人工智能·汽车·vue3
qq_426003966 小时前
【UI自动化测试】UI自动化报错解决方案
运维·ui·自动化
网安蟹佬霸6 小时前
WAF绕过技术实战:从规则检测到编码绕过全指南(2026最新版,附Payload集与自动化脚本)
运维·安全·网络安全·架构·自动化·网安
小杨不想秃头6 小时前
信息安全工程师教程第二章密码学
运维·服务器·密码学
I'mChloe7 小时前
WGCLOUD怎么监控多台服务器?从Server、Agent 部署到监控面板实战
运维·服务器
Android系统攻城狮7 小时前
Linux PipeWire深度解析之pw_init调用流程与实战(八十三)
linux·运维·服务器·音频进阶·pipewire音频进阶
国科安芯7 小时前
轨道供电韧性:ASP4644四通道降压架构在低轨卫星平台电源管理中的适用性分析
运维·网络·数据库·嵌入式硬件·架构·状态模式·低轨卫星星座