Changeset 8614534 in mainline

Timestamp:

2009-08-26T12:33:22Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

52ff7699

Parents:

471a32d

Message:

more protocols
always specify interface on outgoing calls
replace forward messages with the messages themselves

Location:

contrib/bp

Files:

• devfs.bp (added)
• kbd.bp (modified) (2 diffs)
• lib/vfs_grab_phone (modified) (1 diff)
• lib/vfs_lookup_internal (modified) (1 diff)
• lib/vfs_release_phone (modified) (1 diff)
• ns.bp (modified) (1 diff)
• tmpfs.bp (modified) (2 diffs)
• vfs.bp (modified) (9 diffs)

contrib/bp/kbd.bp

@@ -1 +1 @@
 (
-        !ns.IPC_M_CONNECT_ME_TO +
+        !ns.IPC_M_CONNECT_ME_TO /* cir */ +
         NULL
 ) ;
 !ns.IPC_M_CONNECT_TO_ME ;
 (
-        IPC_M_CONNECT_ME_TO ;
+        ?IPC_M_CONNECT_ME_TO ;
         (
                 (
@@ -14 +14 @@
         )* ;
         ?IPC_M_PHONE_HUNGUP
-)*
+)* ;
+(
+        !cir.IPC_M_PHONE_HUNGUP +
+        NULL
+)

contrib/bp/lib/vfs_grab_phone

@@ -1 @@
-!IPC_M_CONNECT_ME_TO
+!fs.IPC_M_CONNECT_ME_TO

contrib/bp/lib/vfs_lookup_internal

@@ -1 +1 @@
 [vfs_grab_phone] ;
-!VFS_OUT_LOOKUP ;
+!fs.VFS_OUT_LOOKUP ;
 [vfs_release_phone]

contrib/bp/lib/vfs_release_phone

@@ -1 @@
-!IPC_M_PHONE_HUNGUP
+!fs.IPC_M_PHONE_HUNGUP

contrib/bp/ns.bp

@@ -3 +3 @@
                 ?IPC_M_SHARE_IN /* SERVICE_MEM_REALTIME || SERVICE_MEM_KLOG */ +
                 ?IPC_M_CONNECT_TO_ME {
-                        !IPC_M_FORWARD /* clonable service */ +
-                        NULL           /* regular service */
+                        !clonable.IPC_M_CONNECT_TO_ME /* forwarded */ +
+                        NULL
                 } +
                 ?IPC_M_CONNECT_ME_TO {
-                        NULL           /* clonable service */ +
-                        !IPC_M_FORWARD /* regular service */
+                        !service.IPC_M_CONNECT_ME_TO /* forwarded */ +
+                        NULL
                 } +
                 ?NS_PING +

contrib/bp/tmpfs.bp

@@ -1 @@
-!ns.IPC_M_CONNECT_ME_TO ;
+!ns.IPC_M_CONNECT_ME_TO /* vfs */ ;
 [fs_register] ;
 (
@@ -42 +42 @@
         )* ;
         ?IPC_M_PHONE_HUNGUP
-)*
+)* ;
+!vfs.IPC_M_PHONE_HUNGUP

contrib/bp/vfs.bp

@@ -16 +16 @@
                         (
                                 
-                                !VFS_OUT_MOUNTED ;
-                                !IPC_M_DATA_WRITE /* mount options */
+                                !fs.VFS_OUT_MOUNTED ;
+                                !fs.IPC_M_DATA_WRITE /* mount options */
                         ) /* root fs */ +
                         (
-                                !VFS_OUT_MOUNT ;
-                                !IPC_M_CONNECTION_CLONE ;
-                                !VFS_M_DATA_WRITE /* mount options */
+                                !fs.VFS_OUT_MOUNT ;
+                                !fs.IPC_M_CONNECTION_CLONE ;
+                                !fs.VFS_M_DATA_WRITE /* mount options */
                         ) /* non-root fs */
                 } +
@@ -32 +32 @@
                                 (
                                         [vfs_grab_phone] ;
-                                        !VFS_OUT_TRUNCATE ;
+                                        !fs.VFS_OUT_TRUNCATE ;
                                         [vfs_release_phone]
                                 ) +
@@ -41 +41 @@
                 ?VFS_IN_OPEN_NODE {
                         [vfs_grab_phone] ;
-                        !VFS_OUT_OPEN_NODE ;
+                        !fs.VFS_OUT_OPEN_NODE ;
                         [vfs_release_phone] ;
                         (
                                 (
                                         [vfs_grab_phone] ;
-                                        !VFS_OUT_TRUNCATE ;
+                                        !fs.VFS_OUT_TRUNCATE ;
                                         [vfs_release_phone]
                                 ) +
@@ -56 +56 @@
                 ?VFS_IN_CLOSE {
                         [vfs_grab_phone] ;
-                        !VFS_OUT_CLOSE ;
+                        !fs.VFS_OUT_CLOSE ;
                         [vfs_release_phone]
                 } +
@@ -63 +63 @@
                         ?IPC_M_DATA_READ {
                                 [vfs_grab_phone] ;
-                                !VFS_OUT_READ /* payload */ ;
-                                !IPC_M_FORWARD ;
+                                !fs.VFS_OUT_READ /* payload */ ;
+                                !fs.IPC_M_DATA_READ /* forwarded */ ;
                                 [vfs_release_phone]
                         }
@@ -72 +72 @@
                         ?IPC_M_DATA_WRITE {
                                 [vfs_grab_phone] ;
-                                !VFS_OUT_WRITE /* payload */ ;
-                                !IPC_M_FORWARD ;
+                                !fs.VFS_OUT_WRITE /* payload */ ;
+                                !fs.IPC_M_DATA_WRITE /* forwarded */ ;
                                 [vfs_release_phone]
                         }
@@ -82 +82 @@
                 ?VFS_IN_TRUNCATE {
                         [vfs_grab_phone] ;
-                        !VFS_OUT_TRUNCATE ;
+                        !fs.VFS_OUT_TRUNCATE ;
                         [vfs_release_phone]
                 } +
                 
                 ?VFS_IN_FSTAT {
-                        ?IPC_M_DATA_READ {
+                        ?IPC_M_DATA_READ /* struct stat */ {
                                 [vfs_grab_phone] ;
-                                !VFS_OUT_STAT ;
-                                !IPC_M_FORWARD ;
+                                !fs.VFS_OUT_STAT ;
+                                !fs.IPC_M_DATA_READ /* forwarded */ ;
                                 [vfs_release_phone]
                         }
@@ -97 +97 @@
                 ?VFS_IN_STAT {
                         ?IPC_M_DATA_WRITE /* path */ ;
-                        ?IPC_M_DATA_READ {
+                        ?IPC_M_DATA_READ /* struct stat */ {
                                 [vfs_lookup_internal] ;
-                                !VFS_OUT_STAT ;
-                                !IPC_M_FORWARD
+                                !fs.VFS_OUT_STAT ;
+                                !fs.IPC_M_DATA_READ /* forwarded */
                         }
                 } +
@@ -125 +125 @@
                 
                 ?VFS_IN_SYNC {
-                        !VFS_OUT_SYNC
+                        !fs.VFS_OUT_SYNC
                 }