-
Notifications
You must be signed in to change notification settings - Fork 10
/
ChangeLog
152 lines (134 loc) · 8.55 KB
/
ChangeLog
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
[Current]
[v_0.4]
2015-05-20 Vlad <[email protected]>
* Add GC log in the format of java gcviewer (#47)
Add class Timer
Add class GCLogger
Add CLI arg to choose GC
Inject GCLogger into GC to trace events
2015-04-19 Dmitry Kashitsyn <[email protected]>
* Graph-based API and code generation (#32)
Added basic types for Smalltalk instruction API (TSmalltalkInstruction, BasicBlock, ParsedMethod, ParsedBlock). This API allows easy interaction and navigation within compiled method bytecodes.
No in-place decoding is needed. Once parsed, method became available for analysis and iteration.
A set of visitor classes is provided for that, such as InstructionVisitor, BasicBlockVisitor, etc.
The following entities may be easily enumerated and iterated:
- Continious regions of non-terminator instructions within a Smalltalk method (like basic blocks)
- Smalltalk instructions within a single basic block
- Lexical smalltalk blocks within a Smalltalk method (nested blocks are also supported)
- Relations of basic blocks, such as list of basic blocks that jump into current and so on
* On top of instruction API, high level control graph API is provided. It exploits stack relations of instructions within a method and represents them as a links between individual instruction nodes.
Therefore, the whole method logic is represented as a graph where nodes are single instructions, links between nodes representing various instruction relations, such as:
- Instruction order within a control flow
- Argument references
- Phi value aggregation
- Conditional and unconditional jumps
For example, MarkArguments 2 instruction will have two links to the instructions that provide an actual value (even if they're reasonably far away). MarkArguments itself provide a value that is used by the following SendMessage instruction. This allows us to analyze far instruction relations in a method. Thus, each and every instruction node and it's relations represents ALL information required to encode it without knowing any context (like stack position, offsets and so on).
For visualization and debugging purposes special visualization pass was implemented. GraphVisualizer traverses the ready ControlGraph and outputs nodes and edges in the Graphviz DOT format. Later it can be easily rendered into a raster or vector image using the `dot' utility.
Finally, graph API is now fully used in JIT VM. New methods are analyzed and their graph is built. Then all codegeneration operations use graph representation of Smalltalk instructions and lower them into corresponding IR. A lot of optimization possibilities are now unlocked: instruction reordering, literal and self calls, compile time type deduction and inference became possible. Some of them already implemented and working.
Graph representation may answer the question whether a value should be protected by GC root. Using the control graph we may easily say are there dangerous instructions between value producing and consuming nodes. By `dangerous' instruction I mean one that may trigger garbage collection. GC may break unprotected pointer which, for example, may reside in hardware register. So, less protection means less memory accesses and better execution performance.
2015-04-19 Roman Proskuryakov <[email protected]>
* Unit tests for graph-based API (#32)
TSmalltalkInstruction
InstructionDecoder
ControlGraph
ABABProblem
StackSemantics
DecodeAllMethods (decode all methods and check whether it fails or not)
2015-04-11 Roman Proskuryakov <[email protected]>
* CMake improvements (#61)
Add CTest support
Nice find_package(llvm)
Download and build Google Test Framework if installed is of incorrect arhitecture
Hide CMake variables from user (mark them as advanced)
2015-04-10 Roman Proskuryakov <[email protected]>
* Simple man page (#62)
Add description of the project
Describe CLI args
2015-03-26 Roman Proskuryakov <[email protected]>
* Integrate Travis CI (#65)
Build Debug, Release, +llvm, -llvm, run tests on Linux
Submit build results to CDash
Submit coverage to Coveralls.io
[v_0.3]
2015-01-30 Roman Proskuryakov <[email protected]>
* Move to LLVM 3.3 (#49)
2015-01-30 Dmitry Kashitsyn <[email protected]>
* Fix Baker MM reallocation (#14)
2014-04-09 Roman Proskuryakov <[email protected]>
* Production-like project building (#50)
Add CMake check for libreadline, libtinfo, llvm, pthreads, pod2man, gzip
Add target uninstall
2014-03-25 Roman Proskuryakov <[email protected]>
* Fix padding when allocate memory (#28)
The code generated page fault during execution of movdqa instruction
This SSE instruction requered the data to be alined by 16 bytes.
The code corresponding to the bug is:
@SmalltalkVM::newOrdinaryObject
for (uint32_t index = 0; index < fieldsCount; index++)
instance->putField(index, globals.nilObject);
movdqa moves a double quadword from src to dst. The compiler optimized this loop into a set of movdqa instructions.
That means that 'instance' was aligned neither by 16 bytes nor by 4 bytes.
When BakerMemoryManager::growHeap does its job it divides newHeapSize by 2.
newHeapSize/2 must be equal to correctPadding(newHeapSize/2). But it is not.
2014-01-08 Roman Proskuryakov <[email protected]>
* Optional libreadline (#52)
2014-01-06 Roman Proskuryakov <[email protected]>
* Add CPack support (make .deb package, compress and install changelog, fix lintian warnings) (#43)
* Build project on Raspberry Pi, Debian, Ubuntu 64, Mac OS X 10.8, FreeBSD, Cygwin, MinGW (#46)
* Make Image-loadImage cross-platform (#46)
It worked fine for GNU/Linux, FreeBSD, but the is no mmap in MS \|/iNdOwS.
The function is rewritten with std::ifstream.
2013-11-28 Daniil Burdakov <[email protected]>
* Add class TInteger (#51)
2013-11-28 Roman Proskuryakov <[email protected]>
* Add CLI args (--help, --version, etc) (#33)
[v_0.2.1]
2013-12-01 Roman Proskuryakov <[email protected]>
* Fix build on Arch Linux (#45)
[v_0.2]
2013-11-17 Roman Proskuryakov <[email protected]>
* Add naive implementation of LLVM JIT
* Add stub with examples how to use LLVM
2013-11-17 Dmitry Kashitsyn <[email protected]>
* Inject Baker GC into JIT
* Add JIT runtime stats
* Add README.md (#23)
* Fix copyleft notice in all source files (#10)
2013-11-14 Roman Proskuryakov <[email protected]>
* Add clang++ support (#39)
2013-11-13 Dmitry Kashitsyn <[email protected]>
* Make LLVM optional in CMake build scripts (#9)
2013-11-12 Dmitry Kashitsyn <[email protected]>
* Untrack image/LitttleSmalltalk.image by git (#22)
2013-11-08 Roman Proskuryakov <[email protected]>
* Reduce the number of C-style casts (#38)
2013-11-06 Roman Proskuryakov <[email protected]>
* Add GC that never frees unused memory (#36)
2013-10-31 Roman Proskuryakov <[email protected]>
* Fix Smalltalk methods with tests (List>>remove, Array>>sort, Object>><, etc) (#35)
2013-09-30 Roman Proskuryakov <[email protected]>
* Fix TDictionary-find caused by bad implementation of binary search (#1, #20, #30)
2013-09-19 Roman Proskuryakov <[email protected]>
* Fix Smalltalk Magnitude operator > with tests (#19)
* Remove zeroing memory in TObject constructor (~9% speedup)
2013-09-05 Roman Proskuryakov <[email protected]>
* Fix TContext stack overflow caused by incorrect calculation of max stack size
2013-08-05 Roman Proskuryakov <[email protected]>
* Add ImageWriter to flush image from memory into file
2013-07-06 Dmitry Kashitsyn <[email protected]>
* Add Bison and flex grammar for future implementation of imageBuilder
2013-07-06 Dmitry Kashitsyn <[email protected]>
* Add round-robin sheduler to emulate Smalltalk multithreading
2013-07-04 Roman Proskuryakov <[email protected]>
* Teach BakerMemoryManager-releaseExternalHeapPointer to remove elements from list by constant time
2013-07-01 Dmitry Kashitsyn <[email protected]>
* Add hptr<> to store gc roots using stack objects (massive speedup)
2013-04-26 Dmitry Kashitsyn <[email protected]>
* Add GC with generations (broken)
2013-04-18 Dmitry Kashitsyn <[email protected]>
* Add console autocompletion using libreadline (#40)
[v_0.1]
2012-12-28 Dmitry Kashitsyn, Roman Proskuryakov <[email protected]>, <[email protected]>
* Add first implementation of Smalltalk Virtual Machine
* Add implementation of Baker GC
* Add naive Smalltalk tests