The impact of cache coherence protocols on parallel logic programming systems

• Type: Article in International Conference Proceedings Book
• Date: 2000

Authors

De Castro Dutra, I (Author) Other; Costa, VS (Author) FCUP; Bianchini, R (Author) Other

Conference proceedings International

Title: COMPUTATIONAL LOGIC - CL 2000

Pages: 1285-1299

1st International Conference on Computational Logic, CL 2000

London, 24 July 2000 through 28 July 2000

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 2 Citations

Other information

Authenticus ID: P-008-6VV

DOI: 10.1007/3-540-44957-4_86

Abstract (EN): In this paper we use execution-driven simulation of a scalable multiprocessor to evaluate the performance of the Andorra-I parallel logic programming system under invalidate and update-based protocols. We use two versions of Andorra-I. One of them was originally designed for bus-based multiprocessors, while the other is optimised for scalable architectures. We study a well-known invalidate protocol and two different update-based protocols. Our results show that for our sample logic programs the update-based protocols outperform their invalidate-based counterpart for the original version of Andorra-I. In contrast, the optimised version of Andorra-I benefits the most from the invalidate-based protocol, but a hybrid update-based protocol performs as well as the invalidate protocol in most cases. We conclude that parallel logic programming systems can consistently benefit from hybrid update-based protocols. © Springer-Verlag Berlin Heidelberg 2000.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15