Model Based
Recently Published Documents


TOTAL DOCUMENTS

63856
(FIVE YEARS 26506)

H-INDEX

209
(FIVE YEARS 71)

2022 ◽  
Vol 305 ◽  
pp. 117889
Author(s):  
Hong Tang ◽  
Shengwei Wang

2022 ◽  
Vol 187 ◽  
pp. 115936
Author(s):  
Essam H. Houssein ◽  
M. Hassaballah ◽  
Ibrahim E. Ibrahim ◽  
Diaa Salama AbdElminaam ◽  
Yaser M. Wazery

2021 ◽  
Vol 16 (12) ◽  
pp. 3721-3728
Author(s):  
Shingo Kayano ◽  
Hideki Ota ◽  
Yoshimichi Sato ◽  
Toshiki Endo ◽  
Kuniyasu Niizuma ◽  
...  

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-27
Author(s):  
Sebastian Burckhardt ◽  
Chris Gillum ◽  
David Justo ◽  
Konstantinos Kallas ◽  
Connor McMahon ◽  
...  

Serverless, or Functions-as-a-Service (FaaS), is an increasingly popular paradigm for application development, as it provides implicit elastic scaling and load based billing. However, the weak execution guarantees and intrinsic compute-storage separation of FaaS create serious challenges when developing applications that require persistent state, reliable progress, or synchronization. This has motivated a new generation of serverless frameworks that provide stateful abstractions. For instance, Azure's Durable Functions (DF) programming model enhances FaaS with actors, workflows, and critical sections. As a programming model, DF is interesting because it combines task and actor parallelism, which makes it suitable for a wide range of serverless applications. We describe DF both informally, using examples, and formally, using an idealized high-level model based on the untyped lambda calculus. Next, we demystify how the DF runtime can (1) execute in a distributed unreliable serverless environment with compute-storage separation, yet still conform to the fault-free high-level model, and (2) persist execution progress without requiring checkpointing support by the language runtime. To this end we define two progressively more complex execution models, which contain the compute-storage separation and the record-replay, and prove that they are equivalent to the high-level model.


2021 ◽  
Vol 173 ◽  
pp. 121082
Author(s):  
Alessandro Golkar ◽  
Ilya Yuskevich ◽  
Ksenia Smirnova ◽  
Rob Vingerhoeds

2021 ◽  
Vol 117 ◽  
pp. 104950
Author(s):  
Gianluca Papa ◽  
Mara Tanelli ◽  
Giulio Panzani ◽  
Sergio M. Savaresi

2022 ◽  
Vol 167 ◽  
pp. 108480
Author(s):  
Hao Lu ◽  
Xingwei Zhao ◽  
Bo Tao ◽  
Han Ding

2021 ◽  
Vol 35 (4) ◽  
Author(s):  
Xiangzhen Meng ◽  
Huimei Zhang ◽  
Xiaoyu Liu

2021 ◽  
Vol 7 ◽  
pp. 6473-6488
Author(s):  
Yaqing He ◽  
Kim Fung Tsang

2021 ◽  
Vol 117 ◽  
pp. 104941
Author(s):  
Lester Lik Teck Chan ◽  
Junghui Chen

Sign in / Sign up

Export Citation Format

Share Document