Filters








661,389 Hits in 7.8 sec

A high-level abstraction of shared accesses

Peter J. Keleher
2000 ACM Transactions on Computer Systems  
We describe the design and use of the tape mechanism, a new high-level abstraction of accesses to shared data for software DSMs.  ...  Tapes consolidate and generalize a number of recent protocol optimizations, including update-based locks and record-replay barriers. Tapes are usually created by "recording" shared accesses.  ...  In general, Tapes have at least two major advantages over optimizations of specific protocols. First, tapes provide a high-level abstraction of shared accesses, and are protocol-independent.  ... 
doi:10.1145/332799.332800 fatcat:sbnuib5qprardbogepxpbyfo3u

Automatic Code-Transformation and Architecture Refinement for Application-Specific Multiprocessor SoCs with Shared Memory [chapter]

Samy Meftali, Ferid Gharsalli, Frédéric Rousseau, Ahmed. A. Jerraya
2002 IFIP Advances in Information and Communication Technology  
This work focuses on the code-transformations related to the integration of a shared memory.  ...  Memory represents a major bottleneck in embedded systems. For multimedia applications bulky of data in these embedded systems require shared memory.  ...  In fact, we imperatively need to replace the simple shared data accesses at a high abstraction level by explicit requests to the shared memory block.  ... 
doi:10.1007/978-0-387-35597-9_17 fatcat:cmsektfffrgjhpndl5xqxwbf2y

Jade: a high-level, machine-independent language for parallel programming

M.C. Rinard, D.J. Scales, M.S. Lam
1993 Computer  
We thank Dave Ditzel for use of the Mica network of Suns and David Chenevert for helping us use the Mica environment. Ray Browning wrote the Search program.  ...  Acknowledgments Jennifer Anderson participated in the initial design and implementation of Jade.  ...  Linda [3] provides a higher-level abstraction in the form of a shared tuple space.  ... 
doi:10.1109/2.214440 fatcat:panavfnlgrf2dc45psgxu7qq3e

An Ounce of Prevention is Worth a Pound of Cure: Ahead-of-time Preparation for Safe High-level Container Interfaces

Ricardo Koller, Dan Williams
2019 USENIX Workshop on Hot Topics in Storage and File Systems  
However, the filesystem interface is high-level and wide, presenting a large attack surface to the host.  ...  This is partially due to their use of host filesystem abstractions, which play a role in startup times, memory utilization, crash consistency, file sharing, host introspection, and image management.  ...  Figure 1 : 1 Figure 1: (a) The high-level filesystem interface exposes a significantly larger attack surface than the low-level block interface, evidenced by the number of kernel functions accessed when  ... 
dblp:conf/hotstorage/KollerW19 fatcat:m6culykd25aatha73rc3dnwg34

Static Detection of Atomicity Violations in Object-Oriented Programs

Christoph von Praun, Thomas R. Gross
2004 Journal of Object Technology  
A violation occurs if the effect of a method execution depends on the execution of concurrent threads that operate on the same or overlapping parts of a shared data structure.  ...  We have developed a static analysis that infers atomicity constraints and identifies potential violations. The analysis is based on an abstract model of threads and data.  ...  of high-level data races [9] .  ... 
doi:10.5381/jot.2004.3.6.a5 fatcat:4rilbjmg3fd3deret5oc7qsani

Shared resources high-level modeling in embedded systems using virtual nodes

Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Renaud Pacalet
2009 2009 Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference  
in the early design stages, by means of modeling the design at a high level of abstraction.  ...  This paper presents the virtual node concept for modeling the shared resources of a system-on-chip, therefore specifically dedicated to the study of the impact of shared resources contention on the overall  ...  Our approach applies the hierarchical control to all shared resources, and more importantly at a high level of abstraction.  ... 
doi:10.1109/newcas.2009.5290506 fatcat:7afn4pjfkra3temhp7dru2idfi

Parallel Phase Model: A Programming Model for High-end Parallel Machines with Manycores

Ron Brightwell, Mike Heroux, Zhaofang Wen, Junfeng Wu
2009 2009 International Conference on Parallel Processing  
PPM has a unified high-level programming abstraction that facilitates the design and implementation of parallel algorithms to exploit both the parallelism of the many cores and the parallelism at the cluster  ...  It includes a few high-level parallel programming language constructs that can be added as an extension to an existing (sequential or parallel) programming language such as C; and the implementation of  ...  Parallel Phase Model In this section, we formally present a high-level and unified programming abstraction for cluster-level parallelism (distributed memory) and core-level parallelism (shared memory).  ... 
doi:10.1109/icpp.2009.69 dblp:conf/icpp/BrightwellHWW09 fatcat:cosq32nilrbv5bkom7usbczkbi

High-Level System Modeling for Rapid HW/SW Architecture Exploration

Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Patricia Le Moënner, Renaud Pacalet
2009 2009 IEEE/IFIP International Symposium on Rapid System Prototyping  
It defines a high design abstraction level for modeling and analyzing hardware resource sharing between system elements.  ...  Due to the high level of abstraction, the developed simulator enables fast exploration of design solutions.  ...  Acknowledgments The authors of this paper would like to thank Christopher Yasko for his help on developing the case study, Mukesh Taneja for his work on the traffic models, and Francois Menneteau and Daniel  ... 
doi:10.1109/rsp.2009.27 dblp:conf/rsp/JaberKABMP09 fatcat:satlm7mnqfe4nnbtgpmprndssu

Shared resource access attributes for high-level contention models

Alex Bobrek, JoAnn M. Paul, Donald E. Thomas
2007 Proceedings - Design Automation Conference  
This contention model can then be used in simulation to estimate the impact of shared resource accesses at a high level of abstraction, enabling the designers to explore contention-related performance  ...  The detailed contention information is sampled from a short cycle-accurate simulation, "training" a high-level statistical regression model of contention.  ...  This contention model estimates the impact of shared resource accesses at a high level of abstraction, enabling the designers to explore contention-related performance impacts of design decisions.  ... 
doi:10.1145/1278480.1278661 dblp:conf/dac/BobrekPT07 fatcat:ldkrdf2orrhibjetxqj2ujtunq

Reusability of Functionality-Based Application Confinement Policy Abstractions [chapter]

Z. Cliffe Schreuders, Christian Payne
2008 Lecture Notes in Computer Science  
We present a case study of a Linux-based implementation of FBAC known as FBAC-LSM and demonstrate the flexibility and scalability of the FBAC model by analysing policies for the confinement of four different  ...  This paper describes how the principles of role-based access control (RBAC) can be applied to the problem of restricting an application's behaviour.  ...  FBAC uses abstractions similar to RBAC roles and role hierarchies which are used to define complex, finely-grained application confinement policies in terms of high level abstractions.  ... 
doi:10.1007/978-3-540-88625-9_14 fatcat:pum2gejqcvel5emubsr5hpzk7u

Toward a Model for Shared Data Abstraction with Performance

D.M. Goodeve, S.A. Dobson, J.M. Nash, J.R. Davy, P.M. Dew, M. Kara, C.P. Wadsworth
1998 Journal of Parallel and Distributed Computing  
Access to data shared by concurrent processes is expressed through operations of shared abstract data types (SADTs). SADTs abstract low-level concerns of communication and synchronization.  ...  This paper demonstrates the utility of typed shared data abstractions as an effective high-level means of structuring and coordinating parallel programs.  ...  The approach delivers both a high level of abstraction to the application developer and simultaneously allows high and scalable performance to be obtained by exploiting the available optimization routes  ... 
doi:10.1006/jpdc.1998.1427 fatcat:tdsce6iy2zglbnibewt43f6dn4

Thinking Beyond Race Conditions

Aoun Raza
2010 Softwaretechnik-Trends  
Synchronization strategies to alleviate lowlevel data races do not guarantee freedom from data races on a higher-level of abstraction.  ...  Absence of synchronization among threads may lead to error situations, such as data races. Data races, which involve concurrent accesses to a single shared variable, are categorized as low-level.  ...  Introduction In general, low-level data races can be avoided with the use of mutual exclusion. However, this does not ensure the absence of data races on a higher-level of abstraction.  ... 
dblp:journals/stt/Raza10 fatcat:m5nyqczzzzautmhsyncagkyhoe

SystemC Transaction-Level Modeling of an MPSoC Platform Based on an Open Source ISS by Using Interprocess Communication

Sami Boukhechem, El-Bay Bourennane
2008 International Journal of Reconfigurable Computing  
This model allows a system designer to model a complete application, composed of hardware and software parts, at several levels of abstraction.  ...  The aim of this work is to provide designers with the possibility of faster and efficient architecture exploration at a higher level of abstractions, starting from an algorithmic description to implementation  ...  Conclusion The availability of a fast high level simulation makes architecture exploration possible at different abstraction levels.  ... 
doi:10.1155/2008/902653 fatcat:owlmq6ri5jeupgtzeglgptdbyi

A Comparison of Conventional Distributed Computing Environments and Computational Grids [chapter]

Zsolt Németh, Vaidy Sunderam
2002 Lecture Notes in Computer Science  
Due to such semantical differences, grids are not simply advanced versions of conventional systems; rather, they are oriented towards supporting a new paradigm of distributed computation.  ...  From this analysis it is concluded that minimally, grids must support user and resource abstraction, and these features make grids semantically different from other distributed environments.  ...  Acknowledgments The work presented in this paper was supported by US Dept. of Energy grant DE-FG02-99ER25379 and by the Hungarian Scientific Research Fund (OTKA) No. T032226.  ... 
doi:10.1007/3-540-46080-2_77 fatcat:pirgswphmfggxfug5xsd5vkifa

Deterministic Memory Abstraction and Supporting Multicore System Architecture [article]

Farzad Farshchi, Prathap Kumar Valsan, Renato Mancuso, Heechul Yun
2018 arXiv   pre-print
We propose to utilize both abstractions to achieve high time predictability but without significantly sacrificing performance.  ...  In this paper, we make a case that a fundamental problem that prevents efficient and predictable real-time computing on multicore is the lack of a proper memory abstraction to express memory criticality  ...  Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the NSF.  ... 
arXiv:1707.05260v4 fatcat:lt76fnjqhfgfbdppvaaqqh6poq
« Previous Showing results 1 — 15 out of 661,389 results