About: Research Proposal

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Research Proposal Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

This page outlines a research plan to create a multiprocessor general purpose computing/operating system, called COS (Co-Operating System) that will lead to the delivery of guaranteed general purpose computing systems. Underlying this research plan is the following hypothesis: So that dynamic ad hoc networks of processes can be created the IPC channels are also handled by the resource allocation mechanism. Because this resource allocation mechanism makes the state of the system visible to resources it is possible to manage all resources as a feedback control problem.

Attributes	Values
rdfs:label	Research Proposal
rdfs:comment	This page outlines a research plan to create a multiprocessor general purpose computing/operating system, called COS (Co-Operating System) that will lead to the delivery of guaranteed general purpose computing systems. Underlying this research plan is the following hypothesis: So that dynamic ad hoc networks of processes can be created the IPC channels are also handled by the resource allocation mechanism. Because this resource allocation mechanism makes the state of the system visible to resources it is possible to manage all resources as a feedback control problem.
sameAs	dbr:Research_proposal
dcterms:subject	Research
abstract	This page outlines a research plan to create a multiprocessor general purpose computing/operating system, called COS (Co-Operating System) that will lead to the delivery of guaranteed general purpose computing systems. Underlying this research plan is the following hypothesis: Hypothesis: To deliver guaranteed general purpose computing systems a new approach to designing and building such systems is required where the structure of both hardware and software is determined by the ability to prove the correctness, reliability, efficiency and affordability of every part of the system. (C) MMXII E.J.Cozens The proposal is to build general purpose computing systems where there is a large pool of processors and essentially one process runs on one processor. Having a single process per processor is a cornerstone of being able to prove programs correct. Proofs are simplified as a program will always execute as a single process on a well defined processor architecture and will not have to contend with interference from other processes. The allocation of processes to processors is achieved through a well defined and mathematically sound resource allocation mechanism. The resource allocation mechanism is based on an observable cellular broadcast structure. No single process is responsible for managing the allocation of resources. Having a distributed and observable resource allocation mechanism also allows for fault tolerance and extensibility. So that dynamic ad hoc networks of processes can be created the IPC channels are also handled by the resource allocation mechanism. Because this resource allocation mechanism makes the state of the system visible to resources it is possible to manage all resources as a feedback control problem. The architecture of a COS also addresses another major concern of modern computing systems - energy consumption. This is addressed in two ways. Firstly as a process owns the processor on which it is running it can power down whenever possible being powered back up when there are interrupts, message arrivals or timer events. Secondly when a processor is waiting for work it is powered down and is managed by a low power co-processor. The co-processor forms part of the distributed operating system.

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software