Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://sp.cs.msu.ru/courses/smalltalk/St76/Smalltalk76ProgrammingSystem.html
Дата изменения: Fri Jul 11 05:45:54 2003 Дата индексирования: Mon Oct 1 23:13:27 2012 Кодировка: |
Daniel H. H. Ingalls
XEROX Palo Alto Research Center
Palo Alto, California
Conference Record of the
FIFTH ANNUAL ACM SYMPOSIUM ON
PRINCIPLES OF PROGRAMMING LANGUAGES
Tucson, Arizona
January 23-25, 1978
© Copyright
199x ACM, Inc., Included here by permission
Abstract
This paper describes a programming system based on the metaphor of communicating objects. Experience with a running system shows that this model provides flexibility, modularity and compactness. A compiled representation for the language is presented, along with an interpreter suitable for microcoding. The object-oriented model provides naturally efficient addressing; a corresponding virtual memory is described which offers dense utilization of resident space. |
The Smalltalk language is object oriented rather than function oriented, and this often confuses people with previous experience in computer science. For example, to evaluate <some object>+4 means to present +4 as a message to the object. The fundamental difference is that the object is in control, not +. If <some object> is the integer 3, then the result will be the integer 7. However, if <some object> were the string 'Meta', the result might be 'Meta4'. In this way, meaning rides with the objects of the system, and code remains an abstract form, merely directing the flow of communication. As we shall see, this separation is a key factor in the ability of a system to handle complexity.
THE PRINCIPLE OF MODULARITY
No part of a complex system should depend on the internal details of
any other part. The design of the Smalltalk language supports this principle
through uniform reference to objects, sending messages to
obtain results, and through organization of object descriptions and computational
methods into classes. Factoring of information structure and behavior is
provided by the implementation of subclassing.
All references in the Smalltalk language are to objects, which may be atomic, or may consist of several named fields which refer in turn to other objects. Though the only truly atomic datum is the bit, it is often appropriate for such simple objects as names and numbers to be considered atomic. For example, in a piece of code which reads the y-coordinate of a point in two dimensions, nowhere should there be instructions such as: "load the second word relative to point p". Such an instruction would not perform properly if it encountered a point represented in polar coordinates.
Communication is the metaphor for processing in the Smalltalk language. Objects are created and manipulated by sending messages. The same model describes activities ranging from ordinary arithmetic to communicating processes in separate machines. The response to a message is implemented by a method, which reads or writes some data field, or sends further messages to achieve the desired response. The communication metaphor supports the principle of modularity, since any attempt to examine or alter the state of an object is sent as a message to that object, and the sender need never know about internal representation. For example, points represented in polar coordinates r and theta would have a method which responds to the message, y, by returning r*theta cos.
The examples in this paper use a syntax which gives higher precedence to messages of fewer arguments. Therefore theta first receives the message cos (remember, cosine is a property of angles, not a function!), and then r receives the message * with one argument, theta's cosine. |
In the Smalltalk language, a class can be declared to be a subclass of another class, and thus inherit all the traits of that superclass. The subclass can then add traits of its own, can override those it wishes, and can still invoke the overridden ones from within its code. This capability leads to a highly factored system.
THE REACTIVE PRINCIPLE
The salient feature of Smalltalk is that all objects are active, ready
to perform in full capacity at any time. Nothing of this aliveness should
be lost at the interface to the human user of the system. In other words,
all components of the system must be able to present themselves to the
user in an effective way, and must moreover present a set of simple tools
for their meaningful alteration.
The Smalltalk analogy to a library of useful functions is a set of well developed superclasses from which most of the system classes are derived. The most general of these, class Object, provides default behavior for printing any object, or examining and altering its contents on a display screen.
In addition to a keyboard and display screen, the Smalltalk system provides a stylus for pointing at the screen. The Smalltalk system includes a class Window which establishes a uniform model for interaction with these devices. From Window, users can define new subclasses with behavior specific to their content. The inheritance from class Window avoids a lot of replicated code and furnishes a uniform model for reactive control over new objects added by the user.
![]() |
|
The reader may find himself evaluating the user interface presented in the figures. This misses the point, which is the aptness of communicating objects in describing the situation. Many other approaches to display handling are used with Smalltalk, and they are not the subject of this paper. |
![]() |
|
In figure 3, the currently active window supports freehand drawing. It provides a large menu from which to choose brush shape and paint tone to be applied when the stylus is depressed. Another window interfaces to one of the character fonts, allowing the user to design new fonts at will. Yet another displays the time of day. Each of the windows brings its own semantics to the uniform "syntax" of stylus motion and keyboard action available to the investigator. In this way, the underlying metaphor of communicating objects can be seen to operate all the way up to the level which corresponds to a conventional operating system.
![]() |
|
A Smalltalk class is defined by giving it a name, and naming the fields of its instances. Following this is an optionally categorized list of the messages to which the class responds. Each message consists of a pattern followed by Smalltalk code within brackets.
Smalltalk treats all objects
which are not false as true. This is effected rather easily in class Object
by messages of the form:
|
These
readers will want to know that if several keyword messages appear at a
given level, they combine to provide a message with multiple arguments.
For example, class
Number provides a message
|
The code for moving a Rectangle (moveto:) could be more efficient if corner were relative to origin, so that it did not need to be relocated. This could be accomplished by changing names from
Modularity is not just an issue of "cleanliness." If N parts depend on the insides of each other, then some aspect of the system will be proportional to N-squared. Such interdependencies will interfere with the system's ability to handle complexity. The phenomenon may manifest itself at any level: difficulty of design, language overgrown with features, long time required to make a change or difficulty of debugging. Messages enforce an organization which minimizes interdependencies.
Another benefit of leaving message interpretation up to the target objects is type independence of code. In the Rectangle example, the code will work fine if the coordinates are Integer or FloatingPoint, or even some newly-defined numerical type. This allows for much sharing of code, and the ability to have one object masquerade as another.
The Power of Subclasses
The utility of type-independent code is exploited by the subclass organization
in Smalltalk. For example, the superclass Number implements the
messages
The factoring provided by subclassing leads to cleanliness and compactness. It can also increase efficiency through multiplied use of high-speed system code. For instance, we provide microcode support for reading and writing the next item in a Stream. Now by making class DiskFile a subclass of Stream. DiskFile inherits this very efficient code for its most common operations. The superclass Stream sends itself the message pastend when it reaches the end of its character buffer, and this gives the subclass DiskFile a chance to read a new record off the disk by overriding the meaning of pastend.
Besides allowing subclasses to override messages in their superclasses, Smalltalk provides for access to the overridden messages. In figure 2, the selected text defines the message show to DocWindow,
Further properties of Smalltalk subclassing, including multiple inheritance of traits, are beyond the scope of this paper.
IMPLEMENTATION
The challenge of implementing the Smalltalk language is to provide
acceptable performance without compromising the simplicity of the underlying
metaphors. Beyond the laudable goals of modularity and factoring, four
pragmatic issues affect the performance of the Smalltalk system: storage
management, compact object code, message handling, and a decent virtual
memory.
Storage Management
Requiring the programmer to manage the allocation and deallocation
of objects is out of the question in a true high-level language. It is
a sure source of errors and it clutters the code with irrelevant pragmatics.
Instead, the Smalltalk kernel maintains reference counts for all objects,
and frees them to be reused when the count goes to zero. We chose reference
counting over garbage collection because the computational overhead is
more uniform in real-time, and the behavior with little free storage is
better. The dominant flow of data in a programming system is usually small
integers, either representing characters or results of simple arithmetic
and indexing. The Smalltalk system reclaims small integers without reference
counting (they are special object references); this one wild-card (present
in some LISP systems) reduces the overhead to a reasonable level.
The reclamation of cyclic structures cannot be handled by reference counting, but we have not found this to be a problem. The class architecture makes it especially convenient to manage objects which are going to participate in cyclic structures. For each cyclic link field, an appropriate unlink message can be defined which propagates through the structure breaking the cycle. It is true that this discipline corresponds to explicit storage management, but it is well localized, and hence presents little problem.
Compact Object Code
Dear to our hearts is the ability to run Smalltalk on personal computers.
In this arena, compactness of the system is crucial and worth sacrificing
some raw speed to achieve. Moreover, our experience with virtual memory
systems is that overall performance actually improves with compactness
owing to reduced swapping of the working set. To this end, the Smalltalk
system translates source code into compact syllables corresponding to the
elements of the language.
![]() |
|
The choice of encoding is made by translating every common item into
a single syllable, and then providing escapes for cases where this is impossible.
The codes fall into the following basic categories:
1 | Load relative to receiver (self) | ||
2 | Load relative to temp frame | ||
3 | Load relative to literals | ||
4 | Load indirect literals | ||
5 | Load relative to context | ||
6 | Load constant | ||
7 | Send literal message | ||
8 | Send special message | ||
9 | Short jumps | ||
10 | Long jumps | ||
11 | Control ops | ||
12 | Escapes |
origin | load receiver.0 | ||
corner | load receiver.1 | ||
pt | load temp.0 | ||
![]() |
send special message.7 | ||
and: | send special message.12 | ||
![]() |
do control.3 |
Message Handling
Execution of the code syllables is relatively simple, and the lower
half of figure 4 illustrates the dynamic environment. When a Rectangle
receives the message contains:, an instance of class Context
is allocated to serve much the function of a conventional call frame. Its
sender
field points to the context of its caller, to which the final value of
its computation will be passed with the return ()
operator. The
self field points to the object who is receiving this
message; in our example it is a Rectangle. The mclass field
in this example is simply the class Rectangle, but in the case
of messages which are inherited from superclasses, it indicates the class
from which the message was inherited (this is needed to provide the super
access described earlier). Method points to the object code for
the method being executed, and pc is a syllable offset into it indicating
the current progress of execution. Tempframe points to a Vector
of temporary storage for the computation. Its access is partitioned into
three areas: arguments passed from its caller, other temporaries required
for the computation (none in our example), and the stack area used in evaluating
the syllables. Stackptr is the offset indicating the current top
of stack.
The Smalltalk system gets a great deal of mileage out of the fact that Contexts are objects of full capability, just like all the other parts of the system. For debugging, the Context is in a position to reveal the location of the pc, the contents of the stack, the values of temporary variables and the current state of the receiver. For analysis purposes, the operation of the interpreter is simulated in Smalltalk by a loop which sends the message step to the current context:
Most of the task of interpretation is implicit in the syllable descriptions
above. The one complex operation worthy of further clarification is how
a new context gets set up to send a message to a new receiver. Our example
of figure 4 will serve us again: corner has been put on the stack,
and pt above it is the top item in the stack, and the next syllable
pointed to by pc indicates that the message
is to be sent. The very first thing that happens (since this is a common
arithmetic operation) is that pt is checked to see if it is an Integer
allowing a fast primitive operation; but it is not. The more general process
then begins of hashing the token
into the MessageDictionary of pt's class, Point.
A match is indeed found, and the resulting code object can be installed
in the new context along with pt (popped off the stack) in the
self
field, class Point in the mclass field, and the previous
context in the sender field.
The setup parameters in the beginning of the method are computed at compile time, and serve to initialize the new environment. They tell how much space is needed for the tempframe and how many arguments are expected (one here). After the arguments have been moved from the previous stack to the beginning of the tempframe, the setup supplies initial values of stackptr and pc, and the new context is ready to run. It will eventually terminate by encountering a return syllable. Then the value (true or false) on the top of the stack will get pushed back onto the sender's stack, and the computation of Rectangle contains: will resume where it left off.
Efficient Message Handling
It should be obvious that to carry the message sending metaphor down
into integer arithmetic will result in a slow system on any non message
oriented computer. The implementor must cheat, but not get caught. In other
words, the user of the system should not perceive any non-uniformity.
To achieve acceptable performance, it is important that the microcode interpreter not send messages to Contexts. It performs all the same steps. but in the fastest way possible.
The Smalltalk system achieves its speed by the assignment of special code syllables to the most frequently executed operations. For instance, the message + is assigned a special code, and the (microcode) interpreter responds to that code by immediately checking whether both receiver and argument are of class Integer. If so, it does the addition in-line and proceeds immediately without even looking up the symbol plus, let alone creating a new context. If the check fails, then control passes to the normal message sending code, thus insuring the appearance of uniformity.
Virtual Memory
One of the most satisfying aspects of a system built of objects is
the naturally efficient use of address space. Since a Smalltalk reference
can only point to an object as a whole, the Smalltalk system can indicate
216 distinct objects using 16-bit object references. With a
mean object size of 20 words, the system can address over a million words,
and this size is a nice match to the size of common personal computer disk
drives. In implementing this virtual memory, we decided to swap single
objects, thus achieving maximum utilization of resident storage at the
possible expense of slower establishment of workingset. Without a few tricks
this scheme could never work.
First, a poor man's Huffman code associates the class of an object with its object reference, thus avoiding a 1-word class-pointer overhead on every object. The address space is given to classes for their instances in zones of 128 with the same high-order bits. It is therefore possible to index a table with the high order bits of any object reference and discover the class of that object.
Second, variable length classes have many such zones, one for each of the common small lengths. In this way the overhead of a length word is avoided on the small sizes. For larger sizes, the zones cover octave ranges (i.e., 9-16, 17-32, and so on) and an extra word specifies the exact length.
Third, these zones of address space are mapped into contiguous locations on the disk. Since all the objects are instances of the same class, they have the same size; hence the page and offset on the disk can be computed from the low order bits of the object reference. In this way non-resident objects can be located on the disk to be brought into core. For the octave sizes, a little wasted space on the disk is traded for the ability to compute the disk offset location.
Fourth, the zoning provides a solution to the problem of making free space without thrashing the disk. Here is the problem: there are 1000 objects in core, roughly 20 words each, and we suddenly need 500 words of space; if we have to write out 25 objects (assuming we can even decide which ones), how do we keep from doing 25 disk seeks to do it? Our solution is to purge core by zone, thus writing many objects together on a page, and sweeping over the disk in order of pages. Moreover, a single bit on each object meaning "I've been touched since my zone was last purged" provides a nice aging criterion for selecting objects to be purged.
CONCLUSION
We have known for some time that the uniform model of communicating
objects leads to a naturally integrated programming system. A very gratifying
aspect to our work is the demonstration that this approach can also result
in an efficient implementation. The Smalltalk system has supported large
applications for simulation, information retrieval, text editing, musical
composition and animation without encountering significant barriers to
complexity, and this is our strongest indication of the worth of the language.
Beyond this I must add that programming in Smalltalk is fun. On the one
hand, the act of assembling expressions into statements and then into methods
is not very different from conventional programming. On the other hand,
the experience is totally different, for the objects which populate and
traverse the code are active entities, and writing expressions feels like
organizing trained animals rather than pushing boxes around.
Acknowledgement
Many people have contributed to the Smalltalk system. Alan Kay has
been expounding the basic principles for about a decade now, and the rest
has unfolded through the love and energy of the whole Learning Research
Group. Smalltalk-76 was implemented by the author with the assistance of
Ted Kaehler, Diana Merry, and Dave Robson. Several other people at PARC
have contributed significantly, most notably Larry Tesler and Peter Deutsch.
Class new title: 'Context';
fields: 'sender method pc
tempframe stackptr mclass receiver';
asFollows!
Contexts carry the dynamic state of Smalltalk processes. They are
accessed in efficient ways by the microcode interpreter. At the same time,
they are instances of a perfectly normal Smalltalk class. In this way,
the full generality of Smalltalk can be applied to examining and tracing
the progress of Smalltalk execution.
The code below differs from the actual code in Smalltalk-76 in that
it corresponds to the slightly simplified categories of the text, and has
not been carefully checked for off-by-1 errors.
Beyond the specifics in the text, the interested reader will want
to know: