1 ### define source packages
4 src/bindings/java/MANIFEST.in
5 src/include/instr/instr_interface.h
6 src/include/mc/datatypes.h
11 src/include/simgrid/sg_config.h
12 src/include/smpi/smpi_utils.hpp
13 src/include/surf/datatypes.h
14 src/include/surf/maxmin.h
15 src/include/surf/surf.h
20 src/simdag/simdag_private.hpp
23 src/simix/popping_private.h
24 src/simix/popping_bodies.cpp
25 src/simix/popping_generated.cpp
26 src/simix/popping_enum.h
27 src/simix/popping_accessors.h
28 src/simix/smx_host_private.h
29 src/simix/smx_io_private.h
30 src/simix/smx_network_private.h
31 src/simix/smx_private.h
32 src/simix/smx_synchro_private.h
33 src/kernel/activity/ActivityImpl.hpp
34 src/kernel/activity/SynchroComm.hpp
35 src/kernel/activity/SynchroExec.hpp
36 src/kernel/activity/SynchroIo.hpp
37 src/kernel/activity/SynchroSleep.hpp
38 src/kernel/activity/SynchroRaw.hpp
39 src/smpi/colls/coll_tuned_topo.h
40 src/smpi/colls/colls_private.h
41 src/smpi/colls/smpi_mvapich2_selector_stampede.h
44 src/surf/cpu_cas01.hpp
45 src/surf/cpu_interface.hpp
47 src/surf/maxmin_private.hpp
48 src/surf/network_cm02.hpp
49 src/surf/network_constant.hpp
50 src/surf/network_interface.hpp
51 src/surf/network_ns3.hpp
52 src/surf/network_smpi.hpp
53 src/surf/network_ib.hpp
54 src/surf/ns3/ns3_interface.h
55 src/surf/ns3/ns3_simulator.h
56 src/surf/trace_mgr_test.cpp
57 src/surf/xml/simgrid.dtd
58 src/surf/xml/simgrid_dtd.h
59 src/surf/xml/simgrid_dtd.c
60 src/surf/xml/surfxml_sax_cb.cpp
62 src/surf/storage_interface.hpp
63 src/surf/storage_n11.hpp
64 src/surf/surf_interface.hpp
65 src/surf/surf_private.h
66 src/surf/PropertyHolder.hpp
67 src/surf/host_clm03.hpp
69 src/surf/ptask_L07.hpp
70 src/xbt/automaton/automaton_lexer.yy.c
71 src/xbt/automaton/parserPromela.lex
72 src/xbt/automaton/parserPromela.tab.cacc
73 src/xbt/automaton/parserPromela.tab.hacc
74 src/xbt/automaton/parserPromela.yacc
75 src/xbt/backtrace_dummy.cpp
76 src/xbt/backtrace_linux.cpp
77 src/xbt/dict_private.h
78 src/xbt/graph_private.h
79 src/xbt/heap_private.h
81 src/xbt/mallocator_private.h
83 src/xbt/mmalloc/mfree.c
85 src/xbt/mmalloc/mm_legacy.c
86 src/xbt/mmalloc/mm_module.c
87 src/xbt/mmalloc/mmalloc.c
88 src/xbt/mmalloc/mmalloc.info
89 src/xbt/mmalloc/mmalloc.texi
90 src/xbt/mmalloc/mmorecore.c
91 src/xbt/mmalloc/mmprivate.h
92 src/xbt/mmalloc/mrealloc.c
93 tools/tesh/generate_tesh
95 teshsuite/lua/lua_platforms.tesh
96 examples/smpi/mc/only_send_deterministic.tesh
97 examples/smpi/mc/non_deterministic.tesh
99 examples/java/.classpath
100 examples/java/.project
104 src/smpi/colls/allgather/allgather-2dmesh.cpp
105 src/smpi/colls/allgather/allgather-3dmesh.cpp
106 src/smpi/colls/allgather/allgather-GB.cpp
107 src/smpi/colls/allgather/allgather-NTSLR-NB.cpp
108 src/smpi/colls/allgather/allgather-NTSLR.cpp
109 src/smpi/colls/allgather/allgather-SMP-NTS.cpp
110 src/smpi/colls/allgather/allgather-bruck.cpp
111 src/smpi/colls/allgather/allgather-loosely-lr.cpp
112 src/smpi/colls/allgather/allgather-ompi-neighborexchange.cpp
113 src/smpi/colls/allgather/allgather-pair.cpp
114 src/smpi/colls/allgather/allgather-mvapich-smp.cpp
115 src/smpi/colls/allgather/allgather-rdb.cpp
116 src/smpi/colls/allgather/allgather-rhv.cpp
117 src/smpi/colls/allgather/allgather-ring.cpp
118 src/smpi/colls/allgather/allgather-smp-simple.cpp
119 src/smpi/colls/allgather/allgather-spreading-simple.cpp
120 src/smpi/colls/allgatherv/allgatherv-GB.cpp
121 src/smpi/colls/allgatherv/allgatherv-mpich-rdb.cpp
122 src/smpi/colls/allgatherv/allgatherv-mpich-ring.cpp
123 src/smpi/colls/allgatherv/allgatherv-ompi-bruck.cpp
124 src/smpi/colls/allgatherv/allgatherv-ompi-neighborexchange.cpp
125 src/smpi/colls/allgatherv/allgatherv-pair.cpp
126 src/smpi/colls/allgatherv/allgatherv-ring.cpp
127 src/smpi/colls/allreduce/allreduce-lr.cpp
128 src/smpi/colls/allreduce/allreduce-ompi-ring-segmented.cpp
129 src/smpi/colls/allreduce/allreduce-rab-rdb.cpp
130 src/smpi/colls/allreduce/allreduce-rab1.cpp
131 src/smpi/colls/allreduce/allreduce-rab2.cpp
132 src/smpi/colls/allreduce/allreduce-rdb.cpp
133 src/smpi/colls/allreduce/allreduce-redbcast.cpp
134 src/smpi/colls/allreduce/allreduce-smp-binomial-pipeline.cpp
135 src/smpi/colls/allreduce/allreduce-smp-binomial.cpp
136 src/smpi/colls/allreduce/allreduce-smp-rdb.cpp
137 src/smpi/colls/allreduce/allreduce-smp-rsag-lr.cpp
138 src/smpi/colls/allreduce/allreduce-smp-rsag-rab.cpp
139 src/smpi/colls/allreduce/allreduce-smp-rsag.cpp
140 src/smpi/colls/allreduce/allreduce-mvapich-rs.cpp
141 src/smpi/colls/allreduce/allreduce-mvapich-two-level.cpp
142 src/smpi/colls/alltoall/alltoall-basic-linear.cpp
143 src/smpi/colls/alltoall/alltoall-2dmesh.cpp
144 src/smpi/colls/alltoall/alltoall-3dmesh.cpp
145 src/smpi/colls/alltoall/alltoall-bruck.cpp
146 src/smpi/colls/alltoall/alltoall-pair-light-barrier.cpp
147 src/smpi/colls/alltoall/alltoall-pair-mpi-barrier.cpp
148 src/smpi/colls/alltoall/alltoall-pair-one-barrier.cpp
149 src/smpi/colls/alltoall/alltoall-pair.cpp
150 src/smpi/colls/alltoall/alltoall-rdb.cpp
151 src/smpi/colls/alltoall/alltoall-ring-light-barrier.cpp
152 src/smpi/colls/alltoall/alltoall-ring-mpi-barrier.cpp
153 src/smpi/colls/alltoall/alltoall-ring-one-barrier.cpp
154 src/smpi/colls/alltoall/alltoall-ring.cpp
155 src/smpi/colls/alltoall/alltoall-mvapich-scatter-dest.cpp
156 src/smpi/colls/alltoallv/alltoallv-bruck.cpp
157 src/smpi/colls/alltoallv/alltoallv-ompi-basic-linear.cpp
158 src/smpi/colls/alltoallv/alltoallv-pair-light-barrier.cpp
159 src/smpi/colls/alltoallv/alltoallv-pair-mpi-barrier.cpp
160 src/smpi/colls/alltoallv/alltoallv-pair-one-barrier.cpp
161 src/smpi/colls/alltoallv/alltoallv-pair.cpp
162 src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
163 src/smpi/colls/alltoallv/alltoallv-ring-mpi-barrier.cpp
164 src/smpi/colls/alltoallv/alltoallv-ring-one-barrier.cpp
165 src/smpi/colls/alltoallv/alltoallv-ring.cpp
166 src/smpi/colls/barrier/barrier-ompi.cpp
167 src/smpi/colls/barrier/barrier-mvapich2-pair.cpp
168 src/smpi/colls/bcast/bcast-NTSB.cpp
169 src/smpi/colls/bcast/bcast-NTSL-Isend.cpp
170 src/smpi/colls/bcast/bcast-NTSL.cpp
171 src/smpi/colls/bcast/bcast-SMP-binary.cpp
172 src/smpi/colls/bcast/bcast-SMP-binomial.cpp
173 src/smpi/colls/bcast/bcast-SMP-linear.cpp
174 src/smpi/colls/bcast/bcast-arrival-pattern-aware-wait.cpp
175 src/smpi/colls/bcast/bcast-arrival-pattern-aware.cpp
176 src/smpi/colls/bcast/bcast-arrival-scatter.cpp
177 src/smpi/colls/bcast/bcast-binomial-tree.cpp
178 src/smpi/colls/bcast/bcast-flattree-pipeline.cpp
179 src/smpi/colls/bcast/bcast-flattree.cpp
180 src/smpi/colls/bcast/bcast-ompi-pipeline.cpp
181 src/smpi/colls/bcast/bcast-ompi-split-bintree.cpp
182 src/smpi/colls/bcast/bcast-mvapich-smp.cpp
183 src/smpi/colls/bcast/bcast-scatter-LR-allgather.cpp
184 src/smpi/colls/bcast/bcast-scatter-rdb-allgather.cpp
185 src/smpi/colls/coll_tuned_topo.cpp
186 src/smpi/colls/colls_global.cpp
187 src/smpi/colls/gather/gather-ompi.cpp
188 src/smpi/colls/gather/gather-mvapich.cpp
189 src/smpi/colls/reduce/reduce-NTSL.cpp
190 src/smpi/colls/reduce/reduce-arrival-pattern-aware.cpp
191 src/smpi/colls/reduce/reduce-binomial.cpp
192 src/smpi/colls/reduce/reduce-flat-tree.cpp
193 src/smpi/colls/reduce/reduce-ompi.cpp
194 src/smpi/colls/reduce/reduce-scatter-gather.cpp
195 src/smpi/colls/reduce_scatter/reduce_scatter-mpich.cpp
196 src/smpi/colls/reduce_scatter/reduce_scatter-ompi.cpp
197 src/smpi/colls/reduce/reduce-mvapich-knomial.cpp
198 src/smpi/colls/reduce/reduce-mvapich-two-level.cpp
199 src/smpi/colls/reduce/reduce-rab.cpp
200 src/smpi/colls/scatter/scatter-ompi.cpp
201 src/smpi/colls/scatter/scatter-mvapich-two-level.cpp
202 src/smpi/colls/smpi_automatic_selector.cpp
203 src/smpi/colls/smpi_default_selector.cpp
204 src/smpi/colls/smpi_mpich_selector.cpp
205 src/smpi/colls/smpi_intel_mpi_selector.cpp
206 src/smpi/colls/smpi_openmpi_selector.cpp
207 src/smpi/colls/smpi_mvapich2_selector.cpp
208 src/smpi/instr_smpi.cpp
209 src/smpi/smpi_bench.cpp
210 src/smpi/smpi_memory.cpp
211 src/smpi/smpi_shared.cpp
212 src/smpi/smpi_static_variables.cpp
213 src/smpi/smpi_coll.cpp
214 src/smpi/smpi_coll.hpp
215 src/smpi/smpi_comm.cpp
216 src/smpi/smpi_comm.hpp
217 src/smpi/smpi_deployment.cpp
218 src/smpi/smpi_dvfs.cpp
219 src/smpi/smpi_global.cpp
220 src/smpi/smpi_f2c.cpp
221 src/smpi/smpi_f2c.hpp
222 src/smpi/smpi_group.cpp
223 src/smpi/smpi_group.hpp
224 src/smpi/SmpiHost.cpp
225 src/smpi/SmpiHost.hpp
226 src/smpi/smpi_mpi.cpp
227 src/smpi/smpi_datatype.cpp
228 src/smpi/smpi_datatype.hpp
229 src/smpi/smpi_info.cpp
230 src/smpi/smpi_info.hpp
231 src/smpi/smpi_keyvals.cpp
232 src/smpi/smpi_keyvals.hpp
233 src/smpi/smpi_datatype_derived.cpp
234 src/smpi/smpi_datatype_derived.hpp
238 src/smpi/smpi_process.cpp
239 src/smpi/smpi_process.hpp
240 src/smpi/smpi_pmpi.cpp
241 src/smpi/smpi_replay.cpp
242 src/smpi/smpi_request.cpp
243 src/smpi/smpi_request.hpp
244 src/smpi/smpi_status.cpp
245 src/smpi/smpi_status.hpp
246 src/smpi/smpi_win.cpp
247 src/smpi/smpi_win.hpp
248 src/smpi/smpi_topo.cpp
249 src/smpi/smpi_topo.hpp
250 src/smpi/smpi_utils.cpp
251 src/smpi/smpi_f77.cpp
253 src/surf/network_smpi.cpp
254 src/surf/network_ib.cpp
259 src/xbt/automaton/automaton.c
260 src/xbt/automaton/automatonparse_promela.c
261 src/xbt/backtrace.cpp
265 src/xbt/dict_cursor.c
269 src/xbt/exception.cpp
275 src/xbt/memory_map.cpp
276 src/xbt/memory_map.hpp
281 src/xbt/xbt_log_appender_file.c
282 src/xbt/xbt_log_layout_format.c
283 src/xbt/xbt_log_layout_simple.c
286 src/xbt/xbt_os_file.c
287 src/xbt/xbt_os_synchro.c
288 src/xbt/xbt_os_time.c
289 src/xbt/xbt_replay.cpp
296 set(XBT_SRC ${XBT_SRC} src/xbt/mmalloc/mm.c )
299 set(NS3_SRC src/surf/network_ns3.cpp
300 src/surf/ns3/ns3_simulator.cc )
303 src/kernel/routing/ClusterZone.cpp
304 src/kernel/routing/ClusterZone.hpp
305 src/kernel/routing/DijkstraZone.cpp
306 src/kernel/routing/DijkstraZone.hpp
307 src/kernel/routing/DragonflyZone.cpp
308 src/kernel/routing/DragonflyZone.hpp
309 src/kernel/routing/EmptyZone.cpp
310 src/kernel/routing/EmptyZone.hpp
311 src/kernel/routing/FatTreeZone.cpp
312 src/kernel/routing/FatTreeZone.hpp
313 src/kernel/routing/FloydZone.cpp
314 src/kernel/routing/FloydZone.hpp
315 src/kernel/routing/FullZone.cpp
316 src/kernel/routing/FullZone.hpp
317 src/kernel/routing/NetPoint.cpp
318 src/kernel/routing/NetPoint.hpp
319 src/kernel/routing/NetZoneImpl.cpp
320 src/kernel/routing/NetZoneImpl.hpp
321 src/kernel/routing/RoutedZone.cpp
322 src/kernel/routing/RoutedZone.hpp
323 src/kernel/routing/TorusZone.cpp
324 src/kernel/routing/TorusZone.hpp
325 src/kernel/routing/VivaldiZone.cpp
326 src/kernel/routing/VivaldiZone.hpp
328 src/kernel/EngineImpl.cpp
329 src/kernel/EngineImpl.hpp
331 src/surf/cpu_cas01.cpp
332 src/surf/cpu_interface.cpp
334 src/surf/fair_bottleneck.cpp
335 src/surf/instr_routing.cpp
336 src/surf/instr_surf.cpp
337 src/surf/lagrange.cpp
339 src/surf/network_cm02.cpp
340 src/surf/network_constant.cpp
341 src/surf/network_interface.cpp
342 src/surf/plugins/host_energy.cpp
343 src/surf/plugins/host_load.cpp
344 src/surf/PropertyHolder.cpp
345 src/surf/sg_platf.cpp
346 src/surf/storage_interface.cpp
347 src/surf/storage_n11.cpp
348 src/surf/surf_c_bindings.cpp
349 src/surf/surf_interface.cpp
350 src/surf/xml/platf.hpp
351 src/surf/xml/platf_private.hpp
352 src/surf/xml/surfxml_sax_cb.cpp
353 src/surf/xml/surfxml_parseplatf.cpp
354 src/surf/trace_mgr.hpp
355 src/surf/trace_mgr.cpp
356 src/surf/host_clm03.cpp
357 src/surf/HostImpl.cpp
358 src/surf/ptask_L07.cpp
362 src/plugins/vm/s4u_VirtualMachine.cpp
363 src/plugins/vm/VirtualMachineImpl.hpp
364 src/plugins/vm/VirtualMachineImpl.cpp
365 src/plugins/vm/VmHostExt.hpp
366 src/plugins/vm/VmHostExt.cpp
369 set(SIMIX_GENERATED_SRC src/simix/popping_generated.cpp )
371 src/kernel/future.cpp
373 src/simix/smx_context.cpp
374 src/kernel/context/Context.cpp
375 src/kernel/context/Context.hpp
376 src/kernel/context/ContextRaw.cpp
377 src/simix/smx_deployment.cpp
378 src/simix/smx_environment.cpp
379 src/simix/smx_global.cpp
380 src/simix/smx_host.cpp
382 src/simix/smx_network.cpp
383 src/simix/ActorImpl.cpp
384 src/simix/ActorImpl.hpp
385 src/simix/smx_synchro.cpp
386 src/simix/popping.cpp
387 src/kernel/activity/ActivityImpl.cpp
388 src/kernel/activity/MailboxImpl.cpp
389 src/kernel/activity/MailboxImpl.hpp
390 src/kernel/activity/SynchroComm.cpp
391 src/kernel/activity/SynchroExec.cpp
392 src/kernel/activity/SynchroSleep.cpp
393 src/kernel/activity/SynchroRaw.cpp
394 src/kernel/activity/SynchroIo.cpp
396 ${SIMIX_GENERATED_SRC}
399 # Boost context may not be available
400 if (HAVE_BOOST_CONTEXTS)
403 src/kernel/context/ContextBoost.hpp
404 src/kernel/context/ContextBoost.cpp)
408 src/kernel/context/ContextBoost.hpp
409 src/kernel/context/ContextBoost.cpp)
413 src/s4u/s4u_actor.cpp
414 src/s4u/s4u_activity.cpp
415 src/s4u/s4u_conditionVariable.cpp
417 src/s4u/s4u_engine.cpp
421 src/s4u/s4u_mailbox.cpp
422 src/s4u/s4u_mutex.cpp
423 src/s4u/s4u_netzone.cpp
424 src/s4u/s4u_storage.cpp
428 src/simgrid/sg_config.cpp
434 src/msg/instr_msg_process.cpp
435 src/msg/instr_msg_task.cpp
436 src/msg/msg_actions.cpp
437 src/msg/msg_deployment.cpp
438 src/msg/msg_environment.cpp
439 src/msg/msg_global.cpp
443 src/msg/msg_mailbox.cpp
444 src/msg/msg_process.cpp
445 src/msg/msg_synchro.cpp
451 src/simdag/sd_daxloader.cpp
452 src/simdag/sd_dotloader.cpp
453 src/simdag/sd_global.cpp
454 src/simdag/sd_task.cpp
458 src/bindings/lua/lua_private.h
459 src/bindings/lua/lua_utils.h
460 src/bindings/lua/simgrid_lua.h
464 src/bindings/java/jmsg.cpp
465 src/bindings/java/jmsg.h
466 src/bindings/java/jmsg_as.cpp
467 src/bindings/java/jmsg_as.h
468 src/bindings/java/jmsg_comm.cpp
469 src/bindings/java/jmsg_comm.h
470 src/bindings/java/jmsg_file.cpp
471 src/bindings/java/jmsg_file.h
472 src/bindings/java/jmsg_host.cpp
473 src/bindings/java/jmsg_host.h
474 src/bindings/java/jmsg_process.cpp
475 src/bindings/java/jmsg_process.h
476 src/bindings/java/jmsg_rngstream.cpp
477 src/bindings/java/jmsg_rngstream.h
478 src/bindings/java/jmsg_synchro.cpp
479 src/bindings/java/jmsg_synchro.h
480 src/bindings/java/jmsg_task.cpp
481 src/bindings/java/jmsg_task.h
482 src/bindings/java/jmsg_vm.cpp
483 src/bindings/java/jmsg_vm.h
484 src/bindings/java/jxbt_utilities.cpp
485 src/bindings/java/jxbt_utilities.h
486 src/bindings/java/JavaContext.cpp
487 src/bindings/java/JavaContext.hpp
488 src/bindings/java/jmsg_storage.cpp
489 src/bindings/java/jmsg_storage.h
493 src/bindings/java/org/simgrid/NativeLib.java
494 src/bindings/java/org/simgrid/msg/As.java
495 src/bindings/java/org/simgrid/msg/Comm.java
496 src/bindings/java/org/simgrid/msg/File.java
497 src/bindings/java/org/simgrid/msg/Host.java
498 src/bindings/java/org/simgrid/msg/HostFailureException.java
499 src/bindings/java/org/simgrid/msg/HostNotFoundException.java
500 src/bindings/java/org/simgrid/msg/JniException.java
501 src/bindings/java/org/simgrid/msg/Msg.java
502 src/bindings/java/org/simgrid/msg/MsgException.java
503 src/bindings/java/org/simgrid/msg/Mutex.java
504 src/bindings/java/org/simgrid/msg/Process.java
505 src/bindings/java/org/simgrid/msg/ProcessKilledError.java
506 src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
507 src/bindings/java/org/simgrid/msg/RngStream.java
508 src/bindings/java/org/simgrid/msg/Semaphore.java
509 src/bindings/java/org/simgrid/msg/Storage.java
510 src/bindings/java/org/simgrid/msg/StorageNotFoundException.java
511 src/bindings/java/org/simgrid/msg/Task.java
512 src/bindings/java/org/simgrid/msg/TaskCancelledException.java
513 src/bindings/java/org/simgrid/msg/TimeoutException.java
514 src/bindings/java/org/simgrid/msg/TransferFailureException.java
515 src/bindings/java/org/simgrid/msg/VM.java
519 src/bindings/java/jtrace.cpp
520 src/bindings/java/jtrace.h
523 set(JTRACE_JAVA_SRC src/bindings/java/org/simgrid/trace/Trace.java)
525 list(APPEND JMSG_C_SRC ${JTRACE_C_SRC})
526 list(APPEND JMSG_JAVA_SRC ${JTRACE_JAVA_SRC})
529 src/bindings/lua/lua_host.cpp
530 src/bindings/lua/lua_platf.cpp
531 src/bindings/lua/lua_debug.cpp
532 src/bindings/lua/simgrid_lua.cpp
536 src/instr/instr_config.cpp
537 src/instr/instr_interface.cpp
538 src/instr/instr_paje_containers.cpp
539 src/instr/instr_paje_header.cpp
540 src/instr/instr_paje_trace.cpp
541 src/instr/instr_paje_types.cpp
542 src/instr/instr_paje_values.cpp
543 src/instr/instr_private.h
544 src/instr/instr_smpi.h
545 src/instr/instr_resource_utilization.cpp
549 include/simgrid/jedule/jedule_events.hpp
550 include/simgrid/jedule/jedule.hpp
551 include/simgrid/jedule/jedule_platform.hpp
552 include/simgrid/jedule/jedule_sd_binding.h
553 src/instr/jedule/jedule_events.cpp
554 src/instr/jedule/jedule.cpp
555 src/instr/jedule/jedule_platform.cpp
556 src/instr/jedule/jedule_sd_binding.cpp
570 src/mc/checker/Checker.cpp
571 src/mc/checker/Checker.hpp
572 src/mc/checker/CommunicationDeterminismChecker.cpp
573 src/mc/checker/CommunicationDeterminismChecker.hpp
574 src/mc/checker/SafetyChecker.cpp
575 src/mc/checker/SafetyChecker.hpp
576 src/mc/checker/LivenessChecker.cpp
577 src/mc/checker/LivenessChecker.hpp
578 src/mc/remote/Channel.cpp
579 src/mc/remote/Channel.hpp
580 src/mc/remote/Client.cpp
581 src/mc/remote/Client.hpp
582 src/mc/remote/RemotePtr.hpp
583 src/mc/remote/mc_protocol.h
584 src/mc/remote/mc_protocol.cpp
586 src/mc/AddressSpace.hpp
587 src/mc/AddressSpace.cpp
590 src/mc/ModelChecker.hpp
591 src/mc/ModelChecker.cpp
592 src/mc/ObjectInformation.hpp
593 src/mc/ObjectInformation.cpp
596 src/mc/ChunkedData.hpp
597 src/mc/ChunkedData.cpp
598 src/mc/RegionSnapshot.cpp
599 src/mc/RegionSnapshot.hpp
603 src/mc/mc_forward.hpp
610 src/mc/mc_unw_vmread.cpp
611 src/mc/mc_checkpoint.cpp
613 src/mc/mc_snapshot.cpp
614 src/mc/mc_page_snapshot.cpp
615 src/mc/mc_comm_pattern.h
616 src/mc/mc_comm_pattern.cpp
620 src/mc/mc_dwarf_attrnames.cpp
621 src/mc/DwarfExpression.hpp
622 src/mc/DwarfExpression.cpp
623 src/mc/mc_dwarf_tagnames.cpp
627 src/mc/LocationList.hpp
628 src/mc/LocationList.cpp
634 src/mc/mc_request.cpp
638 src/mc/VisitedState.cpp
639 src/mc/VisitedState.hpp
640 src/mc/mc_client_api.cpp
646 src/mc/Transition.hpp
649 set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp)
651 set(headers_to_install
653 include/msg/datatypes.h
654 include/simdag/simdag.h
655 include/simdag/datatypes.h
656 include/simgrid/chrono.hpp
657 include/simgrid/plugins/energy.h
658 include/simgrid/plugins/load.h
659 include/simgrid/instr.h
660 include/simgrid/msg.h
661 include/simgrid/simdag.h
662 include/simgrid/datatypes.h
663 include/simgrid/modelchecker.h
664 include/simgrid/forward.h
665 include/simgrid/simix.h
666 include/simgrid/simix.hpp
667 include/simgrid/simix/blocking_simcall.hpp
668 include/simgrid/kernel/future.hpp
669 include/simgrid/host.h
670 include/simgrid/link.h
671 include/simgrid/s4u/forward.hpp
672 include/simgrid/s4u/Activity.hpp
673 include/simgrid/s4u/Actor.hpp
674 include/simgrid/s4u/Comm.hpp
675 include/simgrid/s4u/ConditionVariable.hpp
676 include/simgrid/s4u/Engine.hpp
677 include/simgrid/s4u/File.hpp
678 include/simgrid/s4u/Host.hpp
679 include/simgrid/s4u/Link.hpp
680 include/simgrid/s4u/Mailbox.hpp
681 include/simgrid/s4u/Mutex.hpp
682 include/simgrid/s4u/NetZone.hpp
683 include/simgrid/s4u/Storage.hpp
684 include/simgrid/s4u/VirtualMachine.hpp
685 include/simgrid/s4u.hpp
686 include/simgrid/plugins/energy.h
687 include/simgrid/plugins/load.h
690 include/smpi/smpi_main.h
691 include/smpi/smpi_extended_traces.h
692 include/smpi/smpi_extended_traces_fortran.h
693 include/smpi/forward.hpp
694 include/smpi/smpi_shared_malloc.hpp
695 include/surf/surf_routing.h
697 include/xbt/RngStream.h
698 include/xbt/asserts.h
699 include/xbt/automaton.h
700 include/xbt/automaton.hpp
703 include/xbt/config.hpp
706 include/xbt/string.hpp
707 include/xbt/signal.hpp
709 include/xbt/dynar.hpp
712 include/xbt/exception.hpp
713 include/xbt/backtrace.h
714 include/xbt/backtrace.hpp
716 include/xbt/function_types.h
717 include/xbt/functional.hpp
718 include/xbt/future.hpp
722 include/xbt/Extendable.hpp
725 include/xbt/mallocator.h
728 include/xbt/mmalloc.h
731 include/xbt/range.hpp
732 include/xbt/replay.hpp
735 include/xbt/synchro.h
737 include/xbt/system_error.hpp
738 include/xbt/utility.hpp
740 include/xbt/xbt_os_thread.h
741 include/xbt/xbt_os_time.h
743 set(source_of_generated_headers
744 include/simgrid_config.h.in
745 include/smpi/mpif.h.in)
747 ### depend of some variables setted upper
748 # -->HAVE_THREAD_CONTEXTS HAVE_UCONTEXT_CONTEXTS
749 if(${HAVE_THREAD_CONTEXTS}) #pthread
750 set(SURF_SRC ${SURF_SRC} src/kernel/context/ContextThread.cpp
751 src/kernel/context/ContextThread.hpp )
753 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextThread.cpp
754 src/kernel/context/ContextThread.hpp )
757 if(${HAVE_THREAD_CONTEXTS}) #pthread
758 set(SURF_SRC ${SURF_SRC} src/xbt/xbt_os_thread.c)
760 set(EXTRA_DIST ${EXTRA_DIST} src/xbt/xbt_os_thread.c
764 if(${HAVE_UCONTEXT_CONTEXTS}) #ucontext
765 set(SURF_SRC ${SURF_SRC} src/kernel/context/ContextUnix.cpp)
766 else() # NOT ucontext
767 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextUnix.cpp)
770 ### Simgrid Lib sources
785 if(${SIMGRID_HAVE_JEDULE})
786 set(simgrid_sources ${simgrid_sources} ${JEDULE_SRC})
788 set(EXTRA_DIST ${EXTRA_DIST} ${JEDULE_SRC})
792 set(simgrid_sources ${simgrid_sources} ${SMPI_SRC})
796 set(simgrid_sources ${simgrid_sources} ${MC_SRC})
800 set(simgrid_sources ${simgrid_sources} ${NS3_SRC})
807 src/kernel/context/ContextThread.cpp
808 src/kernel/context/ContextThread.hpp
809 src/xbt/xbt_os_thread.c
814 set(simgrid_sources ${simgrid_sources} ${LUA_SRC})
816 set(EXTRA_DIST ${EXTRA_DIST} ${LUA_SRC})
822 doc/sg_thread_model.fig
824 doc/surf_nutshell.fig
829 doc/triva-graph_configuration.png
830 doc/triva-graph_configuration.svg
831 doc/triva-graph_visualization.png
832 doc/triva-graph_visualization.svg
833 doc/triva-time_interval.png
834 doc/triva-time_interval.svg
837 doc/doxygen/application.doc
838 doc/doxygen/community.doc
839 doc/doxygen/deployment.doc
840 doc/doxygen/examples.doc
841 doc/doxygen/footer.html
842 doc/doxygen/getting_started.doc
843 doc/doxygen/header.html
844 doc/doxygen/howtos.doc
845 doc/doxygen/index.doc
846 doc/doxygen/inside.doc
847 doc/doxygen/inside_tests.doc
848 doc/doxygen/inside_cmake.doc
849 doc/doxygen/inside_doxygen.doc
850 doc/doxygen/inside_extending.doc
851 doc/doxygen/inside_release.doc
852 doc/doxygen/install.doc
853 doc/doxygen/install_yours.doc
855 doc/doxygen/tutorial_msg.doc
856 doc/doxygen/tutorial_smpi.doc
857 doc/doxygen/models.doc
858 doc/doxygen/module-msg.doc
859 doc/doxygen/module-s4u.doc
860 doc/doxygen/module-sd.doc
861 doc/doxygen/module-simix.doc
862 doc/doxygen/module-smpi.doc
863 doc/doxygen/module-surf.doc
864 doc/doxygen/module-trace.doc
865 doc/doxygen/module-xbt.doc
866 doc/doxygen/module-index.doc
868 doc/doxygen/options.doc
869 doc/doxygen/outcomes.doc
870 doc/doxygen/outcomes_logs.doc
871 doc/doxygen/outcomes_MC.doc
872 doc/doxygen/outcomes_vizu.doc
873 doc/doxygen/platform.doc
874 doc/doxygen/platform_lua.doc
875 doc/doxygen/scenario.doc
876 doc/doxygen/stylesheet.css
877 doc/doxygen/uhood.doc
878 doc/doxygen/uhood_switch.doc
879 doc/doxygen/uhood_arch.doc
882 doc/manpage/smpicxx.1
883 doc/manpage/smpif90.1
885 doc/manpage/smpirun.1
888 doc/msg-tuto-src/deployment0.xml
889 doc/msg-tuto-src/deployment1.xml
890 doc/msg-tuto-src/deployment2.xml
891 doc/msg-tuto-src/deployment3.xml
892 doc/msg-tuto-src/deployment_general.xml
893 doc/msg-tuto-src/Makefile
894 doc/msg-tuto-src/masterworker0.c
895 doc/msg-tuto-src/masterworker1.c
896 doc/msg-tuto-src/masterworker2.c
897 doc/msg-tuto-src/masterworker3.c
898 doc/msg-tuto-src/masterworker4.c
904 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
905 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
909 tools/doxygen/fig2dev_postprocessor.pl
910 tools/doxygen/xbt_log_extract_hierarchy.pl
911 tools/doxygen/list_routing_models_examples.sh
914 # these files get copied automatically to the html documentation
916 ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
917 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/AS_hierarchy.png
918 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
919 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
920 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
921 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
922 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
923 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
924 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
925 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
926 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/storage_sample_scenario.png
927 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
928 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
929 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
930 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win.bmp
931 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win_2011.bmp
932 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_pair_16.png
933 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_ring_16.png
943 src/smpi/smpitools.sh
958 # The list of cmake build directories is constructed from the following list.
959 # Add your CMakeLists file here to see your subdir built.
961 examples/java/CMakeLists.txt
962 examples/msg/CMakeLists.txt
963 examples/msg/mc/CMakeLists.txt
964 examples/s4u/CMakeLists.txt
965 examples/simdag/CMakeLists.txt
966 examples/smpi/CMakeLists.txt
967 examples/smpi/NAS/CMakeLists.txt
968 examples/smpi/smpi_msg_masterslave/CMakeLists.txt
969 examples/smpi/replay_multiple/CMakeLists.txt
970 examples/smpi/energy/f77/CMakeLists.txt
971 examples/smpi/energy/f90/CMakeLists.txt
973 teshsuite/java/CMakeLists.txt
974 teshsuite/mc/CMakeLists.txt
975 teshsuite/msg/CMakeLists.txt
976 teshsuite/s4u/CMakeLists.txt
977 teshsuite/simdag/CMakeLists.txt
978 teshsuite/simix/CMakeLists.txt
979 teshsuite/smpi/CMakeLists.txt
980 teshsuite/surf/CMakeLists.txt
981 teshsuite/xbt/CMakeLists.txt
983 teshsuite/smpi/isp/umpire/CMakeLists.txt
984 teshsuite/smpi/mpich3-test/CMakeLists.txt
985 teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
986 teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
987 teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
988 teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
989 # teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
990 teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
991 teshsuite/smpi/mpich3-test/f77/info/CMakeLists.txt
992 teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
993 teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
994 teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
995 teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
996 teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
997 teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
998 teshsuite/smpi/mpich3-test/f77/topo/CMakeLists.txt
999 teshsuite/smpi/mpich3-test/f77/rma/CMakeLists.txt
1000 teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
1001 teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
1002 teshsuite/smpi/mpich3-test/f90/info/CMakeLists.txt
1003 teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
1004 teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
1005 teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt
1006 teshsuite/smpi/mpich3-test/f90/rma/CMakeLists.txt
1007 teshsuite/smpi/mpich3-test/group/CMakeLists.txt
1008 teshsuite/smpi/mpich3-test/info/CMakeLists.txt
1009 teshsuite/smpi/mpich3-test/init/CMakeLists.txt
1010 teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
1011 teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
1012 teshsuite/smpi/mpich3-test/rma/CMakeLists.txt
1013 teshsuite/smpi/mpich3-test/perf/CMakeLists.txt
1015 tools/CMakeLists.txt
1016 tools/graphicator/CMakeLists.txt
1017 tools/tesh/CMakeLists.txt
1020 set(CMAKE_SOURCE_FILES
1023 tools/cmake/Tests.cmake
1024 tools/cmake/CTestConfig.cmake
1025 tools/cmake/CTestCustom.cmake
1026 tools/cmake/DefinePackages.cmake
1027 tools/cmake/Distrib.cmake
1028 tools/cmake/GCCFlags.cmake
1029 tools/cmake/Documentation.cmake
1030 tools/cmake/MaintainerMode.cmake
1031 tools/cmake/Java.cmake
1032 tools/cmake/MakeLib.cmake
1033 tools/cmake/MakeLibWin.cmake
1034 tools/cmake/Modules/FindGraphviz.cmake
1035 tools/cmake/Modules/FindLibdw.cmake
1036 tools/cmake/Modules/FindLibunwind.cmake
1037 tools/cmake/Modules/FindLibevent.cmake
1038 tools/cmake/Modules/FindLuaSimgrid.cmake
1039 tools/cmake/Modules/FindNS3.cmake
1040 tools/cmake/Modules/FindPAPI.cmake
1041 tools/cmake/Modules/FindRngStream.cmake
1042 tools/cmake/Modules/FindValgrind.cmake
1043 tools/cmake/Option.cmake
1044 tools/cmake/scripts/my_valgrind.pl
1045 tools/cmake/scripts/update_tesh.pl
1046 tools/cmake/UnitTesting.cmake
1047 tools/cmake/src/internal_config.h.in
1048 tools/cmake/test_prog/prog_gnu_dynlinker.c
1049 tools/cmake/test_prog/prog_makecontext.c
1050 tools/cmake/test_prog/prog_mutex_timedlock.c
1051 tools/cmake/test_prog/prog_sem_init.c
1052 tools/cmake/test_prog/prog_sem_open.c
1053 tools/cmake/test_prog/prog_sem_timedwait.c
1054 tools/cmake/test_prog/prog_snprintf.c
1055 tools/cmake/test_prog/prog_stackgrowth.c
1056 tools/cmake/test_prog/prog_stacksetup.c
1057 tools/cmake/test_prog/prog_thread_storage.c
1058 tools/cmake/test_prog/prog_vsnprintf.c
1059 tools/cmake/cross-mingw.cmake
1060 tools/smpi/generate_smpi_defines.pl
1061 tools/stack-cleaner/as
1062 tools/stack-cleaner/cc
1063 tools/stack-cleaner/c++
1064 tools/stack-cleaner/fortran
1065 tools/stack-cleaner/clean-stack-filter
1066 tools/stack-cleaner/compiler-wrapper
1067 tools/stack-cleaner/README
1070 set(PLATFORMS_EXAMPLES
1071 examples/platforms/bypassASroute.xml
1072 examples/platforms/bypassRoute.xml
1073 examples/platforms/cloud.xml
1074 examples/platforms/cluster.xml
1075 examples/platforms/cluster_and_one_host.xml
1076 examples/platforms/cluster_prototype.lua
1077 examples/platforms/cluster_no_backbone.xml
1078 examples/platforms/cluster_torus.xml
1079 examples/platforms/cluster_fat_tree.xml
1080 examples/platforms/cluster_dragonfly.xml
1081 examples/platforms/crosstraffic.xml
1082 examples/platforms/optorsim/gridpp_grid_2004.conf
1083 examples/platforms/optorsim/lcg_sept2004_grid.conf
1084 examples/platforms/optorsim/transform_optorsim_platform.pl
1085 examples/platforms/config.xml
1086 examples/platforms/config_tracing.xml
1087 examples/platforms/trace/bourassa_state.trace
1088 examples/platforms/trace/fafard_state.trace
1089 examples/platforms/trace/faulty_host.trace
1090 examples/platforms/trace/ginette_state.trace
1091 examples/platforms/trace/jupiter_speed.trace
1092 examples/platforms/trace/jupiter_state.trace
1093 examples/platforms/trace/link1_avail.trace
1094 examples/platforms/trace/link3_state.trace
1095 examples/platforms/trace/link4_state.trace
1096 examples/platforms/trace/linkBandwidth7.bw
1097 examples/platforms/trace/trace_A_failure.txt
1098 examples/platforms/trace/trace_A.txt
1099 examples/platforms/trace/trace_B.txt
1100 examples/platforms/data_center.xml
1101 examples/platforms/dogbone.xml
1102 examples/platforms/energy_platform.xml
1103 examples/platforms/energy_cluster.xml
1104 examples/platforms/faulty_host.xml
1105 examples/platforms/g5k.xml
1106 examples/platforms/griffon.xml
1107 examples/platforms/meta_cluster.xml
1108 examples/platforms/multicore_machine.xml
1109 examples/platforms/onelink.xml
1110 examples/platforms/prop.xml
1111 examples/platforms/routing_cluster.xml
1112 examples/platforms/routing_cluster.lua
1113 examples/platforms/routing_none.xml
1114 examples/platforms/simulacrum_7_hosts.xml
1115 examples/platforms/storage/content/small_content.txt
1116 examples/platforms/storage/content/storage_content.txt
1117 examples/platforms/storage/content/win_storage_content.txt
1118 examples/platforms/storage/remote_io.xml
1119 examples/platforms/storage/storage.xml
1120 examples/platforms/small_platform.xml
1121 examples/platforms/small_platform.lua
1122 examples/platforms/small_platform_fatpipe.xml
1123 examples/platforms/small_platform_one_link_routes.xml
1124 examples/platforms/small_platform_with_failures.xml
1125 examples/platforms/small_platform_with_routers.xml
1126 examples/platforms/syscoord/generate_peer_platform.pl
1127 examples/platforms/syscoord/median_harvard.syscoord
1128 examples/platforms/syscoord/median_meridian.syscoord
1129 examples/platforms/syscoord/median_p2psim.syscoord
1130 examples/platforms/three_multicore_hosts.xml
1131 examples/platforms/two_clusters.xml
1132 examples/platforms/two_hosts.xml
1133 examples/platforms/two_hosts_platform_shared.xml
1134 examples/platforms/two_hosts_platform_with_availability.xml
1135 examples/platforms/two_hosts_platform_with_availability_included.xml
1136 examples/platforms/two_peers.xml
1137 examples/platforms/vivaldi.xml
1140 set(generated_src_files
1141 src/xbt/automaton/automaton_lexer.yy.c
1142 src/xbt/automaton/parserPromela.tab.cacc
1143 src/xbt/automaton/parserPromela.tab.hacc
1146 foreach(file ${generated_src_files})
1147 set_source_files_properties(${file} PROPERTIES GENERATED true)
1148 endforeach(file ${generated_src_files})