Publication

Towards Proving Optimistic Multicore Schedulers

Willy Zwaenepoel, Baptiste Joseph Eustache Lepers
2017
Conference Papers

Abstract

Operating systems have been shown to waste machine resources by leaving cores idle while work is ready to be scheduled. This results in suboptimal performance for user applications, and wasted power. Recent progress in formal verification methods have led to operating systems being proven safe, but operating systems have yet to be proven free of performance bottlenecks. In this paper we instigate the first effort in proving performance properties of operating systems by designing a multicore scheduler that is proven to be work-conserving.

Official source

https://infoscience.epfl.ch/entities/publication/dc5b748c-cb86-41b5-8647-b2ae5da93952

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Willy Zwaenepoel, Baptiste Joseph Eustache Lepers
2017
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/dc5b748c-cb86-41b5-8647-b2ae5da93952

About this result

Related concepts (26)

Waste

Waste (or wastes) are unwanted or unusable materials. Waste is any substance discarded after primary use, or is worthless, defective and of no use. A by-product, by contrast is a joint product of relatively minor economic value. A waste product may become a by-product, joint product or resource through an invention that raises a waste product's value above zero. Examples include municipal solid waste (household trash/refuse), hazardous waste, wastewater (such as sewage, which contains bodily wastes (feces and urine) and surface runoff), radioactive waste, and others.

Waste-to-energy

Waste-to-energy (WtE) or energy-from-waste (EfW) is the process of generating energy in the form of electricity and/or heat from the primary treatment of waste, or the processing of waste into a fuel source. WtE is a form of energy recovery. Most WtE processes generate electricity and/or heat directly through combustion, or produce a combustible fuel commodity, such as methane, methanol, ethanol or synthetic fuels. The first incinerator or "Destructor" was built in Nottingham, UK, in 1874 by Manlove, Alliott & Co.

Waste hierarchy

Waste hierarchy is a tool used in the evaluation of processes that protect the environment alongside resource and energy consumption from most favourable to least favourable actions. The hierarchy establishes preferred program priorities based on sustainability. To be sustainable, waste management cannot be solved only with technical end-of-pipe solutions and an integrated approach is necessary. The waste management hierarchy indicates an order of preference for action to reduce and manage waste, and is usually presented diagrammatically in the form of a pyramid.

Related publications (27)

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Tandem catalysis enables chlorine-containing waste as chlorination reagents

Paul Joseph Dyson, Mingyang Liu, Xinbang Wu

Chlorinated compounds are ubiquitous. However, accumulation of chlorine-containing waste has a negative impact on human health and the environment due to the inapplicability of common disposal methods, such as landfill and incineration. Here we report a su ...

Nature Portfolio2024

A FEM modelling workflow to simulate THM effects in the rock around nuclear waste packages

Matthias Timothee Stanislas Wojnarowicz

High-level waste, stemming from nuclear electricity generation poses significant environmental and safety concerns. Currently, high-level wastes are stored in interim facilities needing constant monitoring and waiting for a definitive solution. Deep geolog ...

EPFL2024