The contribution of this paper is the first Hardware Transactional Memory (HTM) where the object structure is recognized and harnessed. Our approach is similar to hardware support of paged virtual memory using a virtu...
详细信息
ISBN:
(纸本)9781595939739
The contribution of this paper is the first Hardware Transactional Memory (HTM) where the object structure is recognized and harnessed. Our approach is similar to hardware support of paged virtual memory using a virtually addressed cache and a TLB, and is based on a cache hierarchy that allows the addressing of objects by unique object identifiers. The object-aware HTM allows cache overflows of uncommitted data. It also enables a novel commit and conflict detection mechanism. In this preliminary evaluation, the Lee-TM application exhibits overflows that in most previous HTMs would have had to be handled by software, impacting on performance. The simulation provides an insight into the scalability characteristics of the proposed HTM. which uses object and field granularity, lazy versioning and lazy conflict detection. For example, with 32 cores the broadcast of write sets is at under 5% of the bus bandwidth, showing the potential of object-aware HTM systems.
We propose an approach for modular verification of programs written in an object-oriented language where, like in C++, the same virtual method call is bound to different methods at different points during the construc...
详细信息
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program modularity by applying standard GOF de...
详细信息
ISBN:
(纸本)9781450302401
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program modularity by applying standard GOF design patterns while using the reusable pattern implementations from our framework, they receive implicit concurrency for free.
This paper presents a new method integrated in Bell Canada software acquisition process to assess software [10]. This paper is focused on the assessment of the understandability of the inheritance graph of object orie...
详细信息
This paper presents a new method integrated in Bell Canada software acquisition process to assess software [10]. This paper is focused on the assessment of the understandability of the inheritance graph of objectoriented software. The method is based on metrics and graphical illustration of the inheritance graph. A technique to decompose the inheritance graph of an objectoriented software into sub-graphs using metrics is described. Metrics are also used to identify complex sub-graphs. On the selected graphs, a technique to improve the understandability of the graphical illustration representing the inheritance graph is also described. This technique is based on extracting the main tree on the inheritance graph. A C++ case study containing 1080 classes is presented on which this assessment method was applied.
An object-oriented Software Evolution Process Meta-Model (OO-EPMM), formal OCL constraint of meta-model and a software evolution process model are presented in this paper. OO-EPMM can not only represent software devel...
详细信息
Parametric trace expressions are a formalism expressly designed for parametric runtime verification (RV) which has been introduced and successfully employed in the context of runtime monitoring of multiagent systems. ...
详细信息
The paper describes the extension of a hypermedia class library with music as a new component type, but will focus on the development of a software wrapper object as an application programmers interface to the Csound ...
详细信息
An object-oriented software system has been developed for the numerical modelling of physical processes. This software system is able to perform calculations using multiple coupled domains with in each domain a differ...
详细信息
An object-oriented software system has been developed for the numerical modelling of physical processes. This software system is able to perform calculations using multiple coupled domains with in each domain a different equation to be solved using the most appropriate method. All examples in this paper are in the field of electrochemical engineering and are restricted to the solution of the Laplace equation with the boundary element and the finite element method.
Both object-oriented and constraint technologies are powerful paradigms. Combining these two different but complementary paradigms can give a more powerful paradigm thanks to the merging of their properties. This pape...
详细信息
Both object-oriented and constraint technologies are powerful paradigms. Combining these two different but complementary paradigms can give a more powerful paradigm thanks to the merging of their properties. This paper presents the structure of a constraint oriented model: the OOC model. This model allows, on the one hand, the representation and the definition of constraints and, on the other hand, the management and resolution of these constraints. More precisely, this model essentially deals with generic constraints which are positioned on a set of components and refer to a given composite object.
We present an object-oriented animation system for terrain models using triangular subdivision stochastic surfaces. This system reuses computations made for previous frames by maintaining a forest of objects. The surf...
详细信息
ISBN:
(纸本)0791809439
We present an object-oriented animation system for terrain models using triangular subdivision stochastic surfaces. This system reuses computations made for previous frames by maintaining a forest of objects. The surface decomposes itself as required by the viewing parameters. Texture generated for previous images which has passed out of the field of view is recursively pruned, just as new texture is recursively generated. Thus the memory requirements of the technique remain approximately constant over time.
暂无评论