Matches in SemOpenAlex for { <https://semopenalex.org/work/W14021440> ?p ?o ?g. }
- W14021440 abstract "To achieve good performance on modem hardware, software must be designed with a high degree of parallelism. New advancements in processor design and manufacturing have produced chips that offer greater computation capacity, but they do this primarily by providing more processing cores rather than by greatly improving per-core performance. Speculative execution is a technique that can be used improve the parallelism of sequential programs by predicting the dependencies between tasks, allowing a later task to run concurrently with an earlier one. Software systems are composed of many different cooperating layers: CPU, virtual machine, operating system, language runtime, and program code. The effects of speculative execution are traditionally confined to a single layer. Code running at higher layers is unaware that its execution is speculative, and code running at lower layers never observes any speculative behavior or output from higher layers. This thesis explores the benefits of letting speculative executions be visible across the many layers of a software system. Components of the system can be aware of speculative computations and, with controlled access rather than isolation, can be designed to handle speculative state and effects correctly. With cooperation among layers, new opportunities for parallelization appear. This dissertation shows how visible speculations across layers can be applied to application development, network protocols, and dynamic application analysis. I develop a new programming model for applications that separates the mechanism used to implement safety from the policy that describes how to control an individual speculation. The operating system implements the mechanism, leaving each application to describe its own custom policy. I then describe a new agreement protocol for Byzantine fault-tolerant services that is optimized for client applications capable of executing speculatively. Finally, I develop an algorithm for parallelizing data race detection by expressing speculative parallelism and handling it in the algorithm itself." @default.
- W14021440 created "2016-06-24" @default.
- W14021440 creator A5027819880 @default.
- W14021440 creator A5070861477 @default.
- W14021440 date "2012-01-01" @default.
- W14021440 modified "2023-09-26" @default.
- W14021440 title "Speculative execution across layers" @default.
- W14021440 cites W1515932031 @default.
- W14021440 cites W1572904055 @default.
- W14021440 cites W1592100575 @default.
- W14021440 cites W1652742168 @default.
- W14021440 cites W1958945689 @default.
- W14021440 cites W1972544179 @default.
- W14021440 cites W1973501242 @default.
- W14021440 cites W2000832815 @default.
- W14021440 cites W2002946738 @default.
- W14021440 cites W2003214215 @default.
- W14021440 cites W2003215037 @default.
- W14021440 cites W2025819261 @default.
- W14021440 cites W2037828446 @default.
- W14021440 cites W2040851906 @default.
- W14021440 cites W2043854189 @default.
- W14021440 cites W2047229718 @default.
- W14021440 cites W2053903896 @default.
- W14021440 cites W2054678174 @default.
- W14021440 cites W2063229843 @default.
- W14021440 cites W2072419942 @default.
- W14021440 cites W2073126252 @default.
- W14021440 cites W2075854425 @default.
- W14021440 cites W2077409330 @default.
- W14021440 cites W2080288192 @default.
- W14021440 cites W2089363288 @default.
- W14021440 cites W2095872092 @default.
- W14021440 cites W2097589646 @default.
- W14021440 cites W2099795790 @default.
- W14021440 cites W2100184706 @default.
- W14021440 cites W2100830825 @default.
- W14021440 cites W2100889285 @default.
- W14021440 cites W2100970777 @default.
- W14021440 cites W2104048355 @default.
- W14021440 cites W2104413677 @default.
- W14021440 cites W2104942083 @default.
- W14021440 cites W2105391037 @default.
- W14021440 cites W2106018697 @default.
- W14021440 cites W2110137598 @default.
- W14021440 cites W2113751407 @default.
- W14021440 cites W2114768063 @default.
- W14021440 cites W2115855199 @default.
- W14021440 cites W2121178808 @default.
- W14021440 cites W2122142939 @default.
- W14021440 cites W2122241636 @default.
- W14021440 cites W2122563027 @default.
- W14021440 cites W2123106754 @default.
- W14021440 cites W2125936380 @default.
- W14021440 cites W2126087831 @default.
- W14021440 cites W2126789306 @default.
- W14021440 cites W2127532866 @default.
- W14021440 cites W2128023681 @default.
- W14021440 cites W2129360963 @default.
- W14021440 cites W2129467152 @default.
- W14021440 cites W2131848219 @default.
- W14021440 cites W2133386065 @default.
- W14021440 cites W2136798749 @default.
- W14021440 cites W2139359217 @default.
- W14021440 cites W2141539412 @default.
- W14021440 cites W2144465510 @default.
- W14021440 cites W2145021036 @default.
- W14021440 cites W2146710330 @default.
- W14021440 cites W2146822278 @default.
- W14021440 cites W2147506153 @default.
- W14021440 cites W2147524598 @default.
- W14021440 cites W2148524997 @default.
- W14021440 cites W2149538119 @default.
- W14021440 cites W2152465173 @default.
- W14021440 cites W2153174073 @default.
- W14021440 cites W2154693467 @default.
- W14021440 cites W2161600851 @default.
- W14021440 cites W2161995137 @default.
- W14021440 cites W2166509141 @default.
- W14021440 cites W2167338470 @default.
- W14021440 cites W2167744164 @default.
- W14021440 cites W2168163009 @default.
- W14021440 cites W2169202567 @default.
- W14021440 cites W2173213060 @default.
- W14021440 cites W2242837385 @default.
- W14021440 cites W2620706897 @default.
- W14021440 cites W3136721778 @default.
- W14021440 cites W3151869053 @default.
- W14021440 cites W48317398 @default.
- W14021440 cites W84765653 @default.
- W14021440 cites W2116746874 @default.
- W14021440 cites W2734571963 @default.
- W14021440 hasPublicationYear "2012" @default.
- W14021440 type Work @default.
- W14021440 sameAs 14021440 @default.
- W14021440 citedByCount "0" @default.
- W14021440 crossrefType "dissertation" @default.
- W14021440 hasAuthorship W14021440A5027819880 @default.
- W14021440 hasAuthorship W14021440A5070861477 @default.
- W14021440 hasConcept C111919701 @default.