Filters








13 Hits in 4.7 sec

Reimplementing the Cedar file system using logging and group commit

R. Hagmann
1987 Proceedings of the eleventh ACM Symposium on Operating systems principles - SOSP '87  
The system uses a log, as do most database systems, to recover metadata about the file system. To gain performance, it uses group commit, a concept derived from high performance database systems.  ...  The workstation file system for the Cedar programming environment was modified to improve its robustness and performance.  ...  Carl Hauser provided valuable assistance in the design of the log file format. Roger Needham, Carl Hauser, Jules Bloomenthal, and Douglas Terry provided valuable comments on this paper.  ... 
doi:10.1145/41457.37518 dblp:conf/sosp/Hagmann87 fatcat:nlarnre53fhezf5mdazrgomoyq

Reimplementing the Cedar file system using logging and group commit

R. Hagmann
1987 ACM SIGOPS Operating Systems Review  
The system uses a log, as do most database systems, to recover metadata about the file system. To gain performance, it uses group commit, a concept derived from high performance database systems.  ...  The workstation file system for the Cedar programming environment was modified to improve its robustness and performance.  ...  Carl Hauser provided valuable assistance in the design of the log file format. Roger Needham, Carl Hauser, Jules Bloomenthal, and Douglas Terry provided valuable comments on this paper.  ... 
doi:10.1145/37499.37518 fatcat:4onbe7o7gfhlxm5vpl3f6ym3py

The Alpine file system

M. R. Brown, K. N. Kolling, E. A. Taft
1985 ACM Transactions on Computer Systems  
Unlike other file servers described in the literature, Alpine uses a log-based technique to implement atomic file update.  ...  This paper reports on using the Cedar language and programming environment to develop Alpine. XEROX  ...  Andrew Birrell and Bruce Nelson produced the Cedar Remote Procedure Call facility, which allowed us to concentrate on providing file service while they were providing data communication.  ... 
doi:10.1145/6110.6111 fatcat:pdrdd6b44zhzjidwytk3cguuge

The cedar DBMS

Mark R. Brown, Roderic G. G. Cattell, Norihisa Suzuki
1981 Proceedings of the 1981 ACM SIGMOD international conference on Management of data - SIGMOD '81  
The Cedar DBMS is a database management system developed as part of the Cedar programming environment The system has several unusual aspects, including its interface for applications programming in a strongly-typed  ...  This paper describes the design goals, architecture, and implementation of the Cedar DBMS.  ...  Acknowledgements: Peter Deutsch and Jerry Popek were members of the initial Cedar DBMS design group.  ... 
doi:10.1145/582318.582350 dblp:conf/sigmod/BrownCS81 fatcat:tmaqzyqfjvh6bpxiasl66c56ia

The cedar DBMS

Mark R. Brown, Roderic G. G. Cattell, Norihisa Suzuki
1981 Proceedings of the 1981 ACM SIGMOD international conference on Management of data - SIGMOD '81  
The Cedar DBMS is a database management system developed as part of the Cedar programming environment The system has several unusual aspects, including its interface for applications programming in a strongly-typed  ...  This paper describes the design goals, architecture, and implementation of the Cedar DBMS.  ...  Acknowledgements: Peter Deutsch and Jerry Popek were members of the initial Cedar DBMS design group.  ... 
doi:10.1145/582349.582350 fatcat:hjvroc64u5eshc2nhr2a274cmm

A structural view of the Cedar programming environment

Daniel C. Swinehart, Polle T. Zellweger, Richard J. Beach, Robert B. Hagmann
1986 ACM Transactions on Programming Languages and Systems  
Using these discussions to set the context, the paper addresses the language and system features and the methodologies used to facilitate the integration of Cedar applications.  ...  The paper emphasizes the extent to which the Cedar language, with run-time support, has influenced the organization, flexibility, usefulness, and stability of the Cedar environment.  ...  The Cedar release methodologies utilize DF files and file-naming conventions to enforce the structure of Cedar among many programmers and across many system releases. 8.5.1 How PF Files are Used.  ... 
doi:10.1145/6465.6466 fatcat:yh6jseypfnbxlhg4h4okxccyye

