Filters








1,321 Hits in 5.4 sec

Fine-grained multiprocessor real-time locking with improved blocking

Bryan C. Ward, James H. Anderson
2013 Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13  
Existing multiprocessor real-time locking protocols that support nesting are subject to adverse blocking that can be avoided when additional resource-usage-pattern information is known.  ...  The resulting protocols are the first to support fine-grained real-time lock nesting while allowing multiple resources to be locked in one atomic operation, both spin-and suspension-based waiting to be  ...  In recent work, we developed the first such protocol for multiprocessor real-time systems: the real-time nested locking protocol (RNLP) [12] .  ... 
doi:10.1145/2516821.2516843 dblp:conf/rtns/WardA13 fatcat:sbxh25drrrdbngnhthlna66hoa

Supporting Nested Locking in Multiprocessor Real-Time Systems

Bryan C. Ward, James H. Anderson
2012 2012 24th Euromicro Conference on Real-Time Systems  
This paper presents the first real-time multiprocessor locking protocol that supports fine-grained nested resource requests.  ...  Locking protocols built upon this technique perform no worse than coarse-grained locking mechanisms, while allowing for increased parallelism in the average case (and, depending upon the task set, better  ...  We thank Glenn Elliott for his helpful discussions pertaining to k-exclusion locking protocols.  ... 
doi:10.1109/ecrts.2012.17 dblp:conf/ecrts/WardA12 fatcat:qmuvhxekmzce5ehdhzjrbj2tgu

A Blocking Bound for Nested FIFO Spin Locks

Alessandro Biondi, Bjorn B. Brandenburg, Alexander Wieder
2016 2016 IEEE Real-Time Systems Symposium (RTSS)  
Bounding worst-case blocking delays due to lock contention is a fundamental problem in the analysis of multiprocessor real-time systems.  ...  This paper overcomes this fundamental limitation and presents the first fine-grained blocking bound for nested non-preemptive FIFO spin locks under partitioned fixed-priority scheduling.  ...  Yet despite the ubiquity of nested critical sections, and despite the fact that there is a rich literature on the analysis of locks in multiprocessor real-time systems (reviewed in §VII), which by now  ... 
doi:10.1109/rtss.2016.036 dblp:conf/rtss/BiondiBW16 fatcat:z5yeiu5rxzfxnbrdynpjl2qjja

Supporting Nested Resources in MrsP [chapter]

Jorge Garrido, Shuai Zhao, Alan Burns, Andy Wellings
2017 Lecture Notes in Computer Science  
While this approach proved to be as simple and elegant as the single processor protocol, the implications with regard to nested resources was identified as requiring further clarification.  ...  The original MrsP proposal presented a new multiprocessor resource sharing protocol based on the properties and behaviour of the Priority Ceiling Protocol, supported by a novel helping mechanism.  ...  Among the work on shared-memory synchronization protocols for multiprocessors real-time systems published up to date, few publications address the analysis of nested resources as required by the complex  ... 
doi:10.1007/978-3-319-60588-3_5 fatcat:wx47knuow5gh5hzbybddyc25lq

Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking

James Robb, Björn B. Brandenburg, Marcus Völp
2020 Euromicro Conference on Real-Time Systems  
Prior work has produced multiprocessor real-time locking protocols that ensure asymptotically optimal bounds on priority inversion, that support fine-grained nesting of critical sections, or that are independence-preserving  ...  preservation for fine-grained nested locking, and ensure asymptotically optimal priority-inversion bounds.  ...  The only known protocol to surmount this challenge is Ward and Anderson's Real-Time Nested Locking Protocol (RNLP) [32, 33] , and actually does so with asymptotically optimal bounds on priority inversion  ... 
doi:10.4230/lipics.ecrts.2020.6 dblp:conf/ecrts/RobbB20 fatcat:wpf5zreq35ho3fecupqul6gbym

NEST: a network simulation & prototyping testbed

A. Dupy, J. Schwartz, Y. Yemini, D. Bacon
1989 Proceedings of the 21st conference on Winter simulation - WSC '89  
Users interact with Nest through standardized graphical interfaces. Nest permits the users to modify and reconfigure the simulation during execution.  ...  Users view Nest as an extension of their standard Unix TM environment. Nest offers the generality of language-based simulation techniques and the efficiencies of model-based techniques.  ...  Nest permits the simulation clock to be controlled by internal and external events occurring in real-time.  ... 
doi:10.1145/76738.76873 dblp:conf/wsc/DupySYB89 fatcat:lym2hviehbhdzefwyxaibjb2sa

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder [chapter]

Saurabh Gadia, Cyrille Artho, Gedare Bloom
2016 Lecture Notes in Computer Science  
This paper presents a Java model of the priority inheritance protocol for mutual exclusion, as implemented in the RTEMS open-source real-time operating system.  ...  JPF detected a known bug in the RTEMS implementation, which we modified along with the Java model.  ...  Acknowledgments This material is based upon work supported by the Google Summer of Code program, the National Science Foundation under Grant No.  ... 
doi:10.1007/978-3-319-47846-3_26 fatcat:fljcjds6ufdo3g6earhdvpfmvm

CuNesl: Compiling Nested Data-Parallel Languages for SIMT Architectures

Yongpeng Zhang, Frank Mueller
2012 2012 41st International Conference on Parallel Processing  
Our compiler outperforms handwritten parallel code running on CPUs in terms of both execution time and programmability.  ...  We propose cuNesl, a compiler framework to translate and optimize NESL into parallel CUDA programs for SIMT architectures.  ...  Therefore, the execution time in this case is not displayed in the Figure 8 .  ... 
doi:10.1109/icpp.2012.21 dblp:conf/icpp/ZhangM12 fatcat:wy54kojepjfxflthzdjeimcbty

Implementation of a portable nested data-parallel language

Guy E. Blelloch, Jonathan C. Hardwick, Siddhartha Chatterjee, Jay Sipelstein, Marco Zagha
1993 SIGPLAN notices  
For native code we used Fortran 77 on the Cray C90, CM Fortran [591 on the Connection Machines CM-2 and CM-5, and C on the DEC Alpha workstation. In all cases we used full optimization.  ...  For each machine we give direct comparisons to well-written native code compiled with full optimization.  ... 
doi:10.1145/173284.155343 fatcat:ek35ui3yfnfxdcrbis2zptseje

Implementation of a portable nested data-parallel language

Guy E. Blelloch, Jonathan C. Hardwick, Siddhartha Chatterjee, Jay Sipelstein, Marco Zagha
1993 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '93  
For native code we used Fortran 77 on the Cray C90, CM Fortran [591 on the Connection Machines CM-2 and CM-5, and C on the DEC Alpha workstation. In all cases we used full optimization.  ...  For each machine we give direct comparisons to well-written native code compiled with full optimization.  ... 
doi:10.1145/155332.155343 dblp:conf/ppopp/BlellochCHSZ93 fatcat:uixs25wepzcv7geh3x2zqn2bk4

Implementation of a Portable Nested Data-Parallel Language

G.E. Blelloch, J.C. Hardwick, J. Sipelstein, M. Zagha, S. Chatterjee
1994 Journal of Parallel and Distributed Computing  
For native code we used Fortran 77 on the Cray C90, CM Fortran [591 on the Connection Machines CM-2 and CM-5, and C on the DEC Alpha workstation. In all cases we used full optimization.  ...  For each machine we give direct comparisons to well-written native code compiled with full optimization.  ... 
doi:10.1006/jpdc.1994.1038 fatcat:drpjykfcbrbnnbzgonrbquldua

Storage Structures for Nested Relations

Aladdin Hafez
1988 IEEE Data Engineering Bulletin  
~R2D2 stands for Relational Robotics Database with Extensible Data Types and is a joint research project with the robotics and database research groups at the University of Karlsruhe and the AIM group  ...  Special emphasis should be given to provide adequate data exchange mechanisms between server and workstation in order to keep the communication overhead low, especially in cases where large complex objects  ...  The basic research work performed by H.-J. Schek (manager of the AIM department prior to V.  ... 
dblp:journals/debu/Hafez88 fatcat:zd2d4jmnezgohe232tms45fjzu

Locality-Aware Mapping of Nested Parallel Patterns on GPUs

Hyoukjoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun
2014 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture  
However, the problem of efficiently mapping patterns to GPU hardware becomes significantly more difficult when the patterns are nested, which is common in nontrivial applications.  ...  The analysis maps nested patterns onto a logical multidimensional domain and parameterizes the block size and degree of parallelism in each dimension.  ...  ACKNOWLEDGEMENTS We thank the anonymous reviewers, Nithin George (EPFL), and Wonchan Lee (Stanford) for their comments and valuable suggestions.  ... 
doi:10.1109/micro.2014.23 dblp:conf/micro/LeeBSRO14 fatcat:scdxpm46ebhbdl2puj7jtal2pm

Multiprocessor Real-Time Locking Protocols: A Systematic Review [article]

Björn B. Brandenburg
2019 arXiv   pre-print
We systematically survey the literature on analytically sound multiprocessor real-time locking protocols from 1988 until 2018, covering the following topics: progress mechanisms that prevent the lock-holder  ...  on maximum priority-inversion blocking, and matching asymptotically optimal locking protocols.  ...  [158, 160] added a fastpath to the RNLP [201] to optimize for the common case of non-nested lock acquisitions, and Afshar et al.  ... 
arXiv:1909.09600v1 fatcat:tmqcpiuxfbbd5jrcecgvoeanpm

Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems

Björn B. Brandenburg, James H. Anderson
2009 2009 21st Euromicro Conference on Real-Time Systems  
Reader preference, writer preference, and task-fair readerwriter locks are shown to cause undue blocking in multiprocessor real-time systems.  ...  Both task-and phase-fair locks are evaluated and contrasted to mutex locks in terms of hard and soft real-time schedulability under consideration of runtime overheads on a multicore computer.  ...  The FMLP strikes a balance between supporting nesting and optimizing for the common case (no nesting) by organizing resources into resource groups, which are sets of resources that may be requested together  ... 
doi:10.1109/ecrts.2009.14 dblp:conf/ecrts/BrandenburgA09 fatcat:3hxc73dm6fb4pkvnvmi4x24fki
« Previous Showing results 1 — 15 out of 1,321 results