Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 7 of 7
Full-Text Articles in Physical Sciences and Mathematics
Hey, You Got Your Language In My Operating System!, Jon Howell, Mark Montague
Hey, You Got Your Language In My Operating System!, Jon Howell, Mark Montague
Computer Science Technical Reports
Several projects in the operating systems research community suggest a trend of convergence among features once divided between operating systems and languages. We describe how partial evaluation and transformational programming systems apply to this trend by providing a general framework for application support, from compilation to run-time services. We contend that the community will no longer think of implementing a static collection of services and calling it an operating system; instead, this general framework will allow applications to be flexibly configured, and the ``operating system'' will simply be the application support that is supplied at run-time.
Snowflake: Spanning Administrative Domains, Jon Howell, David Kotz
Snowflake: Spanning Administrative Domains, Jon Howell, David Kotz
Computer Science Technical Reports
Many distributed systems provide a ``single-system image'' to their users, so the user has the illusion that they are using a single system when in fact they are using many distributed resources. It is a powerful abstraction that helps users to manage the complexity of using distributed resources. The goal of the Snowflake project is to discover how single-system images can be made to span administrative domains. Our current prototype organizes resources in namespaces and distributes them using Java Remote Method Invocation. Challenging issues include how much flexibility should be built into the namespace interface, and how transparent the network …
Utility Driven Mobile-Agent Scheduling, Jonathan Bredin, David Kotz, Daniela Rus
Utility Driven Mobile-Agent Scheduling, Jonathan Bredin, David Kotz, Daniela Rus
Computer Science Technical Reports
Mobile agents are programs capable of migrating from one host machine to another. We propose that mobile agents purchase resource access rights from host machines thereby establishing a market for computational resources and giving agents a metric to evenly distribute themselves throughout the network. Market participation requires quantitative information about resource consumption to define demand and calculate utility. We create a formal utility model to derive user-demand functions, allowing agents to efficiently plan expenditure and deal with price fluctuations. By quantifying demand and utility, resource owners can precisely set a value for a good. We simulate our model in a …
Abstractions For Simplifying Planning In Self-Reconfigurable Robotic Systems, Craig Mcgray, Daniela Rus
Abstractions For Simplifying Planning In Self-Reconfigurable Robotic Systems, Craig Mcgray, Daniela Rus
Computer Science Technical Reports
In [KVRM], we described a three-dimensional self-reconfiguring robot module called the Molecule Robot. In this paper, we provide a system of abstractions for modules in self-reconfigurable robotic systems, and show how this system can be used to simplify the motion planning of the Molecule Robot system.
Applications Of Parallel I/O, Ron Oldfield, David Kotz
Applications Of Parallel I/O, Ron Oldfield, David Kotz
Computer Science Technical Reports
Scientific applications are increasingly being implemented on massively parallel supercomputers. Many of these applications have intense I/O demands, as well as massive computational requirements. This paper is essentially an annotated bibliography of papers and other sources of information about scientific applications using parallel I/O. It will be updated periodically.
Straightforward Java Persistence Through Checkpointing, Jon Howell
Straightforward Java Persistence Through Checkpointing, Jon Howell
Computer Science Technical Reports
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a scheme based on checkpointing the Java Virtual Machine, and compares the scheme to other techniques. Checkpointing offers two unique advantages: first, the implementation is independent of the JVM implementation, and therefore survives JVM updates; second, because checkpointing saves and restores execution state, even threads become persistent entities.
An Implementation Of The Vesta Parallel File System Api On The Galley Parallel File System, Matthew P. Carter, David Kotz
An Implementation Of The Vesta Parallel File System Api On The Galley Parallel File System, Matthew P. Carter, David Kotz
Computer Science Technical Reports
To demonstrate the flexibility of the Galley parallel file system and to analyze the efficiency and flexibility of the Vesta parallel file system interface, we implemented Vesta's application-programming interface on top of Galley. We implemented the Vesta interface using Galley's file-access methods, whose design arose from extensive testing and characterization of the I/O requirements of scientific applications for high-performance multiprocessors. We used a parallel CPU, parallel I/O, out-of-core matrix-multiplication application to test the Vesta interface in both its ability to specify data access patterns and in its run-time efficiency. In spite of its powerful ability to specify the distribution of …