Towards a Simple Service Compiler

被引:0
|
作者
Kiciman, Emre [1 ]
机构
[1] Microsoft Res, Redmond, WA USA
关键词
Internet Services;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Over the last 10-15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all lacing common challenges in performance, reliability, and scalability. To address these challenges, developers consistently draw from a relatively small repertoire of software architecture design patterns or best practices, such as replication, tiering, pre-computation, and caching. The application of these techniques across different services, however, varies significantly in both their design and implementation. There is, however, a good reason for this variation in implementation: their effectiveness depends heavily on the service's semantic requirements, its workloads, performance and other runtime and environmental characteristics. The implication is that taking advantage of today's best practices and design patterns requires that developers have a deep. end-to-end understanding of their service's functionality, workloads, and system infrastructure. Our insight is that most of this critical information is directly measurable, and, in this presentation, discuss our research towards building a system, analogous to a profile-driven optimizing compiler, that separates architectural decisions to support performance, reliability, and scalability from service functionality.
引用
收藏
页码:1 / 1
页数:1
相关论文
共 50 条
  • [1] π: Towards a Simple Formal Semantic Framework for Compiler Construction
    Braga, Christiano
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1562 - 1569
  • [2] Α simple compiler-compiler for microcomputer
    Mössenböck, H.
    IT - Information Technology, 1984, 26 (1-6): : 186 - 194
  • [3] Towards the verifying compiler
    Hoare, T
    FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 151 - 160
  • [4] Towards a Compiler for Reals
    Darulova, Eva
    Kuncak, Viktor
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017, 39 (02):
  • [5] Towards a mechatronic compiler
    Van Brussel, H
    Sas, P
    Németh, I
    De Fonseca, P
    Van den Braembussche, P
    IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2001, 6 (01) : 90 - 105
  • [6] Towards the verifying compiler
    Hoare, T
    FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 124 - 136
  • [7] A Surprisingly Simple Lua Compiler
    Gualandi, Hugo Musso
    Ierusalimschy, Roberto
    25TH BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES, SBLP 2021, 2021, : 1 - 8
  • [8] Online Compiler as a Cloud Service
    Datta, Arjun
    Paul, Arnab Kumar
    2014 INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION CONTROL AND COMPUTING TECHNOLOGIES (ICACCCT), 2014, : 1783 - 1786
  • [9] Towards an automatic uncertainty compiler
    Gray, Nicholas
    de Angelis, Marco
    Ferson, Scott
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 160
  • [10] Towards a Natural Language Compiler
    Zuniga, Angel
    Sierra, Gerardo
    Bel-Enguix, Gemma
    Galicia-Haro, Sofia N.
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, MICAI 2018, PT II, 2018, 11289 : 70 - 82