Logo AND Algorithmique Numérique Distribuée

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