函数逻辑报告 |
Source Code:kernel\futex.c |
Create Date:2022-07-27 11:53:56 |
Last Modify:2020-03-17 15:28:32 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:Caller must hold a reference on @pi_state.
函数原型:static int wake_futex_pi(unsigned int __user *uaddr, unsigned int uval, struct futex_pi_state *pi_state)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
unsigned int __user * | uaddr | |
unsigned int | uval | |
struct futex_pi_state * | pi_state |
1556 | bool postunlock = false |
1558 | ret等于0 |
1561 | 如果WARN_ON_ONCE(!new_owner)则 |
1571 | 转到:out_unlock |
1581 | 如果此条件成立可能性小(为编译器优化)(should_fail_futex(true))则ret等于负EFAULT |
1592 | 如果The rest of the robust-futex field is for the TID:按位与curval的值恒等于uval则ret等于负EAGAIN |
1598 | 如果ret则转到:out_unlock |
1608 | 删除链表项并重新初始化 |
1613 | 添加链表项 |
1617 | postunlock等于Futex variant, that since futex variants do not use the fast-path, can be* simple and will not need to retry. |
1619 | out_unlock : |
1620 | raw_spin_unlock_irq( & 保护自旋锁) |
1625 | 返回:ret |
名称 | 描述 |
---|---|
futex_unlock_pi | Userspace attempted a TID -> 0 atomic transition, and failed.* This is the in-kernel slowpath: we look up the PI state (if any),* and do the rt-mutex unlock. |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |