Accedi

Bibliografie tematiche / Operating systems (Computers) / Tesi

Tesi sul tema "Operating systems (Computers)"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Operating systems (Computers).

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 29 luglio 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Operating systems (Computers)".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

Neugebauer, Rolf. "Decentralising resource management in operating systems". Thesis, University of Glasgow, 2003. http://theses.gla.ac.uk/4118/.

Testo completo

Abstract (sommario):

This dissertation explores operating system mechanisms to allow resource-aware applications to be involved in the process of managing resources under the premise that these applications (1) potentially have some (implicit) notion of their future resource demands and (2) can adapt their resource demands. The general idea is to provide feedback to resource-aware applications so that they can proactively participate in the management of resources. This approach has the benefit that resource management policies can be removed from central entities and the operating system has only to provide mechanism. Furthermore, in contrast to centralised approaches, application specific features can be more easily exploited. To achieve this aim, I propose to deploy a microeconomic theory, namely congestion or shadow pricing, which has recently received attention for managing congestion in communication networks. Applications are charged based on the potential "damage" they cause to other consumers by using resources. Consumers interpret these congestion charges as feedback signals which they use to adjust their resource consumption. It can be shown theoretically that such a system with consumers merely acting in their own self-interest will converge to a social optimum. This dissertation focuses on the operating system mechanisms required to decentralise resource management this way. In particular it identifies four mechanisms: pricing & charging, credit accounting, resource usage accounting, and multiplexing. While the latter two are mechanisms generally required for the accurate management of resources, pricing & charging and credit accounting present novel mechanisms. It is argued that congestion prices are the correct economic model in this context and provide appropriate feedback to applications. The credit accounting mechanism is necessary to ensure the overall stability of the system by assigning value to credits.

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Baumann, Andrew Computer Science &amp Engineering Faculty of Engineering UNSW. "Dynamic update for operating systems". Awarded by:University of New South Wales. Computer Science and Engineering, 2007. http://handle.unsw.edu.au/1959.4/28356.

Testo completo

Abstract (sommario):

Patches to modern operating systems, including bug fixes and security updates, and the reboots and downtime they require, cause tremendous problems for system users and administrators. The aim of this research is to develop a model for dynamic update of operating systems, allowing a system to be patched without the need for a reboot or other service interruption. In this work, a model for dynamic update based on operating system modularity is developed and evaluated using a prototype implementation for the K42 operating system. The prototype is able to update kernel code and data structures, even when the interfaces between kernel modules change. When applying an update, at no point is the system's entire execution blocked, and there is no additional overhead after an update has been applied. The base runtime overhead is also very low. An analysis of the K42 revision history shows that approximately 79% of past performance and bug-fix changes to K42 could be converted to dynamic updates, and the proportion would be even higher if the changes were being developed for dynamic update. The model also extends to other systems such as Linux and BSD, that although structured modularly, are not strictly object-oriented like K42. The experience with this approach shows that dynamic update for operating systems is feasible given a sufficiently-modular system structure, allows maintenance patches and updates to be applied without disruption, and need not constrain system performance.

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Rogers, David T. "A framework for dynamic subversion". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FRogers.pdf.

Testo completo

Abstract (sommario):

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003.
Thesis advisor(s): Cynthia E. Irvine, Roger R. Schell. Includes bibliographical references (p. 105-107). Also available online.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Watson, Robert Nicholas Maxwell. "New approaches to operating system security extensibility". Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609485.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Roth, Christopher. "A distributed password scheme for network operating systems". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02Jun%5FRoth.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Grossman, Michael D. "A computer simulation of processor scheduling in UNIX 4.2BSD /". Online version of thesis, 1987. http://hdl.handle.net/1850/10295.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Dodge, Catherine A. "Recommendations for secure initialization routines in operating systems /". Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/04Dec%5FDodge.pdf.

Testo completo

Abstract (sommario):

Thesis (M.S. in Computer Science)--Naval Postgraduate School, December 2004.
Thesis Advisor(s): Cynthia E. Irvine, Thuy D. Nguyen. Includes bibliographical references (p. 107-109) Also available online.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Forbes, Harold C. "Operating system principles and constructs for dynamic multi-processor real-time control systems". Diss., Georgia Institute of Technology, 1996. http://hdl.handle.net/1853/8165.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Goktepe, Meftun. "Windows XP Operating System security analysis". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FGoktepe.pdf.

Testo completo

Abstract (sommario):

Thesis (M.S. in Information Technology Management)--Naval Postgraduate School, September 2002.
Thesis advisor(s): Richard Harkins, Cynthia Irvine. Includes bibliographical references (p. 105-107). Also available online.

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Swift, Michael M. "Improving the reliability of commodity operating systems /". Thesis, Connect to this title online; UW restricted, 2005. http://hdl.handle.net/1773/7019.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Goel, Ashvin. "Operating system support for low-latency streaming /". Full text open access at:, 2003. http://content.ohsu.edu/u?/etd,194.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Murray, Jessica L. "An exfiltration subversion demonstration". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FMurray.pdf.

Testo completo

Abstract (sommario):

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003.
Thesis advisor(s): Cynthia E. Irvine, Roger R. Schell. Includes bibliographical references (p. 83-92). Also available online.

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Purdin, Titus Douglas Mahlon. "ENHANCING FILE AVAILABILITY IN DISTRIBUTED SYSTEMS (THE SAGUARO FILE SYSTEM)". Diss., The University of Arizona, 1987. http://hdl.handle.net/10150/184161.

Testo completo

Abstract (sommario):

This dissertation describes the design and implementation of the file system component of the Saguaro operating system for computers connected by a local-area network. Systems constructed on such an architecture have the potential advantage of increased file availability due to their inherent redundancy. In Saguaro, this advantage is made available through two mechanisms that support semi-automatic file replication and access: reproduction sets and metafiles. A reproduction set is a collection of files that the system attempts to keep identical on a "best effort" basis, relying on the user to handle unusual situations that may arise. A metafile is a special file that contains symbolic path names of other files; when a metafile is opened, the system selects an available constituent file and opens it instead. These mechanisms are especially appropriate for situations that do not require guaranteed consistency or a large number of copies. Other interesting aspects of the Saguaro file system design are also described. The logical file system forms a single tree, yet any file can be placed in any of the physical file systems. This organization allows the creation of a logical association among files that is quite different from their physical association. In addition, the broken path algorithm is described. This algorithm makes it possible to bypass elements in a path name that are on inaccessible physical file systems. Thus, any accessible file can be made available, regardless of the availability of directories in its path. Details are provided on the implementation of the Saguaro file system. The servers of which the system is composed are described individually and a comprehensive operational example is supplied to illustrate their interation. The underlying data structures of the file system are presented. The virtual roots, which contain information used by the broken path algorithm, are the most novel of these. Finally, an implementation of reproduction sets and metafiles for interconnected networks running Berkeley UNIX is described. This implementation demonstrates the broad applicability of these mechanisms. It also provides insight into the way in which mechanisms to facilitate user controlled replication of files can be inexpensively added to existing file systems. Performance measurements for this implementation are also presented.

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Tennant, Robert Satchwell. "An alternative peripheral executive for the data general AOS/VS operating system". Thesis, Rhodes University, 1990. http://hdl.handle.net/10962/d1002031.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Okyay, Mehmet Onur Aytaç Sıtkı. "A portable real-time operating system for embedded platforms/". [s.l.]: [s.n.], 2004. http://library.iyte.edu.tr/tezler/master/bilgisayaryazilimi/T000477.doc.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Kumano, Shintaro. "Boundary clusters in adaptive neighborhood networks". Thesis, Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/9150.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Messer, Alan. "A market model for controlled resource allocation in distributed operating systems". Thesis, City, University of London, 1999. http://openaccess.city.ac.uk/20134/.

Testo completo

Abstract (sommario):

