[erlang-questions] Erlang's process not killed by exit signalreasoned by "kill"

Robert Virding <>
Wed Oct 28 18:08:15 CET 2009


2009/10/24 Richard Carlsson <>

> Robert Virding wrote:
>
>> That exit(kill) and exit(Self, kill) behave differently is *exactly* as it
>> should be, they are *defined* to behave differently.
>>  [...]
>>
>> Whether doing exit(kill) should send a real exit 'kill' signal or only a
>> 'killed' signal is an interesting question which I can't remember now what
>> we decided. If it sends an exit 'kill' signal then
>> it should behave as a real 'kill' signal and be non-trappable.
>>
>
> The problem now was that it didn't do either: it sends off a signal
> that says 'kill', but which isn't a real non-trappable kill signal.
> So the behaviour is different where it shouldn't be.
>

Yes. Unfortunately, to my knowledge discussion of this has never come
before.

Robert

P.S. This type of thing is a good reason to have a proper language spec.


More information about the erlang-questions mailing list