Filters








17,397 Hits in 2.1 sec

Kill-safe synchronization abstractions

Matthew Flatt, Robert Bruce Findler
2004 SIGPLAN notices  
There's a big difference between mostly dead and all dead. " -Miracle Max in The Princess Bride  ...  Kill-Safe Synchronization Abstractions "Well, it just so happens that your friend here is only mostly dead.  ...  JSR-121 solve the problem in the same way as conventional operating systems: they restrict sharing among terminable tasks to objects that are managed by the run-time kernel.  ... 
doi:10.1145/996893.996849 fatcat:apk7cynxc5ey3jnqygwn7aa3qy

Information flow control for standard OS abstractions

Maxwell Krohn, Alexander Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris
2007 ACM SIGOPS Operating Systems Review  
We present Flume, a new DIFC model and system that applies at the granularity of operating system processes and standard OS abstractions (e.g., pipes and file descriptors).  ...  A process confined by Flume cannot perform most system calls directly; instead, an interposition layer replaces system calls with IPC to the reference monitor, which enforces data flow policies and performs  ...  We thank Mark Seaborn for his work on Plash, which served as a template for making glibc system call interposition work on Linux.  ... 
doi:10.1145/1323293.1294293 fatcat:2qzs5zii7fff7hu3yholv66toy

Information flow control for standard OS abstractions

Maxwell Krohn, Alexander Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris
2007 Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07  
We present Flume, a new DIFC model and system that applies at the granularity of operating system processes and standard OS abstractions (e.g., pipes and file descriptors).  ...  A process confined by Flume cannot perform most system calls directly; instead, an interposition layer replaces system calls with IPC to the reference monitor, which enforces data flow policies and performs  ...  We thank Mark Seaborn for his work on Plash, which served as a template for making glibc system call interposition work on Linux.  ... 
doi:10.1145/1294261.1294293 dblp:conf/sosp/KrohnYBCKKM07 fatcat:hcmzydtmhfbhzil4vk2pdmb3ie

Using tool abstraction to compose systems

D. Garlan, G.E. Kaiser, D. Notkin
1992 Computer  
Witness the success of Unix pipes.  ...  Systems that support tool abstraction are structured as a pool of abstract data structures shared by a collection of cooperating "toolies," where each toolie provides a piece of the overall system function  ...  debugging tools, cooperative transaction models, reusability, application of artificial intelligence technology to software engineering, object-oriented languages and databases, and parallel and distributed systems  ... 
doi:10.1109/2.153255 fatcat:bd4sge56kjbgvpf4v7rdwqm5pa

Abstractions for software architecture and tools to support them

M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young, G. Zelesnik
1995 IEEE Transactions on Software Engineering  
Architectures for software use rich abstractions and idioms to describe system components, the nature of interactions among the components, and the patterns that guide the composition of components into  ...  Our purpose is to support the abstractions used in practice by software designers. The implementation provides a testbed for experiments with a variety of system construction mechanisms.  ...  , where they are using UniCon as a front end to describe, analyze, and prototype real-time systems.  ... 
doi:10.1109/32.385970 fatcat:p3kgclqtuzbxxafu3jkd7jdz5m

Creating abstract superclasses by refactoring

William F. Opdyke, Ralph E. Johnson
1993 Proceedings of the 1993 ACM conference on Computer science - CSC '93  
We decompose the operation of finding an abstract superclass into a set of refactoring steps, and provide ezamples. We discuss techniques that can automate or automatically support these steps.  ...  We also consider some of the conditions that must be satisfied to perform a refactoring safely; sometimes to satisfy these conditions other refactorings must first be applied.  ...  The conference reviewers also provided helpful comments. AT&T Bell Laboratories has supported William F. Opdyke's research at the University of Illinois under the full-time doctoral support program.  ... 
doi:10.1145/170791.170804 dblp:conf/acm/OpdykeJ93 fatcat:b37hmpqqebdgfmuxcatt7cdlla

POSIX abstractions in modern operating systems

Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh
2016 Proceedings of the Eleventh European Conference on Computer Systems - EuroSys '16  
The POSIX standard, developed 25 years ago, comprises a set of operating system (OS) abstractions that aid application portability across UNIX-based OSes.  ...  While OSes and applications have evolved tremendously over the last 25 years, POSIX, and the basic set of abstractions it provides, has remained largely unchanged.  ...  Introduction The Portable Operating System Interface (POSIX) is the IEEE standard operating system (OS) service interface for UNIX-based systems.  ... 
doi:10.1145/2901318.2901350 dblp:conf/eurosys/AtlidakisAGMN16 fatcat:g7frfggadrg4riu7x6j3bkqmei