This thesis explores the potential for providing processes with control over their resource allocation in a general-purpose distributed system. Rather than present processes with blind explicit control or leave the decision to the operating system, a compromise, called process-centric resource allocation is proposed whereby processes have informed control of their resource allocation, while the operating system ensures fair consumption. The motivations for this approach to resource allocation and its background are reviewed culminating in the description of a set of desired attributes for such a system. A three layered architecture called ERA is then proposed and presented in detail. The lowest layer, provides a unified framework for processes to choose resources, describe their priority and describes the range of available resources. A resource information mechanism, used to support choices of distributed resources then utilises this framework. Finally, experimental demonstrations of process-centric resource allocation are used to illustrate the third layer. This design and its algorithms together provide a resource allocation system wherein distributed resources are shared fairly amongst competing processes which can choose their resources. The system allows processes to mimic traditional resource allocations and perform novel and beneficial resource optimisations. Experimental results are presented indicating that this can be achieved with low overhead and in a scalable fashion.

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Wei, Jinpeng. "Improving operating systems security two case studies /". Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/31849.

Testo completo

Abstract (sommario):

Thesis (Ph.D)--Computing, Georgia Institute of Technology, 2010.
Committee Chair: Pu, Calton; Committee Member: Ahamad, Mustaque; Committee Member: Blough, Douglas; Committee Member: Giffin, Jonathon; Committee Member: Li, Kang. Part of the SMARTech Electronic Thesis and Dissertation Collection.

Gli stili APA, Harvard, Vancouver, ISO e altri

19

McDonald, Ian Lindsay. "Memory management in a distributed system of single address space operating systems supporting quality of service". Thesis, University of Glasgow, 2001. http://theses.gla.ac.uk/5427/.

Testo completo

Abstract (sommario):

The choices provided by an operating system to the application developer for managing memory came in two forms: no choice at all, with the operating system making all decisions about managing memory; or the choice to implement virtual memory management specific to the individual application. The second of these choices is, for all intents and purposes, the same as the first: no choice at all. For many application developers, the cost of implementing a customised virtual memory management system is just too high. The results is that, regardless of the level of flexibility available, the developer ends up using the system-provided default. Further exacerbating the problem is the tendency for operating system developers to be extremely unimaginative when providing that same default. Advancements in virtual memory techniques such as prefetching, remote paging, compressed caching, and user-level page replacement coupled with the provision of user-level virtual memory management should have heralded a new era of choice and an application-centric approach to memory management. Unfortunately, this has failed to materialise. This dissertation describes the design and implementation of the Heracles virtual memory management system. The Heracles approach is one of inclusion rather than exclusion. The main goal of Heracles is to provide an extensible environment that is configurable to the extent of providing application-centric memory management without the need for application developers to implement their own. However, should the application developer wish to provide a more specialised implementation for all or any part of Heracles, the system is constructed around well-defined interfaces that allow new implementations to be "plugged in" where required. The result is a virtual memory management hierarchy that is highly configurable, highly flexible, and can be adapted at run-time to meet new phases in the application's behaviour. Furthermore, different parts of an application's address space can have different hierarchies associated with managing its memory.

Gli stili APA, Harvard, Vancouver, ISO e altri

20

余永嘉 e Wing-ka Yu. "Execution objects: flexible composition and efficient interaction". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1996. http://hub.hku.hk/bib/B31213868.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Yu, Wing-ka. "Execution objects : flexible composition and efficient interaction /". Hong Kong : University of Hong Kong, 1996. http://sunzi.lib.hku.hk/hkuto/record.jsp?B19671659.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Wells, George Clifford. "A study of real-time operating systems for microcomputers". Thesis, Rhodes University, 1990. http://hdl.handle.net/10962/d1004896.

Testo completo

Abstract (sommario):

This thesis describes the evaluation of four operating systems for microcomputers. The emphasis of the study is on the suitability of the operating systems for use in real-time applications, such as process control. The evaluation was performed in two sections. The first section was a quantitative assessment of the performance of the real-time features of the operating system. This was performed using benchmarks. The criteria for the benchmarks and their design are discussed. The second section was a qualitative assessment of the suitability of the operating systems for the development and implementation of real-time systems. This was assessed through the implementation of a small simulation of a manufacturing process and its associated control system. The simulation was designed using the Ward and Mellor real-time design method which was extended to handle the special case of a real-time simulation. The operating systems which were selected for the study covered a spectrum from general purpose operating systems to small, specialised real-time operating systems. From the quantitative assessment it emerged that QNX (from Quantum Software Systems) had the best overall performance. Qualitatively, UNIX was found to offer the best system development environment, but it does not have the performance and the characteristics required for real-time applications. This suggests that versions of UNIX that are adapted for real-time applications are worth careful consideration for use both as development systems and implementation systems.

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Leslie, Rebekah. "A Functional Approach to Memory-Safe Operating Systems". PDXScholar, 2011. https://pdxscholar.library.pdx.edu/open_access_etds/499.

Testo completo

Abstract (sommario):

Purely functional languages--with static type systems and dynamic memory management using garbage collection--are a known tool for helping programmers to reduce the number of memory errors in programs. By using such languages, we can establish correctness properties relating to memory-safety through our choice of implementation language alone. Unfortunately, the language characteristics that make purely functional languages safe also make them more difficult to apply in a low-level domain like operating systems construction. The low-level features that support the kinds of hardware manipulations required by operating systems are not typically available in memory-safe languages with garbage collection. Those that are provided may have the ability to violate memory- and type-safety, destroying the guarantees that motivate using such languages in the first place. This work demonstrates that it is possible to bridge the gap between the requirements of operating system implementations and the features of purely functional languages without sacrificing type- and memory-safety. In particular, we show that this can be achieved by isolating the potentially unsafe memory operations required by operating systems in an abstraction layer that is well integrated with a purely functional language. The salient features of this abstraction layer are that the operations it exposes are memory-safe and yet sufficiently expressive to support the implementation of realistic operating systems. The abstraction layer enables systems programmers to perform all of the low-level tasks necessary in an OS implementation, such as manipulating an MMU and executing user-level programs, without compromising the static memory-safety guarantees of programming in a purely functional language. A specific contribution of this work is an analysis of memory-safety for the abstraction layer by formalizing a meaning for memory-safety in the presence of virtual-memory using a novel application of noninterference security policies. In addition, we evaluate the expressiveness of the abstraction layer by implementing the L4 microkernel API, which has a flexible set of virtual memory management operations.

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Dodge, Catherine A. "Recommendations for secure initialization routines in operating systems". Thesis, Monterey, California. Naval Postgraduate School, 2004. http://hdl.handle.net/10945/1206.

Testo completo

Abstract (sommario):

Approved for public release; distribution in unlimited.
While a necessity of all operating systems, the code that initializes a system can be notoriously difficult to understand. This thesis explores the most common architectures used for bringing an operating system to its initial state, once the operating system gains control from the boot loader. Specifically, the ways in which the OpenBSD and Linux operating systems handle initialization are dissected. With this understanding, a set of threats relevant to the initialization sequence was developed. A thorough study was also made to determine the degree to which initialization code adheres to widely accepted software engineering principles. Based upon this threat analysis and the observed strengths and weaknesses of existing systems, a set of recommendations for initialization sequence architecture and implementation have been developed. These recommendations can serve as a guide for future operating system development.
Civilian, Naval Postgraduate School

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Spafford, Eugene Howard. "Kernel structures for a distributed operating system". Diss., Georgia Institute of Technology, 1986. http://hdl.handle.net/1853/9144.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

McLean, Angus L. M. Thom III. "Real-time distributed simulation analysis : an application of temporal database and simulation systems research". Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/9124.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Kou, Tian. "Conformance testing of OSI protocols : the class O transport protocol as an example". Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/26427.

Testo completo

Abstract (sommario):

This thesis addresses the problem of conformance testing of communication protocol implementations. Test sequence generation techniques for finite state machines (FSM) have been developed to solve the problem of high costs of an exhaustive test. These techniques also guarantee a complete coverage of an implementation in terms of state transitions and output functions, and therefore provide a sound test of the implementation under test. In this thesis, we have modified and applied three test sequence generation techniques on the class 0 transport protocol. A local tester and executable test sequences for the ISO class 0 transport protocol have been developed on a portable protocol tester to demonstrate the practicality of the test methods and test methodologies. The local test is achieved by an upper tester residing on top of the implementation under test (IUT) and a lower tester residing at the bottom of the IUT. Tests are designed based on the state diagram of an IUT. Some methodologies of parameter variations have also been used to test primitive parameters of the implementation. Some problems encountered during the implementation of the testers and how they are resolved are also discussed in the thesis.
Science, Faculty of
Computer Science, Department of
Graduate

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Bershad, Brian Nathan. "High performance cross-address space communication /". Thesis, Connect to this title online; UW restricted, 1990. http://hdl.handle.net/1773/6939.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Schneck, Phyllis Adele. "Dynamic management of computation and communication resources to enable secure high-performances applications". Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/8264.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Seelam, Seetharami R. "Towards dynamic adaptation of I/O scheduling in commodity operating systems". To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2006. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

