Merge branch 'gcc-O2' of https://bitbucket.org/tesio/jehanne into gcc-O2

This commit is contained in:
Giacomo Tesio 2017-05-23 22:57:41 +02:00
commit 6b70ea29e2
9 changed files with 219 additions and 351 deletions

View File

@ -221,6 +221,10 @@ extern int libposix_define_signal(PosixSignals signal, int code);
extern int libposix_define_realtime_signals(int sigrtmin, int sigrtmax);
/* Enable SIGCHLD emulation
*/
extern int libposix_emulate_SIGCHLD(void);
/* Define of WCONTINUED, WNOHANG and WUNTRACED bit flags.
*
* Note that WCONTINUED and WUNTRACED are not yet supported by libposix

View File

@ -66,7 +66,6 @@
"l64v.S",
"l64fpu.S",
"cpuidamd64.S",
"l64acidt.S",
"l64idt.S",
"l64vsyscall.S",
"acpi.c",

View File

@ -1,341 +0,0 @@
/*
* Interrupt/exception handling.
*/
#include "amd64.h"
.code64
.global _acintrp
_acintrp:
pushq %rax // bogus error code. Makes stack look like intre.
// Except in this case, bogus error code is at 0(%rsp)
// vno pointer is at 8(%rsp)
movq 8(%rsp), %rax
// Now %rax points to the vector number.
jmp _acintrcommon
.globl _acintre
_acintre:
// The error code has been pushed. How I love the x86.
// So the error code is ABOVE the pointer to the vector #.
xchgq %rax, (%rsp)
_acintrcommon:
// Get the vector number into %al
movb (%rax), %al
andq $0xff, %rax
// Put that at TOS (this is plan 9 argument style)
xchgq %rax, 0(%rsp)
// 0(%rsp) now has the vno
cmpw $SSEL(SiCS, SsTIGDT|SsRPL0), 24(%rsp) /* old CS */
je _acintrnested
swapgs
_acintrnested:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %r11
pushq %r10
pushq %r9
pushq %r8
pushq %rbp
pushq %rdi
pushq %rsi
pushq %rdx
pushq %rcx
pushq %rbx
pushq %rax
movq %rsp, %rdi // it's ok, we saved %rdi.
call trap
.globl _acintrr
_acintrr:
popq %rax
popq %rbx
popq %rcx
popq %rdx
popq %rsi
popq %rdi
popq %rbp
popq %r8
popq %r9
popq %r10
popq %r11
popq %r12
popq %r13
popq %r14
popq %r15
cmpw $SSEL(SiCS, SsTIGDT|SsRPL0), 24(%rsp) /* old CS */
je _aciretnested
swapgs
_aciretnested:
// Throw away:
// The %rax you pushed (error code)
// EIP from the vector table.
addq $16, %rsp
iretq
.globl acidthandlers
acidthandlers:
call _acintrp; .byte IdtDE /* #DE Divide-by-Zero Error */
call _acintrp; .byte IdtDB /* #DB Debug */
call _acintrp; .byte IdtNMI /* #NMI Borked */
call _acintrp; .byte IdtBP /* #BP Breakpoint */
call _acintrp; .byte IdtOF /* #OF Overflow */
call _acintrp; .byte IdtBR /* #BR Bound-Range */
call _acintrp; .byte IdtUD /* #UD Invalid-Opcode */
call _acintrp; .byte IdtNM /* #NM Device-Not-Available */
call _acintre; .byte IdtDF /* #DF Double-Fault */
call _acintrp; .byte Idt09 /* reserved */
call _acintre; .byte IdtTS /* #TS Invalid-TSS */
call _acintre; .byte IdtNP /* #NP Segment-Not-Present */
call _acintre; .byte IdtSS /* #SS Stack */
call _acintre; .byte IdtGP /* #GP General-Protection */
call _acintre; .byte IdtPF /* #PF Page-Fault */
call _acintrp; .byte Idt0F /* reserved */
call _acintrp; .byte IdtMF /* #MF x87 FPE-Pending */
call _acintre; .byte IdtAC /* #AC Alignment-Check */
call _acintrp; .byte IdtMC /* #MC Machine-Check */
call _acintrp; .byte IdtXF /* #XF SIMD Floating-Point */
call _acintrp; .byte 0x14 /* reserved */
call _acintrp; .byte 0x15 /* reserved */
call _acintrp; .byte 0x16 /* reserved */
call _acintrp; .byte 0x17 /* reserved */
call _acintrp; .byte 0x18 /* reserved */
call _acintrp; .byte 0x19 /* reserved */
call _acintrp; .byte 0x1a /* reserved */
call _acintrp; .byte 0x1b /* reserved */
call _acintrp; .byte 0x1c /* reserved */
call _acintrp; .byte 0x1d /* reserved */
call _acintrp; .byte 0x1e /* reserved */
call _acintrp; .byte 0x1f /* reserved */
call _acintrp; .byte 0x20
call _acintrp; .byte 0x21
call _acintrp; .byte 0x22
call _acintrp; .byte 0x23
call _acintrp; .byte 0x24
call _acintrp; .byte 0x25
call _acintrp; .byte 0x26
call _acintrp; .byte 0x27
call _acintrp; .byte 0x28
call _acintrp; .byte 0x29
call _acintrp; .byte 0x2a
call _acintrp; .byte 0x2b
call _acintrp; .byte 0x2c
call _acintrp; .byte 0x2d
call _acintrp; .byte 0x2e
call _acintrp; .byte 0x2f
call _acintrp; .byte 0x30
call _acintrp; .byte 0x31
call _acintrp; .byte 0x32
call _acintrp; .byte 0x33
call _acintrp; .byte 0x34
call _acintrp; .byte 0x35
call _acintrp; .byte 0x36
call _acintrp; .byte 0x37
call _acintrp; .byte 0x38
call _acintrp; .byte 0x39
call _acintrp; .byte 0x3a
call _acintrp; .byte 0x3b
call _acintrp; .byte 0x3c
call _acintrp; .byte 0x3d
call _acintrp; .byte 0x3e
call _acintrp; .byte 0x3f
call _acintrp; .byte 0x40
call _acintrp; .byte 0x41
call _acintrp; .byte 0x42
call _acintrp; .byte 0x43
call _acintrp; .byte 0x44
call _acintrp; .byte 0x45
call _acintrp; .byte 0x46
call _acintrp; .byte 0x47
call _acintrp; .byte 0x48
call _acintrp; .byte 0x49
call _acintrp; .byte 0x4a
call _acintrp; .byte 0x4b
call _acintrp; .byte 0x4c
call _acintrp; .byte 0x4d
call _acintrp; .byte 0x4e
call _acintrp; .byte 0x4f
call _acintrp; .byte 0x50
call _acintrp; .byte 0x51
call _acintrp; .byte 0x52
call _acintrp; .byte 0x53
call _acintrp; .byte 0x54
call _acintrp; .byte 0x55
call _acintrp; .byte 0x56
call _acintrp; .byte 0x57
call _acintrp; .byte 0x58
call _acintrp; .byte 0x59
call _acintrp; .byte 0x5a
call _acintrp; .byte 0x5b
call _acintrp; .byte 0x5c
call _acintrp; .byte 0x5d
call _acintrp; .byte 0x5e
call _acintrp; .byte 0x5f
call _acintrp; .byte 0x60
call _acintrp; .byte 0x61
call _acintrp; .byte 0x62
call _acintrp; .byte 0x63
call _acintrp; .byte 0x64
call _acintrp; .byte 0x65
call _acintrp; .byte 0x66
call _acintrp; .byte 0x67
call _acintrp; .byte 0x68
call _acintrp; .byte 0x69
call _acintrp; .byte 0x6a
call _acintrp; .byte 0x6b
call _acintrp; .byte 0x6c
call _acintrp; .byte 0x6d
call _acintrp; .byte 0x6e
call _acintrp; .byte 0x6f
call _acintrp; .byte 0x70
call _acintrp; .byte 0x71
call _acintrp; .byte 0x72
call _acintrp; .byte 0x73
call _acintrp; .byte 0x74
call _acintrp; .byte 0x75
call _acintrp; .byte 0x76
call _acintrp; .byte 0x77
call _acintrp; .byte 0x78
call _acintrp; .byte 0x79
call _acintrp; .byte 0x7a
call _acintrp; .byte 0x7b
call _acintrp; .byte 0x7c
call _acintrp; .byte 0x7d
call _acintrp; .byte 0x7e
call _acintrp; .byte 0x7f
call _acintrp; .byte 0x80
call _acintrp; .byte 0x81
call _acintrp; .byte 0x82
call _acintrp; .byte 0x83
call _acintrp; .byte 0x84
call _acintrp; .byte 0x85
call _acintrp; .byte 0x86
call _acintrp; .byte 0x87
call _acintrp; .byte 0x88
call _acintrp; .byte 0x89
call _acintrp; .byte 0x8a
call _acintrp; .byte 0x8b
call _acintrp; .byte 0x8c
call _acintrp; .byte 0x8d
call _acintrp; .byte 0x8e
call _acintrp; .byte 0x8f
call _acintrp; .byte 0x90
call _acintrp; .byte 0x91
call _acintrp; .byte 0x92
call _acintrp; .byte 0x93
call _acintrp; .byte 0x94
call _acintrp; .byte 0x95
call _acintrp; .byte 0x96
call _acintrp; .byte 0x97
call _acintrp; .byte 0x98
call _acintrp; .byte 0x99
call _acintrp; .byte 0x9a
call _acintrp; .byte 0x9b
call _acintrp; .byte 0x9c
call _acintrp; .byte 0x9d
call _acintrp; .byte 0x9e
call _acintrp; .byte 0x9f
call _acintrp; .byte 0xa0
call _acintrp; .byte 0xa1
call _acintrp; .byte 0xa2
call _acintrp; .byte 0xa3
call _acintrp; .byte 0xa4
call _acintrp; .byte 0xa5
call _acintrp; .byte 0xa6
call _acintrp; .byte 0xa7
call _acintrp; .byte 0xa8
call _acintrp; .byte 0xa9
call _acintrp; .byte 0xaa
call _acintrp; .byte 0xab
call _acintrp; .byte 0xac
call _acintrp; .byte 0xad
call _acintrp; .byte 0xae
call _acintrp; .byte 0xaf
call _acintrp; .byte 0xb0
call _acintrp; .byte 0xb1
call _acintrp; .byte 0xb2
call _acintrp; .byte 0xb3
call _acintrp; .byte 0xb4
call _acintrp; .byte 0xb5
call _acintrp; .byte 0xb6
call _acintrp; .byte 0xb7
call _acintrp; .byte 0xb8
call _acintrp; .byte 0xb9
call _acintrp; .byte 0xba
call _acintrp; .byte 0xbb
call _acintrp; .byte 0xbc
call _acintrp; .byte 0xbd
call _acintrp; .byte 0xbe
call _acintrp; .byte 0xbf
call _acintrp; .byte 0xc0
call _acintrp; .byte 0xc1
call _acintrp; .byte 0xc2
call _acintrp; .byte 0xc3
call _acintrp; .byte 0xc4
call _acintrp; .byte 0xc5
call _acintrp; .byte 0xc6
call _acintrp; .byte 0xc7
call _acintrp; .byte 0xc8
call _acintrp; .byte 0xc9
call _acintrp; .byte 0xca
call _acintrp; .byte 0xcb
call _acintrp; .byte 0xcc
call _acintrp; .byte 0xce
call _acintrp; .byte 0xce
call _acintrp; .byte 0xcf
call _acintrp; .byte 0xd0
call _acintrp; .byte 0xd1
call _acintrp; .byte 0xd2
call _acintrp; .byte 0xd3
call _acintrp; .byte 0xd4
call _acintrp; .byte 0xd5
call _acintrp; .byte 0xd6
call _acintrp; .byte 0xd7
call _acintrp; .byte 0xd8
call _acintrp; .byte 0xd9
call _acintrp; .byte 0xda
call _acintrp; .byte 0xdb
call _acintrp; .byte 0xdc
call _acintrp; .byte 0xdd
call _acintrp; .byte 0xde
call _acintrp; .byte 0xdf
call _acintrp; .byte 0xe0
call _acintrp; .byte 0xe1
call _acintrp; .byte 0xe2
call _acintrp; .byte 0xe3
call _acintrp; .byte 0xe4
call _acintrp; .byte 0xe5
call _acintrp; .byte 0xe6
call _acintrp; .byte 0xe7
call _acintrp; .byte 0xe8
call _acintrp; .byte 0xe9
call _acintrp; .byte 0xea
call _acintrp; .byte 0xeb
call _acintrp; .byte 0xec
call _acintrp; .byte 0xed
call _acintrp; .byte 0xee
call _acintrp; .byte 0xef
call _acintrp; .byte 0xf0
call _acintrp; .byte 0xf1
call _acintrp; .byte 0xf2
call _acintrp; .byte 0xf3
call _acintrp; .byte 0xf4
call _acintrp; .byte 0xf5
call _acintrp; .byte 0xf6
call _acintrp; .byte 0xf7
call _acintrp; .byte 0xf8
call _acintrp; .byte 0xf9
call _acintrp; .byte 0xfa
call _acintrp; .byte 0xfb
call _acintrp; .byte 0xfc
call _acintrp; .byte 0xfd
call _acintrp; .byte 0xfe
call _acintrp; .byte 0xff

