Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289754651> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4289754651 abstract "Multi-threaded programs have traditionally fallen into one of two domains: cooperative and competitive. These two domains have traditionally remained mostly disjoint, with cooperative threading used for increasing throughput in compute-intensive applications such as scientific workloads and cooperative threading used for increasing responsiveness in interactive applications such as GUIs and games. As multicore hardware becomes increasingly mainstream, there is a need for bridging these two disjoint worlds, because many applications mix interaction and computation and would benefit from both cooperative and competitive threading. In this paper, we present techniques for programming and reasoning about parallel interactive applications that can use both cooperative and competitive threading. Our techniques enable the programmer to write rich parallel interactive programs by creating and synchronizing with threads as needed, and by assigning threads user-defined and partially ordered priorities. To ensure important responsiveness properties, we present a modal type system analogous to S4 modal logic that precludes low-priority threads from delaying high-priority threads, thereby statically preventing a crucial set of priority-inversion bugs. We then present a cost model that allows reasoning about responsiveness and completion time of well-typed programs. The cost model extends the traditional work-span model for cooperative threading to account for competitive scheduling decisions needed to ensure responsiveness. Finally, we show that our proposed techniques are realistic by implementing them as an extension to the Standard ML language." @default.
- W4289754651 created "2022-08-04" @default.
- W4289754651 creator A5009393339 @default.
- W4289754651 creator A5015051107 @default.
- W4289754651 creator A5028720578 @default.
- W4289754651 date "2018-07-10" @default.
- W4289754651 modified "2023-09-27" @default.
- W4289754651 title "Competitive Parallelism: Getting Your Priorities Right" @default.
- W4289754651 doi "https://doi.org/10.48550/arxiv.1807.03703" @default.
- W4289754651 hasPublicationYear "2018" @default.
- W4289754651 type Work @default.
- W4289754651 citedByCount "0" @default.
- W4289754651 crossrefType "posted-content" @default.
- W4289754651 hasAuthorship W4289754651A5009393339 @default.
- W4289754651 hasAuthorship W4289754651A5015051107 @default.
- W4289754651 hasAuthorship W4289754651A5028720578 @default.
- W4289754651 hasBestOaLocation W42897546511 @default.
- W4289754651 hasConcept C114614502 @default.
- W4289754651 hasConcept C120314980 @default.
- W4289754651 hasConcept C121332964 @default.
- W4289754651 hasConcept C138101251 @default.
- W4289754651 hasConcept C162324750 @default.
- W4289754651 hasConcept C162932704 @default.
- W4289754651 hasConcept C173608175 @default.
- W4289754651 hasConcept C199360897 @default.
- W4289754651 hasConcept C200307862 @default.
- W4289754651 hasConcept C201410400 @default.
- W4289754651 hasConcept C206729178 @default.
- W4289754651 hasConcept C21547014 @default.
- W4289754651 hasConcept C2778514511 @default.
- W4289754651 hasConcept C33923547 @default.
- W4289754651 hasConcept C41008148 @default.
- W4289754651 hasConcept C45340560 @default.
- W4289754651 hasConcept C46141821 @default.
- W4289754651 hasConcept C47701112 @default.
- W4289754651 hasConcept C761482 @default.
- W4289754651 hasConcept C76155785 @default.
- W4289754651 hasConceptScore W4289754651C114614502 @default.
- W4289754651 hasConceptScore W4289754651C120314980 @default.
- W4289754651 hasConceptScore W4289754651C121332964 @default.
- W4289754651 hasConceptScore W4289754651C138101251 @default.
- W4289754651 hasConceptScore W4289754651C162324750 @default.
- W4289754651 hasConceptScore W4289754651C162932704 @default.
- W4289754651 hasConceptScore W4289754651C173608175 @default.
- W4289754651 hasConceptScore W4289754651C199360897 @default.
- W4289754651 hasConceptScore W4289754651C200307862 @default.
- W4289754651 hasConceptScore W4289754651C201410400 @default.
- W4289754651 hasConceptScore W4289754651C206729178 @default.
- W4289754651 hasConceptScore W4289754651C21547014 @default.
- W4289754651 hasConceptScore W4289754651C2778514511 @default.
- W4289754651 hasConceptScore W4289754651C33923547 @default.
- W4289754651 hasConceptScore W4289754651C41008148 @default.
- W4289754651 hasConceptScore W4289754651C45340560 @default.
- W4289754651 hasConceptScore W4289754651C46141821 @default.
- W4289754651 hasConceptScore W4289754651C47701112 @default.
- W4289754651 hasConceptScore W4289754651C761482 @default.
- W4289754651 hasConceptScore W4289754651C76155785 @default.
- W4289754651 hasLocation W42897546511 @default.
- W4289754651 hasOpenAccess W4289754651 @default.
- W4289754651 hasPrimaryLocation W42897546511 @default.
- W4289754651 hasRelatedWork W1550339890 @default.
- W4289754651 hasRelatedWork W1982011377 @default.
- W4289754651 hasRelatedWork W2003413578 @default.
- W4289754651 hasRelatedWork W2010970156 @default.
- W4289754651 hasRelatedWork W2023832055 @default.
- W4289754651 hasRelatedWork W2127453409 @default.
- W4289754651 hasRelatedWork W2735980199 @default.
- W4289754651 hasRelatedWork W4232891356 @default.
- W4289754651 hasRelatedWork W66392291 @default.
- W4289754651 hasRelatedWork W1581434145 @default.
- W4289754651 isParatext "false" @default.
- W4289754651 isRetracted "false" @default.
- W4289754651 workType "article" @default.