位图原子操作

位图原子操作 的协作图:

宏定义
#define	xwbmpaop_define(name, bits)   atomic_xwbmp_t name[BITS_TO_XWBMP_T(bits)]
	XWOS BOPLIB：声明原子位图

函数
bool	xwbmpaop_t1i (atomic_xwbmp_t *bmp, xwsq_t idx)
	XWOS AOPLIB：测试位图中的某位是否被置1
void	xwbmpaop_s1i (atomic_xwbmp_t *bmp, xwsq_t idx)
	XWOS AOPLIB：将位图中某位置1
void	xwbmpaop_c0i (atomic_xwbmp_t *bmp, xwsq_t idx)
	XWOS AOPLIB：将位图中某位清0
void	xwbmpaop_x1i (atomic_xwbmp_t *bmp, xwsq_t idx)
	XWOS AOPLIB：将位图中某位翻转
xwer_t	xwbmpaop_t0i_then_s1i (atomic_xwbmp_t *bmp, xwsq_t idx)
	XWOS AOPLIB：测试位图中某位是否为0，如果是，就将它置1
xwer_t	xwbmpaop_t1i_then_c0i (atomic_xwbmp_t *bmp, xwsq_t idx)
	XWOS AOPLIB：测试位图中某位是否为1，如果是，就将它清0
xwssq_t	xwbmpaop_fls_then_c0i (atomic_xwbmp_t *bmp, xwsz_t num)
	XWOS AOPLIB：从最高位起查找位图中第一个为1的位并将它清0
xwssq_t	xwbmpaop_flz_then_s1i (atomic_xwbmp_t *bmp, xwsz_t num)
	XWOS AOPLIB：从最高位起查找位图中第一个为0的位并将它置1
xwssq_t	xwbmpaop_ffs_then_c0i (atomic_xwbmp_t *bmp, xwsz_t num)
	XWOS AOPLIB：从最低位起查找位图中第一个为1的位并将它清0
xwssq_t	xwbmpaop_ffz_then_s1i (atomic_xwbmp_t *bmp, xwsz_t num)
	XWOS AOPLIB：从最低位起查找位图中第一个为0的位并将它置1
static void	xwbmpaop_s1all (atomic_xwbmp_t *bmp, xwsq_t num)
	XWOS AOPLIB：将位图所有位置1
static void	xwbmpaop_c0all (atomic_xwbmp_t *bmp, xwsq_t num)
	XWOS AOPLIB：将位图所有位清0

详细描述

xwos_lib_xwaop

宏定义说明

xwbmpaop_define

#define xwbmpaop_define	(		name,
			bits
	)		atomic_xwbmp_t name[BITS_TO_XWBMP_T(bits)]

XWOS BOPLIB：声明原子位图

参数

[in]	name	符号名
[in]	bits	位图中的位数

在文件 xwaop.h 第 2484 行定义.

函数说明

xwbmpaop_c0all()

static void xwbmpaop_c0all ( atomic_xwbmp_t *  bmp, xwsq_t  num  )

inlinestatic

XWOS AOPLIB：将位图所有位清0

参数

[in]	bmp	位图的起始地址指针
[in]	num	位图中总的位数

注解

• 内存序：acq_rel

在文件 xwaop.h 第 2623 行定义.

{
        xwsz_t n = BITS_TO_XWBMP_T(num);
        xwsz_t i;
 
        for (i = 0; i < n; i++) {
                xwaop_c0m(xwbmp_t, &bmp[i], ~((xwbmp_t)0), NULL, NULL);
        }
}

xwbmpaop_c0i()

void xwbmpaop_c0i	(	atomic_xwbmp_t *	bmp,
		xwsq_t	idx
	)

XWOS AOPLIB：将位图中某位清0

参数

[in]	bmp	位图的起始地址指针
[in]	idx	被清0的位的序号

注解

• 内存序：acq_rel

在文件 bmp.c 第 40 行定义.

{
        xwsq_t i = XWBOP_BMP(idx);
        xwbmp_t m = XWBOP_BMP_MASK(idx);
 
        xwaop_c0m(xwbmp_t, &bmp[i], m, NULL, NULL);
}

这是这个函数的调用关系图:

xwbmpaop_ffs_then_c0i()

xwssq_t xwbmpaop_ffs_then_c0i	(	atomic_xwbmp_t *	bmp,
		xwsz_t	num
	)