Supporting distributed applications

Andrew P. Black
1985 ACM SIGOPS Operating Systems Review  
For example, in addition to our current "write everything" form of checkpointing, one could also provide a "logging" checkpoint that atomically adds records to the end of a log file.  ...  This of course would give us more freedom for reimplementing the underlying Eden kernel.  ... 
doi:10.1145/323627.323646 fatcat:qqbbpwg52ney3hxoiu76er6quq

Supporting distributed applications

Andrew P. Black
1985 Proceedings of the tenth ACM symposium on Operating systems principles - SOSP '85  
For example, in addition to our current "write everything" form of checkpointing, one could also provide a "logging" checkpoint that atomically adds records to the end of a log file.  ...  This of course would give us more freedom for reimplementing the underlying Eden kernel.  ... 
doi:10.1145/323647.323646 dblp:conf/sosp/Black85 fatcat:7wujgttk55gnrdesod7t7rm3di

Building secure and reliable network applications [chapter]

Kenneth P. Birman
1997 Lecture Notes in Computer Science  
Hagmann's use of "group commit" to reimplement the Cedar file system [Hag87] and IBM's QuickSilver file system [SW91] are examples of a research efforts that are viewed as very successful in offering  ...  The ability to use commit and abort is extremely valuable in implementing transactional systems and applications.  ...  However, for reliability purposes, it may be that the file servers and database servers are replicated within process groups, and the collection of client programs may vary dynamically.  ... 
doi:10.1007/3-540-63343-x_35 fatcat:rqkxmxr6djhfhplu2qmugnq274

Evaluation of the Rational Environment

Peter H. Feiler, Susan A. Dart, Grace Downey
2018
The evaluation combined the use of the Software Engineering Institute methodology for evaluation of ADA environments, an analysis of functionality not covered by that methodology, and an assessment of  ...  This report presents an analysis of the Rational R1000 Development System for ADA, also called the Rational Environment.  ...  Log generation can be tailored by specifying the types of system messages to be logged, their format, and files to be used for different logs.  ... 
doi:10.1184/r1/6573608 fatcat:253oyiy7pvejvclfvs54kwizlm

Editors-in-Chief Editorial Board Contents: Architecture of Automated Database Tuning Using SGA Parameters

Adela Bara, Ioan Andone, Joshua Cooper, Marian Dardala, Dusmanescu, Dan Garlasu, Stefan Nithchi, Corina Paraschiv, Davian Popescu, Milan, Italy Prof, Gheorghe Sabau (+3 others)
2017 Database Systems Journal   unpublished
The DBMS system log file will be the primary source of information checks the current status of the system.  ...  The architecture presented in this paper involves extracting useful information from the system log and also from the DBMS using system related queries.  ...  by other implementation aspects, but they are still placed in the same file as the rest of the code.  ... 
fatcat:5x2q53co2bf4rl7tli3yfjhz3m

Final report on information processing research

Rachel T. Levine, Research Documents Group.
2018
Intuitively, the formula A. /(/) will be true in a global state of some concurrent system, provided that the formula /(i) holds for each component process /. y/(i) is explained similarly.  ...  The logic that we propose is based on computation trees and is called Indexed Temporal Logic.  ...  We had previously done a simplified implementation of the algorithm in the TABS system, and we proceeded with its reimplementation and enhancement for use in Camelot.  ... 
doi:10.1184/r1/6605645 fatcat:k7ibo26tdfhd3objmizmdrwdfu

Salvation and Solvency

Robert Christian Kahlert
2015 unpublished
Mormonism used a new revelation, the Book of Mormon, and a new apostolically inspired church organization, including the oce of prophet held by Smith Jr, to connect American antiquities to covenant-theological  ...  and Missouri and Illinois, up to the lynching of Joseph Smith Jr in the summer of 1844.  ...  Solomon obtains cedars for the temple through Hiram, the king of Tyre (1 Kg 5), because cedars were a luxury building material and under tight royal control.  ... 
doi:10.25365/thesis.39007 fatcat:ccuytzoyfbcyjogat2oy3ftivi