blob: 3e7cde58881c09581383db46421aa1d5e2d64849 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
TALK : Typed Assembly Language for Kernel
TALK is a typed assembly language which is flexible and expressive
enough to implement important OS facilities, such as memory management
(e.g., malloc/free) and multi-thread management.
[1]TALK for IA-32
(last updated 2005-10-27 : version 0.0.0.2. [2]ChangeLog. [3]Old
versions
TALK is licensed under the [4]GNU General Public License.
__________________________________________________________________
Notes
The "assembler" just emits binary executables annotated with type
information. It does not perform type-checks.
The type-check is performed by the "verifier".
__________________________________________________________________
Documents
We are sorry but we have not prepared any user manual of TALK. (Please
see the programs in [5]TOS at this time)
Further Readings
1. Toshiyuki Maeda and Akinori Yonezawa.
[6]Writing practical memory management code with a strictly typed
assembly language.
In 3rd Workshop on Semantics, Program Analysis, and Computing
Environments for Memory Management (SPACE 2006). Informal
proceedings.
2. Toshiyuki Maeda.
[7]Ph.D. Thesis (2006)
3. Toshiyuki Maeda and Akinori Yonezawa.
[8]Typed Assembly Language for SMP/Multi-core CPUs (Japanese).
(2008)
In 6th Dependable System Workshop (DSW 2008).
__________________________________________________________________
Contact Information
[9]Toshiyuki Maeda
tosh @ is.s.u-tokyo.ac.jp
[10]../
References
1. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk/prototype/talk-0.0.0.2.tar.gz
2. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk/prototype/ChangeLog
3. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk/prototype/
4. http://www.gnu.org/copyleft/gpl.html
5. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/tos/
6. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/talk.pdf
7. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/thesis.pdf
8. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/talk/tosh-dsw2008.pdf
9. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/
10. http://web.yl.is.s.u-tokyo.ac.jp/~tosh/
|