XWOS AOPLIB：从最低位起查找位图中第一个为1的位并将它清0

参数

[in]	bmp	位图的起始地址指针
[in]	num	位图中总的位数

返回

错误码

返回值

>=0	位的序号
-ENODATA	没有任何一个位为1

注解

• 内存序：测试成功，acq_rel；测试失败，consume；

<No error

在文件 bmp.c 第 183 行定义.

{
        xwsz_t total = BITS_TO_XWBMP_T(num);
        xwsq_t i;
        xwbmp_t msk;
        xwbmp_t o;
        xwbmp_t n;
        xwbmp_t m;
        xwssq_t pos;
 
        do {
                i = 0;
                pos = -ENODATA;
                do {
                        if (i == (total - (xwsz_t)1)) {
                                msk = ((xwbmp_t)XWBOP_BIT(num % BITS_PER_XWBMP_T) -
                                       (xwbmp_t)1);
                                if ((xwbmp_t)0 == msk) {
                                        msk = (xwbmp_t)(~(xwbmp_t)0);
                                }
                        } else {
                                msk = (xwbmp_t)(~(xwbmp_t)0);
                        }
                        o = xwaop_load(xwbmp_t, &bmp[i], xwaop_mo_consume);
                        o &= msk;
                        if ((xwbmp_t)0 != o) {
                                pos = xwbop_ffs(xwbmp_t, o);
                                break;
                        }
                        i++;
                } while (i < total);
                if (pos < 0) {
                        pos = -ENODATA;
                        break;
                } else {
                        m = ((xwbmp_t)1 << (xwbmp_t)pos);
                        n = o & (xwbmp_t)(~m);
                        pos += (xwssq_t)i * (xwssq_t)BITS_PER_XWBMP_T;
                }
        } while (XWOK != xwaop_teq_then_write(xwbmp_t, &bmp[i], o, n, NULL));
        return pos;
}

xwbmpaop_ffz_then_s1i()

xwssq_t xwbmpaop_ffz_then_s1i	(	atomic_xwbmp_t *	bmp,
		xwsz_t	num
	)

XWOS AOPLIB：从最低位起查找位图中第一个为0的位并将它置1

参数

[in]	bmp	位图的起始地址指针
[in]	num	位图中总的位数

返回

错误码

返回值

>=0	位的序号
-ENODATA	没有任何一个位为0

注解

• 内存序：测试成功，acq_rel；测试失败，consume；

<No error

在文件 bmp.c 第 227 行定义.

{
        xwsz_t total = BITS_TO_XWBMP_T(num);
        xwsq_t i;
        xwbmp_t msk;
        xwbmp_t tmp;
        xwbmp_t o;
        xwbmp_t n;
        xwbmp_t m;
        xwssq_t pos;
 
        do {
                i = 0;
                pos = -ENODATA;
                do {
                        if (i == (total - (xwsz_t)1)) {
                                msk = ((xwbmp_t)XWBOP_BIT(num % BITS_PER_XWBMP_T) -
                                       (xwbmp_t)1);
                                if ((xwbmp_t)0 == msk) {
                                        msk = (xwbmp_t)(~(xwbmp_t)0);
                                }
                        } else {
                                msk = (xwbmp_t)(~(xwbmp_t)0);
                        }
                        o = xwaop_load(xwbmp_t, &bmp[i], xwaop_mo_consume);
                        tmp = (xwbmp_t)(~o) & msk;
                        if ((xwbmp_t)0 != tmp) {
                                pos = xwbop_ffs(xwbmp_t, tmp);
                                break;
                        }
                        i++;
                } while (i < total);
                if (pos < 0) {
                        pos = -ENODATA;
                        break;
                } else {
                        m = ((xwbmp_t)1 << (xwbmp_t)pos);
                        n = o | m;
                        pos += (xwssq_t)i * (xwssq_t)BITS_PER_XWBMP_T;
                }
        } while (XWOK != xwaop_teq_then_write(xwbmp_t, &bmp[i], o, n, NULL));
        return pos;
}

xwbmpaop_fls_then_c0i()

xwssq_t xwbmpaop_fls_then_c0i	(	atomic_xwbmp_t *	bmp,
		xwsz_t	num
	)

XWOS AOPLIB：从最高位起查找位图中第一个为1的位并将它清0

参数

[in]	bmp	位图的起始地址指针
[in]	num	位图中总的位数

返回

错误码

返回值

>=0	位的序号
-ENODATA	没有任何一个位为1

注解

• 内存序：测试成功，acq_rel；测试失败，consume；

<No error

在文件 bmp.c 第 102 行定义.

{
        xwsz_t total = BITS_TO_XWBMP_T(num);
        xwsq_t i;
        xwbmp_t msk;
        xwbmp_t o;
        xwbmp_t n;
        xwbmp_t m;
        xwssq_t pos;
 
        do {
                i = total;
                pos = -ENODATA;
                msk = ((xwbmp_t)XWBOP_BIT(num % BITS_PER_XWBMP_T) - (xwbmp_t)1);
                if ((xwbmp_t)0 == msk) {
                        msk = (xwbmp_t)(~(xwbmp_t)0);
                }
                do {
                        i--;
                        o = xwaop_load(xwbmp_t, &bmp[i], xwaop_mo_consume);
                        o &= msk;
                        if ((xwbmp_t)0 != o) {
                                pos = xwbop_fls(xwbmp_t, o);
                                break;
                        }
                        msk = (xwbmp_t)(~(xwbmp_t)0);
                } while (i > (xwsq_t)0);
                if (pos < 0) {
                        pos = -ENODATA;
                        break;
                } else {
                        m = ((xwbmp_t)1 << (xwbmp_t)pos);
                        n = o & (xwbmp_t)(~m);
                        pos += (xwssq_t)i * (xwssq_t)BITS_PER_XWBMP_T;
                }
        } while (XWOK != xwaop_teq_then_write(xwbmp_t, &bmp[i], o, n, NULL));
        return pos;
}

xwbmpaop_flz_then_s1i()

xwssq_t xwbmpaop_flz_then_s1i	(	atomic_xwbmp_t *	bmp,
		xwsz_t	num
	)

XWOS AOPLIB：从最高位起查找位图中第一个为0的位并将它置1

参数

[in]	bmp	位图的起始地址指针
[in]	num	位图中总的位数

返回

错误码

返回值

>=0	位的序号
-ENODATA	没有任何一个位为0

注解

• 内存序：测试成功，acq_rel；测试失败，consume；

<No error

在文件 bmp.c 第 142 行定义.

{
        xwsz_t total = BITS_TO_XWBMP_T(num);
        xwsq_t i;
        xwbmp_t msk;
        xwbmp_t tmp;
        xwbmp_t o;
        xwbmp_t n;
        xwbmp_t m;
        xwssq_t pos;
 
        do {
                i = total;
                pos = -ENODATA;
                msk = ((xwbmp_t)XWBOP_BIT(num % BITS_PER_XWBMP_T) - (xwbmp_t)1);
                if ((xwbmp_t)0 == msk) {
                        msk = (xwbmp_t)(~(xwbmp_t)0);
                }
                do {
                        i--;
                        o = xwaop_load(xwbmp_t, &bmp[i], xwaop_mo_consume);
                        tmp = (xwbmp_t)(~o) & msk;
                        if ((xwbmp_t)0 != tmp) {
                                pos = xwbop_fls(xwbmp_t, tmp);
                                break;
                        }
                        msk = (xwbmp_t)(~(xwbmp_t)0);
                } while (i > (xwsq_t)0);
                if (pos < 0) {
                        pos = -ENODATA;
                        break;
                } else {
                        m = ((xwbmp_t)1 << (xwbmp_t)pos);
                        n = o | m;
                        pos += (xwssq_t)i * (xwssq_t)BITS_PER_XWBMP_T;
                }
        } while (XWOK != xwaop_teq_then_write(xwbmp_t, &bmp[i], o, n, NULL));
        return pos;
}

xwbmpaop_s1all()

static void xwbmpaop_s1all ( atomic_xwbmp_t *  bmp, xwsq_t  num  )

inlinestatic

XWOS AOPLIB：将位图所有位置1

参数

[in]	bmp	位图的起始地址指针
[in]	num	位图中总的位数

注解

• 内存序：acq_rel

在文件 xwaop.h 第 2605 行定义.

{
        xwsz_t n = BITS_TO_XWBMP_T(num);
        xwsz_t i;
 
        for (i = 0; i < n; i++) {
                xwaop_s1m(xwbmp_t, &bmp[i], ~((xwbmp_t)0), NULL, NULL);
        }
}

xwbmpaop_s1i()

void xwbmpaop_s1i	(	atomic_xwbmp_t *	bmp,
		xwsq_t	idx
	)

