函数逻辑报告 |
Source Code:kernel\futex.c |
Create Date:2022-07-27 11:53:51 |
Last Modify:2020-03-17 15:28:32 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称: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
函数原型:static int futex_lock_pi_atomic(unsigned int __user *uaddr, struct futex_hash_bucket *hb, union futex_key *key, struct futex_pi_state **ps, struct task_struct *task, struct task_struct **exiting, int set_waiters)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
unsigned int __user * | uaddr | |
struct futex_hash_bucket * | hb | |
union futex_key * | key | |
struct futex_pi_state ** | ps | |
struct task_struct * | task | |
struct task_struct ** | exiting | |
int | set_waiters |
1428 | vpid等于task_pid_vnr(task) |
1436 | 如果get_futex_value_locked( & uval, uaddr)则返回:负EFAULT |
1439 | 如果此条件成立可能性小(为编译器优化)(should_fail_futex(true))则返回:负EFAULT |
1445 | 如果此条件成立可能性小(为编译器优化)((uval & The rest of the robust-futex field is for the TID:) == vpid)则返回:负EDEADLK |
1448 | 如果此条件成立可能性小(为编译器优化)(should_fail_futex(true))则返回:负EDEADLK |
1456 | 如果top_waiter则返回: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. |
1465 | 如果非uval按位与The rest of the robust-futex field is for the TID:的值则 |
1477 | ret等于lock_pi_update_atomic(uaddr, uval, newval) |
1488 | ret等于lock_pi_update_atomic(uaddr, uval, newval) |
名称 | 描述 |
---|---|
futex_proxy_trylock_atomic | ex_proxy_trylock_atomic() - Attempt an atomic lock for the top waiter*@pifutex: the user address of the to futex*@hb1: the from futex hash bucket, must be locked by the caller*@hb2: the to futex hash bucket, must be locked by the caller*@key1: the from |
futex_lock_pi | Userspace tried a 0 -> TID atomic transition of the futex value* and failed. The kernel side here does the whole locking operation:* if there are waiters then it will block as a consequence of relying* on rt-mutexes, it does PI, etc |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |