Semantische Kapselung und Nebenläufigkeitstransparenz in der objektorientierten Programmierung

面向对象编程中的语义封装和并发透明

• 批准号: 18162541
• 负责人: Professor Dr. Arnd Poetzsch-Heffter
• 金额: --
• 依托单位: Universitätsleitung - Präsidium
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/18162541?language=en
• 关键词: Semantische; Kapselung; und; Nebenl; ufigkeitstransparenz

Die Objektorientierung hat sich zu einem Paradigma von erheblicher Bedeutung entwickelt. Mit dem breiten Einsatz objektorientierter Sprachen in der Softwareentwicklung werden Kapselungstechniken und eine adäquate Unterstützung von Nebenläufigkeit immer wichtiger. Derzeit stehen dafür nur recht elementare Konzepte zur Verfügung, Dies führt zu schwer auffindbaren Fehlern und verhindert Produktivitätssteigerungen. Projektziel ist die Entwicklung eines höheren Modells für die nebenläufige objektorientierte Programmierung. Im Mittelpunkt steht dabei die Strukturierung des Speichers in gekapselte Objektbereiche. Objektbereiche können aus einigen wenigen, aber auch aus Tausenden von Objekten bestehen und hierarchisch aufgebaut sein. In der Bereichsschnittstelle lässt sich deklarieren, welche Methoden oder Abfolgen von Methodenaufrufen atomar1 ausgeführt werden sollen. Atomare Ausführung garantiert Nebenläufigkeitstransparenz^ d.h. die Ausführung wird nicht von anderen Ausführungssträngen (Threads) beeinflusst, so dass viele Vorteile der sequentieller Programmierung erhalten bleiben. Das Programmiermodell wird als Erweiterung einer Java-Programmierumgebung implementiert und evaluiert. Zur Spezifikation von Bereichen und ihren Schnittstellen wird eine Annotationssprache entwickelt. Ein Konsistenzchecker prüft, ob Java-Programme die Atomaritätsgarantien ihrer Annotationen gewährleisten. Ein Generator reichert annotierte sequentielle Programme automatisch so mit Synchronisationsanweisungen an, dass sie dem Programmiermodell genügen.

目标导向是一种可供选择的范式。Mit dem breiten Einjektorientierter Sprachen in der Softwareentwicklung韦尔登Kapselungstechniken und eine adquate Unterstützung von Nebenläufigkeit immer wichtiger. Derzeit stehen dafur努尔recht elementare Konzepte zur Verfügung，Dies führt zu schwer auffindbaren Fehlern und verhindert Produktivitätssteigerungen. Projektesterist die Entwicklung eines höheren Models für die nebenläufige objektorientierte Programmierung.在Mittelpunkt staht dabei the Strukturierung des Speichers in gekapselte Objektbereiche.对象可以从一个更小的地方获得，但也可以从对象的最佳和层次结构中获得。在Bereichsschnittstelle lässt sich deklarieren，welche Methoden oder Abfolgen von Methodenaufrufen atomar 1 ausgeführt韦尔登sollen. Atomare Ausführung garantiert Nebenläufigkeittranssparenz ^ d.h. die Ausführung wird wird von anderen Ausführungssträngen（Threads）beeinflusst，so dass viele Vorteile der sequentieller Programmierung erhalten bleiben.编程模型将用于Java编程的实现和评估。在对贝雷琴和他的小提琴的特殊化中，将添加一个注释。Ein Konsistenzchecker prüft，ob Java-Programme die Atomaritätsgarantien ihrer Annotationen gewährleisten. Ein Generator reichert annotierte sequentielle Programme automatisch so mit Synchronisationsanweisungen an，dass sie dem Programmiermodell genügen.

项目成果

A Parameterized Type System for Simple Loose Ownership Domains

简单松散所有权域的参数化类型系统

• DOI: 10.5381/jot.2007.6.5.a3
• 发表时间: 2007
• 期刊: J. Object Technol.
• 作者: Schäfer;Poetzsch-Heffter
• 通讯作者: Poetzsch-Heffter