Prev Next

Erlang / Erlang Basics Interview questions

Explain the execution flow of a gen_server call?

gen_server:call/2 looks like a normal function call, but underneath it's a request/reply protocol built out of plain message passing plus a monitor for safety.

sequenceDiagram
    participant Caller
    participant GenServer as gen_server process
    Caller->>GenServer: {'$gen_call', {Caller,Ref}, Request}
    Note over GenServer: handle_call/3 runs
    GenServer-->>Caller: {Ref, Reply}
    Note over Caller: call/2 unwraps Reply and returns it

Step by step: the caller sends a tagged message containing its own PID and a fresh unique reference, then sets up a monitor on the server and blocks in a receive waiting for a reply tagged with that same reference (with a default 5-second timeout). The server's handle_call/3 callback runs, returning {reply, Reply, NewState}, and the framework sends Reply back tagged with the original reference. The monitor exists so that if the server dies mid-call, the caller gets a 'DOWN' message instead of hanging forever.

What does gen_server:call/2 use to avoid hanging forever if the server dies mid-call?
What ties a specific reply message back to the correct waiting caller?

More Related questions...

What is Erlang? What is the BEAM virtual machine? What are processes in Erlang? What is the actor model in Erlang? What are atoms in Erlang? What are tuples in Erlang? What are lists in Erlang? What is pattern matching in Erlang? Define immutability in Erlang? What is a PID? What is a module in Erlang? What are guards used for in Erlang? What is OTP? What is a gen_server? What is a supervisor? Describe the "let it crash" philosophy? What are records in Erlang? What is message passing? What is hot code loading? What are binaries/bitstrings in Erlang? What is ETS? What is Mnesia? What are list comprehensions? What is a behavior in Erlang? What are ports in Erlang? What is a NIF (Native Implemented Function)? How do you spawn a process in Erlang? How does Erlang achieve concurrency without shared memory? What is the difference between spawn and spawn_link? What is the difference between a list and a tuple? Why is Erlang considered fault-tolerant? How does pattern matching differ from equality comparison? When should you use ETS instead of process state? How do you handle errors in Erlang without try/catch? Why doesn't Erlang have mutable variables? What is the difference between gen_server and gen_statem? How do you implement a simple supervision tree? What happens when a linked process crashes? When would you choose Mnesia over ETS? How do you use the observer tool to inspect a running system? Explain the execution flow of a gen_server call? Explain the internal working of the BEAM scheduler? How can you optimize message passing between heavy processes? Explain the lifecycle of a supervised process? How do you troubleshoot process mailbox overflow? What is the difference between synchronous and asynchronous message passing in OTP? Which is better for state management, ETS or process dictionaries, and why? How does distributed Erlang handle node failures?
Show more question and Answers...


Comments & Discussions