Parallel Execution of Multi Set Constraint Rewrite Rules

Martin Sulzmann; Edmund Soon Lee Lam

Parallel Execution of Multi Set Constraint Rewrite Rules

Martin Sulzmann, Edmund Soon Lee Lam

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures

Originalsprog	Engelsk
Titel	PPDP’08 : Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Antal sider	12
Forlag	Association for Computing Machinery
Publikationsdato	2008
Sider	20-31
ISBN (Trykt)	978-1-60558-117-0
Status	Udgivet - 2008
Begivenhed	PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming - Valencia, Spanien Varighed: 15 jul. 2008 → 17 jul. 2008 Konferencens nummer: 10

Konference

Konference	PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Nummer	10
Land/Område	Spanien
By	Valencia
Periode	15/07/2008 → 17/07/2008

Emneord

Multi-set constraint rewriting
Parallel computational model
Constraint solving
Multi-core architectures
Parallel execution algorithms

Citationsformater

@inproceedings{f0b98880938411dd8006000ea68e967b,

title = "Parallel Execution of Multi Set Constraint Rewrite Rules",

abstract = "Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures",

keywords = "Multi-set constraint rewriting, Parallel computational model, Constraint solving, Multi-core architectures, Parallel execution algorithms, Multi-set constraint rewriting, Parallel computational model, Constraint solving, Multi-core architectures, Parallel execution algorithms",

author = "Martin Sulzmann and Lam, {Edmund Soon Lee}",

year = "2008",

language = "English",

isbn = "978-1-60558-117-0",

pages = "20--31",

booktitle = "PPDP{\textquoteright}08",

publisher = "Association for Computing Machinery",

address = "United States",

note = "PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming ; Conference date: 15-07-2008 Through 17-07-2008",

}

Sulzmann, M & Lam, ESL 2008, Parallel Execution of Multi Set Constraint Rewrite Rules. i PPDP’08: Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, s. 20-31, PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spanien, 15/07/2008.

Parallel Execution of Multi Set Constraint Rewrite Rules. / Sulzmann, Martin; Lam, Edmund Soon Lee.
PPDP’08: Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 2008. s. 20-31.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Parallel Execution of Multi Set Constraint Rewrite Rules

AU - Sulzmann, Martin

AU - Lam, Edmund Soon Lee

N1 - Conference code: 10

PY - 2008

Y1 - 2008

N2 - Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures

AB - Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures

KW - Multi-set constraint rewriting

KW - Parallel computational model

KW - Constraint solving

KW - Multi-core architectures

KW - Parallel execution algorithms

KW - Multi-set constraint rewriting

KW - Parallel computational model

KW - Constraint solving

KW - Multi-core architectures

KW - Parallel execution algorithms

M3 - Article in proceedings

SN - 978-1-60558-117-0

SP - 20

EP - 31

BT - PPDP’08

PB - Association for Computing Machinery

T2 - PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Y2 - 15 July 2008 through 17 July 2008

ER -