权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

汎用オペレーティングシステムの高信頼化

提高通用操作系统的可靠性

基本信息

批准号：
14J01856
负责人：
吉村剛
金额：
$ 1.22万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-25 至 2016-03-31
项目状态：
已结题

项目摘要

本研究はオペレーティングシステムにおいて発生頻度の高いバグについて調査をし，そこで得られたバグに特化した静的コード解析の開発を行う．高い頻度のバグに特化した検査をすることで現実的なオペレーティングシステムの高信頼化を目指す．昨年度に得られた37万件以上に渡る Linux のバグ・レポートの自然言語処理を用いた解析の結果では多様なセマンティクスに関するバグ，例えばデバイスの挙動が関わるバグを含め発生頻度の高いものを抽出し，よく知られているメモリバグやコンカレンシーバグのほかにもオペレーティングシステムで一般的となる機能，割り込み処理や DMA に関する実装の誤りなどを特徴的なバグとして出現することを明らかにした．この結果に基づき，本年度は Linux のデバイスドライバ 2287 件を検査を行う静的解析の実装を行い，Linux 4.1 において 5 件のバグの発見・修正を行った．修正した結果および過去のバグレポートに基づく静的解析を実装したケーススタディについて論文誌において発表した．この結果は近年問題となっているLinux のバグによる信頼性の低下を避ける手法の考案や，性能の向上にとって重要なものとなると考えている．また，Linux は産業界でも広く使われるオペレーティングシステムのひとつであり，そのバグを実際に修正を行ったことは学術的な貢献のみではなく，産業界への貢献も行えたと考えている．今後の展望として，バグ・レポートの解析の自動化をより進めることが必要となると考えている．現状では大量のバグ・レポートの解析を支援することにとどまっており，必要となる利用者の労力は少なくない．より多様なバグ対策へつなげるためにも解析の自動化を進める必要性を感じている．

In this study, there is a high level of hygiene in this study. This is the most important thing in the world. It is very important to have a better understanding of the nature of the problem, which is more than 370000 pieces of goods sold in the year of last year. The results of the analysis of the natural language of more than 370000 passenger cars were obtained last year. I don't know. I don't know. As a matter of fact, there is a high level of health in the system, and there is no need to know that there is an increase in the rate of discharge. for example, if there is a high level of health, there is an increase in the rate of withdrawal. This is the first time that you have found that you are suffering from a serious problem. The results show that this year's DMA is in full swing. This year, the analysis of 2287 real-time statistics shows that there are many problems in this year's operation. Linux 4.1.There is a correction in the treatment of 5 health problems. The results of the correction results are related to the analysis of the health care system. This is the result of a case study on the practice of low-level trust avoidance in recent years. The performance is very important, and the Linux is very important. In the future, the industry is looking forward to the improvement of the performance of the industry. It is necessary to analyze the need for self-regulation. There is a great deal of information about the number of people who need to be customized. It is necessary to make use of less effort to make full use of them. The policy of multi-user training is very important.

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers

Linux静态分析中断请求处理程序故障实例

DOI：
发表时间：
2016
期刊：
IPSJ Transactions on Advanced Computing Systems (ACS53)
影响因子：
0
作者：
清水覚司;藤田宏明;岩井一宏;Kenta Matsuoka and Jong-Hak Woo;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Takeshi Yoshimura and Kenji Kono
通讯作者：
Takeshi Yoshimura and Kenji Kono

Who writes what checkers? --- Learning from bug repositories

谁写了什么跳棋？