XWOS AOPLIB：将位图中某位置1

参数

[in]	bmp	位图的起始地址指针
[in]	idx	被置1的位的序号

注解

• 内存序：acq_rel

在文件 bmp.c 第 31 行定义.

{
        xwsq_t i = XWBOP_BMP(idx);
        xwbmp_t m = XWBOP_BMP_MASK(idx);
 
        xwaop_s1m(xwbmp_t, &bmp[i], m, NULL, NULL);
}

这是这个函数的调用关系图:

xwbmpaop_t0i_then_s1i()

xwer_t xwbmpaop_t0i_then_s1i	(	atomic_xwbmp_t *	bmp,
		xwsq_t	idx
	)

XWOS AOPLIB：测试位图中某位是否为0，如果是，就将它置1

参数

[in]	bmp	位图的起始地址指针
[in]	idx	被测试位的序号

返回

错误码

返回值

XWOK	没有错误
-EACCES	测试失败

注解

• 内存序：测试成功，acq_rel；测试失败，consume；

<No error

<No error

在文件 bmp.c 第 58 行定义.

{
        xwsq_t i = XWBOP_BMP(idx);
        xwbmp_t m = XWBOP_BMP_MASK(idx);
        xwbmp_t o;
        xwbmp_t n;
        xwer_t rc;
 
        do {
                o = xwaop_load(xwbmp_t, &bmp[i], xwaop_mo_consume);
                if (!(o & m)) {
                        n = o | m;
                        rc = XWOK;
                } else {
                        rc = -EACCES;
                        break;
                }
        } while (XWOK != xwaop_teq_then_write(xwbmp_t, &bmp[i], o, n, NULL));
        return rc;
}

这是这个函数的调用关系图:

xwbmpaop_t1i()

bool xwbmpaop_t1i	(	atomic_xwbmp_t *	bmp,
		xwsq_t	idx
	)

XWOS AOPLIB：测试位图中的某位是否被置1

参数

[in]	bmp	位图的起始地址指针
[in]	idx	被测试的位的序号

返回

布尔值

返回值

true	置位
false	复位

注解

• 内存序：consume

在文件 bmp.c 第 18 行定义.

{
        atomic_xwbmp_t * pos;
        bool ret;
        xwbmp_t value;
 
        pos = &bmp[XWBOP_BMP(idx)];
        value = xwaop_load(xwbmp_t, pos, xwaop_mo_consume);
        ret = (bool)(!!(value & XWBOP_BMP_MASK(idx)));
        return ret;
}

这是这个函数的调用关系图:

xwbmpaop_t1i_then_c0i()

xwer_t xwbmpaop_t1i_then_c0i	(	atomic_xwbmp_t *	bmp,
		xwsq_t	idx
	)

XWOS AOPLIB：测试位图中某位是否为1，如果是，就将它清0

参数

[in]	bmp	位图的起始地址指针
[in]	idx	被测试位的序号

返回

错误码

返回值

XWOK	没有错误
-EACCES	测试失败

注解

• 内存序：测试成功，acq_rel；测试失败，consume；

<No error

<No error

在文件 bmp.c 第 80 行定义.

{
        xwsq_t i = XWBOP_BMP(idx);
        xwbmp_t m = XWBOP_BMP_MASK(idx);
        xwbmp_t o;
        xwbmp_t n;
        xwer_t rc;
 
        do {
                o = xwaop_load(xwbmp_t, &bmp[i], xwaop_mo_consume);
                if ((xwbmp_t)0 != (o & m)) {
                        n = o & (xwbmp_t)(~m);
                        rc = XWOK;
                } else {
                        rc = -EACCES;
                        break;
                }
        } while (XWOK != xwaop_teq_then_write(xwbmp_t, &bmp[i], o, n, NULL));
        return rc;
}

xwbmpaop_x1i()

void xwbmpaop_x1i	(	atomic_xwbmp_t *	bmp,
		xwsq_t	idx
	)

XWOS AOPLIB：将位图中某位翻转

参数

[in]	bmp	位图的起始地址指针
[in]	idx	被翻转的位的序号

注解

• 内存序：acq_rel

在文件 bmp.c 第 49 行定义.

{
        xwsq_t i = XWBOP_BMP(idx);
        xwbmp_t m = XWBOP_BMP_MASK(idx);
 
        xwaop_x1m(xwbmp_t, &bmp[i], m, NULL, NULL);
}