检索结果-内蒙古大学图书馆

1st Workshop on Modularity in Systems Software, MISS 2011, Co-located with the 10th International conference on Aspect-Oriented Software Development, AOSD.11

作者： Streicher, Jochen Borchert, Christoph Spinczyk, Olaf Technische Universität Dortmund Computer Science 12 - Embedded System Software Germany

ISBN: (纸本)9781450306478

Network protocol stacks are an important ingredient of today's infrastructure software. For instance, all state-of-the-art operating systems for PCs and the server market come with a TCP/IP stack. The design of protocol stacks and their layered structure has been studied for decades. However, in practice, implementations often do not follow the clean textbook design consequently. This especially holds for the domain of embedded TCP/IP stacks where minimal resource consumption is crucial. In this work we present an analysis that explains the reason for this dilemma. We have also developed a very simple solution that is based on common aspect-oriented programming language features: Upcall Dispatcher Aspects. In a case study this concept has been repeatedly applied as an AspectC++ idiom in the implementation of the CiAO TCP/IP stack, which we compared to several traditional implementations. Besides reflecting a clean design at the implementation level, our protocol stack, which mainly targets the domain of resource-constrained embedded systems, even outperforms the other solutions with respect to resource consumption and various "-ilities". Copyright 2011 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

A cost-driven compilation framework for speculative parallelization of sequential programs

A cost-driven compilation framework for speculative parallel...

引用

conference on programming language design and implementation

作者： Du, ZH Lim, CC Li, XF Yang, C Zhao, QY Ngai, TF Intel China Ltd Res Ctr Beijing Peoples R China Intel Corp Programming Syst Lab Santa Clara CA USA

The emerging hardware support for thread-level speculation opens new opportunities to parallelize sequential programs beyond the traditional limits. By speculating that many data dependences are unlikely during runtime, consecutive iterations of a sequential loop can be executed speculatively in parallel. Runtime parallelism is obtained when the speculation is correct. To take full advantage of this new execution model, a program needs to be programmed or compiled in such a way that it exhibits high degree of speculative thread-level parallelism. We propose a comprehensive cost-driven compilation framework to perform speculative parallelization. Based on a misspeculation cost model, the compiler aggressively transforms loops into optimal speculative parallel loops and selects only those loops whose speculative parallel execution is likely to improve program performance. The framework also supports and uses enabling techniques such as loop unrolling, software value prediction and dependence profiling to expose more speculative parallelism. The proposed framework was implemented on the ORC compiler. Our evaluation showed that the cost-driven speculative parallelization was effective. Our compiler was able to generate good speculative parallel loops in ten Spec2000Int benchmarks, which currently achieve an average 8% speedup. We anticipate an average 15.6% speedup when all enabling techniques are in place.

关键词： languages design algorithms performance speculative multithreading speculative parallel threading thread-level speculation speculative parallelization cost-driven compilation loop transformation

来源：评论

学校读者我要写书评

暂无评论

conference Proceedings on Object-Oriented programming Systems, languages and Applications, OOPSLA 1988

Conference Proceedings on Object-Oriented Programming System...

引用

1988 conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1988

ISBN: (纸本)0897912845

The proceedings contain 30 papers. The topics discussed include: a user interface toolkit based on graphical objects and constraints;a SmallTalk window system based on constraints;tenuring policies for generation-based storage reclamation;fast dispatch mechanisms for stock hardware;ET++ - an object-oriented application framework in C++;Orwell a configuration management system for team programming;configuring stand-alone smalltalk-80 applications;an overview of modular SmallTalk;transportable applications environment (TAE) plus experiences in '0bject'ively modernizing a user interface environment;building a backtracking facility in SmallTalk without kernel support;an integrated color smalltalk-80 system;GraphTrace - understanding object-oriented systems using concurrently animated views;a SmallTalk implementation of an intelligent operator's associate;a performance comparison of object and relational databases using the sun benchmark;Fabrik a visual programming environment;intensional concepts in an object database model;AVANCE: an object management system;and process management and exception handling in multiprocessor operating systems using object-oriented design techniques.

关键词：

来源：评论

学校读者我要写书评

暂无评论

It''s Alive! Continuous Feedback in UI programming 13

It''s Alive! Continuous Feedback in UI Programming

引用

acm sigplan conference on programming language design and implementation

作者： Sebastian Burckhardt Peli de Halleux Michal Moskal Manuel Fahndrich Sean McDirmid Nikolai Tillmann Jun Kato Microsoft Research The University of Tokyo

