David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 1 | %%%------------------------------------------------------------------- |
| 2 | %%% File : thrift_processor.erl |
| 3 | %%% Author : <todd@lipcon.org> |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 4 | %%% Description : |
David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 5 | %%% |
| 6 | %%% Created : 28 Jan 2008 by <todd@lipcon.org> |
| 7 | %%%------------------------------------------------------------------- |
| 8 | -module(thrift_processor). |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 9 | -author('todd@lipcon.org'). |
| 10 | -author('eletuchy@facebook.com'). |
David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 11 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 12 | -export([init/1]). |
David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 13 | |
| 14 | -include("thrift_constants.hrl"). |
| 15 | -include("thrift_protocol.hrl"). |
| 16 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 17 | -record(thrift_processor, {handler, in_protocol, out_protocol, service}). |
David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 18 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 19 | init({Server, ProtoGen, Service, Handler}) when is_function(ProtoGen, 0) -> |
| 20 | {ok, IProt, OProt} = ProtoGen(), |
| 21 | loop(#thrift_processor{in_protocol = IProt, |
| 22 | out_protocol = OProt, |
| 23 | service = Service, |
| 24 | handler = Handler}). |
David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 25 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 26 | loop(State = #thrift_processor{in_protocol = IProto, |
| 27 | out_protocol = OProto}) -> |
| 28 | error_logger:info_msg("loop: ~p", [State]), |
David Reiss | ae756f4 | 2008-06-10 22:57:11 +0000 | [diff] [blame] | 29 | case thrift_protocol:read(IProto, message_begin) of |
| 30 | #protocol_message_begin{name = Function, |
| 31 | type = ?tMessageType_CALL} -> |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 32 | ok=handle_function(State, list_to_atom(Function)), |
David Reiss | ae756f4 | 2008-06-10 22:57:11 +0000 | [diff] [blame] | 33 | loop(State); |
| 34 | {error, closed} -> |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 35 | %% error_logger:info_msg("Client disconnected~n"), |
David Reiss | a5a53db | 2008-06-11 00:59:34 +0000 | [diff] [blame] | 36 | exit(protocol_closed) |
David Reiss | ac54955 | 2008-06-10 22:56:59 +0000 | [diff] [blame] | 37 | end. |
David Reiss | ae756f4 | 2008-06-10 22:57:11 +0000 | [diff] [blame] | 38 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 39 | handle_function(State=#thrift_processor{in_protocol = IProto, |
| 40 | out_protocol = OProto, |
| 41 | handler = Handler, |
| 42 | service = Service}, |
David Reiss | 1c1ca74 | 2008-06-10 22:57:21 +0000 | [diff] [blame] | 43 | Function) -> |
| 44 | InParams = Service:function_info(Function, params_type), |
| 45 | |
| 46 | {ok, Params} = thrift_protocol:read(IProto, InParams), |
David Reiss | 76f0d11 | 2008-06-10 22:57:35 +0000 | [diff] [blame] | 47 | |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 48 | try |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 49 | error_logger:info_msg("calling: ~p(~p)", [Function, Params]), |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 50 | Result = Handler:handle_function(Function, Params), |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 51 | error_logger:info_msg("result: ~p", [Result]), |
| 52 | %% {Micro, Result} = better_timer(Handler, handle_function, [Function, Params]), |
| 53 | %% error_logger:info_msg("Processed ~p(~p) in ~.4fms~n", |
| 54 | %% [Function, Params, Micro/1000.0]), |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 55 | handle_success(State, Function, Result) |
| 56 | catch |
David Reiss | 5541d65 | 2008-06-11 00:57:42 +0000 | [diff] [blame] | 57 | Type:Data -> |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 58 | error_logger:info_msg("handle_function oh noes: ~p ~p", [Type, Data]), |
David Reiss | 5541d65 | 2008-06-11 00:57:42 +0000 | [diff] [blame] | 59 | handle_function_catch(State, Function, Type, Data) |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 60 | end, |
| 61 | after_reply(OProto). |
David Reiss | 5541d65 | 2008-06-11 00:57:42 +0000 | [diff] [blame] | 62 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 63 | handle_function_catch(State = #thrift_processor{service = Service}, |
David Reiss | 5541d65 | 2008-06-11 00:57:42 +0000 | [diff] [blame] | 64 | Function, ErrType, ErrData) -> |
| 65 | IsAsync = Service:function_info(Function, reply_type) =:= async_void, |
| 66 | |
| 67 | case {ErrType, ErrData} of |
| 68 | _ when IsAsync -> |
| 69 | error_logger:warning_msg( |
| 70 | "async void ~p threw error which must be ignored: ~p", |
| 71 | [Function, {ErrType, ErrData}]), |
| 72 | ok; |
| 73 | |
| 74 | {throw, Exception} when is_tuple(Exception), size(Exception) > 0 -> |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 75 | error_logger:warning_msg("~p threw exception: ~p~n", [Function, Exception]), |
| 76 | handle_exception(State, Function, Exception), |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 77 | ok; % we still want to accept more requests from this client |
David Reiss | 5541d65 | 2008-06-11 00:57:42 +0000 | [diff] [blame] | 78 | |
| 79 | {error, Error} -> |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 80 | ok = handle_error(State, Function, Error) |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 81 | end. |
| 82 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 83 | handle_success(State = #thrift_processor{out_protocol = OProto, |
| 84 | service = Service}, |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 85 | Function, |
| 86 | Result) -> |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 87 | ReplyType = Service:function_info(Function, reply_type), |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 88 | StructName = atom_to_list(Function) ++ "_result", |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 89 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 90 | ok = case Result of |
| 91 | {reply, ReplyData} -> |
| 92 | Reply = {{struct, [{0, ReplyType}]}, {StructName, ReplyData}}, |
| 93 | send_reply(OProto, Function, ?tMessageType_REPLY, Reply); |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 94 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 95 | ok when ReplyType == {struct, []} -> |
| 96 | send_reply(OProto, Function, ?tMessageType_REPLY, {ReplyType, {StructName}}); |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 97 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 98 | ok when ReplyType == async_void -> |
| 99 | %% no reply for async void |
| 100 | ok |
| 101 | end. |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 102 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 103 | handle_exception(State = #thrift_processor{out_protocol = OProto, |
| 104 | service = Service}, |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 105 | Function, |
| 106 | Exception) -> |
| 107 | ExceptionType = element(1, Exception), |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 108 | %% Fetch a structure like {struct, [{-2, {struct, {Module, Type}}}, |
| 109 | %% {-3, {struct, {Module, Type}}}]} |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 110 | |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 111 | ReplySpec = Service:function_info(Function, exceptions), |
| 112 | {struct, XInfo} = ReplySpec, |
| 113 | |
| 114 | true = is_list(XInfo), |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 115 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 116 | %% Assuming we had a type1 exception, we'd get: [undefined, Exception, undefined] |
| 117 | %% e.g.: [{-1, type0}, {-2, type1}, {-3, type2}] |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 118 | ExceptionList = [case Type of |
| 119 | ExceptionType -> Exception; |
| 120 | _ -> undefined |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 121 | end |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 122 | || {_Fid, {struct, {_Module, Type}}} <- XInfo], |
| 123 | |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 124 | ExceptionTuple = list_to_tuple([Function | ExceptionList]), |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 125 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 126 | % Make sure we got at least one defined |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 127 | case lists:all(fun(X) -> X =:= undefined end, ExceptionList) of |
| 128 | true -> |
| 129 | ok = handle_unknown_exception(State, Function, Exception); |
| 130 | false -> |
| 131 | ok = send_reply(OProto, Function, ?tMessageType_REPLY, {ReplySpec, ExceptionTuple}) |
| 132 | end. |
| 133 | |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 134 | %% |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 135 | %% Called when an exception has been explicitly thrown by the service, but it was |
| 136 | %% not one of the exceptions that was defined for the function. |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 137 | %% |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 138 | handle_unknown_exception(State, Function, Exception) -> |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 139 | handle_error(State, Function, {exception_not_declared_as_thrown, |
| 140 | Exception}). |
| 141 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 142 | handle_error(#thrift_processor{out_protocol = OProto}, Function, Error) -> |
David Reiss | da07067 | 2008-06-11 00:56:42 +0000 | [diff] [blame] | 143 | Stack = erlang:get_stacktrace(), |
| 144 | error_logger:error_msg("~p had an error: ~p~n", [Function, {Error, Stack}]), |
David Reiss | 11d855c | 2008-06-11 00:59:12 +0000 | [diff] [blame] | 145 | |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 146 | Message = |
| 147 | case application:get_env(thrift, exceptions_include_traces) of |
| 148 | {ok, true} -> |
| 149 | lists:flatten(io_lib:format("An error occurred: ~p~n", |
David Reiss | da07067 | 2008-06-11 00:56:42 +0000 | [diff] [blame] | 150 | [{Error, Stack}])); |
David Reiss | 920959a | 2008-06-11 00:56:35 +0000 | [diff] [blame] | 151 | _ -> |
| 152 | "An unknown handler error occurred." |
| 153 | end, |
| 154 | Reply = {?TApplicationException_Structure, |
| 155 | #'TApplicationException'{ |
| 156 | message = Message, |
| 157 | type = ?TApplicationException_UNKNOWN}}, |
| 158 | send_reply(OProto, Function, ?tMessageType_EXCEPTION, Reply). |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 159 | |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 160 | send_reply(OProto, Function, ReplyMessageType, Reply) -> |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 161 | ok = thrift_protocol:write(OProto, #protocol_message_begin{ |
| 162 | name = atom_to_list(Function), |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 163 | type = ReplyMessageType, |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 164 | seqid = 0}), |
| 165 | ok = thrift_protocol:write(OProto, Reply), |
| 166 | ok = thrift_protocol:write(OProto, message_end), |
David Reiss | 90b4083 | 2008-06-10 22:58:52 +0000 | [diff] [blame] | 167 | ok = thrift_protocol:flush_transport(OProto), |
David Reiss | e1a7998 | 2008-06-10 22:58:14 +0000 | [diff] [blame] | 168 | ok. |
David Reiss | 982c72d | 2008-06-10 22:58:33 +0000 | [diff] [blame] | 169 | |
David Reiss | c11734e | 2008-06-11 00:59:48 +0000 | [diff] [blame^] | 170 | after_reply(OProto) -> |
| 171 | ok = thrift_protocol:close_transport(OProto). |