Smile: Enabling Easy and Fast Development of Domain-Specific Scheduling Protocols

  • Christian Tilgner
  • Boris Glavic
  • Michael Böhlen
  • Carl-Christian Kanne
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7051)


Modern server systems schedule large amounts of concurrent requests constrained by, e.g., correctness criteria and service-level agreements. Since standard database management systems provide only limited consistency levels, the state of the art is to develop schedulers imperatively which is time-consuming and error-prone. In this poster, we present Smile (declarative Scheduling MIddLEware), a tool for developing domain-specific scheduling protocols declaratively. Smile decreases the effort to implement and adapt such protocols because it abstracts from low level scheduling details allowing developers to focus on the protocol implementation. We demonstrate the advantages of our approach by implementing a domain-specific use case protocol.


Protocol Implementation Correctness Criterion Schedule Constraint Schedule Protocol Premium Customer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.: Boom Analytics: Exploring Data-Centric, Declarative Programming for the Cloud. In: EuroSys, pp. 223–236 (2010)Google Scholar
  2. 2.
    Cooper, B.F., Ramakrishnan, R., Srivastava, U., Silberstein, A., Bohannon, P., Jacobsen, H.-A., Puz, N., Weaver, D., Yerneni, R.: PNUTS: Yahoo!’s Hosted Data Serving Platform. PVLDB 1(2), 1277–1288 (2008)Google Scholar
  3. 3.
    Tilgner, C.: Declarative Scheduling in Highly Scalable Systems. In: EDBT/ICDT Workshops, pp. 41:1–41:6 (2010)Google Scholar
  4. 4.
    Tilgner, C., Glavic, B., Boehlen, M., Kanne, C.-C.: Correctness Proof of the Declarative SS2PL Protocol Implementation. Technical Report IFI-2010.0008, University of Zurich, Department of Informatics (2010)Google Scholar
  5. 5.
    Vogels, W.: Data Access Patterns in The Technology Platform. In: VLDB, vol. 1 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Christian Tilgner
    • 1
  • Boris Glavic
    • 2
  • Michael Böhlen
    • 1
  • Carl-Christian Kanne
    • 3
  1. 1.University of ZurichSwitzerland
  2. 2.University of TorontoUSA
  3. 3.University of MannheimGermany

Personalised recommendations