Title:
Linear Promises: Towards Safer Concurrent Programming
Linear Promises: Towards Safer Concurrent Programming
dc.contributor.advisor | Sarkar, Vivek | |
dc.contributor.author | Rau, Ohad | |
dc.contributor.committeeMember | Zhang, Qirun | |
dc.contributor.department | Computer Science | |
dc.date.accessioned | 2022-05-27T14:37:11Z | |
dc.date.available | 2022-05-27T14:37:11Z | |
dc.date.created | 2022-05 | |
dc.date.issued | 2022-05 | |
dc.date.submitted | May 2022 | |
dc.date.updated | 2022-05-27T14:37:11Z | |
dc.description.abstract | In this paper, we introduce a new type system based on linear typing, and show how it can be incorporated in a concurrent programming language to track ownership of promises. By tracking write operations on each promise, the language is able to guarantee exactly one write operation is ever performed on any given promise. This language thus precludes a number of common bugs found in promise-based programs, such as failing to write to a promise and writing to the same promise multiple times. We also present an implementation of the language, complete with an efficient type checking algorithm and high-level programming constructs. This language serves as a safer platform for writing high-level concurrent code. | |
dc.description.degree | Undergraduate | |
dc.format.mimetype | application/pdf | |
dc.identifier.uri | http://hdl.handle.net/1853/66701 | |
dc.language.iso | en_US | |
dc.publisher | Georgia Institute of Technology | |
dc.subject | promises | |
dc.subject | type systems | |
dc.subject | linear typing | |
dc.subject | operational semantics | |
dc.subject | concurrency | |
dc.title | Linear Promises: Towards Safer Concurrent Programming | |
dc.type | Text | |
dc.type.genre | Undergraduate Thesis | |
dspace.entity.type | Publication | |
local.contributor.advisor | Sarkar, Vivek | |
local.contributor.corporatename | College of Computing | |
local.contributor.corporatename | School of Computer Science | |
local.contributor.corporatename | Undergraduate Research Opportunities Program | |
local.relation.ispartofseries | Undergraduate Research Option Theses | |
relation.isAdvisorOfPublication | 8579ad6d-7415-4b85-acb4-f0f64097a57d | |
relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
relation.isOrgUnitOfPublication | 6b42174a-e0e1-40e3-a581-47bed0470a1e | |
relation.isOrgUnitOfPublication | 0db885f5-939b-4de1-807b-f2ec73714200 | |
relation.isSeriesOfPublication | e1a827bd-cf25-4b83-ba24-70848b7036ac | |
thesis.degree.level | Undergraduate |
Files
License bundle
1 - 1 of 1