Filters








32 Hits in 2.8 sec

Parallel processing of filtered queries in attributed semantic graphs

Adam Lugowski, Shoaib Kamil, Aydın Buluç, Samuel Williams, Erika Duriakova, Leonid Oliker, Armando Fox, John R. Gilbert
2015 Journal of Parallel and Distributed Computing  
We evaluate our approach by comparing it with the high-performance Combinatorial BLAS engine and show that our approach combines the benefits of programming in a highlevel language with executing in a  ...  language, bypassing the upcall into Python.  ...  Green Marl supports a very different programming model than KDT.  ... 
doi:10.1016/j.jpdc.2014.08.010 fatcat:pp4tba3iv5gebc4di4i7ohfdcm

An overview of the SR language and implementation

Gregory R. Andrews, Michael Coffin, Irving Elshoff, Kelvin Nilson, Gregg Townsend, Ronald A. Olsson, Titus Purdin
1988 ACM Transactions on Programming Languages and Systems  
On the basis of our experience with the initial version, the language has evolved considerably. In this paper we describe the current version of SR and give an overview of its implementation.  ...  SR is a language for programming distributed systems ranging from operating systems to application programs.  ...  (A set of experiments using SR to program different upcall program structures is reported in [7] .)  ... 
doi:10.1145/42192.42324 fatcat:4l3melmfkfdo3pqkckgwqirkxe

