Filters








25 Hits in 2.5 sec

Synchronization with eventcounts and sequencers (Extended Abstract)

David P. Reed, Rajendra K. Kanodia
1977 Proceedings of the sixth symposium on Operating systems principles - SOSP '77  
Consequently, we provide another kind of non-decreasing integer object, called a Eventcounts and sequencers are a primitive synchronization mechanism of approximately the same level of abstraction  ...  We define an advance primitive to signal the occurrence of an event associated with a particular eventcount and two primitives, await and read, that obtain the "value" of an eventcount.  ... 
doi:10.1145/800214.806550 dblp:conf/sosp/ReedK77 fatcat:hpk322lppze7jipwm2wzsyn4p4

Synchronization primitives for a multiprocessor: a formal specification

A. Birrell, J. Guttag, J. Horning, R. Levin
1987 ACM SIGOPS Operating Systems Review  
, and conclude with a discussion of what we have learned from using the specification for more than a year.  ...  We start with an informal description, present a way to formally specify interfaces in concurrent systems, give a formal specification of the synchronization primitives, briefly discuss the implementation  ...  Acknowledgements Leslie Lamport and Jeannette Wing were both involved in the discussions leading to this specification, and helped us to understand the issues involved.  ... 
doi:10.1145/37499.37509 fatcat:sigk26l6hnbz3lz6vl2cpnqc2q

Synchronization primitives for a multiprocessor: a formal specification

A. Birrell, J. Guttag, J. Horning, R. Levin
1987 Proceedings of the eleventh ACM Symposium on Operating systems principles - SOSP '87  
Acknowledgments Leslie Lamport and Jeannette Wing were both involved in the discussions leading to this specication, and helped us to understand the issues involved.  ...  It then compares i with the current v alue of c's Eventcount.  ...  However they are required for synchronizing with interrupt routines.  ... 
doi:10.1145/41457.37509 dblp:conf/sosp/BirrellGHL87 fatcat:rgx6riotwjfq7nywdhjyeyi5nm

Time in Cyber-Physical Systems Specifications, Modeling and Measurements

Miroslav Sveda
2021 International Journal of Mathematical Models and Methods in Applied Sciences  
This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems.  ...  It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.  ...  ACKNOWLEDGMENT This project has been carried out with a financial support from the Czech Republic state budget by the IT4Innovations Centre of Excellence, EU, CZ 1.05/1.1.00/02.0070CEZ and by the MMT project  ... 
doi:10.46300/9101.2021.15.24 fatcat:64u6i2dp7vbfrcrhpuamsavv7u

Unifying synchronization and events in a multicore OS

Gerd Zellweger, Adrian Schüpbach, Timothy Roscoe
2012 Proceedings of the Asia-Pacific Workshop on Systems - APSYS '12  
While a distributed structure allows applying algorithms from the distributed field, it also suffers from similar problems like synchronization, naming, distributed locking and coordination of service  ...  Octopus, our solution to this problem in the context of a real OS, provides an easy-to-use, highlevel, uniform coordination service with events at reasonable performance.  ...  Our current functionality is based on that in Zookeeper [8] : Locks: In an approach reminiscient of eventcounts and sequencers [12] , acquiring a lock creates a sequential record using the lock name,  ... 
doi:10.1145/2349896.2349912 dblp:conf/apsys/ZellwegerSR12 fatcat:yels3gaktfdelno3vo4bwsq2jy

A taxonomy-based comparison of several distributed shared memory systems

Ming-Chit Tam, Jonathan M. Smith, David J. Farber
1990 ACM SIGOPS Operating Systems Review  
A b s t r a c t Two possible modes of Input/Output (I/O)are "sequential" and "random-access", and there is an extremely strong conceptual link between I/O and communication.  ...  We use caching and issues such as address space structure and page replacement schemes to define a taxonomy.  ...  Hence we need primitives like semaphores or eventcounts to synchronize accesses to shared variables. IVY chose to implement eventcount [Reed 79 ] as the basic synchronization primitive.  ... 
doi:10.1145/382244.382831 fatcat:iouznquh5ngx3lah7zrpao3abe

Rankers: a classification of synchronization problems

Ambuj K. Singh, Mohamed G. Gouda
1993 Science of Computer Programming  
All such instances where synchronization is required have been abstracted into a few well-known problems: producer-consumer, mutual exclusion, dining philosophers, etc.  ...  This paper presents a general mechanism and an accompanying methodology for solving such synchronization problems.  ...  Dijkstra and Jayadev Misra for reading earlier versions of this paper.  ... 
doi:10.1016/0167-6423(93)90009-e fatcat:za3r3f4clbelxk2k3lytn3sf3q

Turning Futexes Inside-Out: Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP

Alexander Zuepke, Marcus Völp
2020 Euromicro Conference on Real-Time Systems  
We evaluate the approach with an implementation for mutexes and condition variables in a real-time operating system (RTOS).  ...  In Linux and other operating systems, futexes (fast user space mutexes) are the underlying synchronization primitives to implement POSIX synchronization mechanisms, such as blocking mutexes, condition  ...  For this, we draw from eventcounts and sequencers [30] . Firstly, we will use ustate as a counter that is incremented before a thread suspends or is woken up.  ... 
doi:10.4230/lipics.ecrts.2020.11 dblp:conf/ecrts/Zuepke20 fatcat:7jy3knh4rvdwdjrh56jf6zzz6e

Distributed programming with shared data

Henri E Bal, Andrew S Tanenbaum
1991 Computer languages  
In this paper we will look at the reasons for this evolution, the resemblances and differences among these new proposals, and the key issues in their design and implementation.  ...  The explosive growth of research on distributed systems and their languages, however, has led to several new methodologies that blur this simple distinction.  ...  An implementation may support several synchronization mechanisms, such as semaphores, eventcounts, and monitors.  ... 
doi:10.1016/0096-0551(91)90003-r fatcat:w65mefpqu5hgxlisaydr3tqi3u

Runtime verification of real-time event streams under non-synchronized arrival

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
2020 Software quality journal  
, including integers and reals with arithmetic operations and aggregations.  ...  The algorithm can tolerate and exploit the asynchronous arrival of events without synchronizing the inputs.  ...  Funding information This work was funded in part by the BMBF project ARAMIS II with funding ID 01 IS 16025, the EU H2020 project COEMS under no. 732016, the EU H2020 project Elastest under no. 731535,  ... 
doi:10.1007/s11219-019-09493-y fatcat:lcpluhtbyfci3hpfrkmsfajipi

JikesRVM: Internal Mechanisms Study and Garbage Collection with MMTk [article]

Pradeeban Kathiravelu, Xiao Chen, Dipesh Dugar Mitthalal, Luís Veiga
2016 arXiv   pre-print
We also studied the Compressor Mark-Compact Collector algorithm and implemented it for MMTk.  ...  XXXLocal refers to any classes that extend the abstract class Allocator, or its sub classes.  ...  Large Object Allocation This is implemented in LargeObjectLocal, which extends the abstract class LargeObjectAllocator.  ... 
arXiv:1601.02536v1 fatcat:5wfujdmt7vckxhgskkhn3c7wx4

Naiad

Derek G. Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi
2013 Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13  
This model enriches dataflow computation with timestamps that represent logical points in the computation and provide the basis for an efficient, lightweight coordination mechanism.  ...  It offers the high throughput of batch processors, the low latency of stream processors, and the ability to perform iterative and incremental computations.  ...  We would also like to thank the anonymous SOSP reviewers for their comments, and Robert Morris for his shepherding of the paper.  ... 
doi:10.1145/2517349.2522738 dblp:conf/sosp/MurrayMIIBA13 fatcat:kirmhcn2ynaxzleflnsfnamyaa

A security architecture for transient trust

Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen
2008 Proceedings of the 2nd ACM workshop on Computer security architectures - CSAW '08  
It encompasses pre-positioned, updateable domains for use exclusively during emergencies along with a set of "normal" domains with different sensitivity levels.  ...  maintaining the data needed, and completing and reviewing the collection of information.  ...  Eventcount and sequencer objects [33] are exported for inter-process synchronization.  ... 
doi:10.1145/1456508.1456510 dblp:conf/ccs/IrvineLCN08 fatcat:yqjtytmbkjdgdnh5yysg7dd3ta

Notes on Theory of Distributed Systems [article]

James Aspnes
2021 arXiv   pre-print
To break ties, the process extends the clock value to clock, id, eventCount where eventCount is a count of send and receive events (and possibly local computation steps).  ...  Problem definition We use the usual synchronous model with n processes with binary inputs and binary outputs.  ...  This gives O(D 2 ) time and O(k(E + V D)) messages if we use layering and O(D) time and O(kDE) messages using local synchronization.  ... 
arXiv:2001.04235v2 fatcat:viv5nl6qyvdnhjb73vm64gxj5u

Network virtual memory

Joon Suan Ong
2003
If a destination page is not resident in memory, the network interface redirects the data to an intermediate system buffer, which the operating system uses to complete the transfer with a single host-to-host  ...  User-mode access, zero-copy transfer, and sender-managed communication have emerged as essential for improving communication performance in workstation and PC clusters.  ...  The tradeoff between them is usually the level of abstraction that they provide and the efficiency with which they are implemented. Notification A basic aspect of synchronization is notification.  ... 
doi:10.14288/1.0051656 fatcat:l67o7ppmlbfqpcrngz5raczhqi
« Previous Showing results 1 — 15 out of 25 results