DeBrunner, Linda Sumners. "Multitasking operating systems for real-time applications". Thesis, Virginia Polytechnic Institute and State University, 1986. http://hdl.handle.net/10919/104318.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Vigder, Mark (Mark Ronald) Carleton University Dissertation Engineering Electrical. "Applying formal techniques to the design of concurrent systems". Ottawa, 1992.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Graunke, Kenneth William. "Extensible Scheduling in a Haskell-based Operating System". PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/1.

Testo completo

Abstract (sommario):

This thesis presents Lighthouse, an experimental branch of the Haskell-based House operating system which integrates Li et al.'s Lightweight Concurrency framework. First and foremost, it improves House's viability as a "real operating system" by providing a new extensible scheduler framework which makes it easy to experiment with different scheduling policies. In particular, Lighthouse extends Concurrent Haskell with thread priority and implements a priority-based scheduler which significantly improves system responsiveness when compared with GHC's normal round-robin scheduler. Even while doing this, it improves on House's claim of being "written in Haskell" by moving a whole subsystem out of the complex C-based runtime system and into Haskell itself. In addition, Lighthouse also includes an alternate, simpler implementation of Lightweight Concurrency which takes advantage of House's unique setting (running directly on uniprocessor x86 hardware). This experience sheds light on areas that need further attention before the system can truly be viable---primarily interactions between blackholing and interrupt handling. In particular, this thesis uncovers a potential case of self-deadlock and suggests potential solutions. Finally, this work offers further insight into the viability of using high-level languages such as Haskell for systems programming. Although laziness and blackholing present unique problems, many parts of the system are still much easier to express in Haskell than traditional languages such as C.

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Apte, Manoj Shriganesh. "An operating system architecture and hybrid scheduling methodology for real-time systems with uncertainty". Diss., Mississippi State : Mississippi State University, 2004. http://library.msstate.edu/etd/show.asp?etd=etd-11102004-152431.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Yuh, Han-Sheng. "Spider: An overview of an object-oriented distributed computing system". CSUSB ScholarWorks, 1997. https://scholarworks.lib.csusb.edu/etd-project/1417.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Webb, Jason N. "The advanced features of Mac OS X and their benefits to the design community /". Online version of thesis, 2003. http://homepage.mac.com/jasonwebb/thesis/.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Rappin, Noel. "A framework for teaching learners to model by focusing complexity of modeling and simulation tools". Diss., Georgia Institute of Technology, 1998. http://hdl.handle.net/1853/8248.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Loubser, Johannes Jacobus. "Device drivers : a comparison of different development strategies". Thesis, Stellenbosch : Stellenbosch University, 2000. http://hdl.handle.net/10019.1/51690.

Testo completo

Abstract (sommario):

