Re: Server Push -> Cache Push?

I think server-push is actually pretty well understood.  Those versant in
HTTP recognize that a push to the server is also known as a "GET".

If we really think its a problem, maybe "server initiated streams"?

I think cache-push raises questions about which cache.  prefetch doesn't
seem to quite work because the client isn't fetching at all.

Overall, I like server push.

mike



On Wed, Jan 29, 2014 at 4:33 PM, Amos Jeffries <squid3@treenet.co.nz> wrote:

> On 2014-01-30 13:07, Mark Nottingham wrote:
>
>> So, we've always talked about pushing into the cache; presumably, if
>> you push something that's no-cache, it has a special state that allows
>> it to be used once / within a browsing context, but it's still being
>> pushed into the cache (indeed, the HTTP caching model already talks
>> about caching things that are no-cache).
>>
>>
> How about some analog of "prefetch"?  it is essentially a server-initiated
> prefetch operation after all.
>
> Amos
>
>
>