You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's a bug in pony, I only slightly modified counter.c such that
several threads send to one actor. The actor mailbox has a race that
leads to a crash. We'll need Sylvain's help to fix it without hurting
performance terribly.
bash-3.2$ ./encorec -clang stringSend.enc
Compiling with clang...
stringSend.pony.c:69:11: warning: redefinition of typedef 'Main_data' is a C11 feature [-Wtypedef-redefinition]
} Main_data;
^
stringSend.pony.c:50:29: note: previous definition is here
typedef struct ___Main_data Main_data;
^
stringSend.pony.c:113:1: warning: control reaches end of non-void function [-Wreturn-type]
}
^
stringSend.pony.c:156:11: warning: redefinition of typedef 'Other_data' is a C11 feature [-Wtypedef-redefinition]
} Other_data;
^
stringSend.pony.c:57:30: note: previous definition is here
typedef struct ___Other_data Other_data;
^
stringSend.pony.c:257:17: warning: incompatible pointer types passing 'pony_actor_t *' (aka 'struct pony_actor_t *') to parameter of type 'Main_data '
(aka 'struct ___Main_data ') [-Wincompatible-pointer-types]
Main_main(d);
^
stringSend.pony.c:106:28: note: passing argument to parameter 'this' here
void Main_main(Main_data this)
^
4 warnings generated.
Done! Output written to encore.stringSend
Cleaning up...
bash-3.2$ ./encore.stringSend
Bus error: 10
I have a memory of this program working before. Any ideas?
The text was updated successfully, but these errors were encountered: