In this lab, you will experiment with different implementations of the Kmeans algorithm. All your implementations (source code and Makefiles) should be organized in the ~/workspace directory, which should be the same directory where you see this guide.
A template submit file is provided. Please read the instructions carefully because the autograder relies on this submit file to grade your implementations.
Do not rename the submit file.
Your entire workspace will be downloaded and graded locally on the TA's machine. The whole CUDA toolchain is setup in this project and nvcc
is added to the $PATH
so that you can invoke nvcc
directly. You should assume the same environment on the TA's local machine, which means you should not specify full path for nvcc
.
In this lab, you can start to test your Kmeans implementations with the following 3 sets of multi-dimensional points. The dimensions of the points in each set are known. However, your program should accept the dimension of points as one of the command line arguments.
Note that the autograder will use different inputs (different dims and number of points) to test your program. However, sample solutions for the above inputs can be found at the links below. Note that concerns like floating point associativity will mean that your answers can be different, so checking correctness requires verifying that answers are within a small epsilon (e.g. 10^-4) in each dimension of each point. Also, your answer need not produce the same order of centers or IDs, so again, make sure your own correctness checking does not assume a particular order of centers in the output. These outputs were generated with the seed: -s 8675309
(see the section about Random Initial Centroids Generation below).
random-n2048-d16-c16-answer.txt
random-n16384-d24-c16-answer.txt
random-n65536-d32-c16-answer.txt
For all your implementations, your program should at least accept the following arguments
-k num_cluster
: an integer specifying the number of clusters-d dims
: an integer specifying the dimension of the points-i inputfilename
: a string specifying the input filename-m max_num_iter
: an integer specifying the maximum number of iterations-t threshold
: a double specifying the threshold for convergence test.-c
: a flag to control the output of your program. If -c
is specified, your program should output the centroids of all clusters. If -c
is not specified, your program should output the labels of all points. See details below.-s seed
: an integer specifying the seed for rand(). This is used by the autograder to simplify the correctness checking process. See details below.Your program can also accept more arguments to control the behavior of your program for different implementations. These extra arguments can be specified in the submit
file. Refer to the instruction in submit
file for more details.
-k
, -d
, and -i
should depend on the input files. The max number of iterations -m
is used to prevent your program from an infinite loop if something goes wrong. In general, your implementation is expected to converge within 150 iterations. Therefore, an value of 150 to -m
should be good enough. Depending on your methods for convergence test, you might want to use different thresholds -t
for different implementations. As a reference, the threshold for comparing centers without any non-determinism issues can be as small as 10^-10
. However, for comparing centers with non-determinism issues, you might want to use a threshold of 10^-6
. The autograder will specify -t 10^-5
for all implementations.
For each input, each implementation is asked to classify the points into k
clusters. You should measure the elapsed time and total number of iterations for Kmeans to converge. The averaged elapsed time per iteration and the number of iterations to converge should be written to STDOUT in the following form
printf("%d,%lf\n", iter_to_converge, time_per_iter_in_ms)
Note that the time should be measured in milliseconds. Your grade will be based on how fast your implementation is.
If -c
is not specified to your program, it needs to write points assignment, i.e. the final cluster id for each point, to STDOUT in the following form
printf("clusters:")
for (int p=0; p < nPoints; p++)
printf(" %d", clusterId_of_point[p]);
The autograder will redirect your output to a temp file, which will be further processed to check correctness.
To check the correctness of the output, the autograder will do the following
dis0
.dis1
.dis0
and dis1
is larger than a threshold, this point is considered to be a wrong point. Your grade will be based on the total number of wrong points.if -c
is specified, your program should output the centroids of final clusters in the following form
for (int clusterId = 0; clusterId < _k; clusterId ++){
printf("%d ", clusterId);
for (int d = 0; d < _d; d++)
printf("%lf ", centers[clusterId + d * _k]);
printf("\n");
}
Note that the first column is the cluster id.
At the beginning of the kmeans algorithm, k
points should be randomly chosen as the initial set of centroids. Since the final set of centroids depends heavily on the initial set of centroids, the autograder will specify the seed
for random number generation so that your final set of centroids will be compared with the set of centroids using the same initial set of centroids.
Specifically, your program should use the seed
provided by the cmdline argument to randomly generate k
integer numbers between 0 and num_points
and use these k
integers as indices of points used as initial centroids.
E.g.
static unsigned long int next = 1;
static unsigned long kmeans_rmax = 32767;
int kmeans_rand() {
next = next * 1103515245 + 12345;
return (unsigned int)(next/65536) % (kmeans_rmax+1);
}
void kmeans_srand(unsigned int seed) {
next = seed;
}
kmeans_srand(cmd_seed); // cmd_seed is a cmdline arg
for (int i=0; i<k; i++){
int index = kmeans_rand() % _numpoints;
// you should use the proper implementation of the following
// code according to your data structure
centers[i] = points[index];
}
Standard random number generators (like rand()) can differ accross platforms even when given the same seed. To make sure your starting centroids are consistent please use the kmeans_rand
and kmeans_srand
functions as they are written here.
The autograder will compare your centroids, refered to as iCenters
to the centroids computed by MATLAB, referred to as refCenters
according to the following steps
iCenters
to its closest centroid in refCenters
using the Euclidean distance.iCenters
are mapped to the same centroid, say refC0
, in refCenters
, one of the centroids, say iC
, will be forced to map to another centroid, say refC1
in refCenters
such that refC1
is the closest centroid to iC
that has a longer distance to iC
than that from refC0
to iC
.iCenters
are mapped to the same centroid in refCenters
.iCenters
with its mapped centroid in refCenters
with a threshold. If the distance is larger than the threshold, the centroid in iCenters
is considered to be a wrong centroid. Your grade will be based on the number of wrong centers.Note that there are three ways to pick iC
in step 2: Cur
, Min
, and Max
.
Cur
: the centroid with the largest centroid id will be forced to remap.Min
: the centroid that has the shortest distance to refC0
will be forced to remap.Max
: the centroid that has the largest distance to refC0
will be forced to remap.The autograder will use all these strategies and choose the one with the fewest unmatched centroids.
You should figure out a convergence criterion for the algorithm to stop. The convergence check should be done at the end of every iteration and this should be included in the elapsed time.
K-Means can be decomposed as a GroupBy-Aggregate, which can be implemented relatively easily in CUDA using thrust::
primitives. The advantage of Thrust over CUDA implementation is that you are working on the algorithm level. The main work will be how to represent the Kmeans algorithm with a combination of Thrust implemented algorithms. You do not need to worry about data (de)allocation/copy and work assignment for each CUDA thread.
The performance of the Thrust implementation may not be as good as the CUDA implementation. But it should still be faster than the sequential implementation.
The main goal of this step is to write a working CUDA program from scratch. There are different ways to organize your codes and here is one example:
submit
file.To compile your code, you need to do the following
nvcc -o kmeans.o -c kmeans.cpp
nvcc -o kmeans_kernel.o -c kmeans_kernel.cu
nvcc -o kmeans kmeans.o kmeans_kernel.o
To measure elapsed time of CUDA kernels, you will find that the cudeEvent_t
API is key to doing this accurately. A good overview of how to use it to measure performance can be found here.
atomicAdd
If atomicAdd
is used by each CUDA thread to compute the aggregation, you should expect the number of iterations for the algorithm to converge becomes non-deterministic, i.e. every time you run the program, it stops at a different number of iteration even though every time it starts with the same initial centroids. This is because floating point number arithmetic is affected by the order of the computation. The use of atomicAdd
makes the order non-deterministic, hence the result of the computation. A direct consequence of this non-determinism is when you compute the centroid of a group of points, every time you can have a different result (if your threshold is relatively small) even the group of points does not change. Therefore, a relatively larger (10X the threshold used for sequential implementation) might be used for convergence test. Or you can use other convergence tests which do not involve comparing centroids.
Shared memory can be used to reduce the number of global memory accesses. The common pattern to use shared memory is as follows
load data from gmem to shmem
__syncthreads();
update shmem
__syncthreads();
store data from shmem to gmem
It is very easy to make mistakes when you do not need all threads to load and store the data but need them all to update the data in shmem. This happens when the total number of threads does not match the number of tasks (such as points). Be careful when you try to mask some threads when using shared memory.