Máquina de reducción de gráficos

Computadora de propósito especial

Una máquina de reducción de gráficos es una computadora de propósito especial construida para realizar cálculos combinatorios mediante reducción de gráficos .

Los ejemplos incluyen la computadora SKIM ("SKI machine"), construida en el Laboratorio de Computación de la Universidad de Cambridge , ^[1] la computadora multiprocesador GRIP ("Graph Reduction In Parallel"), construida en el University College de Londres , ^{[2] [3]} y el Reduceron, que se implementó en un FPGA con el único propósito de ejecutar Haskell . ^{[4] [5]}

Véase también

• Máquina SECD

Referencias

1. Clarke, TJW; Gladstone, PJS; MacLean, CD; Norman, AC (25 de agosto de 1980). "SKIM - la máquina de reducción S, K, I". Actas de la conferencia ACM de 1980 sobre LISP y programación funcional - LFP '80 . LFP '80. Nueva York, NY, EE. UU.: Association for Computing Machinery. págs. 128–135. doi :10.1145/800087.802798. ISBN 978-1-4503-7396-8.S2CID10189254  .​
2. "Máquinas de reducción". 31 de julio de 2002. Archivado desde el original el 31 de julio de 2002 . Consultado el 1 de julio de 2023 .
3. Jones, Simon L. Peyton; Clack, Chris; Salkild, Jon; Hardie, Mark (1987). "GRIP — una arquitectura de alto rendimiento para la reducción de grafos paralelos". En Kahn, Gilles (ed.). Lenguajes de programación funcional y arquitectura de computadoras . Apuntes de clase en informática. Vol. 274. Berlín, Heidelberg: Springer. págs. 98–112. doi : 10.1007/3-540-18317-5_7 . ISBN 978-3-540-47879-9.
4. Naylor, Matthew; Runciman, Colin (2012). "El Reduceron reconfigurado y reevaluado". Revista de Programación Funcional . 22 (4–5): 574–613. doi : 10.1017/S0956796812000214 . ISSN  1469-7653. S2CID  1310090.
5. Naylor, Matthew; Runciman, Colin (2008). "El Reduceron: Ampliación del cuello de botella de von Neumann para la reducción de grafos utilizando un FPGA". En Chitil, Olaf; Horváth, Zoltán; Zsók, Viktória (eds.). Implementación y aplicación de lenguajes funcionales . Apuntes de clase en informática. Vol. 5083. Berlín, Heidelberg: Springer. págs. 129–146. doi :10.1007/978-3-540-85373-2_8. ISBN . 978-3-540-85373-2.

Lectura adicional

• TJW Clarke, P. Gladstone, C. MacLean, AC Norman: SKIM — La máquina de reducción S, K, I. Conferencia LISP, 1980: 128–135

Enlaces externos

• Máquinas de reducción, programación funcional paralela: una introducción, Kevin Hammond