The BIOS upgrade much improved the situation, thanks for the hint. The
website I posted above doesn't freeze the system any longer.
However, if I run
#include <stdio.h>
#include <stdlib.h>
int main() {
int i, *p;
for(i=0; ; i++) {
p = (int *) malloc(10000*sizeof(int));
printf("%d ", i);
}
return 0;
}
the system almost freezes. I can still move the mouse pointer, but the
GUI doesn't react to anything else and there's no printf output any
more.
7VET95WW (3.25 )
10/10/2012
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1193847
Title:
System freeze on high memory usage
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1193847/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
