Filters








100 Hits in 6.0 sec

UIO: a uniform I/O system interface for distributed systems

David R. Cheriton
1987 ACM Transactions on Computer Systems  
I am indebted to the members of the Stanford Distributed Systems Group for the implementation of the UIO interface in the V distributed system and the further refinement of the interface that resulted,  ...  Finally, I am grateful to Michael Stumm and the referees for helpful comments that greatly improved the content and the presentation.  ...  We also propose the UIO interface as a good design for the system I/O interface in other RPC-based distributed systems.  ... 
doi:10.1145/7351.7353 fatcat:is3fu24zgrccrile2av6zw2qhy

The V distributed system

David Cheriton
1988 Communications of the ACM  
The various run-time libraries implement conventional language or application-to-operating system interfaces such as Pascal I/O and C stdio [Zl].  ...  This uniform protocol approach is a central theme in the international standards effort for so-called open systems interconnection but is less recognized in the distributed operating  ...  for this research.  ... 
doi:10.1145/42392.42400 fatcat:4vn5b6c2kvakxejkpelsntcx3y

Universal Continuous Media I/O: Design and Implementation

Charles Cranor
1994
There are too many I/O calls and they are often non-uniform.  ...  While CPUs and networks have been getting faster at a remarkable rate and can meet the needs of new applications, the I/O system is lagging behind and is starting to become a major bottleneck for these  ...  One often cited work in the area of uniform I/O interfaces is the UIO interface of the V operating system [3] . The UIO work creates a framework into which all I/O is supposed to fit.  ... 
doi:10.7936/k7zc813h fatcat:4vhxxashnzcvne6iwzg74u7clu

Anode interface modification of lithium metal batteries: Benefiting from functional additives and conformal coatings

Yajie Li, Kai Guo, Jingtai Zhao, Chilin Li
2021 Chinese Science Bulletin (Chinese Version)  
其比表面积高达1000 m 2 g −1 ; HKUST-1则为离散的八 面体结构颗粒, 比表面积为700 m 2 g −1 ; MIL-101-NH 2 的 整 体 形 态 更 接 近 于 U i O -6 6 , 比 表 面 积 高 达 2100 m 2 g −1 , 这与其晶粒(尺寸约300 nm)内部存在丰富 的孔隙有关.  ...  (f) XPS spectra of F 1s for the cycled Li anodes at plating stage after five plating/stripping cycles at 0.5 mA cm −2 in both the UiO-66-contained and additive-free systems.  ... 
doi:10.1360/tb-2020-1163 fatcat:tjgoxm2ucncajiimqabv46rlhy

Test development for communication protocols: towards automation

R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir
1999 Computer Networks  
The term open systems means that if a system conforms to a standard, it is open to all other systems conforming to the same standard for communication.  ...  The complete automation of the testing process requires the use of formal methods for providing a model of the required system behavior.  ...  Acknowledgements This paper has been partially based on a tutorial which was prepared in collaboration with G. v.  ... 
doi:10.1016/s1389-1286(99)00063-8 fatcat:dwxzuawefbaavfmlcyej4saqs4

The roles and mechanism of cocatalysts in photocatalytic water splitting to produce hydrogen

Nan Xiao, Songsong Li, Xuli Li, Lei Ge, Yangqin Gao, Ning Li
2020 Chinese Journal of Catalysis  
The future research and forecast for photocatalytic hydrogen generation are also suggested.  ...  The key to efficient conversion of solar-chemical energy is the design of an efficient structure for high charge separation and transportation.  ...  TiO2/g-C3N4 T i O 2 300 W Xe lamp (λ≥420 nm) 100 100 mL 10 vol% TEOA 513 μmol·h -1 ·g -1 0.31% 2018 [160] B-TiO2/g-C3N4 B -T i O 2 300 W Xe lamp (λ≥420 nm) 50 100 mL 10 vol% TEOA 808.97  ... 
doi:10.1016/s1872-2067(19)63469-8 fatcat:xter3dxut5dt5kbwaketlvwixu

Research on Formal Verification Technique for Aircraft Safety-Critical Software

Yongfeng Yin, Bin Liu, Duo Su
2010 Journal of Computers  
Furthermore, combined with the verification of an aircraft inertial/satellite navigation systems, a timed unique input/output sequence (t_UIO) is presented and the automatic generation algorithm of subtransfer  ...  Formal methods have become important means for modeling and verifying safety critical software.  ...  ACKNOWLEDGMENT We owe our thanks to the anonymous reviewers and Department of System Engineering of Engineering Technology of Beihang University.  ... 
doi:10.4304/jcp.5.8.1152-1159 fatcat:cx3djxemirhnrhfxohwycjhwd4

Using formal specifications to support testing

