alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

protobuf_grpc: use pthread

Browse Source 
Fixes pagefaults.

This includes the changes provided by ssumpf in 6726aef.

Issue #190
This commit is contained in:
Sid Hussmann
2019-11-29 16:26:20 +01:00
committed by Christian Helmuth
parent c2d93a3fa9
commit 12d69338c5
9 changed files with 455 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
run/grpc.run
View File

@@ -1,7 +1,7 @@
create_boot_directory
import_from_depot [depot_user]/src/[base_src]
# import_from_depot [depot_user]/src/[base_src]
import_from_depot [depot_user]/src/dynamic_rom
import_from_depot [depot_user]/src/init
import_from_depot [depot_user]/src/libc
@@ -14,10 +14,13 @@ import_from_depot [depot_user]/src/report_rom
import_from_depot [depot_user]/src/stdcxx
import_from_depot [depot_user]/src/vfs
import_from_depot [depot_user]/src/vfs_lwip
import_from_depot [depot_user]/src/vfs_lxip
import_from_depot [depot_user]/src/zlib
set build_components {
core
timer
test/grpc/server
test/grpc/client
}
@@ -35,6 +38,7 @@ set config {
<service name="CPU"/>
<service name="LOG"/>
<service name="PD"/>
<service name="RM"/>
<service name="ROM"/>
</parent-provides>
<default-route>
@@ -102,6 +106,7 @@ append config {
<service name="LOG"/>
<service name="Nic"/>
<service name="PD"/>
<service name="RM"/>
<service name="ROM"/>
<service name="Timer"/>
</parent-provides>
@@ -110,8 +115,8 @@ append config {
</default-route>
<default caps="100"/>
<start name="grpc_server" caps="200">
<resource name="RAM" quantum="8M"/>
<config port="50051">
<resource name="RAM" quantum="50M"/>
<config server_address="10.10.10.55:50051">
<arg value="grpc_server"/>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/dev/socket"/>
<vfs>
@@ -135,6 +140,7 @@ append config {
<service name="LOG"/>
<service name="Nic"/>
<service name="PD"/>
<service name="RM"/>
<service name="ROM"/>
<service name="Timer"/>
</parent-provides>
@@ -143,8 +149,8 @@ append config {
</default-route>
<default caps="100"/>
<start name="grpc_server" caps="200">
<resource name="RAM" quantum="8M"/>
<config>
<resource name="RAM" quantum="50M"/>
<config server_address="10.10.10.55:50051">
<arg value="grpc_server"/>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/dev/socket"/>
<vfs>
@@ -158,8 +164,8 @@ append config {
</vfs>
</config>
</start>
<start name="grpc_client" caps="200">
<resource name="RAM" quantum="8M"/>
<start name="grpc_client" caps="400">
<resource name="RAM" quantum="100M"/>
<config>
<arg value="grpc_client"/>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/dev/socket"/>
@@ -176,13 +182,13 @@ append config {
</start>
</config>
</inline>
<sleep milliseconds="2000000000"/>
<sleep milliseconds="30000"/>
</rom>
</config>
</start>
<start name="init" caps="1500">
<resource name="RAM" quantum="20M" />
<resource name="RAM" quantum="200M" />
<route>
<service name="ROM" label="config"> <child name="dynamic_rom" label="init.config"/> </service>
<any-service> <parent/> <any-child/> </any-service>
@@ -197,8 +203,11 @@ install_config $config
set boot_modules {
core
timer
grpc_server
grpc_client
ld.lib.so
grpc.lib.so
libc_pipe.lib.so
}