ISBN: (纸本)9781450320146

Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes. This tightening of the traditional edit-compile-run cycle reduces the cognitive gap between program code and execution, improving the learning experience of beginning programmers while boosting the productivity of seasoned ones. Unfortunately, live programming is difficult to realize in practice as imperative languages lack well-defined abstraction boundaries that make live programming responsive or its feedback comprehensible. This paper enables live programming for user interface programming by cleanly separating the rendering and non-rendering aspects of a UI program, allowing the display to be refreshed on a code change without restarting the program. A type and effect system formalizes this separation and provides an evaluation model that incorporates the code update step. By putting live programming on a more formal footing, we hope to enable critical and technical discussion of live programming systems.

关键词： Live programming Graphical User Interface languages Human Factors

来源：评论

学校读者我要写书评

暂无评论

Debugging constraint programs 1st

Debugging constraint programs

引用

1st International conference on Principles and Practice of Constraint programming, CP 1995

作者： Meier, Micha European Computer Industry Research Centre Arabellastr. 17 Munich81925 Germany

ISBN: (纸本)3540602992

Constraint programming (CP) is in its substance non-algorithmic programming, not last because it is often being applied to problems for which no efficient algorithms exist. A not immediately obvious consequence of this fact is that debugging CP programs is principally different from debugging algorithmic programs, including imperative, functional or Prolog programs. It is also more difficult. Moreover, it is frequently necessary to apply performance debugging to CP programs, which are correct but too slow to be feasible. The whole area of CP debugging is still lacking both methodology and tools to support users in improving their programs. In this paper, we present a paradigm for tracing constraint programs and the design and implementation of Grace, a graphical environment for tracing CLP(FD) programs on top of ECLiPSe. © Springer-Verlag Berlin Heidelberg 1995.

关键词： PROLOG (programming language)

来源：评论

学校读者我要写书评

暂无评论

CONCURRIT: A Domain Specific language for Reproducing Concurrency Bugs 13

CONCURRIT: A Domain Specific Language for Reproducing Concur...

引用

acm sigplan conference on programming language design and implementation

作者： Tayfun Elmas Jacob Burnim George Necula Koushik Sen Google Inc. Sift Science Inc. Department of Electrical Engineering and Computer Sciences University of California

ISBN: (纸本)9781450320146

We present CONCURRIT, a domain-specific language (DSL) for reproducing concurrency bugs. Given some partial information about the nature of a bug in an application, a programmer can write a CONCURRIT script to formally and concisely specify a set of thread schedules to explore in order to find a schedule exhibiting the bug. Further, the programmer can specify how these thread schedules should be searched to find a schedule that reproduces the bug. We implemented CONCURRIT as an embedded DSL in C++, which uses manual or automatic source instrumentation to partially control the scheduling of the software under test. Using CONCURRIT, we were able to write concise tests to reproduce concurrency bugs in a variety of benchmarks, including the Mozilla's SpiderMon-key JavaScript engine, Memcached, Apache's HTTP server, and MySQL.

关键词： Concurrency Errors Domain-Specific languages Software Testing

来源：评论

学校读者我要写书评

暂无评论

Can programming be liberated from the two-level style?: Multi-level programming with DeepJava

引用

acm sigplan NOTICES 2007年第10期42卷 229-243页

作者： Kuehne, Thomas Schreiber, Daniel Tech Univ Darmstadt Darmstadt Germany

Since the introduction of object-oriented programming few programming languages have attempted to provide programmers with more than objects and classes, i.e., more than two levels. Those that did, almost exclusively aimed at describing language properties - i. e., their metaclasses exert linguistic control on language concepts and mechanisms often in order to make the language extensible. In terms of supporting logical domain classification levels, however, they are still limited to two levels. In this paper we conservatively extend the object-oriented programming paradigm to feature an unbounded number of domain classification levels. We can therefore avoid the introduction of accidental complexity into programs caused by accommodating multiple domain levels within only two programming levels. We present a corresponding language design featuring "deep instantiation" and demonstrate its features with a running example. Finally, we outline the implementation of our compiler prototype and discuss the potentials of further developing our language design.

关键词： languages design domain metatypes ontological metamodeling deep characterization

来源：评论

学校读者我要写书评

暂无评论

Finding application errors and security flaws using PQL: A program query language

Finding application errors and security flaws using PQL: A p...

引用

OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications

