Group: computer hardware
Group: goals for a programming system
Group: testing
Topic: computer architecture
Topic: declarative vs. procedural representation
Topic: discrete vs. continuous
Topic: program proving is infeasible
Topic: sensitivity of software to change
Topic: virtualized hardware
Topic: what is a computer
| |
Subtopic: hardware vs. software design
Quote: a computer hardware designer must use tolerances and statistical quality control [»dijkEW_1982]
| Quote: a hardware designer must continually learn new technologies [»dijkEW_1982]
| Quote: while hardware components have evolved rapidly, the target artifact is largely constant [»dijkEW_1982]
| Quote: for software, the source components are largely stable, but the target artifacts keep changing [»dijkEW_1982]
| Quote: software is especially complex because no two parts are alike while physical systems contain many repeated components [»brooFP_1986]
| Quote: a prototype in engineering is a phase of the production process where a model is built for testing and guidance; not applicable to software [»floyC_1984]
| Quote: hardware design and design checking of complex chips is heavily dependent on software [»wilkM10_1990]
| Quote: a programmer can write and call a subroutine just as easily as invoking specially-built hardware; and without the maintenance cost [»utleAM6_1949]
| Subtopic: hardware-assist
Quote: use a hardware-walked, nested page table for VMMs; translates guest virtual addresses to host physical addresses; fast guest context switches and slightly slower TLB misses [»adamK10_2006]
| Subtopic: hardware vs. software reliability
Quote: analog systems can be reliable because they are continuous; small input changes cause small output changes [»parnDL12_1985]
| Quote: computer hardware is reliable because its repetitive structure does not need exhaustive testing [»parnDL12_1985]
| Quote: proving a hardware design is just another form of checking; does not catch specification errors and analog behavior [»wilkM10_1990]
| Quote: hardware only brings down a single site; but software can bring down the system [»birrAD4_1982]
| Subtopic: hardware vs. software performance
Quote: hardware timer interrupts are expensive; context switch, highest priority, poor cache locality [»aronM8_2000]
| Quote: software VMM performs better than hardware VMM due to high VMM/guest transition costs and a rigid programming model; software VMM replaces traps with callouts [»adamK10_2006]
|
Related Topics
Group: computer hardware (24 topics, 343 quotes)
Group: goals for a programming system (21 topics, 983 quotes)
Group: testing (18 topics, 557 quotes)
Topic: computer architecture (46 items)
Topic: declarative vs. procedural representation (54 items)
Topic: discrete vs. continuous (47 items)
Topic: program proving is infeasible (47 items)
Topic: sensitivity of software to change (44 items)
Topic: virtualized hardware (5 items)
Topic: what is a computer (62 items)
|