Quote: reimplemented VMMC using 500 lines of ESP and 3000 lines of C; replaced 15,600 lines; exhaustively checked the ESP code

Quotation Skeleton

The Virtual Memory-Mapped Communication (VMMC) architecture [ref] delivers high performance on gigabit networks by using sophisticated network … Most of the software complexity is concentrated in … [Despite significant effort], we continue to encounter bugs in the … The ESP version has 500 lines of ESP … are restricted to the ESP code, which uses … This is a significant improvement over the C … [p. 252] For every process in the VMCC firmware, … The biggest process … required only 67.6 seconds of processor time and … The memory-safety model generated by the ESP compiler … leaks … Once debugged, the firmware was ported to the … [p. 254] The additional overhead to maintain the reference … message processing cost.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: ESP reference counts for multi-process malloc/free cost 1.5 to 7.4% of messaging costs

Related Topics

Topic: model checker (49 items)
Group: parallel processing   (41 topics, 1116 quotes)
Topic: safe use of pointers (102 items)