Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6366dc) | patch
[trace] using process name and PID as identification for user when tracing/msg/process:1
authorschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 Jan 2011 18:08:58 +0000 (18:08 +0000)
committerschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 Jan 2011 18:08:58 +0000 (18:08 +0000)
commita6e716740f12602310c06e53de757acd75197507
tree99affe706a69a878ba359810cb4df93d65832e02tree | snapshot
parentd6366dc8c7b892dfdd0e585170d66126215eff34commit | diff
[trace] using process name and PID as identification for user when tracing/msg/process:1

details:
- process categorization is deprecated (simpler
instrumentation to try to make model-checking possible)
- simpler instrumentation == all process being traced
when tracing/msg/process:1

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9366 48e7efb5-ca39-0410-a469-dd3cf9ba447f
include/msg/datatypes.h diff | blob | history
src/instr/instr_msg_process.c diff | blob | history
src/instr/instr_msg_task.c diff | blob | history
src/instr/instr_private.h diff | blob | history
src/msg/m_process.c diff | blob | history
Clone of SimGrid repository with local patches