| | 1 | -module(life). |
| | 2 | |
| | 3 | -export([bang/1]). |
| | 4 | |
| | 5 | |
| | 6 | -define(CHAR_DEAD, 32). % " " |
| | 7 | -define(CHAR_ALIVE, 111). % "o" |
| | 8 | -define(CHAR_BAR, 45). % "-" |
| | 9 | |
| | 10 | -define(GEN_INTERVAL, 100). |
| | 11 | |
| | 12 | |
| | 13 | -record(state, {x :: non_neg_integer() |
| | 14 | ,y :: non_neg_integer() |
| | 15 | ,n :: pos_integer() |
| | 16 | ,bar :: nonempty_string() |
| | 17 | ,board :: array() |
| | 18 | ,gen_count :: pos_integer() |
| | 19 | ,gen_duration :: non_neg_integer() |
| | 20 | ,print_time :: non_neg_integer() |
| | 21 | }). |
| | 22 | |
| | 23 | |
| | 24 | %% ============================================================================ |
| | 25 | %% API |
| | 26 | %% ============================================================================ |
| | 27 | |
| | 28 | bang(Args) -> |
| | 29 | [X, Y] = [atom_to_integer(A) || A <- Args], |
| | 30 | {Time, Board} = timer:tc(fun() -> init_board(X, Y) end), |
| | 31 | State = #state{x = X |
| | 32 | ,y = Y |
| | 33 | ,n = X * Y |
| | 34 | ,bar = [?CHAR_BAR || _ <- lists:seq(1, X)] |
| | 35 | ,board = Board |
| | 36 | ,gen_count = 1 % Consider inital state to be generation 1 |
| | 37 | ,gen_duration = Time |
| | 38 | ,print_time = 0 % There was no print time yet |
| | 39 | }, |
| | 40 | life_loop(State). |
| | 41 | |
| | 42 | |
| | 43 | %% ============================================================================ |
| | 44 | %% Internal |
| | 45 | %% ============================================================================ |
| | 46 | |
| | 47 | life_loop( |
| | 48 | #state{x = X |
| | 49 | ,y = Y |
| | 50 | ,n = N |
| | 51 | ,bar = Bar |
| | 52 | ,board = Board |
| | 53 | ,gen_count = GenCount |
| | 54 | ,gen_duration = Time |
| | 55 | ,print_time = LastPrintTime |
| | 56 | }=State) -> |
| | 57 | |
| | 58 | {PrintTime, ok} = timer:tc( |
| | 59 | fun() -> |
| | 60 | do_print_screen(Board, Bar, X, Y, N, GenCount, Time, LastPrintTime) |
| | 61 | end |
| | 62 | ), |
| | 63 | |
| | 64 | {NewTime, NewBoard} = timer:tc( |
| | 65 | fun() -> |
| | 66 | next_generation(X, Y, Board) |
| | 67 | end |
| | 68 | ), |
| | 69 | |
| | 70 | NewState = State#state{board = NewBoard |
| | 71 | ,gen_count = GenCount + 1 |
| | 72 | ,gen_duration = NewTime |
| | 73 | ,print_time = PrintTime |
| | 74 | }, |
| | 75 | |
| | 76 | NewTimeMil = NewTime / 1000, |
| | 77 | NextGenDelay = at_least_zero(round(?GEN_INTERVAL - NewTimeMil)), |
| | 78 | timer:sleep(NextGenDelay), |
| | 79 | |
| | 80 | life_loop(NewState). |
| | 81 | |
| | 82 | |
| | 83 | at_least_zero(Integer) when Integer >= 0 -> Integer; |
| | 84 | at_least_zero(_) -> 0. |
| | 85 | |
| | 86 | |
| | 87 | do_print_screen(Board, Bar, X, Y, N, GenCount, Time, PrintTime) -> |
| | 88 | ok = do_print_status(Bar, X, Y, N, GenCount, Time, PrintTime), |
| | 89 | ok = do_print_board(Board). |
| | 90 | |
| | 91 | |
| | 92 | do_print_status(Bar, X, Y, N, GenCount, TimeMic, PrintTimeMic) -> |
| | 93 | TimeSec = TimeMic / 1000000, |
| | 94 | PrintTimeSec = PrintTimeMic / 1000000, |
| | 95 | ok = io:format("~s~n", [Bar]), |
| | 96 | ok = io:format( |
| | 97 | "X: ~b Y: ~b CELLS: ~b GENERATION: ~b DURATION: ~f PRINT TIME: ~f~n", |
| | 98 | [X, Y, N, GenCount, TimeSec, PrintTimeSec] |
| | 99 | ), |
| | 100 | ok = io:format("~s~n", [Bar]). |
| | 101 | |
| | 102 | |
| | 103 | do_print_board(Board) -> |
| | 104 | % It seems that just doing a fold should be faster than map + to_list |
| | 105 | % combo, but, after measuring several times, map + to_list has been |
| | 106 | % consistently (nearly twice) faster than either foldl or foldr. |
| | 107 | RowStrings = array:to_list( |
| | 108 | array:map( |
| | 109 | fun(_, Row) -> |
| | 110 | array:to_list( |
| | 111 | array:map( |
| | 112 | fun(_, State) -> |
| | 113 | state_to_char(State) |
| | 114 | end, |
| | 115 | Row |
| | 116 | ) |
| | 117 | ) |
| | 118 | end, |
| | 119 | Board |
| | 120 | ) |
| | 121 | ), |
| | 122 | |
| | 123 | ok = lists:foreach( |
| | 124 | fun(RowString) -> |
| | 125 | ok = io:format("~s~n", [RowString]) |
| | 126 | end, |
| | 127 | RowStrings |
| | 128 | ). |
| | 129 | |
| | 130 | |
| | 131 | state_to_char(0) -> ?CHAR_DEAD; |
| | 132 | state_to_char(1) -> ?CHAR_ALIVE. |
| | 133 | |
| | 134 | |
| | 135 | next_generation(W, H, Board) -> |
| | 136 | array:map( |
| | 137 | fun(Y, Row) -> |
| | 138 | array:map( |
| | 139 | fun(X, State) -> |
| | 140 | Neighbors = filter_offsides(H, W, neighbors(X, Y)), |
| | 141 | States = neighbor_states(Board, Neighbors), |
| | 142 | LiveNeighbors = lists:sum(States), |
| | 143 | new_state(State, LiveNeighbors) |
| | 144 | end, |
| | 145 | Row |
| | 146 | ) |
| | 147 | end, |
| | 148 | Board |
| | 149 | ). |
| | 150 | |
| | 151 | |
| | 152 | new_state(1, LiveNeighbors) when LiveNeighbors < 2 -> 0; |
| | 153 | new_state(1, LiveNeighbors) when LiveNeighbors < 4 -> 1; |
| | 154 | new_state(1, LiveNeighbors) when LiveNeighbors > 3 -> 0; |
| | 155 | new_state(0, LiveNeighbors) when LiveNeighbors =:= 3 -> 1; |
| | 156 | new_state(State, _LiveNeighbors) -> State. |
| | 157 | |
| | 158 | |
| | 159 | neighbor_states(Board, Neighbors) -> |
| | 160 | [array:get(X, array:get(Y, Board)) || {X, Y} <- Neighbors]. |
| | 161 | |
| | 162 | |
| | 163 | filter_offsides(H, W, Coordinates) -> |
| | 164 | [{X, Y} || {X, Y} <- Coordinates, is_onside(X, Y, H, W)]. |
| | 165 | |
| | 166 | |
| | 167 | is_onside(X, Y, H, W) when (X >= 0) and (Y >= 0) and (X < W) and (Y < H) -> true; |
| | 168 | is_onside(_, _, _, _) -> false. |
| | 169 | |
| | 170 | |
| | 171 | neighbors(X, Y) -> |
| | 172 | [{X + OffX, Y + OffY} || {OffX, OffY} <- offsets()]. |
| | 173 | |
| | 174 | |
| | 175 | offsets() -> |
| | 176 | [offset(D) || D <- directions()]. |
| | 177 | |
| | 178 | |
| | 179 | offset('N') -> { 0, -1}; |
| | 180 | offset('NE') -> { 1, -1}; |
| | 181 | offset('E') -> { 1, 0}; |
| | 182 | offset('SE') -> { 1, 1}; |
| | 183 | offset('S') -> { 0, 1}; |
| | 184 | offset('SW') -> {-1, 1}; |
| | 185 | offset('W') -> {-1, 0}; |
| | 186 | offset('NW') -> {-1, -1}. |
| | 187 | |
| | 188 | |
| | 189 | directions() -> |
| | 190 | ['N', 'NE', 'E', 'SE', 'S', 'SW', 'W', 'NW']. |
| | 191 | |
| | 192 | |
| | 193 | init_board(X, Y) -> |
| | 194 | array:map(fun(_, _) -> init_row(X) end, array:new(Y)). |
| | 195 | |
| | 196 | |
| | 197 | init_row(X) -> |
| | 198 | array:map(fun(_, _) -> init_cell_state() end, array:new(X)). |
| | 199 | |
| | 200 | |
| | 201 | init_cell_state() -> |
| | 202 | crypto:rand_uniform(0, 2). |
| | 203 | |
| | 204 | |
| | 205 | atom_to_integer(Atom) -> |
| | 206 | list_to_integer(atom_to_list(Atom)). |