JR

Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson
2004 ACM Transactions on Programming Languages and Systems  
Having multiple synchronization primitives proved useful in programming different upcall program structures [6] .  ...  JR has been designed to integrate the SR concurrency model with Java in a manner that retains the "feel" of Java. We expect that JR will be useful as a research and teaching tool.  ...  JR versus SR JR supports all of the concurrent programming features of SR with the exception of the concurrent invocation statement, quantifiers in in statements (typically used to specify indices of operation  ... 
doi:10.1145/982158.982162 fatcat:skp3gzfeezbxblxvlodwzt7uhe

The x-Kernel: an architecture for implementing network protocols

N.C. Hutchinson, L.L. Peterson
1991 IEEE Transactions on Software Engineering  
competitively with less structured operating systems.  ...  Our experience implementing and evaluating several protocols in the x-kernel shows that this architecture is both general enough to accommodate a wide range of protocols, yet efficient enough to perform  ...  Acknowledgments Sean O'Malley, Mark Abbott, Clinton Jeffery, Shivakant Mishra, Herman Rao, and Vic Thomas have contributed to the implementation of protocols in the x-kernel.  ... 
doi:10.1109/32.67579 fatcat:bt6dxo63a5ccll4lmjcsjixpvm

Cooperative VM Migration: A Symbiotic Virtualization Mechanism by Leveraging the Guest OS Knowledge

Ryousei TAKANO, Hidemoto NAKADA, Takahiro HIROFUCHI, Yoshio TANAKA, Tomohiro KUDOH
2013 IEICE transactions on information and systems  
However, VM monitor (VMM)-bypass I/O technologies, including PCI passthrough and SR-IOV, in which the overhead of I/O virtualization can be significantly reduced, make VM migration impossible.  ...  A virtual machine (VM) migration is useful for improving flexibility and maintainability in cloud computing environments.  ...  A SymCR-checkpoint script has the same structure as SymPFT, and an difference is only in the second phase. It executes a savevm command instead of a migrate command.  ... 
doi:10.1587/transinf.e96.d.2675 fatcat:az4jvwdd7zfjto4hiql3qoioum

Total Order Communications: A Practical Analysis [chapter]

Roberto Baldoni, Stefano Cimmino, Carlo Marchetti
2005 Lecture Notes in Computer Science  
In our opinion, this structured information should assist practitioners (i) in deeply understanding the ways in which implementations may differ (specifications, performance) and (ii) in quickly relating  ...  Different implementations are indeed available, each providing distinct safety guarantees and performance.  ...  Consider the computation depicted in Figure 3 : it can be decomposed in three static sub-runs, namely sr 1 , sr 2 , sr 3 .  ... 
doi:10.1007/11408901_4 fatcat:pp67iasljjay7lqclnvalpsspe

Reliable, Consistent, and Efficient Data Sync for Mobile Apps

Younghwan Go, Nitin Agrawal, Akshat Aranya, Cristian Ungureanu
2015 USENIX Conference on File and Storage Technologies  
We built Simba, a data-sync service that provides mobile app developers with a high-level local-programming abstraction unifying tabular and object data -a need common to mobile apps -and transparently  ...  Our evaluation shows Simba's effectiveness in rapid development of robust mobile apps that are consistent under all failure scenarios, unlike apps developed with Dropbox.  ...  Younghwan thanks the ICT R&D program of MSIP/IITP, Republic of Korea (14-911-05-001).  ... 
dblp:conf/fast/GoAAU15 fatcat:pq5rqaxaevgyrj7ko2xnlidinm

InKeV

Zaafar Ahmed, Muhammad Hamad Alizai, Affan A. Syed
2018 Computer communication review  
The resulting compromise is either in programmability of network functions that rely on the data plane, such as payload processing, or in performance, due to expensive user-/kernel-space context switching  ...  InKeV is a network virtualization platform based on eBPF, an in-kernel execution engine recently upstreamed into linux kernel.  ...  The x-axis depicts different experiments each with different number of routers in the topology. The error bars represent standard error.  ... 
doi:10.1145/3243157.3243161 fatcat:eulh4ikb5jds3h6sekfb32vh2a

Experience with Charlotte: simplicity and function in a distributed operating system

R.A. Finkel, M.L. Scott, Y. Artsy, H.-Y. Chang
1989 IEEE Transactions on Software Engineering  
Our experience indicates that the goals of simplicity and function are not easily achieved. Simplicity in particular has dimensions that conflict with one another.  ...  The development of high-level tools, particularly the Lynx distributed programming language, has simplified the use of kernel primitives and helps to manage concurrency at the process level. _ ________  ...  We also profited from many discussions with Prasun Dewan, Aaron J. Gordon, William K. Kalsow, Jonathan Kepecs, and Hari Madduri.  ... 
doi:10.1109/32.24721 fatcat:j3qgnatfcfgo5hyv5c3p2oh4sa

Building workload-independent storage with VT-trees

Pradeep Shetty, Richard P. Spillane, Ravikant Malpani, Binesh Andrews, Justin Seyster, Erez Zadok
2013 USENIX Conference on File and Storage Technologies  
Current storage systems focus on optimizing for one band of workloads at the expense of other workloads due to limitations in existing storage system data structures.  ...  With applications using increasingly more complex queries and larger data-sets, data access patterns have become more complex and randomized.  ...  This work was supported in part by NSF awards CCF-0937833 and CCF-0937854.  ... 
dblp:conf/fast/ShettySMASZ13 fatcat:pq2ki6uohrelfabkkuy2ucxfee

Concurrency and distribution in object-oriented programming

Jean-Pierre Briot, Rachid Guerraoui, Klaus-Peter Lohr
1998 ACM Computing Surveys  
This paper aims at discussing and classifying the various ways in which the object paradigm is used in concurrent and distributed contexts.  ...  The library approach applies object-oriented concepts, as they are, to structure concurrent and distributed systems through class libraries.  ...  In other words, the programmer still faces at least two different major issues: programming with objects and managing concurrency and distribution of the program, also with objects but not the same objects  ... 
doi:10.1145/292469.292470 fatcat:becxelcchfa25pkezpycfqagpu

Transkernel: Bridging Monolithic Kernels to Peripheral Cores [article]

Liwei Guo, Shuang Zhai, Yi Qiao, Felix Xiaozhu Lin
2019 arXiv   pre-print
We therefore present a new OS structure, in which a lightweight virtual executor called transkernel offloads specific phases from a monolithic kernel.  ...  In order to execute such a task, the OS kernel wakes up the platform beforehand and puts it back to sleep afterwards.  ...  ABI changes detected with ABI compliance checker [69] Figure 4 : 4 The ARK structure on a peripheral core with the kernel on CPU over ABIs.  ... 
arXiv:1811.05000v3 fatcat:geaxior65nebtd6onohyoyeoqq

Report on the Second European SIGOPS Workshop "making distributed systems work"

Sape Mullender
1987 ACM SIGOPS Operating Systems Review  
Five well-known distributed systems were presented to start off the workshop by giving five different viewpoints on distributed systems research.  ...  SR is a distributed programming language and is being used to implement Saguaro.  ...  A distributed implementation of a mail repository has been built to gain experience with a sizable distributed program.  ... 
doi:10.1145/24592.24600 fatcat:hf5a47rfsrdqxhywgu3gqc6swa

Performance evaluation of the Orca shared-object system

Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim Rühl, M. Frans Kaashoek
1998 ACM Transactions on Computer Systems  
This paper studies and evaluates the design choices made in the Orca system and compares Orca with other DSMs.  ...  A write-update protocol with function shipping is effective for Orca, especially since it is used in combination with techniques that avoid replicating objects that have a low read/write ratio.  ...  We thank Alan Cox and Honghui Lu for their help with TreadMarks.  ... 
doi:10.1145/273011.273014 fatcat:jckljxuvarbgleaa5y3xtnilve

The raven kernel: a microkernel for shared memory multiprocessors

Duncan S. Ritchie
1993
All thread management, device drivers, and message passing functions are implemented completely in user space.  ...  Each reason is termed an upcall event, and there are eight different upcall events defined in upcall . h.  ...  Experiments in [And89] show that this algorithm is worthwhile for systems with less than six processors.  ... 
doi:10.14288/1.0051302 fatcat:hghp3dsnzvcathpcv4qubclrhe
« Previous Showing results 1 — 15 out of 32 results