executor: overhaul

Make as much code as possible shared between all OSes.
In particular main is now common across all OSes.
Make more code shared between executor and csource
(in particular, loop function and threaded execution logic).
Also make loop and threaded logic shared across all OSes.
Make more posix/unix code shared across OSes
(e.g. signal handling, pthread creation, etc).
Plus other changes along similar lines.
Also support test OS in executor (based on portable posix)
and add 4 arches that cover all execution modes
(fork server/no fork server, shmem/no shmem).

This change paves way for testing of executor code
and allows to preserve consistency across OSes and executor/csource.

1 files changed, 58 insertions, 58 deletions

diff --git a/prog/size_test.go b/prog/size_test.go
index e11988e08..2ca47a70f 100644
--- a/prog/size_test.go
+++ b/prog/size_test.go
@@ -36,120 +36,120 @@ func TestAssignSize(t *testing.T) {
 		sizedProg   string
 	}{
 		{
-			"syz_test$length0(&(0x7f0000000000)={0xff, 0x0})",
-			"syz_test$length0(&(0x7f0000000000)={0xff, 0x2})",
+			"test$length0(&(0x7f0000000000)={0xff, 0x0})",
+			"test$length0(&(0x7f0000000000)={0xff, 0x2})",
 		},
 		{
-			"syz_test$length1(&(0x7f0000001000)={0xff, 0x0})",
-			"syz_test$length1(&(0x7f0000001000)={0xff, 0x4})",
+			"test$length1(&(0x7f0000001000)={0xff, 0x0})",
+			"test$length1(&(0x7f0000001000)={0xff, 0x4})",
 		},
 		{
-			"syz_test$length2(&(0x7f0000001000)={0xff, 0x0})",
-			"syz_test$length2(&(0x7f0000001000)={0xff, 0x8})",
+			"test$length2(&(0x7f0000001000)={0xff, 0x0})",
+			"test$length2(&(0x7f0000001000)={0xff, 0x8})",
 		},
 		{
-			"syz_test$length3(&(0x7f0000005000)={0xff, 0x0, 0x0})",
-			"syz_test$length3(&(0x7f0000005000)={0xff, 0x4, 0x2})",
+			"test$length3(&(0x7f0000005000)={0xff, 0x0, 0x0})",
+			"test$length3(&(0x7f0000005000)={0xff, 0x4, 0x2})",
 		},
 		{
-			"syz_test$length4(&(0x7f0000003000)={0x0, 0x0})",
-			"syz_test$length4(&(0x7f0000003000)={0x2, 0x2})",
+			"test$length4(&(0x7f0000003000)={0x0, 0x0})",
+			"test$length4(&(0x7f0000003000)={0x2, 0x2})",
 		},
 		{
-			"syz_test$length5(&(0x7f0000002000)={0xff, 0x0})",
-			"syz_test$length5(&(0x7f0000002000)={0xff, 0x4})",
+			"test$length5(&(0x7f0000002000)={0xff, 0x0})",
+			"test$length5(&(0x7f0000002000)={0xff, 0x4})",
 		},
 		{
-			"syz_test$length6(&(0x7f0000002000)={[0xff, 0xff, 0xff, 0xff], 0x0})",
-			"syz_test$length6(&(0x7f0000002000)={[0xff, 0xff, 0xff, 0xff], 0x4})",
+			"test$length6(&(0x7f0000002000)={[0xff, 0xff, 0xff, 0xff], 0x0})",
+			"test$length6(&(0x7f0000002000)={[0xff, 0xff, 0xff, 0xff], 0x4})",
 		},
 		{
-			"syz_test$length7(&(0x7f0000003000)={[0xff, 0xff, 0xff, 0xff], 0x0})",
-			"syz_test$length7(&(0x7f0000003000)={[0xff, 0xff, 0xff, 0xff], 0x8})",
+			"test$length7(&(0x7f0000003000)={[0xff, 0xff, 0xff, 0xff], 0x0})",
+			"test$length7(&(0x7f0000003000)={[0xff, 0xff, 0xff, 0xff], 0x8})",
 		},
 		{
-			"syz_test$length8(&(0x7f000001f000)={0x00, {0xff, 0x0, 0x00, [0xff, 0xff, 0xff]}, [{0xff, 0x0, 0x00, [0xff, 0xff, 0xff]}], 0x00, 0x0, [0xff, 0xff]})",
-			"syz_test$length8(&(0x7f000001f000)={0x32, {0xff, 0x1, 0x10, [0xff, 0xff, 0xff]}, [{0xff, 0x1, 0x10, [0xff, 0xff, 0xff]}], 0x10, 0x1, [0xff, 0xff]})",
+			"test$length8(&(0x7f000001f000)={0x00, {0xff, 0x0, 0x00, [0xff, 0xff, 0xff]}, [{0xff, 0x0, 0x00, [0xff, 0xff, 0xff]}], 0x00, 0x0, [0xff, 0xff]})",
+			"test$length8(&(0x7f000001f000)={0x32, {0xff, 0x1, 0x10, [0xff, 0xff, 0xff]}, [{0xff, 0x1, 0x10, [0xff, 0xff, 0xff]}], 0x10, 0x1, [0xff, 0xff]})",
 		},
 		{
-			"syz_test$length9(&(0x7f000001f000)={&(0x7f0000000000/0x5000)=nil, 0x0000})",
-			"syz_test$length9(&(0x7f000001f000)={&(0x7f0000000000/0x5000)=nil, 0x5000})",
+			"test$length9(&(0x7f000001f000)={&(0x7f0000000000/0x5000)=nil, 0x0000})",
+			"test$length9(&(0x7f000001f000)={&(0x7f0000000000/0x5000)=nil, 0x5000})",
 		},
 		{
-			"syz_test$length10(&(0x7f0000000000/0x5000)=nil, 0x0000, 0x0000, 0x0000, 0x0000)",
-			"syz_test$length10(&(0x7f0000000000/0x5000)=nil, 0x5000, 0x5000, 0x2800, 0x1400)",
+			"test$length10(&(0x7f0000000000/0x5000)=nil, 0x0000, 0x0000, 0x0000, 0x0000)",
+			"test$length10(&(0x7f0000000000/0x5000)=nil, 0x5000, 0x5000, 0x2800, 0x1400)",
 		},
 		{
-			"syz_test$length11(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x00)",
-			"syz_test$length11(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x30)",
+			"test$length11(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x00)",
+			"test$length11(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x30)",
 		},
 		{
-			"syz_test$length12(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x00)",
-			"syz_test$length12(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x30)",
+			"test$length12(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x00)",
+			"test$length12(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, 0x30)",
 		},
 		{
-			"syz_test$length13(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x00)",
-			"syz_test$length13(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x30)",
+			"test$length13(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x00)",
+			"test$length13(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x30)",
 		},
 		{
-			"syz_test$length14(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x00)",
-			"syz_test$length14(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x30)",
+			"test$length14(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x00)",
+			"test$length14(&(0x7f0000000000)={0xff, 0xff, [0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]}, &(0x7f0000001000)=0x30)",
 		},
 		{
-			"syz_test$length15(0xff, 0x0)",
-			"syz_test$length15(0xff, 0x2)",
+			"test$length15(0xff, 0x0)",
+			"test$length15(0xff, 0x2)",
 		},
 		{
-			"syz_test$length16(&(0x7f0000000000)={[0x42, 0x42], 0xff, 0xff, 0xff, 0xff, 0xff})",
-			"syz_test$length16(&(0x7f0000000000)={[0x42, 0x42], 0x2, 0x10, 0x8, 0x4, 0x2})",
+			"test$length16(&(0x7f0000000000)={[0x42, 0x42], 0xff, 0xff, 0xff, 0xff, 0xff})",
+			"test$length16(&(0x7f0000000000)={[0x42, 0x42], 0x2, 0x10, 0x8, 0x4, 0x2})",
 		},
 		{
-			"syz_test$length17(&(0x7f0000000000)={0x42, 0xff, 0xff, 0xff, 0xff})",
-			"syz_test$length17(&(0x7f0000000000)={0x42, 0x8, 0x4, 0x2, 0x1})",
+			"test$length17(&(0x7f0000000000)={0x42, 0xff, 0xff, 0xff, 0xff})",
+			"test$length17(&(0x7f0000000000)={0x42, 0x8, 0x4, 0x2, 0x1})",
 		},
 		{
-			"syz_test$length18(&(0x7f0000000000)={0x42, 0xff, 0xff, 0xff, 0xff})",
-			"syz_test$length18(&(0x7f0000000000)={0x42, 0x8, 0x4, 0x2, 0x1})",
+			"test$length18(&(0x7f0000000000)={0x42, 0xff, 0xff, 0xff, 0xff})",
+			"test$length18(&(0x7f0000000000)={0x42, 0x8, 0x4, 0x2, 0x1})",
 		},
 		{
-			"syz_test$length19(&(0x7f0000000000)={{0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0xff}, 0xff, 0xff, 0xff})",
-			"syz_test$length19(&(0x7f0000000000)={{0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x14}, 0x14, 0x14, 0x5})",
+			"test$length19(&(0x7f0000000000)={{0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0xff}, 0xff, 0xff, 0xff})",
+			"test$length19(&(0x7f0000000000)={{0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x14}, 0x14, 0x14, 0x5})",
 		},
 		{
-			"syz_test$length20(&(0x7f0000000000)={{{0xff, 0xff, 0xff, 0xff}, 0xff, 0xff, 0xff}, 0xff, 0xff})",
-			"syz_test$length20(&(0x7f0000000000)={{{0x4, 0x4, 0x7, 0x9}, 0x7, 0x7, 0x9}, 0x9, 0x9})",
+			"test$length20(&(0x7f0000000000)={{{0xff, 0xff, 0xff, 0xff}, 0xff, 0xff, 0xff}, 0xff, 0xff})",
+			"test$length20(&(0x7f0000000000)={{{0x4, 0x4, 0x7, 0x9}, 0x7, 0x7, 0x9}, 0x9, 0x9})",
 		},
 		{
-			"syz_test$length21(&(0x7f0000000000)=0x0, 0x0)",
-			"syz_test$length21(&(0x7f0000000000), 0x40)",
+			"test$length21(&(0x7f0000000000)=0x0, 0x0)",
+			"test$length21(&(0x7f0000000000), 0x40)",
 		},
 		{
-			"syz_test$length22(&(0x7f0000000000)='12345', 0x0)",
-			"syz_test$length22(&(0x7f0000000000)='12345', 0x28)",
+			"test$length22(&(0x7f0000000000)='12345', 0x0)",
+			"test$length22(&(0x7f0000000000)='12345', 0x28)",
 		},
 		{
-			"syz_test$length23(&(0x7f0000000000)={0x1, {0x2, 0x0}})",
-			"syz_test$length23(&(0x7f0000000000)={0x1, {0x2, 0x6}})",
+			"test$length23(&(0x7f0000000000)={0x1, {0x2, 0x0}})",
+			"test$length23(&(0x7f0000000000)={0x1, {0x2, 0x6}})",
 		},
 		{
-			"syz_test$length24(&(0x7f0000000000)={{0x0, {0x0}}, {0x0, {0x0}}})",
-			"syz_test$length24(&(0x7f0000000000)={{0x0, {0x8}}, {0x0, {0x10}}})",
+			"test$length24(&(0x7f0000000000)={{0x0, {0x0}}, {0x0, {0x0}}})",
+			"test$length24(&(0x7f0000000000)={{0x0, {0x8}}, {0x0, {0x10}}})",
 		},
 		{
-			"syz_test$length26(&(0x7f0000000000), 0x0)",
-			"syz_test$length26(&(0x7f0000000000), 0x8)",
+			"test$length26(&(0x7f0000000000), 0x0)",
+			"test$length26(&(0x7f0000000000), 0x8)",
 		},
 		{
-			"syz_test$length27(&(0x7f0000000000), 0x0)",
-			"syz_test$length27(&(0x7f0000000000), 0x2a)",
+			"test$length27(&(0x7f0000000000), 0x0)",
+			"test$length27(&(0x7f0000000000), 0x2a)",
 		},
 		{
-			"syz_test$length28(&(0x7f0000000000), 0x0)",
-			"syz_test$length28(&(0x7f0000000000), 0x2a)",
+			"test$length28(&(0x7f0000000000), 0x0)",
+			"test$length28(&(0x7f0000000000), 0x2a)",
 		},
 		{
-			"syz_test$length29(&(0x7f0000000000)={'./a\\x00', './b/c\\x00', 0x0, 0x0, 0x0})",
-			"syz_test$length29(&(0x7f0000000000)={'./a\\x00', './b/c\\x00', 0xa, 0x14, 0x21})",
+			"test$length29(&(0x7f0000000000)={'./a\\x00', './b/c\\x00', 0x0, 0x0, 0x0})",
+			"test$length29(&(0x7f0000000000)={'./a\\x00', './b/c\\x00', 0xa, 0x14, 0x21})",
 		},
 	}