Robert M. Hierons, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick (+3 others)
2009 ACM Computing Surveys  
In Section 4 we discuss methods for testing on the basis of a model-based specification.  ...  The following initialization schema StackInit, gives the initial configuration of the system. Priming ( ) of a variable denotes the after state of that component.  ...  We would like to thank the members of the FORTEST network for the many useful discussions and presentations that have informed the ideas presented in this paper.  ... 
doi:10.1145/1459352.1459354 fatcat:423uyowpgjaxljjli2u47rcpay

Application-controlled physical memory using external page-cache management

Kieran Harty, David R. Cheriton
1992 SIGPLAN notices  
While this trend suggests that memory management for most programs will be less of a concern, memory-bound applications such as scienti c simulations and database management systems will require more sophisticated  ...  We describe the design, implementation and evaluation of a virtual memory system that provides application control of physical memory using external page-cache management.  ...  I/O.  ... 
doi:10.1145/143371.143511 fatcat:2z7fsjp735cd3iyz7mhs4rluea

Application-Controlled Physical Memory using External Page-Cache Management

Kieran Harty, David R. Cheriton
1992 ACM SIGOPS Operating Systems Review  
While this trend suggests that memory management for most programs will be less of a concern, memory-bound applications such as scienti c simulations and database management systems will require more sophisticated  ...  We describe the design, implementation and evaluation of a virtual memory system that provides application control of physical memory using external page-cache management.  ...  I/O.  ... 
doi:10.1145/142111.964620 fatcat:efmqkpg3kndwzpmvkxdzgclm4q

High-Performance Network Traffic Processing Systems Using Commodity Hardware [chapter]

José Luis García-Dorado, Felipe Mata, Javier Ramos, Pedro M. Santiago del Río, Victor Moreno, Javier Aracil
2013 Lecture Notes in Computer Science  
PS I/O engine is available for the community 13 .  ...  The key point in such packet I/O scheme is the need to raise an interrupt every time a packet is received or transferred, thus overloading the host system when the network load is high [15] .  ... 
doi:10.1007/978-3-642-36784-7_1 fatcat:fyucnmsz4ff5llgo6es632ihqa

An FPGA Based Tracking Implementation for Parkinson's Patients

Giuseppe Conti, Marcos Quintana, Pedro Malagón, David Jiménez
2020 Sensors  
This paper presents a study on the optimization of the tracking system designed for patients with Parkinson's disease tested at a day hospital center.  ...  This module is the most demanding part in terms of computation resources, and therefore, this paper proposes a method for its implementation by means of a low-cost development board based on Zynq XC7Z020  ...  The OS Kernel is also compiled to enable userspace I/O (UIO) driver, a method that allows it to communicate with system peripherals using the interface /dev/uioX found in the OS folder.  ... 
doi:10.3390/s20113189 pmid:32512749 pmcid:PMC7309050 fatcat:7shbbbt62bbtzk5nito5fhufku

User Space Network Drivers [article]

Paul Emmerich, Maximilian Pudelko, Simon Bauer, Stefan Huber, Thomas Zwickl, Georg Carle
2019 arXiv   pre-print
We present ixy, a user space network driver designed for simplicity and educational purposes to show that fast packet IO is not black magic but careful engineering. ixy focuses on the bare essentials of  ...  This paper is partially written in tutorial style on the case study of our implementations of drivers for both the Intel 82599 family and for virtual VirtIO NICs.  ...  Acknowledgments This work was supported by the German-French Academy for the Industry of the Future.  ... 
arXiv:1901.10664v2 fatcat:s6a5yamrejf7hcddvi5nb4lmtq

Performance of cache coherence in stackable filing

J. Heidemann, G. Popek
1995 Proceedings of the fifteenth ACM symposium on Operating systems principles - SOSP '95  
This paper presents a general cache coherence architecture for stackable filing, including a standard approach to data identification as a key component to layered coherence protocols.  ...  Individual layers of such a system often need to cache data to improve performance or provide desired functionality. When access to different layers is allowed, cache incoherencies can occur.  ...  We also thank members of the Ficus project for reviews of early drafts of this paper.  ... 
doi:10.1145/224056.224067 dblp:conf/sosp/HeidemannP95 fatcat:5fzm5fwznfeehijqd6ospxnfbi

Performance of cache coherence in stackable filing

J. Heidemann, G. Popek
1995 ACM SIGOPS Operating Systems Review  
This paper presents a general cache coherence architecture for stackable filing, including a standard approach to data identification as a key component to layered coherence protocols.  ...  Individual layers of such a system often need to cache data to improve performance or provide desired functionality. When access to different layers is allowed, cache incoherencies can occur.  ...  We also thank members of the Ficus project for reviews of early drafts of this paper.  ... 
doi:10.1145/224057.224067 fatcat:2ajbinuxpjhm7al2efuw6dzycu
« Previous Showing results 1 — 15 out of 100 results