Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : conflit
[simgrid.git] / NEWS
1                     _               _____  _  ___
2 __   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
3 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | | | |
4  \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |_| |
5   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|\___/
6
7 The Clean Diaper Release, a.k.a. SimGrid is leak-free. Major changes:
8
9  * Preliminary DVFS support to track the energy consumption
10  * Java is back in the main package (and is very stable).
11  * The storage sub-modules is now believed to be usable.
12  * SMPI is now very stable (we pass most MPICH tests).
13  * Lots of memory leaks were corrected in this release.
14  * Verification and model checking further improved:
15    liveness+SMPI works; reduction through state equality detection
16  Plus the usual load of bug fixes and small improvements
17
18                     _               _____ ___
19 __   _____ _ __ ___(_) ___  _ __   |___ // _ \
20 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |
21  \ V /  __/ |  \__ \ | (_) | | | |  ___) \__, |
22   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)/_/
23                 Feb 5 2013
24
25 The "Grasgory" release. Major changes:
26
27  * Gras was completely removed from this version.
28  * Documentation reorganization to ease browsing it.
29  * New default value for the TCP_gamma parameter: 4MiB
30                     _               _____  ___   _
31 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ ) / |
32 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \ | |
33  \ V /  __/ |  \__ \ | (_) | | | |  ___) | (_) || |
34   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)___(_)_|
35                 Oct 27 2012
36
37 The "we are told that some people want to also *install* the simgrid
38 framework" release.
39
40  * Add missing manpage to the archive.
41                     _               _____  ___
42 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ )
43 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \
44  \ V /  __/ |  \__ \ | (_) | | | |  ___) | (_) |
45   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)___/
46                 Oct 25 2012
47
48 The Psssshiiiit release: SimGrid jumps into the Cloud.
49 Major changes:
50
51  * Experimental interface to manipulate VMs, EC2-style.
52  * Fixes around process restart and stochastic workloads
53  * platf: New C interface to create fixed or random platforms
54  * SimDag: Many fixes and improvements of typed tasks
55  * SMPI now covers more of the MPI interface.
56    More datatypes, more functions, more robust.
57  * Model-checking: mmalloc is more robust to user errors.
58                     _               _____ _____ _
59 __   _____ _ __ ___(_) ___  _ __   |___ /|___  / |
60 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   / /| |
61  \ V /  __/ |  \__ \ | (_) | | | |  ___) | / /_| |
62   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_/(_)_|
63                 June 7 2012
64
65 The "cleaning the cleanup" release. Major changes:
66
67  * Portability fixups for Mac OSX and Windows
68  * Some other bug fixing and various polishing.
69                     _               ____  _____
70 __   _____ _ __ ___(_) ___  _ __   |___ /|___  |
71 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   / /
72  \ V /  __/ |  \__ \ | (_) | | | |  ___) | / /
73   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_/
74                 May 15 2012
75
76 The "spring cleanups (before the next Big Project kicks in)" release.
77 Major changes:
78
79  * Major cleanups all around (doc, user options, MSG, Lua, internals)
80    Small backward compatibility glitches may have been introduced
81  * Parallel execution of user code should be stable and efficient now
82  * SMPI is now considered stable
83  * Add temporals to Model-Checking (highly experimental right now)
84                     _               _____  __    ____
85 __   _____ _ __ ___(_) ___  _ __   |___ / / /_  |___ \
86 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| '_ \   __) |
87  \ V /  __/ |  \__ \ | (_) | | | |  ___) | (_) | / __/
88   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)___(_)_____|
89                 Oct 5 2011
90
91 The "Not coding new stuff allows to polish old things" release.
92
93  * Portability to Mac and Windows improved.
94  * Possible misconfigurations (contexts, libPCRE) made impossible by
95    removing the option or providing sane default value.
96  * Experimental support to NS3 simulator as a back-end.
97
98                     _               _____  __    _
99 __   _____ _ __ ___(_) ___  _ __   |___ / / /_  / |
100 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| '_ \ | |
101  \ V /  __/ |  \__ \ | (_) | | | |  ___) | (_) || |
102   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)___(_)_|
103                 Jun 27 2011
104
105 The "Oops, we broke Macs too" release.
106 Bug fix to an issue preventing SimGrid from working on Mac OSX.
107
108                     _               _____  __
109 __   _____ _ __ ___(_) ___  _ __   |___ / / /_
110 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| '_ \
111  \ V /  __/ |  \__ \ | (_) | | | |  ___) | (_) |
112   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)___/
113                 Jun 21 2011
114
115 The "OMG! They Killed Kenny!" version. Major changes:
116
117  * Java and Ruby bindings were removed from the main archive
118    - They are now distributed separately
119  * GRAS is not considered as stable anymore, but experimental. Sorry.
120  * First support for parallel simulation:
121    - Can run the user code of any simulation in parallel.
122    - Basic support for multi-cores hosts in platform files
123  * Improved P2P support:
124    - Peer tag in platform files for DSL connected nodes
125    - Vivaldi routing scheme for lightweigted yet accurate models
126  * Improved SMPI: Faster Fortran, automatic privatization of C globals
127  * Tracing: trace contains the full platform hierarchy
128    exactly as declared using the ASes of the platform file
129
130 Plus numerous other goodies (check the ChangeLog for details)
131
132                     _               _____  ____
133 __   _____ _ __ ___(_) ___  _ __   |___ / | ___|
134 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ |___ \
135  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) |
136   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/
137                 01 Dec 2010
138
139 The "Winter in Frejus" release. Also known as "ANR/ADT funding helps"
140 Major changes are:
141
142  * New feature: Model check any simgrid simulation
143  * SMPI is now very usable.
144  * Visualization:
145     - now covers the whole framework
146     - major usability improvements
147  * SURF:
148     - scalable platform management through hierarchical description
149     - new efficient way to bypass the XML parser
150  * MSG: at last asynchronous functions are available
151  * SIMDAG: many usability improvements (dotloader, ...)
152  * GRAS: finally catch up with latest internal evolutions
153  * Build chain:
154     - Windows port: should be usable now but still considered experimental
155     - Autotools have now been completely removed
156
157                     _               _____ _  _    _
158 __   _____ _ __ ___(_) ___  _ __   |___ /| || |  / |
159 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| || |_ | |
160  \ V /  __/ |  \__ \ | (_) | | | |  ___) |__   _|| |
161   \_/ \___|_|  |___/_|\___/|_| |_| |____(_) |_|(_)_|
162                 04 May 2010
163
164 The "Polishing easter eggs is probably a good idea" release.
165 This is a bug fixes release only.
166                     _               _____ _  _
167 __   _____ _ __ ___(_) ___  _ __   |___ /| || |
168 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| || |_
169  \ V /  __/ |  \__ \ | (_) | | | |  ___) |__   _|
170   \_/ \___|_|  |___/_|\___/|_| |_| |____(_) |_|
171                 28 Apr 2010
172
173 The "Easter in Cargese" release. Also known as (major changes):
174
175  * the "se habla Java, Ruby 話せます, fala-se Lua (and deaf-friendly)"
176    ~> bindings were greatly improved
177    ~> new tracing infrastructure for better visualization introduced
178
179  * the "Welcome to configury modernity" release.
180    ~> we switched from autotools to cmake, and improved our cdash
181
182                     _               _____  _____ _  _
183 __   _____ _ __ ___(_) ___  _ __   |___ / |___ /| || |
184 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| || |_
185  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) |__   _|
186   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____(_) |_|
187                 24 Dec 2009
188
189 The "Desktop Grid needs love too" release (also called "Xmas release").
190 Most important changes:
191  * Big speedup through lazy evaluation of the linear models
192  * Supernovae mode: Compile everything in one unit to improve inlining
193  * Simix network module for internal cleanups
194  * Load DAX of applications into SimDag
195  * Lot of small cleanups and other bug fixes
196
197                     _               _____  _____  _____
198 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / |___ /
199 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \   |_ \
200  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) | ___) |
201   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____(_)____/
202                 20 Aug 2009
203
204 The "Need for Speed" release.
205 Big speedup through some function inlining.
206
207                     _               _____  _____  ____
208 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / |___ \
209 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \   __) |
210  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) | / __/
211   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____(_)_____|
212                 19 Aug 2009
213
214 The "Simplicity does not preceed complexity, but follows it" release.
215 Most important changes:
216  * surf and simix modules reworked for simplification.
217    It lays the ground for future extensions and improvements of SimGrid
218  * SMPI was further improved, although not ready for production use yet.
219
220 On the way, we gained a bit more than 5% on the classical master/slave
221 example. More to come on this in future releases.
222                     _               _____  _____  _
223 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / / |
224 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \ | |
225  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) || |
226   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____(_)_|
227                 27 Jun 2009
228
229 This dot release is mainly a maintenance one. Most important changes:
230  * We fixed a large amount of bugs all around
231
232  * We sanitized the way configuration is handled internally.
233    Try passing --cfg-help to binaries compiled against this version.
234
235  * SMPI is in better shape: lot of bugs fixing & usability improvements
236    It may be worth trying it (even if all bugs are not gone yet)
237
238 This version may have a bit more of memleaks than 3.3. This will be
239 fixed in a latter release.
240
241
242      ____  _            ____      _     _
243     / ___|(_)_ __ ___  / ___|_ __(_) __| |
244     \___ \| | '_ ` _ \| |  _| '__| |/ _` |
245      ___) | | | | | | | |_| | |  | | (_| |
246     |____/|_|_| |_| |_|\____|_|  |_|\__,_|
247                     _               _____  _____
248 __   _____ _ __ ___(_) ___  _ __   |___ / |___ /
249 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \
250  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) |
251   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/
252                _             _           _
253      _  _ _ _ | |___ __ _ __| |_  ___ __| |
254     | || | ' \| / -_) _` (_-< ' \/ -_) _` |
255      \_,_|_||_|_\___\__,_/__/_||_\___\__,_|
256                Mar 16 2007
257
258 homepage: http://simgrid.gforge.inria.fr/
259 download: http://gforge.inria.fr/frs/?group_id=12
260
261 At least, after 2 years of hard work, we managed to release the 3.3
262 version of the SimGrid framework. There is so many changes that the
263 changelog only lists the most important ones, leaving alone the small
264 improvements, bug fixing and new gadgets.
265
266 In short:
267  * Java bindings
268  * New simulation models, and improvement of the GTNetS wrapper
269
270  * Large memory savings (mainly in parser)
271  * Faster (twice faster is not uncommon, and from 20 hours to 2
272            minutes on very large scenarios)
273  * Much better scalability (tested up to 250,000 processes)
274
275  * Complete regression testing framework so that you can trust the tool
276  * Lot of neat new modules in the XBT toolbox
277
278 This version was thoroughly tested on linux 32bits and 64bits
279 (debian), as well as Mac OSX (leopard).
280
281 Unfortunately, our windows-guy left, and we cannot release the windows
282 version at the same time than the other archs. Any help would be
283 really welcomed here.
284
285 Some of the 96 included test suites are known to fail, but everything
286 should work anyway (don't panic):
287  * The amok module does not work in real deployment ATM, but I don't
288    see this as release critical since I'm not aware of anyone needing
289    this right now
290  * Some tests about the ability of GRAS to receive messages from
291    exotic platforms fail because I've lost access to these platforms
292    (such as AIX)
293  * the example/gras/pmm sometimes fails (about 1/10 of cases). I'm
294    quite puzzled, but I suspect a bug in the test, not in the lib.
295  * the tesh auto-tests "fail" on Mac OSX. This is because "rm -rf" is
296    sometimes too verbose (when the OS creates hidden files, I
297    suspect), but tesh definitely work as the rest on this arch.
298
299 We hope to manage to do more timely releases in the future, even if
300 that may turn out difficult since big stuff is coming (I don't say
301 much here for the suspense ;)
302
303 We hope you'll enjoy this new version, and please report any feedback
304 on the <simgrid-user@lists.gforge.inria.fr> list.
305
306 Martin Quinson (for Da SimGrid Team)