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

Optimale Interprozeduale Analyse von Programmen mit dynamischer Thread-Erzeugung

具有动态线程创建的程序的最优过程间分析

基本信息

批准号：
52609764
负责人：
Professor Dr. Markus Müller-Olm
金额：
--
依托单位：
Institut für Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2007
资助国家：
德国
起止时间：
2006-12-31 至 2016-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/52609764?language=en
关键词：
Optimale Interprozeduale Analyse von Programmen

项目摘要

In der ersten Projektphase wurden Methoden entwickelt, um den Kontrofluss in nebenläufigen Programmen mit Synchronisationsprimitiven präzise zu analysieren. Dabei konzentrierten wir uns einerseits auf dynamische Pushdown-Netzwerke (DPNs) mit wohlgeschachtelten Locks oder Monitoren. Auf der anderen Seite untersuchten wir ein vereinfachtes Taskmodell, das dem Automobilstandard Osek zu Grunde liegt, bei dem unterschiedliche Tasks mit Hilfe von Ressourcen und Prioritäten synchronisiert werden. Darauf aufbauend sollen nun in dem Nachfolgeprojekt für diese Programmiermodelle Analyseframeworks entwickelt werden, die es erlauben, weiterreichende Programmeigenschaften statisch zu ermitteln. Insbesondere sollen sowohl für das Osek-Modell als auch für DPNs Wertanalysen für Programme mit globalen Variablen entwickelt werden. Zur Steigerung der Präzision sollen diese Analysen Synchronisationsprimitive mitberücksichtigen. Neben den schon in der ersten Projektphase betrachteten Synchronisationsprimitiven sollen zudem weitere Synchronisationskonzepte identifiziert werden, die exakt behandelt werden können.

在第一个项目阶段，我们开始改进方法，在新的程序设计中使用同步算法进行分析。我们将在带锁或密封件的动态下推式网络（DPN）上进行控制。在下面的例子中，我们将建立一个任务模型，使汽车标准Osek zu Grunde liegt，bei dem unterschedliche Tasks mit Hilfe von Ressourcen und Prioritäten synchronisiert韦尔登。Darauf aufbauend nun in dem Nachfolgeprojekt für diese Programmiermodelle Analyseframeworks entwickelt韦尔登，die es erlauben，weiterreichende Programmeigenschaften Schucher zu ermitteln. Insbesondere sollen sowohl für das Osek-Modell als auch für DPN Wertanalysen für Programme mit globalen Variablen entwickelt韦尔登. Zur Steigerung der Präzision sollen diese Analysen Synchronisationsprimitive mitberücksichtigen.如果在第一个项目阶段进行同步初始化，那么就需要韦尔登识别，然后再进行韦尔登。