Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • contrib/arch/uspace/srv/vfs/vfs.bp

    r07fdf203 rb988db0  
    1 !ns.IPC_M_CONNECT_TO_ME ;
     1?ipc_m_connect_me_to ;
    22(
    3         ?vfs.IPC_M_CONNECT_ME_TO ;
    4         (
    5                 ?vfs.VFS_IN_REGISTER {
    6                         ?vfs.IPC_M_DATA_WRITE ;
    7                         ?vfs.IPC_M_CONNECT_TO_ME ;
    8                         ?vfs.IPC_M_SHARE_IN
    9                 } +
    10                
    11                 ?vfs.VFS_IN_MOUNT {
    12                         ?vfs.IPC_M_DATA_WRITE /* mount point */ ;
    13                         ?vfs.IPC_M_DATA_WRITE /* mount options */ ;
    14                         ?vfs.IPC_M_DATA_WRITE /* fs name */ ;
    15                         ?vfs.IPC_M_PING ;
    16                         (
    17                                
    18                                 !fs.VFS_OUT_MOUNTED ;
    19                                 !fs.IPC_M_DATA_WRITE /* mount options */
    20                         ) /* root fs */ +
    21                         (
    22                                 !fs.VFS_OUT_MOUNT ;
    23                                 !fs.IPC_M_CONNECTION_CLONE ;
    24                                 !fs.VFS_M_DATA_WRITE /* mount options */
    25                         ) /* non-root fs */
    26                 } +
    27                
    28                 ?vfs.VFS_IN_OPEN {
    29                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    30                         [vfs_lookup_internal] ;
    31                         (
    32                                 (
    33                                         [vfs_grab_phone] ;
    34                                         !fs.VFS_OUT_TRUNCATE ;
    35                                         [vfs_release_phone]
    36                                 ) +
    37                                 NULL
    38                         )
    39                 } +
    40                
    41                 ?vfs.VFS_IN_OPEN_NODE {
    42                         [vfs_grab_phone] ;
    43                         !fs.VFS_OUT_OPEN_NODE ;
    44                         [vfs_release_phone] ;
    45                         (
    46                                 (
    47                                         [vfs_grab_phone] ;
    48                                         !fs.VFS_OUT_TRUNCATE ;
    49                                         [vfs_release_phone]
    50                                 ) +
    51                                 NULL
    52                         )
    53                 } +
    54                
    55                 ?vfs.VFS_IN_CLOSE {
    56                         [vfs_grab_phone] ;
    57                         !fs.VFS_OUT_CLOSE ;
    58                         [vfs_release_phone]
    59                 } +
    60                
    61                 ?vfs.VFS_IN_READ {
    62                         ?vfs.IPC_M_DATA_READ {
    63                                 [vfs_grab_phone] ;
    64                                 !fs.VFS_OUT_READ /* payload */ ;
    65                                 !fs.IPC_M_DATA_READ /* forwarded */ ;
    66                                 [vfs_release_phone]
    67                         }
    68                 } +
    69                
    70                 ?vfs.VFS_IN_WRITE {
    71                         ?vfs.IPC_M_DATA_WRITE {
    72                                 [vfs_grab_phone] ;
    73                                 !fs.VFS_OUT_WRITE /* payload */ ;
    74                                 !fs.IPC_M_DATA_WRITE /* forwarded */ ;
    75                                 [vfs_release_phone]
    76                         }
    77                 } +
    78                
    79                 ?vfs.VFS_IN_SEEK +
    80                
    81                 ?vfs.VFS_IN_TRUNCATE {
    82                         [vfs_grab_phone] ;
    83                         !fs.VFS_OUT_TRUNCATE ;
    84                         [vfs_release_phone]
    85                 } +
    86                
    87                 ?vfs.VFS_IN_FSTAT {
    88                         ?vfs.IPC_M_DATA_READ /* struct stat */ {
    89                                 [vfs_grab_phone] ;
    90                                 !fs.VFS_OUT_STAT ;
    91                                 !fs.IPC_M_DATA_READ /* forwarded */ ;
    92                                 [vfs_release_phone]
    93                         }
    94                 } +
    95                
    96                 ?vfs.VFS_IN_STAT {
    97                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    98                         ?vfs.IPC_M_DATA_READ /* struct stat */ {
    99                                 [vfs_lookup_internal] ;
    100                                 !fs.VFS_OUT_STAT ;
    101                                 !fs.IPC_M_DATA_READ /* forwarded */
    102                         }
    103                 } +
    104                
    105                 ?vfs.VFS_IN_MKDIR {
    106                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    107                         [vfs_lookup_internal]
    108                 } +
    109                
    110                 ?vfs.VFS_IN_UNLINK {
    111                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    112                         [vfs_lookup_internal]
    113                 } +
    114                
    115                 ?vfs.VFS_IN_RENAME {
    116                         ?vfs.IPC_M_DATA_WRITE /* old path */ ;
    117                         ?vfs.IPC_M_DATE_WRITE /* new path */ ;
    118                         [vfs_lookup_internal] /* lookup old path */ ;
    119                         [vfs_lookup_internal] /* lookup parent of new path */ ;
    120                         [vfs_lookup_internal] /* destroy old link for the new path */ ;
    121                         [vfs_lookup_internal] /* create new link for the new path */ ;
    122                         [vfs_lookup_internal] /* destroy link for the old path */
    123                 } +
    124                
    125                 ?vfs.VFS_IN_SYNC {
    126                         !fs.VFS_OUT_SYNC
    127                 }
    128                
    129         )* ;
    130         ?vfs.IPC_M_PHONE_HUNGUP
    131 )*
     3        ?register {
     4                ?ipc_m_data_write /* fs name */ ;
     5                tentative {
     6                        /* callback connection */
     7                        ?ipc_m_connect_to_me ;
     8                        ?ipc_m_share_in
     9                }
     10        } +
     11       
     12        ?mount {
     13                ?ipc_m_data_write /* mount point */ ;
     14                tentative {
     15                        ?ipc_m_data_write /* mount options */ ;
     16                        tentative {
     17                                ?ipc_m_data_write /* fs name */ ;
     18                                tentative {
     19                                        ?ipc_m_ping ;
     20                                        tentative {
     21                                                (
     22                                                        /* root fs */
     23                                                        alternative (fs; tmpfs; fat; devfs) {
     24                                                                !fs.mounted {
     25                                                                        !fs.ipc_m_data_write /* mount options */
     26                                                                }
     27                                                        }
     28                                                ) +
     29                                                (
     30                                                        /* non-root fs */
     31                                                        tentative {
     32                                                                alternative (fs; tmpfs; fat; devfs) {
     33                                                                        [fnc.vfs_lookup_internal] ;
     34                                                                        tentative {
     35                                                                                [fnc.vfs_grab_phone] ;
     36                                                                                [fnc.vfs_grab_phone] ;
     37                                                                                !fs.mount ;
     38                                                                                !fs.ipc_m_connection_clone ;
     39                                                                                [fnc.vfs_release_phone] ;
     40                                                                                tentative {
     41                                                                                        !fs.vfs_m_data_write /* mount options */
     42                                                                                } ;
     43                                                                                [fnc.vfs_release_phone]
     44                                                                        }
     45                                                                }
     46                                                        }
     47                                                )
     48                                        }
     49                                }
     50                        }
     51                }
     52        } +
     53       
     54        ?open {
     55                tentative {
     56                        ?ipc_m_data_write /* path */ ;
     57                        tentative {
     58                                alternative (fs; tmpfs; fat; devfs) {
     59                                        [fnc.vfs_lookup_internal] ;
     60                                        tentative {
     61                                                [fnc.vfs_grab_phone] ;
     62                                                !fs.truncate ;
     63                                                [fnc.vfs_release_phone]
     64                                        }
     65                                }
     66                        }
     67                }
     68        } +
     69       
     70        ?open_node {
     71                alternative (fs; tmpfs; fat; devfs) {
     72                        [fnc.vfs_open_node_internal] ;
     73                        tentative {
     74                                [fnc.vfs_grab_phone] ;
     75                                !fs.truncate ;
     76                                [fnc.vfs_release_phone]
     77                        }
     78                }
     79        } +
     80       
     81        ?close {
     82                tentative {
     83                        alternative (fs; tmpfs; fat; devfs) {
     84                                [fnc.vfs_grab_phone] ;
     85                                !fs.close ;
     86                                [fnc.vfs_release_phone]
     87                        }
     88                }
     89        } +
     90       
     91        ?read {
     92                tentative {
     93                        ?ipc_m_data_read {
     94                                alternative (fs; tmpfs; fat; devfs) {
     95                                        [fnc.vfs_grab_phone] ;
     96                                        !fs.read {
     97                                                !fs.ipc_m_data_read /* forward payload */
     98                                        } ;
     99                                        [fnc.vfs_release_phone]
     100                                }
     101                        }
     102                }
     103        } +
     104       
     105        ?write {
     106                tentative {
     107                        ?ipc_m_data_write {
     108                                alternative (fs; tmpfs; fat; devfs) {
     109                                        [fnc.vfs_grab_phone] ;
     110                                        !fs.write {
     111                                                !fs.ipc_m_data_write /* forward payload */
     112                                        } ;
     113                                        [fnc.vfs_release_phone]
     114                                }
     115                        }
     116                }
     117        } +
     118       
     119        ?truncate {
     120                tentative {
     121                        alternative (fs; tmpfs; fat; devfs) {
     122                                [fnc.vfs_grab_phone] ;
     123                                !fs.truncate ;
     124                                [fnc.vfs_release_phone]
     125                        }
     126                }
     127        } +
     128       
     129        ?fstat {
     130                tentative {
     131                        ?ipc_m_data_read /* struct stat */ {
     132                                alternative (fs; tmpfs; fat; devfs) {
     133                                        [fnc.vfs_grab_phone] ;
     134                                        !fs.stat {
     135                                                !fs.ipc_m_data_read /* forward struct stat */
     136                                        } ;
     137                                        [fnc.vfs_release_phone]
     138                                }
     139                        }
     140                }
     141        } +
     142       
     143        ?stat {
     144                ?ipc_m_data_write /* path */ ;
     145                tentative {
     146                        ?ipc_m_data_read /* struct stat */ {
     147                                alternative (fs; tmpfs; fat; devfs) {
     148                                        [fnc.vfs_lookup_internal] ;
     149                                        tentative {
     150                                                !fs.stat {
     151                                                        !fs.ipc_m_data_read /* forward struct stat */
     152                                                }
     153                                        }
     154                                }
     155                        }
     156                }
     157        } +
     158       
     159        ?mkdir {
     160                ?ipc_m_data_write /* path */ ;
     161                tentative {
     162                        alternative (fs; tmpfs; fat; devfs) {
     163                                [fnc.vfs_lookup_internal]
     164                        }
     165                }
     166        } +
     167       
     168        ?unlink {
     169                ?ipc_m_data_write /* path */ ;
     170                tentative {
     171                        alternative (fs; tmpfs; fat; devfs) {
     172                                [fnc.vfs_lookup_internal]
     173                        }
     174                }
     175        } +
     176       
     177        ?rename {
     178                ?ipc_m_data_write /* old path */ ;
     179                tentative {
     180                        ?ipc_m_data_write /* new path */ ;
     181                        tentative {
     182                                alternative (fs; tmpfs; fat; devfs) {
     183                                        [fnc.vfs_lookup_internal] /* lookup old path */ ;
     184                                        tentative {
     185                                                [fnc.vfs_lookup_internal] /* lookup parent of new path */ ;
     186                                                tentative {
     187                                                        [fnc.vfs_lookup_internal] /* destroy old link for the new path */ ;
     188                                                        tentative {
     189                                                                [fnc.vfs_lookup_internal] /* create new link for the new path */ ;
     190                                                                tentative {
     191                                                                        [fnc.vfs_lookup_internal] /* destroy link for the old path */
     192                                                                }
     193                                                        }
     194                                                }
     195                                        }
     196                                }
     197                        }
     198                }
     199        } +
     200       
     201        ?sync {
     202                tentative {
     203                        alternative (fs; tmpfs; fat; devfs) {
     204                                !fs.sync
     205                        }
     206                }
     207        } +
     208       
     209        ?seek
     210       
     211)* ;
     212?ipc_m_phone_hungup
Note: See TracChangeset for help on using the changeset viewer.