Solve race condition using database trigger function

As example, we have a Budget model, which have allocation_cents as the amount allocated for the budget, which can be used to buy the items proposed in the budget.A budget can have many_items, and we need make sure that the sum of the items' price (price_cents) does not exceed the budget's allocation amount (allocation_cents).