1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
|
// Copyright 2018 The gVisor Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
#include "textflag.h"
// The signals handled by sigHandler.
#define SIGBUS 7
#define SIGSEGV 11
// Offsets to the registers in context->uc_mcontext.gregs[].
#define REG_R0 0xB8
#define REG_R1 0xC0
#define REG_PC 0x1B8
// Offset to the si_addr field of siginfo.
#define SI_CODE 0x08
#define SI_ADDR 0x10
// signalHandler is the signal handler for SIGSEGV and SIGBUS signals. It must
// not be set up as a handler to any other signals.
//
// If the instruction causing the signal is within a safecopy-protected
// function, the signal is handled such that execution resumes in the
// appropriate fault handling stub with R0 containing the faulting address and
// R1 containing the signal number. Otherwise control is transferred to the
// previously configured signal handler (savedSigSegvHandler or
// savedSigBusHandler).
//
// This function cannot be written in go because it runs whenever a signal is
// received by the thread (preempting whatever was running), which includes when
// garbage collector has stopped or isn't expecting any interactions (like
// barriers).
//
// The arguments are the following:
// R0 - The signal number.
// R1 - Pointer to siginfo_t structure.
// R2 - Pointer to ucontext structure.
TEXT ·signalHandler(SB),NOSPLIT,$0
// Check if the signal is from the kernel, si_code > 0 means a kernel signal.
MOVD SI_CODE(R1), R7
CMPW $0x0, R7
BLE original_handler
// Check if PC is within the area we care about.
MOVD REG_PC(R2), R7
MOVD ·memcpyBegin(SB), R8
CMP R8, R7
BLO not_memcpy
MOVD ·memcpyEnd(SB), R8
CMP R8, R7
BHS not_memcpy
// Modify the context such that execution will resume in the fault handler.
MOVD $handleMemcpyFault(SB), R7
B handle_fault
not_memcpy:
MOVD ·memclrBegin(SB), R8
CMP R8, R7
BLO not_memclr
MOVD ·memclrEnd(SB), R8
CMP R8, R7
BHS not_memclr
MOVD $handleMemclrFault(SB), R7
B handle_fault
not_memclr:
MOVD ·swapUint32Begin(SB), R8
CMP R8, R7
BLO not_swapuint32
MOVD ·swapUint32End(SB), R8
CMP R8, R7
BHS not_swapuint32
MOVD $handleSwapUint32Fault(SB), R7
B handle_fault
not_swapuint32:
MOVD ·swapUint64Begin(SB), R8
CMP R8, R7
BLO not_swapuint64
MOVD ·swapUint64End(SB), R8
CMP R8, R7
BHS not_swapuint64
MOVD $handleSwapUint64Fault(SB), R7
B handle_fault
not_swapuint64:
MOVD ·compareAndSwapUint32Begin(SB), R8
CMP R8, R7
BLO not_casuint32
MOVD ·compareAndSwapUint32End(SB), R8
CMP R8, R7
BHS not_casuint32
MOVD $handleCompareAndSwapUint32Fault(SB), R7
B handle_fault
not_casuint32:
MOVD ·loadUint32Begin(SB), R8
CMP R8, R7
BLO not_loaduint32
MOVD ·loadUint32End(SB), R8
CMP R8, R7
BHS not_loaduint32
MOVD $handleLoadUint32Fault(SB), R7
B handle_fault
not_loaduint32:
original_handler:
// Jump to the previous signal handler, which is likely the golang one.
MOVD ·savedSigBusHandler(SB), R7
MOVD ·savedSigSegVHandler(SB), R8
CMPW $SIGSEGV, R0
CSEL EQ, R8, R7, R7
B (R7)
handle_fault:
// Entered with the address of the fault handler in R7; store it in PC.
MOVD R7, REG_PC(R2)
// Store the faulting address in R0.
MOVD SI_ADDR(R1), R7
MOVD R7, REG_R0(R2)
// Store the signal number in R1.
MOVW R0, REG_R1(R2)
RET
|