View File

@ -17,6 +17,7 @@
"memory.c",
"others.c",
"processes.c",
"sigchlds.c",
"signals.c"
]
}

View File

@ -40,6 +40,7 @@ libposix_init(int argc, char *argv[], PosixInit init)
extern unsigned char *__signals_to_code_map;
extern unsigned char *__code_to_signal_map;
extern int *__handling_external_signal;
extern int *__libposix_sigchld_target_pid;
WaitList *wait_list;
int status;
@ -47,6 +48,7 @@ libposix_init(int argc, char *argv[], PosixInit init)
unsigned char signals_to_code[256];
unsigned char code_to_signal[256];
int handling_signal;
int sigchld_target_pid;
assert(__initialized == 0);
@ -62,9 +64,11 @@ libposix_init(int argc, char *argv[], PosixInit init)
memset(signals_to_code, 0, sizeof(signals_to_code));
memset(code_to_signal, 0, sizeof(code_to_signal));
handling_signal = 0;
sigchld_target_pid = 0;
__signals_to_code_map = signals_to_code;
__code_to_signal_map = code_to_signal;
__handling_external_signal = &handling_signal;
__libposix_sigchld_target_pid = &sigchld_target_pid;
if(!atnotify(__libposix_note_handler, 1))
sysfatal("libposix: atnotify");

View File

@ -39,5 +39,5 @@ extern int __libposix_note_handler(void *ureg, char *note);
extern void __libposix_free_wait_list(void);
extern void __libposix_setup_new_process(void);

View File

@ -28,6 +28,25 @@ static int __libposix_wnohang;
#define __POSIX_SIGNAL_PREFIX_LEN (sizeof(__POSIX_SIGNAL_PREFIX)-1)
static int
fork_without_sigchld(int *errnop)
{
int pid = fork();
if(pid == 0)
__libposix_setup_new_process();
return pid;
}
int (*__libposix_fork)(int *errnop) = fork_without_sigchld;
void
__libposix_setup_new_process(void)
{
/* reset wait list for the child */
*__libposix_wait_list = nil;
}
void
__libposix_free_wait_list(void)
{
@ -110,13 +129,7 @@ POSIX_getppid(int *errnop)
int
POSIX_fork(int *errnop)
{
int pid = fork();
if(pid == 0){
/* reset wait list for the child */
*__libposix_wait_list = nil;
}
return pid;
return __libposix_fork(errnop);
}
int

View File

@ -0,0 +1,188 @@
/*
* This file is part of Jehanne.
*
* Copyright (C) 2017 Giacomo Tesio <giacomo@tesio.it>
*
* This is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as
* published by the Free Software Foundation, version 3 of the License.
*
* Jehanne is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with Jehanne. If not, see <http://www.gnu.org/licenses/>.
*/
#include <u.h>
#include <lib9.h>
#include <posix.h>
#include "internal.h"
/* rendezvous points */
extern unsigned char *__signals_to_code_map;
extern unsigned char *__code_to_signal_map;
/* pointer to the pid to forward notes to */
int *__libposix_sigchld_target_pid;
#define CHILD_READY(pid) ((long)rendezvous(&__signals_to_code_map, (void*)(~(pid))))
#define C2P_READY(pid) ((long)rendezvous(&__code_to_signal_map, (void*)(~(pid))))
static void
release_inherited_resources(void)
{
notify(nil);
rfork(RFCNAMEG|RFCENVG|RFNOTEG|RFCFDG);
bind("#P", "/proc", MREPL);
rfork(RFNOMNT);
}
static void
forwarding_note_handler(void *ureg, char *note)
{
postnote(PNPROC, *__libposix_sigchld_target_pid, note);
noted(NCONT);
}
static void
forward_wait_msg(int sigchld_receiver, char *name)
{
int n;
char buf[512], err[ERRMAX], note[512], *fld[5];
snprint(buf, sizeof(buf), "/proc/%d/args", getpid());
n = open(buf, OWRITE);
write(n, name, strlen(name)+1);
close(n);
n = 0;
WaitInterrupted:
n = await(buf, sizeof buf-1);
if(n < 0){
rerrstr(err, ERRMAX);
if(strstr(err, "no living children") == nil)
goto WaitInterrupted;
snprint(note, sizeof(note), "%s: %r", name);
if(sigchld_receiver)
postnote(PNPROC, sigchld_receiver, note);
exits(note);
}
buf[n] = '\0';
if(jehanne_tokenize(buf, fld, nelem(fld)) != nelem(fld)){
snprint(note, sizeof(note), "%s: couldn't parse wait message", name);
if(sigchld_receiver)
postnote(PNPROC, sigchld_receiver, note);
exits(note);
}
snprint(note, sizeof(note), __POSIX_SIGNAL_PREFIX " %d", __signals_to_code_map[PosixSIGCHLD]);
if(sigchld_receiver){
postnote(PNPROC, sigchld_receiver, note);
}
exits(fld[4]);
}
static int
fork_with_sigchld(int *errnop)
{
int father = getpid();
int p2c;
long c2p = -1, child = -1;
char proxy_name[256];
/* Father here:
* - create P2C
* - wait for C2P to be ready
* - register P2C in children list
* - return P2C pid
*/
switch(p2c = rfork(RFPROC|RFMEM)){
case -1:
return -1;
case 0:
/* P2C here:
* - create C2P
* - wait for the child pid
* - release all inherited resources
* - install forwarding_note_handler
* - send to father the C2P pid
* - start waiting for the child
*/
switch(c2p = rfork(RFPROC|RFMEM)){
case -1:
while(C2P_READY(-2) == -1)
;
exits("rfork (c2p)");
case 0:
/* C2P here:
* - create child
* - release all inherited resources
* - install forwarding_note_handler
* - send to P2C the child pid
* - start forwarding notes to the father
*/
switch(child = fork()){
case -1:
while(CHILD_READY(-2) == -1)
;
exits("rfork (child)");
case 0:
/* Beloved child here
*/
__libposix_setup_new_process();
return 0;
default:
release_inherited_resources();
*__libposix_sigchld_target_pid = father;
notify(forwarding_note_handler);
snprint(proxy_name, sizeof(proxy_name), "libposix signal proxy %d < %d", father, child);
while(CHILD_READY(child) == -1)
;
forward_wait_msg(father, proxy_name);
}
default:
while((child = CHILD_READY(-3)) == -1)
;
child = ~child;
if(child < 0){
while(C2P_READY(-2) == -1)
;
waitpid();
exits("rfork (child)");
}
release_inherited_resources();
*__libposix_sigchld_target_pid = child;
notify(forwarding_note_handler);
snprint(proxy_name, sizeof(proxy_name), "libposix signal proxy %d > %d", father, child);
while(C2P_READY(c2p) == -1)
;
forward_wait_msg(0, proxy_name);
}
default:
while((c2p = C2P_READY(-3)) == -1)
;
c2p = ~c2p;
if(c2p < 0){
waitpid();
return -1;
}
break;
}
/* TODO: register p2c among known children so that kill can
* handle them properly.
*/
return p2c;
}
int
libposix_emulate_SIGCHLD(void)
{
extern int (*__libposix_fork)(int *errnop);
__libposix_fork = fork_with_sigchld;
return 1;
}

View File

@ -161,7 +161,7 @@ terminated_by_signal(int sig)
exits(buf);
}
static int
int
send_control_msg(int pid, char *msg)
{
int fd, n;