charm.git
11 years agoAdded documentation for the new POSE checkpoint command line parameters to the POSE...
Ryan Mokos [Wed, 31 Mar 2010 03:15:25 +0000 (22:15 -0500)]
Added documentation for the new POSE checkpoint command line parameters to the POSE manual.

11 years agomodify the pose array creation to work with load balancer.
Gengbin Zheng [Wed, 31 Mar 2010 03:09:57 +0000 (22:09 -0500)]
modify the pose array creation to work with load balancer.

11 years agoadded a command line option +lb_gvt_pose to set the gvt intervals between load balancing.
Gengbin Zheng [Wed, 31 Mar 2010 03:07:46 +0000 (22:07 -0500)]
added a command line option +lb_gvt_pose to set the gvt intervals between load balancing.
modified etrans.pl to set usesAtSync in sim array.

11 years agoadded basic support for load balancing in pose (using the general LB framework).
Gengbin Zheng [Wed, 31 Mar 2010 02:41:26 +0000 (21:41 -0500)]
added basic support for load balancing in pose (using the general LB framework).

11 years agoChanged POSE checkpointing so it's activated with command-line parameters. Also...
Ryan Mokos [Tue, 30 Mar 2010 21:30:18 +0000 (16:30 -0500)]
Changed POSE checkpointing so it's activated with command-line parameters.  Also added POSE checkpointing based on time.

11 years agocontrolPoints: Explicitly include climits for INT_MAX
Ramprasad Venkataraman [Tue, 30 Mar 2010 04:38:41 +0000 (23:38 -0500)]
controlPoints: Explicitly include climits for INT_MAX

g++ 4.4 seems to have cleaned up their internal includes which results
in unrecognized INT_MAX if climits is not included explicitly by user code

Tested in net-linux with gcc 4.4

11 years agoAdding warning to Envelope mtype field
Filippo Gioachin [Tue, 30 Mar 2010 03:04:14 +0000 (22:04 -0500)]
Adding warning to Envelope mtype field

11 years agofix the problem that the binary of parsat_tnm is too large in satisifiablity
Yanhua YanhuaSunLaptop [Tue, 30 Mar 2010 02:52:38 +0000 (21:52 -0500)]
fix the problem that the binary of parsat_tnm is too large in satisifiablity

11 years agoUpdating to an API change.
Isaac Dooley [Mon, 29 Mar 2010 20:01:01 +0000 (15:01 -0500)]
Updating to an API change.

11 years agoa new function CmiPrintCPUAffinty() that can be called on any processor to print...
Gengbin Zheng [Mon, 29 Mar 2010 15:42:05 +0000 (10:42 -0500)]
a new function CmiPrintCPUAffinty() that can be called on any processor to print current cpuaffinity.
added a new option:  +showcpuaffinity to print current cpuaffinity after setting cpuaffinity.
support affinity notation of e.g. -1, which means the CmiNumCores()-1, or the last core on a node, similarly for -2, -3, and so on.

11 years ago fix some mistakes in TNM
Yanhua YanhuaSunLaptop [Mon, 29 Mar 2010 05:57:03 +0000 (00:57 -0500)]
 fix some mistakes in TNM

11 years agoadd minisat and TNM sequential solvers in sat problem
Yanhua YanhuaSunLaptop [Mon, 29 Mar 2010 03:05:44 +0000 (22:05 -0500)]
add minisat and TNM sequential solvers in sat problem

11 years agoone charm parallel two sequential SAT solver
Yanhua YanhuaSunLaptop [Mon, 29 Mar 2010 03:00:36 +0000 (22:00 -0500)]
one charm parallel two sequential SAT solver

11 years agorename charm related files into par_* to distiguish the sequential code in satisfiabi...
Yanhua YanhuaSunLaptop [Sun, 28 Mar 2010 19:17:50 +0000 (14:17 -0500)]
rename charm related files into par_* to distiguish the sequential code in satisfiability problem

