Proceedings of the 15th International Conference on Modularity最新文献

Modularity and optimization in synergy 模块化和协同优化

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889445

W. Cazzola, A. Shaqiri

{"title":"Modularity and optimization in synergy","authors":"W. Cazzola, A. Shaqiri","doi":"10.1145/2889443.2889445","DOIUrl":"https://doi.org/10.1145/2889443.2889445","url":null,"abstract":"As with traditional software, the complexity of a programming language implementation is faced with modularization which favors the separation of concerns, independent development, maintainability and reuse. However, modularity interferes with language optimization as the latter requires context information that crosses over the single module boundaries and involves other modules. This renders hard to provide the optimization for a single language concept to be reusable with the concept itself. Therefore, the optimization is in general postponed to when all language concepts are available. We defined a model for modular language development with a multiple semantic actions dispatcher based on condition guards that are evaluated at runtime. The optimization can be implemented as context-dependent extensions applied a posteriori to the composed language interpreter without modifying a single component implementation. This renders effective the defined optimization within the language concept boundaries according to the context provided by other language concepts when available and eases its reuse with the language concepts implementation independently of its usage context. The presented model is integrated into the Neverlang development framework and is demonstrated on the optimization of a Javascript interpreter written in Neverlang. We also discuss the applicability of our model to other frameworks for modular language development.","PeriodicalId":225551,"journal":{"name":"Proceedings of the 15th International Conference on Modularity","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116498658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Fault tolerance with aspects: a feasibility study 容错与方面:可行性研究

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889453

Sven Karol, Norman A. Rink, Bálint Gyapjas, J. Castrillón

引用次数: 5

Modular architecture for code and metadata sharing 用于代码和元数据共享的模块化架构

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889455

Tomás Tauber, B. C. D. S. Oliveira

引用次数: 0

The expression problem, trivially! 表达式问题，琐碎!

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889448

Yanlin Wang, B. C. D. S. Oliveira

引用次数: 23

On ordering problems in message passing software 论消息传递软件中的排序问题

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889444

Yuheng Long, M. Bagherzadeh, Eric Lin, Ganesha Upadhyaya, Hridesh Rajan

{"title":"On ordering problems in message passing software","authors":"Yuheng Long, M. Bagherzadeh, Eric Lin, Ganesha Upadhyaya, Hridesh Rajan","doi":"10.1145/2889443.2889444","DOIUrl":"https://doi.org/10.1145/2889443.2889444","url":null,"abstract":"The need for concurrency in modern software is increasingly fulfilled by utilizing the message passing paradigm because of its modularity and scalability. In the message passing paradigm, concurrently running processes communicate by sending and receiving messages. Asynchronous messaging introduces the possibility of message ordering problems: two messages with a specific order in the program text could take effect in the opposite order in the program execution and lead to bugs that are hard to find and debug. We believe that the engineering of message passing software could be easier if more is known about the characteristics of message ordering problems in practice. In this work, we present an analysis to study and quantify the relation between ordering problems and semantics variations of their underlying message passing paradigm in over 30 applications. Some of our findings are as follows: (1) semantic variations of the message passing paradigm can cause ordering problems exhibited by applications in different programming patterns to vary greatly; (2) some semantic features such as in-order messaging are critical for reducing ordering problems; (3) modular enforcement of aliasing in terms of data isolation allows small test configurations to trigger the majority of ordering problems.","PeriodicalId":225551,"journal":{"name":"Proceedings of the 15th International Conference on Modularity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130181140","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

Segregating feature interfaces to support software product line maintenance 分离功能接口以支持软件产品线维护

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889451

B. Cafeo, Claus Hunsen, Alessandro F. Garcia, S. Apel, Jaejoon Lee

{"title":"Segregating feature interfaces to support software product line maintenance","authors":"B. Cafeo, Claus Hunsen, Alessandro F. Garcia, S. Apel, Jaejoon Lee","doi":"10.1145/2889443.2889451","DOIUrl":"https://doi.org/10.1145/2889443.2889451","url":null,"abstract":"Although software product lines are widely used in practice, their maintenance is challenging. Features as units of behaviour can be heavily scattered across the source code of a product line, hindering modular reasoning. To alleviate this problem, feature interfaces aim at enhancing modular reasoning about features. However, considering all members of a feature interface is often cumbersome, especially due to the large number of members arising in practice. To address this problem, we present an approach to group members of a feature interface based on their mutual dependencies. We argue that often only a subset of all interface members is relevant to a maintenance task. Therefore, we propose a graph representation that is able to capture the collaboration between members and apply a clustering algorithm to it to group highly-related members and segregate non-related members. On a set of ten versions of a real-world product line, we evaluate the effectiveness of our approach, by comparing the two types of feature interfaces (segregated vs. original interfaces) with co-change information from the version-control system. We found a potential reduction of 62% of the interface members to be considered during maintenance. This way, the effort to reason about features can be reduced.","PeriodicalId":225551,"journal":{"name":"Proceedings of the 15th International Conference on Modularity","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116262704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

A type-and-effect system for asynchronous, typed events 用于异步、类型化事件的类型和效果系统

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889446

Yuheng Long, Hridesh Rajan

{"title":"A type-and-effect system for asynchronous, typed events","authors":"Yuheng Long, Hridesh Rajan","doi":"10.1145/2889443.2889446","DOIUrl":"https://doi.org/10.1145/2889443.2889446","url":null,"abstract":"Implicit concurrency between handlers is important for event driven systems because it helps simultaneously promote modularity and scalability. Knowing the side-effect of the handlers is critical in these systems to avoid concurrency hazards such as data races. As event systems are dynamic because statically known and unknown handlers can register at almost any time during program execution, static effect analyses must reconcile over competing goals such as precision, soundness and modularity. We recently developed asynchronous, typed events, a system that can analyze the effects of the handlers at runtime. This mechanism utilizes runtime information to enable precise effect computation and greatly improves concurrency between handlers. In this paper, we present the formal underpinnings of asynchronous, typed events, and examine the concurrency safety properties it provides. The technical innovations of our system include a novel effect system to soundly approximate the dynamism introduced by runtime handlers registration, a static analysis to precompute the effects and a dynamic analysis that uses the precomputed effects to improve concurrency. Our design simplifies modular concurrency reasoning and avoids concurrency hazards.","PeriodicalId":225551,"journal":{"name":"Proceedings of the 15th International Conference on Modularity","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126656474","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

On structuring holistic fault tolerance 论整体容错结构

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889458

Rem Gensh, A. Romanovsky, A. Yakovlev

引用次数: 4

Constraints as polymorphic connectors 约束作为多态连接器

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889456

Marcel Weiher, R. Hirschfeld

引用次数: 2

Matriona: class nesting with parameterization in Squeak/Smalltalk Matriona: Squeak/Smalltalk中带有参数化的类嵌套

Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2889443.2889457

M. Springer, Fabio Niephaus, R. Hirschfeld, H. Masuhara

引用次数: 5