Libo Chen

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2020-196

December 1, 2020

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-196.pdf

Serverless computing with stateless cloud functions has been gaining popularity. This has raised interest in studying how to provide state management in the serverless setting. Current cloud providers offer a limited number of choices for state management, none of them like a POSIX-compliant file system that most programmers are familiar with. TSFS, a Transactional Shared File System for serverless computing, is an attempt to add a missing piece to state management in serverless computing. To support consistency guarantees implied by POSIX specification and the performance requirements necessary for large number of concurrent cloud function invocations, we implement a hybrid distributed concurrency control protocol that resolves read-write or write-read conflicts optimistically, but write-write conflicts pessimistically while maintaining cache consistency. Both concurrency control and caching mechanisms are unified through the concept of logical leases. We conduct an experiment to see if this hybrid concurrency control protocol is a good fit for TSFS, and whether it might offer a potential alternative for optimistic concurrency control protocol that TSFS presently implements.

---

BibTeX citation:

@mastersthesis{Chen:EECS-2020-196,
    Author= {Chen, Libo},
    Title= {A Hybrid Concurrency Control Protocol for TSFS},
    School= {EECS Department, University of California, Berkeley},
    Year= {2020},
    Month= {Dec},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-196.html},
    Number= {UCB/EECS-2020-196},
    Abstract= {Serverless computing with stateless cloud functions has been gaining popularity. This has raised interest in studying how to provide state management in the serverless setting. Current cloud providers offer a limited number of choices for state management, none of them like a POSIX-compliant file system that most programmers are familiar with. TSFS, a Transactional Shared File System for serverless computing, is an attempt to add a missing piece to state management in serverless computing. To support consistency guarantees implied by POSIX specification and the performance requirements necessary for large number of concurrent cloud function invocations, we implement a hybrid distributed concurrency control protocol that resolves read-write or write-read conflicts optimistically, but write-write conflicts pessimistically while maintaining cache consistency. Both concurrency control and caching mechanisms are unified through the concept of logical leases. We conduct an experiment to see if this hybrid concurrency control protocol is a good fit for TSFS, and whether it might offer a potential alternative for optimistic concurrency control protocol that TSFS presently implements.},
}

EndNote citation:

%0 Thesis
%A Chen, Libo 
%T A Hybrid Concurrency Control Protocol for TSFS
%I EECS Department, University of California, Berkeley
%D 2020
%8 December 1
%@ UCB/EECS-2020-196
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-196.html
%F Chen:EECS-2020-196