No.57 - 内核数据竞争检测工具 · Issue #I1ICGN · openEuler/marketing

原值

标题

【sig-qa】内核数据竞争工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：SVF https://github.com/lifeasageek/SVF/tree/svf-razzer）和动态测试方法（比如kcan：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内核模块驱动开发

  了解kasan等内核bug检测使用

新值

标题

【sig-qa】内核数据竞争工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：SVF https://github.com/lifeasageek/SVF/tree/svf-razzer）和动态测试方法（比如kcan：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内核模块驱动开发

  了解kasan等内核bug检测使用

原值

标题

【sig-qa】内核数据竞争工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：SVF https://github.com/lifeasageek/SVF/tree/svf-razzer）和动态测试方法（比如kcan：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内核模块驱动开发

  了解kasan等内核bug检测使用

新值

标题

【sig-qa】内核数据竞争工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：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内核模块驱动开发

  了解kasan等内核bug检测使用

原值

【sig-qa】内核数据竞争工具

新值

【sig-qa】内核数据竞争检测工具

原值

标题

【sig-qa】内核数据竞争工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：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内核模块驱动开发

  了解kasan等内核bug检测使用

新值

标题

【sig-qa】内核数据竞争检测工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：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内核模块驱动开发

  了解kasan等内核bug检测使用

原值

【sig-qa】内核数据竞争检测工具

新值

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

原值

标题

【sig-qa】内核数据竞争检测工具

描述

内核数据竞争检测，业界当前可以通过静态测试工具（比如：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内核模块驱动开发

  了解kasan等内核bug检测使用

新值

_标题_ 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内核模块驱动开发

- 了解kasan等内核bug检测使用

原值

_标题_ 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内核模块驱动开发

- 了解kasan等内核bug检测使用

新值

_标题_ 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检测使用

原值

_标题_ 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检测使用

新值

_标题_ 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检测使用

openEuler/marketing

内容风险标识

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

评论 (1)

openEuler/marketing .gitee-modal { width: 500px !important; }

内容风险标识

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

评论 (1)

搜索帮助

openEuler/marketing