Thesis (MSc)--Stellenbosch University, 2000.
ENGLISH ABSTRACT: Users are not supposed to modify an operating system kernel, but it is often necessary to add a device driver for a new peripheral device. Device driver development is a difficult and time-consuming process that must be performed by an expert. Drivers are difficult to debug and a malfunctioning driver could cause the operating system to crash. Ways are therefore needed to make the development of device drivers safer and easier. A number of different device driver development methods are examined in this thesis. An existing micro-kernel that supports in-kernel device drivers as well as extensible device drivers has been modified to support user-level and loadable drivers. These extensions ensured that all the development methods were implemented in the same environment and a comparison could thus be made on a fair basis. A comparison of the different methods with respect to the efficiency of the resulting device driver, as well as the ease of the development process, is presented.
AFRIKAANSE OPSOMMING: Gebruikers is nie veronderstelom aan 'n bedryfstelsel te verander nie, maar tog is dit gereeld nodig om 'n toesteldrywer vir 'n nuwe randapparaat by te voeg. Die ontwikkeling van 'n toesteldrywer is 'n tydrowende en moeilike proses en moet deur 'n kundige aangepak word. Toesteldrywers is moeilik om te ontfout en kan deur verkeerde werking die hele stelsel tot stilstand bring. Daar is dus tegnieke nodig om die ontwikkeling van toestelhanteerders makliker en veiliger te maak. 'n Aantal verskillende ontwikkelingsmetodes vir toesteldrywers word in hierdie tesis ondersoek. 'n Bestaande mikro-kern wat in-kern, sowel as uitbreibare toesteldrywers ondersteun, is aangepas om gebruikersvlak en laaibare toestelhanteerders te ondersteun. Hierdie uitbreiding het verseker dat al die ontwikkelingsmetodes in dieselfde omgewing geïmplementeer is. Dit was dus moontlik om die metodes op 'n regverdige grondslag te vergelyk. Die vergelyking is gedoen ten opsigte van die effektiwiteit van die resulterende toesteldrywer sowel as die moeilikheidsgraad van die ontwikkelingsproses.

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Deorukhkar, Mayuresh. "Deadlock probability prediction and detection in distributed systems /". free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1421130.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Somanathan, Muthuveer. "An initial operating system adaptation heuristic for Swap Cluster Max (SCM)". To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Wang, Koping. "Spider II: A component-based distributed computing system". CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/1874.

Testo completo

Abstract (sommario):

Spider II system is the second version implementation of the Spider project. This system is the first distributed computation research project in the Department of Computer Science at CSUSB. Spider II is a distributed virtual machine on top of the UNIX or LINUX operating system. Spider II features multi-tasking, load balancing and fault tolerance, which optimize the performance and stability of the system.

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Van, Riet F. A. "LF : a language for reliable embedded systems". Thesis, Stellenbosch : Stellenbosch University, 2001. http://hdl.handle.net/10019.1/52322.

Testo completo

Abstract (sommario):

Thesis (MSc)--University of Stellenbosch, 2001.
ENGLISH ABSTRACT: Computer-aided verification techniques, such as model checking, are often considered essential to produce highly reliable software systems. Modern model checkers generally require models to be written in eSP-like notations. Unfortunately, such systems are usually implemented using conventional imperative programming languages. Translating the one paradigm into the other is a difficult and error prone process. If one were to program in a process-oriented language from the outset, the chasm between implementation and model could be bridged more readily. This would lead to more accurate models and ultimately more reliable software. This thesis covers the definition of a process-oriented language targeted specifically towards embedded systems and the implementation of a suitable compiler and run-time system. The language, LF, is for the most part an extension of the language Joyce, which was defined by Brinch Hansen. Both LF and Joyce have features which I believe make them easier to use than other esp based languages such as occam. An example of this is a selective communication primitive which allows for both input and output guards which is not supported in occam. The efficiency of the implementation is important. The language was therefore designed to be expressive, but constructs which are expensive to implement were avoided. Security, however, was the overriding consideration in the design of the language and runtime system. The compiler produces native code. Most other esp derived languages are either interpreted or execute as tasks on host operating systems. Arguably this is because most implementations of esp and derivations thereof are for academic purposes only. LF is intended to be an implementation language. The performance of the implementation is evaluated in terms of practical metries such as the time needed to complete communication operations and the average time needed to service an interrupt.
AFRIKAANSE OPSOMMING: Rekenaar ondersteunde verifikasietegnieke soos programmodellering, is onontbeerlik in die ontwikkeling van hoogs betroubare programmatuur. In die algemeen, aanvaar programme wat modelle toets eSP-agtige notasie as toevoer. Die meeste programme word egter in meer konvensionele imperatiewe programmeertale ontwikkel. Die vertaling vanuit die een paradigma na die ander is 'n moelike proses, wat baie ruimte laat vir foute. Indien daar uit die staanspoor in 'n proses gebaseerde taal geprogrammeer word, sou die verwydering tussen model en program makliker oorbrug kon word. Dit lei tot akkurater modelle en uiteindelik tot betroubaarder programmatuur. Die tesis ondersoek die definisie van 'n proses gebaseerde taal, wat gemik is op ingebedde programmatuur. Verder word die implementasie van 'n toepaslike vertaler en looptyd omgewing ook bespreek. Die taal, LF, is grotendeels gebaseer op Joyce, wat deur Brinch Hansen ontwikkel is. Joyce en op sy beurt LF, is verbeterings op ander esp verwante tale soos occam. 'n Voorbeeld hiervan is 'n selektiewe kommunikasieprimitief wat die gebruik van beide toevoer- en afvoerwagte ondersteun. Omdat 'n effektiewe implementasie nagestreef word, is die taalontwerp om so nadruklik moontlik te wees, sonder om strukture in te sluit wat oneffektief is om te implementeer. Sekuriteit was egter die oorheersende oorweging in die ontwerp van die taal en looptyd omgewing. Die vertaler lewer masjienkode, terwyl die meeste ander implementasies van eSP-agtige tale geinterpreteer word of ondersteun word as prosesse op 'n geskikte bedryfstelsel- die meeste eSP-agtige tale word slegs vir akademiese doeleindes aangewend. LF is by uitstek ontwerp as implementasie taal. Die evaluasie van die stelsel se werkverrigting is gedoen aan die hand van praktiese maatstawwe soos die tyd wat benodig word vir kommunikasie, sowel as die gemiddelde tyd benodig vir die hantering van onderbrekings.

