10 Star 20 Fork 6

openEuler / marketing

 / 详情

No.57 - 内核数据竞争检测工具

Backlog
开源之夏2023
Opened this issue  
2020-05-25 19:00

标题 No.57 - 内核数据竞争检测工具

描述
内核数据竞争检测,业界当前可以通过静态测试工具(比如 [SVF]https://github.com/lifeasageek/SVF/tree/svf-razzer) 和动态测试方法(比如 [kcsan]https://github.com/google/ktsan/tree/kcsan) 来检测内核竞争,但是静态测试误报较太多,kcsan动态检测出来的很多问题也是无害的,因此本课题目标是把静态测试工具或动态测试工具(SVF和KCSAN,或其他类似的工具)输出的检测信息作为输入,通过精准构造的方式来构造真实竞争,通过内核自运行或者kasan等机制来检测是否是真正的竞争bug。

难度

导师 walkingwalk

联系方式
wubodong@huawei.com

产出标准

  • 完成测试工具开发并上传sig-qa。
  • 操作系统版本:openEuler 20.03 LTS
  • 架构:aarch64/x86_64

技术要求

  • 了解数据竞争原理、业界检测方法和工具使用
  • 了解linux内核模块驱动开发
  • 了解kcsan等内核bug检测使用

Comments (1)

wubodong created暑期2020
wubodong set related repository to openEuler/marketing
Expand operation logs

Hey @wubodong, Welcome to openEuler Community.
All of the projects in openEuler Community are maintained by @openeuler-ci-bot.
That means the developers can comment below every pull request or issue to trigger Bot Commands.
Please follow instructions at https://gitee.com/openeuler/community/blob/master/en/sig-infrastructure/command.md to find the details.

wubodong changed description
wubodong changed description
wubodong changed title
wubodong changed description
genedna assigned collaborator allesgute
genedna assigned collaborator genedna
genedna added
 
summer2020
label
genedna set related project to Summer 2020
genedna set deadline to 2020-07-02
genedna set start time to 2020-07-01
genedna changed deadline from 2020-07-02 to 2020-09-30
genedna changed title
genedna changed description
openeuler-ci-bot removed
 
summer2020
label
wubodong changed description
wubodong changed description

Sign in to comment

Status
Assignees
Projects
Milestones
Pull Requests
Successfully merging a pull request will close this issue.
Branches
Planed to start   -   Planed to end
-
Top level
Priority
Duration (hours)
参与者(4)
5329419 openeuler ci bot 1632792936 23249 genedna 1586065964
1
https://gitee.com/openeuler/marketing.git
git@gitee.com:openeuler/marketing.git
openeuler
marketing
marketing

Search