11 years agoMerge branch 'charm' of charmgit:charm into charm
Yanhua YanhuaSunLaptop [Sun, 28 Mar 2010 19:08:34 +0000 (14:08 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoport the minisat sequential part into charm parallel satisfiablity problem
Yanhua YanhuaSunLaptop [Sun, 28 Mar 2010 19:08:18 +0000 (14:08 -0500)]
port the minisat sequential part into charm parallel satisfiablity problem

11 years agofix for -pedantic
Gengbin Zheng [Sat, 27 Mar 2010 01:41:33 +0000 (20:41 -0500)]
fix for -pedantic

11 years agorenamed Set.h to ckset.h
Gengbin Zheng [Sat, 27 Mar 2010 01:37:18 +0000 (20:37 -0500)]
renamed Set.h to ckset.h

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Sat, 27 Mar 2010 00:24:48 +0000 (19:24 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agorenamed heap.h to ckheap.h to avoid using too general file name.
Gengbin Zheng [Sat, 27 Mar 2010 00:23:42 +0000 (19:23 -0500)]
renamed heap.h to ckheap.h to avoid using too general file name.

11 years agoMerge branch 'charm' of charmgit:charm into charm
Ryan Mokos [Fri, 26 Mar 2010 23:24:02 +0000 (18:24 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoAdded checkpointing to POSE. Also added a couple tests to the Ring Makefile in charm...
Ryan Mokos [Fri, 26 Mar 2010 23:21:52 +0000 (18:21 -0500)]
Added checkpointing to POSE.  Also added a couple tests to the Ring Makefile in charm/examples/pose/Ring for easy checking of this ability.

11 years agoAdding an always use defaults option to tuning framework.
Isaac Dooley [Fri, 26 Mar 2010 19:02:41 +0000 (14:02 -0500)]
Adding an always use defaults option to tuning framework.

11 years agoVC++ has _snprintf, instead of snprintf
Gengbin Zheng [Fri, 26 Mar 2010 13:25:36 +0000 (08:25 -0500)]
VC++ has _snprintf, instead of snprintf

via git-CVS emulator

11 years agoibverbs for net-linux-ppc
Gengbin Zheng [Fri, 26 Mar 2010 05:16:56 +0000 (00:16 -0500)]
ibverbs for net-linux-ppc

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Fri, 26 Mar 2010 05:13:03 +0000 (00:13 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoadded support for avail_vector, so it can be used with FT.
Gengbin Zheng [Fri, 26 Mar 2010 05:11:36 +0000 (00:11 -0500)]
added support for avail_vector, so it can be used with FT.
Won't assign work to the failed processors.

11 years agorenamed old directories as *.old.nobackup so backup system ignores them
Filippo Gioachin [Fri, 26 Mar 2010 00:51:06 +0000 (19:51 -0500)]
renamed old directories as *.old.nobackup so backup system ignores them
ignoring a few errors while making

11 years agothe temp buf does not need to be that big now for printing only ints and floats,...
Gengbin Zheng [Thu, 25 Mar 2010 22:59:24 +0000 (17:59 -0500)]
the temp buf does not need to be that big now for printing only ints and floats, and string has been treated separately in the previous commit. Still, a buffer overflow checking is added.

11 years agoAdding expedited to performance gathering entry methods in tuning framework.
Isaac Dooley [Thu, 25 Mar 2010 22:45:31 +0000 (17:45 -0500)]
Adding expedited to performance gathering entry methods in tuning framework.

11 years agoOrion's change to fix ckstream when a temp print buffer overflow for printing strings.
Gengbin Zheng [Thu, 25 Mar 2010 21:40:40 +0000 (16:40 -0500)]
Orion's change to fix ckstream when a temp print buffer overflow for printing strings.

11 years agoMake pup definitions visible to ckcomplex
Ramprasad Venkataraman [Thu, 25 Mar 2010 19:38:21 +0000 (14:38 -0500)]
Make pup definitions visible to ckcomplex

Including ckcomplex shouldnt really force user code to supply charm++/pup.h

11 years agoEmit scoped names for messages inside a namespace
Aaron Becker [Thu, 25 Mar 2010 16:31:50 +0000 (11:31 -0500)]
Emit scoped names for messages inside a namespace

11 years agoAdding a timer to determine time spent generating control point configuration plans.
Isaac Dooley [Thu, 25 Mar 2010 16:30:57 +0000 (11:30 -0500)]
Adding a timer to determine time spent generating control point configuration plans.

11 years agoonly test MPI build when CMK_BUILD_MPI is set in conv-common.sh
Gengbin Zheng [Thu, 25 Mar 2010 13:40:45 +0000 (08:40 -0500)]
only test MPI build when CMK_BUILD_MPI is set in conv-common.sh

11 years agoadded some dummy stuff so that it is not completely empty, something xlc compiler...
Gengbin Zheng [Thu, 25 Mar 2010 06:14:57 +0000 (01:14 -0500)]
added some dummy stuff so that it is not completely empty, something xlc compiler would complain about.

11 years agodon't explicitly specify at link time to use -lmpi or -lmpich,
Gengbin Zheng [Thu, 25 Mar 2010 06:09:39 +0000 (01:09 -0500)]
don't explicitly specify at link time to use -lmpi or -lmpich,
let charmconfig test it.

11 years agofixed CMK_LDXX to be CMK_CXX
Gengbin Zheng [Thu, 25 Mar 2010 05:14:10 +0000 (00:14 -0500)]
fixed CMK_LDXX to be CMK_CXX

11 years agowhen compiler test shows it is 64 bit compiler, and CMK_64BIT is not defined, define it.
Gengbin Zheng [Thu, 25 Mar 2010 05:12:02 +0000 (00:12 -0500)]
when compiler test shows it is 64 bit compiler, and CMK_64BIT is not defined, define it.

11 years agoFixing a bug in the divide & conquer steering scheme.
Isaac Dooley [Wed, 24 Mar 2010 20:13:18 +0000 (15:13 -0500)]
Fixing a bug in the divide & conquer steering scheme.

11 years agoMerge branch 'charm' of charmgit:charm into charm
Yanhua YanhuaSunLaptop [Wed, 24 Mar 2010 05:01:16 +0000 (00:01 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agofix a bug that occur in sequential part in satisfiability problem
Yanhua YanhuaSunLaptop [Wed, 24 Mar 2010 05:00:48 +0000 (00:00 -0500)]
fix a bug that occur in sequential part in satisfiability problem

11 years agoreplaced strdup (which is a problem on aix) by malloc and strcpy
Gengbin Zheng [Wed, 24 Mar 2010 04:00:02 +0000 (23:00 -0500)]
replaced strdup (which is a problem on aix) by malloc and strcpy

11 years agoMerge branch 'charm' of charmgit:charm into charm
Yanhua Yanhua [Wed, 24 Mar 2010 01:36:36 +0000 (20:36 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years ago add the verify program to check whether 3sat output is correct
Yanhua Yanhua [Wed, 24 Mar 2010 01:36:31 +0000 (20:36 -0500)]
 add the verify program to check whether 3sat output is correct

11 years ago remove the ckprintf satisfiability problem
Yanhua Yanhua [Wed, 24 Mar 2010 01:35:23 +0000 (20:35 -0500)]
 remove the ckprintf satisfiability problem

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Tue, 23 Mar 2010 21:48:29 +0000 (16:48 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoupdated +bgcorrect option.
Gengbin Zheng [Tue, 23 Mar 2010 21:48:02 +0000 (16:48 -0500)]
updated +bgcorrect option.

11 years agoMerge branch 'charm' of charmgit:charm into charm
Yanhua YanhuaSunLaptop [Tue, 23 Mar 2010 20:54:01 +0000 (15:54 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoAdd 3 sat result verification program
Yanhua YanhuaSunLaptop [Tue, 23 Mar 2010 20:53:36 +0000 (15:53 -0500)]
Add 3 sat result verification program

11 years agoAdded compiler options that enable TLS (thread-local-storage) support.
Chao Mei [Tue, 23 Mar 2010 20:19:12 +0000 (15:19 -0500)]
Added compiler options that enable TLS (thread-local-storage) support.

11 years agoadd an example of 9000 clauses for 3 sat progra
Yanhua YanhuaSunLaptop [Tue, 23 Mar 2010 19:39:34 +0000 (14:39 -0500)]
add an example of 9000 clauses for 3 sat progra

11 years agofix a bug of unit clause size equal 0 in satisfiability problem
Yanhua Yanhua [Tue, 23 Mar 2010 19:03:48 +0000 (14:03 -0500)]
fix a bug of unit clause size equal 0 in satisfiability problem

11 years agoadd an test case example file_50 for satisfiability problem
Yanhua YanhuaSunLaptop [Tue, 23 Mar 2010 17:19:50 +0000 (12:19 -0500)]
add an test case example file_50 for satisfiability problem

11 years agomodify data structure in satisfiability example
Yanhua YanhuaSunLaptop [Tue, 23 Mar 2010 15:43:11 +0000 (10:43 -0500)]
modify data structure in satisfiability example

11 years agostrtok_r is not implemented in VC++, however strtok is already thread safe.
Gengbin Zheng [Tue, 23 Mar 2010 13:38:41 +0000 (08:38 -0500)]
strtok_r is not implemented in VC++, however strtok is already thread safe.

via git-CVS emulator

11 years agofixed a bug with strtok because it is not thread safe, use strtok_r for SMP.
Gengbin Zheng [Mon, 22 Mar 2010 21:01:16 +0000 (16:01 -0500)]
fixed a bug with strtok because it is not thread safe, use strtok_r for SMP.

11 years agofixed the previous change on the default arraymap. Must miscounted the brackets.
Gengbin Zheng [Mon, 22 Mar 2010 14:46:20 +0000 (09:46 -0500)]
fixed the previous change on the default arraymap. Must miscounted the brackets.

11 years agoupdated cygpath
Gengbin Zheng [Sun, 21 Mar 2010 16:00:32 +0000 (11:00 -0500)]
updated cygpath

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Sun, 21 Mar 2010 15:46:48 +0000 (10:46 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoa few tweaks for +replay to work under BigSim.
Gengbin Zheng [Sun, 21 Mar 2010 15:44:14 +0000 (10:44 -0500)]
a few tweaks for +replay to work under BigSim.
Threads seems to work for some simple programs.
+LBPeriod needs to set very big value to disable the spontaneous messages, which disturb the message event sequence number (hence load balancing may not work).

11 years agofixed another c++ style varaible declaratio in c
Gengbin Zheng [Sun, 21 Mar 2010 15:23:22 +0000 (10:23 -0500)]
fixed another c++ style varaible declaratio in c

via git-CVS emulator

11 years agoanother fix for the previous change
Gengbin Zheng [Sat, 20 Mar 2010 16:12:03 +0000 (11:12 -0500)]
another fix for the previous change

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Sat, 20 Mar 2010 16:01:35 +0000 (11:01 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agomask in set_cpu_affinity is not always needed. don't do the error checking when it...
Gengbin Zheng [Sat, 20 Mar 2010 15:57:55 +0000 (10:57 -0500)]
mask in set_cpu_affinity is not always needed. don't do the error checking when it is not used.

11 years agofixed a c++ style varaible declaration.
Gengbin Zheng [Sat, 20 Mar 2010 14:35:25 +0000 (09:35 -0500)]
fixed a c++ style varaible declaration.

via git-CVS emulator

11 years agofixed wrong usage of converse message
Gengbin Zheng [Sat, 20 Mar 2010 14:20:59 +0000 (09:20 -0500)]
fixed wrong usage of converse message

via git-CVS emulator

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Sat, 20 Mar 2010 06:18:25 +0000 (01:18 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoa new option +commap to set cpuaffinity for comm threads.
Gengbin Zheng [Sat, 20 Mar 2010 06:17:58 +0000 (01:17 -0500)]
a new option +commap to set cpuaffinity for comm threads.

11 years agoCMK_64BIT needs to be set in xlc64 config files. Missing this disables context threads.
Gengbin Zheng [Sat, 20 Mar 2010 05:41:29 +0000 (00:41 -0500)]
CMK_64BIT needs to be set in xlc64 config files. Missing this disables context threads.
Also add error check with CMK_64BIT and the autoconfig tested result.

11 years agonew +pemap option that set core map to pemap[mype] in the given list.
Gengbin Zheng [Sat, 20 Mar 2010 04:05:39 +0000 (23:05 -0500)]
new +pemap option that set core map to pemap[mype] in the given list.
This is to replace the old coremap.
The new pemap recorgnize patterns like:     0-32:3,40-50

11 years agoany command line option starts with +p won't be correctly parsed. charmrun abort...
Gengbin Zheng [Sat, 20 Mar 2010 04:02:43 +0000 (23:02 -0500)]
any command line option starts with +p won't be correctly parsed. charmrun abort for example on +pemap.

11 years agoFixed a bug for testing in default mode
Chao Mei [Fri, 19 Mar 2010 22:42:09 +0000 (17:42 -0500)]
Fixed a bug for testing in default mode

11 years agoMerge branch 'charm' of charmgit:charm into charm
Chao Mei [Fri, 19 Mar 2010 22:18:32 +0000 (17:18 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoAdded a memory contention benchmark in smputil;
Chao Mei [Fri, 19 Mar 2010 22:16:52 +0000 (17:16 -0500)]
Added a memory contention benchmark in smputil;
Fixed a bug in commbench when skipping a test;

11 years agoAdded error statement
Filippo Gioachin [Fri, 19 Mar 2010 20:54:28 +0000 (15:54 -0500)]
Added error statement

11 years agoMerge branch 'charm' of charmgit:charm into charm
Isaac Dooley [Fri, 19 Mar 2010 20:32:57 +0000 (15:32 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoReplacing loops with single assignments.
Isaac Dooley [Fri, 19 Mar 2010 20:32:43 +0000 (15:32 -0500)]
Replacing loops with single assignments.

11 years agofixed a bug in accessing objtime after it is removed from object array.
Gengbin Zheng [Fri, 19 Mar 2010 18:49:04 +0000 (13:49 -0500)]
fixed a bug in accessing objtime after it is removed from object array.

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Fri, 19 Mar 2010 18:25:03 +0000 (13:25 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoconsider background load in making vector decisions
Gengbin Zheng [Fri, 19 Mar 2010 18:24:33 +0000 (13:24 -0500)]
consider background load in making vector decisions

11 years agoAdding better default behavior for generatePlan.
Isaac Dooley [Fri, 19 Mar 2010 17:41:17 +0000 (12:41 -0500)]
Adding better default behavior for generatePlan.

11 years agoMerge branch 'charm' of charmgit:charm into charm
Isaac Dooley [Fri, 19 Mar 2010 16:14:02 +0000 (11:14 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoAdding a tuning scheme for finding idle=overhead point in Fibonacci.
Isaac Dooley [Fri, 19 Mar 2010 16:13:45 +0000 (11:13 -0500)]
Adding a tuning scheme for finding idle=overhead point in Fibonacci.

11 years agoCharj: modified antlr build task and ant rules for Java 1.6 compatibility
Aaron Becker [Fri, 19 Mar 2010 15:32:58 +0000 (10:32 -0500)]
Charj: modified antlr build task and ant rules for Java 1.6 compatibility

11 years agosome error checking for bgreply mode to make sure only run on 1 physical pe and targe...
Gengbin Zheng [Fri, 19 Mar 2010 06:46:25 +0000 (01:46 -0500)]
some error checking for bgreply mode to make sure only run on 1 physical pe and target pe.

11 years agowth and cth default to 1
Gengbin Zheng [Fri, 19 Mar 2010 06:38:14 +0000 (01:38 -0500)]
wth and cth default to 1

11 years agoMerge branch 'charm' of charmgit:charm into charm
Gengbin Zheng [Fri, 19 Mar 2010 05:57:18 +0000 (00:57 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agochanged recorded file name prefix to bgfullreplay
Gengbin Zheng [Fri, 19 Mar 2010 05:55:50 +0000 (00:55 -0500)]
changed recorded file name prefix to bgfullreplay

11 years agoBigSim: turn static _triggersSent to Cksv varaible. This eliminate the randomness...
Gengbin Zheng [Fri, 19 Mar 2010 05:44:46 +0000 (00:44 -0500)]
BigSim: turn static _triggersSent to Cksv varaible. This eliminate the randomness at startup.

11 years agoa working CsdEnqueueLifo() definition
Gengbin Zheng [Fri, 19 Mar 2010 05:37:35 +0000 (00:37 -0500)]
a working CsdEnqueueLifo() definition

11 years agoa new function BgIsMainthread() to tell if caller is a main scheduling thread.
Gengbin Zheng [Fri, 19 Mar 2010 05:36:42 +0000 (00:36 -0500)]
a new function BgIsMainthread() to tell if caller is a main scheduling thread.

11 years agoCorrected warning: record/replay does not require memory charmdebug,
Filippo Gioachin [Fri, 19 Mar 2010 02:22:08 +0000 (21:22 -0500)]
Corrected warning: record/replay does not require memory charmdebug,
only the message integrity detection requires it.
Also disabling the message integrity detection code if memory charmdebug
is not linked in (otherwise it will just spit out a lot of useless warnings).

11 years agoin record/replay mode, give a warning when program is not linked with charmdebug
Gengbin Zheng [Fri, 19 Mar 2010 01:54:18 +0000 (20:54 -0500)]
in record/replay mode, give a warning when program is not linked with charmdebug

11 years agoadded charmdebug flag, so CmiMemoryIs can tell what it is.
Gengbin Zheng [Fri, 19 Mar 2010 01:52:30 +0000 (20:52 -0500)]
added charmdebug flag, so CmiMemoryIs can tell what it is.

11 years agoMerge branch 'charm' of charmgit:charm into charm
Isaac Dooley [Thu, 18 Mar 2010 17:20:10 +0000 (12:20 -0500)]
Merge branch 'charm' of charmgit:charm into charm

11 years agoRenaming some periodic control point stuff.
Isaac Dooley [Thu, 18 Mar 2010 17:19:46 +0000 (12:19 -0500)]
Renaming some periodic control point stuff.

11 years agowhen numpes < 4, switch to two level tree.
Gengbin Zheng [Thu, 18 Mar 2010 16:43:57 +0000 (11:43 -0500)]
when numpes < 4, switch to two level tree.

11 years agosome LBDebug print
Gengbin Zheng [Thu, 18 Mar 2010 16:43:27 +0000 (11:43 -0500)]
some LBDebug print

11 years agoclean up the tree class, add a two level tree
Gengbin Zheng [Thu, 18 Mar 2010 16:42:38 +0000 (11:42 -0500)]
clean up the tree class, add a two level tree