Applying Prolog to develop distributed systems

Theory and Practice of Logic Programming

Volumn 10, Issue 4-6, 2010, Pages 691-707

  Lopes, Nuno P ^a   Navarro, Juan A ^b   Rybalchenko, Andrey ^b   Singh, Atul ^c  

^a INESC ID   (Portugal)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c NEC LABORATORIES AMERICA   (United States)

Author keywords

distributed systems; logic programming; Prolog

Indexed keywords

A-PROLOG; APPLICATION AREA; BYZANTINE FAULT TOLERANCE; DATALOG; DECLARATIVE PROGRAMMING; DISTRIBUTED SOFTWARE; DISTRIBUTED SYSTEMS; EVENT DRIVEN CONTROL; EXPERIMENTAL EVALUATION; PROGRAMMING SYSTEM; PROLOG;

DATA STRUCTURES; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LOGIC PROGRAMMING; MODEL CHECKING; PROLOG (PROGRAMMING LANGUAGE); QUALITY ASSURANCE;

COMPUTER SYSTEMS PROGRAMMING;

EID: 77957226452     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000360     Document Type: Conference Paper

References (38)

1. ALVARO, P., CONDIE, T., CONWAY, N., ELMELEEGY, K., HELLERSTEIN, J. M. AND SEARS, R. C. 2009. BOOM: Data-Centric Programming in the Datacenter. Technical Report UCB/EECS-2009-98, EECS Department, University of California, Berkeley.
2. ALVARO, P., CONDIE, T., CONWAY, N., HELLERSTEIN, J. M. AND SEARS, R. 2010. I Do Declare: Consensus in a Logic Language. ACM SIGOPS Operating Systems Review 43, 4, 25-30.
3. ARMSTRONG, J., VIRDING, R., WIKSTRöM, C. AND WILLIAMS, M. 1993. Concurrent Programming in ERLANG. Prentice Hall.
4. ASHLEY-ROLLMAN, M., GOLDSTEIN, S., LEE, P., MOWRY, T. AND PILLAI, P. 2007. Meld: A declarative approach to programming ensembles. In IEEE/RSJ International Conference on Intelligent Robots and Systems. 2794-2800.
5. ASHLEY-ROLLMAN, M. P., LEE, P., GOLDSTEIN, S. C., PILLAI, P. AND CAMPBELL, J. D. 2009. A language for large ensembles of independently executing nodes. In ICLP'09: Proceedings of the 25th International Conference on Logic Programming. Springer, Berlin, 265-280.
6. BAL, H. E. 1993. Evaluation of KL1 and the inference machine. Future Generation Computer Systems 9, 2, 119-125.
7. BANERJEE, S., BHATTACHARJEE, B. AND KOMMAREDDY, C. 2002. Scalable Application Layer Multicast. In SIGCOMM'02: Proceedings of the 2002 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications. ACM, New York, 205-217. (Pubitemid 43843785)
8. BELARAMANI, N., ZHENG, J., NAYATE, A., SOULé, R., DAHLIN, M. AND GRIMM, R. 2008. PADRE: A policy architecture for building data REplication systems. Technical Report TR-08-25, University of Texas, Austin.
9. BIAGIONI, E., HARPER, R. AND LEE, P. 2001. A network protocol stack in standard ML. Higher Order Symbolic Computation 14, 4, 309-356. (Pubitemid 34291688)
10. CASAS, A., CARRO, M. AND HERMENEGILDO, M. V. 2008. A high-level implementation of nondeterministic, unrestricted, independent and-parallelism. In ICLP'08: Proceedings of the 24th International Conference on Logic Programming. Springer, Berlin, 651-666.
11. CASTRO, M., DRUSCHEL, P., KERMARREC, A.-M., NANDI, A., ROWSTRON, A. AND SINGH, A. 2003. SplitStream: High-bandwidth multicast in cooperative environments. In SOSP'03: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles. ACM, New York, 298-313. (Pubitemid 40929704)
12. CHU, D., POPA, L., TAVAKOLI, A., HELLERSTEIN, J. M., LEVIS, P., SHENKER, S. AND STOICA, I. 2007. The design and implementation of a declarative sensor network system. In SenSys'07: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems. ACM, New York, 175-188.
13. CHU, Y.-H., GANJAM, A., NG, T. S. E., RAO, S. G., SRIPANIDKULCHAI, K., ZHAN, J. AND ZHANG, H. 2004. Early experience with an internet broadcast system based on overlay multicast. In ATEC'04: Proceedings of the Annual Conference on USENIX Annual Technical Conference. USENIX Association, Berkeley, CA, 12-12.
14. CLEMENT, A., WONG, E., ALVISI, L., DAHLIN, M., AND MARCHETTI, M. 2009. Making Byzantine fault tolerant systems tolerate byzantine faults. In NSDI'09: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation. USENIX Association, Berkeley, CA, 153-168.
15. GRUMBACH, S. AND WANG, F. 2010. Netlog, a rule-based language for distributed programming. In PADL'10: Proceedings of the Eleventh International Symposium on Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, vol. 5937. Springer, 88-103.
16. GUPTA, G., PONTELLI, E., ALI, K. A., CARLSSON, M. AND HERMENEGILDO, M. V. 2001. Parallel execution of prolog programs: A survey. ACM Transactions on Programming Languages and Systems 23, 4, 472-602. (Pubitemid 33609121)
17. JANNOTTI, J., GIFFORD, D. K., JOHNSON, K. L., KAASHOEK, M. F. AND O'TOOLE, JR., J. W. 2000. Overcast: Reliable Multicasting with an Overlay Network. In OSDI'00: Proceedings of the 4th conference on Symposium on Operating System Design and Implementation. USENIX Association, Berkeley, CA, 14-14.
18. KILLIAN, C. E., ANDERSON, J. W., BRAUD, R., JHALA, R., AND VAHDAT, A. M. 2007. Mace: Language support for building distributed systems. In PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, 179-188. (Pubitemid 47630686)
19. KILLIAN, C. E., ANDERSON, J. W., JHALA, R. AND VAHDAT, A. 2007. Life, death, and the critical transition: Finding liveness bugs in systems code. In NSDI'07: Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation. USENIX Association, Berkeley, CA.
20. KOTLA, R., ALVISI, L., DAHLIN, M., CLEMENT, A. AND WONG, E. 2007. Zyzzyva: Speculative Byzantine fault tolerance. ACM SIGOPS Operating Systems Review 41, 6, 45-58. (Pubitemid 351429388)
21. LEONINI, L., RIVIèRE, E. AND FELBER, P. 2009. SPLAY: Distributed systems evaluation made simple. In NSDI'09: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation. USENIX Association, Berkeley, CA, 185-198.
22. LI, B., XIE, S., KEUNG, G., LIU, J., STOICA, I., ZHANG, H. AND ZHANG, X. 2007. An empirical study of the Coolstreaming+ System. IEEE Journal on Selected Areas in Communications 25, 9 (Dec.), 1627-1639. (Pubitemid 350210494)
23. LOO, B. T., CONDIE, T., GAROFALAKIS, M., GAY, D. E., HELLERSTEIN, J. M., MANIATIS, P., RAMAKRISHNAN, R., ROSCOE, T. AND STOICA, I. 2006. Declarative networking: Language, execution and optimization. In SIGMOD'06: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data. ACM, New York, 97-108. (Pubitemid 46946505)
24. LOO, B. T., CONDIE, T., HELLERSTEIN, J. M., MANIATIS, P., ROSCOE, T. AND STOICA, I. 2005. Implementing declarative overlays. ACM SIGOPS Operating Systems Review 39, 5, 75-90. (Pubitemid 44892206)
25. LOPES, N. P. AND RYBALCHENKO, A. 2010. Distributed and predictable software model checking. Draft manuscript.
26. MADHAVAPEDDY, A., HO, A., DEEGAN, T., SCOTT, D. AND SOHAN, R. 2007. Melange: Creating a "Functional" Internet. In EuroSys'07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems. ACM, New York, 101-114.
27. MAO, Y. 2010. On the declarativity of declarative networking. ACM SIGOPS Operating Systems Review 43, 4, 19-24.
28. MATHEWSON, N. AND PROVOS, N. 2009. libevent Documentation. Release 1.4.9.
29. NAVARRO, J. A. AND RYBALCHENKO, A. 2009. Operational Semantics for Declarative Networking. In PADL'09: Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages. Springer, Berlin, 76-90.
30. PéREZ, J. A., RYBALCHENKO, A. AND SINGH, A. 2009. Cardinality abstraction for declarative networking applications. In CAV'09: Proceedings of the 21st International Conference on Computer Aided Verification. Springer, Berlin, 584-598.
31. RHEA, S., GEELS, D., ROSCOE, T. AND KUBIATOWICZ, J. 2004. Handling churn in a DHT. In ATEC'04: Proceedings of the Annual Conference on USENIX Annual Technical Conference. USENIX Association, Berkeley, CA, 10-10.
32. SINGH, A., DAS, T., MANIATIS, P., DRUSCHEL, P., AND ROSCOE, T. 2008. BFT protocols under fire. In NSDI'08: Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation. USENIX Association, Berkeley, CA, 189-204.
33. STOICA, I., MORRIS, R., KARGER, D., KAASHOEK, M. F., AND BALAKRISHNAN, H. 2001. Chord: A scalable peer-to-peer lookup service for Internet applications. ACM SIGCOMM Computer Communication Review 31, 4, 149-160. (Pubitemid 32981961)
34. THE INTELLIGENT SYSTEMS LABORATORY. 2009. SICStus Prolog User's Manual. Swedish Institute of Computer Science. Release 4.0.5.
35. VAHDAT, A., YOCUM, K., WALSH, K., MAHADEVAN, P., KOSTIĆ, D., CHASE, J. AND BECKER, D. 2002. Scalability and accuracy in a large-scale network emulator. ACM SIGOPS Operating Systems Review 36, SI, 271-284.
36. WANG, A., BASU, P., LOO, B. T. AND SOKOLSKY, O. 2009. Declarative network verification. In PADL'09: Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages. Springer, Berlin, 61-75.
37. WHITE, B., LEPREAU, J., STOLLER, L., RICCI, R., GURUPRASAD, S., NEWBOLD, M., HIBLER, M., BARB, C. AND JOGLEKAR, A. 2002. An integrated experimental environment for distributed systems and networks. ACM SIGOPS Operating Systems Review 36, SI, 255-270.
38. YABAN DE H, M., KNEŽEVIĆ, N., KOSTIĆ, D. AND KUNCAK, V. 2010. Predicting and preventing inconsistencies in deployed distributed systems. ACM Transactions on Computer Systems 28, 1, 1-49.