ChoChoX/C-exp-collection
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

2

Browse Source
This commit is contained in:
ChoChoX
2026-05-28 08:48:01 +08:00
parent 1132d9e9a7
commit 43902c20e4
93 changed files with 84995 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

54
exp1/badcount.c
View File

@@ -4,44 +4,46 @@
#include <stdlib.h>
#include <unistd.h>
void *increase(void *vargp);
void *decrease(void *vargp);
int cnt = 0;
int main(int argc, char **argv)
int main()
{
unsigned int niters;
pthread_t t1,t2;
if (argc != 2)
pthread_t t1, t2;
niters = 10;
for (int i = 0; i < 10; i++)
{
printf("Usage: %s <niters>\n", argv[0]);
exit(2);
}
niters = atoll(argv[1]);
pthread_create(&t1,NULL,increase,(void *)niters);
pthread_create(&t2,NULL,decrease,(void *)niters);
pthread_join(t1,NULL);
pthread_join(t2,NULL);
if (cnt != 0)
{
printf("Error! cnt=%d\n", cnt);
}
else
{
printf("Correct! cnt=%d\n", cnt);
printf("niters=%d\n", niters);
for (int j = 0; j < 20; j++)
{
pthread_create(&t1, NULL, increase, (void *)niters);
pthread_create(&t2, NULL, decrease, (void *)niters);
pthread_join(t1, NULL);
pthread_join(t2, NULL);
if (cnt != 0)
{
printf("Error! cnt=%d\n", cnt);
exit(1);
}
else
{
printf("Correct! cnt=%d\n", cnt);
}
}
niters *= 10;
}
exit(0);
}
void *increase(void *vargp)
{
unsigned i ,niters = (unsigned int)vargp;
for ( i = 0; i < niters; i++)
unsigned i, niters = (unsigned int)vargp;
for (i = 0; i < niters; i++)
{
cnt++;
}
@@ -51,7 +53,7 @@ void *increase(void *vargp)
void *decrease(void *vargp)
{
unsigned i, niters = (unsigned int)vargp;
for ( i = 0; i < niters; i++)
for (i = 0; i < niters; i++)
{
cnt--;
}