• Corpus ID: 1917727

Efficient Hardware Arithmetic in Common Lisp Hardware cycles , and one Ring to find them

@inproceedings{Dejneka2004EfficientHA,
  title={Efficient Hardware Arithmetic in Common Lisp Hardware cycles , and one Ring to find them},
  author={Alexey Dejneka and Christophe Rhodes},
  year={2004}
}
We describe a system whereby algorithms on arithmetic rings, such as those used in computing hash values, can be supported by using hardware instructions as typically found on general-purpose processors, even if the implementation of the algorithm is in a language and context generally without access to the underlying hardware. We present examples of how Lisp environments have previously dealt with efficiency issues in the mismatch between high-level arithmetic and the ring arithmetic provided… 
1 Citations

Tables from this paper

Using Lisp Implementation Internals Unportable but Fun
We present a number of developer tools and language extensions that are available for use with Steel Bank Common Lisp, but which are perhaps not as well-known as they could be. Our motivation is

References

SHOWING 1-9 OF 9 REFERENCES
Widening Integer Arithmetic
TLDR
This work presents a widening transformation, where almost every narrow operation can be widened by sign- or zero-extending the operands and using a target-machine instruction at its natural width.
CMU Common Lisp User''s Manual
TLDR
This document describes the Python compiler and the programming styles and techniques that the compiler encourages, and added several extensions, including a source level debugger, an interface to Unix system calls, a foreign function call interface, support for interprocess communication and remote procedure call, and other features that provide a good environment for developing Lisp code.
ACL2 Theorems About Commercial Microprocessors
TLDR
This work proved the correctness of the kernel of the floating-point division operation on AMD's first Pentium-class microprocessor, the AMD5 K 86, and discussed ACL2 and industrial applications, with particular attention to the microcode verification work.
The MD5 Message-Digest Algorithm. RFC 1321, MIT Laboratory for Computer Science and RSA Data
  • 1992
SHA1). RFC 3174, Motorola and Cisco Systems
  • SHA1). RFC 3174, Motorola and Cisco Systems
  • 2001
US Secure Hash Algorithm 1 (SHA1)
The purpose of this document is to make the SHA-1 (Secure Hash Algorithm 1) hash algorithm conveniently available to the Internet community. The United States of America has adopted the SHA-1 hash
Information Technology – Programming Language – Common Lisp
  • Number
  • 1994
The MD5 Message-Digest Algorithm. RFC 1321
  • The MD5 Message-Digest Algorithm. RFC 1321
  • 1992
Steel Bank Common Lisp User Manual. in preparation
  • Steel Bank Common Lisp User Manual. in preparation