Computing Sorcery a sorcerer's perspective on computer science

What’s the computer science? Have ever asked yourself? It’s not a science!
Underlying our approach to this subject is our conviction that “com-
puter science” is not a science and that its significance has lile to do
with computers. The computer revolution is a revolution in the way we
think and in the way we express what we think. The essence of this
change is the emergence of what might best be called procedural epis-
temology —the study of the structure of knowledge from an imperative
point of view, as opposed to the more declarative point of view taken
by classical mathematical subjects. Mathematics provides a framework
for dealing precisely with notions of “what is.” Computation provides a
framework for dealing precisely with notions of “how to.” – The omnipotent SICP
Richard Feynman on Computer Science — Talk at Bell Labs (1985)
The Philosophy of Computer Science
Mort Yao 程序与证明
Vijay Kumar B’s Embedded Programming with the GNU Toolchain

Components of cs

design(pattern) and algorithm, programming(debugging, hacking)
pl,assembly, compile(gcc), link, load(cll)
process, quantaties, order(synchronization)
turing, arch, os(boot, console, fedora, fs, process, mm, pm, time, virt, synchronization)
math, logic, electronics

OS Service Hardware Support
Protection Kernel/user mode, protected instructions, base/limit registers
Interrupts Interrupt vectors
System calls Trap instructions and trap vectors
I/O Interrupts and memory mapping
Scheduling, error recovery,accounting Timer
Synchronization Atomic instructions
Virtual memory Translation look-aside buffers
form os
—– —-
change, computation, transfer . instructions(memory,IO), Process, interrupt
relation, order synchronization/atomic, scheduling, interrupt
quantaties, state fs, memory, device, driver

the advert of new world origin - performance

cache: in order to improve performace, cache tries to reduce the access time of transfer of future.
buffer: What does buffer do? temporary(Not future) place for data,reducing access time of transfer and
maybe effiency of quantaties/times of transfer. 是确定的行为, 不同与cache的统计学原理.
time-sharing: multi-task from batch processing
prallel process: increas quantanties of process.

现在我们以新的视角看待os演化过程, 即以process/change, quantaties/state, relation/order这些natural origin为wilds,
Easy to use


General subsystem: schedule, memory, fork, lock, vfs. April 4, 8 days
Network + redhat requirements. 8 days
KVM. source code level and hands-on lkml


All about pseudo