Gli stili APA, Harvard, Vancouver, ISO e altri

43

McKenney, Paul E. "Exploiting deferred destruction : an analysis of read-copy-update techniques in operating system kernels /". Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,225.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Brinkmeyer, Jay Charles 1960. "A multi-tasking operating system for real-time applications". Thesis, The University of Arizona, 1987. http://hdl.handle.net/10150/276589.

Testo completo

Abstract (sommario):

Presented in this thesis is the design and implementation of a fast, compact, and flexible multi-tasking operating system. This system is designed for use in small computers which must deliver real-time performance in extremely constrained environments. The operating system is implemented in the "C" language to allow portability between different computers systems. A number of useful features are provided which support dynamic task management, message passing, a hierarchial file system, device drivers, and a command line interpreter. Modularized construction enables the user to prune unnecessary system features for specific applications. Presently, the system is operational on a personal computer which is also used for system development. This serves as a realistic environment for testing system response to real-time events.

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Liles, Stewart Whitfield. "On the characterization and analysis of system of systems architectures". Fairfax, VA : George Mason University, 2008. http://hdl.handle.net/1920/3281.

Testo completo

Abstract (sommario):

Thesis (Ph.D.)--George Mason University, 2008.
Vita: p. 192. Thesis director: Alexander H. Levis. Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Technology. Title from PDF t.p. (viewed Jan. 11, 2009). Includes bibliographical references (p. 184-191). Also issued in print.

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Gunaseelan, L. "Debugging of Distributed object systems". Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/9219.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Brogan, David C. "Simulation levels of detail for control and animation". Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/8142.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Frey, Clifford A. (Clifford Arthur). "Acetone : a system call interface for Asbestos labels". Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/33149.

Testo completo

Abstract (sommario):

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.
Includes bibliographical references (p. 53-55).
Acetone is a secure operating system kernel that uses a shared address space and supports Asbestos labels. Acetone uses Asbestos labels to enable a wide variety of security policies including ones that prevent untrusted applications from being able to disclose private data. All threads run in the same address space, but have different memory access privileges. Acetone uses standard memory protection mechanisms to ensure that all memory accesses are consistent with label rules. The performance results show that these checks have a relatively low cost.
by Clifford A. Frey.
M.Eng.

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Motara, Yusuf Moosa. "File integrity checking". Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1007701.

Testo completo

Abstract (sommario):

This thesis looks at file execution as an attack vector that leads to the execution of unauthorized code. File integrity checking is examined as a means of removing this attack vector, and the design, implementation, and evaluation of a best-of-breed file integrity checker for the Linux operating system is undertaken. We conclude that the resultant file integrity checker does succeed in removing file execution as an attack vector, does so at a computational cost that is negligible, and displays innovative and useful features that are not currently found in any other Linux file integrity checker.

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Mukherjee, Bodhisattwa. "Reconfigurable multiprocessor operating system kernel for high performance computing". Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/9120.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!