11 Star 23 Fork 8

openEuler/marketing

 / 详情

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

待办的
开源之夏2023
创建于  
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检测使用

评论 (1)

wubodong 创建了暑期2020 5年前
wubodong 关联仓库设置为openEuler/marketing 5年前
展开全部操作日志
wubodong 修改了描述 5年前
wubodong 修改了描述 5年前
wubodong 修改了标题 5年前
wubodong 修改了描述 5年前
genedna 添加协作者allesgute 5年前
genedna 添加协作者genedna 5年前
genedna 添加了
 
summer2020
标签
5年前
genedna 关联项目设置为Summer 2020 5年前
genedna 计划截止日期设置为2020-07-02 5年前
genedna 计划开始日期设置为2020-07-01 5年前
genedna 计划截止日期2020-07-02 修改为2020-09-30 5年前
genedna 修改了标题 5年前
genedna 修改了描述 5年前
openeuler-ci-bot 负责人设置为allesgute 5年前
openeuler-ci-bot 移除了
 
summer2020
标签
5年前
wubodong 修改了描述 4年前
wubodong 修改了描述 4年前

登录 后才可以发表评论

状态
负责人
项目
Pull Requests
关联的 Pull Requests 被合并后可能会关闭此 issue
预计工期 (小时)
开始日期   -   截止日期
-
置顶选项
优先级
里程碑
分支
参与者(4)
5329419 openeuler ci bot 1632792936 wubodong-walkingwalk 23249 genedna 1586065964 allesgute-allesgute
1
https://gitee.com/openeuler/marketing.git
git@gitee.com:openeuler/marketing.git
openeuler
marketing
marketing

搜索帮助