Page 46 of Library & Information Science Abstracts Vol. , Issue 4 [page]

1992 Library & Information Science Abstracts  
The preservation of the hardware and software that is necessary to access optical data bases produced physically in our time might become the main problem. (Original abstract—amended) 167 — Programs.  ...  Describes the resulting Rock Ridge Interchange Protocol (RRIP) and the parallel System Use Sharing Protocol (SUSP). (N.L.M.) 16Owg — Images. Colour 92/2369 Color fundamentals — part one. Glenn S.  ... 

Abstract storage

Joe B. Buck, Noah Watkins, Carlos Maltzahn, Scott A. Brandt
2009 Proceedings of the second international workshop on Data-aware distributed computing - DADC '09  
One approach to avoiding unnecessary I/O is to move the processing to the data, as seen in Google's successful, but relatively specialized, MapReduce system.  ...  In order to manage competing workloads on storage nodes, our research in system performance management is leveraged.  ...  In the general case, organization-level policies may dictate the importance of distributed applications, such as the time-share received, or QoS guarantees.  ... 
doi:10.1145/1552280.1552284 fatcat:6wadqjtlazewxgh2vawr75axlu

Page 56 of Library & Information Science Abstracts Vol. , Issue 6 [page]

1993 Library & Information Science Abstracts  
the USA. fT) (contd.) 9303928 School time.  ...  Particular attention is paid to the way in which the system was adapted to cope with multiplatform use involving PC, Macintosh, UNIX or VAX computers.  ... 

Distrbution and Abstract Types in Emerald

A. Black, N. Hutchinson, E. Jul, H. Levy, L. Carter
1987 IEEE Transactions on Software Engineering  
Index Tenns-Abstract data types, distributed operating system, distributed programming, object-oriented programming, process migration, type checking.  ...  This paper outlines the goals of Emerald, relates Emerald to previous work, and describes its type system and distribution support.  ...  Each node is implemented as a UNIX process and all objects residing on a particular node share that single address space.  ... 
doi:10.1109/tse.1987.232836 fatcat:ixqayddgszfvpolsms5n6hh2l4

Strategic approach to computer literacy

Suresh K. Bhavnani
2000 CHI '00 extended abstracts on Human factors in computer systems - CHI '00  
Because the strategic approach took the same time to teach as the traditional approach but did not harm learning of commands, it offers a promising alternative to command-based instruction.  ...  For example, the operate on groups of objects strategy in UNIX, was taught by first showing two ways to move many files sharing the same extension: (1) move one file at a time and (2) move multiple files  ...  INTRODUCTION Several real-world and longitudinal studies in the use of complex computer systems such as UNIX, word processors, and spreadsheets, have shown that despite many years of experience, many users  ... 
doi:10.1145/633349.633382 fatcat:7tv64vztj5hq3m3y2paiokbxg4

Page 78 of Library & Information Science Abstracts Vol. , Issue 5 [page]

1995 Library & Information Science Abstracts  
Unix was the first portable operating system and the first collaboratively developed and supported operating system.  ...  A techniques based system which integrates these features would be worth more than the sum of its parts, the same techniques knowledge can be shared by the different subsystems.  ... 

Distributed Model Checking: From Abstract Algorithms to Concrete Implementations

Christophe Joubert
2003 Electronical Notes in Theoretical Computer Science  
We show that, due to such communication models, high level abstract Dmc algorithms might face implicit pitfalls when implemented concretely.  ...  In this paper, we consider one fundamental aspect of Dmc design: message passing communication, the implementation of which presents hidden tradeoffs often dismissed in Dmc related literature.  ...  Acknowledgement We are grateful to Hubert Garavel and Radu Mateescu (Inria Vasy) for their insightful comments about the content of the paper.  ... 
doi:10.1016/s1571-0661(05)80100-8 fatcat:bzs56ogzpzh5lmwoldojnigf6a

The integration of virtual memory management and interprocess communication in accent (abstract only)

Robert Fitzgerald, Richard F. Rashid
1985 Proceedings of the tenth ACM symposium on Operating systems principles - SOSP '85  
At the same time, experience with previous operating systems, notably Rochester's RIG system [6], led us to seek an alternative to data copying for large messages.  ...  All communication-oriented operating systems share the problem of getting data from one process to another.  ...  In systems that allow by.reference sharing of memory, proce.~ses may either share access to specific memory areas or entire address spaces.  ... 
doi:10.1145/323647.323630 dblp:conf/sosp/FitzgeraldR85 fatcat:rjtdcjh7mjdujhm7myl6nhew2y
« Previous Showing results 1 — 15 out of 17,397 results