作者： Martin, Michael Livshits, Benjamin Lam, Monica S. Computer Science Department Stanford University

A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules, An important class of design rules deals with sequences of events associated with a set of related objects. This paper presents a language called PQL (Program Query language) that allows programmers to express such questions easily in an application-specific context. A query looks like a code excerpt corresponding to the shortest amount of code that would violate a design rule. Details of the target application's precise implementation are abstracted away. The programmer may also specify actions to perform when a match is found, such as recording relevant information or even correcting an erroneous execution on the fly. We have developed both static and dynamic techniques to find solutions to PQL queries, Our static analyzer finds all potential matches conservatively using a context-sensitive, flow-insensitive, inclusion-based pointer alias analysis, Static results are also useful in reducing the number of instrumentation points for dynamic analysis. Our dynamic analyzer instruments the source program to catch all violations precisely as the program runs and to optionally perform user-specified actions. We have implemented the techniques described in this paper and found 206 errors in 6 large real-world open-source Java applications containing a total of nearly 60,000 classes. These errors are important security flaws, resource leaks, and violations of consistency invariants. The combination of static and dynamic analysis proves effective at addressing a wide range of debugging and program comprehension queries. We have found that dynamic analysis is especially suitable for preventing errors such as security vulnerabilities at runtime. Copyright 2005 acm.

关键词： Error detection

来源：评论

学校读者我要写书评

暂无评论

OO techniques applied to a real-time, embedded, spaceborne application

OO techniques applied to a real-time, embedded, spaceborne a...

引用

21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006

作者： Murray, Alexander T. Shahabuddin, Mohammad Jet Propulsion Laboratory California Institute of Technology 4800 Oak Grove Drive Pasadena CA 91109

ISBN: (纸本)159593491X

Though Object-Oriented Analysis, design, and languages have become the dominant practices in many, or most, domains of software engineering, concerns about complexity, size, and performance in the embedded, real-time software domain have led to a prevalent view that OO technology is not suitable for the domain. We challenge this view through a successful application of OOA, OOD, and C++ (including STL) in the embedded, real-time flight software in an Earth-orbiting science instrument named Aquarius (see [1]). We've found that OOA and OOD with UML actually enhance communication with systems and hardware engineers. We also found that C++, thoughtfully used, need not lead to code bloat, and that its performance is every bit as good as that of C. We egin with an overview of the requirements and describe our overall use of UML modeling, followed by a discussion of the use of UML for Object-Oriented Analysis with use cases. Then the application of UML for high-level and detailed design, the use of frameworks supporting a component architecture and multi-platform execution, and code generation from UML detailed design are described. We also present the use of UML for organizing and designing and documenting our verification and test environment and scenarios, and using HTML, generated by our UML tool, for all documentation and for requirement traceability. Finally, we discuss the use of C++ as the implementation language, and give an overview of status and work metrics.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

design and implementation of transactional constructs for C/C++ 08

Design and implementation of transactional constructs for C/...

引用

23rd acm conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 2008

作者： Ni, Yang Welc, Adam Adl-Tabatabai, Ali-Reza Bach, Moshe Berkowits, Sion Cownie, James Geva, Robert Kozhukow, Sergey Narayanaswamy, Ravi Olivier, Jeffrey Preis, Serguei Saha, Bratin Tal, Ady Tian, Xinmin Intel Corporation Santa Clara CA USA Intel Corporation Haifa Israel Intel Corporation Glasgow United Kingdom Intel Corporation Novosibirsk Russian Fed. Intel Corporation Champaign IL USA Intel Coporation Novosibirsk Russian Fed.

ISBN: (纸本)9781605582153

This paper presents a software transactional memory system that introduces first-class C++ language constructs for transactional programming. We describe new C++ language extensions, a production-quality optimizing C++ compiler that translates and optimizes these extensions, and a high-performance STM runtime library. The transactional language constructs support C++ language features including classes, inheritance, virtual functions, exception handling, and templates. The compiler automatically instruments the program for transactional execution and optimizes TM overheads. The runtime library implements multiple execution modes and implements a novel STM algorithm that supports both optimistic and pessimistic concurrency control. The runtime switches a transaction's execution mode dynamically to improve performance and to handle calls to precompiled functions and I/O libraries. We present experimental results on 8 cores (two quad-core CPUs) running a set of 20 non-trivial parallel programs. Our measurements show that our system scales well as the numbers of cores increases and that our compiler and runtime optimizations improve scalability. Copyright © 2008 acm.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：