Mercurial > hg > truffle
annotate src/os/posix/vm/os_posix.hpp @ 15388:769fc3629f59
Add phase FlowSensitiveReductionPhase.
It is possible to remove GuardingPiNodes, CheckCastNodes, and FixedGuards during
HighTier under certain conditions (control-flow sensitive conditions).
The phase added in this commit (FlowSensitiveReductionPhase) does that,
and in addition replaces usages with "downcasting" PiNodes when possible
thus resulting in more precise object stamps (e.g., non-null).
Finally, usages of floating, side-effects free, expressions are also simplified
(as per control-flow sensitive conditions).
The newly added phase runs only during HighTier and can be deactivated
using Graal option FlowSensitiveReduction (it is active by default).
author | Miguel Garcia <miguel.m.garcia@oracle.com> |
---|---|
date | Fri, 25 Apr 2014 16:50:52 +0200 |
parents | 4ca6dc0799b6 |
children | 89152779163c |
rev | line source |
---|---|
6080
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
1 /* |
14909 | 2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved. |
6080
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
4 * |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
7 * published by the Free Software Foundation. |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
8 * |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
12 * version 2 for more details (a copy is included in the LICENSE file that |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
13 * accompanied this code). |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
14 * |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
15 * You should have received a copy of the GNU General Public License version |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
16 * 2 along with this work; if not, write to the Free Software Foundation, |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
18 * |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
21 * questions. |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
22 * |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
23 */ |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
24 |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
25 #ifndef OS_POSIX_VM_OS_POSIX_HPP |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
26 #define OS_POSIX_VM_OS_POSIX_HPP |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
27 class Posix { |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
28 friend class os; |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
29 |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
30 protected: |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
31 static void print_distro_info(outputStream* st); |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
32 static void print_rlimit_info(outputStream* st); |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
33 static void print_uname_info(outputStream* st); |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
34 static void print_libversion_info(outputStream* st); |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
35 static void print_load_average(outputStream* st); |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
36 |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
37 |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
38 }; |
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
39 |
11151 | 40 /* |
41 * Crash protection for the watcher thread. Wrap the callback | |
42 * with a sigsetjmp and in case of a SIGSEGV/SIGBUS we siglongjmp | |
43 * back. | |
44 * To be able to use this - don't take locks, don't rely on destructors, | |
45 * don't make OS library calls, don't allocate memory, don't print, | |
46 * don't call code that could leave the heap / memory in an inconsistent state, | |
47 * or anything else where we are not in control if we suddenly jump out. | |
48 */ | |
49 class WatcherThreadCrashProtection : public StackObj { | |
50 public: | |
51 WatcherThreadCrashProtection(); | |
52 bool call(os::CrashProtectionCallback& cb); | |
53 | |
54 static void check_crash_protection(int signal, Thread* thread); | |
55 private: | |
56 void restore(); | |
57 sigjmp_buf _jmpbuf; | |
58 }; | |
6080
7432b9db36ff
7165755: OS Information much longer on linux than other platforms
nloodin
parents:
diff
changeset
|
59 |
14909 | 60 #endif |