函数逻辑报告 |
Source Code:kernel\futex.c |
Create Date:2022-07-27 11:53:41 |
Last Modify:2020-03-17 15:28:32 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:Validate that the existing waiter has a pi_state and sanity check* the pi_state against the user space value. If correct, attach to* it.
函数原型:static int attach_to_pi_state(unsigned int __user *uaddr, unsigned int uval, struct futex_pi_state *pi_state, struct futex_pi_state **ps)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
unsigned int __user * | uaddr | |
unsigned int | uval | |
struct futex_pi_state * | pi_state | |
struct futex_pi_state ** | ps |
1072 | 如果此条件成立可能性小(为编译器优化)(!pi_state)则返回:负EINVAL |
1101 | 如果get_futex_value_locked( & uval2, uaddr)则转到:out_efault |
1104 | 如果uval不等于uval2则转到:out_eagain |
1139 | 否则 |
1144 | 如果非owner则转到:out_einval |
1153 | 如果pid不等于task_pid_vnr(owner)则转到:out_einval |
1156 | out_attach : |
1157 | get_pi_state(pi_state) |
1158 | raw_spin_unlock_irq( & 保护自旋锁) |
1160 | 返回:0 |
1162 | out_einval : |
1164 | 转到:out_error |
1166 | out_eagain : |
1168 | 转到:out_error |
1170 | out_efault : |
1172 | 转到:out_error |
1174 | out_error : |
1175 | raw_spin_unlock_irq( & 保护自旋锁) |
1176 | 返回:ret |
名称 | 描述 |
---|---|
lookup_pi_state | |
futex_lock_pi_atomic | ex_lock_pi_atomic() - Atomic work required to acquire a pi aware futex*@uaddr: the pi futex user address*@hb: the pi futex hash bucket*@key: the futex key associated with uaddr and hb*@ps: the pi_state pointer where we store the result of the* lookup |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |