
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div class="elementToProof" style="font-family: Calibri, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">

This is an announcement of Hai Nguyen's Dissertation Defense.<br>

===============================================<br>

Candidate: Hai Nguyen<br>

<br>

Date: Wednesday, May 29, 2024<br>

<br>

Time: 11:30 am CT<br>

<br>

Remote Location: <a href="https://urldefense.com/v3/__https://uchicago.zoom.us/j/93368142903?pwd=YU5UZjZRM1UrdUZST05jZWVvUTFuQT09__;!!BpyFHLRN4TMTrA!8hkOmda6kRfRxpFR040GrheixtjcnT1LaZyHep5Y4etCYZN4HcREApSiVGYAfO8_XlqH3VOdRT9lz3wJJQGysOls15aZJbxCqFFal-hRpw$" id="OWA05157f61-2f31-5de9-4baa-59aa5478baf6" class="OWAAutoLink" data-loopstyle="linkonly" style="text-align: left;">

https://uchicago.zoom.us/j/93368142903?pwd=YU5UZjZRM1UrdUZST05jZWVvUTFuQT09</a><br>

<br>

Location: JCL 346<br>

<br>

Title: Rate-based Abstract Machine: An Efficient Computation Model for Guaranteeing Performance of Bursty, Real-time Applications<br>

<br>

Abstract: Cloud Function-as-a-Service (FaaS) systems offer statistical guarantees and cannot meet the deadlines of bursty, real-time applications. To address this limitation, we propose the Rate-based Abstract Machine (RBAM), a performance abstraction for FaaS

 functions. RBAM provides a guaranteed invocation rate for each FaaS function, enabling applications to meet real-time requirements. In this thesis, we address the generality, efficient realizability, and applicability of the RBAM model.<br>

First, we show that RBAM is complete as primitive, able to realize the deadlines of any rate monotonic real-time workload at a bounded cost. We do so by constructing an analytical framework based for rate-monotonic workloads and then proving that RBAM effectively

 bounds FaaS invocation latency. This ensures the applications meet their real-time deadlines. Additionally, we derive bounds on the required invocation rate and corresponding resource overhead, showing how to realize any set of guarantees.<br>

Second, we demonstrate that the RBAM performance abstraction can be efficiently realized in today's cloud environments. To do so, we propose new rate-based invocation scheduling and resource management algorithms and show how they employ resource sharing and

 overallocation to enforce the rate guarantees.  We document their ability to achieve performance guarantee at a low resource cost, and scale well to large systems.  Finally, we show that they are robust across varied application dynamics and deployment environments.<br>

Third, we demonstrate RBAM's applicability by using it to implement a stream processing engine called Storm-RTS and also a distributed real-time video analytics application.  These applications illustrate RBAM's expressiveness in describing application performance

 guarantees, how implementation can deliver robust performance against various workload burstiness, and how its performance guarantees can enable application deployment flexibility. The latter is particularly useful as declarative policies can ensure performance

 stability and optimized deployment for various objectives (eg. cost or carbon).<br>

In summary, RBAM is a performance abstraction that extends the FaaS model to efficiently and scalably support bursty, real-time applications across various scenarios.  In addition, RBAM simplifies the implementation and deployment of applications with real-time

 guarantees.   The rate guarantee can be used as a quality of service parameter to help applications configure for specific performance needs.<br>

<br>

Advisors: Andrew Chien<br>

<br>

Committee Members: Andrew Chien, Kyle Chard, Junchen Jiang, and Sanjay Krishnan</div>

<div style="direction: ltr; text-align: left; text-indent: 0px; font-family: Calibri, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Calibri, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">

<br>

<br>

</div>

<div id="Signature">

<div style="background-color: rgb(255, 255, 255);"></div>

</div>

</body>

</html>