Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288251381> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4288251381 abstract "Many systems use ad hoc collections of files and directories to store persistent data. For consumers of this data, the process of properly parsing, using, and updating these filestores using conventional APIs is cumbersome and error-prone. Making matters worse, most filestores are too big to fit in memory, so applications must process the data incrementally while managing concurrent accesses by multiple users. This paper presents Transactional Forest (TxForest), which builds on earlier work on Forest to provide a simpler, more powerful API for managing filestores, including a mechanism for managing concurrent accesses using serializable transactions. Under the hood, TxForest implements an optimistic concurrency control scheme using Huet's zippers to track the data associated with filestores. We formalize TxForest in a core calculus, develop a proof of serializability, and describe our OCaml prototype, which we have used to build several practical applications." @default.
- W4288251381 created "2022-07-28" @default.
- W4288251381 creator A5013378091 @default.
- W4288251381 creator A5040152167 @default.
- W4288251381 creator A5047373593 @default.
- W4288251381 creator A5067463505 @default.
- W4288251381 date "2019-08-27" @default.
- W4288251381 modified "2023-10-05" @default.
- W4288251381 title "TxForest: A DSL for Concurrent Filestores" @default.
- W4288251381 doi "https://doi.org/10.48550/arxiv.1908.10273" @default.
- W4288251381 hasPublicationYear "2019" @default.
- W4288251381 type Work @default.
- W4288251381 citedByCount "0" @default.
- W4288251381 crossrefType "posted-content" @default.
- W4288251381 hasAuthorship W4288251381A5013378091 @default.
- W4288251381 hasAuthorship W4288251381A5040152167 @default.
- W4288251381 hasAuthorship W4288251381A5047373593 @default.
- W4288251381 hasAuthorship W4288251381A5067463505 @default.
- W4288251381 hasBestOaLocation W42882513811 @default.
- W4288251381 hasConcept C120314980 @default.
- W4288251381 hasConcept C134277064 @default.
- W4288251381 hasConcept C186644900 @default.
- W4288251381 hasConcept C191558696 @default.
- W4288251381 hasConcept C193702766 @default.
- W4288251381 hasConcept C199360897 @default.
- W4288251381 hasConcept C201374245 @default.
- W4288251381 hasConcept C25185021 @default.
- W4288251381 hasConcept C31258907 @default.
- W4288251381 hasConcept C41008148 @default.
- W4288251381 hasConcept C52723943 @default.
- W4288251381 hasConcept C72108876 @default.
- W4288251381 hasConcept C75949130 @default.
- W4288251381 hasConcept C77088390 @default.
- W4288251381 hasConcept C84511453 @default.
- W4288251381 hasConcept C98045186 @default.
- W4288251381 hasConceptScore W4288251381C120314980 @default.
- W4288251381 hasConceptScore W4288251381C134277064 @default.
- W4288251381 hasConceptScore W4288251381C186644900 @default.
- W4288251381 hasConceptScore W4288251381C191558696 @default.
- W4288251381 hasConceptScore W4288251381C193702766 @default.
- W4288251381 hasConceptScore W4288251381C199360897 @default.
- W4288251381 hasConceptScore W4288251381C201374245 @default.
- W4288251381 hasConceptScore W4288251381C25185021 @default.
- W4288251381 hasConceptScore W4288251381C31258907 @default.
- W4288251381 hasConceptScore W4288251381C41008148 @default.
- W4288251381 hasConceptScore W4288251381C52723943 @default.
- W4288251381 hasConceptScore W4288251381C72108876 @default.
- W4288251381 hasConceptScore W4288251381C75949130 @default.
- W4288251381 hasConceptScore W4288251381C77088390 @default.
- W4288251381 hasConceptScore W4288251381C84511453 @default.
- W4288251381 hasConceptScore W4288251381C98045186 @default.
- W4288251381 hasLocation W42882513811 @default.
- W4288251381 hasOpenAccess W4288251381 @default.
- W4288251381 hasPrimaryLocation W42882513811 @default.
- W4288251381 hasRelatedWork W1972925764 @default.
- W4288251381 hasRelatedWork W1974100212 @default.
- W4288251381 hasRelatedWork W1982878270 @default.
- W4288251381 hasRelatedWork W204696703 @default.
- W4288251381 hasRelatedWork W2145951631 @default.
- W4288251381 hasRelatedWork W2172046835 @default.
- W4288251381 hasRelatedWork W2258437408 @default.
- W4288251381 hasRelatedWork W2969542033 @default.
- W4288251381 hasRelatedWork W2991058925 @default.
- W4288251381 hasRelatedWork W3008663690 @default.
- W4288251381 isParatext "false" @default.
- W4288251381 isRetracted "false" @default.
- W4288251381 workType "article" @default.