annotate osx/include/capnp/membrane.h @ 54:5f67a29f0fc7

Rebuild MAD with 64-bit FPM
author Chris Cannam <cannam@all-day-breakfast.com>
date Wed, 30 Nov 2016 20:59:17 +0000
parents 3ab5a40c4e3b
children 0994c39f1e94
rev   line source
cannam@49 1 // Copyright (c) 2015 Sandstorm Development Group, Inc. and contributors
cannam@49 2 // Licensed under the MIT License:
cannam@49 3 //
cannam@49 4 // Permission is hereby granted, free of charge, to any person obtaining a copy
cannam@49 5 // of this software and associated documentation files (the "Software"), to deal
cannam@49 6 // in the Software without restriction, including without limitation the rights
cannam@49 7 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
cannam@49 8 // copies of the Software, and to permit persons to whom the Software is
cannam@49 9 // furnished to do so, subject to the following conditions:
cannam@49 10 //
cannam@49 11 // The above copyright notice and this permission notice shall be included in
cannam@49 12 // all copies or substantial portions of the Software.
cannam@49 13 //
cannam@49 14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
cannam@49 15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
cannam@49 16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
cannam@49 17 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
cannam@49 18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
cannam@49 19 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
cannam@49 20 // THE SOFTWARE.
cannam@49 21
cannam@49 22 #ifndef CAPNP_MEMBRANE_H_
cannam@49 23 #define CAPNP_MEMBRANE_H_
cannam@49 24 // In capability theory, a "membrane" is a wrapper around a capability which (usually) forwards
cannam@49 25 // calls but recursively wraps capabilities in those calls in the same membrane. The purpose of a
cannam@49 26 // membrane is to enforce a barrier between two capabilities that cannot be bypassed by merely
cannam@49 27 // introducing new objects.
cannam@49 28 //
cannam@49 29 // The most common use case for a membrane is revocation: Say Alice wants to give Bob a capability
cannam@49 30 // to access Carol, but wants to be able to revoke this capability later. Alice can accomplish this
cannam@49 31 // by wrapping Carol in a revokable wrapper which passes through calls until such a time as Alice
cannam@49 32 // indicates it should be revoked, after which all calls through the wrapper will throw exceptions.
cannam@49 33 // However, a naive wrapper approach has a problem: if Bob makes a call to Carol and sends a new
cannam@49 34 // capability in that call, or if Carol returns a capability to Bob in the response to a call, then
cannam@49 35 // the two are now able to communicate using this new capability, which Alice cannot revoke. In
cannam@49 36 // order to avoid this problem, Alice must use not just a wrapper but a "membrane", which
cannam@49 37 // recursively wraps all objects that pass through it in either direction. Thus, all connections
cannam@49 38 // formed between Bob and Carol (originating from Alice's original introduction) can be revoked
cannam@49 39 // together by revoking the membrane.
cannam@49 40 //
cannam@49 41 // Note that when a capability is passed into a membrane and then passed back out, the result is
cannam@49 42 // the original capability, not a double-membraned capability. This means that in our revocation
cannam@49 43 // example, if Bob uses his capability to Carol to obtain another capability from her, then send
cannam@49 44 // it back to her, the capability Carol receives back will NOT be revoked when Bob's access to
cannam@49 45 // Carol is revoked. Thus Bob can create long-term irrevocable connections. In most practical use
cannam@49 46 // cases, this is what you want. APIs commonly rely on the fact that a capability obtained and then
cannam@49 47 // passed back can be recognized as the original capability.
cannam@49 48 //
cannam@49 49 // Mark Miller on membranes: http://www.eros-os.org/pipermail/e-lang/2003-January/008434.html
cannam@49 50
cannam@49 51 #include "capability.h"
cannam@49 52
cannam@49 53 namespace capnp {
cannam@49 54
cannam@49 55 class MembranePolicy {
cannam@49 56 // Applications may implement this interface to define a membrane policy, which allows some
cannam@49 57 // calls crossing the membrane to be blocked or redirected.
cannam@49 58
cannam@49 59 public:
cannam@49 60 virtual kj::Maybe<Capability::Client> inboundCall(
cannam@49 61 uint64_t interfaceId, uint16_t methodId, Capability::Client target) = 0;
cannam@49 62 // Given an inbound call (a call originating "outside" the membrane destined for an object
cannam@49 63 // "inside" the membrane), decides what to do with it. The policy may:
cannam@49 64 //
cannam@49 65 // - Return null to indicate that the call should proceed to the destination. All capabilities
cannam@49 66 // in the parameters or result will be properly wrapped in the same membrane.
cannam@49 67 // - Return a capability to have the call redirected to that capability. Note that the redirect
cannam@49 68 // capability will be treated as outside the membrane, so the params and results will not be
cannam@49 69 // auto-wrapped; however, the callee can easily wrap the returned capability in the membrane
cannam@49 70 // itself before returning to achieve this effect.
cannam@49 71 // - Throw an exception to cause the call to fail with that exception.
cannam@49 72 //
cannam@49 73 // `target` is the underlying capability (*inside* the membrane) for which the call is destined.
cannam@49 74 // Generally, the only way you should use `target` is to wrap it in some capability which you
cannam@49 75 // return as a redirect. The redirect capability may modify the call in some way and send it to
cannam@49 76 // `target`. Be careful to use `copyIntoMembrane()` and `copyOutOfMembrane()` as appropriate when
cannam@49 77 // copying parameters or results across the membrane.
cannam@49 78 //
cannam@49 79 // Note that since `target` is inside the capability, if you were to directly return it (rather
cannam@49 80 // than return null), the effect would be that the membrane would be broken: the call would
cannam@49 81 // proceed directly and any new capabilities introduced through it would not be membraned. You
cannam@49 82 // generally should not do that.
cannam@49 83
cannam@49 84 virtual kj::Maybe<Capability::Client> outboundCall(
cannam@49 85 uint64_t interfaceId, uint16_t methodId, Capability::Client target) = 0;
cannam@49 86 // Like `inboundCall()`, but applies to calls originating *inside* the membrane and terminating
cannam@49 87 // outside.
cannam@49 88 //
cannam@49 89 // Note: It is strongly recommended that `outboundCall()` returns null in exactly the same cases
cannam@49 90 // that `inboundCall()` return null. Conversely, for any case where `inboundCall()` would
cannam@49 91 // redirect or throw, `outboundCall()` should also redirect or throw. Otherwise, you can run
cannam@49 92 // into inconsistent behavion when a promise is returned across a membrane, and that promise
cannam@49 93 // later resolves to a capability on the other side of the membrane: calls on the promise
cannam@49 94 // will enter and then exit the membrane, but calls on the eventual resolution will not cross
cannam@49 95 // the membrane at all, so it is important that these two cases behave the same.
cannam@49 96
cannam@49 97 virtual kj::Own<MembranePolicy> addRef() = 0;
cannam@49 98 // Return a new owned pointer to the same policy.
cannam@49 99 //
cannam@49 100 // Typically an implementation of MembranePolicy should also inherit kj::Refcounted and implement
cannam@49 101 // `addRef()` as `return kj::addRef(*this);`.
cannam@49 102 //
cannam@49 103 // Note that the membraning system considers two membranes created with the same MembranePolicy
cannam@49 104 // object actually to be the *same* membrane. This is relevant when an object passes into the
cannam@49 105 // membrane and then back out (or out and then back in): instead of double-wrapping the object,
cannam@49 106 // the wrapping will be removed.
cannam@49 107 };
cannam@49 108
cannam@49 109 Capability::Client membrane(Capability::Client inner, kj::Own<MembranePolicy> policy);
cannam@49 110 // Wrap `inner` in a membrane specified by `policy`. `inner` is considered "inside" the membrane,
cannam@49 111 // while the returned capability should only be called from outside the membrane.
cannam@49 112
cannam@49 113 Capability::Client reverseMembrane(Capability::Client outer, kj::Own<MembranePolicy> policy);
cannam@49 114 // Like `membrane` but treat the input capability as "outside" the membrane, and return a
cannam@49 115 // capability appropriate for use inside.
cannam@49 116 //
cannam@49 117 // Applications typically won't use this directly; the membraning code automatically sets up
cannam@49 118 // reverse membranes where needed.
cannam@49 119
cannam@49 120 template <typename ClientType>
cannam@49 121 ClientType membrane(ClientType inner, kj::Own<MembranePolicy> policy);
cannam@49 122 template <typename ClientType>
cannam@49 123 ClientType reverseMembrane(ClientType inner, kj::Own<MembranePolicy> policy);
cannam@49 124 // Convenience templates which return the same interface type as the input.
cannam@49 125
cannam@49 126 template <typename ServerType>
cannam@49 127 typename ServerType::Serves::Client membrane(
cannam@49 128 kj::Own<ServerType> inner, kj::Own<MembranePolicy> policy);
cannam@49 129 template <typename ServerType>
cannam@49 130 typename ServerType::Serves::Client reverseMembrane(
cannam@49 131 kj::Own<ServerType> inner, kj::Own<MembranePolicy> policy);
cannam@49 132 // Convenience templates which input a capability server type and return the appropriate client
cannam@49 133 // type.
cannam@49 134
cannam@49 135 template <typename Reader>
cannam@49 136 Orphan<typename kj::Decay<Reader>::Reads> copyIntoMembrane(
cannam@49 137 Reader&& from, Orphanage to, kj::Own<MembranePolicy> policy);
cannam@49 138 // Copy a Cap'n Proto object (e.g. struct or list), adding the given membrane to any capabilities
cannam@49 139 // found within it. `from` is interpreted as "outside" the membrane while `to` is "inside".
cannam@49 140
cannam@49 141 template <typename Reader>
cannam@49 142 Orphan<typename kj::Decay<Reader>::Reads> copyOutOfMembrane(
cannam@49 143 Reader&& from, Orphanage to, kj::Own<MembranePolicy> policy);
cannam@49 144 // Like copyIntoMembrane() except that `from` is "inside" the membrane and `to` is "outside".
cannam@49 145
cannam@49 146 // =======================================================================================
cannam@49 147 // inline implementation details
cannam@49 148
cannam@49 149 template <typename ClientType>
cannam@49 150 ClientType membrane(ClientType inner, kj::Own<MembranePolicy> policy) {
cannam@49 151 return membrane(Capability::Client(kj::mv(inner)), kj::mv(policy))
cannam@49 152 .castAs<typename ClientType::Calls>();
cannam@49 153 }
cannam@49 154 template <typename ClientType>
cannam@49 155 ClientType reverseMembrane(ClientType inner, kj::Own<MembranePolicy> policy) {
cannam@49 156 return reverseMembrane(Capability::Client(kj::mv(inner)), kj::mv(policy))
cannam@49 157 .castAs<typename ClientType::Calls>();
cannam@49 158 }
cannam@49 159
cannam@49 160 template <typename ServerType>
cannam@49 161 typename ServerType::Serves::Client membrane(
cannam@49 162 kj::Own<ServerType> inner, kj::Own<MembranePolicy> policy) {
cannam@49 163 return membrane(Capability::Client(kj::mv(inner)), kj::mv(policy))
cannam@49 164 .castAs<typename ServerType::Serves::Client>();
cannam@49 165 }
cannam@49 166 template <typename ServerType>
cannam@49 167 typename ServerType::Serves::Client reverseMembrane(
cannam@49 168 kj::Own<ServerType> inner, kj::Own<MembranePolicy> policy) {
cannam@49 169 return reverseMembrane(Capability::Client(kj::mv(inner)), kj::mv(policy))
cannam@49 170 .castAs<typename ServerType::Serves::Client>();
cannam@49 171 }
cannam@49 172
cannam@49 173 namespace _ { // private
cannam@49 174
cannam@49 175 OrphanBuilder copyOutOfMembrane(PointerReader from, Orphanage to,
cannam@49 176 kj::Own<MembranePolicy> policy, bool reverse);
cannam@49 177 OrphanBuilder copyOutOfMembrane(StructReader from, Orphanage to,
cannam@49 178 kj::Own<MembranePolicy> policy, bool reverse);
cannam@49 179 OrphanBuilder copyOutOfMembrane(ListReader from, Orphanage to,
cannam@49 180 kj::Own<MembranePolicy> policy, bool reverse);
cannam@49 181
cannam@49 182 } // namespace _ (private)
cannam@49 183
cannam@49 184 template <typename Reader>
cannam@49 185 Orphan<typename kj::Decay<Reader>::Reads> copyIntoMembrane(
cannam@49 186 Reader&& from, Orphanage to, kj::Own<MembranePolicy> policy) {
cannam@49 187 return _::copyOutOfMembrane(
cannam@49 188 _::PointerHelpers<typename kj::Decay<Reader>::Reads>::getInternalReader(from),
cannam@49 189 to, kj::mv(policy), true);
cannam@49 190 }
cannam@49 191
cannam@49 192 template <typename Reader>
cannam@49 193 Orphan<typename kj::Decay<Reader>::Reads> copyOutOfMembrane(
cannam@49 194 Reader&& from, Orphanage to, kj::Own<MembranePolicy> policy) {
cannam@49 195 return _::copyOutOfMembrane(
cannam@49 196 _::PointerHelpers<typename kj::Decay<Reader>::Reads>::getInternalReader(from),
cannam@49 197 to, kj::mv(policy), false);
cannam@49 198 }
cannam@49 199
cannam@49 200 } // namespace capnp
cannam@49 201
cannam@49 202 #endif // CAPNP_MEMBRANE_H_