{"data":{"id":"10.48550/arxiv.cs/0407055","type":"dois","attributes":{"doi":"10.48550/arxiv.cs/0407055","prefix":"10.48550","suffix":"arxiv.cs/0407055","identifiers":[{"identifier":"cs/0407055","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"cs/0407055"}],"creators":[{"name":"Pedicini, M.","nameType":"Personal","givenName":"M.","familyName":"Pedicini","affiliation":[],"nameIdentifiers":[]},{"name":"Quaglia, F.","nameType":"Personal","givenName":"F.","familyName":"Quaglia","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction"}],"publisher":"arXiv","container":{},"publicationYear":2004,"subjects":[{"lang":"en","subject":"Logic in Computer Science (cs.LO)","subjectScheme":"arXiv"},{"lang":"en","subject":"Distributed, Parallel, and Cluster Computing (cs.DC)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"F.4.1","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2004-07-22T17:52:39Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2009-12-01T04:06:54Z","dateType":"Updated","dateInformation":"v1"},{"date":"2004-07-23T10:53:21Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2009-12-01T04:06:54Z","dateType":"Updated","dateInformation":"v2"},{"date":"2004-07","dateType":"Available","dateInformation":"v1"},{"date":"2004","dateType":"Issued"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"2","rightsList":[{"rights":"Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004","rightsUri":"http://arxiv.org/licenses/assumed-1991-2003/"}],"descriptions":[{"description":"In this article we present the implementation of an environment supporting Lévy's \\emph{optimal reduction} for the $λ$-calculus \\cite{Lev78} on parallel (or distributed) computing systems. In a similar approach to Lamping's one in \\cite{Lamping90}, we base our work on a graph reduction technique known as \\emph{directed virtual reduction} \\cite{DPR97} which is actually a restriction of Danos-Regnier virtual reduction \\cite{DanosRegnier93}. The environment, which we refer to as PELCR (Parallel Environment for optimal Lambda-Calculus Reduction) relies on a strategy for directed virtual reduction, namely {\\em half combustion}, which we introduce in this article. While developing PELCR we have adopted both a message aggregation technique, allowing a reduction of the communication overhead, and a fair policy for distributing dynamically originated load among processors. We also present an experimental study demonstrating the ability of PELCR to definitely exploit parallelism intrinsic to $λ$-terms while performing the reduction. By the results we show how PELCR allows achieving up to 70/80% of the ideal speedup on last generation multiprocessor computing systems. As a last note, the software modules have been developed with the {\\tt C} language and using a standard interface for message passing, i.e. MPI, thus making PELCR itself a highly portable software package.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi5DUy8wNDA3MDU1PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+Y3MvMDQwNzA1NTwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5QZWRpY2luaSwgTS48L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPk0uPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlBlZGljaW5pPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPlF1YWdsaWEsIEYuPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5GLjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5RdWFnbGlhPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5QRUxDUjogUGFyYWxsZWwgRW52aXJvbm1lbnQgZm9yIE9wdGltYWwgTGFtYmRhLUNhbGN1bHVzIFJlZHVjdGlvbjwvdGl0bGU+CiAgPC90aXRsZXM+CiAgPHB1Ymxpc2hlcj5hclhpdjwvcHVibGlzaGVyPgogIDxwdWJsaWNhdGlvblllYXI+MjAwNDwvcHVibGljYXRpb25ZZWFyPgogIDxzdWJqZWN0cz4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPkxvZ2ljIGluIENvbXB1dGVyIFNjaWVuY2UgKGNzLkxPKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPkRpc3RyaWJ1dGVkLCBQYXJhbGxlbCwgYW5kIENsdXN0ZXIgQ29tcHV0aW5nIChjcy5EQyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBDb21wdXRlciBhbmQgaW5mb3JtYXRpb24gc2NpZW5jZXM8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9IkFDTSI+Ri40LjE8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA0LTA3LTIyVDE3OjUyOjM5WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA5LTEyLTAxVDA0OjA2OjU0WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjIiPjIwMDQtMDctMjNUMTA6NTM6MjFaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjIiPjIwMDktMTItMDFUMDQ6MDY6NTRaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IkF2YWlsYWJsZSIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAwNC0wNzwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iUHJlcHJpbnQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4yPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvYXNzdW1lZC0xOTkxLTIwMDMvIj5Bc3N1bWVkIGFyWGl2Lm9yZyBwZXJwZXR1YWwsIG5vbi1leGNsdXNpdmUgbGljZW5zZSB0byBkaXN0cmlidXRlIHRoaXMgYXJ0aWNsZSBmb3Igc3VibWlzc2lvbnMgbWFkZSBiZWZvcmUgSmFudWFyeSAyMDA0PC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+SW4gdGhpcyBhcnRpY2xlIHdlIHByZXNlbnQgdGhlIGltcGxlbWVudGF0aW9uIG9mIGFuIGVudmlyb25tZW50IHN1cHBvcnRpbmcgTMOpdnkncyBcZW1waHtvcHRpbWFsIHJlZHVjdGlvbn0gZm9yIHRoZSAkzrskLWNhbGN1bHVzIFxjaXRle0xldjc4fSBvbiBwYXJhbGxlbCAob3IgZGlzdHJpYnV0ZWQpIGNvbXB1dGluZyBzeXN0ZW1zLiBJbiBhIHNpbWlsYXIgYXBwcm9hY2ggdG8gTGFtcGluZydzIG9uZSBpbiBcY2l0ZXtMYW1waW5nOTB9LCB3ZSBiYXNlIG91ciB3b3JrIG9uIGEgZ3JhcGggcmVkdWN0aW9uIHRlY2huaXF1ZSBrbm93biBhcyBcZW1waHtkaXJlY3RlZCB2aXJ0dWFsIHJlZHVjdGlvbn0gXGNpdGV7RFBSOTd9IHdoaWNoIGlzIGFjdHVhbGx5IGEgcmVzdHJpY3Rpb24gb2YgRGFub3MtUmVnbmllciB2aXJ0dWFsIHJlZHVjdGlvbiBcY2l0ZXtEYW5vc1JlZ25pZXI5M30uCiAgVGhlIGVudmlyb25tZW50LCB3aGljaCB3ZSByZWZlciB0byBhcyBQRUxDUiAoUGFyYWxsZWwgRW52aXJvbm1lbnQgZm9yIG9wdGltYWwgTGFtYmRhLUNhbGN1bHVzIFJlZHVjdGlvbikgcmVsaWVzIG9uIGEgc3RyYXRlZ3kgZm9yIGRpcmVjdGVkIHZpcnR1YWwgcmVkdWN0aW9uLCBuYW1lbHkge1xlbSBoYWxmIGNvbWJ1c3Rpb259LCB3aGljaCB3ZSBpbnRyb2R1Y2UgaW4gdGhpcyBhcnRpY2xlLiBXaGlsZSBkZXZlbG9waW5nIFBFTENSIHdlIGhhdmUgYWRvcHRlZCBib3RoIGEgbWVzc2FnZSBhZ2dyZWdhdGlvbiB0ZWNobmlxdWUsIGFsbG93aW5nIGEgcmVkdWN0aW9uIG9mIHRoZSBjb21tdW5pY2F0aW9uIG92ZXJoZWFkLCBhbmQgYSBmYWlyIHBvbGljeSBmb3IgZGlzdHJpYnV0aW5nIGR5bmFtaWNhbGx5IG9yaWdpbmF0ZWQgbG9hZCBhbW9uZyBwcm9jZXNzb3JzLgogIFdlIGFsc28gcHJlc2VudCBhbiBleHBlcmltZW50YWwgc3R1ZHkgZGVtb25zdHJhdGluZyB0aGUgYWJpbGl0eSBvZiBQRUxDUiB0byBkZWZpbml0ZWx5IGV4cGxvaXQgcGFyYWxsZWxpc20gaW50cmluc2ljIHRvICTOuyQtdGVybXMgd2hpbGUgcGVyZm9ybWluZyB0aGUgcmVkdWN0aW9uLiBCeSB0aGUgcmVzdWx0cyB3ZSBzaG93IGhvdyBQRUxDUiBhbGxvd3MgYWNoaWV2aW5nIHVwIHRvIDcwLzgwJSBvZiB0aGUgaWRlYWwgc3BlZWR1cCBvbiBsYXN0IGdlbmVyYXRpb24gbXVsdGlwcm9jZXNzb3IgY29tcHV0aW5nIHN5c3RlbXMuIEFzIGEgbGFzdCBub3RlLCB0aGUgc29mdHdhcmUgbW9kdWxlcyBoYXZlIGJlZW4gZGV2ZWxvcGVkIHdpdGggdGhlIHtcdHQgQ30gbGFuZ3VhZ2UgYW5kIHVzaW5nIGEgc3RhbmRhcmQgaW50ZXJmYWNlIGZvciBtZXNzYWdlIHBhc3NpbmcsIGkuZS4gTVBJLCB0aHVzIG1ha2luZyBQRUxDUiBpdHNlbGYgYSBoaWdobHkgcG9ydGFibGUgc29mdHdhcmUgcGFja2FnZS48L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/cs/0407055","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-18T04:13:57.000Z","registered":"2022-03-18T04:13:58.000Z","published":"2004","updated":"2022-03-18T04:13:58.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.cs/0407055","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}