great principles of computing - networking and information ... · •1940’s: computers as tools...
TRANSCRIPT
![Page 1: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/1.jpg)
Great Principles of Computing
Peter J Denning
• What is computation?
• What contribution is our field?
• What is relation to other science and engineering?
![Page 2: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/2.jpg)
1. Computing has caused a revolution in science.
2. The great principles framework reveals timeless principles transcending technology.
3. Current issues regarding enrollments and recognition are being resolved.
Take-Away Claims
Claim 1:Revolution in Science
![Page 3: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/3.jpg)
• 1940’s: Computers as tools in science
• 1980’s: Computing as a method of science
• 2000’s: Computation a process of nature
“Computer Science di“Computer Science diffffers from physics inthat it is not actually a science. It does notstudy natural objects. Neither is it mathematics.It’s like engineering -- about getting to dosomething, rather than dealing with abstractions.”
----Richard Feynman ((19831983)
![Page 4: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/4.jpg)
“Biology is today an information science. The output of the system, the mechanics of life, are encoded in a digital medium and read out by a series of reading heads. Biology is no longer solely the province of the small laboratory. Contributions come from many directions.”
-- David Baltimore ((20012001)
Computing is fomenting the revolution.
What is computing?
![Page 5: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/5.jpg)
• 1930’s: what a person does when calculating
• 1940’s: what an automatic computer does
• 1960’s: phenomena surrounding computers
• 1970’s: what programs and algorithms do
• 1980’s: what can be automated
• 1990’s: transformation of information processes
Computing has many interactionswith all other fields.
implementations
influences
![Page 6: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/6.jpg)
Fourth Great Domain ofScience?
computing
physical life social
? ? ?
Fourth Great Domain ofScience?
physical life social computing
((Paul RosenbloomPaul Rosenbloom)
![Page 7: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/7.jpg)
Our tradition says:
Computer Science isthe study of phenomenasurrounding computers.
prepre--revolution
And the revolution says:
Computingis the study of
natural and artificialinformation processes.
((And may be fourthgreat domain of sciencegreat domain of science)
![Page 8: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/8.jpg)
Claim 2:Principles Framework
Objectives
• Deep structure of computing field
• Timeless principles transcending technology
• Foster innovation by revealing connections
• Common language for computation among fields
• Reveal the magic and beauty
• Inspire young people
![Page 9: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/9.jpg)
A Taxonomy of Principles
• Seven Categories (overlapping)
• Principles within categories (only examples here)
The Seven Categories
computing
computation
communication
coordination
recollectionautomation
evaluation
design
![Page 10: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/10.jpg)
Mechanics
computing
computation
communication
coordination
recollectionautomation
evaluation
design
Practices
programming
modeling and experimenting
building and testing
computational thinking
systems thinking
![Page 11: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/11.jpg)
Examples
Not enough time here to examineeach category in detail
• UPS delivery routing
• Compression
• Cosmic Ray computer crashes
• Action loops
• Locality
• No fault insurance
More effective action in the
World
World teaching us how to compute
![Page 12: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/12.jpg)
UPS Delivery Routing
Computation
• N cities
• Shortest path visiting each once
• Is there a path of length < L?
![Page 13: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/13.jpg)
UPS Delivery Routing
What isshortest path visitingcapital of each state once?
UPS Delivery Routing
• Only known algorithms take time NN.
• For 50 stops, this is about 1085 .
• A computing machine operating at 1 teraops/sec would provide require about 1066 years. The universe is only about 1010 years old.
• The problem is “intractable”.
![Page 14: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/14.jpg)
UPS Delivery Routing
• Class “NP” over 3000 common problems
• Fast check, slow solution
• Fast for one, fast for all
• Class “NP”
• Heuristics
Compression
Communication
![Page 15: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/15.jpg)
• String in a language standing for an entity
• Currency of computation
• Carry information
Representations
Shortening Them
• Can we compress representations? Yes.
• Can we find much shorter representations? Yes.
• Can we find the shortest representation? No.It is unknowable.
![Page 16: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/16.jpg)
MP3• Derived from operation of
cochlea, enabled a new music distribution industry
• Typical uncompressed song is about 40 Mb
• MP3 compressed is about 4 Mb
• Fit 2500 songs on 1 Gb hard disk
Many hairs, different lengths, vibrate at different frequencies
MP3 deletes frequencies ear cannot hear.
MP3 derives from operation of cochlea.
![Page 17: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/17.jpg)
Cosmic Ray Crashes
Coordination
• Computer hardware freezes occasionally
• “Cosmic rays” alleged
• Normal after restart
• Only when interrupts on
• Solution from a philosophical dog.
Mysterious Crashes
![Page 18: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/18.jpg)
Selecting Alternatives
• Buridan’s dog.
• Sidewalk collision avoidance.
Selecting Alternatives
• Buridan’s dog.
• Sidewalk collision avoidance.
![Page 19: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/19.jpg)
Selecting Alternatives
• Choice uncertainty principle: selection ambiguous if forced within a deadline
• Interrupt decision circuitry
• Turn off clock until decision made!
• Brain uncertainty during decision making: information overload
Action Loops
Coordination
![Page 20: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/20.jpg)
AliceA
BobB
COS
A: request
B: promise
B: deliver
A: accept
The fundamental buildingblock of all coordinations.
A B
A or B or both can be a computer.
![Page 21: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/21.jpg)
Action Loops
• Natural
• Computational
• Hybrid
• Coordination games: collective intelligence
Locality
Recollection
![Page 22: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/22.jpg)
Reference Map
• Immediate past predicts immediate future
• Near optimal memory management
• Hardware caches
• Internet caches
• No memory space is flat!
![Page 23: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/23.jpg)
A Popular Object
User
User
User User
User
![Page 24: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/24.jpg)
A Popular Object
User
User
User User
User
No Fault Insurance
Design
![Page 25: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/25.jpg)
• Failure
• Error
• Fault
Causality
Chain
Why it’s hard to
find faults
• Line of defense 1: fault tolerant architecture
• Line of defense 2: programming, compiling
Can’t catch
• object code TH
• hardware TH
![Page 26: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/26.jpg)
• Things architecture can do easily
‣ Bounds checking
‣ Access checking
‣ Atomic transactions
‣ Backward error recovery
‣ Forward error recovery
• Delivery routing (computation)
• Compression (communication)
• Cosmic ray crashes (coordination)
• Action loops (coordination)
• Locality (recollection)
• No fault insurance (design)
Summary of Examples
![Page 27: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/27.jpg)
• Many “non-theory” principles
• Many interactions deep into other fields
Claim 3:Struggles with enrollments and recognition are being resolved.
![Page 28: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/28.jpg)
• Current issues
‣ Abstraction
‣ Computational thinking
‣ AP course
• Relax: It’s happening by itself!
• GP web site (greatprinciples.org)
• GP course (NPS)
• GP book
• GP Partnerships: CS Unplugged, LabRats
• Field Guide Project (NSF, ACM)
• Ubiquity symposium
Actions
![Page 29: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/29.jpg)
1. Computing has caused a revolution in science.
2. The great principles framework reveals timeless principles transcending technology.
3. Current issues regarding enrollments and recognition are being resolved.
What we said
In 1936, Alan Turing showed mathematicians they could not avoid computing, as much as they might try. He was right -- not only for mathematics, but for all of science and engineering.
![Page 30: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/30.jpg)
The important thing is not to stop questioning. It is enough if one tries merely to comprehend a little of the mystery every day.
-- Albert Einstein
I have a deep regret that I did not proceedfar enough at least to understand somethingof the great principles of mathematics, formen thus endowed seem to have an extra sense.
-- Charles Darwin
![Page 31: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/31.jpg)
These are my principles, and if you don’tlike them ... well, I have a few others.
-- Groucho Marx
Great Principles of Computing
Peter J Denning
![Page 32: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/32.jpg)
Traditional Technology View
• ACM 1989: 9 categories
• ACM 2001: 14 main categories, 130 subcategories
• ACM Ontology Project 2006: ?? categories
![Page 33: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/33.jpg)
Unified View
2-D matrix
Categories
Topics
![Page 34: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/34.jpg)
comp comm coord reco& auto eval design
arch
netw
security
data basevirtual
memprogr lang
comp comm coord reco& auto eval design
arch
netw
securitykey
distribution protocol
data basevirtual
memprogr lang
![Page 35: Great Principles of Computing - Networking and Information ... · •1940’s: Computers as tools in science • 1980’s: Computing as a method of science • 2000’s: Computation](https://reader035.vdocument.in/reader035/viewer/2022081607/5ec54244e343b14a424ed212/html5/thumbnails/35.jpg)
comp comm coord reco& auto eval design
arch
netw
security encryption functions
secrecyauthentication
covert
key distribution,
0KP
confinementpartitioningref monitor
intrusion detbiometric ID
protocol performance under loads
end-to-endlayered
virtual mach
data basevirtual
memprogr lang
comp comm coord reco& auto eval design
arch hardware handshake
netw TCP/IP
security key distribution
data base
atomic transaction
virtual mem
page fault interrupt
progr lang
semaphoresmonitors